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

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

飞机空中应急放油试飞

应急放油是现代飞机保证飞行安全、提高飞机性能的重要措施，也是新机定型试飞的科目之一。本文主要对某新型飞机应急放油系统的试验结果进行了分析和总结，并将该机应急放油系统和其它飞机进行了对比，认为该机应急放油系统的设计较为合理。最后对新机进行应急放油试飞提出了几点建议。     

迁建塔台的航管设计

本文对机场迁建塔台常遇到的问题进行分析，解决塔台高度与机场净空矛盾、正在运行的航管设备在搬迁时的应急处理措施问题。     

坚持编标高水平力争规范高质量——GJB 4049－2000《飞机应急离机系统通用规范》简介

简要介绍了GJB4049－2000《飞机应急离机系统通用规范》的主要特点，与相关国军标之间的关系，以及确定主要技术指标的基本思路，最后对贯彻该军用标准提出了建议。     

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

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

超应急检测记录盒的功能与工作原理

本文较详细地介绍了超应急检测记录盒的作用，计时功能，损耗界限及超应急状态检测功能，并从电路工作原理的角度叙述了实现其功能的原理，对主要电路进行了必要的计算。     

坚持编标高水平 力争规范高质量——GJB4049-2000《飞机应急离机系统通用规范》简介

简要介绍了GJB 4 0 4 9-2 0 0 0《飞机应急离机系统通用规范》的主要特点 ,与相关国军标之间的关系 ,以及确定主要技术指标的基本思路 ,最后对贯彻该军用标准提出了建议。