| 摘要 | 第1-6页 |
| Abstract | 第6-14页 |
| 第1章 绪论 | 第14-20页 |
| ·课题来源、目的及意义 | 第14-17页 |
| ·研究内容及主要工作 | 第17-18页 |
| ·论文结构 | 第18-20页 |
| 第2章 相关研究综述 | 第20-36页 |
| ·引言 | 第20页 |
| ·星载计算机系统的发展、特点及挑战 | 第20-23页 |
| ·可重构技术发展和研究现状 | 第23-31页 |
| ·可重构计算问题的提出 | 第23-24页 |
| ·可重构硬件技术的发展 | 第24-25页 |
| ·可重构计算研究现状 | 第25-31页 |
| ·可编程器件的结构、重构方法及耦合方式 | 第25-27页 |
| ·可重构计算的应用研究 | 第27-31页 |
| ·可重构计算在空间应用系统中重要作用 | 第31-35页 |
| ·可重构计算系统的高处理性能 | 第31-32页 |
| ·可重构计算系统的高可靠性 | 第32-34页 |
| ·可重构计算技术的空间应用实例 | 第34-35页 |
| ·小结 | 第35-36页 |
| 第3章 基于动态可重构的星载数据处理系统体系结构 | 第36-50页 |
| ·引言 | 第36-37页 |
| ·体系结构及方法研究 | 第37-41页 |
| ·相关体系结构 | 第37-40页 |
| ·可重构系统中的动态冗余结构 | 第40-41页 |
| ·T 数据处理系统的体系结构 | 第41-49页 |
| ·ＳＳＴ数据处理系统的总体框架 | 第42页 |
| ·重构控制单元及其结构 | 第42-44页 |
| ·基于反馈的寄存器纠错机制 | 第44-45页 |
| ·动态可重构的模块化结构 | 第45-49页 |
| ·LEON2处理器IP核 | 第45-46页 |
| ·基于LEON2的系统结构 | 第46-47页 |
| ·协处理器模块 | 第47-49页 |
| ·模块化结构与动态重构 | 第49页 |
| ·小结 | 第49-50页 |
| 第4章 可重构星载计算系统故障检测、修复和可靠性分析 | 第50-75页 |
| ·引言 | 第50页 |
| ·星载系统故障及现有解决方案 | 第50-56页 |
| ·主要故障类型与现有容错方法 | 第50-53页 |
| ·FPGA容错技术 | 第53-54页 |
| ·可重构星载计算系统容错技术 | 第54-56页 |
| ·可重构计算系统故障检测和修复方案 | 第56-62页 |
| ·ＴＭＲ结构的改进 | 第56-57页 |
| ·基于配置数据的故障检测和修复 | 第57-62页 |
| ·基于配置数据的故障检测方法 | 第57-59页 |
| ·基于JBits的配置数据操作方案 | 第59-60页 |
| ·基于配置数据的故障修复方法 | 第60-62页 |
| ·系统可靠性分析 | 第62-73页 |
| ·可靠性基础理论 | 第62-69页 |
| ·可修复系统的Markov模型 | 第69-72页 |
| ·可靠性结果分析 | 第72-73页 |
| ·小结 | 第73-75页 |
| 第5章 动态重构模块化设计 | 第75-84页 |
| ·引言 | 第75-76页 |
| ·基本开发模式 | 第76-78页 |
| ·动态重构模块化设计方法及关键问题 | 第78-83页 |
| ·设计方法 | 第78-80页 |
| ·动态重构的关键问题 | 第80-83页 |
| ·模块划分与设计约束 | 第80-81页 |
| ·配置数据的产生与加载 | 第81-82页 |
| ·模块间通信 | 第82-83页 |
| ·小结 | 第83-84页 |
| 第6章 动态重构系统的实现 | 第84-95页 |
| ·引言 | 第84页 |
| ·硬件开发平台和工具 | 第84-85页 |
| ·硬件开发平台 | 第84-85页 |
| ·开发工具 | 第85页 |
| ·动态重构实现机制 | 第85-87页 |
| ·动态可重构模块化系统实现 | 第87-95页 |
| ·LEON2系统的实现 | 第87-91页 |
| ·LEON 2处理器和基于LEON 2的计算系统 | 第87-88页 |
| ·LEON 2的移植 | 第88-89页 |
| ·系统仿真 | 第89-91页 |
| ·综合以及布局布线 | 第91页 |
| ·模块化动态可重构系统 | 第91-95页 |
| 第7章 测试与实验 | 第95-111页 |
| ·动态重构系统测试 | 第95-105页 |
| ·建立软件开发环境，编写测试程序 | 第95-96页 |
| ·仿真测试 | 第96-97页 |
| ·基于开发板的测试 | 第97-99页 |
| ·FFT实例的系统性能比较 | 第99-105页 |
| ·FFT算法的实现方案 | 第99-102页 |
| ·系统性能计算与比较 | 第102-105页 |
| ·布线故障修复实验 | 第105-111页 |
| ·实验方法 | 第105-106页 |
| ·实验结果 | 第106-108页 |
| ·可靠性分析 | 第108-111页 |
| 第8章 总结与展望 | 第111-114页 |
| ·工作总结和贡献 | 第111-112页 |
| ·工作展望 | 第112-114页 |
| 参考文献 | 第114-121页 |
| 致谢 | 第121-122页 |
| 附录A 攻读学位期间所发表的学术论文 | 第122页 |