| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 主要符号对照表 | 第9-10页 |
| 第1章 引言 | 第10-19页 |
| ·核电站仪控系统技术概述 | 第10-11页 |
| ·数字化仪控系统可靠性分析国外研究现状 | 第11-16页 |
| ·技术路线综述 | 第11-15页 |
| ·数字化系统中的软件失效率分析研究现状 | 第15-16页 |
| ·数字化仪控系统可靠性分析国内研究现状 | 第16页 |
| ·本文主要研究内容及结构 | 第16-19页 |
| 第2章 传统故障树方法在数字化仪控系统可靠性分析中的应用 | 第19-31页 |
| ·传统故障树方法在数字化保护系统中的适用性讨论 | 第19-21页 |
| ·反应堆数字化保护系统的特点 | 第19-20页 |
| ·在 AP1000 数字化保护系统可靠性分析中的应用 | 第20-21页 |
| ·典型反应堆数字化保护系统介绍 | 第21-23页 |
| ·信号失效分析过程举例 | 第23-26页 |
| ·数字化保护系统 FMEA 分析与建立 | 第23-24页 |
| ·故障树模型的构建 | 第24-26页 |
| ·建模难点分析 | 第26-28页 |
| ·本章小结 | 第28-31页 |
| 第3章 DFM 方法在数字化仪控系统可靠性分析中的应用 | 第31-45页 |
| ·DFM 方法介绍 | 第31-32页 |
| ·典型数字化保护系统的 DFM 模型 | 第32-35页 |
| ·数字化双微处理器控制系统的 DFM 模型 | 第35-42页 |
| ·数字化双微处理器（CPU）控制模型及构模假设 | 第35-37页 |
| ·DFM 模型的建立 | 第37-42页 |
| ·模型求解 | 第42-44页 |
| ·质蕴含分析与求解原则 | 第42-43页 |
| ·定量化分析难点讨论 | 第43-44页 |
| ·本章小结 | 第44-45页 |
| 第4章 Markov/CCMT 模型在数字化仪控系统中的应用 | 第45-59页 |
| ·Markov 方法和 CCMT 方法 | 第45-48页 |
| ·Markov 方法和 CCMT 方法介绍 | 第45页 |
| ·应用传统 Markov 法对双 CPU 控制系统的分析 | 第45-48页 |
| ·Markov/CCMT 模型方法概述 | 第48-51页 |
| ·Markov/CCMT 方法特点 | 第48-49页 |
| ·Markov/CCMT 方法应用步骤 | 第49-51页 |
| ·系统级双 CPU 系统 Markov/CCMT 模型 | 第51-56页 |
| ·系统级双 CPU 系统 Markov/CCMT 模型的建立 | 第52-54页 |
| ·模型求解 | 第54-55页 |
| ·与 DFM 方法质蕴含结果的比较 | 第55-56页 |
| ·部件级双 CPU 系统 Markov/CCMT 模型分析 | 第56-58页 |
| ·CPU 部件级 Markov/CCMT 模型 | 第56-57页 |
| ·Markov/CCMT 模型的简化 | 第57-58页 |
| ·分析与讨论 | 第58页 |
| ·本章小结 | 第58-59页 |
| 第5章 数字化系统软件可靠性分析方法探讨 | 第59-71页 |
| ·软件可靠性分析方法 | 第59-63页 |
| ·软件可靠性分析综述 | 第60-61页 |
| ·方法总结 | 第61-63页 |
| ·故障注入方法 | 第63-70页 |
| ·故障的概念 | 第63-64页 |
| ·故障注入法 | 第64页 |
| ·故障的属性与故障注入技术的边界条件 | 第64-66页 |
| ·方法介绍 | 第66-69页 |
| ·结果处理和分析 | 第69-70页 |
| ·本章小结 | 第70-71页 |
| 第6章 结论与展望 | 第71-74页 |
| ·结论 | 第71-72页 |
| ·需进一步展开的工作 | 第72-74页 |
| 参考文献 | 第74-77页 |
| 致谢 | 第77-78页 |
| 附录 A 典型数字化保护系统 FMEA | 第78-81页 |
| 附录 B CPUA 部件级 FMEA | 第81-85页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第85页 |
