嵌入式计算机控制系统容错策略研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第1章 引言 | 第10-19页 |
| ·研究动机 | 第10-17页 |
| ·概述 | 第10-11页 |
| ·容错控制发展历史与现状 | 第11-12页 |
| ·航天器故障的特点 | 第12-13页 |
| ·航天器的智能容错控制技术 | 第13-14页 |
| ·创新一号小卫星 | 第14-15页 |
| ·航天器智能容错控制有待研究的问题 | 第15-17页 |
| ·研究目的与预期内容 | 第17页 |
| ·论文组织 | 第17-19页 |
| 第2章 计算机控制系统容错设计 | 第19-34页 |
| ·计算机容错控制系统概述 | 第19-22页 |
| ·计算机控制系统的结构 | 第19-20页 |
| ·故障及其主要类型 | 第20-21页 |
| ·容错系统的工作模式 | 第21-22页 |
| ·硬件的冗余容错 | 第22-29页 |
| ·电路级冗余设计 | 第23-25页 |
| ·静态冗余系统 | 第25-26页 |
| ·动态冗余系统 | 第26-28页 |
| ·混合冗余系统 | 第28-29页 |
| ·软件的容错 | 第29-32页 |
| ·计算机软件与软件故障 | 第29-30页 |
| ·软件容错的特点 | 第30-31页 |
| ·软件容错的主要方法 | 第31-32页 |
| ·其他容错方法 | 第32-33页 |
| ·时间冗余容错 | 第32页 |
| ·信息冗余容错 | 第32-33页 |
| ·解析冗余容错 | 第33页 |
| ·小结 | 第33-34页 |
| 第3章 基于预测的传感器故障诊断RDS方法 | 第34-58页 |
| ·概述 | 第34-35页 |
| ·传感器的主要故障 | 第35-36页 |
| ·传感器输入故障的容错 | 第36-40页 |
| ·传感器输入线性化的软件方法 | 第36-37页 |
| ·输入数据的数字滤波方法 | 第37-40页 |
| ·输入数据预测的数值方法 | 第40-47页 |
| ·基于插值法的传感器检测值预测 | 第40-43页 |
| ·基于曲线拟合的传感器检测值预计 | 第43-45页 |
| ·两种预测方法的误差分析比较 | 第45-47页 |
| ·传感器故障概率分析 | 第47-48页 |
| ·多传感器融合故障诊断的DS方法 | 第48-50页 |
| ·DS证据理论 | 第48-49页 |
| ·Dempster-Shafer组合证据 | 第49-50页 |
| ·DS证据理论进行数据融合时的问题 | 第50-53页 |
| ·证据的可靠性问题 | 第50-52页 |
| ·证据的相关性问题 | 第52-53页 |
| ·靠多源数据融合的RDS方法 | 第53-57页 |
| ·RDS组合证据模型 | 第53-54页 |
| ·RDS组合证据的应用 | 第54-55页 |
| ·RDS组合证据中的相关性 | 第55-56页 |
| ·RDS方法中系数的确定 | 第56-57页 |
| ·小结 | 第57-58页 |
| 第4章 星载嵌入式软件容错和重组研究 | 第58-68页 |
| ·嵌入式软件的容错与重组 | 第58-60页 |
| ·嵌入式软件的重组 | 第58-59页 |
| ·软件的容错 | 第59-60页 |
| ·星载嵌入式软件容错设计 | 第60-62页 |
| ·指令冗余 | 第60-61页 |
| ·软件陷阱 | 第61页 |
| ·软件看门狗 | 第61-62页 |
| ·星载软件容错程序设计 | 第62-64页 |
| ·程序的编写 | 第62-63页 |
| ·软件算法设计 | 第63-64页 |
| ·可重组星载计算机软件的实现 | 第64-67页 |
| ·嵌入式软件重组的目的和要求 | 第64-65页 |
| ·运行中可重组的星载计算机软件设计 | 第65-67页 |
| ·接收测试的设计 | 第67页 |
| ·小结 | 第67-68页 |
| 第5章 容硬件错软件设计方法 | 第68-82页 |
| ·恶劣环境下计算机的可靠性 | 第68-71页 |
| ·恶劣环境下计算机的硬件故障 | 第69-70页 |
| ·提高恶劣环境计算机可靠性的措施 | 第70-71页 |
| ·软件容硬件错的数据复制法 | 第71-76页 |
| ·容错软件与软件容硬件错 | 第71页 |
| ·数据复制容硬件错方法 | 第71-72页 |
| ·双重复制检错重执法 | 第72-73页 |
| ·多重复制容错法 | 第73-75页 |
| ·一种设计实现方法 | 第75-76页 |
| ·数据一致性比较的动态模糊聚类方法 | 第76-81页 |
| ·模糊集基本理论 | 第76-77页 |
| ·模糊隶属度矩阵的求取 | 第77-79页 |
| ·动态模糊聚类的数据一致性比较方法 | 第79-81页 |
| ·小结 | 第81-82页 |
| 第6章 容错设计的软硬件故障注入验证 | 第82-88页 |
| ·概述 | 第82页 |
| ·电源控制系统及其容错设计 | 第82-83页 |
| ·容错设计的验证方法 | 第83-84页 |
| ·电源控制容错设计的故障注入验证 | 第84-87页 |
| ·小结 | 第87-88页 |
| 第7章 创新一号小卫星的星载计算机控制系统 | 第88-97页 |
| ·创新一号概述 | 第88页 |
| ·创新一号星载计算机控制系统 | 第88-92页 |
| ·功能概述 | 第89-90页 |
| ·星载软件 | 第90-91页 |
| ·工作模式 | 第91-92页 |
| ·创新一号星载软件及其可靠性设计 | 第92-95页 |
| ·星务管理软件 | 第92-93页 |
| ·遥测和遥控软件 | 第93-94页 |
| ·电源管理软件 | 第94-95页 |
| ·创新一号星载计算机的测试与验证 | 第95页 |
| ·创新一号的在轨运行测试 | 第95-96页 |
| ·小结 | 第96-97页 |
| 结束语 | 第97-98页 |
| 参考文献 | 第98-103页 |
| 发表文章目录 | 第103-104页 |
| 致谢 | 第104-105页 |
| 个人简历 | 第105页 |
