О новом методе верификации численного моделирования динамических контактных задачтезисы доклада