军事仿真概念模型开发研究

军事仿真概念模型是对现实军事世界中的事物或现象的一种独立于具体仿真实现的表示,规范的仿真概念模型近似一种“认识标准”,是促进军事领域专家与仿真技术人员沟通与协作,提高仿真模型正确性、互操作与重用性的基础。本文从仿真概念模型的概念内涵、作用与分类出发,探讨了仿真概念模型在军事仿真开发中的位置和角色以及开发过程中的一些问题。     

军事概念模型分层次验证方法研究

概念模型验证是建模与仿真校核、验证与确认中的重点和难点。军事概念模型的内涵丰富、层次多、种类多,因而难以在一个层次上验证其全部内容。鉴于此,提出了军事概念模型分层次验证方法,将其划分为系统层、模型层、设计层3个层次,然后分析了各个层次的验证内容、验证指标、验证过程和验证方法。该方法的优点是明确了概念建模各个阶段的验证内容和验证方法,分解了验证工作的复杂性,增强了验证工作的阶段性、层次性、针对性和可操作性。     

步兵分队作战仿真军事概念模型研究

面向步兵分队作战效能评估需求,针对步兵分队作战仿真系统的研制,基于任务空间概念模型(CMMS)开展军事概念模型的研究.介绍了军事概念模型的基本定义及其在军事仿真中的作用,阐述了CMMS的定义和组成.针对步兵分队作战仿真建立了军事概念模型,包括想定概念描述、作战实体概念描述、战斗指挥概念描述、战斗行动概念描述和战斗动作概念描述五大部分,为步兵分队作战仿真系统的详细设计和实现奠定了基础.     

概念模型工程研究

任务空间概念模型（CMMS）是对现实世界中事物或现象的一种独立于具体仿真实现的表示,规范的概念模型近似一种“认识标准”是促进领域专家与仿真工程人员沟通与协作,提高模型正确性,互操作与重用性的基础,本文围绕CMMS的描述,确认与管理,提出了概念模型工程的思想、过程与方法,重点探讨了符合国情的实施途径。     

电子对抗作战模拟领域概念模型设计研究*

基于领域模型重用机制,以提高模型重用性为目标,分析了领域概念模型体系结构的设计方法,将概念模型体系分为军事概念模型、逻辑概念模型和领域专业术语字典三个部分。介绍了构建领域概念模型的设计流程和关键技术,以电子对抗作战模拟领域概念模型的设计为例,说明了该方法的实际运用结果。     

军事概念模型的格式化描述方法研究

概念模型是对真实世界的第一次抽象,是仿真系统开发中的一个重要环节.针对当前军事概念模型开发中存在的建模元语缺失,描述不规范的问题,提出了关于系统六元的概念模型的格式化描述的建模方法,按照系统相似性的原理对作战系统的内涵、要素、结构、状态、运行、功能六个方面进行抽象,通过图、表等形式,构建出完备的、规范的军事概念模型,为军事概念模型的开发、军事领域人员与仿真技术人员的交流提供一种可供参考的方法.     

炮兵军事概念模型语义描述方法研究

炮兵军事概念模型是对炮兵领域知识的第一次抽象,它具有极其丰富的语义。描述炮兵军事概念模型时引入语义网技术,按知识工程的过程与步骤,逐步描述相关炮兵概念模型的语义,并在Prot6g6工具的支持下以本体的形式表示概念模型及其相关知识。然后用推理器对具有语义的概念模型进行语义的一致性检验、约束冲突检查并报告检查结果,通过检查维护语义的一致性。该方法能够全面、严格、简便地表示与管理、维护炮兵军事概念模型。     

基于XML/Schema的海军战术军事概念模型研究

军事概念模型是指对现实军事行动流程的一种规范化描述,如何以一种人与计算机程序均可理解的信息模式来描述军事行动,拓展军事概念模型的适用范围,是当前军事概念模型研究中的一个难点。通过分析模型实现对技术手段所提出的需求,以及XML标记语言和Schema模式语言的各自技术特点和相互之间的关系,结合海军战术级军事活动的特点,该文提出了基于XML/Schema技术的以能力为核心的海军战术军事概念模型建模基本思路,并以此为基础建立了海军战术军事概念模型原型的逻辑结构。最后,该文以水面舰艇单舰航渡中对空防御军事活动为例,应用原型建立了该项战术简化了的军事概念模型。实践表明建立基于XML/Schema的海军战术军事概念模型在技术上是可行的。     

基于XML的多维概念模型的研究

对于数据仓库概念模型的研究,目前缺乏统一的标准,不利于模型的交流与共享。基于XML的多维概念模型利用XML这一标准交换语言,不仅很好地解决了这一问题,而且也为元数据的集成与共享打下了基础。针对多维模型的特点,定义了一个特定的DTD,它能够完整地描述多维概念模型的各种语义特征,并针对基于UML的多维概念建模方法,定义了基于XML的多维概念模型与基于UML类图的多维概念模型的映射方法,为其应用奠定了实践基础。     

基于Petri网的概念模型验证方法研究

针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错误时需要验证的Petri网性质;最后以防空导弹作战过程为例,研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程。实践证明此方法减少了领域专家直接进行概念模型验证的主观性影响,提高了效率。     

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

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

仿真系统概念模型验证方法的分析与选择

概念模型是对真实世界的第一层次抽象,是仿真系统开发的基础。概念模型的质量对于提高仿真系统的质量有着重要的影响,而概念模型验证是提高概念模型质量的重要手段。在对概念模型验证的定义、层次和内容进行分析的基础上,介绍了当前主要的四类概念模型验证方法,将其分为专家评审法、折衷分析法、形式化验证方法和可执行验证方法,并分析其优缺点,最后从语法、语义和语用三个层次出发,对概念模型验证方法的选择问题进行了探讨,其结果可以为概念模型验证人员提供理论参考。     

概念模型的描述方法和验证过程

概念模型(Conceptual model)是对问题域抽象的产品,它对于仿真开发和仿真可信度影响重大。该文介绍了两种概念模型的描述形式。一种是科学报告方法,它采用科学报告的严谨格式,从九个方面完备、清晰地描述了概念模型;另一种是设计融合方法,它采用Rational／UML结构、图表描述概念模型,它可以指导仿真设计和实现。科学报告方法是基于文本形式的,设计融合方法是基于UML图表的,建议两种方法结合起来描述概念模型。仿真的可信度由概念验证决定,文中给出了概念验证的六个步骤。     

装备保障仿真概念模型的语义验证方法研究

概念模型验证是保证概念模型正确、可信的重要手段。针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,提出了一种基于本体与规则推理的装备保障仿真概念模型语义验证方法。该方法的思路是:首先将UML描述的概念模型转化为本体描述语言OWL描述的概念模型;然后根据领域知识构建验证规则,并运用语义网规则描述语言SWRL描述验证规则;最后将模型和规则转换为Jess规则引擎识别的数据格式,输入到Jess规则引擎中进行模型与规则的语义推理,检查概念模型是否符合验证规则。实例表明,该方法使用验证规则和语义推理机替代领域专家在计算机上自动对概念模型的语义内容进行验证,提高了验证效率,减少了专家验证的主观性和不确定性,降低了形式化验证方法的复杂性。     

面向体系对抗仿真的模型测试方法研究

模型的有效性评估一直是建模与仿真领域研究的重要课题.针对传统校核与验证方法难以确定模型被确认为无效的原因以及传统建模过程中模型开发与实现紧耦合的特点,通过对武器装备体系对抗仿真与模型测试的需求分析,以层次化建模为基础提出了面向武器装备体系对抗仿真的模型测试方法论,从纵向和横向两个层次论述了概念模型和仿真模型的测试方法,给出了层次化模型测试环境的参考实现.该方法不仅为武器装备体系对抗的仿真模型开发提供质量控制手段,同时也为其它仿真应用的模型校核、验证与确认提供有效的方法支撑.