Research on safe logic variable transform in railway signal computer interlock systems

• 铁路信号计算机联锁系统的联锁逻辑变换