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

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

基于PERT网络的航空弹药保障人员优化配置

针对航空弹药保障效率和可靠性要求高的问题，在分析保障流程的计划评审技术（PERT，Program Evaluation and Review Technique）网络图中各工序对任务完工影响程度的基础上，提取了工序关键度指标和重要度指标以及各方案下的按期完工概率，建立了保障人员配置方案评价指标体系，表示为评价函数形式.以基于蒙特卡洛方法的PERT网络仿真为核心，选择在遗传算法进化寻优框架下构建优化模型，该方法不仅得到了最优的保障人员配置方案，而且评估了需要注重的关键工序.算例实验证实了其有效性与实用性.     

光纤陀螺多通道并行自动测试工艺技术

针对光纤陀螺测试过程中，测试项目多、步骤复杂、测试时间长、人为记录数据容易出错等问题，在分析测试内容的基础上提出多通道并行测试方案，设计测试工装、电缆、电路等硬件系统，开发相应的测试软件。与单只光纤陀螺测试方法相比，能够有效地减少光纤陀螺的测试时间，提高测试效率。     

Exploration and implementation of commonality valuation method in commercial aircraft family design

Commercial aircraft family design can reduce development costs, shorten development cycles, and expand the market coverage of aircraft. Commercial aircraft family development has become one of the most important features of modern aircraft design. This paper explores the effects of commonality on different aircraft models in a commercial aircraft family. The existing product commonality indexes are summarized and their limitations in the application to aircraft design are discussed. Then a new component commonality index is proposed based on the component decomposition structure. A model for calculating the aircraft program value is established,which considers development costs, manufacturing costs, sale price, operation costs and residual costs. The effects of aircraft commonality on time and economic costs of both development and manufacturing, and on sale price, are analyzed and quantified. The commonality evaluation strategy is obtained, which features comprehensive consideration of the aircraft program value and time costs. The break-even analysis of aircraft is proceeded on the basis of costs and price data. By using a real option method, the strategy considers the uncertainty of the aircraft program and the flexibility of the manufacturer. This strategy proves to be rational and applicable to aircraft design based on the calculation of three examples and the analysis of parameter sensitivity.     

基于中弧线曲率控制的压气机叶型优化

为提高压气机叶型优化设计水平,基于中弧线曲率控制方法编写了压气机叶片造型程序,将中弧线曲率控制参数作为优化变量,结合粒子群寻优算法对传统可控扩散叶型(CDA)进行了优化研究。结果表明:基于中弧线曲率控制的叶片造型程序能够对CDA叶型进行较好的拟合,拟合叶型的气动性能与设计要求较符。优化叶型在设计点的总压损失降低了约6.34%,优化叶型总压损失随攻角变化较为平缓。在一定攻角范围内,叶型中弧线曲率峰值的前移能够将吸力面马赫数峰值前移,提高叶型吸力面的扩压能力,降低总压损失。在大攻角工况下,改进的中弧线曲率分布能够显著降低叶型总压损失。将中弧线曲率控制参数作为优化变量进行CDA叶型的优化是可行的。     

波音757客改货项目的研发与实施

对于民用航空维修企业来说,客机改货机项目是一项工程庞大、技术复杂、改装系统最多的大型改装工作,其改装过程涉及专业面广,各专业交叉,配合多,对各类资源保障要求高。如何科学调配人力、如何在改装周期内控制进度是改装成败的关键。本文介绍了成都基地首架波音757客改货飞机从研发到实施的成功经验,可供MRO企业组织研发和实施大型维修项目时借鉴。     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

月球取样返回器分离阻力分析与地面分离试验验证

探月工程三期研制的月球取样返回器与轨道器间采用导向装配方式,装配后存在一定预应力,同时在轨两器分离时受空间环境作用而出现热变形,引起的分离阻力会对两器的正常分离产生影响。文章对返回器与轨道器的分离阻力进行分析和测量,并开展相关地面分离验证试验,结果表明,在轨环境引起的分离阻力约为366 N,地面装配应力引起的分离阻力约为160 N,两器分离速度约为0.24 m/s。研究结果可为轨返两器的分离设计提供参考。     

某型号姿控动力系统气体减压阀性能测试系统设计

围绕某型号姿控动力系统减压阀性能测试需求,提出一种基于PC104总线测试架构的设计方案。详细阐述了减压阀性能测试原理、硬件设计方案和软件开发思路,着重介绍了软件开发需求、总体架构、用户程序开发思路和软件设计关键技术等。实际应用表明,该系统操作简单、携带方便,测试精度优于0.2%,控制定时精度优于1 ms,满足减压阀性能测试要求。     

一个基于网络的程序自动评测系统

基于网络的分布式程序自动评测体系结构提供了一种高效、准确、适应性强的机制来实现一个评测系统.该体系结构通过被动激活方式利用木马技术,保证了系统在通讯和评测过程中的安全性,并在评测中实现了评测程序对系统资源的零占用,这使得样本程序在开发和评测时处于一致的运行环境中.该体系结构通过规则库和过滤程序的使用,提高了其灵活性和适应性,使得它可以适用于更多类型的样本程序.在此基础上,实现了一套完整的应用系统.经过多次实际应用,证明其具有高效、安全和配置灵活的特点.