论文部分内容阅读
作战需求验证是C4ISR装备体系需求开发过程的重要环节,仿真是作战需求验证的一种有效手段,而验证模型的建立是进行仿真验证的前提和关键。针对现有C4ISR装备体系作战需求仿真验证方法在验证模型的建模语言、建模方法等方面的不足,提出采用对象Petri网(OPN)建立仿真验证模型,深入剖析了建立验证模型所需的作战需求描述信息,研究了验证模型的建立过程,可有效支持作战需求验证仿真系统的构建。
Verification of operational requirements is an important part of C4ISR equipment requirements development process. Simulation is an effective means of verification of operational requirements. The establishment of verification model is the prerequisite and key of simulation verification. In order to overcome the shortcomings of the simulation methods of the combat requirements of the existing C4ISR equipment system in verifying the modeling language and modeling methods of the model, a Petri Net (OPN) is proposed to establish the simulation verification model and analyze the operations required to establish the verification model Demand description information, the establishment of verification model is studied, which can effectively support the construction of simulation system of operational requirements verification.