标题：核电DCS控制逻辑的离线重构及应用
作者：杨亮 卞秀石 邓基杰 周维长
作者单位：中广核台山核电合营有限公司，广东 台山 529228
关键字：DCS；离线构建；有向图；缩点；拓扑排序
摘要：为解决核电DCS控制逻辑组态软件环境封闭无法扩展的问题，以机组设计文件或现场数据备份为数据源，采用有向图模型对DCS控制逻辑进行离线重建，定义了边的权值和结点比较规则，对有向有环的DCS控制逻辑进行强连通分量计算和缩点操作转换为有向无环图，再基于结点比较规则进行确定性拓扑排序，得到表征结点拓扑结构的唯一序列，设计关系数据库存储有向图各属性得到离线DCS控制逻辑数据库。并将离线数据库应用于CEPR机组DCS离线逻辑查询和自动逻辑风险分析等场景，使用效果表明，重构后的离线数据库能够完整复现出机组封闭DCS控制逻辑数据源的模块属性和详细拓扑结构关系，可为核电DCS控制逻辑相关的计算机辅助分析应用提供一种简单、开放和准确的数据源输入。