2. 进路解锁条件测试：列车通过后正常解锁时序验证

测试对象与判定依据

本例验证的是进路解锁中的正常解锁逻辑：列车按运行方向依次压入并出清进路内各轨道区段，联锁应逐段解锁已出清区段，并在列车出清接近锁闭区段、信号自动关闭之后才允许解锁，不得出现“车未出清即解锁”或“信号未关闭即解锁”的情况。测试在仿真联锁平台上进行，用一条包含 4 个轨道区段的接车进路作为被测对象。

判定正常解锁需同时满足三条时序约束：

• 顺序约束：区段解锁顺序必须与列车运行方向一致，即 1G→2G→3G→4G，不允许后段先解锁。
• 占用约束：任一区段只有在“占用→出清”完成之后才可解锁，出清前保持锁闭。
• 信号约束：进路信号关闭（红灯）必须早于或同时于首个区段解锁，禁止信号开放状态下解锁进路。

仿真测试连接与观测点布置

在联锁仿真平台上建立进路后，通过区段占用模拟器逐段施加占用/出清激励，用状态记录器采集各区的锁闭状态、信号显示和时标。下图给出测试连接关系与关键观测点，便于对照后续时序记录判读。

时序验证方法与记录表

测试按下列顺序执行，每步记录时间戳（仿真时钟，单位 ms，示例值）：

1. 建立进路，确认 1G~4G 全部锁闭、信号 X 开放（绿灯）。
2. 依次对 1G、2G、3G、4G 施加占用，模拟列车压入；每段占用后保持锁闭。
3. 列车头部越过信号后，信号 X 自动关闭（红灯），记录关闭时刻。
4. 依次对 1G、2G、3G、4G 施加出清，观察各区段解锁时刻。

下表为一次仿真运行的示例记录（教学示例数据，非实测）：

结果判读

依据记录表逐条核对三条约束：

• 顺序：解锁时刻 2650 < 3050 < 3450 < 3850，顺序为 1G→2G→3G→4G，与运行方向一致，通过。
• 占用：每段解锁时刻均晚于本段出清时刻（如 1G 出清 2600、解锁 2650），无提前解锁，通过。
• 信号：信号关闭 2300 早于首个区段解锁 2650，满足“信号关闭后解锁”，通过。

若出现某区段解锁时刻早于其出清时刻，或后段先于前段解锁，或信号仍开放时区段已解锁，则判为正常解锁逻辑异常，需检查该区段的解锁条件电路与信号关闭联锁关系。