-
公开(公告)号：CN110460566A
公开(公告)日：2019-11-15
申请号：CN201910559775.5
申请日：2019-06-26
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于信息安全控制的技术领域，为了解决现有技术中DCS系统管理网中存在数据传输不安全的技术问题，提供一种基于令牌的工业网络数据防篡改方法和系统；所述方法包括：S1、将文件编译之后，通过加密算法形成令牌集合F1后，再将令牌集合F1上传至实时服务器；S2、实时服务器接收令牌集合F1，并判断令牌集合F1是否满足预定要求；当令牌集合F1满足要求后，将令牌集合F1保存到自身集合清单中，并通知工程师站令牌集合F1接收完毕；S3、工程师站将文件及该文件的令牌集合以数据包的形式发送给实时服务器，实时服务器接收文件及文件的令牌集合；S4、实时服务器判断文件及文件的令牌集合是否满足预定要求，如果满足，才会继续后续的文件保存。
-
公开(公告)号：CN109471613A
公开(公告)日：2019-03-15
申请号：CN201811114784.5
申请日：2018-09-25
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于核安全仪控系统的技术领域，为了解决现有技术的核电行业中核电行业中已知的图像组态实现方案存在的可视化、扩展性不足的技术问题，本发明提供一种核安全级应用的图形文件生成方法和系统；所述方法包括：S1、从用户组态的图形画面中识别出每种图元，并识别出所述每种图元的特性；所述每种图元特性分别包括静态属性和/或动态属性；S2、基于所述每种图元的静态属性和/或动态属性，定义所述每种图元对应的图形文件格式；S3、将用户组态的图形画面中每种图元对应图形文件格式，生成对应的总图形文件。
-
公开(公告)号：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程序在语义上执行等价。本发明以“入度为零的顶点拓扑排序算法”为理论基础，基于形式化语言进行开发实现，通过对任意两个满足拓扑排序性质的程序在串行语义中执行是等价的证明，在形式化验证时考虑了并行语言在转化成串行语言过程中的所有情况，并分别对每种情况都做了证明，得到排序后的程序满足拓扑排序的性质，从而保证方案的正确性，提高整个软件系统的安全性和可靠性。
-
Patent Agency Ranking
公开(公告)号：CN109144515B
公开(公告)日：2023-04-07
申请号：CN201810720713.3
申请日：2018-06-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于DCS图形化算法组态的技术领域，为了解决现有中通过调用GDB/MI接口进行离线仿技术方案中，存在的系统性能较低的技术问题，本发明提供一种DCS图形化算法组态的离线仿真方法和装置，通过自封装仿真工具插件，实现数据访问和算法控制离线仿真功能；所述离线仿真方法包括：步骤一，将图形化算法组态中对应的图形算法，编译为算法程序和算法偏移程序；步骤二，使用离线仿真插件将所述算法程序和所述算法偏移程序加载到内存，并利用所述算法程序和所述算法偏移程序实现仿真控制和变量数据的操作。
-
公开(公告)号：CN110244936B
公开(公告)日：2022-11-08
申请号：CN201910347952.3
申请日：2019-04-28
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F8/20
Abstract: 本发明属于组态软件的技术领域，为了解决现有技术中存在的将VISIO软件中流程图转换为组态软件过程中工作量大和人工笔误的技术问题，本发明提供一种用于支持VISIO流程图自动导入DCS算法组态软件的方法和装置，所述方法包括：基于VISIO流程图属性信息参数集和DCS算法组态软件中对应的算法信息，建立VISIO软件与所述DCS算法组态软件各模块之间映射关系的组态方法算法库；通过所述组态方法算法库自动识别所述理VISIO流程图中各种图形形状、图形内部的主体以及所述图形之间连接关系，并自动输出对应的、所述DCS算法组态软件能够识别的算法信息。因此，能够自动将VISIO软件中流程图转换为组态软件能够识别的文件格式，提高DCS算法组态软件的自动化程度。
-
公开(公告)号：CN108829051B
公开(公告)日：2021-03-16
申请号：CN201810547254.3
申请日：2018-05-31
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G05B19/418
Abstract: 本发明属于工业自动化控制的技术领域，提供了一种应用于核电站DCS雪崩工况的模拟方法和装置，所述方法包括：S1、从DCS中导出工程数据库，所述工程数据库中的I/O变量数据点，在DCS中可人工强制改变其输入/输出信号的数值，并且所述每个数据点含有多个数据点项；S2、对所述工程数据库中的数据点进行筛选，获取模拟雪崩工况的雪崩试验数据点项；S3、将所述模拟雪崩工况的雪崩试验数据点按照设计的格式进行存储；S4、将按照设计格式存储的雪崩试验数据点项结合定时器，通过DCS接口设备，定期传入DCS系统内部，强制改变雪崩试验数据点的取值，实现雪崩工况的自动模拟；因此，在雪崩工况模拟过程中，取消了单独的模拟底层设备信号产生装置，降低了测试成本。
-
公开(公告)号：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程序在语义上执行等价。本发明以“入度为零的顶点拓扑排序算法”为理论基础，基于形式化语言进行开发实现，通过对任意两个满足拓扑排序性质的程序在串行语义中执行是等价的证明，在形式化验证时考虑了并行语言在转化成串行语言过程中的所有情况，并分别对每种情况都做了证明，得到排序后的程序满足拓扑排序的性质，从而保证方案的正确性，提高整个软件系统的安全性和可靠性。
-
-
-
-
-
-
-
-
-
Search Results
44
records
(took 0.227 seconds)
