声明
插图索引
表格索引
符号对照表
缩略语对照表
第一章 绪论
1.1研究背景
1.2国内外研究现状
1.3论文研究内容及结构安排
第二章 FPGA单粒子翻转错误率建模
2.1 FPGA在轨单粒子翻转率估计
2.2 FPGA功能模块的单粒子翻转错误概率模型
2.3计算实例
2.4本章小结
第三章 基于Petri网的FPGA系统建模方法
3.1 Petri网理论
3.2 FPGA程序设计方法
3.3基于Petri网的FPGA程序建模方法
3.4工程应用
3.5本章小结
第四章 功能执行可靠性分析方法
4.1可达图分析方法
4.2 PNOF模型的功能执行可靠性评估
4.3本章小结
第五章 冗余防护方法的性能分析和优化求解
5.1基于模块划分的三模冗余防护方法
5.2时间滤波冗余防护方法
5.3用遗传算法求解最优防护组合
5.4本章小结
第六章 总结与展望
6.1研究工作总结
6.2研究展望
参考文献
致谢
作者简介
