基于随机Petri网的火控系统可用性分析

为了定量分析火控系统测试性改进设计后,增加的测试模块对系统可用性的影响,本文运用动态故障树方法对系统可用性进行了分析判别,并运用随机Petri网建立了故障树的仿真模型,通过仿真实验得出了系统增加测试模块前后的故障率和可用度指标的动态变化曲线。结果表明,测试模块的介入使得系统可用性提高,所进行的测试性改进设计是成功的。     

基于潜艇指控系统的软件模块化研究

针对目前潜艇装备软件的现状,结合工程实践,运用软件模块化思想,提出了基于构件的潜艇指控系统软件开发模型和层次化的潜艇指控系统软件体系结构,并在此基础之上,对潜艇指控系统软件进行了模块化研究,给出了潜艇指控系统软件模块框架。实践表明,该设计方法实现了软件与其他系统的集成,提高了软件的质量与可靠性。     

一种基于可用性的战术通信子网评估方法

针对战术通信子网可用性建模,利用马尔可夫方法对单网可用性模型进行了数学分析,采用蒙特卡洛仿真法进行验证,并给出了一种考虑了战术层级特点以及节点权重的通信网可用性仿真模型,计算可用性参数来对系统做出可用性评估.实验结果表明,该仿真方法具有一定的有效性和可用性,为战术通信网可用性评估提供了新的思路及参考方法.     

面向服务的潜艇指控系统集成方法研究

为应对潜艇指控系统面临的使用需求,深入分析了潜艇指控系统特点及信息流程,构建了“以服务为核心”的多层次体系结构模型,提出了平台系统层、基础构件层、服务层、业务服务层和表示层的5层框架结构;并研究了支持该框架的工程实现方法及技术解决方案。该框架解决了当前潜艇指控系统集成困难,使潜艇指控系统具有更好的可扩展性和互操作性,便于用户根据不同的任务需求建立相应服务模式,具有重要的现实意义。     

体系作战可重构指挥控制软件设计方法

提出了一种面向体系作战可重构指控软件设计方法,分析了体系作战指控软件可重构的需求,介绍了如何通过软件架构设计、功能模块配置、数据库及信息交互接口协议设计实现指控软件可重构。依据该方法开发了指控软件,并已通过了体系实装演示试验验证,结果表明该方法合理可行,可为各军兵种体系作战指挥控制系统建设提供参考。     

基于DoDAF的反导指控系统体系结构模型研究

首先简要介绍了美军反导指控系统和国防部体系结构框架(department of defense archi-tecture framework,DoDAF)的基本情况,确定了体系结构模型开发方法和步骤,然后利用Telelogic公司的system architect软件完成了作战视图、系统视图的分析与设计,为理解指控系统内在规律、开展指控系统顶层设计研究提供理论支持。     

防空导弹武器系统维修性设计在总体性能设计中的地位与作用

本文仅从衡量现代化武器系统的“价值概念”及其可用性标准出发,指出系统可用度和战备状态对系统有效度的影响,并具体分析维修性设计在防空导弹武器系统总体性能设计中的地位与作用。     

互联网大数据可用性增长方式研究

随着信息技术的发展,特别是物理信息系统、互联网、社交网络等技术的突飞猛进,数据爆炸性增长的同时,劣质数据也随之而来,数据可用性受到严重影响。近年来,学术界和工业界开始研究数据可用性问题,取得了一些的研究成果,但是针对互联网大数据可用性问题的研究工作还很少。文章从大数据的发展现状分析入手,概述了大数据可用性的挑战,探讨了大数据可用性方面的研究问题。通过机器翻译案例,指出了互联网大数据可用性增长的可能途径。     

军事需求与军事需求工程

在传统软件工程生命周期中,涉及需求的阶段称作需求分析。一般来说,需求分析的作用是:*系统工程师用于说明软件的功能和性能,指明软件和其他系统成分的接口,并定义软件必须满足的约束;*软件工程师求精软件的配置,建立数据模型、功能模型和行为模型;*为软件设计者提供可用于转换为数据设计、体系结构设计、界面设计和过程设计的模型;*提供开发人员和客户需求规格说明,用于作为评估软件质量的依据。但从当前的研究现状来看,需求工程的内容远不止这些。需求工程是系统工程和软件工程的一个交叉分支,涉及到软件系统的目标、软件系统提供的服务、…     

海军指控系统应用软件复用集成平台研究

为了充分发挥海军指控系统应用软件的使用效能,需要采用先进的软件体系结构建立灵活高效的软件复用平台,从技术层面映射各种复杂多变的组织结构和管理体制,既能面向新一代指控平台发展方向,又能高效地改造和集成遗留系统。以面向服务的技术为基础建立海军指控系统应用软件复用架构模型,依托架构模型提出了代码复用、软件升级和软件整合三种软件复用集成策略,在此基础上设计实现了海军应用软件复用平台,可以敏捷搭建应用系统,并同时拥有快速响应需求变化的能力,显著提升指控系统应用软件的灵活性和适用性。     

ANP在依托C4 ISR的指挥控制效能评估中的应用研究

指挥信息系统（ C4 ISR）作为联系指挥者、指挥对象和武器平台的重要手段，其作用的发挥对指挥体系的整体指挥控制效能具有重要影响。将指挥员、指挥机关、指挥信息系统和所属部队等多种因素作为影响指挥控制效能的主要因素，在分析各因素之间的相互影响及其内部各子因素的相互关系后，采用网络层次分析法（ Analytic Network Process， ANP）建立了指挥控制效能评估的网络模型，并运用Super Decision（SD）软件对模型予以实现。     

软件定义的航天器测试网络技术

航天器测试网络是航天器自动化测试运行、测试数据监测分析等测试业务运行的信息通道,它的性能将极大影响航天器试验测试效率与试验数据的应用效能。针对传统航天器测试网络存在的物理独立部署、人工迁移、存在数据孤岛以及无法高效交换共享的不足,本文参考借鉴软件定义网络技术,设计了基于虚拟局域网及软件定义网络技术的软件定义航天器测试网络。该测试网络技术具备良好的软件重构、区域隔离、测试信息汇聚共享性能,能够通过软件重构,自动化迁移部署航天器测试网络;通过网络区域逻辑隔离,确保各航天器测试指令运行区域受控、安全;通过全局测试数据汇聚实现多航天器测试数据的交换共享,从而有效解决了航天器测试网络快速部署、测试指令安全运行与测试数据交换共享的问题,有力推动了装备试验数据工程的建设工作。     

舰载指控系统软件可靠性模型分析

在对软件可靠性模型领域的众多模型进行全面分析研究的基础上,通过对从事海军指控系统软件研制单位的部分专家的实地调查,运用Ｂａｙｅｓ检验方法对专家信息进行处理,进而提出了适合舰载指挥控制系统的软件可靠性推荐模型．借鉴Ｓｃｈｎｅｉｄｅｗｉｎｄ模型在美国航天飞机飞行控制系统模型评估中的成功应用,把Ｓｃｈｎｅｉ－ｄｅｗｉｎｄ模型参数估计的思想方法运用到我们所选择的舰载指控系统软件可靠性模型中,并给出了用数据分析、判断模型的具体事例．     

基于指控交互信息用户语境的语义Web服务发现和组合

在军事指挥控制模拟训练系统和训练装备研究领域,指控系统与仿真系统的开发是相对的,遵循不同的标准和协议,在结构和功能上存在很大的差异。通过建立指控交互信息的语义Web服务概念参考模型,提出指控系统与仿真系统互操作性面临的技术需求,研究基于指控交互信息用户语境的语义Web服务发现和服务组合,提出了基于静态与动态用户语境匹配的语义Web服务发现架构和服务匹配算法,以及基于用户语境的语义Web服务组合算法。     

基于UML的航天发射指挥控制软件建模研究

指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。     

炮兵指挥系统测试的报文通用解析编辑模型

针对目前炮兵指挥系统测试设备报文解析、编辑程序量大、通用化程度低的情况,在研究分析炮兵指挥系统报文基础上,提出了适用于各种型号炮兵指挥系统报文解析、编辑组报的通用报文解析与编辑模型.根据提出的模型设计出炮兵指挥系统测试的通用编辑软件,可供各种型号的炮兵指挥系统测试完成报文的解析、编辑、组报,能够大大减少有关报文的编程量,为炮兵指挥系统的综合检测奠定了良好的基础.     

指控系统智能反汇编软件开发

针对没有提供软件清单的指控系统,在对其硬件环境十分熟悉的基础上,采用模拟跟踪程序执行路径的方法,开发了某型指控系统的智能反汇编软件。它可将固化在该系统EPROM中的机器码程序自动地反汇编成汇编源程序,形成打印文件存盘,以便列出程序清单供阅读和修改,进而改善指控系统功能。