• 矿区长度传感器