PLC程序设计方法的复杂性(外文翻译)

编号:36-74227 | RAR格式 | 20.50K |

该文档为压缩文件,包含的文件列表如下:

本文档为RAR压缩格式,可在线预览压缩包内的文件列表

如需阅读全部文件请点击下载

下载
已通过人工审核校对,完整可用,请放心下载 已加入诚信保障计划,若无法下载可先行赔付
豆知手机版上线啦

内容介绍

原文档由会员 xiaowei 发布

尺寸的测量方法和不同的逻辑控制的PLC程序设计方法的复杂性(外文翻译)

包含中文翻译和英文原文,内容详细完整,建议下载参考!

中文: 2771 字
英文: 9211字符

 
  
  摘要:目前有各式各样的逻辑控制设计方法应用于工业的逻辑设计。这些方法包括梯图表、功能部件图;连续函数图表和流程图,但喜欢可验证性,学术界已开发更多的逻辑控制的设计方法,如模块化的有限状态机和实验室网。利用这些重要的程序可以证实和一些逻辑可以自动生成从一个部分的计划。本文的主要贡献是确定测量方法不同方法编写的程序,这样的表现会比较方法。
  我们证明了这些方法的使用四个项目样本进行类似的功能在同一台机器上,写在四个逻辑控制设计方法:梯图表、实验室网、信号解释说明网、模块化的有限状态机。

  
关键词的逻辑设计方法的比较•PLC程序控制复杂性
  

Methods of measuring the size and complexity of PLC programs in different logic control design methodologies


Abstract Currently there is a wide variety of logic control design methodologies used in industrial logic design. These methodologies include ladder diagrams, function block diagrams,sequential function charts, and flow charts, but driven by a desire for verifiability, academics are developing additional logic control design methodologies, such as modular finite state machines and Petri nets. Using these, important properties of programs can be verified and some logic can be generated automatically from a part plan. The main contribution of this paper is to define methods for measuring programs written in different methodologies, so that the performance of the methodologies can be compared.
We demonstrate these methods of measurement using four program samples that perform similar functions on the same machine, written in four logic control design methodologies: ladder diagrams, Petri nets, signal interpreted Petri nets and modular finite state machines.

Keywords Comparison of logic design methods •Logic control • PLC program complexity


扫扫二维码,随身浏览文档

手机浏览器 即可继续访问

推荐 UC浏览器 或 百度手机浏览器

手机阅读文档,一键扫码下载

获取二维码

微信公众号

手机 关注公众号

关注公众号,用微信扫描即可登录网站

获取二维码