测量机器人在矿山测量中的应用