硬核读“天问”——火星探测背景下的IT技术