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

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

基于组件的C~4ISR系统需求开发方法

如何获得完整、准确的需求文档以及如何提高需求描述的重用性一直是C4ISR系统需求研究的重点,是C4ISR需求工程研究的重要组成部分.从研究C4ISR需求文档的现状出发,提出了基于组件的C4ISR系统需求开发方法,即将组件化封装、重用的思想引入到C4ISR系统需求的开发.对C4ISR需求组件体系的外部结构和内部结构进行了研究,并对需求组件的重用性进行了研究,给出了基于组件的C4ISR系统需求开发过程框架.该方法提高了需求的可用性和重用性,为撰写高质量的C4ISR需求文档提供了一条有效的途径.     

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

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

基于运行安全分析的核动力仿真软件的研究与应用

对基于运行安全分析的核动力仿真软件的基本功能及其数学物理模型进行研究.运用工具软件对设备冷却水系统的正常与异常运行工况进行了仿真计算及结果的分析.与RELAP5/MOD3计算结果的比较表明,该软件可广泛用于核动力一回路辅助系统及二回路系统的仿真分析.     

软件分域测试可靠性评估的注记

软件可靠性评估是软件可靠性研究的重要问题.文中通过反例证明了分域测试的Thayer Lipow Nel son评估方法是不正确的,将样本点排序法用于分域产生可靠性评估,获得了软件可靠性置信下限.最后给出一个实例说明该方法的可行性.     

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

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

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

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

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

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

某型机载雷达抗干扰效果评估软件实现

抗干扰效果评估软件系统是电子对抗试验环境系统的重要组成部分,是机载雷达抗干扰效果评估系统的核心,在靶场电子对抗试验环境建设中具有重要作用和地位.采用软件工程设计方法对该雷达抗干扰评估软件系统进行了概要设计,建立了评估软件系统的评估模型、模块结构、逻辑流程和主要人机界面,基于VB.net进行了抗干扰效果评估软件系统的初步设计与调试.     

软件构件可靠性与费用分配最优模型

针对软件构件可靠性和费用分配问题,给出一种可靠性和费用分配最优模型。文中将软件系统可靠性定义为软件构件失效密度、操作剖面、构件使用矩阵以及软件无失效运行时间的函数,描述了费用最优模型的建立和利用非线性规划理论求解模型的步骤,有效地处理了带有复杂计算的目标函数和约束条件的可靠性和费用最优分配问题。计算实例表明,利用该模型进行可靠性和费用分配是可行的。