公开(公告)号：CN117032109A

公开(公告)日：2023-11-10

申请号：CN202310997897.9

申请日：2023-08-09

Applicant: 浙江中控技术股份有限公司

Inventor： 钟世平 ,  张立飞 ,  曹钲晨 ,  黄旭 ,  吴志祥

IPC: G05B19/418

Abstract: 本发明提供了一种组态联锁逻辑的逆逻辑方法、装置、存储介质及电子设备，该方法为：获取自动化控制系统对应的为正逻辑的联锁逻辑图；识别联锁逻辑图中的逻辑段落；确定逻辑段落中的目标逻辑段落，目标逻辑段落为包含有输出位号的逻辑段落；建立与目标逻辑段落对应的逻辑节点树；按照逻辑节点树的层级进行逆向逻辑，以得到目标逻辑段落对应的反逻辑联锁组态。本方案中，从联锁逻辑图中识别逻辑段落，并确定逻辑段落中的目标逻辑段落。建立目标逻辑段落对应的逻辑节点树，按照逻辑节点树的层级进行逆向逻辑，得到目标逻辑段落对应的反逻辑联锁组态。不需要人工绘制反逻辑，降低组态成本和提高组态效率。

公开(公告)号：CN116257245A

公开(公告)日：2023-06-13

申请号：CN202211646172.7

申请日：2022-12-21

Applicant: 浙江中控技术股份有限公司

Inventor： 钟世平 ,  周秋芳 ,  张立飞 ,  钟心田 ,  黄旭

IPC: G06F8/41

Abstract: 本发明涉及工业自动控制技术领域，提供了一种基于flex与bison语法分析的多输出编译方法，包括：S1：建立词法分析文件和语法分析文件，并利用flex将词法分析文件生成词法分析器的源程序文件，利用bison将语法分析文件生成语法分析器的源程序文件；S2：采用词法分析器分析ST语言的词法，并基于分析出的词法采用语法分析器分析ST语言的语法，生成语法树；S3：编写指定语言的语法转译配置文件；S4：遍历语法树，依据语法转译配置文件生成对ST语言的转译文件。利用flex和bison工具，只需要编写ST语言语法描述文件，即可生成词法分析器与语法分析器。再利用其处理流程生成语法树，通过读取语法转译配置文件，将输入的语法树，转译为多种语言。

公开(公告)号：CN116224826A

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

申请号：CN202211608900.5

申请日：2022-12-14

Applicant: 浙江中控技术股份有限公司

Inventor： 钟世平 ,  钟心田 ,  张立飞 ,  曹钲晨 ,  黄旭

IPC: G05B17/02

Abstract: 本申请公开了一种控制逻辑的仿真方法及系统、装置、非易失性存储介质。其中，该方法包括：接收控制逻辑程序数据集，其中，控制逻辑程序数据集包括：位号表和控制逻辑程序集，控制逻辑程序集包括：工程块信息、工程块之间的连接关系，工程块包括：位号和功能块；确定控制逻辑程序集对应的高级编程语言数据结构文本；将控制逻辑程序集对应的高级编程语言数据结构文本转换为目标程序，根据目标程序确定待仿真的控制逻辑的仿真结果。本申请解决了由于无法针对控制逻辑程序中的特定程序段进行仿真造成的对控制逻辑程序中的问题进行排查的效率较低的技术问题。