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

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

航天器回收用静压高度控制器的研制

静压高度控制器是载人飞船启动回收着陆系统的关键部件,也是返回式卫星和其它航天器回收系统启动信号的一种方式,其经受恶劣环境,性能、要求高。静压高度控制器又分为膜盒式和硅压力式,文章主要论述了硅压力静压高度控制器在回收系统中的作用,主要介绍了它的工作原理和组成,研制中解决的电路、结构及可靠性方面的问题,并给出了试验结果和研制结论。     

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

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

改进的次时间最优控制

本文在[1][2]基础上进一步探讨了次时间最优控制的改进问题,深入地阐明了次时间最优控制的某些特性后,提出了一个新的改进的设计方法。按照这种方法设计控制系统,不但实用而且可以大幅度提高次时间最优控制的最优性。并用实例比较了各种方法,证明了本文提出的方法的优越性。本文提出的方法应用于工程设计,对于提高系统的最优性是非常有效的。     

VAX set 简介

1,VAX set 的基本思想软件开发是一项复杂的工作。在软件开发过程中,应该有一套统一的方法和工具,使软件生命周期中某些重复性工作以自动化或半自动化方式去完成.在建立了一套统一的软件开发方法和工具之后,首先能使开发组的成员尽快适