| 摘要 | 第1-5页 |
| Abstract | 第5-13页 |
| 第1章 绪论 | 第13-27页 |
| ·课题背景 | 第13页 |
| ·研究目的和意义 | 第13-14页 |
| ·可重构星载计算机技术发展和研究现状 | 第14-25页 |
| ·可重构计算机在微小卫星领域应用实例 | 第15-18页 |
| ·可重构星载计算机体系结构 | 第18-21页 |
| ·可重构星载计算机容错技术 | 第21-25页 |
| ·论文主要内容与结构 | 第25-27页 |
| 第2章 面向多任务的可重构星载计算机体系结构设计与分析 | 第27-48页 |
| ·引言 | 第27页 |
| ·FPGA资源动态管理策略 | 第27-30页 |
| ·面向多任务的可重构星载计算机体系结构 | 第30-35页 |
| ·模拟干细胞的FPGA资源管理机制 | 第31-32页 |
| ·计算机系统结构 | 第32-34页 |
| ·重构调度方案 | 第34-35页 |
| ·结合实时操作系统的FPGA资源动态管理 | 第35-39页 |
| ·快速定制与设计 | 第39-40页 |
| ·在轨升级与自我修复 | 第40-44页 |
| ·软硬件一体化在轨升级 | 第40-42页 |
| ·在轨自我修复机制 | 第42-44页 |
| ·测试及结果分析 | 第44-47页 |
| ·本章小结 | 第47-48页 |
| 第3章 多处理器可重构计算机分时复用方法及可靠性分析 | 第48-60页 |
| ·引言 | 第48-49页 |
| ·系统框架 | 第49-50页 |
| ·快速重构及复用方法 | 第50-51页 |
| ·运载模式技术实现与性能分析 | 第51-54页 |
| ·运载模式技术实现 | 第51-53页 |
| ·基于同步数据流的性能分析 | 第53-54页 |
| ·在轨模式技术实现与可靠性分析 | 第54-59页 |
| ·在轨模式技术实现 | 第55-56页 |
| ·基于Markov模型的可靠性分析 | 第56-59页 |
| ·本章小结 | 第59-60页 |
| 第4章 可重构星载计算机的故障屏蔽与修复 | 第60-88页 |
| ·引言 | 第60页 |
| ·可重构星载计算机故障类型及现有容错技术分析 | 第60-62页 |
| ·可重构星载计算机高可靠性电路结构设计 | 第62-74页 |
| ·开发工具对FSM电路可靠性的影响 | 第63-66页 |
| ·基于FPGA内置RAM的抗辐射FSM电路 | 第66-74页 |
| ·基于NPC问题求解的FPGA永久性电路故障修复技术 | 第74-87页 |
| ·FPGA中永久性电路故障修复原理 | 第75-76页 |
| ·FPGA永久性电路故障修复技术 | 第76-84页 |
| ·仿真实验及结果分析 | 第84-87页 |
| ·本章小结 | 第87-88页 |
| 第5章 可重构星载计算机技术仿真验证 | 第88-117页 |
| ·引言 | 第88页 |
| ·基于数字化仿真验证平台的仿真验证 | 第88-97页 |
| ·数字化仿真验证平台结构 | 第88-91页 |
| ·跨学科协同仿真技术 | 第91-93页 |
| ·跨学科协同仿真原型系统 | 第93-97页 |
| ·工程样机设计与实现 | 第97-108页 |
| ·电气拓扑结构 | 第98-100页 |
| ·样机结构 | 第100-102页 |
| ·重构方式与机理 | 第102-104页 |
| ·硬件电路功能单元 | 第104-108页 |
| ·基于工程样机的半物理仿真系统及仿真结果分析 | 第108-116页 |
| ·本章小结 | 第116-117页 |
| 结论 | 第117-119页 |
| 参考文献 | 第119-129页 |
| 攻读博士学位期间发表的论文 | 第129-132页 |
| 致谢 | 第132-133页 |
| 个人简历 | 第133页 |
