plc的设计标准-----外文翻译.doc

A systematic approach to designing PLC software can overcome deficiencies in the traditional way of programming manufacturing control systems, and can have wide ramifications in several industrial applications. Automation control systems are modeled by formal languages or, equivalently, by state machines. Formal representations provide a high-level description of the behavior of the system to be controlled. State machines can be analytically eva luated as to whether or not they meet the desired goals. Secondly, a state machine description provides a structured representation to convey the logical requirements and constraints such as detailed safety rules. Thirdly, well-defined control systems design outcomes are conducive to automatic code generation- An ability to produce control software executable on commercial distinct logic controllers can reduce programming lead-time and labor cost. In particular, the thesis is relevant with respect to the following aspects.


一个系统化的设计 PLC程序的方法可以克服传统程序生产控制系统的缺点，并且在一些工业应用总有很大的不同。自动控制系统是状态模型用公式语言或等价的语言描述的。公式描述对被控制的系统的行为提供一个精确的描述。可以通过分析估计看状态模型是否达到想要的目标。第二，为状态模型的描述提供结构描述，这个结构描述可以说明逻辑要求和如细节安全规则的限制。第三，好的控制系统设计是对自动控制代码生成有益的——一种能够产生可执行的控制软件的能力，不同的逻辑控制器可以减少程序扫描时间和执行那个时间。特别的，这个主题与随后的部分的是有关的。