类蜘蛛机器人或可用于探索火星洞穴(图1)