无需等待人类指令，半自主探测机器人可大幅提升火星探测效率