论文部分内容阅读
分析了铁路信号计算机联锁系统中流通的信息，将其分为涉安信息与非涉安信息两大类，并进一步提出当使用逻辑变量来表达涉安信息时的“安全侧逻辑状态”与“危险侧逻辑状态”。阐述了变换联锁信息表达形式的重要性，给出了根据故障－安全原则实现安全逻辑变量的２种表达形式。最后介绍了在研究实践中总结出的安全逻辑变量变换方法及其实效。