9.2 冰融化过程的数值模拟