基于时间自动机的可生存性评估方法研究
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-14页 |
| ·研究背景及意义 | 第8-9页 |
| ·国内外研究现状 | 第9-12页 |
| ·本文的主要工作 | 第12页 |
| ·本文的组织结构 | 第12-14页 |
| 2 可生存性及其评估方法理论基础 | 第14-25页 |
| ·可生存性定义 | 第14-16页 |
| ·可生存性与相关概念的区别 | 第16-17页 |
| ·可生存性评估模型 | 第17-22页 |
| ·基于系统结构 | 第17-18页 |
| ·基于系统状态 | 第18-20页 |
| ·基于系统服务组件 | 第20-22页 |
| ·可生存性研究趋势 | 第22-24页 |
| ·相关研究项目 | 第22-24页 |
| ·研究趋势 | 第24页 |
| ·本章小结 | 第24-25页 |
| 3 可生存性评估框架 | 第25-34页 |
| ·SNA分析方法 | 第25-27页 |
| ·可生存性量化评估框架 | 第27-33页 |
| ·可生存性需求分析 | 第28页 |
| ·建立系统模型 | 第28-30页 |
| ·定义关键服务 | 第30页 |
| ·受威胁定义 | 第30页 |
| ·可生存性测试 | 第30-32页 |
| ·可生存性量化 | 第32页 |
| ·结果分析报告 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 4 可生存性量化评估方法 | 第34-51页 |
| ·理论依据 | 第34-36页 |
| ·建立时间自动机模型 | 第36-38页 |
| ·时间自动机基本概念 | 第36-37页 |
| ·基于时间自动机的系统建模 | 第37-38页 |
| ·建立区域自动机 | 第38-41页 |
| ·时钟区域 | 第38-39页 |
| ·构造区域自动机 | 第39-41页 |
| ·K路径机制 | 第41-47页 |
| ·K路径与可生存性评估 | 第41-42页 |
| ·区域自动机中不确定性的描述 | 第42-43页 |
| ·K路径算法 | 第43-47页 |
| ·可生存性量化与分析 | 第47-49页 |
| ·可生存性量化 | 第47-49页 |
| ·可生存性分析 | 第49页 |
| ·本章小结 | 第49-51页 |
| 5 可生存性评估方法实验 | 第51-63页 |
| ·交通流预测系统 | 第51-53页 |
| ·评估方法实验分析 | 第53-62页 |
| ·本章小结 | 第62-63页 |
| 结论 | 第63-65页 |
| 参考文献 | 第65-70页 |
| 攻读硕士学位期间发表学术论文情况 | 第70-71页 |
| 致谢 | 第71-72页 |
