一个DIS实时通讯网络的设计与实现

以一个ＤＩＳ（分布交互仿真）实时网络的设计和开发过程为背景,研究了ＤＩＳ实时网络开发中的几个问题。在进行实时ＤＩＳ网络规划时,采用了多点传送的通讯服务方式,保证每个仿真应用只发送变化的信息,只处理与自身相关的信息。指出了进行数据的实时传输格式定义时应注意的几个问题,这些数据定义必须支持多种不同的操作系统和平台。最后给出了开发ＤＩＳ实时通讯软件的方法,包括通讯协议和应用编程接口的选择。     

卫星星座的系统仿真研究

研究了对人造卫星星座进行系统仿真的方法.从轨道动力学的观点出发,提出了卫星星座系统仿真的概念和要求;建立了星座系统仿真的数学模型;讨论了星座系统仿真的软件实现方法;最后介绍了开发的一个星座系统仿真软件.      

人工神经网络在CAPP系统开发工具中的应用

探讨了基于神经网络理论在ＣＡＰＰ系统开发工具的应用;建立了工艺过程设计系统的ＡＮＮ模型;详细讨论了工艺过程设计系统的推理机制,并给出了用集成ＢＰ网络选择加工方法及通过改进Ｈｏｐｆｉｅｌｄ网络确定工艺路线的过程。     

Ada动态测试中遗传算法的参数编码方法

介绍了将遗传算法应用在Ada程序结构测试中,被测单元参数按照遗传算法的运算规则进行编码的原则与方法.首先,介绍了包括枚举类型和变长数组的基本数据类型的参数编码方法.由于Ada语言允许使用动态数据结构类型的参数,如何在一个较高自动化的动态测试工具中实现对动态数据结构的自动测试,成为首要关注的问题.因此文中着重介绍了Ada程序的动态数据结构在遗传算法中的编码方法.     

文献“Software Testing in Space Programs”[1]点评

作者以他个人的观点,对该文献中重要部分进行了点评,指出:空间软件地面可靠性测试尽管困难重重且有诸多限制,但不能放松甚至放弃执行现有的软件地面测试标准;应从"精神号"火星探测器飞行失败中吸取教训,加强软件地面测试,包括传统软件黑盒和白盒测试方法中的典型测试项目(如:健壮测试、应力测试、极值测试、随机测试等);已经公布的新软件研发标准——Aerospace Report No.TOR-2004(3909)-3537,Software Development Standard for Space Systems值得我们参考。     

基于安全性的航空发动机控制软件测试技术

针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况。     

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

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

民用运输类飞机驾驶舱门适航要求及验证

介绍了增强型驾驶舱门的产生背景及主要组成部分,列出了增强型驾驶舱门关于泄压、防侵入与防穿透以及紧急进入驾驶舱的适航要求,归纳总结了针对上述要求的设计方法、适航验证思路和符合性方法(method of compliance,简称MOC),以及在设计和验证中要注意的问题。该研究对于飞机增强型驾驶舱门设备鉴定及装机验证具有参考价值。     

民机电传飞控系统CCAR 25.672符合性验证思路研究

首先阐述民机电传飞控系统适航符合性验证的定义,然后详细介绍了民机电传飞控系统适航符合性方法和选用原则,最后以国内某型民用客机为研究对象,开展了针对CCAR25.672条款的符合性验证思路的分析与研究。     

某伺服实时控制软件SFMEA/SFTA

对某助推伺服控制软件开展失效模式影响分析(SystemFailureModeandEffectsAnalysis,SFMEA) 和故障树分析(SoftwareFailureTreeAnalysis,SFTA)。SFMEA 是一种自下而上的分析方法,用以辨识出一系列可能的软件潜在故障模式,并评估其对系统工作的危害性。SFTA 是一种自上而下的分析方法,其目标是识别出基本事件(底事件),而基本事件可导致系统产生其所不希望发生的顶事件。应用SFMEA和SFTA的主要目的是提高软件和系统的安全性及可靠性。