核电厂数字化仪控系统的动态可靠性分析
发布时间:2021-04-10 05:18
仪控系统是核电站的神经中枢,而反应堆保护系统则是核电厂神经中枢中的小脑,其可靠性对于核电厂安全运行至关重要。通常,使用简单的故障树/事件树方法来分核电厂系统的可靠性。对于数字化仪控系统,则需用更全面的动态可靠性方法进行更准确的评估。在众多动态可靠性方法中,布尔驱动马尔可夫过程(BDMP)是一个有前途的解决方案。论文以超温△ T保护系统为例,进行了 BDMP建模与定量分析。并分析了不同修复率对超温△ T保护系统可靠性的影响。3004 DICS采用3002温度和压力传感器和2001-EX核探测器和执行器在模型中实现。Serh故障率被用于选定的模型组件。分析0天、1天、1个月、3个月、6个月和1年的修复率,以研究这些实施方式所产生的趋势。不可修复的OTDT系统显示出两个潜在的关键点。与传感器和执行器相比,非冗余投票逻辑和整体DICS具有更高的故障率。DICS有一个非常敏感的自我检测系统,无法在软件中进行建模。论文还评价了 BDMP建模软件KB3和BDMP定量分析软件YAMS的适用性和局限性。通过对超温△ T保护系统的BDMP建模表明,使用KB3建立BDMP模型非常容易和方便。而YAMS是一种...
【文章来源】:华北电力大学(北京)北京市 211工程院校 教育部直属院校
【文章页数】:86 页
【学位级别】:硕士
【文章目录】:
摘要
ABSTRACT
CHAPTER 1. INTRODUCTION
1.1 OBJECTIVE OF WORK
1.2 SCOPE OF THESIS
1.3 BASIC TERMINOLOGIES
1.4 THESIS OUTLINE
CHAPTER 2. LITERATURE REVIEW
2.1 TRADITIONAL PSA METHODS
2.1.1 FMEA-Failure Modes and Effects Analysis
2.1.2 ETA/FTA-Event Tree/Fault Tree Analysis
2.2 DYNAMIC PSA METHODS
2.2.1 Dynamic Flowgraph Methodology-DFM
2.2.2 Markov Modelling
2.2.3 BDMP-Boolean Driven Markov Processing
CHAPTER 3. BDMP
3.1 INTRODUCTION TO BDMP
3.1.1 KB3 Study Space
3.1.2 Basic Elements of KB3
3.2 FIGARO LANGUAGE
3.2.1 Stages of Figaro
3.2.2 Figaro model file
CHAPTER 4. YAMS
4.1 TERMINOLOGIES
4.2 PROCESS OF ANALYSIS
4.2.1 File extensions
4.2.2 Procedure
CHAPTER 5. CASE STUDY-OTDT REACTOR TRIP
5.1 OTDT MECHANISM
5.1.1 DNB Protection
5.1.2 Core Exit Boiling Protection
5.2 COMPONENTS OF OTDT UNDER CONSIDERATION
5.2.1 Sensors
5.2.2 DIGS
5.2.3 Voter 2oo4 module
5.2.4 Actuators
CHAPTER 6. MODELING-KB3
6.1 TRIPLE REDUNDANCY
6.2 TRICON TMR PLC
6.2.1 Assumptions
6.2.2 Failure Rates
6.2.3 Modeling in KB3 Workbench
6.3 OTDT SYSTEM MODEL
6.3.1 Human reliability
CHAPTER 7. RESULTS AND ANALYSIS
7.1 SIMULATION SCENARIOS
7.2 TRIPLE REDUNDANCY
7.3 TRICON TMR PLC
7.4 OTDT SYSTEM
CHAPTER 8. CONCLUSION
REFERENCES
PAPERS PUBLISHED DURING MASTER'S DEGREE
ACKNOWLEDGEMENT
APPENDIX
本文编号:3129038
【文章来源】:华北电力大学(北京)北京市 211工程院校 教育部直属院校
【文章页数】:86 页
【学位级别】:硕士
【文章目录】:
摘要
ABSTRACT
CHAPTER 1. INTRODUCTION
1.1 OBJECTIVE OF WORK
1.2 SCOPE OF THESIS
1.3 BASIC TERMINOLOGIES
1.4 THESIS OUTLINE
CHAPTER 2. LITERATURE REVIEW
2.1 TRADITIONAL PSA METHODS
2.1.1 FMEA-Failure Modes and Effects Analysis
2.1.2 ETA/FTA-Event Tree/Fault Tree Analysis
2.2 DYNAMIC PSA METHODS
2.2.1 Dynamic Flowgraph Methodology-DFM
2.2.2 Markov Modelling
2.2.3 BDMP-Boolean Driven Markov Processing
CHAPTER 3. BDMP
3.1 INTRODUCTION TO BDMP
3.1.1 KB3 Study Space
3.1.2 Basic Elements of KB3
3.2 FIGARO LANGUAGE
3.2.1 Stages of Figaro
3.2.2 Figaro model file
CHAPTER 4. YAMS
4.1 TERMINOLOGIES
4.2 PROCESS OF ANALYSIS
4.2.1 File extensions
4.2.2 Procedure
CHAPTER 5. CASE STUDY-OTDT REACTOR TRIP
5.1 OTDT MECHANISM
5.1.1 DNB Protection
5.1.2 Core Exit Boiling Protection
5.2 COMPONENTS OF OTDT UNDER CONSIDERATION
5.2.1 Sensors
5.2.2 DIGS
5.2.3 Voter 2oo4 module
5.2.4 Actuators
CHAPTER 6. MODELING-KB3
6.1 TRIPLE REDUNDANCY
6.2 TRICON TMR PLC
6.2.1 Assumptions
6.2.2 Failure Rates
6.2.3 Modeling in KB3 Workbench
6.3 OTDT SYSTEM MODEL
6.3.1 Human reliability
CHAPTER 7. RESULTS AND ANALYSIS
7.1 SIMULATION SCENARIOS
7.2 TRIPLE REDUNDANCY
7.3 TRICON TMR PLC
7.4 OTDT SYSTEM
CHAPTER 8. CONCLUSION
REFERENCES
PAPERS PUBLISHED DURING MASTER'S DEGREE
ACKNOWLEDGEMENT
APPENDIX
本文编号:3129038
本文链接:https://www.wllwen.com/kejilunwen/dianlilw/3129038.html
教材专著