矩形薄板自由振动的解析解法

本文建立了矩形薄板横向自由振动振型函数微分方程的一般解,可以求解任意边界条件的矩形板的振动问题。以一组对边固定一组对边自由的矩形板为例求解了板的基本频率。     

飞机综合显示系统中图形填充与字符显示

首先分析了现代飞机对EFIS性能提出的新要求,提出了一种新的提高EFIS系统实时性可靠的硬件解决方案,并在该方案的基础上开发了EFIS硬件电路.基于此硬件方案,分析了字符生成和图形填充在提高EFIS系统实时性方面所起的关键作用.通过对几种不同的图形填充与字符生成方法分析比较,得出结论:采用改进的边标志位填充算法,图形、字符分层生成后叠加重构的方法作为EFIS系统的软件算法实现方式.     

行进式雷达天线波束方位的实时确定问题

采用"边行进边工作"方式的目的是提高雷达的战时生存能力。雷达天线波束的指向乃由天线相对其平台的旋转(已知)和平台相对大地运动的转角(未知)共同决定。利用曲率和弧长的概念进行研究,提出在雷达行驶路径为已知几何曲线时,平台转角仅与行驶路程有关。只需获取行驶路程,便可确定天线波束的真实方位。     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态；针对常见的内存泄漏与控制流劫持场景建立约束条件；通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

ASLR机制脆弱性自动分析方法

地址随机化是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

爱民固边的战略思维论要

爱民固边战略是＂十一五＂时期公安边防部队在建设社会主义和谐社会中的一项重大战略部署。＂十二五＂时期,形势任务更加严峻,必须进一步找准爱民固边是促进边境经济社会发展的新型人民战争的战略定位,完善以战略目的、战略原则、战略力量、战略措施为主要内容的战略架构体系,有效探索＂爱民—固边—发展—固边—利民＂的战略路线图,突出＂维稳主导、服务民生、强基固本、多元联动＂等战略重点,坚持＂并轨发展、标本兼治、无缝对接＂基本战略路径,使爱民固边战略更加系统化、规范化,纵深推进,打造公安边防特有品牌,不断产生更大的政治社会价值。     

警报关联图：一种网络脆弱性量化评估的新方法

作为一种基于模型的脆弱性分析技术,攻击图能够识别网络中存在的脆弱性和它们之间的相互关系,分析出可能的攻击路径和潜在威胁.论文在攻击图的基础上提出了警报关联图的概念,利用攻击图中蕴含的脆弱性先验知识,将实时IDS警报信息映射到攻击路径,动态反映攻击进程和攻击者意图.在此基础上提出了一种基于警报关联图的网络脆弱性量化评估方法,通过计算警报关联边的权值对网络脆弱性进行动态分析,这种方法结合了静态的网络脆弱性先验知识和动态变化的攻击者意图,能有效反映网络脆弱性在动态攻击情况下的变化.     

“爱民固边”战略在新疆反恐情报收集中的应用

恐怖主义犯罪是威胁新疆社会稳定的一个不可忽视的因素。反恐情报收集工作是新疆反恐维稳工作的前提。将“爱民固边”战略方法与公安边防反恐情报收集工作相结合,指出“爱民固边”战略在新疆反恐情报收集q-的应用问题现状,并针对问题提出了方法措施,从而最大限度地发挥“爱民固边”战略优势,维护新疆边境地区的安全与稳定。     

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则，但由于对一般的软件，路径数目太大，以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ，按就近原则，现给出了一种划分Ｐ的算法，使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

一种基于小研抛盘修形的CCOS边缘效应修正方法

计算机控制光学表面技术（CCOS）是加工离轴非球面的一项重要技术。小磨头抛光的边缘效应严重制约CCOS技术的加工精度和加工效率,目前并无十分具体的解决措施。本文在获得影响边缘效应的关键参数后,结合残余误差等高线的路径规划,对CCOS产生的边缘效应产生的翘边现象进行修正,通过对一块体育场形离轴非球面的加工,获得了全口径光学测量数据,为后续精加工提供面形基础。     

前缘和转轴影响翼摇滚特性的数值模拟

采用耦合求解N-S方程和Euler刚体动力学方程的数值模拟方法研究80°后掠三角翼摇滚特性,讨论机翼前缘构型和滚转轴位置对三角翼摇滚特性的影响。N-S方程的离散采用Roe格式和含双时间步的LU-SGS方法,刚体动力学方程的离散采用二阶精度的差分方法,通过交替求解流动和运动控制方程组的耦合策略,模拟80°后掠三角翼自激摇滚的非定常过程。针对转轴安装于上表面的细长三角翼,研究前缘上削尖、下削尖和双面削尖三种构型的翼摇滚特性,分析前缘构型对摇滚振幅及分岔攻角的影响。考虑到上削尖和下削尖构型在翻转后相当于前缘构型互换但转轴位置不同,进一步考察了滚转轴位置对三角翼摇滚特性的影响。结果表明:在一定的攻角下,三种不同前缘构型的三角翼均能形成大幅自维持的摇滚现象,其中上削尖前缘的三角翼振幅最大,双面削尖前缘次之,下削尖前缘三角翼振幅最小;攻角增大到30°以后,双面削尖和上削尖前缘的三角翼会发生翻转现象,翻转180°以后维持等幅振荡。     

CCOS边缘效应的小研抛盘修形修正方法

计算机控制光学表面技术(Computer Controlled Optical Surfacing,CCOS)是加工离轴非球面的一项重要技术。小磨头抛光的边缘效应严重制约CCOS技术的加工精度和加工效率。在获得影响边缘效应的关键参数后,结合残余误差等高线的路径规划,对CCOS产生的边缘效应产生的翘边现象进行修正;通过对一块体育场形离轴非球面的加工,获得了全口径光学测量数据,为后续精加工提供面形基础。     

保持连通的边缘细化算法

传统的图像边缘检测算子一般都只能得到多像素宽边缘,这为后续的图像处理带来了一定困难。结合边缘走向趋势的估计技术以及对连通关键点判断的方法,提出了一种新型的边缘细化算法———保持连通的边缘细化算法。该算法能在保持边缘原有信息(连通和走向)的前提下,以较小的计算开销,给出理想的或是可接受的单像素宽细化结果。     

带数据传输的光学卫星成像调度系统关键技术研究

针对光学小卫星成像调度系统设计需求,考虑侧视、存储容量、能量和数据传输等复杂约束,面向小规模问题应用,设计了问题求解流程.建立了顶点和边都带权的成像约束图模型,并提出了基于标记更新最短路算法的复杂约束成像卫星调度算法解决成像方案生成过程;对数传方案生成过程,给出背包模型并采用带回看策略的贪婪启发式方法进行问题求解.实验结果表明,该方法是可行和适用的.     

面元法的红外制导图像边缘检测

红外图像通常存在着噪声大、目标和背景之间具有较小的灰度差、边缘较模糊的特点,使现有的方法不能有效地提取红外图像的边缘。而图像的表面积特征能较好地针对红外图像的这些特征提取出边缘,因此利用图像的表面积特征提出了一种实用的面元边缘检测法。在对图像灰度值变化情况进行分析的基础上,使用了一种十字面积计算公式以满足边缘检测的需要。通过噪声误差对面元法和梯度法计算结果的影响分别进行分析,发现面元法比梯度法的噪声抑制能力至少高两倍,而且在边缘处的噪声抑制能力更高。将面元法几种常用模板算子法的红外图像边缘检测结果进行实际对比后发现,所提出的面元法对红外图像的目标边缘检测能取得良好的结果。     

刀口边缘误差对传递函数的影响

刀口法是测量光学系统的传递函数一种基本方法,通过对刀口边缘误差建立数学模型,讨论刀口误差对光学传递函数测量精度的影响。对刀口边缘误差进行了定量分析,得出在一定精度范围内测量光强的区域,定性分析了使用拟合法求MTF优于使用均值法求MTF。     

高超声速飞行器边界层外缘参数仿真分析

以高超声速飞行器为研究对象,构建快速准确计算高超声速飞行器无黏边界层外缘参数的计算方法。拟合空气比热、比热比随温度变化曲线,建立空气属性温度划分准则。基于不同空气属性建立高超声速飞行器边界层外缘参数工程与数值计算模型,采用钝双锥模型,对比分析工程估算、无黏数值及有黏数值计算方法的计算结果。结果表明,0°攻角状态下,基于无黏流场的数值计算与工程估算和有黏数值计算的压强最大差值分别为1.19%和2.39%;10°攻角状态下,最大差值分别为5%和50%;从而证明所提出的无黏数值计算方法明显优于工程计算方法,为进一步快速准确计算高超声速飞行器气动热环境奠定了重要基础。