《表1 某站的联锁表：轨道交通联锁领域特定语言的形式化》

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

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

《轨道交通联锁领域特定语言的形式化》

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

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

根据上述分析，联锁系统的模型首先在构件的数量上是不同的，也就是说，列车、道岔、信号灯和轨道实例化的个数随案例变化.这些构件的数量要成为语言的一部分.不仅如此，由于这些实体数量的变化，导致其进路表是不同的.假设图2这样的站场中包含3条进路，R1～R3，R1由轨道段T1～T3，T6和T7组成，需要信号灯S1～S4和S9为绿灯，道岔SW1和SW2向上打开；R2由轨道段T1，T2，T4，T6和T7组成，需要信号灯S1，S2，S5，S6和S9为绿灯，道岔SW1和SW2向前打开；R3由轨道段T1，T2，T5～T7组成，需要信号灯S1，S2，S7～S9为绿灯，道岔SW1和SW2向下打开.其进路表见表1.