|
|
- 2018
高温气冷堆核电站计算机化规程流程的建模和验证
|
Abstract:
为了满足高温气冷堆核电站计算机化规程流程验证的需要，针对高温气冷堆核电站"多个核蒸汽供应系统模块带一台汽轮机"的结构和运行特点，该文利用改进的着色Petri网建模方法，建立了常规规程执行流程模型和有中断的变体规程执行流程模型，并基于模型对计算机化规程执行进行了形式化验证。对一个典型的高温气冷堆核电站异常事件处理规程的案例进行分析，结果表明：基于改进着色Petri网的规程建模和验证方法有效，为高温气冷堆核电站计算机化运行规程系统的研制提供了重要的理论依据。
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.
| [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] | 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. |
| [4] | 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. |
| [5] | 清华大学核能技术设计研究院. 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) |
| [6] | 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. |
| [7] | 清华大学核能技术设计研究院. 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) |
| [8] | 文芳.计算机化规程系统在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) |
| [9] | 国家能源局. 核电厂计算机化运行规程系统设计准则: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) |
| [10] | 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. |
| [11] | 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. |
| [12] | 袁崇义. Petri网原理[M]. 北京:电子工业出版社, 1998.YUAN C Y. Petri nets principles[M]. Beijing:Publishing House of Electronics Industry, 1998.(in Chinese) |
| [13] | 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. |
| [14] | 杨义繁. 基于着色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) |
| [15] | 吴哲辉. Petri网导论[M]. 北京:机械工业出版社, 2006.WU Z H. Petri nets introduction[M]. Beijing:China Machine Press, 2006.(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) |
