可扩展仿真想定描述规范研究

仿真想定描述规范对加快想定数据准备速度,提高想定数据质量,并促进想定数据重用具有重要意义.深入分析了仿真想定与军事想定的区别,设计了基于描述规范的仿真想定拟制与应用流程,在此基础上论述了仿真想定描述规范设计思路,着重从时间、坐标系等基本元素及数据交换格式两个层次制订了可扩展仿真想定描述规范,并生成了遵循该描述规范的序列...     

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

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

基于本体的仿真想定空间知识表达模型

军事仿真想定具有丰富的空间知识,与作战仿真的各类模型关系紧密,目前仿真想定知识描述缺少统一规范,需要构建一种符合空间思维的空间知识表达模型来有效解析仿真想定中空间实体及其相互关系.通过采用本体的方法建立空间知识领域本体并形成空间知识概念的格式化描述规范,采用基于概念知识树的方法从层次上描述空间知识结构,明确本体概念之间...     

战略模拟想定生成系统框架

军事想定设计是一项有很强创造性和艺术性的工作，同时又非常烦琐费时。利用计算机技术，采用规范化、结构化的方法进行想定设计并完成模拟系统运行前资源准备，对于提高模拟系统应用效率具有非常重要的意义。模拟想定继续保留想定的传统含义，又增添了模拟系统运行前准备任务，如完成系统配置、数据准备、模型准备等。本文就战略模拟系统的应用需求，提出了想定生成系统的框架。     

分布仿真实验方案的形式化描述

分布仿真实验管理系统摒弃了分布仿真系统传统的手工运行方式,实现了对仿真实验全方位全过程的管理,提高了实验的自动化程度和运行效率。分布仿真实验方案的形式化是系统运行的重要基础。首先指出仿真想定在仿真实验过程描述方面的不足,接着在对分布仿真实验环境分析的基础上,设计了分布仿真实验方案的组成结构,并采用XML技术对各要素进行形式化描述,最后描述了分布仿真实验方案文件的生成和运行流程。     

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

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

军事想定规范化描述接口技术研究

建立想定静态信息模型可以分为标识事物、分类、寻找关系和定义特性等四个步骤。研究了UML的对象模型、关系、属性、基本数据类型以及类和类继承到XMLSchema的映射方法。最后建立了基于XML的想定数据描述规范——想定描述标记语言(SDML)。     

基于DEVS的多分辨率建模形式化描述规范研究

随着分布交互式仿真技术的发展，多分辨率建模成为建模与仿真的关键技术之一。提出了一种多分辨率模型系的概念，并分析了多分辨率模型系的重要性质。多分辨率模型系描述了同一实体的不同分辨率模型之间关系。在多分辨率模型系和DEVS描述理论的基础上提出了一种多分辨率模型系统的形式化描述规范MRMS，证明了该规范的重要性质，尤其是它的耦合封闭性。在MRMS的基础上，可以进一步深入开展多分辨率建模的理论和实现研究。     

基于XML的作战方案形式化描述

作战方案的形式化是实现作战指挥自动化的基础之一,也是实现作战方案仿真评估的前提。本文通过分析作战方案的组成要素,分别运用EATI方法和XML方法对作战方案进行结构化与形式化描述。构建了作战方案类,在对作战决心进行形式化描述的基础上,逐步细化,完成对作战方案的形式化描述,对于推动和促进作战指挥自动化的发展具有一定的参考价值。     

基于多色集合的概念设计产品模型形式化描述

为了实现计算机辅助概念设计,必须对概念设计产品模型进行形式化处理,以获得计算机仿真所要求的数学描述。本文针对现有模型的不足,提出了基于公理化设计的概念设计产品模型-域结构模板,并采用多色集合的方法对其进行了形式化描述,使得模型便于计算机表达和操作。     

基于Petri网的状态机变迁的形式化方法研究

UML状态机图用来描述一个特定对象生命周期经历各种状态,尽管其表达简单明了,易于理解,但它缺乏准确语义,难以对其进行语义分析和验证的问题。变迁作为状态机图的重要组成部分,同样存在这样的问题,而Petri网有严格的形式化语义,而且有许多成熟的分析方法。为了分析状态机变迁,提出了TES模型,它可以描述状态机的触发器事件和监护条件等元素,然后将几种复合变迁用Petri网描述,最后给出了一个实例,说明模型之间是语义等价的。     

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

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

一种基于聚类分析的多阶段情景生成方法

提出一种基于聚类分析的多阶段情景生成方法,并给出了排除套利的线性规划模型.该方法能更好地模拟历史数据的变化趋势,为多阶段投资组合决策提供一个有效的情景分析工具.     

基于使命模式的仿真想定动态提炼研究

作战体系对抗仿真想定涉及内容多、结构复杂,在想定构建过程中需要不断对想定内容进行调整优化。为提高作战体系探索性仿真效率,提炼出更优、更符合指挥员意图的武器装备体系配置方案和部署方案的想定,提出了一种基于使命模式的想定动态提炼方法,定义了想定动态提炼所采用的特殊的仿真模式——使命模式,分析了该模式的特点,给出基于使命模式的想定动态提炼的流程和算法,最后结合航空兵对地面目标突防筹划分析,实现了想定动态提炼的过程。实验表明,基于使命模式的想定提炼方法可以对多种想定局部效果的动态分析比较,通过单次仿真即可实现传统蒙特卡洛模式下需要多次仿真才能完成的探索过程,大大提高了探索效率。     

多Agent仿真中Agent行为的形式化描述方法

提出了一种从状态、动作、动作序列到活动,逐步地建立对Agent行为的形式化描述方法。该方法能有效地用于多Agent仿真系统的设计中Agent行为特征的分析、定义和描述。     

联合作战仿真应用中的想定系统框架

想定是军事活动的产物，随之成为军事仿真领域不可缺少的重要组成部分，其地位在仿真发展中显得日益重要，想定模型是想定在军事仿真中想定的数字化表述，想定系统是支撑想定模型的软件系统，本文就联合作战仿真应用中的对想定模型和想定系统提出的要求进行探讨，提出适合这种应用的基于一致的想定数据模型的想定系统的功能描述和系统框架。     

AOSE中Agent行为的形式化定义与描述方法

为了支持多Agent软件系统的设计与开发,提出了一种基于形式化方法的Agent行为的定义与描述方法.该方法从Agent的状态、动作、动作序列到活动,采用形式化描述语言,逐步建立对Agent行为的定义和描述,该方法结构清晰,可理解性和可操作性强,能够有效地表棕并发性的Agent行为,为在基于AOSE的多Agent软件系统设计中,进行Agent行为特征的分析、定义和描述提供了一套有效方法.