作战节点与连接关系层次描述方法

作战节点与连接关系描述是描述C4ISR体系结构的基本产品.从战争系统的层次结构着手,探讨庞大C4ISR系统作战使命的层次性,研究作战节点的层次性.分析并提出两类功能分解--使命-使命分解(M→M)和使命-任务分解(M→T).研究了M→M的复杂性,研究认为不宜利用M→M直接分层次描述作战节点与连接关系.最后,研究并提出作战节点与连接关系层次描述方法.     

军事信息系统作战活动描述方法研究

针对军事信息系统需求分析需要，探讨了作战活动过程描述、作战节点连接描述、节点状态转换描述和作战活动时序描述的内容和方法。基于该理论和方法，可以准确描述信息化条件下军事人员对军事信息系统的应用需求，实现军事人员与技术人员的有效沟通，为军事信息系统军事需求分析与应用设计的基础。     

军事信息系统作战活动描述方法研究*

针对军事信息系统需求分析需要，探讨了作战活动过程描述、作战节点连接描述、节点状态转换描述和作战活动时序描述的内容和方法。基于该理论和方法，可以准确描述信息化条件下军事人员对军事信息系统的应用需求，实现军事人员与技术人员的有效沟通，为军事信息系统军事需求分析与应用设计的基础。     

C4ISR体系结构产品设计研究

体系结构产品是C4ISR体系结构框架中定义的体系结构描述形式,因此体系结构产品设计是体系结构设计的关键环节。基于C4ISR体系结构框架,对作战节点连接关系、作战活动模型、系统接口描述等核心体系结构产品进行规范化描述,分析了这些核心体系结构产品的数据相关性,提出了体系结构产品设计的检验方法。     

基于DoDAF与Petri网的预警卫星系统建模分析

预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的。     

基于SA Simulator的流程建模与仿真

静态体系结构模型中的各种要素以及它们之间的信息流是以静态的方式描述的,无法显露体系结构设计的薄弱环节和瓶颈。对此,基于SA Simulator流程仿真工具,开展了流程模型的建模与仿真。通过对SA Simulator流程仿真工具的原理及仿真流程的分析,以美国导弹防御系统为背景,在明确其主要作战要素(作战任务、作战节点及作战过程)之后,使用SA Simulator该流程仿真工具,基于IDEF3方法建立了导弹防御指控流程模型;从IDEF3规则、进程流的属性设置及关系配置与分配两个方面对模型进行验证。最后,进行流程仿真,研究了战略指控系统节点使用率、活动平均执行时间对指控流程的性能影响,并提出了相应的改进措施,以改进、优化导弹防御指控体系结构。     

作战活动分析方法与建模

作战功能是作战节点具备的履行作战活动的能力,作战任务是作战节点履行作战活动的原因和目的.首先,从研究作战任务、作战功能、作战活动等基本概念着手,分析作战任务、作战功能和作战活动三者之间的关系.然后,建立模型,通过数学关系式a=A(f,t)说明作战活动是作战功能、作战任务的二维函数,作战节点履行什么作战活动由作战功能和需要完成的作战任务共同决定;在此基础上,构建作战功能、作战任务、作战活动三者的关系矩阵,用关系矩阵的形式分析、描述作战节点履行的作战活动;最后,结合IDEF0建模方法,给出分析、确定作战活动的基本步骤.     

作战视图的陆战平台电子信息系统作战需求分析

作战体系结构方法是获取作战需求的有效途径;介绍了体系结构的适用原则、作战视图的研究内容及逻辑关系,运用指挥关系模型、作战活动模型、逻辑数据模型、作战活动顺序与时间模型、作战节点连接能力模型、作战信息交换矩阵对指挥关系、作战活动、作战节点连接能力和作战信息交换进行分析,获得陆战平台电子信息系统的作战需求,为陆战平台电子信息系统作战需求分析提供了一种新的方法。     

基于面向对象思想的作战单位形式化描述方法北大核心

为了使各军事仿真系统一致地理解作战单位的含义和能力,对作战单位的形式化描述方法进行了深入的研究,提出了一种基于面向对象思想的作战单位形式化描述方法。首先,分析作战单位的属性和构成,对其属性进行抽象和封装,得到作战单位类的静态属性,进而形成作战单位的描述规范;然后,为了使其可以在不同分辨率的系统平台上应用,在描述规范的基础上,采用聚合方法对作战单位之间的动态关系进行描述,得到作战单位类的动态方法,并给出了适用于该描述规范的作战单位聚合方法;最后在一体化仿真系统中应用了所提出的作战单位描述方法,证明了该描述方法的可用性和有效性。     

陆军分队作战仿真模型结构描述规范设计

针对当前陆军分队作战仿真模型结构描述不规范现象，在了解其仿真模型结构的基础上，将仿真模型分为单模型和组合模型并将两者描述为不同的四元组结构，同时引入模型方法描述表、模型数据描述文件和模型数据与方法匹配关系表，解决了陆军分队作战仿真模型结构描述的规范化设计问题。为进一步实现陆军分队作战仿真模型规范化描述奠定了基础，同时也为设计和实现陆军分队作战仿真模型管理系统提供了理论和技术上的支持。     

基于协作负载的指挥关系描述与设计

在分布的网络环境下,战场的快速反应需要在分布作战单元间建立一种指挥关系自同步的机制,以实现对战场作战力量的快速构建与重组.在这一指导思想下,基于文献中关于协作与负载的定义,给出了基于协作与负载的指挥关系描述,提出了基于协作与负载的指挥关系设计内容与目标.     

SPC交换程序的半自动生成技术

本文介绍我院正在研制的 SPC 交换领域用的半自动编程系统,该系统通过用规范和描述语言 SDL 书写的规范来产生 SPC 交换程序。文中讨论了半自动生成系统的基本结构,并给出一个具体的半自动生成实例。     

面向装备发展的作战任务描述方法研究

为了有效、正确地进行武器装备作战需求分析,需要提出规范化的作战任务描述方法。针对武器装备作战需求分析的特点,研究提出作战任务描述产品,确定了详细的开发过程。以联合火力打击战役为背景,应用该方法进行作战任务描述并给出部分描述产品,验证了该方法的有效性。     

C4ISR体系结构描述和设计方法

C4ISR系统体系结构设计是系统综合集成的基础。根据C4ISR系统体系结构设计的特点,基于多视角的思想,建立了C4ISR系统体系结构描述的概念模型。讨论了结构化和面向对象的体系结构设计方法和步骤。     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

基于Web服务的OPNET功能封装模型

为了实现对OPNET软件强大功能的跨平台调用,提出了一种基于Web服务的OPNET功能封装模型.该模型以数据库为中介实现了OPNET程序与外部系统的交互,通过批处理文件调用了OPNET程序,进而将OPNET程序封装为OPNET Service的服务并发布到服务注册中心,外部应用程序可以通过查找注册中心查找实现对OPNE...     

面向装备论证的作战任务描述方法研究

为了有效、正确地进行武器装备作战需求论证,需要提出规范化的作战任务描述方法.针对武器装备作战需求论证的特点,研究提出作战任务描述产品,确定了详细的开发过程.以联合火力打击战役为背景,应用该方法进行作战任务描述并给出部分描述产品,验证了该方法的有效性.     

兵力组织适应性设计问题研究

构建适应战场环境的兵力组织是提高我军战场对抗优势的重要途径。针对兵力组织的适应性设计问题,从兵力组织的描述方法、适应性设计方法和效能评估方法 3个方面梳理了国内外的研究现状。其中,兵力组织描述方法包括计算数学组织理论、图论和网络、多Agent系统、Petri网和信息理论;兵力组织适应性设计方法包括基于三阶段思想的适应性设计方法、基于粒度计算思想的适应性设计方法和基于扩展三阶段思想的适应性设计方法;兵力组织效能评估方法包括理论评估方法和实验评估方法。对涉及的各种组织描述方法、适应性设计方法和效能评估方法进行了详细的分析介绍,并总结了当前研究存在的不足。