1. 进路锁闭基础逻辑验证：单列车进路建立与锁闭状态检查
任务对象与判定基准
本例在仿真联锁平台上完成一条“单列车基本进路”的建立与锁闭检查。核心不是把按钮点一遍，而是确认三件事同时成立：进路内道岔已转换到规定位置并被进路锁闭、进路内各区段空闲且未发生占用冲突、信号开放状态与锁闭状态严格对应。只要其中任一条件不满足，信号就不应开放；信号一旦开放，进路锁闭就必须已经建立。
为便于复现，先约定参照与命名：以列车运行方向为“前”，进路从始端信号机向终端方向延伸；道岔定位记为“直向”，反位记为“侧向”。示例进路采用一条含两组道岔的接车进路：始端信号机 S1，道岔 P1（定位直向）、P2（反位侧向），轨道区段 1G、2G、3G，终端为站线。以下参数均为教学示例设定，不代表任何实际站场数据。
进路建立与锁闭的信号链关系
下图把本例的检查对象串成一条“操作—条件—锁闭—开放”的信号链，并标出每个环节的观察点。图中左侧是操作与条件输入，中部是联锁内部的道岔锁闭与区段检查，右侧是信号开放与状态反馈。检查时应沿箭头方向逐级确认，而不是只看信号灯颜色。
在仿真平台上完成建立与检查
按下列顺序操作，每一步都对应上图的一个检查点。示例参数用于说明判断逻辑，实际站场以配置数据为准。
- 初始化站场：确认 1G、2G、3G 均为空闲，P1 在定位、P2 在反位或可转换状态，S1 显示关闭。记录初始状态作为对照基线。
- 办理进路：在联锁仿真界面选择始端 S1 与终端站线，触发进路建立。观察道岔是否按进路表要求转换：P1 应到定位，P2 应到反位。
- 核对道岔锁闭：进路建立后，道岔表示应为“位置正确且锁闭”。此时尝试单独操作 P1 或 P2，应被拒绝并给出锁闭提示——这是进路锁闭生效的直接证据。
- 核对区段与信号：确认 1G、2G、3G 空闲且无敌对进路，S1 应开放允许灯光。随后读取信号显示与锁闭状态，确认二者同时成立。
- 做一次反向验证：人工置 2G 为占用（模拟区段占用），观察 S1 是否立即关闭、进路锁闭是否随之解除或保持防护。该步骤用于确认“区段占用检查”确实参与开放条件，而非仅作显示。
检查时优先看“状态一致性”而非单一灯色：道岔表示、区段空闲、信号开放、锁闭标志四者应构成闭合对应关系。若信号开放但道岔无锁闭表示，说明开放条件链存在缺口，应作为缺陷记录。
状态对应关系与判读表
下表给出本例中几种典型组合的判读结论。表中“锁闭”指进路锁闭标志，“信号”指 S1 显示，“道岔”指 P1/P2 的位置与锁闭表示。组合均为教学示例设定。
| 道岔位置与锁闭 | 区段状态 | 进路锁闭 | 信号显示 | 判读结论 |
|---|---|---|---|---|
| P1 定位、P2 反位，均锁闭 | 1G/2G/3G 空闲 | 已建立 | 允许灯光 | 正常，进路可用 |
| P1 定位、P2 反位，均锁闭 | 2G 占用 | 应解除或保持防护 | 关闭 | 区段占用检查生效，符合预期 |
| P1 未锁闭或位置不符 | 区段空闲 | 未建立 | 关闭 | 道岔条件不满足，信号不得开放 |
| 道岔锁闭正常 | 区段空闲 | 已建立 | 关闭 | 需排查信号开放条件或显示回路 |
可执行的检查记录单
下面这份记录单可直接用于本例的复现与留档，字段只保留与“建立—锁闭—开放”判定直接相关的内容。
进路锁闭基础逻辑检查记录单（示例）
进路：S1 接车进路 → 站线
检查时间：____ 平台版本：____ 操作人：____
[1] 初始状态
S1 显示：关闭 / 允许 1G：空闲 / 占用
2G：空闲 / 占用 3G：空闲 / 占用
P1 位置：定位 / 反位 P2 位置：定位 / 反位
[2] 进路建立后
P1 实际位置：____ 锁闭表示：有 / 无
P2 实际位置：____ 锁闭表示：有 / 无
单独操作道岔被拒绝：是 / 否
进路锁闭标志：已建立 / 未建立
[3] 信号开放核对
S1 显示：允许 / 关闭
锁闭与信号同时成立：是 / 否
区段占用检查触发后 S1：关闭 / 未关闭
[4] 结论
正常 / 异常（异常描述：________________）
反向验证中人为置区段占用后，务必恢复区段空闲并重新办理进路，避免残留占用状态影响后续检查。若平台不支持直接置占用，可通过放置模拟列车占用 2G 实现，但需在记录中注明所用方法。
完成上述操作后，本例的验收标准是：进路建立时道岔位置与锁闭表示一致、区段空闲检查参与信号开放条件、信号开放与进路锁闭同时成立，且人为制造区段占用时信号能正确关闭。满足这四点，即说明单列车进路的锁闭基础逻辑在该仿真平台上工作正常。