本页演示用于解释逻辑关系，不是实际接线图、控制器或维修模拟器。
学习问题
当任一适用的门关闭或锁紧确认条件不成立时，为什么不能形成运行许可？
精度等级
L1：概念因果演示。 它只展示必要条件之间的“并且”关系，不进行真实电气、机械、时间或运动仿真。
交互演示
演示可以独立打开。
输入、状态与结果
- 层门关闭确认：
state.landingDoorClosed.confirmed - 层门锁紧确认：
state.landingDoorLock.confirmed - 轿门关闭确认：
state.carDoorClosed.confirmed - 轿门锁紧确认：
state.carDoorLock.confirmed，只在适用设计模型中加入 - 门条件汇总：
state.doors.allSecured - 运行许可：
perm.motion
为了突出门侧关系，演示把 state.safety.othersOk 和“控制逻辑允许”固定为成立。只有全部适用门条件成立时，门条件汇总和运行许可才成立。
模型假设
- 只代表一个层门和一个轿门，不模拟多层站的逐门汇总。
- 开关与连接线只表示串联联锁的“并且”关系，不代表真实接线结构。
- 不模拟关门运动、锁紧机构动作、触点转换时序、通信或回路监测实现。
- “运行许可成立”不表示制动器、驱动系统或轿厢已经动作。
- 轿门锁紧确认只在选择“适用设计”时加入必要条件。
不模拟的内容
本演示不包含检修、消防、旁路、短接、紧急开锁、故障定位、维修、调整、救援或现场操作方法，也不代表任何品牌控制器。