一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

最坏风模型及对飞机突防航迹跟踪的影响

针对一类非线性动力学系统,本文推导出二次型性能指标下的微分对策解,由此得到一组含有非线性因素的最环风模型,这一模型特别适用于研究作空间机动飞行的飞机受外界环境扰动的灵敏性问题。最后考察了这一变化风场对飞机突防航迹非线性解耦跟踪的影响。     

大型内螺纹的数控铣削加工

介绍大型精密内螺纹旋风铣削加工的工艺方法和编程,主要针对螺纹直径为非标准、工件材质过硬且孔数较多的大型精密内螺纹的加工。实践表明,该方法加工效率高,且可严格控制螺纹的精度。     

锥体目标空间进动特性分析及其参数提取

空间进动是弹道导弹中段飞行过程中锥体目标特有的运动特性，本文首先建立了锥体目标空间进动数学模型，给出了姿态角与空间进动参数的关系式，并利用进动参数获取了反映目标质量分布特性的惯量比。然后通过对目标RCS回波数据进行多项式拟合，估计进动参数，以此为雷达目标识别提供新的技术思路。仿真实验结果表明本文提出的算法能够有效估计出目标的进动角。     

基于HLA的网络对抗系统建模与仿真

介绍了HLA的基本思想,分析了网络对抗仿真系统,给出了网络对抗系统的层次模型以及基于HLA-RTI的实现方法。     

过程体系结构

从系统论的观点出发，明确定义了过程工程领域的基本概念，定义了过程体系结构，采用了一个扩充的ＣＯＳＭＯＳ模型，以支持灵活的过程建模，并在此基础上讨论了过程的工程化支持。     

南极长城站电离层变化的数值模拟

南极长城站夏季电离层日变化具有Weddell海异常现象．本文利用一个一维时变理论模式，对长城站夏季电离层f0F2和hm日变化进行了数值模拟.我们讨论了中性风和顶部输运通量对f0F2和hm的影响，认为模拟计算得到的f0F2值比实测值要大的一个主要原因是国际参考电离层给出的上边界值偏大.文章最后介绍了一个获得实际的f0F2和hm的方法.     

基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。     

面向对象的双轴混排加力涡扇发动机详细非线性实时仿真模型研究

本文就双轴加力涡扇发动机详细非线性实时仿真模型进行了研究。采用框架灵活方便、具有可扩展性的 VC 语言 ,在 P 45 0计算机上实现了一台双轴混排加力涡扇发动机的实时仿真 ,可准确模拟发动机及其部件的工作状况。发动机流路的平均计算时间为 0 .5 42 ms,一个工作点的计算时间小于 2 5 ms。此模型的建模方法具有通用性 ,可适用于其他类型发动机的实时建模要求。经在火力 /飞行 /推进综合控制仿真系统中的应用 ,证明此模型完全满足实时模拟真实发动机的要求     

微型直升机动力学建模的研究现状

从模型修改、结构分析、神经网络及系统辨识几个方面介绍了微型直升机动力学建模的研究现状,并对几种不同的建模方法进行了比较。然后,指出了系统辨识方法中存在的问题。通过讨论和比较,为微型直升机的不同建模目标提供了可供借鉴的建模方法。