测量高度的传感器（测量高度的传感器有什么）