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

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

飞行管理系统定位误差分析

飞行中,通过确定飞机位置,即可判定飞机是否在预定航线上及偏航距离多大。目视飞行中,飞杨位置通常按它附近的地标相关位置确定。对于装备有飞行管理系统(FMS)的飞机,在仪表飞行情况下,通过近程或远程导航传感器传     

现代制造系统的对立与统一

现代制造系统从它的优化目标到其组织、控制、管理、机制、企业文化等方面均具有对立统一的特点。正是这些特点使得现代制造系统具有极强的生命力。本文对这些对立统一的特点进行了综合分析。     

复合材料声发射源识别方法研究

针对声发射源传统识别方法可信度低的缺陷，研究复合材料的声发射检测中的关键问题——声发射源的识别问题，指出多传感器数据融合技术是有效识别声发射源特征的新方法。     

我国完成光电雷达综合跟踪试验台校准技术研究

据航空报报道，2005年年底，填补国内机载光电配套设备行业空白的两项重要科研攻关项目——“某型光电雷达综合试验台校准技术研究”、“某型光电雷达跟踪试验台校准技术研究”在中国一航航空产品部主持下顺利通过了科技成果鉴定。这两项科研攻关项目是由一航计测和一航光电所共同研制生产的。     

专科英语、本科英语及成人专科英语的定位和相互关系

专科英语在理论上被界定为专门用途英语(ESP)分支下,介于学术英语(EAP)与职业英语(EOP)之间的业务用途英语(EPP)。而本科(大学)英语在理论体系上属于普通英语(GE)。本文从ESP理论的角度探讨了专科英语,本科英语及成人专科英语的定位和相互关系。     

空间卫星目标动态电磁散射特性仿真与分析

给出了空间轨道飞行目标动态宽带散射特性建模方法,重点对某卫星动态宽带电磁散射特性进行了仿真,并通过轨道飞行过程中卫星一维距离像的积累获取了散射中心历程图,提出了由飞行过程中形成的散射中心历程图来判断卫星的结构特点的思路.     

迁建塔台的航管设计

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