The Spirit Rover is nearly history, stuck deep in sand, and while Opportunity travels on, it's not likely that it will travel much farther.
眼下，深陷黄沙的勇气号在火星探测史上几成历史，机遇号还在火星上行进，估计也撑不了多久。
Some of them, such as time Rover (see Resources for the July 2002 column), use modal logic and other logical formalisms to express deep attributes of run-time behavior.
其中一些项目，如TimeRover(见参考资料2002年7月专栏)，使用模态逻辑和其它逻辑形式来表示运行时行为的深度属性。
NASA is using the Deep Space Network and the Mars Odyssey orbiter to listen if the rover reawakens.
美国航空航天局正在操作深宇宙通信收集和火星奥德赛号轨道翱翔器听取漫游者是否被再次叫醒。
NASA is using the Deep Space Network and the Mars Odyssey orbiter to listen if the rover reawakens.
美国航空航天局正在操作深宇宙通信收集和火星奥德赛号轨道翱翔器听取漫游者是否被再次叫醒。
应用推荐