题目：防空反导系统建模与仿真关键技术研究

由于来袭目标各方面技术的飞速发展，作为纯防御性武器的地空导弹武器系统已变的十分复杂[6] ，传统的设计方法已不能满足现代防空武器系统发展的需要，因此，无论是规划或设计一种新的型号、还是改造一种旧型号，都需要借助于仿真研究。本文的研究目标就是要建立一个防空反导作战仿真系统，用于评估防空反导作战效能，从而为作战提供战术级决策支持以及对防空反导系统进行体系结构优化和装备作战运用研究。

本文首先研究并建立了防空反导作战仿真系统的概念模型，包含来袭目标、预警雷达、武器系统指挥中心、武器系统火力单元以及被保卫要地等实体模型，以及防空反导作战过程模型。本文研究了各实体参与作战的逻辑流程及算法，以及它们之间如何相互协作，共同完成作战任务。

本文还研究了一种可用于防空反导作战仿真系统仿真模型设计的建模仿真语言：CMSL语言，开发了其编译器，并使用它建立了一些作战实体的仿真模型。由于CMSL语言的编程方法更贴近于专业学科领域问题的表达方式，并提供了不同专业领域的算法库，因此它是专业领域和传统计算机程序（C/C++）之间的桥梁，能有效的提高仿真模型的开发效率。

最后，本文重点研究了防空反导作战仿真系统基于离散事件的仿真方法。论文参考DEVS（Discrete Event System Specification）模型规范，建立了各作战实体的仿真模型，并利用HLA的时间管理服务，最终实现了防空反导作战仿真系统基于事件的仿真推进策略。

基于以上研究内容，本文使用C++编程实现了一个基于HLA、采用离散事件仿真的参数化、模块化的防空反导作战仿真系统，并对它进行了实验。实验结果表明，采用离散事件的仿真系统能极大的提高仿真效率，同时能保证与固定步长的仿真系统具有相同的可信度。