-
公开(公告)号：CN107341646A
公开(公告)日：2017-11-10
申请号：CN201710396834.2
申请日：2017-05-31
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
CPC classification number: G06Q10/101 , G06F8/20 , G06Q10/103
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程序在语义上执行等价。本发明以“入度为零的顶点拓扑排序算法”为理论基础，基于形式化语言进行开发实现，通过对任意两个满足拓扑排序性质的程序在串行语义中执行是等价的证明，在形式化验证时考虑了并行语言在转化成串行语言过程中的所有情况，并分别对每种情况都做了证明，得到排序后的程序满足拓扑排序的性质，从而保证方案的正确性，提高整个软件系统的安全性和可靠性。
-
公开(公告)号：CN101996693B
公开(公告)日：2012-10-10
申请号：CN200910249910.2
申请日：2009-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G21D3/04
CPC classification number: Y02E30/40
Abstract: 本发明公开了一种用于反应堆保护系统的组态，所述用于反应堆保护系统的组态具有：总控软件CUTE、用于控制逻辑算法组态平台的PADE、用于图形显示组态的平台SAGE、用于下装和校验的软件工具DANCE、用于参数整定的软件工具PATENT、用来存储工程中已定义变量的数据库管理系统、控制逻辑算法组态平台的PADE将算法文件存入总控软件CUTE，总控软件CUTE通过CUTE工程的路径将文件发送给参数整定的软件工具PATENT，参数整定的软件工具PATENT与数据库管理系统交换获得参数变量，数据库管理系统将参数变量信息发送到图形显示组态的平台SAGE并通过屏幕直观显示，图形显示组态的平台SAGE同时还显示出总控软件CUTE通过CUTE工程的路径信息，完成组态后出总控软件CUTE将下装文件发送到下装和校验的软件工具DANCE并实施安装工作。
-
公开(公告)号：CN112530615B
公开(公告)日：2024-05-14
申请号：CN201910879224.7
申请日：2019-09-18
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明公开了一种适用于核电站设备的变量强制方法及系统，该方法包括：上位机接收用户输入的强制参数列表，启动通信模块；通信模块通过函数调用向控制器发送强制命令；控制器解析所述强制命令，获取所述强制参数列表，并将强制参数列表中的数据写入至强制数据记录区，替换掉强制数据记录区的原始数据；所述控制器设置在核电站设备中；通信模块读取当前强制数据记录区中的数据，将读取的数据返回至上位机；上位机接收通信模块返回的数据，判断返回的数据与强制参数列表中的数据是否一致，若是，确定强制过程成功。该方法实现降低人力成本。
-
Patent Agency Ranking
公开(公告)号：CN114553975B
公开(公告)日：2024-03-15
申请号：CN202011296890.7
申请日：2020-11-18
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种基于UDP网络的数据通信方法、装置和计算机设备。其中，基于UDP网络的数据通信方法包括：接收查询数据请求；根据查询数据请求获取查询数据；对查询数据利用预设压缩算法进行压缩处理；将压缩后的查询数据发送至请求方，以使请求方利用预设解压缩算法对压缩后的查询数据进行解压缩处理。本申请实施例的基于UDP网络的数据通信方法、装置和计算机设备，通过接收查询数据请求，并根据查询数据请求获取查询数据，以及对查询数据利用预设压缩算法进行压缩处理，然后将压缩后的查询数据发送至请求方，以使请求方利用预设解压缩算法对压缩后的查询数据进行解压缩处理，实现一次性传输较大数据，满足通信需求。
-
公开(公告)号：CN114691162A
公开(公告)日：2022-07-01
申请号：CN202011584983.X
申请日：2020-12-28
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种组态软件数据结构升级方法、装置和计算机设备。其中，组态软件数据结构升级方法包括：加载组态工程的配置文件，并从配置文件中获取数据类型信息；将数据类型信息实例化为内存对象；判断本地数据中的数据类型是否与内存对象的数据类型一致，本地数据为组态工程预先存储在本地的数据文件；如果本地数据中的数据类型与内存对象的数据类型一致，则进一步判断每个数据类型下的数据结构是否与内存对象的数据类型下的数据结构是否一致；如果每个数据类型下的数据结构与内存对象的数据类型下的数据结构不一致，则根据配置文件更新升级数据结构。
-
公开(公告)号：CN114690713A
公开(公告)日：2022-07-01
申请号：CN202011604505.0
申请日：2020-12-30
Applicant: 北京广利核系统工程有限公司
IPC: G05B19/418
Abstract: 本申请提供了一种数据处理装置及方法、操作员站、电子设备和存储介质，包括交互单元和处理单元，交互单元用于展示交互界面，交互单元还用于响应于用户依据交互界面输入的变量表达式编辑指令，控制交互界面展示预设的变量表达式编辑窗口，响应于用户点击变量表达式编辑窗口中包括的运算符选择组件和变量选择组件，生成第一表达式。处理单元用于，获取第一表达式中包含的变量对应的数值，将变量替换为数值得到第二表达式，根据第二表达式对应的数值结果执行预设指令。本申请提供的方案，表达式是通过人机交互的方式生成的，无需启动脚本引擎即可得到第二表达式的数值结果，可避免频繁启动脚本引擎对表达式进行计算而导致占用系统运行资源的问题。
-
公开(公告)号：CN111401028A
公开(公告)日：2020-07-10
申请号：CN202010195255.3
申请日：2020-03-19
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种核电站RPS软件版本的自动化比较方法及装置，属于工控软件组态技术领域，解决了现有的方法比较效率低且准确度差的问题。获得待比较的两个不同版本的工程文件；分别解析两个所述工程文件，得到各自对应的工程信息，所述工程信息包括设备组态信息、算法组态信息、变量组态信息和画面组态信息；分别比较所述设备组态信息、算法组态信息、变量组态信息和画面组态信息是否对应一致，根据比较结果生成报告并输出至相应的位置。提高了不同版本工程文件之间的比较效率及准确度。
-
公开(公告)号：CN114547828B
公开(公告)日：2025-04-18
申请号：CN202011294086.5
申请日：2020-11-18
Applicant: 北京广利核系统工程有限公司
IPC: G06F30/20 , G06F111/10 , G06F113/08 , G06F119/08
Abstract: 本申请公开了一种热交换率计算方法、装置和计算机设备。其中，热交换率计算方法包括：获取水泵试验的运行模式，运行模式包括夏季双换热器模式、夏季单换热器模式、冬季双换热器模式和冬季单换热器模式；根据运行模式确定水泵的试验参数；获取与试验参数对应的水泵的试验数据；根据试验数据计算出水泵的热交换率。本申请实施例的热交换率计算方法、装置和计算机设备，通过获取水泵试验的运行模式，并根据运行模式确定水泵的试验参数，以及获取与试验参数对应的水泵的试验数据，然后根据试验数据计算出水泵的热交换率，实现实验参数与运行模式的自动适配，自动计算出热交换率，避免人工操作对试验的影响，提高试验效率。
-
-
-
-
-
-
-
-
-
Search Results
48
records
(took 0.053 seconds)
