天文学家利用冰壳厚度来预测遥远卫星上的海洋温度