检索结果-内蒙古大学图书馆

清华大学学报（自然科学版） 2019年第12期59卷 1039-1044页

作者：王炜新周凯毛飞龙清华大学机械工程系

梯形图是IEC 61131-3标准定义的4种可编程逻辑控制器(programmable logic controller,PLC)编程语言之一,但因为梯形图无法被处理器直接执行,所以大多数商用PLC编程系统都会将梯形图转换为类似汇编语言的指令表,便于生成机器指令。该文... 详细信息

梯形图是IEC 61131-3标准定义的4种可编程逻辑控制器(programmable logic controller,PLC)编程语言之一,但因为梯形图无法被处理器直接执行,所以大多数商用PLC编程系统都会将梯形图转换为类似汇编语言的指令表,便于生成机器指令。该文提出一种基于AOV(activity on vertex)图和广义表的转换算法,相比基于广义表的现有算法,重点解决了多线圈输出问题。此外,该文提出了遍历带有输出标志位的广义表的深度优先搜索算法,以生成对应的指令表。算法时间复杂度最佳情况为O(n),最差为O(n^2)。

关键词：可编程逻辑控制器梯形图指令表 AOV图广义表

来源：评论

学校读者我要写书评

暂无评论

基于AOV图及二叉树的梯形图与指令表互换算法

引用

南京航空航天大学学报 2006年第6期38卷 754-758页

作者：葛芬吴宁南京航空航天大学信息科学与技术学院南京210016

通过对可编程逻辑控制器(Programma blelogic contro ller,PLC)的梯形图语言及指令表语言的分析,提出了基于AOV(Activity on vertex)有向图和二叉树实现梯形图与指令表程序相互转换的算法。转换算法将梯形图映射为AOV图,并由其建立二叉... 详细信息

通过对可编程逻辑控制器(Programma blelogic contro ller,PLC)的梯形图语言及指令表语言的分析,提出了基于AOV(Activity on vertex)有向图和二叉树实现梯形图与指令表程序相互转换的算法。转换算法将梯形图映射为AOV图,并由其建立二叉树来表示指令间的逻辑关系,通过遍历二叉树实现PLC梯形图与指令表的转换。文中给出一个转换实例,介绍了算法思想及其实现步骤。该算法具有通用性,适于复杂控制逻辑的梯形图,已成功用于水电自动化监控系统中的PLC编程软件平台。

关键词：梯形图指令表 AOV图二叉树可编程逻辑控制器

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程与应用 2009年第27期45卷 72-74,118页

作者：傅亮胡飞虎刘乐张冠群西安交通大学电气工程学院西安710049

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

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

关键词：可编程控制器(PLC) 梯形图指令表

来源：评论

学校读者我要写书评

暂无评论

指令表程序的形式化验证方法研究

指令表程序的形式化验证方法研究

引用

作者：齐鹏飞华侨大学

学位级别：硕士

随着计算机技术、网络通信技术的高速发展，社会需求量的不断增大，国家对工业自动化水平的要求也在不断提高。作为目前一项非常重要的自动化技术，可编程逻辑控制器（Programmable Logic Controller，PLC）的广泛应用为企业提供了巨大... 详细信息

随着计算机技术、网络通信技术的高速发展，社会需求量的不断增大，国家对工业自动化水平的要求也在不断提高。作为目前一项非常重要的自动化技术，可编程逻辑控制器（Programmable Logic Controller，PLC）的广泛应用为企业提供了巨大的帮助，尤其是在传统继电器控制系统的数控化改造过程中，PLC更是起到了不可替代的作用。但是，生产事故的不断发生为社会敲响了警钟。企业在不断追求自动化技术的同时，对其可靠性的要求也应该不断提升。在这一需求下，学术界开展了大量关于如何提高自动化控制程序可靠性的研究。目前，传统的PLC程序检测方法还存在明显不足，更多的是针对语法、语义的检测，而针对程序变量间逻辑关系的检测却少之又少。为了弥补这一不足，形式化验证方法逐渐走入了研究者的视野。形式化验证方法主要包括演绎验证和模型检测两大类。相比较演绎验证，模型检测技术能够自动化地完成这一工作。本文就是在这样一个大背景下诞生的，提出了一种用于指令表程序的形式化验证方法： 1．选用Petri网作为PLC指令表程序的建模工具，提出将指令表程序自动地转换为Petri网模型的相关算法;2．选用计算树逻辑语言描述PLC指令表程序所控制系统的控制规范;3．选用NuSMV模型检测器对已建立的Petri网模型以及计算树逻辑语言进行模型检测。其中包含了将Petri网模型转换为SMV程序的方法，以及对系统状态空间爆炸问题的简化处理;4．根据模型检测的结果有针对性的修改存在问题的指令表程序。本文旨在通过上述方法，提高PLC指令表程序的可靠性，减少其在实际生产应用中潜在的安全隐患，为企业实现自动化控制提供有力的帮助。

关键词：指令表 Petri网模型检测计算树逻辑符号化模型验证器

来源：评论

学校读者我要写书评

暂无评论

软PLC梯形图向指令表转化的算法研究与实现

引用

组合机床与自动化加工技术 2013年第11期 61-63,67页

作者：韩江段少磊夏链董方方合肥工业大学机械与汽车工程学院合肥230009

梯形图与指令表是PLC中最常用的两种语言。其中梯形图形象直观,易于编程,但梯形图往往需要转换为指令表语言才能在PLC运行系统中解释执行。针对上述问题提出了一种适用于数控机床软PLC的梯形图向指令表转换的算法。该算法基于AOV图映射... 详细信息

梯形图与指令表是PLC中最常用的两种语言。其中梯形图形象直观,易于编程,但梯形图往往需要转换为指令表语言才能在PLC运行系统中解释执行。针对上述问题提出了一种适用于数控机床软PLC的梯形图向指令表转换的算法。该算法基于AOV图映射,将梯形图程序存储为邻接表数据结构,采用拓扑排序方法将邻接表中内容按指令表逻辑顺序输出,最终实现梯形图向指令表的转化。论文给出了该算法在自主开发的软PLC中的一个应用实例,描述了梯形图向指令表转化的主要思想和实现过程。

关键词：软PLC 梯形图指令表 AOV图邻接表拓扑排序

来源：评论

学校读者我要写书评

暂无评论

数控系统中PLC梯形图与指令表的转换算法

引用

机床与液压 2014年第4期42卷 64-68页

作者：罗海据吴永明梁娟广州数控设备有限公司广东广州510530 广东工业大学机电工程学院广东广州510006 华南农业大学工程学院广东广州510642

为了满足数控机床系统中PLC梯形图向指令表转换的要求,将梯形图的构成形式分成母线、环、半环、环母线等结构元素,利用这些结构元素检验梯形图的合法性,分析梯形图和指令表之间的关系,设计梯形图向指令表快速转换的算法。应用实例表明:... 详细信息

为了满足数控机床系统中PLC梯形图向指令表转换的要求,将梯形图的构成形式分成母线、环、半环、环母线等结构元素,利用这些结构元素检验梯形图的合法性,分析梯形图和指令表之间的关系,设计梯形图向指令表快速转换的算法。应用实例表明:该算法效率高,实时性好,能满足数控机床系统的要求。

关键词：数控系统 PLC 梯形图指令表

来源：评论

学校读者我要写书评

暂无评论

软PLC梯形图编辑与指令表生成方法研究

引用

合肥工业大学学报（自然科学版） 2015年第10期38卷 1353-1357页

作者：吴亚山陆阳徐谦合肥工业大学计算机与信息学院安徽合肥230009 潞安新疆煤化工(集团)有限公司新疆哈密839003

IEC 61131标准定义的5种编程语言中,梯形图简单直观,但不能直接被计算机识别与执行;指令表简洁高效,可作为软PLC解释执行的目标语言,且指令与梯形图基本元素一一对应。实际应用中,往往需要将梯形图语言转换为指令表语言。文章根据PLC&qu... 详细信息

IEC 61131标准定义的5种编程语言中,梯形图简单直观,但不能直接被计算机识别与执行;指令表简洁高效,可作为软PLC解释执行的目标语言,且指令与梯形图基本元素一一对应。实际应用中,往往需要将梯形图语言转换为指令表语言。文章根据PLC"循环扫描,顺序执行"的工作方式,提出一种基于双向循环链表和十字链表的数据结构与算法,能直观地表现梯形图各元素间的逻辑关系。在该数据结构的基础上,完成了一个软PLC开发系统,解释了语言转换的实现过程,正确地实现了梯形图的编辑和指令表生成。

关键词： IEC 61131标准软PLC开发系统梯形图指令表双向循环链表十字链表

来源：评论

学校读者我要写书评

暂无评论

基于指令表自驱动的指令解析模型实现方法研究

引用

微电子学与计算机 2007年第11期24卷 175-177,180页

作者：宋铮张红光李福才陈正南开大学信息技术科学学院天津300071

在硬件仿真平台的设计中,指令集解析模型的设计是关键。从对常规的指令集解析模型设计出发,分析了其主要缺陷及改进思路,并给出了一种的新的指令解析模型——基于指令表自驱动的指令解析模型,通过描述硬件仿真平台的设计过程,分析了其... 详细信息

在硬件仿真平台的设计中,指令集解析模型的设计是关键。从对常规的指令集解析模型设计出发,分析了其主要缺陷及改进思路,并给出了一种的新的指令解析模型——基于指令表自驱动的指令解析模型,通过描述硬件仿真平台的设计过程,分析了其优化的核心策略和主要技术路线,给出了一种实现这种新的指令解析模型的方法。

关键词：嵌入式系统指令集解析模型指令表自驱动

来源：评论

学校读者我要写书评

暂无评论

基于能流的梯形图到指令表转换方法研究

引用

控制工程 2017年第2期24卷 243-249页

作者：徐德刚黄江波刘育峰陈晓方桂卫华中南大学信息科学与工程学院长沙410083

在嵌入式PLC开发环境中,梯形图向指令表的转换是必不可少的一步,为了完成梯形图向指令表的转换,提出了一种基于能流的梯形图转换方法。通过将梯形图视为一种能流,设置能流阶级,插入虚节点,合并节点成为一种AOV图,并串联归并生成指令表,... 详细信息

在嵌入式PLC开发环境中,梯形图向指令表的转换是必不可少的一步,为了完成梯形图向指令表的转换,提出了一种基于能流的梯形图转换方法。通过将梯形图视为一种能流,设置能流阶级,插入虚节点,合并节点成为一种AOV图,并串联归并生成指令表,转换过程中同时进行语法检查。针对转换实现过程,详细说明了对梯形图的存储和扫描的方法。最后,给出了一个具体转换实例,实验结果说明该方法能准确的进行梯形图到指令表的转换。

关键词： PLC 梯形图指令表能流 AOV图

来源：评论

学校读者我要写书评

暂无评论

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

引用

控制工程 2006年第6期13卷 573-576页

作者：莫易敏章德平周哲武汉理工大学机电工程学院湖北武汉430070

针对目前PLC梯形图编辑软件的缺陷和不足,基于面向对象的设计思想,提出了一种全新的将梯形图转化为指令表的优化算法。介绍了语法检查、构造逻辑树结构和遍历树结构得到相应指令集三个具体过程的解决方案。结合灵活的类管理机制,将该算... 详细信息

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

关键词：梯形图指令表树扫描编译

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：