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

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

基于UML的弹道导弹攻防对抗仿真系统建模研究

提出了一种基于EATI面向实体的系统建模分析方法，阐述了利用UML工具实现分布式仿真系统建模的一般过程，然后针对弹道导弹攻防对抗仿真系统这一具体的应用，进行了建模研究。该方法在较大程度上解决了从需求分析到软件开发全过程的分布式仿真系统的建模问题，具有一定的工程指导意义。     

支持模型重用的舰艇作战仿真模型框架

针对舰艇作战仿真研究中的模型重用问题,改进面向实体的系统分析和描述方法,即EATI(Entities、Actions、Tasks、Interactions,实体、动作、任务、交互)方法,提出面向角色的舰艇作战仿真系统分析与描述方法,即RA-EP(Roles、Actions;Entities、Processes,角色、行动;实体、过程)方法;提出了领域相关、应用和实现无关的舰艇作战仿真模型框架的设计思想与设计方法,设计并实现了舰艇作战仿真模型框架;说明了模型框架支持模型重用的实现方式,即基于模型框架的三阶段仿真设计与实现方法.为复杂系统建模与仿真领域中的模型重用提供了一条重要的技术途径.