| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 1 绪论 | 第7-13页 |
| ·论文研究的背景和意义 | 第7-10页 |
| ·国内外的研究现状和分析 | 第10-12页 |
| ·论文研究内容和结构 | 第12-13页 |
| 2 对象Petri网及 OPMSE环境简介 | 第13-25页 |
| ·对象 Petri网的基本特点 | 第13-20页 |
| ·OPMSE环境简介 | 第20-24页 |
| ·OPMSE的逻辑结构 | 第21页 |
| ·可视化模型编辑器 | 第21-22页 |
| ·OPMSE模型联编 | 第22页 |
| ·模型运行环境 | 第22-23页 |
| ·OPMSE的输出 | 第23-24页 |
| ·本章小结 | 第24-25页 |
| 3 基于OPN的指挥控制系统建模方法 | 第25-55页 |
| ·指挥控制系统的特点及 OPN建模仿真中采取的相应方法 | 第25-27页 |
| ·对象Petri网的建模方法和模型规范 | 第27-30页 |
| ·对象Petri网的建模方法 | 第27-28页 |
| ·对象Petri网的模型规范 | 第28-30页 |
| ·基于OPDL语言的指挥控制系统建模方法 | 第30-46页 |
| ·面向对象的实体建模方法 | 第30-31页 |
| ·基于事件与条件的系统建模 | 第31-33页 |
| ·指挥控制系统功能分析与功能的OPDL表示 | 第33-41页 |
| ·指挥控制系统中决策组织的描述 | 第41-46页 |
| ·对象 Petri网的建模实例 | 第46-53页 |
| ·想定 | 第46-47页 |
| ·系统模型 | 第47-51页 |
| ·实验及结果分析 | 第51-52页 |
| ·OPN建立指挥控制系统仿真模型的优缺点 | 第52-53页 |
| ·本章小结 | 第53-55页 |
| 4 基于OPN的区域防空反导作战系统的建模分析 | 第55-73页 |
| ·作战想定 | 第55-57页 |
| ·评估指标 | 第57-59页 |
| ·仿真分析及评价 | 第59-72页 |
| ·工作过程 | 第59页 |
| ·系统建模 | 第59-67页 |
| ·仿真结果分析 | 第67-72页 |
| ·本章小结 | 第72-73页 |
| 结论 | 第73-75页 |
| 致谢 | 第75-77页 |
| 参考文献 | 第77-80页 |