核电DCS控制逻辑的离线重构及应用

Offline Construction and Application of Nuclear Power DCS Control Logic

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

In order to solve the problem of the nuclear power plant’s DCS control logic configuration software dependent on the specific hardware and software and can not to extend.Use the DCS design file or plant backup data as data source,constructed the offline DCS control logic database using digraph model,defined the directed edge weight and node comparison rules,converted the direct graph to DAG by calculation the SCC and contracted it to a new virtual node,do deterministic topological sorting and obtain the nodes unique topological order,design relational database to store the directed graph to the offline DCS control logic database.This database has been applied to DCS offline logical analysis and computer assisted risk analysis.