| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 1 绪论 | 第11-25页 |
| ·本课题的意义 | 第11-12页 |
| ·C~4ISR 系统模型研究现状 | 第12-18页 |
| ·C~4ISR 系统的微分方程模型 | 第13-15页 |
| ·基于 Lanchester 方程的 C~4ISR 系统作战模型 | 第13-15页 |
| ·基于影响图的 C~4ISR 系统动力学模型 | 第15页 |
| ·C~4ISR 系统的离散事件系统模型 | 第15-16页 |
| ·面向对象的 C~4ISR 系统模型 | 第16-17页 |
| ·基于全球信息栅格的 C~4ISR 系统模型 | 第17-18页 |
| ·基于 UML 的建模方法 | 第18-19页 |
| ·UML 研究现状 | 第18-19页 |
| ·UML 模型的不足 | 第19页 |
| ·基于 Petri 网的建模方法 | 第19-23页 |
| ·Petri 网模型的扩展 | 第19-21页 |
| ·Petri 网模型的分析技术 | 第21-23页 |
| ·Petri 网面临的困难 | 第23页 |
| ·本文的主要创新点和内容组织 | 第23-25页 |
| ·主要创新点 | 第23-24页 |
| ·内容组织 | 第24-25页 |
| 2 基于 UML 的建模方法 | 第25-43页 |
| ·引言 | 第25页 |
| ·UML 概述 | 第25-28页 |
| ·UML 形成 | 第25-26页 |
| ·UML 视图 | 第26-27页 |
| ·UML 的扩展机制 | 第27-28页 |
| ·DEVS 概述 | 第28-29页 |
| ·原子模型 | 第28-29页 |
| ·耦合模型 | 第29页 |
| ·基于 DEVS 的 UML 建模方法 | 第29-35页 |
| ·UML 静态模型的扩展 | 第29-31页 |
| ·版型的扩展 | 第29-31页 |
| ·UML 扩展版型的面向对象特性 | 第31页 |
| ·UML耦合图的 CTL~*语义 | 第31-33页 |
| ·UML 动态模型的扩展 | 第33页 |
| ·基于 DEVS 的 UML 建模方法 | 第33-35页 |
| ·基于 UML的 C~4ISR 实例模型 | 第35-39页 |
| ·防空系统的需求分析 | 第36页 |
| ·定义防空系统的边界和接口 | 第36-37页 |
| ·系统分解、划分子模型，并定义子模型之间的耦合关系 | 第37页 |
| ·子模型是否还需细化 | 第37-38页 |
| ·子模型的状态图 | 第38页 |
| ·系统的序列图 | 第38-39页 |
| ·基于 UML 模型的静态分析 | 第39-42页 |
| ·本章总结 | 第42-43页 |
| 3 基于时间 Petri 网的建模方法 | 第43-73页 |
| ·时间 Petri 网 | 第43-49页 |
| ·基本概念、性质 | 第43-44页 |
| ·时间 Petri 网的分析方法 | 第44-49页 |
| ·基于“状态类”的可达性分析 | 第44-45页 |
| ·基于“带时间戳的状态类”的可达性分析 | 第45-47页 |
| ·时间 Petri 网原子级化简技术 | 第47-48页 |
| ·时间 Petri 网组件级化简技术 | 第48-49页 |
| ·ECS-class 的发射规则 | 第49-51页 |
| ·ECS-class 发射规则 | 第49-50页 |
| ·ECS-class 发射规则应用 | 第50-51页 |
| ·ECS-class 发射规则时间分析 | 第51页 |
| ·基于 T-Net 的原子级化简规则 | 第51-61页 |
| ·基于 T-Net 的分解 | 第51-57页 |
| ·基于 T-Net 的原子级化简规则 | 第57-61页 |
| ·顺序化简规则 | 第57页 |
| ·并发化简规则 | 第57-58页 |
| ·前向化简规则 | 第58-59页 |
| ·后向化简规则 | 第59-60页 |
| ·回路化简规则 | 第60-61页 |
| ·组件级化简规则的扩展 | 第61-68页 |
| ·组合时间 Petri 网 | 第62页 |
| ·组件级化简规则 | 第62-68页 |
| ·化简规则 1 | 第62-63页 |
| ·化简规则 2 | 第63-64页 |
| ·化简规则 3 | 第64-66页 |
| ·化简规则 4 | 第66页 |
| ·化简规则 5 | 第66-67页 |
| ·化简规则 6 | 第67-68页 |
| ·防空指挥系统的时间 Petri 网建模和分析 | 第68-72页 |
| ·构建防空指挥系统的时间 Petri 网模型 | 第68-69页 |
| ·防空 C~4ISR 系统的时间 Petri 网模型的分析 | 第69-72页 |
| ·组件级化简规则的应用算法 | 第70页 |
| ·防空 C~4ISR 系统模型的组件级化简 | 第70-71页 |
| ·防空 C~4ISR 系统模型的原子级化简 | 第71-72页 |
| ·防空 C~4ISR 系统的时间分析 | 第72页 |
| ·本章小结 | 第72-73页 |
| 4 基于 UML 和 Petri 网的建模方法 | 第73-97页 |
| ·UML 和 Petri 网相结合的方法的研究现状 | 第73-75页 |
| ·基于 UML 和 Petri 网的层次建模方法 | 第75-77页 |
| ·子 Petri 网模型及分解 | 第77-80页 |
| ·子 Petri 网模型 | 第77-79页 |
| ·子 Petri 网模型概念 | 第77-79页 |
| ·子 Petri 网模型的性质、分析技术 | 第79页 |
| ·子网分解 | 第79-80页 |
| ·子 Petri 网模型向状态图的转化 | 第80-82页 |
| ·子网向状态图转化规则 | 第80-81页 |
| ·子网向状态图的转化算法 | 第81-82页 |
| ·组合 Petri 网模型 | 第82-85页 |
| ·耦合图的 CSP 语义向 Petri 网的转化 | 第83-84页 |
| ·组合 Petri 网的性质、分析技术 | 第84-85页 |
| ·组合 Petri 网的活性和有界性 | 第84-85页 |
| ·组合 Petri 网的分析技术 | 第85页 |
| ·组合 Petri 网模型向序列图的转化 | 第85-90页 |
| ·序列图的扩展 | 第86-88页 |
| ·组合 Petri 网模型向扩展序列图的转化 | 第88-90页 |
| ·基于 UML 和 Petri 网建模方法在防空指挥系统中的应用 | 第90-95页 |
| ·防空指挥系统各子网模型 | 第90-92页 |
| ·防空指挥系统的组合 Petri 网模型 | 第92-93页 |
| ·构建防空指挥系统的组合 Petri 网模型 | 第92页 |
| ·组合 Petri 网模型的性质分析 | 第92-93页 |
| ·子网模型向状态图的转化 | 第93-94页 |
| ·组合 Petri 网模型向序列图的转化 | 第94-95页 |
| ·总结 | 第95-97页 |
| 5 基于对象时间 Petri 网的建模方法 | 第97-113页 |
| ·对象 Petri 网的研究现状 | 第97-98页 |
| ·对象时间 Petri 网模型 | 第98-101页 |
| ·对象时间 Petri 网 | 第98-100页 |
| ·对象时间 Petri 网的面向对象特性 | 第100-101页 |
| ·防空指挥系统的 OTPN 模型 | 第101-104页 |
| ·OTPN 模型的构造过程 | 第101页 |
| ·防空指挥系统的 OTPN 模型的构造 | 第101-102页 |
| ·OTPN 模型的建立 | 第102-104页 |
| ·各对象的着色特征 | 第103页 |
| ·防空系统的 OTPN 模型 | 第103-104页 |
| ·基于 OTPN 模型的分析 | 第104-112页 |
| ·时间一致性分析 | 第104-106页 |
| ·计算每个托肯的SD(cg_i) | 第104-105页 |
| ·防空系统的 OTPN 模型的时延分析 | 第105-106页 |
| ·可达性分析 | 第106-109页 |
| ·死锁分析 | 第109-112页 |
| ·对象子网的活性分析 | 第109页 |
| ·OTPN 模型的活性分析 | 第109-112页 |
| ·本章总结 | 第112-113页 |
| 6 结束语 | 第113-115页 |
| ·主要工作及创新点 | 第113页 |
| ·展望 | 第113-115页 |
| 致谢 | 第115-116页 |
| 攻读博士学位期间发表及撰写的论文 | 第116-117页 |
| 参考文献 | 第117-126页 |
