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

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

飞机极限信号系统检测仪的设计与实现

首先介绍了飞机极限信号系统的功能和特点以及研制其检测设备的重要性。然后阐述了系统检测仪的总体设计思想,并对其具体的软硬件的实现方法进行了详细的介绍。     

FL—2风洞张线实验段控制系统研制

本文主要介绍了FL－2风洞张线实验段的控制系统，包括攻角控制系统及侧滑角控制系统，以及构成它们的硬件组成及软件设计。     

一种应用于超小型无人机的新型定高传感器

使用美国ICSENSOR公司的压阻硅式绝压传感器，对静压进行测量，并设计出适合超小型无人机使用的新型定高传感器，这种定高传感器具有灵敏度高，重量轻，单电源供电，板式结构。可靠性高，重复性好的特点，填补了应用于超小型无人机的定高传感器产品的空白。     

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

快速傅里叶变换(FFT)在导弹测试系统中的应用

快速傅里叶谱分析在系统动态测试中的应用,提出了以阶跃信号为激励源,以快速傅里叶变换和阶跃型信号快速傅里叶变换的高精度算法为核心的动态测试系统,取得了预期的结果。这种与以往完全不同的测试系统,将为火箭系统分析,系统设计和动态测试提供一种精度高、适应性强、实时性好的新方法。     

从波音777的研制成功看CSCW及其在航空工业中的应用

介绍了CSCW的概念及其分类,波音公司利用CSCW研制波音777所取得的效果;CSCW对发展航空工业的重要作用,提出了发展CSCW的建议。     

具有可调参数控制系统的相对稳定性

本文介绍一种在具有可调参数的单输入输出（ＳＩＳＯ）控制系统的参数空间里，寻找具有规定的增益裕度（ＧＨ）和相位裕度（ＰＭ）区域的方法，该法采用极坐标图中包围一点的乃氏稳定准则，参数空间里规定的ＧＭ或ＰＭ区域必要的边界，完全可用将与ＧＭ或ＰＭ有关的点变换到参数空间里来处理。与以往的变换技术有拳普遍问题是需辨识参数空间里哪个地方的点不必满足要求的ＧＭ和ＰＭ。本文对此问题提出了研究的基础。并用三个例来说明