О верификации математической модели промышленного алюминиевого электролизерадоклад на конференции