我国驼峰测长设备类型较多，请问下列哪种测长设备是利用轨道电路短路输入阻抗的模值与空闲长度近似正比的关系实现长度的测量。