铁路信号联锁逻辑形式化建模研究

作者：陈良

来源：设备管理与维修, 2020, 22(22): 118-120.

DOI：10.16621/j.cnki.issn1001-0599.2020.11D.67

• 铁路信号
• 联锁逻辑
• 形式化建模研究

鉴于铁路的信号系统的复杂性,提出一种B方法与通信顺序进程结合的形式化方法,探索用数学的方式为铁路信号联锁形式化建模。

• 单位
  中铁十九局集团电务工程有限公司