矿区长度传感器