| 基于Petri网络的码垛机器人生产线控制软件设计方法 |
| |
| 引用本文： | 张良安,梅江平,黄田.基于Petri网络的码垛机器人生产线控制软件设计方法[J].天津大学学报(自然科学与工程技术版),2011,44(1):23-28. |
| |
| 作者姓名： | 张良安 梅江平 黄田 |
| |
| 作者单位： | 天津大学机械工程学院; |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)资助项目(2007AA04Z245) |
| |
| 摘 要： | 研究了基于验证完毕的逻辑和软件体系的码垛机器人生产线控制软件设计问题.基于软件开发的瀑布模型,首先根据需求提出了软件体系架构,其次采用Petri网络建立软件模块调用规则模型和控制逻辑模型,并使用可达图证明了调用规则的安全性和无死锁性,基于系统仿真软件Simulink-stateflow仿真技术验证了控制逻辑的合理性.在...
|
| 关 键 词： | 机器人 码垛生产线 瀑布模型 Petri网络 控制逻辑 |
Petri Net Based Control Software Designing Approach to a Robot Palletizing Production Line |
| |
| ZHANG Liang-an,MEI Jiang-ping,HUANG Tian.Petri Net Based Control Software Designing Approach to a Robot Palletizing Production Line[J].Journal of Tianjin University(Science and Technology),2011,44(1):23-28. |
| |
| Authors: | ZHANG Liang-an MEI Jiang-ping HUANG Tian |
| |
| Institution: | ZHANG Liang-an,MEI Jiang-ping,HUANG Tian(School of Mechanical Engineering,Tianjin University,Tianjin 300072,China) |
| |
| Abstract: | This paper mainly deals with the control software designing approach to a robot palletizing production line based on the verified system frame and control logic.Based on waterfall model,the system frame of control software was proposed.Then Petri net based software calling model and control logic model were established.The calling model was verified using reachable diagram,and control logic was verified with system simulation software Simu-link-stateflow.Finally,graphic programming language Labview was used... |
| |
| Keywords: | robot palletizing production line waterfall model Petri net control logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
