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

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

基于磁场映像的印制电路板故障诊断方法研究

简要分析了印制电路板的电磁场，提出了用电磁感应法测量磁场的电咱故障诊断新方法，并给出了测试系统组成方案。最后通过验证实验证明了该方法是确实可行的。     

紧固件的抽样检验

从统计抽样的基本概念出发,分析了航天产品常用的紧固件抽样检验的规则并对抽样方案作了详细地介绍。     

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

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

玻璃钢天线抛物面反射体成形的工装设计与工艺

玻璃钢蜂窝夹芯结构制造的天线抛物面反射体其精度取决于工装成形模具。针对具体实际设计制作了检验样板、成形模具刮板、成形模具、定价夹具等。以设计“450—2甲”天线“检验样板”为实例,叙述了相应的计算方法、计算公式及设计制造工艺。实测精度均方根偏差δ≤0.15mm。