捷联惯导系统的软件开发

本文介绍在PC机上开发捷联惯导系统软件并进行数字仿真的方法,讨论了从分配软件任务,到开发实时软件、管理软件、仿真软件,直至固化运行的全过程。还介绍了ASM-86语尔、PL/M-86语言与C语言混合编程的技巧与优点。该方法与传统的在86/380开发系统上开发捷联系统软件的方法相比,具有良好的经济效益与实用价值。同时,本方法具有通用性,可用在以8086为基体的单板机软件开发上。     

模糊可靠性理论中的基本概念

经典可靠性理论以概率假设和二态假设为基础,在许多情况下是不可接受的,需要以可能性假设和模糊状态假设分別替代。模糊可靠性理论或者基于概率假设和模糊状态假设,或者基于可能性假设和二态假设,或者基于可能性假设和模糊状态假设,从而有3种不同的形式:率模(Profust)可靠性理论、能双(Posbist)可靠性理论和能模(Posfust)可靠性理论。本文概述了率模可靠性理论和能双可靠性理论中的基本概念,并介绍一个简单实用的模糊软件可靠性模型,最后展望模糊可靠性研究的未来趋势。     

IBM-PC型微机CAD软件集成研究

 由于CAD方面的应用软件是分散开发的,故这些应用软件所采用的语言,输入输出格式以及数据存贮方式都不相同,如何将这些各自开发的应用程序集成为一个有实用价值的CAD系统,本文试图提出两种解决办法。     

短周期涡轮实验的发展趋势

对国外短周期涡轮实验技术的发展及其应用范围开拓的情况进行了综述和分析.比较了长短周期涡轮实验技术各自的优点和不足.近年来, 在发展高性能航空发动机的需求带动下, 短周期涡轮实验技术正在努力克服自身的薄弱环节, 力争达到长周期涡轮实验技术所能达到的性能测试精度.其发展目标是争取部分替代长周期涡轮实验, 由单纯机理性实验平台向部件性能研发平台扩展.同时, 作为重要的基础研究平台, 短周期涡轮实验台在机理研究领域也有所拓宽, 开始被应用于新设计理念的验证、CFD设计分析软件的校验等新的领域.      

某测试软件输入模块的可靠性测试方法研究

采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果.     

鱼雷发射控制系统测试设备的设计与实现

介绍了鱼雷发射控制系统测试设备的功能和工作原理,给出了测试设备的硬件构成和软件设计方法,并分析设计中所采用的关键技术,采用LabWindows/CVI作为软件开发平台,具有良好的人机界面.     

基于自组织神经网络的软件功能测试数据自动生成

针对面向软件功能的测试数据自动生成问题,提出了一种动态自组织特征映射方法,用于生成揭示软件功能故障的测试数据(简称故障数据)。该方法主要有两部分组成,①采用具有全局多峰搜索特性的小生境遗传算法,在输入空间内搜索功能测试数据,生成少量的初始故障数据;②由初始故障数据,采用具有联想和分类能力的可变结构自组织特征映射,不断迭代生成大量相近而不同的故障数据,以便给开发者提供引发这些软件故障的信息,从而确定软件故障行为的模式或假设。用某型空空导弹发射控制软件进行了实验,运行结果表明了方法的有效性,故障数据生成效率高于遗传算法和随机法。     

航空火控仿真系统的设计与开发

基于可视化仿真技术建立了航空火控仿真系统。该系统实现了四种航空火控设备的功能仿真,可为学员提供故障检测、实时监控、作战效能评估等多方面的教学训练。本文介绍了系统的功能,系统硬件和软件的结构及组成。     

安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

基于大气传输软件激光透过率对比研究

简要地归纳了目前比较通用的大气传输软件LOWTRAN7、MODTRAN和FASCODE的概况和异同,分析了大气透过率的计算和激光武器选用的波长,比较了激光传输衰减和能见度的关系,重点研究对比了用LOWTRAN7和FASCODE计算1．06μm和10．6μm激光的透过率,并得出了结论。