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

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

热处理作业系统中安全性评价的AHP方法

本给出了系统安全性评价的AHP方法，叙述了该方法的基本步骤，并以沈阳某集团公司热处理弹簧厂评价的实例说明了该方法的有效性。     

Numerical Simulation of Impact Loading on Solid Propellant Within an Orthotropic Shell

The strain–stress state of the solid propellant rocket engines (SPREs) is simulated under impact. The effect of orientation of elastic and strength properties of orthotropic organoplastic shell material on the strain–stress state of the solid propellant is investigated. Normal and oblique impact of single steel cylinder projectiles, both simultaneous and at different times of multiple, converging steel spheric particles with SPRE are investigated in this study. The investigation is conducted numerically. The numerical modeling was carried out in a three-dimensional formulation by the method of finite elements for the continuous approach of the mechanics of a deformable solid. The destruction of the anisotropic material is described by the tensor-polynomial criterion of the fourth degree, which takes into account the influence of hydrostatic pressure.     

NEPE推进剂发动机振动安全性试验研究

为了评估NEPE推进剂全尺寸发动机在经受弹射和飞行振动载荷下的安全性,在不同试验条件下进行了NEPE推进剂165 mm发动机的振动试验。理论分析认为,NEPE推进剂全尺寸发动机在振动条件下因药柱温度升高及静电积聚而发生危险的可能性很小,通过相关试验验证了该结论,说明采用NEPE推进剂165 mm发动机进行全尺寸发动机振动安全性评估可行。     

建立空分中N2O的检测方法,确保设备安全运行

介绍了建立N2O检测方法原由,操作变量的选优及对空分安全生产的建议.     

加强会计信息与网络安全的措施

企业的会计信息，是企业的主要经济信息，由于在企业的生产经营活动中所占的重要地位及所起的重要作用，其安全性一直受到人们的重视。会计信息是否安全可靠，不仅关系到能否如实地反映企业的生产经营情况和财务状况，为企业经营管理提供可靠的会计信息，而且也影响到国家、企业和职工的经济利益。本文介绍了加强会计信息与网络安全的主要措施。     

民用航空安全文化建设刍论

分析民用航空安全文化建设与安全管理的关系，凸显安全文化建设的重要性。总结中国民航安全文化建设的进程，探讨民用航空安全文化的结构及维度，进而对民用航空安全文化建设的方案进行讨论。     

飞机穿越微下击暴流起飞特性实时仿真研究

以大型客机为例，对飞机穿越微下击暴流的起飞飞行特性进行了实时数字，实时混合仿真及人机半物仿真研究，分析不同风场和不同进风高度对有，无人操纵飞行的航迹特性及相应状态变量响应特性的影响，探讨了飞机起飞飞行的安全性及正确操纵策略，最后给出了一些结论。     

基元事件分析法

航空事故的发生是航空系统存在缺陷的反映。为了发现、分析系统的缺陷，人们发展了一些事故分析统计方法。“基元事件分析法”不仅分析了事故的原因，而且指出了预防这类事故的办法，文章论述了该方法的结构特点，给出了部分事故的分析统计结果     

无人战斗机的安全性考虑因素

作为一种新的空中作战平台，无人战斗机在设计时需要考虑许多安全因素，包括飞行器安全、协同安全、任务安全、控制安全和信息安全，文章对此进行了详细的讨论。