| 摘要 | 第1-5页 |
| ABSTRACT | 第5-12页 |
| 第一章 绪论 | 第12-16页 |
| ·C~4ISR 系统建模研究背景 | 第12-14页 |
| ·C~4ISR 系统建模研究的目的和意义 | 第14页 |
| ·论文的主要工作和组织结构 | 第14-16页 |
| 第二章 从 SysML 到 Petri 网的建模方法 | 第16-26页 |
| ·系统建模语言 SysML | 第16-21页 |
| ·从 UML 到 SysML | 第16-17页 |
| ·SysML 的基本内容 | 第17-20页 |
| ·SysML 模型的不足 | 第20-21页 |
| ·Petri 网 | 第21-24页 |
| ·Petri 网的概述 | 第21页 |
| ·Petri 网的定义 | 第21-22页 |
| ·Petri 网的图形表示方法 | 第22页 |
| ·Petri 网的重要性质 | 第22-24页 |
| ·SysML 与 Petri 网的集成建模方法 | 第24-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 SysML 到 Petri 网的映射机制研究 | 第26-36页 |
| ·SysML 的用例图到 Petri 网的映射方法 | 第26页 |
| ·SysML 的状态图到 Petri 网的映射方法 | 第26-30页 |
| ·SysML 的活动图到 Petri 网的映射方法 | 第30-34页 |
| ·SysML 的顺序图到 Petri 网的映射方法 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第四章 SysML 和 Petri 网对舰艇 C~4ISR 系统建模 | 第36-48页 |
| ·SysML 对舰艇 C~4ISR 系统建模 | 第37-43页 |
| ·SysML 模型转换为 Petri 网模型 | 第43-47页 |
| ·本章小结 | 第47-48页 |
| 第五章 模型转换工具的设计实现及舰艇 C~4ISR 系统模型仿真分析 | 第48-63页 |
| ·模型转换工具的设计思路 | 第48-50页 |
| ·模型导入模块 | 第49页 |
| ·模型转换模块 | 第49-50页 |
| ·模型导出模块 | 第50页 |
| ·关键技术问题的解决方案 | 第50-57页 |
| ·SysML 模型文件的解析 | 第50-52页 |
| ·模型转换的流程 | 第52-54页 |
| ·Petri 网模型文件的存储 | 第54-57页 |
| ·舰艇 C~4ISR 系统仿真分析 | 第57-61页 |
| ·仿真工具 Visual Object Net 简介 | 第57页 |
| ·Petri 网仿真分析 | 第57-61页 |
| ·本章小结 | 第61-63页 |
| 第六章 总结与展望 | 第63-65页 |
| ·工作总结 | 第63页 |
| ·研究展望 | 第63-65页 |
| 参考文献 | 第65-68页 |
| 致谢 | 第68-69页 |
| 在学期间的研究成果及发表的学术论文 | 第69页 |
