| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第1章 绪论 | 第9-20页 |
| ·课题背景 | 第9-10页 |
| ·空间环境下辐射对航天器的影响 | 第10-11页 |
| ·瞬时故障的软件检错技术 | 第11-15页 |
| ·基本概念 | 第11-12页 |
| ·容错综述 | 第12-14页 |
| ·SIHFT软件容错技术 | 第14-15页 |
| ·几种主要的航天用COTS微处理器 | 第15-18页 |
| ·ARM微处理器 | 第16页 |
| ·SPARC微处理器 | 第16-17页 |
| ·MIPS微处理器 | 第17页 |
| ·PowerPC微处理器 | 第17-18页 |
| ·本文研究内容 | 第18-19页 |
| ·本文结构 | 第19-20页 |
| 第2章 SIHFT软件容错技术 | 第20-30页 |
| ·基本概念 | 第20页 |
| ·软件签名控制流检错技术 | 第20-24页 |
| ·软件签名控制流检错技术思想 | 第20-21页 |
| ·软件签名控制流检错技术直观性阐述 | 第21-24页 |
| ·软件签名控制流检错技术算法 | 第24页 |
| ·复制指令检错技术 | 第24-29页 |
| ·复制指令检错技术思想 | 第24-25页 |
| ·复制指令检错技术算法 | 第25-28页 |
| ·复制指令检错技术调度算法 | 第28-29页 |
| ·复制指令检错技术间隔调度算法 | 第29页 |
| ·本章小结 | 第29-30页 |
| 第3章 ARM7 和SPARC V8 体系结构 | 第30-41页 |
| ·ARM7 体系结构和指令系统 | 第30-33页 |
| ·ARM7 体系结构的特点 | 第30-31页 |
| ·ARM7 体系结构的寄存器 | 第31-32页 |
| ·ARM7 体系结构的指令系统 | 第32-33页 |
| ·SPARC V8 体系结构和指令系统 | 第33-37页 |
| ·SPARC V8 体系结构的特点 | 第33-34页 |
| ·SPARC V8 体系结构的寄存器 | 第34-36页 |
| ·SPARC V8 体系结构的指令系统 | 第36-37页 |
| ·ARM7 与SPARC V8 体系结构比较 | 第37-38页 |
| ·SIHFT技术在这两种微处理器上实现时产生的容错效果的理论分析 | 第38-39页 |
| ·适合采用SIHFT技术进行容错的体系结构应该具备的条件 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第4章 基于SPARC V8 的软件检错技术的系统设计及关键技术研究 | 第41-60页 |
| ·系统总体设计 | 第41-43页 |
| ·关键技术研究 | 第43-57页 |
| ·指令识别 | 第43-45页 |
| ·基本块划分 | 第45-48页 |
| ·CFCSS指令生成 | 第48-53页 |
| ·EDDI指令生成 | 第53-56页 |
| ·指令调度 | 第56-57页 |
| ·系统生成的代码样例 | 第57-59页 |
| ·本章小结 | 第59-60页 |
| 第5章 仿真实验及结果分析 | 第60-72页 |
| ·仿真器简介 | 第60-61页 |
| ·仿真实验 | 第61-71页 |
| ·实验环境 | 第61页 |
| ·实验方案和实验过程 | 第61-64页 |
| ·实验用例 | 第64页 |
| ·实验结果与分析 | 第64-71页 |
| ·本章小结 | 第71-72页 |
| 结论 | 第72-73页 |
| 参考文献 | 第73-77页 |
| 致谢 | 第77页 |
