| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第1章 绪论 | 第9-18页 |
| ·课题背景和意义 | 第9-10页 |
| ·定性模型的建模方法 | 第10-12页 |
| ·定性模型在故障诊断中的应用和发展 | 第12-14页 |
| ·定性模型在故障诊断中的应用 | 第12-14页 |
| ·基于定性模型诊断的发展趋势 | 第14页 |
| ·航天器故障诊断系统的研究现状 | 第14-16页 |
| ·本文主要研究内容 | 第16-18页 |
| 第2章 航天器故障定性建模与诊断系统的设计 | 第18-30页 |
| ·航天器结构和功能特点分析 | 第18-20页 |
| ·航天器故障特点分析 | 第20页 |
| ·航天器故障诊断系统的设计要求 | 第20-21页 |
| ·系统设计思想 | 第21-23页 |
| ·航天器故障定性建模与诊断系统的结构 | 第23-29页 |
| ·系统简介 | 第23-24页 |
| ·系统详细设计 | 第24-25页 |
| ·定性建模工具功能分析 | 第25-28页 |
| ·诊断工具功能分析 | 第28-29页 |
| ·数据处理与场景工具功能分析 | 第29页 |
| ·本章小结 | 第29-30页 |
| 第3章 航天器故障定性模型建模方法 | 第30-57页 |
| ·定性模型的建立 | 第30-35页 |
| ·元件行为模型的建立 | 第32-34页 |
| ·系统结构模型的建立 | 第34-35页 |
| ·建模语言（JMPL） | 第35-38页 |
| ·JMPL(Java-based Model Programming Language)语言 | 第36-38页 |
| ·定性建模工具Stanley 移植 | 第38-47页 |
| ·Stanley 介绍及运行环境分析 | 第40-42页 |
| ·软件移植的一般性方法 | 第42-45页 |
| ·Stanley 移植 | 第45-47页 |
| ·卫星姿控系统“太阳捕捉模式”定性建模 | 第47-56页 |
| ·本章小结 | 第56-57页 |
| 第4章 基于定性模型的诊断方法 | 第57-78页 |
| ·基于模型的诊断问题的提出 | 第57-60页 |
| ·诊断工作面临的困难 | 第57页 |
| ·基于模型的诊断 | 第57-60页 |
| ·基于定性模型的诊断算法研究 | 第60-65页 |
| ·基于第一原理的诊断算法 | 第60-65页 |
| ·冲突指向的最佳搜索方法（CBFS） | 第65-70页 |
| ·优化约束满足问题（OCSP） | 第65-67页 |
| ·冲突指向的A*方法（conflict-directed A*） | 第67-70页 |
| ·诊断引擎与诊断工具的设计 | 第70-77页 |
| ·Livingstone 诊断引擎的结构分析 | 第70-72页 |
| ·诊断工具的设计 | 第72-77页 |
| ·本章小结 | 第77-78页 |
| 第5章 航天器故障定性建模与诊断系统的实现 | 第78-92页 |
| ·定量数据信息的定性处理 | 第78-80页 |
| ·基于模板和标签的场景自动生成技术 | 第80-84页 |
| ·场景文件的结构 | 第80-81页 |
| ·模板文件与标签的设计 | 第81-82页 |
| ·场景自动生成工具的设计 | 第82-84页 |
| ·航天器故障定性建模与诊断系统的顶层框架 | 第84-86页 |
| ·卫星姿态控制分系统故障诊断 | 第86-91页 |
| ·本章小结 | 第91-92页 |
| 结论 | 第92-94页 |
| 参考文献 | 第94-98页 |
| 攻读学位期间发表的学术论文 | 第98-100页 |
| 致谢 | 第100页 |