| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 绪论 | 第10-16页 |
| ·研究背景 | 第10-11页 |
| ·研究现状和意义 | 第11-13页 |
| ·研究现状 | 第11-13页 |
| ·研究意义 | 第13页 |
| ·研究内容及主要工作 | 第13-14页 |
| ·本论文内容安排 | 第14-16页 |
| 2 二乘二取二安全计算平台的结构研究 | 第16-25页 |
| ·现有计算机联锁系统的结构分析 | 第16-20页 |
| ·二乘二取二计算机联锁系统的结构 | 第20-24页 |
| ·二乘二取二系统的整体研究 | 第20-23页 |
| ·时钟同步和任务同步二乘二取二系统 | 第23-24页 |
| ·小结 | 第24-25页 |
| 3 基于通用计算机的任务同步二取二安全计算平台的设计 | 第25-42页 |
| ·二取二安全计算平台的整体设计 | 第25-28页 |
| ·系统构成 | 第25-26页 |
| ·层次结构 | 第26-28页 |
| ·平台的详细设计 | 第28-38页 |
| ·C机的设计 | 第30-34页 |
| ·A、B机的设计 | 第34-37页 |
| ·内部通信的设计 | 第37-38页 |
| ·平台测试 | 第38-41页 |
| ·小结 | 第41-42页 |
| 4 二取二安全计算平台关键问题研究 | 第42-50页 |
| ·跨平台问题 | 第42-46页 |
| ·可靠传输问题 | 第46-47页 |
| ·比较策略问题 | 第47-48页 |
| ·时钟问题 | 第48-49页 |
| ·小结 | 第49-50页 |
| 5 系统的安全性和可靠性分析 | 第50-61页 |
| ·系统建模 | 第50-53页 |
| ·马尔科夫过程 | 第50页 |
| ·系统的度量指标及参数 | 第50-52页 |
| ·系统的状态转换Markov模型 | 第52-53页 |
| ·系统的安全性可靠性分析 | 第53-60页 |
| ·系统的安全性可靠性分析 | 第53-56页 |
| ·与其它系统的比较分析 | 第56-60页 |
| ·小结 | 第60-61页 |
| 6 结论 | 第61-62页 |
| 参考文献 | 第62-64页 |
| 作者简历 | 第64-66页 |
| 学位论文数据集 | 第66页 |