高温气冷堆核电站计算机化规程流程的建模和验证

摘要：

为了满足高温气冷堆核电站计算机化规程流程验证的需要,针对高温气冷堆核电站“多个核蒸汽供应系统模块带一台汽轮机”的结构和运行特点,该文利用改进的着色Petri网建模方法,建立了常规规程执行流程模型和有中断的变体规程执行流程模型,并基于模型对计算机化规程执行进行了形式化验证.对一个典型的高温气冷堆核电站异常事件处理规程的案例进行分析,结果表明:基于改进着色Petri网的规程建模和验证方法有效,为高温气冷堆核电站计算机化运行规程系统的研制提供了重要的理论依据.

关键词：高温气冷堆核电站、计算机化规程建模和验证、改进着色Petri网

所属期刊栏目：58

分类号：TL424;TL38+2(各种核反应堆、核电厂)

资助基金：国家重大专项经费资助项目ZX06901

在线出版日期：2018-09-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：658-663