摘要：高爐爐缸凝殼的生成可視為雙側均為對流條件的Stefan問題.基于求解這類Stefan問題,結合理論分析和數值計算方法,建立了能夠準確描述高爐爐缸內襯熱面凝殼生成過程的數值傳熱模型,并推導了相應的準穩態模型.借助相應條件下的實驗測量值對上述兩種模型進行了校驗.結果表明,相比于準穩態模型,數值傳熱模型針對雙側對流條件Stefan問題的計算精度更高.最后,為展示數值傳熱模型的應用性,以典型陶瓷杯結構爐缸為例,研究了陶瓷杯壁厚度對爐缸熱面凝殼生成過程的影響.