分布式容错计算机余度管理技术研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第1章 绪论 | 第7-16页 |
| ·引言 | 第7页 |
| ·国内外研究概况 | 第7-9页 |
| ·国外研究概况 | 第7-8页 |
| ·国内研究概况 | 第8-9页 |
| ·主要的容错技术 | 第9-14页 |
| ·硬件容错 | 第9-12页 |
| ·软件容错 | 第12-14页 |
| ·软硬结合容错 | 第14页 |
| ·本论文的研究背景及主要工作 | 第14-15页 |
| ·论文的组织及主要内容 | 第15-16页 |
| 第2章 三余度容错计算机 | 第16-23页 |
| ·飞行控制系统的物理模型 | 第16页 |
| ·三余度容错计算机的体系结构 | 第16-19页 |
| ·硬件层 | 第17-18页 |
| ·系统软件层 | 第18页 |
| ·冗余管理 | 第18-19页 |
| ·飞行控制软件 | 第19页 |
| ·实时操作系统VXWORKS简介 | 第19-23页 |
| ·VxWorks特点及其体系结构 | 第19-20页 |
| ·VxWorks任务与任务编程接口 | 第20-21页 |
| ·任务间通信 | 第21-22页 |
| ·Tornado集成开发环境 | 第22-23页 |
| 第3章 三余度容错计算机的余度管理和同步算法研究 | 第23-33页 |
| ·余度管理 | 第23-24页 |
| ·余度管理的总体方案 | 第23页 |
| ·余度管理软件 | 第23-24页 |
| ·同步技术 | 第24-25页 |
| ·任务同步算法 | 第25-30页 |
| ·任务同步算法描述 | 第25-27页 |
| ·任务同步算法实现 | 第27-30页 |
| ·与其它模块的联系 | 第30页 |
| ·逻辑仿真 | 第30-33页 |
| 第4章 容错计算机的表决算法研究 | 第33-48页 |
| ·表决技术概述 | 第33-35页 |
| ·基于聚类方法的自检测多数一致表决算法 | 第35-43页 |
| ·算法描述 | 第35-36页 |
| ·算法实现 | 第36-43页 |
| ·算法的仿真验证 | 第43-48页 |
| 第5章 三余度容错计算机的可靠性分析和验证 | 第48-60页 |
| ·可靠性分析常用方法 | 第48-52页 |
| ·组合方法 | 第48-49页 |
| ·网络方法 | 第49页 |
| ·马尔可夫链 | 第49-50页 |
| ·故障树分析法 | 第50-52页 |
| ·系统模型 | 第52页 |
| ·故障树模型 | 第52-53页 |
| ·可靠性分析与比较 | 第53-57页 |
| ·可靠性分析 | 第53-55页 |
| ·可靠性比较 | 第55-57页 |
| ·可靠性验证 | 第57-60页 |
| ·可靠性验证简介 | 第57-58页 |
| ·三余度容错计算机可靠性验证方案 | 第58-60页 |
| 第6章 结论 | 第60-61页 |
| 致谢 | 第61-62页 |
| 参考文献 | 第62-66页 |
| 发表的学术论文 | 第66页 |
