缺少网 queshao.com

 缺少网>文档库>u乐国际娱乐平台>外文翻译>PLC程序设计方法的复杂性(外文翻译)

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

编号:36-74227 | rar 格式 | 20.50K |
  1. 文档介绍
  2. 上传者: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


  
关于我们 联系我们 帮助中心 支付方式  侵权处理 免责声明 友情链接 网站地图
  蜀ICP备11006018-1