Modeling and verification of computerized procedures in high temperature gas-cooled reactor nuclear power plants
XU Xiaona, HUANG Xiaojin
Institute of Nuclear and New Energy Technology, Tsinghua University, Collaborative Innovation Center of Advanced Nuclear Energy Technology, Key Laboratory of Advanced Reactor Engineering and Safety of Ministry of Education, Beijing 100084, China
Abstract：The computerized procedures in high temperature gas-cooled reactor(HTGR)nuclear power plants need to be carefully monitored to efficiently control the operating characteristics of multiple nuclear steam supply system modules with one steam turbine. A normal execution process model and an interrupted variant execution process model were developed for HTGR power plants using the improved colored Petri net modeling method. The models were shown to accurately monior the execution of the computerized procedures. An analysis of a typical abnormal operating procedure for an HTGR plant shows that the modeling and verification based on the colored Petri net is effective and provides a theoretical foundation for the development of HTGR control systems.
徐晓娜, 黄晓津. 高温气冷堆核电站计算机化规程流程的建模和验证[J]. 清华大学学报（自然科学版）, 2018, 58(7): 658-663.
XU Xiaona, HUANG Xiaojin. Modeling and verification of computerized procedures in high temperature gas-cooled reactor nuclear power plants. Journal of Tsinghua University(Science and Technology), 2018, 58(7): 658-663.
[1] 张源芳. 计算机化的核电厂操纵员支持系统[J]. 核动力工程, 1997, 18(2):163-169.ZHANG Y F. Computerized operator support system for nuclear power plant[J]. Nuclear Power Engineering, 1997, 18(2):163-169.(in Chinese) [2] 方舟. 人因工程在核电厂计算机化运行规程系统中的应用[J]. 现代计算机, 2013(22):57-61.FANG Z. Application of human factors engineering to computerized procedure operating system in nuclear power plants[J]. Modern Computer, 2013(22):57-61.(in Chinese) [3] 文芳.计算机化规程系统在AP1000中的应用[J]. 中国核电, 2012, 5(1):68-73.WEN F. Application of computerized procedure system for AP1000[J]. China Nuclear Power, 2012, 5(1):68-73.(in Chinese) [4] 国家能源局. 核电厂计算机化运行规程系统设计准则:NB/T 20267-2014[S]. 北京:新华出版社, 2014.National Energy Administration. Design criteria for computer-based procedure system in nuclear power plants:NB/T 20267-2014[S]. Beijing:Xinhua Publishing House, 2014.(in Chinese) [5] Electric Power Research Institute. Computerized procedures design and implementation guidance for procedures, associated automation and soft controls:EPRI 1015313[S]. Palo Alto:Electric Power Research Institute, 2010. [6] JUNG Y, SHIN Y, PARK I. An incremental objective achievement model in computerized procedure execution[J]. Reliability Engineering & System Safety, 2000, 70(2):185-195. [7] JUNG Y, SEONG P, KIM M. A model for computerized procedures based on flowcharts and success logic trees[J]. Reliability Engineering & System Safety, 2004, 83(3):351-362. [8] 清华大学核能技术设计研究院. HTR-10运行规程异常事件处理规程[M]. 北京:清华大学核能技术设计研究院, 2001.Institute of Nuclear Energy Technology, Tsinghua University. Abnormal events operating procedures of HTR-10[M]. Beijing:Institute of Nuclear Energy Technology, Tsinghua University, 2001. (in Chinese) [9] ZHANG Z Y, DONG Y J, LI F, et al. The Shandong Shidao Bay 200 MWe high-temperature Gas-cooled reactor pebble-bed module (HTR-PM) demonstration power plant:An engineering and technological innovation[J]. Engineering, 2016, 2(1):112-118. [10] 袁崇义. Petri网原理[M]. 北京:电子工业出版社, 1998.YUAN C Y. Petri nets principles[M]. Beijing:Publishing House of Electronics Industry, 1998.(in Chinese) [11] LIU H C, LIN Q L, REN M L. Fault diagnosis and cause analysis using fuzzy evidential reasoning approach and dynamic adaptive fuzzy Petri nets[J]. Computers & Industrial Engineering, 2013, 66(4):189-195. [12] AIZED T. Modelling and analysis of multiple cluster tools system with random failures using colored Petri net[J]. The International Journal of Advanced Manufacturing Technology, 2010, 50(9):897-906. [13] 杨义繁. 基于着色Petri网的HDFS数据一致性建模与分析[D]. 北京:清华大学, 2014.YANG Y F. HDFS data consistency modelling and analysis based on colored Petri net[D]. Beijing:Tsinghua University, 2014.(in Chinese) [14] 吴哲辉. Petri网导论[M]. 北京:机械工业出版社, 2006.WU Z H. Petri nets introduction[M]. Beijing:China Machine Press, 2006.(in Chinese) [15] 清华大学核能技术设计研究院. HTR-10运行规程正常运行规程[M]. 北京:清华大学核能技术设计研究院, 2001.Institute of Nuclear Energy Technology, Tsinghua University. Normal operating procedures of HTR-10[M]. Beijing:Institute of Nuclear Energy Technology, Tsinghua University, 2001.(in Chinese) [16] 原菊梅. 复杂系统可靠性Petri网建模及其智能分析方法[M]. 北京:国防工业出版社, 2011.YUAN J M. Petri net modeling and intelligent analysis method for complex system[M]. Beijing:National Defend Industry Press, 2011.(in Chinese)
2018, Vol. 58 
