| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第一章 绪论 | 第6-12页 |
| 1.1 研究背景 | 第6页 |
| 1.2 空间辐射环境 | 第6-8页 |
| 1.3 国内外抗辐射计算机研究现状 | 第8-10页 |
| 1.4 本文主要工作 | 第10-11页 |
| 1.5 本文内容安排 | 第11-12页 |
| 第二章 系统框架与切换策略 | 第12-23页 |
| 2.1 多冗余系统的发展历史 | 第12页 |
| 2.2 国内冗余容错系统实例 | 第12-15页 |
| 2.2.1 “创新一号”小卫星(双机冗余热备结构) | 第13页 |
| 2.2.2 PFT-OBCS(多机容错并行结构) | 第13-15页 |
| 2.3 星载多机并行容错系统结构 | 第15-17页 |
| 2.3.1 总体结构 | 第15-16页 |
| 2.3.2 模块功能说明 | 第16-17页 |
| 2.4 实际系统结构与切换策略(houxu) | 第17-23页 |
| 2.4.1 实际系统冗余架构 | 第17-18页 |
| 2.4.2 并行系统输出选择策略 | 第18-21页 |
| 2.4.3 备份冗余切换原则 | 第21-23页 |
| 第三章 故障标尺与故障树故障检测系统 | 第23-43页 |
| 3.1 故障标尺与辐射总剂量的预测 | 第23-27页 |
| 3.1.1 辐射总剂量效应 | 第23-24页 |
| 3.1.2 故障标尺的设计 | 第24-25页 |
| 3.1.3 故障标尺预测正确率的仿真 | 第25-27页 |
| 3.2 故障检测与故障树推理机制 | 第27-35页 |
| 3.2.1 故障树分析法中的基本概念和符号 | 第29-30页 |
| 3.2.2 故障树分析方法的特点 | 第30-31页 |
| 3.2.3 故障树的数学表示 | 第31-32页 |
| 3.2.4 故障树的建立 | 第32-33页 |
| 3.2.5 故障树的定性分析 | 第33-34页 |
| 3.2.6 故障树的定量分析 | 第34-35页 |
| 3.3 星上计算机的故障树框架建立 | 第35-37页 |
| 3.3.1 故障树结构 | 第35-36页 |
| 3.3.2 检测节点建模 | 第36页 |
| 3.3.3 故障节点建模 | 第36-37页 |
| 3.4 检测模块设计 | 第37-43页 |
| 3.4.1 CPU功能测试 | 第38-39页 |
| 3.4.2 A/D、D/A功能测试 | 第39页 |
| 3.4.3 串行接口功能测试 | 第39-40页 |
| 3.4.4 数字I/O功能测试 | 第40-41页 |
| 3.4.5 电压、电流、温度测试 | 第41-43页 |
| 第四章 单粒子效应与RAM加固 | 第43-54页 |
| 4.1 单粒子效应 | 第43-45页 |
| 4.2 EDAC模块结构 | 第45-47页 |
| 4.3 算法介绍 | 第47-51页 |
| 4.4 仿真试验 | 第51-54页 |
| 4.4.1 错误纠正测试 | 第52-53页 |
| 4.4.2 三位错误检验测试 | 第53-54页 |
| 第五章 实际系统测试与性能仿真 | 第54-67页 |
| 5.1 实际系统设计 | 第54-58页 |
| 5.2 实际系统的展示 | 第58-60页 |
| 5.3 冗余容错功能测试 | 第60-61页 |
| 5.4 故障树故障检测的性能仿真 | 第61-67页 |
| 5.4.1 故障仿真方法 | 第61-67页 |
| 第六章 总结与展望 | 第67-68页 |
| 致谢 | 第68-69页 |
| 参考文献 | 第69-71页 |