| 表目录 | 第1-8页 |
| 图目录 | 第8-11页 |
| 摘要 | 第11-12页 |
| Abstract | 第12-13页 |
| 第一章 绪论 | 第13-26页 |
| ·研究背景与意义 | 第13-14页 |
| ·基于 Petri 网的任务可靠性建模研究背景 | 第13-14页 |
| ·基于扩展的对象 Petri 网的任务可靠性建模方法研究的意义 | 第14页 |
| ·国内外相关领域研究综述 | 第14-20页 |
| ·装备体系可靠性建模研究现状 | 第15-16页 |
| ·Petri 网的发展及其建模工具研究现状 | 第16-18页 |
| ·Petri 网在体系建模和可靠性建模中的应用研究现状 | 第18-20页 |
| ·存在的问题和解决思路 | 第20-22页 |
| ·存在的问题 | 第20-21页 |
| ·解决的思路 | 第21-22页 |
| ·论文的主要工作及内容结构 | 第22-26页 |
| ·论文的主要工作与创新 | 第22-24页 |
| ·研究内容结构 | 第24-26页 |
| 第二章 装备体系任务可靠性信息的规范化描述 | 第26-41页 |
| ·装备体系及其任务可靠性 | 第26-28页 |
| ·装备体系及其任务可靠性基本概念 | 第26-27页 |
| ·可靠性视角下装备体系任务描述内容 | 第27-28页 |
| ·基于 DoDAF 的任务可靠性信息描述数据 | 第28-33页 |
| ·DoDAF 简介 | 第28-29页 |
| ·可靠性视角下装备体系任务信息数据模型 | 第29-33页 |
| ·基于 UML 的任务可靠性信息数据的规范化描述 | 第33-40页 |
| ·任务可靠性信息描述产品集 | 第33-34页 |
| ·基于 UML 的产品模版及模型信息完备性验证 | 第34-40页 |
| ·本章小结 | 第40-41页 |
| 第三章 EOOPN 模型及其规范化描述 | 第41-57页 |
| ·对象 Petri 网原理及其扩展 | 第41-46页 |
| ·对象 Petri 网基本原理 | 第41-43页 |
| ·对象 Petri 网的扩展思路及扩展元素 | 第43-46页 |
| ·EOOPN 的语义模型 | 第46-49页 |
| ·EOOPN 的形式化定义 | 第46-47页 |
| ·OPN 的形式化定义 | 第47-48页 |
| ·EOOPN 的变迁激发规则 | 第48-49页 |
| ·EOOPN 的规范化描述 | 第49-56页 |
| ·EOOPN 的元模型 | 第50-51页 |
| ·EOOPN 的 XML 格式规范及示例 | 第51-56页 |
| ·本章小结 | 第56-57页 |
| 第四章 基于 EOOPN 的任务可靠性建模与软件设计 | 第57-76页 |
| ·任务可靠性模型的计算机辅助生成 | 第57-65页 |
| ·可靠性逻辑结构的 EOOPN 描述方法 | 第57-59页 |
| ·UML 模型到 EOOPN 模型的转换原理 | 第59-62页 |
| ·任务信息描述模型到可靠性模型的转换步骤 | 第62-65页 |
| ·任务可靠性建模分析软件总体框架及功能设计 | 第65-68页 |
| ·软件总体设计 | 第65-67页 |
| ·系统数据接口设计 | 第67-68页 |
| ·EOOPN 仿真模块设计与实现 | 第68-75页 |
| ·数据结构设计 | 第68-71页 |
| ·基于 Monte-Carlo 的任务可靠性仿真算法设计 | 第71-75页 |
| ·模块界面介绍 | 第75页 |
| ·本章小结 | 第75-76页 |
| 第五章 “PAC-3”防空反导体系的任务可靠性建模示例 | 第76-88页 |
| ·PAC-3 防空反导体系简介 | 第76-78页 |
| ·PAC-3 系统组成 | 第76-77页 |
| ·PAC-3 拦截弹道导弹作战流程 | 第77-78页 |
| ·PAC-3 任务信息的规范化描述 | 第78-82页 |
| ·PAC-3 任务可靠性模型生成 | 第82-87页 |
| ·本章小结 | 第87-88页 |
| 第六章 结论与展望 | 第88-90页 |
| ·论文的主要贡献 | 第88页 |
| ·未来工作展望 | 第88-90页 |
| 致谢 | 第90-91页 |
| 参考文献 | 第91-95页 |
| 作者在学期间取得的学术成果 | 第95-96页 |
| 附录 1 | 第96-97页 |
| 附录 2 | 第97-99页 |
| 附录 3 | 第99-127页 |
