速度传感器通过____________来测量列车运行速度。