%0 Journal Article
%T 高温气冷堆核电站计算机化规程流程的建模和验证<br>Modeling and verification of computerized procedures in high temperature gas-cooled reactor nuclear power plants
%A 徐晓娜
%A 黄晓津
%J 清华大学学报（自然科学版）
%D 2018
%R 10.16511/j.cnki.qhdxxb.2018.26.033
%X 为了满足高温气冷堆核电站计算机化规程流程验证的需要，针对高温气冷堆核电站"多个核蒸汽供应系统模块带一台汽轮机"的结构和运行特点，该文利用改进的着色Petri网建模方法，建立了常规规程执行流程模型和有中断的变体规程执行流程模型，并基于模型对计算机化规程执行进行了形式化验证。对一个典型的高温气冷堆核电站异常事件处理规程的案例进行分析，结果表明：基于改进着色Petri网的规程建模和验证方法有效，为高温气冷堆核电站计算机化运行规程系统的研制提供了重要的理论依据。<br>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.
%K 高温气冷堆核电站
%K 计算机化规程建模和验证
%K 改进着色Petri网
%K &lt
%K br&gt
%K high temperature gas-cooled reactor (HTGR)
%K modeling and verification of computerized procedures
%K improved colored Petri net
%U http://jst.tsinghuajournals.com/CN/Y2018/V58/I7/658