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

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

考虑地面效应影响飞机起飞着陆过去运动模型的参数辨识

利用基于最小模型误差法和线性不连续跳跃多重打靶法基础上建立的非线性辨识法，辨识飞机起飞着陆过程飞机的非线性动态模型，对于包含复杂非线性项的动态系统，本方法可以从实际试验量测的系统非线性数据，确定飞机处于地面效应影响运动过程的系统模型，而不需要预先详细描述系统的非线性形式。     

全国航空货运及地面设备标准化技术委员会成立

经国家标准化管理委员会批准．全国航空货运及地面设备标准化技术委员会（SAC／TC359）于2009年2月18日在北京召开成立大会。来自民航局及全国航空货运及地面设备生产、使用、科研、管理机构的30多名委员以及国家标准化管理委员会工业一部的领导应邀出席了会议。国家标准化管理委员会工业一部的领导在会上向全体委员颁发了证书。会议审议并通过了全国航空货运及地面设备标准化技术委员会章程以及委员会秘书处工作细则。     

预防跑道侵入 防止航空器地面相撞

随着我国军、民航飞行量的迅猛增长，加之许多机场改扩建后机场平面布局日趋复杂，近年来军、民航跑道侵入事件不断增多。跑道安全是航空安全的一个重要组成部分，跑道侵入（Runway Incursion）问题是对航空安全的一个严重威胁，全球航空业都在为解决这一问题而努力。     

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

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