军用软件的测试与实践方法

首先分析了民用软件存在的问题,然后结合军用软件的特点,对影响军用软件可靠性的因素进行分析,最后提出提高军用软件质量的几种测试与实践方法.     

某雷达装备虚拟训练系统实现技术

从实际装备的特点出发,确定了虚拟训练系统的分布式实现模式.以该实现模式为基础,对系统软件结构框架、基于HLA/RTI的分布交互以及虚拟装备的人机交互等关键技术的实现进行了讨论,解决了雷达装备虚拟训练系统的系统集成环境构成、各仿真节点间的分布交互以及人机交互等问题,最后在虚拟训练系统上实现了雷达装备的开关机、跟踪以及故障维修等不同训练功能.     

基于MDO方法的卫星集成设计系统分析与实现

为解决多学科设计优化方法中多学科设计、多学科分析、多学科优化过程与卫星总体设计流程集成的问题,采用变复杂度建模技术,并借鉴产品数据管理思想,设计并实现了面向总体设计的卫星集成设计软件系统。阐述了软件的设计思想、系统组成和功能特点,并给出了月球探测卫星概念设计问题的具体应用实例,结果表明软件在解决多学科设计优化方法应用于卫星集成设计问题时的可行性。     

一种视频引信引爆时机控制方法的硬件实现

提出了一种结构简单、命中率高的视频引信设计方案,该引信根据目标在摄像机视场中视频图像序列中的相对位置关系来确定引爆时机.对其中信息处理单元进行了硬件和软件设计,并在实验室条件下,模拟实际作战应用时图像特点,对设计的实验板进行了验证.实验结果表明,单片机软件工作可靠,该方案切实可行.     

一种嵌入式系统中软硬件故障的划分方法

软硬件故障是嵌入式系统可靠性的关键问题之一,如何划分软硬件故障对于整个系统的可靠性研究来说是至关重要的,也是最基本的一步.给出了软硬件故障的基本定义,并与单纯的软件故障和单纯的硬件故障进行了对比,总结了软硬件故障的基本特点.在此基础上,归纳了几条软硬件故障的划分原则,提出了一种软硬件故障的划分流程,并通过形式化方法对某装备的具体软硬件故障进行了划分,为进一步的研究提供了有力的依据.     

一种精确打击下桥梁毁伤视景仿真系统设计实现

目前,在桥梁毁伤仿真领域采用的数值仿真方法虽具有精确性高的优点,但是仿真过程不直观、形象,整体性不强。采用视景仿真技术进行精确打击下桥梁毁伤仿真,在保证精确性要求的基础上,利用Unity3D软件以三维画面的形式进行展示,仿真过程形象、直观、明了。给出的精确打击下桥梁毁伤视景仿真系统的设计方法,能够满足真实性和实时性的要求,利用Unity3D自带的物理引擎完成了桥梁模型的物理特性建模和爆炸仿真分析,通过全过程仿真,能够分析得出相应的毁伤结论,达到了预期效果。     

基于邻接矩阵的软件测试环境规划设计方法

在分析软件测试环境的基础上,研究了软件试验中测试用例设计面临的突出问题,从软件测试环境的规划出发,基于有向图的邻接矩阵,设计满足一定覆盖度标准的软件测试环境规划方法,可为软件试验提供技术参考和研究方向。     

基于VxWorks双核应用的导弹火控系统软件设计方法

针对单核应用的火控系统软件多任务设计架构在提升性能和扩展功能方面存在的不足,提出了一种将目前的火控系统软件多任务设计架构以较少的设计更改即实现双核应用的方法,实现了基于VxWorks双核应用的火控系统软件设计架构,该方法已经在某型导弹武器系统中得到了应用,验证结果表明该方法效果良好,软件运行稳定可靠,极大地提升了火控系统扩展功能和性能的水平。提出的方法对于将单核应用转移到双核应用或开发新的双核应用均具有一定的参考意义和实用价值。     

巨型机通用数学库软件与并行算法

本文介绍了巨型机通用数学库软件的概念和意义,指出了巨型机数学软件开发的技术途径与发展趋势,讨论了并行算法在其中的关键性作用,结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。     

分布式计算机网络数据加密研究

针对C~3I 系统对分布式计算机网络数据加密的特定需求,重点对网络加密方式、密码装置、软件编程设计等核心问题进行了研究。可对数据加密总体设计与软件概要设计提供参考。