1  引言

可编程序控制器（简称plc）是一种工业自动控制中使用的计算装置。它广泛应用于钢铁、石油、化工、电力、建材、机械制造、汽车、轻纺、交通运输、航天、环保及文化娱乐等各个行业。小到家用设备，大到航天器材，都有plc的应用。

典型的plc由一个专用的cpu，一个存储器和一组输入输出端口构成，如图1所示。它通过输入端口接收来自传感器的信号，并通过输出端口发出控制信号驱动同它连接的外部设备。存储器中安放控制程序，系统的活动由控制程序所驱动。

plc系统每隔一定的时间间隔（比如5毫秒）从输入端口读入信号，执行计算，然后向输出端口发送输出信号。每一“输入－计算－输出”周期称为一个扫描周期。plc程序在每个扫描周期中重复执行一遍。plc的简单应用有洗衣机控制，电梯控制。复杂的应用有自动机床控制，自动化工程控制。

plc程序设计具有不寻常的软件编程模式。设计中需要考虑多个并行线程，它们之间的交互作用，以及在时间域上的行为。在plc的五种主要的编程语言当中，源自继电器控制系统的梯形图语言采用了一种简单的方式巧妙地处理了并行程序设计问题，然而，由于plc编程问题的固有复杂性，以及测试手段的缺乏，许多plc程序中依然存在大量的错误。

为了解决这一问题，灵芯实验室正在开发plc测试系统，为plc程序的调试提供解决方案。在这一系统的试用过程中，在两本plc入门教科书的6个简单程序例子中发现其中的4个程序里面至少包含8个错误。

●一个抢答器程序在两个参赛者同时按下抢答按钮时，只有其中一个人的警报器能够发出警报；

●一个喷泉程序中，喷水组在几个指定时间上没有按要求停止喷水，或开始喷水；

●一个交通灯控制程序中，绿灯闪烁控制不正常；系统启动的时候，一个方向绿灯亮，另一个方向的红灯却不亮；强通结束之后，交通灯没有立即恢复正常运行；

●在另一个交通灯程序中，按下停止按钮之后，所有的灯熄灭，但两个方向人行道上却亮红灯。

我们认为这一发现是不同寻常的。虽然每个程序员和教师都会犯编程错误，但是我们还从未在任何一本程序设计的教科书中发现如此高比例的程序错。这一现象初步证实了plc程序 错误的广泛性和严重性。

本文将逐一分析上述每一个程序的错误，指出错误原因。其中大部分程序，我们给出纠正了错误的新程序。期望这一分析能够帮助plc程序员和教师提高plc程序设计的正确性。plc程序的执行原理以及梯形图的语义将在例子的介绍中同时给予解释。我们相信，通过分析错误来学习是掌握遍程技巧的好方法。

图1  plc构造原理图

2  抢答器程序

题目：抢答器程序

来源：plc应用技术开发与实践

编程平台：西门子公司 s7-200

问题描述：

（1）主持人控制开始按钮；

（2）3个抢答者每人控制自己的抢答按钮；

（3）开始按钮按下之后所有警报器断电；

（4）之后每个抢答按钮按下将使自己的警报器得电，并锁住其他抢答者输入信号的有效性。

  变量分配：

  i0.0 主持人按钮；

  i0.1，i0.2，i0.3 分别为三个抢答者按钮；

  q0.0，q0.1，q0.2 分别为对应于抢答者的警报器输出；

  原书给出的抢答器梯形图程序（见图2）。

图2  抢答器梯形图程序

plc程序语义：

上述梯形图程序的语义可以用比较简短的方式表达出来：

q0.0 := (i0.1 or q0.0) and ~i0.0 and ~q0.1 and ~q0.2；

q0.1 := (i0.2 or q0.1) and ~i0.0 and ~q0.0 and ~q0.2；

q0.2 := (i0.3 or q0.2) and ~i0.0 and ~q0.0 and ~q0.1；

其中~i0.0表示i0.0的逻辑非。

plc的程序周期性地重复执行，每个周期时间很短。在一个周期中，plc将读入输入值（这里是i0.1,i0.2和i0.3），经过对上述程序的计算之后，把输出变量（这里是q0.0，q0.1和q0.2）的值送到外部。注意上述程序在每个周期中都重复执行。在每个周期中，程序的执行由上往下由左至右。

当一个抢答按钮按下之后（比如i0.1=1），对应的输出（q0.0）马上变成1。在下一周期中，即使该按钮方开（i0.1=0）程序的输出依然会保持为0，原因是程序依靠自反馈作用（or q0.0）。同时，由于在另外两个程序段中含有~q0.1，因此它们的输出都无法变成1，直到主持人按钮i0.0把q0.0重新置0为止。

●程序问题

如果两个抢答者在同一时刻按下按钮，在程序中处于前面的抢答者的警报器输出正常，另一个抢答者的警报器没有输出。

●程序分析

本问题分成三个程序段，它们本应并行执行方能达到公平的效果。但plc的cpu只能顺序执行程序，因此在程序中位置处于前面的抢答者的输出产生之后，后面的程序输出就被立即阻断。因此两个按钮同时按下时，只有其中的一个得到响应。