【摘要】 蒸汽发生器水位控制系统是核电厂数字化仪控系统最重要的子系统之一,其平稳运行对于核电厂运行安全至关重要。该控制系统包含的部件较多,部件一般可短时间修复,且处理器、电源具有热备,电动主给水泵具有冷备。因此,其可靠性模型要考虑多个设备的修复,热/冷备,备用互投等复杂的相关性或时序。对其进行可靠性分析需要使用详细的动态模型,以及支持大型模型构建的可靠性建模工具。针对上述需求,采用概率模型检测器PRISM对蒸汽发生器水位控制系统进行可靠性定量分析。建立了核电厂蒸汽发生器水位控制系统的马尔可夫模型,并计算了系统的不可用率,分析了对系统不可用率贡献高的故障部件。提出并对比了两种系统可靠性设计方案。更多还原

【Abstract】 Steam generator water level control system is one of the most important subsystems of digital instrument and control system in nuclear power plant.Its smooth operation is very important for the safety of nuclear power plant operation.The control system contains many parts,which can be repaired in a short time.The processor and power supply have hot standby,and the motor-driven main feedwater pump has cold standby.Therefore,the reliability model should take into account the complex correlation or timing of repair,hot/cold standby,backup mutual investment and so on.For reliability analysis,detailed dynamic models and reliability modeling tools supporting large-scale model construction are needed.To meet the above requirements,the probabilistic model checker PRISM is used to quantitatively analyze the reliability of the water level control system of steam generator.The Markov model of water level control system of steam generator in nuclear power plant is established,and the unavailability of the system is calculated,and the failure components which contribute to the unavailability of the system are analyzed.Two schemes to improve the reliability of the system are proposed,and the differences between the two schemes are compared.更多还原