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

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

设计文件编号的原则和方法

概述了设计文件编号混乱给生产和管理带来的困难,提出了设计文件编号的原则以及三种编号方法,探讨了三种编号方法的具体应用。     

美国未来远程作战飞机分析

2006年2月3日，美国防部公布了其《四年一度防务评审》（QDR）报告，这份报告为美军未来20年的战略目标、作战模式、资源调配和部队建设进行评估和规划，将成为今后20年美军兵力构成和国防政策的指导性文件。在这份报告中，美国明确地提出了研制新的远程攻击系统的计划，只是在未来远程攻击系统的性能要求和经费需求方面还存在一些不确定性；     

航天产品工艺定型阶段工艺文件的编制与审查

从编制《工艺定型标准化要求》、审定有关工艺定型文件和编写《工艺定型标准化审查报告》等方面浅述航天产品工艺定型阶段应做好的标准化文件的编制与审查,并对其工作内容作了介绍。     

工艺文件协调性探讨

论述了工艺文件以产品为对象进行编制的概念及在工艺文件中体现的工序间的协调关系,阐述了主制工艺文件与引出工艺文件（子工艺文件）在工艺文件之间应如何协调的观点。     

确定航空燃油喷嘴最佳几何参数的一种计算程序

介绍了确定航空燃油嘴最佳几何参数的一种计算程序，本程序经实践证明是简便实用的，可用于测绘件的反设计，对新研制件也可提供参考。