飞机检查单的OPM军事概念模型

军事概念模型是军事理论人员和技术人员之间沟通的桥梁.飞机检查单是维护使用装备的依据.以飞机检查单为例,研究基于对象过程方法论(object-process methodology, OPM)的军事概念模型开发方法,提出“人员操纵设备执行过程,产生信息”和“信息驱动过程、过程改变状态”两层元模型,并在此基础上定义飞机检查单概念模型.这项工作丰富了OPM军事概念模型开发实践案例,在建立军事概念模型时侧重规则对作战活动的约束,能够使先进技术集成运用符合作战规则.

军事概念模型研究综述

军事概念模型是一切军事建模仿真系统开发的共同起点,军事概念模型及其相关技术是解决建模仿真重用、互操作和VV&A的关键因素之一,对于军事建模仿真系统开发具有重要的意义。概述了军事概念建模研究的主要内容,包括军事概念模型相关的概念、定义、建模语言、建模过程、关键技术和工具,简介了其用途,并对未来的发展进行了展望。

军事概念模型的仿真想定生成

研究仿真想定的规范化开发问题,针对目前存在的想定与仿真模型紧耦合等问题,为改善想定的重用性,提出了基于军事概念模型的仿真想定生成方法,将仿真想定的开发分为想定结构化描述和想定形式化描述两个阶段,设计并实现了基于军事概念模型的炮兵仿真想定生成系统,经实验表明有效实现了想定与仿真模型的分离,提高了想定的重用性。

军事概念建模形式化描述语言比较分析

军事概念模型是对军事行为空间进行的第一次抽象,它对军事系统表达的准确性和合理性将是作战仿真模拟质量的关键。随着分布交互仿真和大规模作战仿真的需要,概念模型的通用性和规范化已开始受到人们重视。针对军事系统的复杂性,在众多的建模语言中,选用何种语言进行军事概念建模值得深入研究。IDEF、UM L和Petri网是三种应用广泛、功能较强的建模语言,适合复杂系统建模。分析比较了它们的优缺点,探讨了三种方法综合运用的思路,最后给出了一个军事概念建模的实例。

基于IDEF0和UML的空基反导军事概念模型

空基反导利用空基平台对处于助推段的弹道导弹进行拦截,是一种有效的助推段拦截方式。针对空基反导军事概念建模问题,提出了空基反导军事概念模型的格式化和形式化描述方法。在分析空基反导作战想定和作战任务的基础上,给出了空基反导作战实体和活动事件,阐述了运用IDEF0和UML进行空基反导军事概念模型形式化描述的过程,并建立了空基反导作战的IDEF0和UML模型。最后,基于Petri网方法对所建立的空基反导概念模型进行了验证评估,验证了所建概念模型的合理性。空基反导军事概念模型的建立为作战仿真提供了有力的支撑,对构建空基反导体系具有一定的指导意义。

一种基于军事概念模型的想定生成方法

想定是作战模拟的基本依据,任何一个成功的作战模拟模型都是建立在成功的想定基础之上的。实践表明,想定的拟制工作非常复杂、费时,提出了一种基于军事概念模型的想定生成方法,实现了军事人员在开发想定的同时完成了仿真运行前的数据资源准备工作,提高了仿真的开发效率,保证了仿真的真实性。

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

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

军事概念模型中的部分-整体关系的表达与推理

军事概念模型各要素之间存在着各种复杂的关系,部分-整体关系是这些要素之间的一种极为重要的关系类型,决定了作为统一整体的模型的内在组成和构件之间的联系。首先,从本体上对军事概念模型中的各种部分-整体关系类型进行了详细地分类,然后使用描述逻辑对各种关系进行了形式表示,最后给出了对关系实例的正确性检验的推理算法。

装备保障仿真军事概念模型研究

军事概念模型（military conceptual model,MCM）是装备保障仿真中的重要研究内容,规范的军事概念模型可以有效促进军事领域专家与仿真技术人员之间的沟通与协作。简述了研究装备保障仿真军事概念模型的必要性,在对装备保障仿真、概念模型、军事概念模型等概念进行分析总结的基础上,探讨了装备保障仿真军事概念模型研究的主要内容,指出了当前研究中存在的一些不足和亟待解决的问题。

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

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

MOTE的空基反导军事概念模型描述

探讨了基于隐身无人机平台的空基反导军事概念模型,提出了基于MOTE的空基反导军事概念模型描述方法,研究了空基反导的任务概念、作战概念、技术概念和装备概念。介绍了空基反导军事概念模型效能评估的框架和原则,最后给出了空基反导所涉及的关键技术。通过该研究,为发展空基反导装备和作战使用提供了新的思路和方法,对构建空基反导体系具有指导意义。

基于规则推理的军事概念模型验证方法研究

针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家,在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性,减少非形式化验证方法的主观性和不确定性,提高概念模型验证的质量和效率。

面向实体的军事概念模型建模法研究

首先介绍了军事概念模型的起因，提出了面向实体的军事概念模型建模法，通过比较研究提出了本方法的3个基本依据，以及它的定义、基本建模元素、基本模型和建模过程，最后比较了面向实体的军事概念模型建模法和面向对象的分析法。

气球载雷达支援抗击巡航导弹作战军事概念建模

针对地基预警雷达单独预警巡航导弹发现距离近和跟踪目标困难的问题,提出了气球载雷达与地基预警雷达协同预警。按照军事概念建模的方法,建立了气球载雷达与地基预警雷达反巡航导弹(Cruise Missile,CM)的预警协同模式。在此基础上,建立了IDEF0功能模型。通过对IDEF0功能模型的理解,转换为作战仿真软件开发所需各类UML模型。从技术上验证了气球载雷达与地基预警雷达反CM预警协同作战的可行性,对其仿真实现有一定的参考价值。

DoDAF视图下的反导作战军事概念建模与仿真系统设计

反导作战概念模型是保证不同地空导弹武器系统之间指控系统可集成、可互操作性、高效一体化的关键。首先,针对传统建模语言在模型可执行验证方面的不足,在DoDAF视图框架下,提出一种基于统一建模语言(UML)的反导作战军事概念建模方法;其次,结合军事概念模型给出反导作战仿真系统设计的方法。规范建模框架并选择可执行性强的UML语言建立军事概念模型,对反导作战研究及指控系统开发具有一定参考价值。

防空预警系统军事概念建模研究

对防空预警系统进行建模仿真是科学使用防空预警战术,有效地发挥防空预警系统作战效能的一种重要途径.根据军事概念模型及建模要素,利用基于实体-动作-任务-交互(EATI)的军事概念建模方法对防空预警系统进行军事概念建模,从实体、行动、任务以及交互角度对防空预警系统军事概念模型进行深入的描述,为下一步的防空预警系统数学模型的建立以及仿真程序的开发奠定基础.

军事概念体系的建立

军事概念体系的建立是军事术语体系建立的基础和前提。军事概念是军事认识客体在军事认识主体心理上的反映,军事概念体系反映相应的军事知识体系;概念用定义描述,被赋予约定的指称;概念的特征是构成概念的任何特点、属性或关系;概念之间存在着层级关系和非层级关系,正是基于这些关系,才有可能把军事领域的各专业知识概念组成一个协调一致的军事概念体系。军事概念体系的构建必须经过一系列交互作用的操作,它们反映出该体系建立的基本过程。

基于模板的军事概念模型描述与设计

首先分析军事概念建模存在的问题,然后提出两个阶段、四个步骤的建模思路,在此基础上通过基于模板的概念模型描述方法,将概念建模区分为实体元模型、动作元模型、关系元模型、属性元模型和数据元模型,通过对上述元模型的建模完成对仿真对象的概念建模。

海军特种作战军事概念格式化描述框架和模板研究

介绍了海军特种作战军事概念格式化描述的方法。对海军特种作战军事概念格式化描述的要求进行深入分析,得出格式化描述的基本思路:用面向对象的方法对海军特种作战军事行动进行分解,给出一套规范和格式,使军事人员对军事行动的格式化表述清晰地提供出技术人员所熟悉的面向对象的概念和机制。根据这种思路对海军特种作战军事行动进行分析,抽取出格式化描述的五个要素:作战单位、动作、作战行动、信息和作战环境,从而建立海军特种作战军事概念格式化描述的框架并详细研究了上述五个要素的描述框架和模板结构。

基于军事概念模型的装备保障方案生成研究

本文通过介绍军事概念模型的定义和特点,提出了基于军事概念模型的装备保障方案规范化研究,并设计了相应的装备保障方案生成系统。