《表1 对应的轨道机车运输信号基本进路联锁表》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《矿井机车运输信号系统的Event-B建模与验证研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

当轨道机车运输信号平面布置图和对应的进路联锁表建立好模型后，还需要把机车车辆运输信号设计规范建成模型，形成场景中的定理（theorems），通过这些定理产生的证明义务来验证联锁表是否符合运输信号平面布置图和信号设计规范。对应的轨道机车运输信号基本进路联锁表见表1所列。表1中有“进路编号”、“基本进路”、“信号机”、“区段空闲检查”、“联锁道岔”、“车位传感器”和“敌对进路”等表项，针对这些表项，设计规范分别给出了详细的规定。