轨道电路、信号、道岔和进路必须按照一定程序并满足一定条件才能动作而建立的相互约束逻辑关系叫 。