需要购买设计请加我们的QQ962120665，电话18730072785 |
- www.doc666.com
包含中文翻译和英文原文，内容详细完整，建议下载参考！
中文： 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