题目：舰艇作战系统建模与分布式仿真支持系统论证

摘 要现代舰艇作战系统的总体论证是一个复杂的系统工程。随着国防科技的不断进步，舰艇在集成多方面作战能力的同时，各方面的作战能力也不断的提升；舰艇作战指挥研究领域一系列新的作战指挥思想的提出，都对新舰艇作战系统的设计提出了更高的要求。舰艇作战系统的论证需要涉及和使用一系列的技术。系统前期总体设计的质量直接影响了整个舰艇作战系统的建设质量，是开发成功与否的关键。利用系统建模技术结合分布式仿真组织实施舰艇作战系统总体论证与前期研制（SMESR2，System Modeling & Emulator Support Reasoning & Research）是一种全新的论证思想与研制方法。论文主要分三个部分讨论了系统建模与计算机仿真支持系统论证。第一部分为论证过程的方法学研究，这是理论研究部分，论述了系统建模与计算机仿真支持系统论证这种全新的系统论证过程方法，这一阶段的理论研究成果将衍生出舰艇作战系统体系结构（WAF, Warship Architecture Frame）。第二部分为基于WAF的舰艇作战系统论证方法探索，为了实现系统的总体描述与形式化建模，重点为UML建模工具自定义了一套柔性的框架式扩展集，研究了视图及元素的定制方法。此外，还对分布式仿真工具进行了适应性修改，使其更好的支持SMESR2。第三部分为探讨并实际验证SMESR2方法的可行性。分五个阶段具体介绍实施SMESR2过程方法：系统建模、仿真设计、仿真模型开发、仿真模型部署、分布式仿真运行，并按照此步骤开发出了一套验证系统。 通过验证系统的仿真演示，证明了采用系统建模与计算机仿真支持系统论证的方法，可以在系统论证的初期，通过逻辑概念推演、仿真运行、模型复用等，实现这两个阶段的信息共享与对话，及时的对系统设计模型进行修改完善，是一种全新的、能有效设计并规范描述新型复杂舰艇作战系统的过程方法。