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

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

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

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

战术导弹中小型固体发动机技术的发展

通过对战术导弹中小型固体发动机具体发展需求的分析,明确了高能化、轻质化、可控化和低易损4个主要的中小型固体发动机发展方向。可以从提高推进剂黏合剂密度和燃烧室工作压强来实现高能化;采用轻质高性能金属壳体、纤维缠绕复合材料壳体以及提高绝热层性能以实现轻质化;可控化需要在高功率密度的驱动装置、高精度的控制算法等方面获得突破和支撑;低易损则可以从钝感推进剂、主动扩稳、防护材料等途径开展工作。通过对这4个技术方向上国内外研究现状和发展趋势进行梳理,明确提出未来研究需要突破推进剂和热防护原材料、新型装药工艺、可调燃气阀门、压力闭环控制和有效扩稳等关键技术,加速工程化进程,为我国战术导弹的跨越式发展提供支撑。     

长期贮存固体火箭发动机安全性评估

为评估长期贮存后固体火箭发动机安全性的变化,对贮存时间为18年的某型固体火箭发动机进行了解剖.测试并比较了经过长期贮存后发动机药柱的力学性能和各种感度,而后进行了长期贮存后推进剂和发动机试件的枪击试验,各种试验项目中均利用贮存期为4年的推进剂方坯进行对比.结果表明:长期贮存后推进剂热安全特性变化不明显,但撞击感度和摩擦感度明显增加并且在枪弹高速冲击下破碎严重,长期贮存后发动机在模拟枪击试验中表现出爆炸倾向,使用安全性大大降低.      

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

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

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

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

飞机武器系统易损性评价中几何描述研究

提出了飞机易损性评价中应提供的几何数据，建立了各类几何及拓扑变换的数学模型，用此模型可计算易损性评价所需的各个标准方位的几何数据。     

军用飞机易损性关键部件关键度研究

关键部件的分析是易损性数值量度的基础。使用"关键度"的概念,可以用来定量描述部件对军用飞机总体易损性的重要程度。根据部件被杀伤的指标特征可以构造部件的三个杀伤指标,并由此对燃油系统易损性关键部件的关键度进行定量计算,从而可以直观地得出燃油系统各个子系统对整体易损性的重要程度。这种方法不仅能够为军用飞机易损性评价提供原始数据,也可以辅助军用飞机易损性减缩设计并预测易损性减缩效果。     

军用飞机生存力/易损性的评估分析

本文分析了军用飞机在军事行动中所面临的威胁类型，指出了进行易损性评估需要研究的途径，提出了影响飞机生存力／易损性的因素，并利用层次分析法确定了影响军用飞机生存力／易损性各因素的权重；利用加权最小偏差值法对各影响因素的值进行了定量地确定；结合某地军用飞机装备情况，给出了实例计算，并指出了进一步研究的方向。     

Predicting the vulnerability of spacecraft components: Modelling debris impact effects through vulnerable-zones

The space environment around the Earth is populated by more than 130 million objects of 1 mm in size and larger, and future predictions shows that this amount is destined to increase, even if mitigation measures are implemented at a far better rate than today. These objects can hit and damage a spacecraft or its components. It is thus necessary to assess the risk level for a satellite during its mission lifetime. Few software packages perform this analysis, and most of them employ time-consuming ray-tracing methodology, where particles are randomly sampled from relevant distributions. In addition, they tend not to consider the risk associated with the secondary debris clouds. The paper presents the development of a vulnerability assessment model, which relies on a fully statistical procedure: the debris fluxes are directly used combining them with the concept of vulnerable zone, avoiding the random sampling the debris fluxes. A novel methodology is presented to predict damage on internal components. It models the interaction between the components and the secondary debris cloud through basic geometrical operations, considering mutual shielding and shadowing between internal components. The methodologies are tested against state-of-the-art software for relevant test cases, comparing results on external structures and internal components.