学位论文 > 优秀研究生学位论文题录展示

PLC并行依赖关系分解的研究

作 者: 赵营
导 师: 包健
学 校: 杭州电子科技大学
专 业: 计算机应用技术
关键词: IEC61131-3 可编程逻辑控制器(PLC) 梯形图 FPGA 数据依赖 控制依赖 并行编译
分类号: TP273
类 型: 硕士论文
年 份: 2011年
下 载: 18次
引 用: 0次
阅 读: 论文下载
 

内容摘要


可编程逻辑控制器(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的研究进行了有益的探索和尝试。

全文目录


摘要  5-7
ABSTRACT  7-11
第一章 绪论  11-20
  1.1 PLC的发展及主要应用  11-13
    1.1.1 PLC的发展历史  11-12
    1.1.2 PLC的发展趋势  12-13
    1.1.3 PLC的应用  13
  1.2 依赖关系分析技术的研究现状  13-14
  1.3 高速并行PLC的研究现状  14-15
  1.4 实现并行PLC的相关技术  15-19
    1.4.1 PLC技术概述  15-16
    1.4.2 并行编译技术概述  16-17
    1.4.3 FPGA技术和VHDL语言概述  17-19
  1.5 本文的研究内容  19-20
第二章 FPGA实现并行PLC架构的总体设计  20-26
  2.1 基于FPGA的可编程控制器开发环境  20-22
  2.2 PLC梯级间的并行依赖关系实现  22-23
  2.3 梯形图到VHDL编译的实现方案  23-25
    2.3.1 梯形图到逻辑表达式的转换  23-24
    2.3.2 逻辑表达式到VHDL的转换及其生成  24-25
  2.4 小结  25-26
第三章 梯形图到逻辑表达式的转换  26-38
  3.1 IEC61131-3梯形图语言  26-29
    3.1.1 IEC61131-3标准  26-27
    3.1.2 梯形图简介  27-29
  3.2 梯形图到AOV图的转换  29-31
    3.2.1 图的概念  29-30
    3.2.2 梯形图到AOV图的抽象表示  30-31
  3.3 AOV图向逻辑表达式的转化  31-37
    3.3.1 布尔指令逻辑表达式的生成  32-33
    3.3.2 定时指令逻辑表达式的生成  33-34
    3.3.3 计时器指令逻辑表达式的生成  34-35
    3.3.4 功能指令逻辑表达式的生成  35-37
  3.4 小结  37-38
第四章 梯形图并行依赖关系的构建与分解  38-47
  4.1 基本概念  38
  4.2 梯形图依赖模型  38-44
    4.2.1 数据依赖  39
    4.2.2 数据依赖关系分解  39-41
    4.2.3 控制依赖关系分解  41-44
  4.3 梯形图梯级并行化层次确定  44-45
    4.3.1 依赖图分解算法实现  44-45
    4.3.2 实例分解解析  45
  4.4 小结  45-47
第五章 并行PLC的VHDL目标代码的实现  47-58
  5.1 FPGA实现梯形图串并型结构  47-48
  5.2 PLC循环工作方式的VHDL实现  48-50
  5.3 逻辑表达式到VHDL的转换  50-57
    5.3.1 布尔逻辑表达式到VHDL的转换  50-51
    5.3.2 定时器逻辑表达式到VHDL的转换  51-54
    5.3.3 计数器逻辑表达式到VHDL的转换  54-56
    5.3.4 功能逻辑表达式到VHDL的转换  56-57
  5.4 VHDL生成的等效硬件逻辑电路  57
  5.5 小结  57-58
第六章 FPGA实现PLC并行控制系统功能测试  58-67
  6.1 PLC模具切割控制程序实例  58-61
  6.2 实验结果  61-64
    6.2.1 编辑和生成界面  61-63
    6.2.2 仿真结果  63-64
  6.3 传统PLC与基于FPGA的PLC性能对比  64-65
  6.4 小结  65-67
第七章 结论及展望  67-69
  7.1 工作总结  67
  7.2 展望  67-69
致谢  69-70
参考文献  70-74
附录  74-75
详细摘要  75-78

相似论文

  1. 基于FPGA的电磁超声检测系统的研究,TH878.2
  2. 基于FPGA的五相PMSM驱动控制系统的研究,TM341
  3. LXI任意波形发生器研制,TM935
  4. 基于FPGA的射频功放数字预失真器设计,TN722.75
  5. 突发OFDM系统同步与信道估计算法及FPGA实现,TN919.3
  6. 直扩系统抗多径性能分析及补偿方法研究,TN914.42
  7. 电视制导系统中视频图像压缩优化设计及实现研究,TN919.81
  8. 基于FPGA的多用户扩频码捕获研究及硬件仿真,TN914.42
  9. 基于FPGA的数字图像处理基本算法研究与实现,TP391.41
  10. 基于FPGA的高速图像预处理技术的研究,TP391.41
  11. 基于FPGA的高速数字图像采集与接口设计,TP274.2
  12. 基于FPGA的电感传感器数据采集系统的研制,TP274.2
  13. 基于Nios的串行总线分析仪研制,TP274
  14. 基于FPGA-RocketIO_X的PMC高速数据传输板开发,TP274.2
  15. PXI高性能数字I/O模块研制,TP274
  16. LXI计数器研制,TP274
  17. 基于FPGA的高速实时数据采集系统,TP274.2
  18. 基于Nios Ⅱ的GPS信息接收系统设计,TN967.1
  19. 温压炸药爆炸温度场存储测试技术研究,TQ560.7
  20. 掺铒光纤放大器中泵浦激光器驱动源的研究应用,TN248
  21. FPGA系统远程安全升级的设计与实现,TP309

中图分类: > 工业技术 > 自动化技术、计算机技术 > 自动化技术及设备 > 自动化系统 > 自动控制、自动控制系统
© 2012 www.xueweilunwen.com