霍尔果斯长度传感器