公开(公告)号：CN111414440B

公开(公告)日：2023-08-08

申请号：CN202010195050.5

申请日：2020-03-19

Applicant: 北京广利核系统工程有限公司

Inventor： 周良 ,  杜乔瑞 ,  张亚栋 ,  张磊 ,  张冬伟 ,  任保华 ,  杨晨 ,  杨利 ,  胡加永 ,  刘邦信 ,  李静霞

IPC: G06F16/28 ,  G06F16/245 ,  G06Q10/20 ,  G06Q50/06

Abstract: 本发明涉及一种利用数据流同构验证控制系统算法组态图的方法及系统，属于软件技术领域，解决了现有的方法执行效率低和验证质量差等问题。分别对功能图和算法组态图进行算法组态信息辨识，获得功能图信息和算法组态图信息；根据所述功能图信息和算法组态图信息，分别生成功能图信息表和算法组态图信息表，所述功能图信息表和算法组态图信息表均包括点信息、块信息和数据流信息；根据V&V验证库规则验证功能图信息表和算法组态图信息表中的所述点信息、块信息和数据流信息是否分别对应一致；若一致，则正确；若不一致，则错误。提高了执行效率及验证质量，保证了控制系统后期运行的安全性。

公开(公告)号：CN111414440A

公开(公告)日：2020-07-14

申请号：CN202010195050.5

申请日：2020-03-19

Applicant: 北京广利核系统工程有限公司

Inventor： 周良 ,  杜乔瑞 ,  张亚栋 ,  张磊 ,  张冬伟 ,  任保华 ,  杨晨 ,  杨利 ,  胡加永 ,  刘邦信 ,  李静霞

IPC: G06F16/28 ,  G06F16/245 ,  G06Q10/00 ,  G06Q50/06

Abstract: 本发明涉及一种利用数据流同构验证控制系统算法组态图的方法及系统，属于软件技术领域，解决了现有的方法执行效率低和验证质量差等问题。分别对功能图和算法组态图进行算法组态信息辨识，获得功能图信息和算法组态图信息；根据所述功能图信息和算法组态图信息，分别生成功能图信息表和算法组态图信息表，所述功能图信息表和算法组态图信息表均包括点信息、块信息和数据流信息；根据V&V验证库规则验证功能图信息表和算法组态图信息表中的所述点信息、块信息和数据流信息是否分别对应一致；若一致，则正确；若不一致，则错误。提高了执行效率及验证质量，保证了控制系统后期运行的安全性。

公开(公告)号：CN109144515A

公开(公告)日：2019-01-04

申请号：CN201810720713.3

申请日：2018-06-29

Applicant: 北京广利核系统工程有限公司 ,  中国广核集团有限公司

Inventor： 张保乾 ,  任保华 ,  彭立 ,  杨晨 ,  马腾飞 ,  刘志新 ,  马建新

IPC: G06F8/41 ,  G06F9/455

CPC classification number: G06F8/41 ,  G06F9/455

Abstract: 本发明属于DCS图形化算法组态的技术领域，为了解决现有中通过调用GDB/MI接口进行离线仿技术方案中，存在的系统性能较低的技术问题，本发明提供一种DCS图形化算法组态的离线仿真方法和装置，通过自封装仿真工具插件，实现数据访问和算法控制离线仿真功能；所述离线仿真方法包括：步骤一，将图形化算法组态中对应的图形算法，编译为算法程序和算法偏移程序；步骤二，使用离线仿真插件将所述算法程序和所述算法偏移程序加载到内存，并利用所述算法程序和所述算法偏移程序实现仿真控制和变量数据的操作。

公开(公告)号：CN104268074A

公开(公告)日：2015-01-07

申请号：CN201410453733.0

申请日：2014-09-05

Applicant: 北京广利核系统工程有限公司 ,  中国广核集团有限公司

Inventor： 任保华 ,  杨晨 ,  齐敏 ,  张浩 ,  张智慧

IPC: G06F11/36 ,  G06F9/48

Abstract: 本发明提供了一种基于DCS系统应用软件在线调试方法，包括可运行应用软件的嵌入式设备，和与嵌入式设备互相连接的计算机设备，嵌入式设备还包括数据通讯模块和应用软件数据区，嵌入式设备通过数据通讯模块与计算机设备实现数据交互；应用软件数据区包括与应用软件的局部变量一一对应的全局变量，计算机设备通过全局变量实现与应用软件数据内容的读写访问，解决了核电等高安全要求领域中，对运行于无操作系统的嵌入式设备的应用软件的调试，并且，本发明的调试方法支持对编译后的应用软件调试，支持嵌入式设备现场在线调试。

公开(公告)号：CN112530615B

公开(公告)日：2024-05-14

申请号：CN201910879224.7

申请日：2019-09-18

Applicant: 北京广利核系统工程有限公司

Inventor： 石桂连 ,  刘志新 ,  任保华 ,  马腾飞 ,  张保乾 ,  杨晨 ,  闫鑫

IPC: G21D3/00 ,  G21D3/08

Abstract: 本发明公开了一种适用于核电站设备的变量强制方法及系统，该方法包括：上位机接收用户输入的强制参数列表，启动通信模块；通信模块通过函数调用向控制器发送强制命令；控制器解析所述强制命令，获取所述强制参数列表，并将强制参数列表中的数据写入至强制数据记录区，替换掉强制数据记录区的原始数据；所述控制器设置在核电站设备中；通信模块读取当前强制数据记录区中的数据，将读取的数据返回至上位机；上位机接收通信模块返回的数据，判断返回的数据与强制参数列表中的数据是否一致，若是，确定强制过程成功。该方法实现降低人力成本。

公开(公告)号：CN111401028A

公开(公告)日：2020-07-10

申请号：CN202010195255.3

申请日：2020-03-19

Applicant: 北京广利核系统工程有限公司

Inventor： 谷伟卿 ,  杨晨 ,  彭立 ,  任保华 ,  谢逸钦 ,  张春雷 ,  王宏星 ,  张保乾 ,  张智慧

IPC: G06F40/194 ,  G06F16/21 ,  G06F16/22 ,  G06F16/16 ,  G06Q10/06 ,  G06Q50/06

Abstract: 本发明涉及一种核电站RPS软件版本的自动化比较方法及装置，属于工控软件组态技术领域，解决了现有的方法比较效率低且准确度差的问题。获得待比较的两个不同版本的工程文件；分别解析两个所述工程文件，得到各自对应的工程信息，所述工程信息包括设备组态信息、算法组态信息、变量组态信息和画面组态信息；分别比较所述设备组态信息、算法组态信息、变量组态信息和画面组态信息是否对应一致，根据比较结果生成报告并输出至相应的位置。提高了不同版本工程文件之间的比较效率及准确度。