区间逻辑检查的状态：闭塞分区的基本状态共有四种，分别为正常占用、空闲、（）、（）。