任务空间概念模型及其形式化抽象描述

任务空间概念模型对建模与仿真的互操作与重用有着重要的意义，但还没有一个统一的描述方法。文章研究了任务空间概念模型在仿真中的应用，探讨了它与作战想定、作战条令、条例之间的关系，然后对任务空间概念模型进行了形式化抽象描述，从而进一步给出了它的模型层次结构。     

使命空间模型研究初步

使命空间模型(MSM)是使命空间概念模型(CMMS)的核心问题,是军事仿真领域的重要问题,是作战人员对真实世界军事行动的形式化规范描述,它描述了军事领域中过程、实体、环境、交互和任务。文中首先对MSM中经常使用的一些概念进行了阐述,接着介绍了MSM开发中的上下文、数据的收集和形式化及公共的语义和语法,给出了使命-阶段-任务的三层分解机制,最后结合一个攻击机场的实例进行了使命分解。     

一种新的军事概念建模方法

军事概念模型建模是作战复杂系统建模与仿真的重要环节。该文提出了一种包含面向过程任务空间概念建模与面向对象仿真空间建模两个阶段的军事概念模型建模方法。该方法方便军事人员与仿真人员从不同视角对作战系统进行抽象描述。最后,该文通过一个空基反导作战案例,对这一方法进行了验证。     

军事概念模型建模实践分析与研究

军事概念模型是在吸取美军任务空间概念模型概念和技术的基础上,根据我军作战仿真实际特点提出的.它是作战仿真软件开发的阶段性成果,又是作战仿真软件开发过程的可视化显示.首先通过对实际军事概念模型建模实例的分析,给出了在军事概念模型中存在的一些共性问题.在此基础上针对问题提出了军事概念模型建模中应把握的原则和相应的军事概念建模过程,以期提高军事概念的建模质量.     

作战任务空间的一致性描述

要解决作战仿真中军事领域专家与仿真技术专家之间的沟通问题,解决仿真间的互操作与仿真资源的重用,就必须要建立对真实世界(包括作战过程、作战实体、作战环境以及它们之间的交互等)一致性的描述模型,也就是要建立任务空间概念模型。本文提出了对作战任务空间的描述方法,并结合一个小例子,使用UML语言对其进行描述。     

作战想定的形式化表述方法研究

作战想定是作战仿真中军事与技术沟通的桥梁,需要通过形式化的方式进行有效的表述.从作战需求和仿真系统开发技术出发,通过分析抽象提出了作战想定形式化表述的W5(Who, When, Where, What, hoW)原则,并进而对作战单元的时空运动和使命任务规划方法进行研究,提出了一种基于原子条件和原子行为的任务规划方法,最后介绍了采用这一研究结果开发实现的一个作战仿真系统.     

XML仿真想定的Vega可视化研究

仿真想定开发是军事仿真中的重要环节.如何将作战任务从军事自然语言描述最终转换成视景仿真表述,是军事推演仿真中急需解决的问题.主要讨论使用XML技术和Vega技术相结合完成任务计划想定视景仿真的方法.首先描述了军事想定的概念、意义和建模方法,然后通过实例描述了任务计划想定的建模和形式化描述过程,继而阐述了使用Vega视景仿真表现XML想定的方法,最后确认了该思路的可行性,并总结了若干实践经验.     

水面舰艇编队反潜作战任务空间概念模型研究

任务空间概念模型是作战问题建模的第一阶段,提供了一种共同、一致、权威的建模和仿真表达的基准。基于EATI模板,研究了水面舰艇编队反潜作战任务空间概念模型的实体集、任务集、行为集、状态集和交互集等,为以高层体系结构(HLA)技术构建仿真框架,对水面舰艇编队反潜作战效能和反潜作战使用问题进行研究奠定了基础。     

作战仿真应用中实时VV&A研究

作战仿真系统是一项复杂浩大的技术工程,由于其在应用领域的重要性以及系统开发中高投入高风险的现状,使得建模与仿真(M&S)的VV&A工作变得至关重要.以具体的工程实践为依据,系统分析了作战仿真的特点,研究了在作战仿真应用阶段,一种以任务空间概念模型为驱动、可互操作、自动化、实时的VV&A方法.     

编队协同反潜概念模型研究

概念建模是当前仿真领域的关键技术之一,被用于连接真实世界和仿真模型,建立概念模型有利于实现仿真间的互操作和促进仿真资源的重用。分析了概念模型的建立过程,简要介绍了统一建模语言UML。结合编队协同反潜的特点,建立了实体、任务、动作和交互的概念模型,并利用UML对协同反潜军事活动进行了形式化描述。所建模型可以减小军事专家与仿真技术人员对该活动的认知偏差,缩短建模与仿真的工作周期。     

模型驱动的复杂人机系统过程建模仿真方法

复杂人机系统涉及复杂的技术系统过程、认知决策过程以及人机协同过程,是当前系统工程研究最具挑战的领域之一。建模仿真在很多情况下是分析复杂人机系统过程性能效能的唯一可行选择。分析了复杂人机系统过程建模以及系统仿真模型表示的主要方法。结合平台级作战过程建模应用问题,给出了一种物理域、认知域、模型框架三分的复杂人机系统过程建模框架。在模型驱动方法的指导下,综合运用多方法建模、领域特定建模等方法讨论了复杂人机系统过程仿真模型设计问题。对其他领域的复杂人机系统过程建模仿真问题研究具有示范意义。     

一种军事仿真概念模型的定性反馈表示方法

军事仿真是一个复杂系统,良好的概念模型设计是系统开发的正确性保证,为了便于军事领域专家和系统开发人员交流,提出一种定性反馈表示方法,在基于HLA的军事仿真概念模型设计中引入定性反馈方法表示联邦成员数据交互关系,可以直观表示出各联邦成员的静态和动态关系,为实际仿真系统的开发建立基础。     

图形仿真模型的形式化描述方法

提出了基于嵌套结构的情报侦察仿真知识表示框架 ,对带输出的有限状态自动机在仿真实体建模中的应用作了详细论述 ,并给出了利用自动机进行仿真实体建模的算法。在此基础上 ,提出了基于图形界面的嵌套仿真实体的构造方法 ,并给出基于图元的可视化仿真实体的形式化描述     

Research on system-of-systems combat simulation model formal specification and representation

1. INTRODUCTION Weapon equipments acquisition and demonstration has become more and more prominent in the informationalized war conditions while operational effectiveness evaluation is its core part. The compl- exity and uncertainty of weapon systems operational effectiveness evaluation make traditional analysis methods or expert evaluation methods less effective to solve problems. Simulation based operational effe- ctiveness evaluation is an efficient solution. The increased complexity o…     

复杂层次模型中知识表达与推理方法研究

工程教育认证背景下的人才培养体系,是典型的复杂层次系统.采用多色集合及其元素、着色、围道矩阵和体运算等概念,建立复杂系统层次结构模型,从水平和纵向两个方向对该模型进行形式化描述,并给出复杂层次结构模型的形式化推理算法流程.基于多色集合为工程教育认证背景下的人才培养体系构建的层次结构模型,在逻辑层实现了知识自顶向下、自底向上的单向自动推理和同时向下、向上的双向自动推理,在问题的形式化描述、信息的高效率处理和程序的快速实现等方面具有明显优势.构建工程教育人才培养体系层次结构模型并提出知识的表达与推理方法,对开展工程教育专业认证工作、提高人才培养质量都具有重要意义,同时也为复杂系统模型构建及其知识推理分析提供了一种新的有效方法.