姜咏江

   上海地铁发生列车开错方向之后又发生追尾！又是一列车发生故障停车，而后面的列车仍然“不知情”地前行追尾。这种情况与“7.23”动车追尾事故何其相似！

    据报导，上海地铁列车运行监控调度系统和温甬动车使用的是同一软件系统设计单位的产品，这自然使我猜想到，该系统设计的边缘状态有问题。据说该系统出自中科院的设计单位（或者一家叫卡斯柯的中美合资公司安装的系统），一般来说，不论是中科院还是美国公司都不会不考虑系统边缘状态的，那么出现这么低级的错误，就让人百思不得其解了？

    现行的各种监控调度系统都和计算机系统有关，而一切计算机系统都是有限数字系统，也就是说都和“限位记数”有关。已经发生的各种数字系统故障，除了硬件损坏上的问题之外，“莫明”的故障，我有理由认为多数是数字系统理论不完备惹的祸。

    计算机和各种数字系统都是用“无符号整数运算”来实现有符号数运算的，这其中的转化要通过所谓的“补码制”。补码制的边缘数（例如8位的10000000）被一些专家都称为“怪异的数”，会给系统的完备性带来很多麻烦。由于边缘数具有不对称性，稍不留意就可能让人犯低级的方向性错误。还有计算机中的浮点数，IEEE754规定的单精度和双精度都抛弃了边缘数值，而这些边缘数值又都会在系统运算中产生！

    温州动车追尾事故发生时，我还认为有可能是国外敌对势力搞的鬼，现在上海地铁又发生了同样的事故，虽然不能完全打消我的想法，但让我猛然想到这可能是数字系统边缘值在作祟。由于基础软件是舶来品，中国的软件人员在其中许多问题不知情的状态下搞系统设计，难免会出现漏洞。如果是这样，板子应该打在外国人的屁股上！

    我最想说的是：专家们在进行列车运行监控调度系统检查时，不可放过数字系统的边缘数值检查。

2011-9-28