一种基于霍尔传感器的臂架伸缩长度测量装置