基于多视角的装备体系军事需求开发框架模型

装备体系军事需求开发框架模型为装备体系军事需求的开发提供了指导和规则.考虑到军事装备体系自身的体系复杂性和参与军事需求开发的人员多样性,为了能综合反映出各个角度上的需求,应用多视角方法首先对装备体系军事需求进行了分析,然后基于该方法构建了军事需求开发框架模型,进而分析了装备体系军事需求体系,最后以示例来说明该框架模型的实用性.     

核心体系结构数据模型的改进方案

核心体系结构数据模型(Core Architecture Data Model简写为CADM)提供了如何组织C4ISR系统体系结构数据的概念视图,其设计思想对体系结构数据的查询效率、可重用性以及可扩展性有着非常重要的影响.概要介绍了CADM的设计思想,并针对当前CAMD模型数据重用粒度低、扩展性差等缺点,提出了开放性原则、规范性原则、兼容性原则以及重用性原则等数据模型的改进方案,最后分析了这种方案的优缺点.     

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

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

软件保障性评估在维修性分配和预计软件中的应用

从软件保障性的影响要素——软件生命周期过程、软件自身的设计特性和保障资源出发,阐明了软件保障性评估的原理,提出了一套软件保障性评估方案。通过在某维修性分配和预计软件上的具体实践,充分验证了该评估方案的可行性和实用性。     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

舰载指控系统的软件故障树分析

在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。     

核动力装置一回路辅助系统失水事故的仿真研究

运用一种操作简便、计算速度快的工具软件对某核动力装置一回路辅助系统典型位置的失水事故进行了仿真.通过分析仿真结果得出不同位置的破口引起不同后果的事故,其中有些事故可以忽略,有些事故则相当严重.     

基于PowerBuilder的装备通用调拨模块的设计与实现

分析了军械管理信息系统中调拨功能的特点,探讨了基于PowerBuilder的装备通用调拨模块的设计方法和实现技术,并在实际工程中验证了其有效性。     

虚拟再制造研究的体系框架

再制造工程是人类社会可持续发展战略的重要保证,虚拟再制造是提高再制造工程效益的重要内容。为了进一步开展广泛而深入地研究,首先需要明确其主要基础理论及重要研究内容。现根据虚拟再制造的显著特点,参考虚拟制造的研究内容,探讨建立了虚拟再制造研究的体系框架。