基于AOV图存储PLC梯形图的方法

提出一种直接以AOV(Activity On Vertex)图存储PLC(Programmable Logic Controller)梯形图的方法。编辑梯形图的同时,修改AOV图,然后根据AOV图的拓扑结构更新梯形图图符坐标,最后进行绘制显示。该方法无需进行梯形图向AOV图的转换,通过操作规则的约束来替代语法的检查,使梯形图的编辑更加便捷和规范。详细介绍了AOV图的编辑过程和坐标的更新算法。对AOV图向二叉树的转换算法进行修改,使其能适应于所有AOV图,并给出了相应的实例。     

基于AOV图及因果图的梯形图与语句表互换算法

结合AOV图与因果图提出了一种新的梯形图与语句表双向转换算法。一方面,将梯形图转化为AOV图,并利用AOV图建立因果图,然后遍历因果图的节点生成PLC所能识别的语句表;另一方面,将语句表转化为因果图,基于因果图生成梯形图。经过实际编程证明,该算法简洁,实用性及通用性好,并成功应用于某国产化PLC开发中。     

PLC梯形图向结构文本转换的算法及实现

通过分析IEC61131-3标准规定的PLC梯形图语言及结构文本语言,提出对梯形图不同图元分类处理实现梯形图向结构文本转换的算法.该算法引入了虚节点,通过对虚节点的合并建立AOV图,按AOV图拓扑排序的顺序对不同类型节点分类处理,实现梯形图向结构文本的转换,并给出转换实例.该算法具有通用性,能转换任何复杂逻辑梯形图,已成功应用到高档数控国家工程研究中心的蓝天系列数控系统.     

嵌入式PLC中梯形图到AOV图的映射

阐述了将梯形图映射为AOV图链的思想与实现算法。视梯形图图符为顶点，图符与图符间的拓扑连接为弧，将梯形图划分为一系列独立的AOV图。关键技术在于在采用双向链表描述梯形图的基础上，对梯形图进行二次抽象。首先依据图的拓扑关系划分双向链表，得到一系列独立的功能块，再将功能块映射为AOV图，从而完成整个过程。所提出的依据图的拓扑关系划分链表的思想，保持了图结构的完整性，将梯形图化整为零处理，简化了程序设计，为从图的角度研究梯形图向语句表的转化打下基础。     

基于串并联归并的PLC梯形图向指令表转换算法

PLC梯形图转换为指令表通常分为三个阶段,即梯形图映射为AOV图、AOV图转换为二叉树、二叉树转换为指令表。其中AOV图转换为二叉树最为关键也最复杂,提出了一种利用串并联归并的思想将AOV图转换为二叉树的方法,直观易懂并容易实现。给出了一个转换实例,并介绍了算法思想及其实现步骤。     

PLC梯形图转化为多操作数逻辑指令的设计与实现

针对每一个操作数有一个操作码的PLC逻辑指令,设计了一个操作码可带多个操作数,操作数附加“辅助符号位”的新型PLC逻辑指令,避免在执行逻辑指令过程中有多少个操作数需要译码多少次的状况;研究这种新指令语句的数据结构和梯形图的数据结构,应用这两种数据结构研究梯形图转化成新指令表的转化算法;对梯形图采用按梯级顺序递归扫描方法构造二叉树结构,然后对二叉树进行后序遍历得到一个中间结果指令表,对中间结果指令表经过逻辑关系的分析与同类型逻辑关系操作数的合并处理得到最终的指令表;通过对串并联结构梯形图的转换测试,其新指令语句的转化结果正确。     

嵌入式PLC中顺序功能图向AOV的映射

为实现PLC顺序功能图语言向梯形图语言的转换,阐述了将PLC的顺序功能图映射为有向图的思想与实现算法.首先对顺序功能图图形网络的描述方式进行严格定义,提出了一种新的AOV节点定义,把顺序功能图中的步元件与其前后连接信息相结合抽象为AOV图的顶点,步元件之间的转换关系抽象为弧,然后在此基础上提出了统一的顺序功能图程序结构的表达方式.本算法在保持顺序功能图结构完整性的基础上,简化了模型,同时可以很好地检查其中的连接错误,为从图的角度研究顺序功能图向梯形图的转化打下了基础.基于本算法思想设计的可编程逻辑控制器编程平台也在实际应用中得到验证,进一步证明其正确性和可用性.     

关于软PLC梯形图向语句表转换方法的研究

以行双向链表作为梯形图数据结构,记录梯形图载有的信息,确保梯形图的正确显示和存储;从有向图的角度出发,经过顶点扫描﹑弧扫描﹑和构图,将梯形图映射至AOV网;根据顶点在AOV网中位置关系的不同,研究转换算法的实现。     

基于隔离逻辑的并行程序可靠性验证方法

并行程序验证的复杂性在于执行流程的不确定性以及由此导致的执行规模变大,使得验证的内容和目标之间的关系不明确。为解决该问题,提出一种基于隔离逻辑的并行程序可靠性验证方法。通过变量的执行关系图,描述变量相关的语句及执行关系,将所需验证的程序性质逻辑式转换为变量并行语句序列的逻辑组合式,使得性质表达式与并发程序的语句相关联。根据逻辑组合式确定语句执行序列和前后件逻辑表达式,基于并发隔离逻辑的公理系统对语句执行序列进行验证,并根据验证结果对并发程序进行修改和完善。通过对银行柜台业务办理的功能模块验证结果表明该方法是有效的。     

基于AOV图和多叉树的功能块程序编译算法北大核心CSCD

针对可编程逻辑控制器(PLC)的功能块(Function BlockDiagrams,FBD)程序指令类型多、串并联复杂和多重输出等问题,提出一种基于顶点活动图(Activity on Vertex,AOV)和多叉树的功能块程序编译算法。该算法将功能块程序映射为AOV图,首先用邻接表存储AOV图中的顶点信息和顶点之间的连接信息,对功能块程序进行语法检查,然后通过邻接表建立表示功能块间逻辑关系的多叉树,通过先根遍历算法遍历多叉树确定功能块执行顺序,最后按照遍历顺序和PLC指令结构将功能块程序转换成二进制代码,形成目标程序。该算法能将PLC支持的功能块指令程序编译为目标程序,具有通用性,已经成功应用在PLC开发平台软件PLC_Config中。     

PLC梯形图转化为指令表算法及实现

针对目前PLC梯形图编辑软件的缺陷和不足,基于面向对象的设计思想,提出了一种全新的将梯形图转化为指令表的优化算法。介绍了语法检查、构造逻辑树结构和遍历树结构得到相应指令集三个具体过程的解决方案。结合灵活的类管理机制,将该算法应用于编辑软件,成功地解决了图形语言向文本语言的转化。由于指令程序比较接近于机器语言,将带形图转换成指令表以后,通过指令解释器对指令表的解释得出程序的逻辑,可以在PC机上执行程序。使用该算法开发出来的PLC编辑软件,作为一个编写PLC程序的通用开发平台,它功能强大、操作简单、使用方便。     

基于多叉树的梯形图向指令表转换算法

针对目前可编程逻辑控制器(PLC)编辑软件中梯形图向指令表转化算法的缺陷,通过对梯形图语言的分析与研究,并考虑到梯形图和指令表在实际应用时的优劣点,提出了一种借助多叉树来实现PLC梯形图向指令表转换的算法;该算法采取从左至右,从上至下的扫描原则将梯形图构建成多叉树,借助多叉树来反应图符间的逻辑关系,然后通过后序遍历多叉树来得到指令表程序;此算法在处理多重串并联结构梯形图时具有更高的效率,同时适用于堆栈指令,使得该算法具有更好的通用性。     

PLC梯形图的广义表转换

提出了利用串并联归并算法以实现PLC梯形图到指令表的转换方法。该算法将梯形图转化为有向无环图,对图中的串并联关系进行分类归并,将串并联结构按层次存储在广义表中,根据广义表生成指令表。该算法克服了传统拓扑排序算法在梯形图结构复杂时产生误判的缺陷,增加了检查逻辑错误的功能。在最佳情况下,该算法的时间复杂度为O(n),最差情况下为O(n2),与拓扑排序算法基本一致,有时略优于拓扑排序算法。     

嵌入式PLC编程软件开发

嵌入式PLC编程软件开发是嵌入式PLC控制系统的重要组成部分,就PLC编程软件中基于AOV图的梯形图语言到指令表语言的转换算法进行了讨论,并就算法上如何实现VC++编程和相关的界面编程进行了详细的阐述.     

用于关系抽取的注意力图长短时记忆神经网络

关系抽取是信息获取中一项关键技术.句子结构树能够捕获单词之间的长距离依赖关系,已被广泛用于关系抽取任务中.但是,现有方法存在过度依赖句子结构树本身信息而忽略外部信息的不足.本文提出一种新型的图神经网络模型,即注意力图长短时记忆神经网络(attention graph long short term memory neu...     

软件PLC中梯形图编译的C 实现研究

研究了软件PLC中梯形图的逻辑化表达以及编译为指令表的实现方法,对梯形图元素之间的串并联关系进行了深入探讨,在此基础上给出了基于C 的梯形图逻辑表达模型,实现了梯形图到指令表的转换。该实现在可扩展性以及支持复杂梯形图转换方面具有一定优势。