| 摘要 | 第11-13页 |
| Abstract | 第13-14页 |
| 第一章 绪论 | 第15-43页 |
| 1.1 研究背景与问题 | 第15-19页 |
| 1.1.1 基于仿真的武器装备作战效能评估 | 第15-16页 |
| 1.1.2 效能仿真的组合建模和领域建模需求 | 第16-17页 |
| 1.1.3 研究问题的提出 | 第17-19页 |
| 1.2 相关领域研究现状综述与分析 | 第19-38页 |
| 1.2.1 效能仿真建模方法 | 第19-25页 |
| 1.2.2 模型驱动工程 | 第25-31页 |
| 1.2.3 领域特定建模 | 第31-38页 |
| 1.2.4 研究现状小结 | 第38页 |
| 1.3 研究内容与创新点 | 第38-43页 |
| 1.3.1 研究内容 | 第38-40页 |
| 1.3.2 组织结构 | 第40-41页 |
| 1.3.3 主要创新点 | 第41-43页 |
| 第二章 效能仿真多范式组合建模框架 | 第43-52页 |
| 2.1 问题特性分析与研究约定 | 第43-45页 |
| 2.1.1 武器装备体系的结构特性分析 | 第43-44页 |
| 2.1.2 武器装备体系的行为特性分析 | 第44页 |
| 2.1.3 本文研究的问题边界与约定 | 第44-45页 |
| 2.2 效能仿真建模框架的功能需求分析 | 第45-47页 |
| 2.3 效能仿真多范式组合建模框架及其关键技术 | 第47-51页 |
| 2.3.1 效能仿真多范式组合建模框架 | 第47-49页 |
| 2.3.2 实现方案与关键技术 | 第49-51页 |
| 2.4 本章小结 | 第51-52页 |
| 第三章 基于SMP2的效能仿真架构建模 | 第52-74页 |
| 3.1 方法的提出 | 第52-57页 |
| 3.1.1 模型框架的基本概念 | 第52-53页 |
| 3.1.2 基于模型框架进行架构建模的需求和优势 | 第53-55页 |
| 3.1.3 本体驱动的SMP2模型框架开发 | 第55-57页 |
| 3.2 基于OWL的效能仿真模型架构概念建模 | 第57-64页 |
| 3.2.1 系统结构概念建模的典型方法 | 第57-58页 |
| 3.2.2 OWL语言与Protégé工具简介 | 第58-59页 |
| 3.2.3 基于OWL的效能仿真领域本体构建 | 第59-63页 |
| 3.2.4 基于OWL的效能仿真应用本体构建 | 第63-64页 |
| 3.3 基于SMP2的效能仿真模型框架设计与实现 | 第64-73页 |
| 3.3.1 SMP2模型框架概述 | 第64页 |
| 3.3.2 效能仿真领域本体向SMP2规范的映射与转换 | 第64-69页 |
| 3.3.3 基于SMP2的模型框架设计 | 第69-72页 |
| 3.3.4 基于SMP2/C++映射的模型框架实现 | 第72-73页 |
| 3.4 本章小结 | 第73-74页 |
| 第四章 基于多形式体系的效能仿真行为建模 | 第74-108页 |
| 4.1 方法的提出 | 第74-80页 |
| 4.1.1 建模与仿真形式体系的基本概念 | 第74-75页 |
| 4.1.2 行为建模的研究现状 | 第75-77页 |
| 4.1.3 基于多形式体系的行为建模过程框架 | 第77-80页 |
| 4.2 面向作战行为特征的行为模型设计 | 第80-86页 |
| 4.2.1 面向效能仿真的装备作战行为特征分析 | 第80-82页 |
| 4.2.2 面向行为特征建模的形式体系分析 | 第82-85页 |
| 4.2.3 基于多形式体系的行为模型设计过程和工具选择 | 第85-86页 |
| 4.3 以状态为中心的多形式体系组合行为建模 | 第86-100页 |
| 4.3.1 多形式体系建模的基本概念 | 第86-88页 |
| 4.3.2 多形式体系组合建模的研究现状 | 第88-90页 |
| 4.3.3 以状态为中心的组合行为建模形式体系 | 第90-99页 |
| 4.3.4 典型武器装备的组合行为建模与示例 | 第99-100页 |
| 4.4 基于形式体系的行为模型分析 | 第100-104页 |
| 4.4.1 模型的形式化分析概述 | 第100-101页 |
| 4.4.2 形式化模型分析的相关研究 | 第101-102页 |
| 4.4.3 基于形式体系的行为模型分析方法 | 第102-104页 |
| 4.5 形式体系行为模型实现与集成 | 第104-107页 |
| 4.5.1 基于代码生成的自动化模型实现 | 第104-105页 |
| 4.5.2 基于模型框架的结构-行为代码集成 | 第105-106页 |
| 4.5.3 多形式体系子模型集成与组合仿真 | 第106-107页 |
| 4.6 本章小结 | 第107-108页 |
| 第五章 基于DSM的效能仿真领域组合建模 | 第108-127页 |
| 5.1 方法的提出 | 第108-114页 |
| 5.1.1 面向仿真的DSM的需求分析与概念内涵 | 第108-109页 |
| 5.1.2 面向仿真的DSM的关键研究问题 | 第109-110页 |
| 5.1.3 领域特定组合建模方法与技术路线 | 第110-114页 |
| 5.2 基于OSB元模型的语法设计与建模环境生成 | 第114-120页 |
| 5.2.1 基于OSB元建模的抽象语法设计 | 第114-116页 |
| 5.2.2 面向领域特征的图形化具体语法设计 | 第116-117页 |
| 5.2.3 基于元模型的领域特定建模环境生成 | 第117-120页 |
| 5.3 基于形式体系的指称语义实现与行为分析 | 第120-123页 |
| 5.3.1 基于形式体系的DSSML指称语义实现 | 第121-122页 |
| 5.3.2 基于模型转换的语义锚定 | 第122-123页 |
| 5.3.3 基于形式体系的领域特定模型行为分析 | 第123页 |
| 5.4 领域特定模型实现与集成 | 第123-126页 |
| 5.4.1 基于代码生成器的执行语义实现 | 第124-125页 |
| 5.4.2 基于模型框架的领域模型代码集成 | 第125-126页 |
| 5.4.3 多领域子模型集成与组合仿真 | 第126页 |
| 5.5 本章小结 | 第126-127页 |
| 第六章 效能仿真建模应用 | 第127-158页 |
| 6.1 以平台为中心的效能仿真应用组合式开发 | 第127-128页 |
| 6.2 认知域的领域特定仿真建模应用 | 第128-144页 |
| 6.2.1 平台决策建模的研究现状与领域特定建模需求 | 第128-130页 |
| 6.2.2 基于领域特定建模的决策模型设计 | 第130-135页 |
| 6.2.3 基于形式体系的决策模型分析 | 第135-138页 |
| 6.2.4 基于代码生成的决策模型实现 | 第138-141页 |
| 6.2.5 直升机反潜决策建模案例研究 | 第141-144页 |
| 6.3 物理域的领域特定仿真建模应用 | 第144-149页 |
| 6.3.1 基于领域特定建模的导弹模型开发 | 第145-147页 |
| 6.3.2 基于领域特定建模的雷达模型开发 | 第147-148页 |
| 6.3.3 基于领域特定建模的平台模型开发 | 第148-149页 |
| 6.4 综合案例：舰船海战效能仿真多范式组合建模 | 第149-157页 |
| 6.4.1 舰船海战效能仿真的特点与基本想定 | 第149-150页 |
| 6.4.2 仿真模型开发 | 第150-155页 |
| 6.4.3 仿真模型集成 | 第155页 |
| 6.4.4 实验设计与仿真分析 | 第155-156页 |
| 6.4.5 小结：基于形式体系的建模与DSSM的比较 | 第156-157页 |
| 6.5 本章小结 | 第157-158页 |
| 第七章 结束语 | 第158-162页 |
| 7.1 论文主要工作 | 第158-159页 |
| 7.2 未来工作展望 | 第159-162页 |
| 致谢 | 第162-164页 |
| 参考文献 | 第164-179页 |
| 作者在学期间取得的学术成果 | 第179-182页 |
| 附录A 缩略语中英文对照表 | 第182-183页 |
