Представлено численное решение одномерной задачи Стефана с двумя фазовыми границами в виде конечно-разностных схем, реализованных на неравномерной сетке. Уравнения записаны в наиболее общей форме, то есть включают в себя не только кондуктивный, но также конвективный и диссипативный члены. В качестве примера выполнено оценочное моделирование процесса замерзания трещины в леднике, заполненной водой. Получено, что для ледников с температурой ниже –5°C
время замерзания 30-сантиметровой трещины составляет менее трёх месяцев.