本文聚焦于基于区域嵌入法的反Stefan问题的高效计算。通过区域嵌入方法,反Stefan问题可以表述为确定出p∈H1(Γ2×(0,T))使得此处公式省略且y(p)(x，t)是下列初边值问题之解:此处公式省略其中D是延拓后的固定区域,Γ1与Γ2分别是D的两个边界,Γ1是固定边界,Γ2是虚拟边界。考虑到该问题的不适定性,通过正则化方法最后将其转化为一个优化问题来求解。　　本文在求解以上问题的原有有限元离散化方法框架的基础上,详细给出了算法的具体计算步骤,特别在求解优化问题时,借助正问题按时间层逐层计算得到的结果,使用共轭梯度法来执行具体计算,从而提高了问题求解的整体计算效率。其次,使用基于Morozov差异性准则的两参数算法来确定正则化参数,为方法的实际应用带来了很大便利。本文也进行了系统的数值模拟实验来验证相关算法的有效性和可靠性,以及正则化参数选取的合理性。