plc程序设计方法的复杂性(外文翻译).rar
plc程序设计方法的复杂性(外文翻译),尺寸的测量方法和不同的逻辑控制的plc程序设计方法的复杂性(外文翻译)包含中文翻译和英文原文，内容详细完整，建议下载参考！中文： 2771 字英文： 9211字符 摘要：目前有各式各样的逻辑控制设计方法应用于工业的逻辑设计。这些方法包括梯图表、功能部件图;连续函数图表和流程图,但喜欢可验证性,学术界已开发更多的...
该文档为压缩文件,包含的文件列表如下:
内容介绍
原文档由会员 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
包含中文翻译和英文原文，内容详细完整，建议下载参考！
中文： 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
