CPN在FCM形式化建模与验证中的应用

联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证方法,给出了用CPN建立与验证FCM的步骤,并以一制造系统为例,利用CPN Tools建立了系统的FCM,验证了所建模型的活性、家态和公平性。研究表明,CPN能够为FCM的形式化建模和验证提供有效的支持。

联邦概念模型及其VV&A研究

联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模型的定义、建模方法以及模型形式化描述等方面的主要研究观点,讨论了HLA联邦概念模型开发过程及其完整性、正确性和一致性问题,阐述了FCM的VV&A过程和技术,介绍了有利于减少VV&A结果的主观性的基于模糊AHP的专家评审法和基于时态逻辑的形式化校核方法,最后讨论了形式化方法在联邦概念模型VV&A中的应用。

任务空间概念模型(CMM S)研究

任务空间概念模型(ConceptualModels of the M ission Space,CMMS)是美国建模与仿真主计划提出的三大目标之一,与HLA、DS共同组成M&S的技术框架,它是对真实世界的、独立于仿真的首次抽象,即有关真实世界军事行动过程(功能、任务、行动和状态等)、实体(人员、单位、机制和系统)、交互(控制、转换、信息)的概念性描述。该文通过对任务空间概念模型的定义、组成、过程及位置等理论的阐述,使大家对CMMS有一定的认识。然后通过对CMMS与系统仿真开发过程中的几个关键因素之间的关系进行的分析,使大家进一步认识CMMS作为作战人员的真实世界和仿真开发人员的综合世界在仿真开发过程中所起到的桥梁作用,它对建模与仿真的互操作与重用有着重要的意义。

基于CPN的联邦概念模型形式化建模与验证(英文)

提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。

支持综合训练的JLVC联邦构建技术研究

在综合训练系统技术问题的研究中,综合训练是提高训练效果和节省训练经费的有效途径,可采用计算机仿真与实兵训练相结合的方法。为探求综合训练的支撑技术,在综合分析美军JLVC(Joint Live virtual and Constructive)联邦技术发展的基础上,给出了LVC的定义,介绍了JLVC联邦建立背景、发展过程和现状,描述了JLVC联邦的概念模型,研究建立JLVC联邦的系统体系结构,对JLVC联邦的主要特点进行了分析总结,最后给出了相关结论。

基于模型驱动的HLA建模仿真研究

HLA作为现有分布交互仿真的标准,其系统实现受限于特定的仿真支撑平台,互操作性和可重用性没有得到有效地应用。而OGM提出了模型驱动体系结构(MDA),核心思想是将系统的行为逻辑模型与特定的目标平台分离,可以重用于现有的或将来可能推出的不同的软件平台。关注MDA的特点,针对基于HLA的仿真系统开发存在的有关问题,设计了基于MDA的仿真组件模型和联邦成员组件模型,并提出了基于MDA的建模仿真基本过程。

系统抽象思维与联邦式作战仿真概念模型

运用系统抽象思维方法 ,提出了联邦式作战仿真的三级抽象开发策略 ,给出了指导第一级抽象的概念模型方法体系的基本框架 .