基于BDMP模型的核电厂稳压器水位控制系统可靠性分析  

Reliability Analysis of Pressurizer Level Control System of Nuclear Power Plant Based on BDMP Model

作　　者：朱桂霞 马九灵 钱玉刚 夏林路 周世梁[2,3] ZHU Guixia;MA Jiuling;QIAN Yugang;XIA Linlu;ZHOU Shiliang(Research Institute of Nuclear Power Operation,Wuhan 430223,China;School of Nuclear Science and Engineering,North China Electric Power University,Beijing 102206,China;Beijing Key Laboratory of Passive Nuclear Safety Technology,Beijing 102206,China)

机构地区：[1]核动力运行研究所,湖北武汉430223 [2]华北电力大学核科学与工程学院,北京102206 [3]非能动核能安全技术北京市重点实验室,北京102206

出　　处：《原子能科学技术》2021年第S01期112-121,共10页Atomic Energy Science and Technology

基　　金：中核集团青年英才计划科研项目资助(RINPO A180705);装备预研重点实验室基金项目资助(6142A07200311);中央高校基本科研业务费专项资金资助项目(2019MS022,2019MS036)。

摘　　要：稳压器水位控制系统(PLCS)承担一回路冷却剂装量调节功能,是核电厂分布式控制系统(DCS)的关键子系统之一。本文采用布尔逻辑驱动的马尔科夫(BDMP)模型构建PLCS动态可靠性模型,并提出了一种将BDMP转换为马尔科夫模型的方法,采用概率模型检测器PRISM对转换所得马尔科夫模型进行定量计算,得到了PLCS的不可用率及不同部件对不可用率的贡献值,然后采用KB3和YAMS进行建模与定量计算,将结果与PRISM结果进行比较,验证了本文方法的有效性。本文方法为核电厂稳压器水位控制系统设备维修的侧重提供了方向和参考。Pressurizer level control system(PLCS)is one of the key subsystems of distributed control system(DCS)in nuclear power plant,which is responsible for regulating the amount of primary coolant.In this paper,a Boolean logic-driven Markov(BDMP)model was used to construct a PLCS dynamic reliability model,and a method of converting BDMP to a Markov model was proposed.The probability model checker PRISM was used to analyze the converted Markov model.After quantitative analysis,the unavailability rate of PLCS and the contribution value of different components to the unavailability rate were obtained,and then KB3 and YAMS were used for modeling and quantitative analysis.The quantitative analysis results were compared with the PRISM results and the effectiveness of the method in this paper was verified.The method in this paper provides direction and reference for the maintenance of PLCS of the nuclear power plant.

关 键 词：BDMP模型 概率模型检测器 稳压器水位控制系统 马尔科夫模型 

分 类 号：TL364.5[核科学技术—核技术及应用]