区间逻辑检查功能分为( )逻辑检查和自动闭塞继电式逻辑检查两种类型。