数字式磁性速度传感器