Petri网在反导作战概念模型验证中的应用

军事概念模型是对军事行为空间进行的第一次抽象,它对军事系统表达的准确性和合理性将是作战仿真模拟质量的关键.针对军事系统的复杂性,在众多的建模语言中,选用何种语言进行军事概念模型的验证值得深入研究.Petri网是一种应用广泛、功能较强的建模语言,适合复杂系统建模.分析比较了它的特点,探讨了其运用的思路,最后给出了其在反导作战军事概念建模验证中应用的实例.     

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

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

军事概念模型及其建模方法

军事概念模型对开发作战系统的计算机仿真模型具有良好中介作用。本文先介绍了军事概念模型的概念、内容和建模要求。在简要介绍面向过程建模法和面向对象建模法的基础上 ,着重介绍了两者结合的方法———面向实体的军事概念建模法。     

军事建模仿真中概念模型定义比较

作战描述和建模是决定仿真系统成功的关键因素,作战描述和建模是通过军事人员和技术人员的交流合作建立的,概念模型建模技术为促进军事人员和技术人员的交流而提供技术支持.但是在建模仿真界对于概念模型有很多不同的理解,这些不同的理解导致建立的概念模型差别很大,也限制其效用的发挥.分析了造成概念模型的理解差异的原因,给出了一个比较的框架进行比较,并从战争的发展趋势和建模仿真开发的需求给出了定义.     

军事概念模型知识获取过程方法和工具

军事概念模型是独立于实现的真实世界的实体、任务等作战要素的表示.军事概念模型是军事建模仿真系统开发中非常重要的一步,对于仿真的可信度具有重要的影响.从知识系统开发的观点将军事概念模型开发分成知识获取和知识工程两个阶段.探讨了军事知识获取的过程,知识结构化描述的表示方法、语言和描述过程,在此基础上开发了支持军事概念模型知识获取的工具"兵书一号",并得到了广泛的推广和应用.     

基于UML的海军作战结构模型形式化描述研究*

以海军装备应用研究系统为背景,着眼于海军作战仿真想定生成系统的标准化,通过分析海军作战想定描述的层次结构,针对统一建模语言(UML)在面向对象系统方面的应用特点,探讨了使用UML表示标准的作战想定开发方法,并以合同进攻敌海上编队为例介绍了海军作战想定的设计方法。通过建立实体行动的军事概念模型以及对其进行的形式化描述,实现了军事专业人员和仿真技术开发人员之间的顺利交流,为仿真想定辅助生成系统的开发提供参考。     

C4ISR系统军事需求描述概念模型

C4ISR系统军事需求描述概念模型在C4ISR需求建模中具有重要地位.概要分析了C2过程模型,提出C4ISR系统军事需求描述的概念模型--分为"客体"、"主体"和"建模"三个部分,给出了军事需求描述常用概念、术语的定义,通过C4ISR系统军事需求描述概念模型说明了这些概念和术语的相互关系,给出了C4ISR系统军事需求描述的基本要求;示例说明了概念模型的合理性.     

基于UML/Petri网的作战指挥可视化建模与验证

主要对一种典型作战--"导弹拦截卫星"的指挥活动建立其可视化的军事概念模型.建模过程中主要运用了工作流建模的思想、UML建模语言和Petri网建模方法,建模过程又分为模型构建和模型检验两部分内容,通过模型构建来描述"导弹攻击卫星"指挥活动内容以及活动流程等;而通过模型检验来验证模型自身的正确性,以及对指挥活动分析的正确性.     

基于领域建模语言的作战概念描述方法

针对传统统一建模语言(UML)和系统建模语言(SysML)主要面向一般软件工程和系统工程领域应用,缺乏作战概念相关领域知识的问题,提出了基于领域建模语言(DSL)的作战概念描述方法.基于SysML Profile扩展机制,在需求图中设计了能力、战略和战术等需求元模型,在块定义图中设计了武器装备体系、武器装备、传感器等类元模型.以此为基础,对分布式杀伤作战概念的静态结构和动态行为进行了分析描述,为有效缩短作战概念建模仿真周期、加强不同背景研究人员之间沟通交流奠定了基础.     

应用马尔科夫链的空中战役过程数学概念模型

空中战役过程的数学概念模型是对实际作战过程的抽象,是仿真建模的基础.在对空中战役过程物理特性分析基础上,根据典型化、模块化等手段对空中战役的典型作战过程进行处理,使其符合马尔科夫链的判别条件,将整个作战过程看作多个作战阶段组成的状态转移体系,建立用马尔科夫链描述的空中战役典型作战过程数学概念模型,探讨了作战阶段持续时间、状态转移概率的确定和其他影响因素,并对适合作战阶段数学模型的建模方法进行介绍.所得研究结果可以为仿真建模人员的仿真建模工作提供有益的指导.     

Knowledge-oriented modeling for influencing factors of battle damage in military industrial logistics: An integrated method

Modeling influencing factors of battle damage is one of essential works in implementing military industrial logistics simulation to explore battle damage laws knowledge. However, one of key challenges in designing the simulation system could be how to reasonably determine simulation model input and build a bridge to link battle damage model and battle damage laws knowledge. In this paper, we propose a novel knowledge-oriented modeling method for influencing factors of battle damage in military industrial logistics, integrating conceptual analysis, conceptual modeling, quantitative modeling and simulation implementation. We conceptualize influencing factors of battle damage by using the principle of hierarchical decomposition, thus classifying the related battle damage knowledge logically. Then, we construct the conceptual model of influencing factors of battle damage by using Entity-Relationship approach, thus describing their interactions reasonably. Subsequently, we extract the important influencing factors by using social network analysis, thus evaluating their importance quantitatively and further clarifying the elements of simulation. Finally, we develop an agent-based military industry logistics simulation system by taking the modeling results on influencing factors of battle damage as simulation model input, and obtain simulation model output, i.e., new battle damage laws knowledge, thus verifying feasibility and effectiveness of the proposed method. The results show that this method can be used to support human decision-making and action.     

数字化装甲营作战仿真实验室的支撑软件设计

介绍了数字化装甲营作战仿真实验室的支撑软件组成、结构和功能.军事指挥人员(建模人员)利用支撑软件按照自己的意图,快速制定作战想定,兵力、兵器部署的系统模型,通过系统模型的运行,实现战斗进程的逼真模拟,实施人在环、部分实装在环的装甲兵分队作战指挥对抗演习和实验,完成装甲兵分队的战术和技术训练任务,为装甲兵部队作战理论研究,人员训练,装备作战效能评估,技术保障研究和院校各专业技术人才培养提供高技术的软件平台,并且快速确定系统模型的可信度指标,为上级机关决策的合理化提供有力的支持.     

面向指挥自动化效能评估的仿真网格系统

根据网格思想提出一种基于HLA的仿真体系框架,整个框架分为应用层、HLA层、模糊层三层:应用层放置各种作战方案,由军事人员操作;HLA层由RTI支撑,邦元完成作战方案对模型的调用;模型层则是各种模型及其管理的集合。该框架利用DCOM技术对仿真模型资源进行管理及任务调度。RTI则负责邦元的通信及时间管理,这样将仿真模型与HLA体系分离,为大规模军事仿真提供了一种有效的方法。介绍了仿真网格系统原型,最后以潜舰作战为例,具体研究了系统实现方法。     

关于构建空地一体战场区域导航系统

受美军开展战场区域导航系统研究的启发,思考分析了我国北斗卫星导航系统面临的军事威胁和固有脆弱性,建议有必要基于伪卫星技术构建空地一体战场区域导航系统,以此作为北斗卫星导航系统在区域范围内的备份系统,并基于有人机控制无人机协同作战的理念阐述了系统的组成构想和行动构想,分析了系统的相关关键技术。     

浅析军事医学语言的现实意义

军事医学语言是军事语言学的一个分支学科。古今中外的军事医学实践表明,军事医学语言在医学工作中发挥着重要作用,有时对医疗效果起着决定性作用。我国古代十分重视运用军事医学语言保障部队提高医疗效果的作用。但是,军事医学语言学科还不成体系,严重影响着军事医学工作科学效能的发挥。加快军事医学语言学科体系建设,已经成为当前巩固和提高部队战斗力中一个不可忽视的课题。     

基于组件的末段高层反导作战仿真系统功能分析与设计

末段高层反导作战系统是拦截来袭战术弹道导弹的一个重要武器系统,其发展水平是一个国家军事实力的重要体现。鉴于该系统构成复杂、成本昂贵,因此开发用于科研和训练的作战仿真系统已成为一个关键问题。分析了末段高层反导作战仿真系统的功能结构和数据流,建立了末段高层反导作战仿真系统的功能组件模型。基于功能组件的作战仿真系统具有可重用和即插即用性等特点,有利于简化作战仿真系统结构组成,缩短作战仿真系统开发周期,可为实际战斗力生成提供一个用于科研和训练的实验平台。     

多分辨率建模在战役推演仿真系统中的应用

战役推演仿真系统中存在大量分布在不同层次上的实体,为了使这些实体高效运行,同时保证相关信息能正确交互,研究了几种典型的多分辨率建模方法,并在分析战役推演仿真系统结构的基础上提出了一种面向多分辨率建模的仿真模块体系结构,建立了层次关系表、运行实体关系表、参数映射类和聚合解聚触发事件列表来保证多分辨率模型之间运行数据的一致性,同时避免链式解聚的问题.通过实验,按该体系结构建立的仿真系统能正确运行多分辨率模型,该框架为建立基于多分辨率建模的仿真系统提供了一定的技术支撑.     

基于HLA的电子战飞机作战仿真系统研究

目前电子战飞机战术使用方法仿真研究主要采用功能级仿真的方法,以雷达方程和干扰方程为理论基础,围绕侦察接收机和干扰机部分功能或部分工作参数进行建模,不能满足组建完整的"系统—系统"级作战仿真的要求,同时也达不到信号级建模仿真的精度和逼真度。针对上述问题,采用信号级仿真的方法,根据当前仿真技术的发展以及航空作战对电子战的新要求,提出并设计了基于HLA的电子战飞机作战仿真系统,并对各联邦成员的构成、开发过程以及关键技术进行了研究,最后以一个电子战飞机随队干扰作战仿真为例,系统分析了基于HLA的电子战飞机作战仿真系统的开发过程。仿真结果验证了模型和方法的有效性,可为电子战飞机作战系统作战效能的分析评估提供平台和依据,对于指导电子战飞机的战术使用具有积极意义。