Численное моделирование термостабилизации фильтрующих грунтов

В работе проводится численное моделирование процесса термостабилизации (искусственного замораживания) фильтрующего грунта вокруг ствола рудника. Математическая модель процесса строится на основе классической модели Стефана, описывающей теплоперенос с фазовым переходом с учетом фильтрации в пористой среде, и описывается системой уравнений для температуры и давления. Для численного решения полученной задачи используется метод фиктивных областей. Дискретизация системы уравнений происходит методом конечных элементов, который реализуется с использованием программного пакета FEniCS на высокопроизводительном вычислительном кластере. Приведены и обсуждаются результаты численных расчетов.