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

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

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

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

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

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

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

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

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.     

全民健身运动的体育资源开发调查与分析

摘 运用文献资料法、专家访谈法、问卷调查法、数理统计法来进行调查与研究，从长沙市全民健身运动开展的体育资源利用实际情况出发，对长沙市全民健身运动开展的情况进行分析，根据全民健身运动过程中体育资源利用的情况，结合实际，提出了全民健身运动开展体育资源开发的对策，希望能为建立符合长沙市实际情况需要的全民健身运动发展模式寻求理...     

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

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

基于ATML标准的ATS软件建模技术

论述了国外ATML标准体系结构和构成ATML标准所有子模型的描述方法,提出了在现有ATS软件平台基础上,实现兼容ATML标准所需的建模流程设计、模型识别及模型运行流程设计等技术途径,为实现ATS软件平台的通用性、开放性及武器装备各种维护级别的测试资源的共享奠定了技术基础。     

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

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

基于实时交易系统中间件的设计与实现

实时交易系统是一种基于客户 /服务器模式的应用系统。随着人们对实时交易系统的可扩展性和性能的需求 ,两层客户 /服务器模式难以满足系统要求。中间件技术的产生和发展给两层客户 /服务器模式注入了新的活力