公开(公告)号：CN112487669A

公开(公告)日：2021-03-12

申请号：CN202011551715.8

申请日：2020-12-24

Applicant: 上海核工程研究设计院有限公司

Inventor： 林智勇 ,  李晖 ,  陆君林 ,  姚旭栋 ,  杨彦如 ,  李晓焱 ,  张赫男 ,  奚玮君 ,  王旭

IPC: G06F30/20 ,  G06F11/36 ,  G06F16/22

Abstract: 本发明的目的在于公开一种核电厂控制逻辑设计验证的系统及方法，包括客户端计算机、控制逻辑设计验证数据存储服务器、数据结构分解服务器及存储设计数据和要求规格数据的数据库；客户端计算机通过网络分别与控制逻辑设计验证数据存储服务器和数据结构分解服务器互相通讯连接，控制逻辑设计验证过程中的所有请求、动作由客户端计算机发送并执行；数据结构分解服务器与数据库互相通讯连接；与现有技术相比，可以根据不同的设计要求，将控制逻辑设计数据按照相应的设计验证方法进行分解并执行不同的设计验证流程，通过计算机自动判别，实现自动化、批量化、可视化的设计验证功能，显著提高了控制逻辑设计验证效率和质量，实现本发明的目的。