基于故障树的核电厂图示化诊断系统的研究与开发
摘要 | 第5-6页 |
Abstract | 第6页 |
第一章 绪论 | 第9-14页 |
1.1 本课题的研究背景及意义 | 第9-10页 |
1.2 国内外的研究现状 | 第10-12页 |
1.2.1 CPR1000核电技术 | 第10-11页 |
1.2.2 故障树分析法及发展 | 第11页 |
1.2.3 核电厂数字化仪控系统的可靠性研究 | 第11-12页 |
1.2.4 核电厂诊断系统的发展 | 第12页 |
1.3 本文的主要研究内容 | 第12-14页 |
第二章 故障树分析方法及研究 | 第14-24页 |
2.1 故障树建模原理 | 第14-16页 |
2.1.1 故障树分析法基本流程 | 第14-15页 |
2.1.2 故障树模型基本元素 | 第15页 |
2.1.3 故障树的建模原则 | 第15-16页 |
2.2 故障树定性分析 | 第16-17页 |
2.2.1 最小割集概念 | 第16页 |
2.2.2 故障树的结构函数 | 第16页 |
2.2.3 故障树最小割集算法 | 第16-17页 |
2.3 故障树的定量分析 | 第17-21页 |
2.3.1 底事件的失效率与不可用度 | 第17-20页 |
2.3.2 顶事件概率计算 | 第20-21页 |
2.3.3 故障树分析软件 | 第21页 |
2.4 动态故障树分析法 | 第21-23页 |
2.4.1 马尔可夫模型概述 | 第22页 |
2.4.2 离散时间马尔可夫模型 | 第22-23页 |
2.5 本章小结 | 第23-24页 |
第三章 数字化仪控系统故障建模与分析 | 第24-47页 |
3.1 CPR1000核电厂数字化仪控系统 | 第24-26页 |
3.1.1 CPR1000数字化仪控系统设计标准 | 第24-25页 |
3.1.2 CPR1000数字化仪控系统结构分析 | 第25-26页 |
3.2 安全级过程控制机柜系统(KCS) | 第26-29页 |
3.2.1 KCS系统研究意义 | 第26-27页 |
3.2.2 KCS系统结构概述 | 第27-29页 |
3.3 KCS系统故障树建模与分析 | 第29-39页 |
3.3.1 故障追溯原理 | 第29-31页 |
3.3.2 确定顶事件 | 第31-33页 |
3.3.3 故障树建模 | 第33-39页 |
3.4 故障树自动建模分析软件的开发与验证 | 第39-46页 |
3.4.1 建模分析软件开发 | 第39-44页 |
3.4.2 软件正确性验证 | 第44-46页 |
3.5 本章小结 | 第46-47页 |
第四章 诊断系统的设计与研发 | 第47-58页 |
4.1 诊断专家系统 | 第47-48页 |
4.2 诊断系统的设计 | 第48-57页 |
4.2.1 诊断系统的设计思路 | 第48-49页 |
4.2.2 人机交互界面的设计 | 第49-51页 |
4.2.3 后台推理程序开发 | 第51-52页 |
4.2.4 PHP框架的构建 | 第52-55页 |
4.2.5 知识库的设计 | 第55-57页 |
4.3 本章小结 | 第57-58页 |
第五章 静态故障树图示化诊断的实现 | 第58-64页 |
5.1 基于故障树分析法的诊断系统 | 第58-60页 |
5.1.1 故障树分析法与诊断系统的联系 | 第58-59页 |
5.1.2 诊断系统图示化方法 | 第59-60页 |
5.2 图示化诊断系统的实现 | 第60-63页 |
5.2.1 核电厂厂级实时信息监控系统 | 第60-61页 |
5.2.2 图示化诊断系统的实现与应用 | 第61-63页 |
5.3 本章小结 | 第63-64页 |
第六章 动态故障树图示化诊断的实现 | 第64-72页 |
6.1 动态故障树诊断系统的研究 | 第64-67页 |
6.1.1 动态故障树理论方法研究 | 第64-65页 |
6.1.2 基于DFT的诊断系统 | 第65页 |
6.1.3 动态故障树数学模型 | 第65-67页 |
6.2 基于DFT图示化诊断系统设计 | 第67-71页 |
6.2.1 图示化诊断系统框架 | 第67-68页 |
6.2.2 图示化诊断系统的软件实现 | 第68-70页 |
6.2.3 系统测试与结果展示 | 第70-71页 |
6.3 本章小结 | 第71-72页 |
第七章 总结与展望 | 第72-74页 |
7.1 全文总结 | 第72-73页 |
7.2 后续研究工作及展望 | 第73-74页 |
致谢 | 第74-75页 |
参考文献 | 第75-78页 |
硕士期间发表论文与专利 | 第78页 |