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

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

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

基于Heun法的模糊控制系统

针对有些常微分方程求解难且不易用图形直观观察的特点,根据求解常微分方程的Heun法构造了一种模糊控制系统以辨识由常微分方程所描述的系统。这种模糊控制系统在预测状态的同时也能够逼近系统微分方程中的函数。     

基于功能脆弱性的空中交通相依网络流量分配

依据空中交通管理与航班运行规则,采用复杂网络理论构建由机场、航路与管制扇区组成的相依网络模型,建立不同扰动策略的影响规则,提出以网络流量熵和交通流损失比变化率为指标识别网络功能脆弱性。并以网络总流量熵最小为目标,建立基于改进遗传算法的网络流量协调分配策略,以降低空中交通相依网络的脆弱性。以民航华北地区空域为原型,发现了其相依网络脆弱性表现规律和脆弱源,采用遗传算法求解网络流量分配方案,优化结果降低了网络总熵值和功能脆弱性,其中机场网络流量分配后效果最为显著,验证了方法的有效性,研究结果可为空中流量管理决策提供一定的理论支撑。     

潜射防空导弹对反潜直升机毁伤研究

建立了潜射防空导弹战斗部爆炸和破片运动模型,将引起直升机损伤的基本事件组成毁伤树.通过编程求出直升机的易损概率,并对导弹不同爆炸状态下的易损概率进行分析,得出相关结论.     

汽车尾气分析仪中的大气压力补偿技术

控制汽车尾气量的增加,是减少汽车废气污染改善人类生活环境的重要措施。汽车尾气分析仪主要是通过检测汽车尾气中不同气体的含量,以达到合理控制的目的。在对气体浓度的检测中,大气压力的影响不能忽视。本文围绕这个问题,详细讨论了大气压力影响的补偿方法。     

环管型燃烧室火焰筒壁温气热耦合数值模拟

针对某型燃气轮机运行时回流式环管型燃烧室的火焰筒常发生烧蚀和裂纹,需获取其火焰筒壁温分布特点,进行分析以提出改进措施.全面考虑固体导热和辐射传热、气体与固体间的对流换热以及火焰和燃气的辐射,对燃烧室进行三维气热耦合数值模拟计算,获取流场、温度场以及壁温分布信息,并结合实验验证了三维气热耦合数值模拟能够较有效预测火焰筒壁温分布.由模拟结果知该型火焰筒壁温未超过设计值1 223K,但在联焰管与筒体连接处以及多个主燃孔处的温度较高、温度梯度较大,需要对这些部位的冷却方案进行改进.     

考虑易损性的飞机被外爆型武器的毁伤概率

通过对考虑易损性与未考虑易损性的飞机被毁伤概率的比较,表明：在传统的飞机作战效能分析中,飞机被毁伤的概率大多忽略了飞机的易损性,只从攻击飞机的武器性能方面考虑;其实,考虑易损性的飞机被外爆型武器毁伤的概率更切近于实战,易损性对毁伤概率有明显的影响,飞机易损性设计应作为一项非常重要的环节予以重视。     

基于强跟踪EKF的组合导航系统故障检测方法

针对大方位失准角的机载SINS/GPS组合导航系统,为保证在高动态环境下实现高精度、高可靠的导航,利用强跟踪EKF滤波残差设计了一种基于残差统计特性的坏值检测算法,对导航信息进行估计和跟踪.仿真结果表明,该算法能够实时检测出GPS量测信息中的坏值信息,隔离后可显著提高组合导航精度,具有较高的可靠性、出色的容错能力和重要的工程应用价值.     

气动系数插值在捕获轨迹试验中的应用

本文叙述气动系数插值在捕获轨迹试验中的交叉核对和轨迹计算中的应用。对外挂物在某一个新的位置上的某些量的误差进行核对,看其是否在允许的范围之内,称为“交叉核对”。交叉核对分为两种,一种是对位置本身的核对,另一种是对气动系数的核对。在轨迹计算的每一个步长中应用气动系数插值,可以使计算更加精细,轨迹更加光滑。本文对气动系数插值作了一些改进的尝试,提出将气动系数对时间的插值改为气动系数对线位移的插值,这仅是初步的尝试,有待进一步探索。