本文考虑经典的一维Stefan问题的数值求解.借助于Landau变换,构造了一个三层线性化Crank-Nicolson型差分格式来确定温度分布和动边界的位置.用能量分析方法证明了差分格式的唯一可解性。数值例子说明了差分格式的无条件稳定性和二阶收敛性.