尺寸的測量方法和不同的邏輯控制的PLC程序設(shè)計方法的復(fù)雜性(外文翻譯)

包含中文翻譯和英文原文，內(nèi)容詳細(xì)完整，建議下載參考！

中文： 2771 字
英文： 9211字符

　
　　
　　摘要：目前有各式各樣的邏輯控制設(shè)計方法應(yīng)用于工業(yè)的邏輯設(shè)計。這些方法包括梯圖表、功能部件圖;連續(xù)函數(shù)圖表和流程圖,但喜歡可驗證性,學(xué)術(shù)界已開發(fā)更多的邏輯控制的設(shè)計方法,如模塊化的有限狀態(tài)機和實驗室網(wǎng)。利用這些重要的程序可以證實和一些邏輯可以自動生成從一個部分的計劃。本文的主要貢獻是確定測量方法不同方法編寫的程序,這樣的表現(xiàn)會比較方法。
　　我們證明了這些方法的使用四個項目樣本進行類似的功能在同一臺機器上,寫在四個邏輯控制設(shè)計方法:梯圖表、實驗室網(wǎng)、信號解釋說明網(wǎng)、模塊化的有限狀態(tài)機。

　　
關(guān)鍵詞的邏輯設(shè)計方法的比較•PLC程序控制復(fù)雜性
　　

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