常用的区间逻辑检查手段有（）逻辑检查和（）逻辑检查。