| 摘要 | 第1-8页 |
| Abstract | 第8-9页 |
| 第一章 绪论 | 第9-13页 |
| ·研究背景与意义 | 第9-10页 |
| ·研究现状 | 第10-11页 |
| ·研究内容及论文组织结构 | 第11-13页 |
| ·研究内容 | 第11-12页 |
| ·论文组织结构 | 第12-13页 |
| 第二章 军事概念模型及其描述方法 | 第13-21页 |
| ·军事概念模型的内涵与分类 | 第13-15页 |
| ·军事概念模型的内涵 | 第13-14页 |
| ·军事概念模型的分类 | 第14-15页 |
| ·军事概念模型的建模要求与基本要素 | 第15页 |
| ·建模要求 | 第15页 |
| ·基本要素 | 第15页 |
| ·军事概念模型的典型描述方法 | 第15-20页 |
| ·基于自然语言的描述方法 | 第16页 |
| ·基于 XML的描述方法 | 第16-18页 |
| ·基于 UML的描述方法 | 第18页 |
| ·基于 IDEF的描述方法 | 第18-19页 |
| ·基于 Petri网的描述方法 | 第19页 |
| ·描述方法的分析比较 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 装备论证仿真概念模型描述形式转换框架 | 第21-33页 |
| ·描述形式转换框架的建立 | 第21-25页 |
| ·装备论证仿真建模与验模对描述形式转换的需求 | 第21-22页 |
| ·描述形式转换框架及其构造过程 | 第22-25页 |
| ·装备论证仿真概念模型要素组成 | 第25-27页 |
| ·详细仿真目标 | 第25-26页 |
| ·假设和约束 | 第26页 |
| ·仿真功能 | 第26-27页 |
| ·仿真元素 | 第27页 |
| ·装备论证仿真概念建模过程 | 第27-32页 |
| ·确定问题域边界 | 第28页 |
| ·确定仿真上下文 | 第28-29页 |
| ·确定仿真功能 | 第29页 |
| ·确定仿真表示 | 第29页 |
| ·校核与验证 | 第29-31页 |
| ·建立相关文档 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第四章 自然语言描述向XML描述的转换 | 第33-46页 |
| ·转换原理 | 第33-34页 |
| ·自然语言描述模板 | 第34-35页 |
| ·XML描述模板 | 第35-39页 |
| ·索引信息 | 第36页 |
| ·详细仿真目标 | 第36页 |
| ·假设和约束 | 第36-37页 |
| ·仿真功能 | 第37页 |
| ·仿真元素 | 第37-39页 |
| ·转换处理流程 | 第39-40页 |
| ·转换实例验证 | 第40-45页 |
| ·系统分析 | 第40-41页 |
| ·自然语言描述 | 第41-42页 |
| ·XML描述 | 第42-45页 |
| ·本章小结 | 第45-46页 |
| 第五章 基于XML的UML时序图描述向Petri网描述的转换 | 第46-68页 |
| ·转换原理 | 第46-47页 |
| ·UML时序图描述、Petri网描述与 XML描述间的转换 | 第47-49页 |
| ·UML时序图描述与 XML描述间的转换 | 第47-48页 |
| ·Petri网描述与 XML描述间的转换 | 第48-49页 |
| ·UML时序图向Petri网转换的映射算法改进 | 第49-53页 |
| ·原映射算法的缺陷及其改进思路 | 第49-50页 |
| ·改进后的映射算法具体描述 | 第50-53页 |
| ·转换处理流程 | 第53-62页 |
| ·消息传递处理 | 第55-56页 |
| ·可选结构处理 | 第56-57页 |
| ·条件结构处理 | 第57-59页 |
| ·并行结构处理 | 第59-60页 |
| ·循环结构处理 | 第60-62页 |
| ·转换实例验证 | 第62-67页 |
| ·UML描述转换为 XMI描述 | 第62-64页 |
| ·XMI描述转换为 XPDL描述 | 第64-65页 |
| ·XPDL描述转换为 Petri网描述 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第六章 总结和展望 | 第68-70页 |
| ·论文工作总结 | 第68-69页 |
| ·研究工作展望 | 第69-70页 |
| 参考文献 | 第70-72页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第72-73页 |
| 致谢 | 第73页 |