基于贝叶斯网络的构件软件体系建模及可靠性研究

分析了军事信息系统软件的特点,指出了该软件体系应具有松耦合、可伸缩和高复用等特性,在此基础上提出了基于构件的动态军事信息系统软件体系,建立了基于贝叶斯网络的构建软件体系可靠性评估模型,实现了对构件软件体系全过程的可靠性跟踪和监控.仿真试验验证了该模型的实用性和有效性,并得出一些对军事信息系统软件体系建设有益的结论.     

基于 XML 配置解析的车辆电子 FlexRay总线通信技术的研究

为了解决在综合化车辆信息系统软件构件化开发平台中,中央处理机与各采集、执行系统之间的数据通信问题,提出一种基于配置解析的FlexRay通信方法.首先对FlexRay总线通信原理进行分析,利用数据的可存储、可配置等特性将FlexRay总线协议的信息参数配置为XML文件;然后通过总线解析软件,将总线信息对应到相应的编码中,各个软件构件可直接通过编码获得总线信息;最后以实验室仪表盘仿真为例,验证了该方法的可行性.     

基于SOA的新型指挥控制系统体系框架及开发方法

传统的C/S架构和基于构件的指挥控制系统解决方案存在扩展性差、灵活性低、无法适应动态变化等方面的问题,不能满足联合作战需求。故在详细介绍SOA及其实现技术Web服务的基础上,提出了基于SOA的指控系统设计思想,建立了基于SOA的指控系统的体系框架,并分析了基于SOA的指控系统的开发过程。其体系框架包括军事信息服务层、服务管理层和系统应用层。而SOA的开发分为需求分析、流程转换、军事信息服务选取、军事信息服务流程组合、系统实现阶段。基于SOA的指控系统将成为未来指控系统的解决方案。     

新型靶场指挥信息系统的软件体系架构研究

针对目前靶场指挥信息系统的技术现状和面临的难题,探讨了基于面向服务的软件体系架构即SOA设计特点及优势,提出当前及未来条件下,靶场指挥信息系统软件体系结构的设计需求、设计参考模型和建设内容,为靶场信息化建设提供指导。     

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的分类和模型代表,并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性,因此重点研究Petri网可靠性评估模型,通过划分时间变迁和瞬时变迁,并引入时间相关的可靠度,包括延时可靠度与时序可靠度,对Petri网进行了扩展,给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系,创建可达状态转移矩阵,对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中,完成了体系结构建模及可靠性评估,并通过误差分析验证了该方法的有效性及准确性。     

军事信息服务的QoS模型及其监控机制

针对传统的指挥控制系统已无法满足联合作战的需求现状,给出了军事信息服务的概念,建立军事服务QoS指标模型,详细分析了各QoS的属性及描述方法。在此基础上,提出军事信息服务QoS监控及选择模型,并对基于QoS的军事信息服务选择流程进行分析。结果表明,该方法能及时感知军事信息服务QoS数据的变化情况,为准确获取最优军事信息服务提供保障。     

基于物联网的军事物流体系建设探讨

为提高军事物流效益,对基于物联网(the internet of things)的军事物流体系进行研究。根据物联网的概念及特点,分析物联网对军事物流的影响,并在此基础上构建基于物联网新模式下的5个层次、2个体系的军事物流信息平台的体系框架结构。该研究可为军事物流建设提供一定的参考。     

一种基于数据库和面向对象的软件复用技术

为满足航天测控任务软件高密度多型号试验任务的需求,以及解决软件规模、复杂度提高引起的软件开发问题,提出一种试验信息分析软件复用技术。将面向对象技术和数据库技术通过“类虚拟机”机制相结合,将配置于数据库的独立的分析项、分析步骤、字段处理方法和信息帧处理方法同最终的软件构件相映射,实现了试验信息分析软件的复用。实践证明：该软件复用技术有助于加快软件开发进度及提高软件的可靠性和易维护性。     

CIMS/MSS系统的评价机制

针对企业对CIMS／MSS系统评测验收的需要。探讨了CIMS／MSS系统的评价规范。提出了对系统软件采用量化评价、对系统理念进行专家评价的评价机制．其软件规模以面向功能的软件功能点FP度量。并列出了所使用的5个加权因子(CT)和14个复杂性调节值(Fi)．软件质量用ISO提出的高、中、低3层软件评价法则评价。并提出包括质量要素、准更4和度量的低层3层次度量模型．软件可靠性由归纳法来估算．基于系统理念评价的专家评价方法。包括考察系统实现CIMS理念的程度。工作流／物流／信息滚的集成程度、以及包涵DPR(产品设计过程的重组及优化)、BPR(企业过程重组)的过程集成和企业间集成的程度等内容．     

军事信息系统安全风险评估模型与方法

阐述了军事信息系统安全所面临的风险．根据信息的重要程度将该类系统分为5级,在此基础上建立了军事信息系统安全风险评估模型,并给出风险评估的程序和步骤,运用该模型和方法对某军事信息系统进行了风险评估,获得了改善系统安全的措施,为该类及相关系统的安全风险评估提供参考．     

装甲兵作战决策支持系统的建模研究

为构造合理实用的装甲兵作战模型,根据装甲兵作战建模的基本原则,从建模的过程和模型技术的角度把装甲兵作战建模分为建立军事概念模型、数学逻辑模型和软件模型3个阶段,并将装甲兵战斗行为分为战斗使命、战斗行动和战斗动作3个层次进行描述,构建与之对应的装甲兵作战决策支持系统的模型体系：基本动作模型体系、战术行动模型体系和指挥决策模型体系,最后从决策支持系统的角度对装甲兵作战决策支持系统的模型库进行了设计。该研究对提高装甲兵作战决策水平、实现决策科学化具有重要的军事意义和现实作用。     

基于软件复用技术的海上测控软件测试模型

针对目前测试复杂度日益增加和测试队伍年轻化的问题,设计基于软件复用技术的软件测试模型。在分析传统软件模型中软件测试存在的依赖于某个单独文档问题的基础上,结合领域分析和软件测试复用的研究,描述可复用测试构件库的生成过程和对测试构件的复用过程,运用刻面分类方法实现了更加精确和准确的分类。结果表明,该模型能提高测试工作效率,解决测试人员经验不足的问题。     

毫米波引信探测器末段弹道修正软件初探

探讨了引信探测器末段弹道修正软件的体系结构,并将其主要构成部分一一做了介绍,重点对系统中小菠 器选取、设计和构建目标机动数字模型方面进行了详细的探讨,使得系统软件体系设计的可靠性大为增强,为提高引信探测器的精度和引战配合效率提供了一种较新的思路。     

软件系统设计的新方法--公理法设计

面向对象软件系统的公理法设计(ADo—oss)是将公理法设计(AD)原理用于大型系统软件设计的一种新方法．基于公理法的软件设计,模块被定义为设计矩阵(A)的行,对象(FR)与设计数据(DP)和A之间存在FRi=AijDPi之关联．它通过FR的变换和分解,自顶向下构造软件分级,产生定义模块;然后通过识别类、建立界面、系统编码,自底向上的构建面向对象模型,完成软件设计．并介绍了基于ADo—oSS的Acclaro的设计原则,及其FR顶级分解、一级分解和二级分解,以及FRll41分枝模块信息全设计矩阵表、OOT图和系统结构图．     

信息化条件下的军事网络人才综合能力评估

针对军事网络人才培养没有综合能力评估体系,缺乏对其培养、选拔、使用进行科学管理的问题,根据其各种指标在系统设计、开发和使用中权重的不同,提出了基于过程的动态权重分析方法。同时将模糊理论引入灰色评估法,提高了指标权重的可靠性,解决了军事网络人才指标量化困难、稳定性较差的问题,建立了人在回路的灰色系统效能评估体系,为军事网络人才综合能力评估提供了有效手段。     

飞行控制系统软件合格性验证技术研究

文中研究了空空导弹嵌入式飞行控制系统软件合格性验证关键技术．提出了随着先进的嵌入式数字计算机在空空导弹武器系统中的应用，软件故障正成为导致武器系统失效的新原因．文中提出了在飞控软件研制中几项重要的飞控软件的合格性验证技术。并对其中的关键技术进行了探讨，重点对两种验证技术进行了深入研究，建立了基于软平台和硬平台的仿真验证系统，并给出了基于软平台的应用实例。     

反计算机电子战

电子计算机技术在军事各个领域的广泛应用已经引起军事革命。与此同时,计算机对抗武器也应运而生。其基本思想是使电子计算机系统失能,使计算机的可靠性陷入困境。基本概念出发点计算机有3个易受攻击的部分:硬件、软件和信息(或资料)。     

软件工程化方法在武器3D实体建模中的应用研究

针对复杂武器3D实体建模的需求,分析并比较了软件工程化中的瀑布模型、变换模型和增量模型等3种模型开发方法,首次将增量模型方法引入到武器3D实体建模中.基本思路是,首先根据需求分析得到的信息将武器3D实体模型划分为不同的增量构件,然后对增量构件进行详细设计并完成基于MultiGen Creator的构件开发与测试,最后进行增量构件组装和模型测试.结果表明,应用该方法有利于提高模型的可重用性和开发效率,同时使开发的模型满足视景仿真系统的逼真性和实时性的要求.     

支持PnPW集成的开放式SMS软件模型与结构设计

针对即插即用武器集成要求,开放式悬挂物管理系统需要在不修改系统软件的前提下完成新武器的集成,为此,提出一种全新的软件设计思想。设计了系统的软件模型,从而得到软件的体系结构,完成了从系统功能层到武器控制层,以及操作系统和模块支持层的设计,通过系统软件对硬件资源的调用来分析软件的使用过程,最终实现了软件的功能。     

离散AMSAA模型在火箭发动机可靠性增长分析与评定中的应用

结合固体火箭发动机的有效试验信息,运用离散的AMSAA模型计算固体火箭发动机的可靠性增长趋势．并用基于遗传算法的思想求参数的最大似然估计及似然函数的极值。最后求解出最终研制的可靠性置信下限。结果表明：此模型与算法的运用,有效地利用实验信息,反映了发动机的可靠性增长过程,并可节省样本试验经费。