论文摘要
可编程逻辑控制器(Program Logic Controller)始于20世纪70年代,凭借其高可靠性、长寿命、简单易懂、操作方便等一系列优点,在工业控制领域得到了推广使用。随着工业控制自动化水平的提高,PLC的软件规模迅速膨胀,使得PLC无法满足所有实际应用的性能要求。国内外学者已开始寻找更好的实现PLC实时高速的方法,其中基于FPGA并行架构的超高速可编程控制器的研究成为工业控制研究领域的热点。本研究针对PLC梯形图并行性识别与并行机制实现的问题。从数据和控制依赖两方面建立了梯级间的依赖关系,提出了基于梯形图依赖关系分解的方法,得出梯级并行执行层次。最后通过FPGA实现高速并行PLC。论文工作主要包括以下几个方面:(1)在详细分析了传统PLC工作方式的基础上,提出了基于FPGA的可编程逻辑控制器总体设计方案,包括硬件平台、软件流程、梯形图到VHDL转换的并行编译等各项关键的实现技术。(2)对梯形图进行语义分析,划分梯形图梯级间的依赖关系,提出控制依赖(Control dependence)与数据依赖(Data dependence)模型,并提出并行依赖关系的分解算法,确定并行执行的层次,最终实现PLC程序的并发执行。该分析技术有效地挖掘梯形图并发性,建立并发模型,解决当前国内外只有简单数值依赖关系的可编程控制器并行编译方法与理论的问题。最终建立基于FPGA并行架构可编程控制器编译方法和理论。(3) FPGA实现并行PLC控制逻辑,需先实现LD-VHDL的转换。提出了梯形图到VHDL转换的桥梁——逻辑表达式。建立AOV图模型,作为符合IEC61131-3标准梯形图到逻辑表达式转换的辅助表示形式,易于向目标代码转换,同时给出梯形图对应的布尔逻辑表达式、定时器/计数器逻辑表达式和功能块指令逻辑表达式的转化算法和例子。(4)提出了PLC特有的循环扫描执行工作方式在FPGA上的实现方法。构建了模拟PLC工作模式的有限状态机模型,利用进程实现各个梯级逻辑。利用控制信号的自触发变化来控制状态的转换,实现循环扫描执行。同时,本文还给出了其在FPGA中的具体实现代码。(5)提出了梯形图布尔逻辑、定时器、计数器、功能块的VHDL代码的自动生成算法,实现逻辑表达式到VHDL的转换。为了验证基于PLC并行依赖关系的分解结果在性能和控制逻辑方面的正确性,给出了印刷立体图硬模的纹理切割实验,在FPGA实验平台匕对生成的VHDL语言进行了编译仿真,实现梯形图程序在FPGA上的并发执行。最后给出基于FPGA的PLC与传统的PLC性能比较结果。目前基于传统的PLC功能已经非常完善,与它们相比,本系统仅实现初步的并行PLC系统,在完善各项功能方面都还需要进一步的分析、研究和调试工作。本文的工作为形成一个较为成熟的产品以及下一代高性能PLC的研究进行了有益的探索和尝试。
论文目录
相关论文文献
- [1].基于调度场算法实现长逻辑表达式解析与创建[J]. 信息与电脑(理论版) 2020(06)
- [2].通过找“有效”由逻辑真值表归纳逻辑表达式的巧招[J]. 教育革新 2015(11)
- [3].0-1整数规划模型中逻辑表达式的一些注记[J]. 河南教育学院学报(自然科学版) 2014(04)
- [4].可逆逻辑表达式的识别和图示方法[J]. 电子科技 2015(07)
- [5].可扩展的逻辑表达式求值系统的设计与实现[J]. 计算机工程与设计 2012(10)
- [6].APT样本逻辑表达式生成算法[J]. 计算机工程与应用 2018(01)
- [7].相容关系模型及其在逻辑优化中的应用[J]. 计算机科学与探索 2018(03)
- [8].逻辑表达式在液压系统故障诊断中的应用[J]. 起重运输机械 2013(05)
- [9].卡诺图观察法分析组合逻辑电路无关项[J]. 电子技术 2016(02)
- [10].算法擂台[J]. 程序员 2008(04)
- [11].否定词与范围副词共现的语义分析[J]. 汉语学报 2011(01)
- [12].逻辑表达式的简化和转换方法的改进[J]. 上海师范大学学报(自然科学版) 2010(01)
- [13].针对不同逻辑表达式巧画卡诺图[J]. 福建电脑 2011(09)
- [14].任意逻辑表达式化简系统的分析[J]. 科技创新导报 2012(19)
- [15].查询算法的优化设计[J]. 职大学报 2009(02)
- [16].一位全加器的设计与实现[J]. 科技信息 2013(04)
- [17].4R 4P理论起源与管理运用简介[J]. 科学中国人 2015(04)
- [18].工程机械液压系统的故障诊断[J]. 科技致富向导 2015(06)
- [19].巧记逻辑运算中的“短路”求值[J]. 电脑编程技巧与维护 2012(24)
- [20].先秦汉语中特指疑问句、否定句与焦点之关系研究[J]. 湖南社会科学 2014(05)
- [21].C#中对象相等比较机制探析[J]. 电脑知识与技术 2010(32)
- [22].树搜索优化算法在FPGA中的应用与实现[J]. 佳木斯大学学报(自然科学版) 2020(02)
- [23].“基本门电路”中的逆向假设[J]. 物理教师 2010(05)
- [24].利用神经网络技术预测图书借阅量[J]. 兰台世界 2013(20)
- [25].逻辑表达式在大型柴油机润滑系统故障诊断中的应用[J]. 起重运输机械 2012(06)
- [26].基于矩形覆盖的FPRM电路多级面积优化[J]. 宁波大学学报(理工版) 2019(04)
- [27].临床诊断思维模式的逻辑表达与结构化分析[J]. 中国医药导报 2019(28)
- [28].卡诺图在化简最简逻辑式中的应用[J]. 山西电子技术 2008(04)
- [29].基于多地控制谈MCU及PLC编程中的逻辑分析方法[J]. 滨州职业学院学报 2015(Z2)
- [30].组合逻辑实验电路设计方法研究[J]. 实验科学与技术 2015(01)
标签:可编程逻辑控制器论文; 梯形图论文; 数据依赖论文; 控制依赖论文; 并行编译论文;