摘要
反应堆冷却剂平均温度控制系统(RCATCS)是核电厂安全重要仪控系统之一,对保证核电厂的正常运行起着重要作用。采用布尔逻辑驱动的马尔科夫过程(Boolean logic Driven Markov Process,BDMP)构建RCATCS动态可靠性模型,并采用概率模型检测器PRISM对其进行定量分析,得到了RCATCS的不可用率及系统各部分对不可用率的贡献值。最后,通过对比KB3和YAMS的BDMP定量分析结果,验证了该方法的有效性。结果表明,定量分析的计算效率明显提高,为核电站RCATCS设备的维修侧重提供了参考和方向。
Reactor coolant average temperature control system(RCATCS)is one of the key subsystems of DCS in nuclear power plants,which is responsible for primary circuit temperate control and other safety-related functions.In this paper,Boolean logic driven Markov process(BDMP)is used to build the RCATCS dynamic reliability model,and probability model checker PRISM is adopted for BDMP model quantitative analysis.The unavailability of RCATCS and its subsystems were obtained.Finally,the BDMP modeling and analysis were carried out by KB3 and YAMS to verify the effectiveness of the proposed method.The results show that the proposed method is feasible,and the efficiency of quantitative analysis is significantly improved,which provides a new method and reference for quantitative analysis of DCS system in nuclear power plants.
作者
徐辛酉
张才科
夏林路
周世梁
Xu Xinyou;Zhang Caike;Xia Linlu;Zhou Shiliang(China Nation Nuclear Power Co.,Ltd.,Jiaxing 314300,China;China Nuclear Power Operation Technology Co.,Ltd.,Wuhan 430223,China;School of Nuclear Science and Engineering,North China Electric Power University,Beijing 102206,China)
出处
《电子技术应用》
2021年第S01期152-159,共8页
Application of Electronic Technique
