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

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

  • 摘要: 稳压器水位控制系统(PLCS)承担一回路冷却剂装量调节功能,是核电厂分布式控制系统(DCS)的关键子系统之一。本文采用布尔逻辑驱动的马尔科夫(BDMP)模型构建PLCS动态可靠性模型,并提出了一种将BDMP转换为马尔科夫模型的方法,采用概率模型检测器PRISM对转换所得马尔科夫模型进行定量计算,得到了PLCS的不可用率及不同部件对不可用率的贡献值,然后采用KB3和YAMS进行建模与定量计算,将结果与PRISM结果进行比较,验证了本文方法的有效性。本文方法为核电厂稳压器水位控制系统设备维修的侧重提供了方向和参考。

     

    Abstract: 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.

     

/

返回文章
返回