继电式逻辑检查按照闭塞分区占用逻辑检查原则进行状态的判定。闭塞分区包括（）状态。