7.1.2 磁电式速度传感器