接触线磨耗测量采用精度为（）mm的（）或（），测量磨损严重处的接触线残存高度。