Разработка программного продукта для прогноза температурного и ионно-солевого режима засоленных пород и криопэговтезисы доклада