| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-16页 |
| §1.1 研究背景及意义 | 第12-14页 |
| §1.2 本文主要工作 | 第14-15页 |
| §1.3 论文结构 | 第15-16页 |
| 第二章 相关背景 | 第16-29页 |
| §2.1 航天器自主运行技术 | 第16-17页 |
| §2.2 自主健康管理 | 第17-21页 |
| ·自主健康管理的定义 | 第17-18页 |
| ·典型的故障检测和诊断方法 | 第18页 |
| ·错误检测和诊断系统 | 第18-19页 |
| ·应用实例 | 第19-21页 |
| §2.3 框架和构件技术 | 第21-26页 |
| ·构件 | 第21-22页 |
| ·框架 | 第22-24页 |
| ·典型的航天器应用软件开发框架 | 第24-26页 |
| §2.4 容错技术 | 第26-28页 |
| ·容错的基本概念 | 第26-27页 |
| ·容错技术的分类 | 第27-28页 |
| §2.5 小结 | 第28-29页 |
| 第三章 航天器自主健康管理功能的设计与实现 | 第29-58页 |
| §3.1 航天器自主运行软件开发框架SASF | 第29-37页 |
| ·框架概述 | 第29-30页 |
| ·系统基础部分的组成 | 第30-34页 |
| ·自主规划调度 | 第34-35页 |
| ·自主健康管理 | 第35-36页 |
| ·框架特点 | 第36-37页 |
| §3.2 自主健康管理部分的整体架构和实现概述 | 第37-44页 |
| ·AOCS的容错架构 | 第37-40页 |
| ·Manager元设计模式 | 第40-41页 |
| ·扩展的AOCS容错架构——自主健康管理架构 | 第41-44页 |
| §3.3 错误检测模块的设计与实现 | 第44-52页 |
| ·错误检测模块的组成 | 第44-45页 |
| ·错误检测机制 | 第45-49页 |
| ·错误事件定义 | 第49-50页 |
| ·FailureDetectionManager | 第50-51页 |
| ·FailureDetectionModeManager | 第51页 |
| ·扩展点 | 第51-52页 |
| §3.4 故障定位模块的设计与实现 | 第52-54页 |
| ·故障定位模块的组成 | 第52页 |
| ·故障定位机制 | 第52-53页 |
| ·故障定位事件定义 | 第53页 |
| ·FaultLocationManager | 第53页 |
| ·FaultLocationModeManager | 第53-54页 |
| ·扩展点 | 第54页 |
| §3.5 自主决策模块的设计与实现 | 第54-55页 |
| §3.6 错误恢复模块的设计与实现 | 第55-56页 |
| §3.7 小结 | 第56-58页 |
| 第四章 构件健康管理方法及其在SASF框架上的实现 | 第58-86页 |
| §4.1 硬件瞬时性故障 | 第58-60页 |
| ·宇宙辐射对航天器的影响 | 第58-59页 |
| ·面向硬件故障的软件容错技术 | 第59-60页 |
| §4.2 基于构件的数据流模型 | 第60-64页 |
| ·数据流模型 | 第60-63页 |
| ·数据流模型分析 | 第63-64页 |
| §4.3 基于数据流模型的错误检测算法 | 第64-69页 |
| ·双冗余容错系统 | 第64页 |
| ·错误检测算法基本原理 | 第64-67页 |
| ·错误检测算法 | 第67-68页 |
| ·改进的错误检测算法 | 第68-69页 |
| §4.4 基于数据流模型的另一种错误检测算法 | 第69-71页 |
| ·错误检测算法基本原理 | 第69-70页 |
| ·错误检测算法 | 第70-71页 |
| §4.5 基于数据流模型的故障定位算法 | 第71-74页 |
| ·基于数据流模型的故障定位算法 | 第71-72页 |
| ·在错误检测算法基础上改进的故障定位算法 | 第72-74页 |
| §4.6 基于数据流模型的自主决策算法 | 第74-80页 |
| ·问题分析 | 第74-79页 |
| ·基于数据流模型的自主决策算法 | 第79-80页 |
| §4.7 数据流模型及相关算法在SASF上的实现 | 第80-85页 |
| ·数据流模型的定义 | 第80-82页 |
| ·相关算法在SASF上的实现 | 第82-85页 |
| §4.8 小结 | 第85-86页 |
| 第五章 结束语 | 第86-88页 |
| §5.1 主要工作及创新点 | 第86-87页 |
| §5.2 进一步工作 | 第87-88页 |
| 致谢 | 第88-89页 |
| 参考文献 | 第89-93页 |
| 作者在学期间取得的学术成果 | 第93页 |
