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

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

战术导弹折叠翼快速展开性能的测试技术

介绍某些战术导弹折叠翼快速展开特性测试技术。详细地介绍了测量方法、项目、数据处理和主要结果。试验是在北京空气动力研究所一座低速风洞中进行的。试验结果表明，获得的数据具有很高精度和可靠性，重复性也是令人满意的。     

Ту-154М变稳飞机空中飞行模拟试验评述

依据Ту－１５４М变稳飞机的特点，主要进行了不同操纵器、不同控制律和不同显示画面的飞行试验研究。特别是通过中央杆和侧杆、电传系统不同控制律飞行品质特性之间、两种先进控制方案及不同显示方式的比较，不仅掌握了这方面的试飞技术和评定技术，还亲身体验到变稳飞机在发展仿真技术，新机预研及提高试飞员试飞技术和评定技术等方面的巨大作用。     

多点压力扫描阀测量系统在激波／湍流边界层干扰实验中的应用

多点压力测量是航空气动力研究及高性能流体机械研究中的重要测试手段。利用计算机和多点压力扫描阀系统，可以高效地完成这项任务，并可能在实验中实现数据采集及整个实验过程的自动化。我们利用ＨＰ１０００／Ａ７００计算机－ＨＰ２２５０－测控装置－压力传感器－高速扫描阀组成的测量控制系统，在超音速风洞内对激波／湍流边界层干扰产生的流场进行了快速多点压力数据采集，并取得了可靠的结果。本文对测试和校正过程中的程序设计、测试方法和应用经验进行了介绍。     

气动力星座保持的闭环控制研究

本文研究了利用气动力进行星座保持的闭环控制问题。提出了一种改进的半全局指数收敛闭环控制律，对于指定的任意大的有界域，利用不变集定理论上证明了该控制律的稳定性和抗干扰性，又提出了双ε法以提高响应速度。     

确保电子设备可靠性的三种地面试验方法

本文阐述了运载火箭电子设备的工作环境,介绍了提高电子设备可靠性的三种地面试验方法。     

一种新型的微机补偿晶体振荡器及开发系统

提出了一种新型的以微处理器为核心的AT切温度补偿晶体振荡器 (MCXO)的设计思想 ,说明了其开发系统的原理 ,给出了最后的实验结果。使用该开发系统得到的这种振荡器可以工作在 - 40℃～ 85℃的环境内 ,频率—温度稳定性≤± 5× 10 - 7。     

利用CAD工程图自动生成数控加工程序

本文介绍了利用工程图自动生成孔加工程序的方法。既可以自动选择图中不同尺寸的孔,又可以避免同一坐标位置多个同尺寸的圆的问题。同时又克服了手工编程容易出现错误的问题。也避免了其他自动编程软件需要在图上选择要加工的孔困难。     

自动测试系统集中互连信号优化设计

基于对自动测试系统被测设备的信号种类及数量的分析,构建了被测对象测试信号数学模型,分析了不同测试模式下的测试资源需求情况,并从提高测试系统性价比这一基本原则出发,提出了自动测试系统硬件平台测试资源优化配置的理论计算方法,对自动测试系统的工程设计具有指导意义。     

航天火工装置推力测量的干扰分析

航天火工装置种类很多,性能各异。文章仅对广泛使用的弹射器和解锁器类火工装置的推力测量系统进行论述,分析测量过程中的干扰环节,说明不同干扰类型对测量结果的影响。并提出测试改进建议。