基于COTS的航空电子软件开发

介绍了商用货架产品(COTS)在航空电子软件开发中应用的优点和缺点,和基于COTS的航电软件构架;并给出了一个开发过程和部分开发工具。最后通过一个实例说明基于COTS的航电软件开发是实际可行的。     

液体火箭发动机模块化通用仿真

以大型液体火箭发动机研制为背景,根据模块化建模思想和通用仿真要求,提出一种具有良好通用性和系统组织能力的仿真方法,数学模型在模块内的存储形式是代码文本,操作者只需从界面即可添加模型,扩展模块库.描述了实现这种方法的软件架构,在Microsoft Visual Studio 6.0平台上,采用C++语言开发出该仿真软件,...     

利用最大最小化模型求解地面搜索问题

在搜索人数一定,用时最短的条件下,为了搜索完目标区域,根据搜索完区域的时间即为最后到达的人员所需时间,建立了最大最小化的规划模型,通过lingo程序,进行求解.并对划分的小矩形区域个数和队员人数也做了分类讨论.针对地面搜索问题进行了研究和讨论具有一定现实意义.     

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

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

通用仪器接口总线标准及软件技术的发展

叙述了通用仪器接口总线标准和软件技术的现状和未来。介绍了ＧＰＩＢ、ＶＸＩ总线，程控仪器校准命令和虚拟仪器，给出了ＧＰＩＢ标准关系图，ＧＰＩＢ软件结构以及虚拟仪器框图。     

软件可靠性测试数据生成方法研究

阐述了构造非实时软件运行剖面的方法,以及根据运行剖面生成非实时软件可靠性测试数据的方法,并提出了构造实时软件运行剖面和生成实时软件可靠性测试数据的思路。最后给出实例,系统地演示非实时软件可靠性测试数据的生成过程。     

军用嵌入式软件测试技术研究

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举.但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面仍然存在一些问题,软件测试工作形势依然严峻,急需得到改进和加强.本文主要分析了军用软件测试现状、存在...     

引射冷却系统设计与数值模拟

采用复合可压流法和考虑粘性影响的一维流法设计了满足最大次流流量的引射喷管冷却结构,并采用Delphi语言开发了具有友好人机界面的设计应用软件,对引射喷管抽吸特性规律进行了研究,利用Fluent商用软件进行了设计引射喷管结构的数值模拟,验证了计算方法的有效性.     

关于低成本遥测站

低成本遥测站充分遵照了国家和工业标准，尽量采用市场已有的产品，按照开放系统设计准则和模块化构成方法，以ＣＡＤ及仿真为开发手段，使系统的寿命周期成本最低。     

银河仿真Ⅱ型机一体化软件支撑系统的图形生成与分析处理

对一体化软件支撑系统的图形生成与分析子系统的功能、设计原则及设计思想进行了介绍，并详细介绍了该子系统的实现方法。该子系统为用户建立了方便、灵活、有效的仿真结果分析处理环境。把仿真中产生的结果数据变为直观的图形曲线，并提供了常用的分析处理手段。