| 摘 要 | 第1-12页 |
| Abstract | 第12-14页 |
| 第一章 绪论 | 第14-33页 |
| §1.1 问题的提出 | 第14-16页 |
| ·信息化作战 | 第14-15页 |
| ·兵力调度 | 第15-16页 |
| §1.2 相关理论的国内外研究现状 | 第16-29页 |
| ·兵力调度技术 | 第16-21页 |
| ·工作流技术 | 第21-24页 |
| ·使命空间概念模型 | 第24-29页 |
| ·小结 | 第29页 |
| §1.3 本文的研究内容与主要工作 | 第29-31页 |
| ·研究思路及主要研究内容 | 第29-30页 |
| ·本文的主要工作和主要创新点 | 第30-31页 |
| §1.4 本文的组织 | 第31-33页 |
| 第二章 基于工作流的兵力调度建模技术研究 | 第33-63页 |
| §2.1 基于概念模型工程的工作流一体化建模框架 | 第33-38页 |
| ·工作流建模技术概述 | 第33-35页 |
| ·基于概念模型工程的一体化建模框架 | 第35-38页 |
| §2.2 基于 ECA 规则的兵力调度格式化建模 | 第38-46页 |
| ·基于 CMMS 的数据搜集 | 第38-39页 |
| ·基于 ECA 规则的格式化描述 | 第39-44页 |
| ·基于模式的描述方法 | 第44-46页 |
| §2.3 基于 UML 的兵力调度形式化建模 | 第46-60页 |
| ·基于 UML 的工作流建模表达 | 第46-54页 |
| ·格式化到形式化的映射 | 第54-55页 |
| ·模型视图的一致性 | 第55-60页 |
| §2.4 基于工作流的兵力调度模型研究 | 第60-62页 |
| ·概述 | 第60页 |
| ·基于工作流的兵力调度模型 | 第60-62页 |
| §2.5 小结 | 第62-63页 |
| 第三章 兵力调度模型的 VV&A研究 | 第63-85页 |
| §3.1 兵力调度模型的 VV&A | 第63-67页 |
| ·兵力调度模型 VV&A | 第63-65页 |
| ·兵力调度模型质量指标 | 第65页 |
| ·兵力调度模型的 VV&A 实施 | 第65-66页 |
| ·兵力调度模型 VV&A 的意义 | 第66-67页 |
| ·小结 | 第67页 |
| §3.2 基于 UML 活动图执行语义的兵力调度过程模型校核 | 第67-84页 |
| ·UML 活动图执行语义研究 | 第67-72页 |
| ·兵力调度过程模型的模型检验技术研究 | 第72-84页 |
| §3.3 小结 | 第84-85页 |
| 第四章 基于工作流的兵力调度实施研究 | 第85-116页 |
| §4.1 基于工作流的兵力调度计划和计划执行集成研究 | 第85-92页 |
| ·引言 | 第85页 |
| ·集成的兵力调度计划和调度计划执行 | 第85-86页 |
| ·协调集成调度 CWIS | 第86-87页 |
| ·计划和调度集成算法 IPSA | 第87-92页 |
| ·小结 | 第92页 |
| §4.2 基于三层结构的兵力调度实施架构 | 第92-99页 |
| ·引言 | 第92-94页 |
| ·兵力调度实施 | 第94-99页 |
| §4.3 兵力调度工具集研究 | 第99-115页 |
| ·系统组成 | 第99页 |
| ·建模工具集 | 第99-109页 |
| ·调度系统 | 第109-115页 |
| §4.4 基于工作流的兵力调度实施 | 第115页 |
| §4.5 小结 | 第115-116页 |
| 第五章 案例研究 | 第116-139页 |
| §5.1 不明空情案例概述 | 第116-118页 |
| ·概述 | 第116-117页 |
| ·GF 报告关于不明空情的研究结论 | 第117-118页 |
| §5.2 基于工作流的不明空情兵力调度实施 | 第118-138页 |
| ·概述 | 第118页 |
| ·准备阶段 | 第118-119页 |
| ·概念建模 | 第119-136页 |
| ·实现建模 | 第136-137页 |
| ·组件/应用系统开发 | 第137页 |
| ·兵力调度实施 | 第137-138页 |
| §5.3 小结 | 第138-139页 |
| 第六章 总结与展望 | 第139-141页 |
| §6.1 本文的主要贡献 | 第139页 |
| §6.2 展望 | 第139-141页 |
| 致 谢 | 第141-142页 |
| 参考文献 | 第142-151页 |
| 附录 A:作者在博士学习阶段发表的论文 | 第151-152页 |
| 附录 B:作者在博士学习阶段主要项目经历 | 第152页 |