永冻土层热传导问题数学建模