对象Petri网及其在C4ISR系统仿真中的应用

首先给出对象Petri网（Object based Petri Net,OPN)的定义，介绍了OPN对基本Petri网的扩展，然后总结OPN的特点和C4ISR系统仿真模型的建模原则，讨论了OPN在C4ISR系统仿真建模中的适用性，最后对一个防空战术C4ISR系统建立OPN模型，验证了OPN的可用性。     

基于UML状态图的C4ISR系统的建模和实时分析

针对C4ISR系统的实时性强的特点,对UML状态图进行时间扩展,使用时间扩展的UML状态图对C4ISR系统进行建模。同时为分析C4ISR系统的实时性,采用一定的转化规则,将时间扩展状态图模型转化成时间Petri网模型,使用时间Petri网的可达树来分析C4ISR系统的时间特性。应用一个C4ISR防空实例表明了该方法的可行性和实用性。     

层次建模分析方法在C4ISR系统中的应用

C4ISR系统是一个规模庞大、层次分明的离散动态系统。文章提出了一种面向C4ISR系统的UML和Petri网结合的建模分析方法。该方法采用从上到下的层次分析方法。用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过相应的规则将Petri网模型转化成状态图和序列图。新方法可以对系统要求进行验证，同时还可以编程实现。最后通过该方法，对一个C4ISR系统进行了建模分析。     

基于对象Petri网的计算机网络仿真建模

首先给出对象Petri网(OPN)的定义及其对基本Petri网的扩展。根据OPN和计算机网络的特点，划分了计算机网络仿真模型，并结合TCP/IP协议讨论建模过程。最后通过基于OPN的CBMSE(组件建模仿真环境)仿真了一个局域网。说明OPN的对网络建模仿真和性能分析应用。     

基于OPN的指控能力包服务动态组合方法研究

服务组合方法对于分布式网络环境下基于SOA的军事应用系统的综合性能影响很大.提出了一种基于OPN的服务动态组合方法的解决方案.首先定义了基于对象Petri网的指控能力包服务描述和组合模型,对服务组合的数学算子进行了分析和证明,而后给出了基于OPN的服务动态组合流程,最后使用国防科大对象Petri网建模仿真环境工具对提出的服务组合模型进行建模仿真,并对实验数据进行了分析.     

基于MAS的编队对海打击仿真系统设计与实现

针对编队对海打击仿真问题,设计了一种基于MAS(multi-agent system)的编队对海打击仿真系统;提出结合MAS和OPN(object-oriented Petri net)的思想,利用OPN设计系统的Petri网基网模型;在基网模型基础上,加入状态标示,建立系统Petri标示网的形式化模型;进而采用Petri网的关联矩阵对系统形式化模型的状态进行分析,从形式上确定系统的结构与状态,有效降低了系统初期开发的难度;利用JADE平台实现了编队对海打击仿真系统.仿真实例表明,仿真系统具有良好的人机交互功能,与实际符合较好,能够为对海打击提供决策参考.     

基于对象Petri网的信息系统建模技术

针对复杂管理信息系统分析与建模的困难性,提出了一种基于Petri网和面向对象的建模技术,给出了对象Petri网系统OPN的形式化定义,具体介绍了用OPN进行信息系统建模分析的基本思路与方法,并通过一个典型的租赁管理系统建模对该方法进行了应用。     

面向对象Petri网在柔性贴装系统仿真中的应用

Petri网十分适合分析、设计柔性制造系统。在Petri网基础上引入面向对象(OO)技术,采用面向对象Petri网(OPN),建立了一个PCB元件柔性贴装系统的完整的OPN模型。并利用对象之间的消息传递技术实现了两个共享工作区和物料区的机械手的无冲突工作,为其它复杂的多机械手柔性装配系统的建模提供了数学和图形工具。     

支持C4ISR系统研究的一种集成建模方法

建模仿真技术是C4ISR体系结构研究、C4ISR系统分析与设计所采用的重要且有效的方法之一。该文介绍了一种应用于C4ISR系统研究的集成建模方法：应用IDEFO建模方法进行CAISR系统的顶层分析与设计研究，并实现IDEFO模型向OOPN模型的转换；然后实现OOPN模型的动态运行，并根据仿真结果，度量、评估顶层分析与设计成果或系统的性能。最后，本文给出集成IDEFO和OOPN的建模仿真方法的一个简单应用示例。     

时间Petri网在即时检验流程建模中的应用

针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。     

C4ISR仿真系统中通信仿真模型的建立

通信系统是保证信息在C4ISR系统中无缝流动的物质基础。从工程技术角度，建立一个高精度的通信仿真模型是非常复杂的。该文分析了C4ISR仿真系统对通信仿真模型的需求，提出了C4ISR仿真系统中通信系统仿真模型建立和实现的方法。     

基于模型工程的C4ISR系统仿真建模研究

现代作战模拟系统的不断发展对C4ISR系统的效能评估提出了更高的要求,为了进一步实现C4ISR系统效能评估模型的互通、互联、互操作等特性,提出了C4ISR系统效能评估模型的建模程式和效能评估模型的描述规范、表述规则、评价标准、维护方法和管理制度,从而为C4ISR系统效能评估提供规范的建模支撑技术,研究相关关键技术,并验证C4ISR系统效能评估模型的可靠性,组建优质模型资源库,实现C4ISR系统效能评估模型的可重用性。     

基于仿真的C4ISR系统设计方法及其支持环境研究

C4ISR系统的分析与设计是一项非常复杂的系统工程,而建模和仿真技术(M&S)作为系统分析与设计的一种关键技术有着广泛地应用.该文在对C4ISR系统的分析与设计过程进行研究的基础上,结合基于仿真的设计(SBD)方法,提出了基于仿真的C4ISR系统设计方法,深入探讨了在C4ISR系统分析设计全生命周期中运用SBD方法进行辅助设计的过程,并对其支持环境的设计进行了研究.     

基于UML的面向C4ISR能力需求分析的对象建模语言

军事电子信息系统是一种典型的大规模复杂系统,如何获取这种复杂系统的需求仍然是一个难题。提出了一种新的能力需求分析方法。该方法从领域概念化入手,构造了C4ISR能力概念化的元本体;利用UML元层扩展机制,提出了一种用于定义C4ISR能力概念的对象建模语言,并给出了该语言的抽象语法和详细语法,利用OWL DL定义了形式语义。最后以一个C4ISR体系结构仿真建模为案例,说明了该方法的有效性和可用性。     

基于Statecharts的C4ISR系统建模方法研究

C4ISR系统基于仿真的设计方法需要良好的建模方法的支持,Statecharts是一种支持动态行为建模的建模方法,能够描述系统中的层次性、并发和同步,具有结构清晰、逻辑关系明确的优点.将Statecharts方法应用于C4ISR系统的建模过程中,可以对系统在运行过程中实体的状态以及状态的变化进行较为完整的描述,可以增进建模人员对C4ISR系统的理解,提高系统开发的效率.该文在对Statecharts建模方法进行研究的基础上,着重对Statecharts方法在C4ISR系统分析、建模过程中的应用进行了探讨,为C4ISR系统的建模分析提供了支持.     

SysML及其在C4ISR系统建模中的应用研究

针对C4ISR分析与设计中建模手段的不足,提出了基于SysML对C4ISR系统的组成、接口与通信、功能、状态变迁、系统事件跟踪等进行建模的方法.在分析SysML四层元模型体系结构基础上,分析了SysML的语义与图形表示机制,探讨了SysML对C4ISR系统建模的支持作用,并以某防空指挥系统的建模为例,对系统的组成、接口与通信关系、系统功能、状态转移以及事件跟踪进行了描述,系统分析了基于SysML的C4ISR系统建模过程.对于提高C4ISR系统建模能力提供了一种可行的思路.     

指挥自动化系统仿真模型的描述与实现

指挥自动化系统是打赢高技术战争的关键。对指挥自动化系统进行作战效能评估具有重大意义。指挥自动化系统效能仿真与评估将系统、信息、仿真三者有机结合，以指挥自动化系统的支持能力为中心。该文主要研究其中的仿真模型，采用UML中的类图与对象图对指挥自动化系统仿真模型进行描述，并利用C 语言实现了模型描述。     

面向指挥自动化效能评估的C3IEEE系统设计

该文基于指挥自动化系统的实际需求特点,分析了指挥自动化系统评价工作的难点问题,给出了系统的效能评估流程,共分为问题明确、系统方案分析、指标选取、实际评估四个阶段。在此基础上,设计了指挥自动化系统效能评估环境（简称为C^3IEEE）,进行系统总体设计和系统实体设计,包括其功能结构,工作流程、系统数据结构以及与仿真的接口等。所设计的效能评价系统既可做独立评估系统使用,也可外接仿真系统,提供一体化的仿真评估支持。系统具有良好的通用性和扩展性。