在轧钢生产过程中，对板带轧机的操作人员来说，人工测量带钢厚度的测量工具主要有螺旋千分尺和__________。