Meaning of symbols
| Symbols | Meaning |
|---|---|
| a | Running activity |
| A | Set of all running activities |
| Tdpa | Running activity a planned departure time |
| Tapa | Running activity a planned arrival time |
| Tdra | Running activity a actual departure time |
| Tara | Running activity a actual arrival time |
| fa | Running activity a priority parameter |
| N(a) | Running activity a next running activity |
| Sd(a) | Running activity a departure station |
| Sa(a) | Running activity a arrival station |
| Tra | Running activity a section minimum running time |
| Tsa | Running activity a station minimum stop time |
| sa | Line started station |
| se | Line terminal station |
| Id | Minimum departure interval |
| Ia | Minimum arrival interval |
| Iad | Minimum departure and arrival interval |
| Te1 | Start time of section passing capacity failure |
| Te2 | Recover time of section passing capacity |
| Se1 | Station 1 corresponding to the section where the passing capacity is invalid |
| Se2 | Station 2 corresponding to the section where the passing capacity is invalid |
| θa,a' | Running activity a and a’ whether overtaking 0–1variable |
| ωa,a' | Running activity a and a’ whether meet the arrival and departure interval 0-1variable |
| xa,ya,za | 0-1 variable |
| Symbols | Meaning |
|---|---|
| Running activity | |
| Set of all running activities | |
| Running activity | |
| Running activity | |
| Running activity | |
| Running activity | |
| Running activity | |
| Running activity | |
| Running activity | |
| Running activity | |
| Running activity | |
| Running activity | |
| Line started station | |
| Line terminal station | |
| Minimum departure interval | |
| Minimum arrival interval | |
| Minimum departure and arrival interval | |
| Te1 | Start time of section passing capacity failure |
| Recover time of section passing capacity | |
| Station 1 corresponding to the section where the passing capacity is invalid | |
| Station 2 corresponding to the section where the passing capacity is invalid | |
| Running activity | |
| Running activity | |
| 0-1 variable |