Верификация алгоритмов задания жесткого контакта при решении задач механики деформируемого твердого тела методом серийного эксперимента на большой выборке моделей в облачной инфраструктуретезисы доклада