确保可靠性的LC程序的形式.docVIP

PAGE PAGE 1 确保可靠性的PLC程序的形式 摘要──现存的PLC程序的复杂性决定了他们很难被处理或修改。为了克服这一困难近年来人们对PLC程序的形式越来越感兴趣。正式的方法能够提供给PLC程序的发展，原因在于人们对安全意识和质量意识的增强，这些方法就作为中间环节来分析和核实这些程序。这个可以通过核实和证实来获得。而且正式方法也支持已经生效的PLC程序的再使用来适应新的产品需求。本章尝试了不同的可能性为的就是使PLC程序正式化。解释了不同选择对象的预置和合并。本章根据达到标准的选择对象概括了使用在PLC程序中的定时器和计数器。 关键词：PLC程序；正规化；IEC；定时器和计数器 Ⅰ.介绍 可编程序逻辑控制器是工业微型控制系统,其内部的硬件和软件很适应于工业环境。由于工业开始认识到质量提高的需求和生产力的提高，70年代早期提出的PLC已经受到很多关注。其灵活性也是关注的焦点，它包括了为了满足消费者需求而迅速改变过程的可能性。 PLC的目的是通过产生与电气过程相关的输入信号响应的电气输出信号来控制一种特殊的程序或程序的采集，由PLC控制的系统随着在生产，化学过程控制，机械，运输，电力分配和其他各领域中的应用而改变。PLC用来控制简单的设备。在内部逻辑的基础上，他们用来连接输入，例如开关，数字传感器等，和用来打开或关断输出设备。尽管如此PLC的使用已经将其运用到控制复杂的生