摘要

对基于显热容法的一维相变导热模型建立了Crank-Nicolson差分格式,采用Hermit插值法对容积热容量C(T)作了光滑化处理,进而运用能量不等式法证明了格式的稳定性与收敛性.