-
公开(公告)号：CN111401028B
公开(公告)日：2023-12-26
申请号：CN202010195255.3
申请日：2020-03-19
Applicant: 北京广利核系统工程有限公司
IPC: G06F40/194 , G06F16/21 , G06F16/22 , G06F16/16 , G06Q10/063 , G06Q50/06
Abstract: 本发明涉及一种核电站RPS软件版本的自动化比较方法及装置，属于工控软件组态技术领域，解决了现有的方法比较效率低且准确度差的问题。获得待比较的两个不同版本的工程文件；分别解析两个所述工程文件，得到各自对应的工程信息，所述工程信息包括设备组态信息、算法组态信息、变量组态信息和画面组态信息；分别比较所述设备组态信息、算法组态信息、变量组态信息和画面组态信息是否对应一致，根据比较结果生成报告并输出至相应的位置。提高了不同版本工程文件之间的比较效率及准确度。
-
公开(公告)号：CN112530615A
公开(公告)日：2021-03-19
申请号：CN201910879224.7
申请日：2019-09-18
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明公开了一种适用于核电站设备的变量强制方法及系统，该方法包括：上位机接收用户输入的强制参数列表，启动通信模块；通信模块通过函数调用向控制器发送强制命令；控制器解析所述强制命令，获取所述强制参数列表，并将强制参数列表中的数据写入至强制数据记录区，替换掉强制数据记录区的原始数据；所述控制器设置在核电站设备中；通信模块读取当前强制数据记录区中的数据，将读取的数据返回至上位机；上位机接收通信模块返回的数据，判断返回的数据与强制参数列表中的数据是否一致，若是，确定强制过程成功。该方法实现降低人力成本。
-
公开(公告)号：CN106933566A
公开(公告)日：2017-07-07
申请号：CN201710060383.5
申请日：2017-01-24
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F9/44
Abstract: 本发明实施例提供一种图形组态语言转换方法及装置。所述方法包括：获取图形组态源语言，图形组态源语言包括M个图形组态对象的信息，以及M个图形组态对象之间的关系的信息；根据M个图形组态对象之间的关系的信息确定M个图形组态对象之间的层次关系；按照层次关系，依次确定对应的N个图形组态语言层以及每个图形组态语言层对应的图形组态对象；依次对N个图形组态语言层各自对应的图形组态对象进行语言转换，并对转换过程及结果进行正确性验证；若每个图形组态语言层的转换过程及结果均通过正确性验证，则根据转换结果将图形组态源语言翻译为目标语言的程序代码。本发明中，保证了图形组态软件代码生成工具本身的正确性以及生成的代码的质量。
-
公开(公告)号：CN103646194A
公开(公告)日：2014-03-19
申请号：CN201310631729.4
申请日：2013-11-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
CPC classification number: G06F11/3608
Abstract: 本发明公开一种基于形式化验证的同步数据流程序的可信排序方法，包括Lustre并行程序和由Lustre并行程序排序后得到的串行C程序，通过对任意两个满足拓扑排序的Lustre程序，证明其拓扑排序前的Lustre程序和拓扑排序后的Lustre程序执行语义等价，得到排序后的C程序与排序前的Lustre程序在语义上执行等价。本发明以“入度为零的顶点拓扑排序算法”为理论基础，基于形式化语言进行开发实现，通过对任意两个满足拓扑排序性质的程序在串行语义中执行是等价的证明，在形式化验证时考虑了并行语言在转化成串行语言过程中的所有情况，并分别对每种情况都做了证明，得到排序后的程序满足拓扑排序的性质，从而保证方案的正确性，提高整个软件系统的安全性和可靠性。
-
公开(公告)号：CN114647414A
公开(公告)日：2022-06-21
申请号：CN202011510721.9
申请日：2020-12-18
Applicant: 北京广利核系统工程有限公司
IPC: G06F8/41
Abstract: 本申请公开了一种应用软件增量编译方法、装置和计算机设备。其中，应用软件增量编译方法包括：接收增量编译的操作请求；判断操作请求是否满足增量编译条件；如果满足增量编译条件，则构建变量存储信息表；基于变量存储信息表对应用软件进行增量编译。本申请实施例的应用软件增量编译方法、装置和计算机设备，通过接收增量编译的操作请求，并在满足增量编译条件时，构建变量存储信息表，以及基于变量存储信息表对应用软件进行增量编译，对增量编译次数无限制，无新增物理文件，对系统性能无影响。
-
Patent Agency Ranking
公开(公告)号：CN109144515B
公开(公告)日：2023-04-07
申请号：CN201810720713.3
申请日：2018-06-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于DCS图形化算法组态的技术领域，为了解决现有中通过调用GDB/MI接口进行离线仿技术方案中，存在的系统性能较低的技术问题，本发明提供一种DCS图形化算法组态的离线仿真方法和装置，通过自封装仿真工具插件，实现数据访问和算法控制离线仿真功能；所述离线仿真方法包括：步骤一，将图形化算法组态中对应的图形算法，编译为算法程序和算法偏移程序；步骤二，使用离线仿真插件将所述算法程序和所述算法偏移程序加载到内存，并利用所述算法程序和所述算法偏移程序实现仿真控制和变量数据的操作。
-
公开(公告)号：CN112579065A
公开(公告)日：2021-03-30
申请号：CN201910924156.1
申请日：2019-09-27
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明公开了一种将图形组态画面生成跨平台代码的方法及系统，该方法包括：建立图形组态画面；将图形组态画面保存为安全图形标记语言SAML格式的图形模型文件；将所述图形模型文件转化成用于绘制图形的标准C代码。该方法实现生成的代码具有跨平台性，能够用于多种嵌入式平台。
-
公开(公告)号：CN104268074B
公开(公告)日：2017-09-01
申请号：CN201410453733.0
申请日：2014-09-05
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明提供了一种基于DCS系统应用软件在线调试方法，包括可运行应用软件的嵌入式设备，和与嵌入式设备互相连接的计算机设备，嵌入式设备还包括数据通讯模块和应用软件数据区，嵌入式设备通过数据通讯模块与计算机设备实现数据交互；应用软件数据区包括与应用软件的局部变量一一对应的全局变量，计算机设备通过全局变量实现与应用软件数据内容的读写访问，解决了核电等高安全要求领域中，对运行于无操作系统的嵌入式设备的应用软件的调试，并且，本发明的调试方法支持对编译后的应用软件调试，支持嵌入式设备现场在线调试。
-
公开(公告)号：CN103646194B
公开(公告)日：2016-04-06
申请号：CN201310631729.4
申请日：2013-11-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明公开一种基于形式化验证的同步数据流程序的可信排序方法，包括Lustre并行程序和由Lustre并行程序排序后得到的串行C程序，通过对任意两个满足拓扑排序的Lustre程序，证明其拓扑排序前的Lustre程序和拓扑排序后的Lustre程序执行语义等价，得到排序后的C程序与排序前的Lustre程序在语义上执行等价。本发明以“入度为零的顶点拓扑排序算法”为理论基础，基于形式化语言进行开发实现，通过对任意两个满足拓扑排序性质的程序在串行语义中执行是等价的证明，在形式化验证时考虑了并行语言在转化成串行语言过程中的所有情况，并分别对每种情况都做了证明，得到排序后的程序满足拓扑排序的性质，从而保证方案的正确性，提高整个软件系统的安全性和可靠性。
-
公开(公告)号：CN117408241A
公开(公告)日：2024-01-16
申请号：CN202311382359.5
申请日：2023-10-24
Applicant: 北京广利核系统工程有限公司
IPC: G06F40/194 , G06F40/151 , G06F8/71 , G06F8/41
Abstract: 本申请提供一种数据比较方法及装置，在从第一工程文件路径处获取第一工程文件数据以及从第二工程文件路径处获取第二工程文件数据后，按照工程行业标准格式将第一工程文件数据转换成第一标准数据、将第二工程文件数据转换成第二标准数据，并对第一标准数据和第二标准数据中的比较内容进行比较，以得到第一标准数据和第二标准数据之间的比较结果，以预设展示方式显示比较结果。其中比较内容程序组织单元、变量、自定义库、任务和数据类型，比较结果按照比较内容的类型分类记录、且记录第一标准数据和第二标准数据之间差异内容的详细描述。
-
-
-
-
-
-
-
-
-
Search Results
16
records
(took 0.035 seconds)
