39、铁路系统建模：从理论到实践

铁路系统建模：从理论到实践

1. 虚拟子段（VSS）状态转换

VSS 的状态有空闲（free）、占用（occupied）、未知（unknown）和模糊（ambiguous）四种，因此可能存在十二种状态转换。以下是这些转换的总结：
| 从 | 到 | 相关说明 |
| — | — | — |
| free | occupied | 相关说明见特定情况 |
| occupied | free | 相关说明见特定情况 |
| occupied | unknown | 相关说明见特定情况 |
| unknown | free | 相关说明见特定情况 |
| unknown | occupied | 相关说明见特定情况 |
| free | unknown | 相关说明见特定情况 |
| occupied | ambiguous | 相关说明见特定情况 |
| free | ambiguous | 相关说明见特定情况 |
| ambiguous | occupied | 相关说明见特定情况 |
| ambiguous | unknown | 相关说明见特定情况 |
| ambiguous | free | 相关说明见特定情况 |
| unknown | ambiguous | 相关说明见特定情况 |

上述表格中的转换与参考文档中提到的有所不同，这是因为在很多地方对案例进行了简化。

2. 移动模糊列车的影响

模糊列车 t 可以像其他连接列车一样移动，根据模糊列车的特性，这种移动可能会产生以下不同后果：
1.