软件可靠性参数研究

确定软件可靠性的定量要求是软件可靠性工程面临的首要工作内容.本文讨论了软件可靠性定量要求的意义、特点、描述,对一般的软件可靠性参数进行了分析,提出了结合武器装备特点的软件可靠性参数,并给出了软件可靠性参数的选取及其指标确定应考虑的因素.      

航务报文处理系统的分析与设计

航务报文处理系统是对民航系统中充当部门间信息交换媒介的航务报文进行处理的软件系统,可以在民航多个部门中得到广泛应用.当前已有的航务报文处理系统存在通用性不好、可集成性差以及信息发布方式不合理等缺点.ATPS(Aeronautical Telex Processing System) 2.0航务报文处理系统就是针对这些问题,在对航务报文处理业务以及已有系统进行分析的基础上,综合使用UML(Unified Modeling Language)、中间件以及构件等多种技术的航务报文处理系统.      

动态故障树分析方法在软、硬件容错计算机系统中的应用

结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。     

基于动态库的星载软件可重构设计与实现

针对卫星在轨运行、长期处于无人值守状态,主要依靠星载软件的安全性和可靠性来保证整星任务的稳定工作.复杂多变的空间环境可能会引起星载器件的异常变化,从而导致星载软件异常,甚至发生软件"衰老".本文在分析现有可重构方案基础上,提出了一种利用动态库的静态链接方式实现在轨可重构的方案,针对存在软件缺陷,或者需要功能升级和拓展的...     

无喷管助推器非定常动边界内流场数值模拟

无喷管助推器依靠药柱的扩张面实现对气流的加速,燃面的线性增加及喉面的指数增加,使其内流场呈现明显的非定常性;侵蚀燃烧、压强的不均匀分布及药柱变形,使无喷管助推器的工作过程十分复杂。通过对FLUENT软件进行二次开发,建立了无喷管助推器的非定常动边界内流场数值模型,考虑了推进剂的点火过程和侵蚀燃烧,可获得各个时刻的燃面位置及内流场分布,从而可对发动机的内弹道性能进行较准确地预示。通过对某无喷管助推器的工作过程进行模拟,内弹道计算曲线与试验曲线吻合得较好。     

中继卫星系统仿真软件设计与应用*

设计开发中继卫星系统仿真软件,并针对理想信道条件、I/Q幅相不平衡、幅频特性、群时延、相位噪声、功放饱和条件、非线性信道条件这七种信道,仿真16QAM和16APSK的误码率性能,并对仿真结果进行分析。利用仿真平台得出的非线性信道条件下误码率需求与所需信噪比之间的关系,可以作为完善系统技术指标的重要依据,为中继卫星系统后续建设和应用提供重要参考。     

计算机软件可靠性分析及抗不可靠性方法

现代技术数字化、自动化、智能化、系统化及综合一体化的高速发展,计算机软件起着重要作用。软件的可靠性是软件研制和开发中的关键问题。对软件的可靠性进行了全面分析,以实例阐明不可靠软件导致的突发性、灾难性后果。给出了软件可靠性预计表达式。提出并探索了排除软件不可靠的方法,这些方法可方便地应用于工程实践。     

飞行仿真系统的软件设计方法研究

针对现代飞行仿真系统的复杂性和紧耦合性，首先按照一般意义对飞行仿真系统进行了功能模块划分，然后在系统和分系统两个层次上讨论了飞行器仿真软件开发的构架，引入了数据通道的概念，作为解决软件模块间数据接口问题的基本方法，最后通过编程验证了其可行性与合理性。     

卫星真空热试验中红外加热笼的创新设计

针对某型号卫星加热笼设计中的一些特殊问题,设计了一些特殊的处理方法,包括加热带双面涂黑漆的方法,加热笼结构设计中的一些特殊处理,以及支架控温装置等的设计。试验证明,这些方法在卫星真空热试验过程中取得了好的效果,可以为今后加热笼的设计开阔思路,有利于更好地完成试验任务。     

基于CORBA的制造执行系统的实现

提出了一种适合我国离散制造业的制造执行系统的功能模型，针对传统的制造执行系统缺少柔性，不易重构，难以维护的缺点，系统地论述了基于CORBA（Common object request broker architectore)的制造执行系统的实现方法，包括领域分析，面向对象分析，面向对象设计和应用CORBA技术实现制造执行系统等主要内容，实例证明该系统具有良好的扩展性，可重构性和易集成性。