Что такое верификация в PLAXIS

Численное моделирование на основе метода конечных элементов — это сложный инструмент, который учитывает большое разнообразие влияющих факторов. Используемые в PLAXIS модели представляют математические зависимости, которые ограничены рамками используемого метода и программного кода.

Гарантией надёжности решений на основе этих моделей является процесс верификации.

💡 Согласно стандарту ИСО 9000:2000, верификация — подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.

Процесс верификации позволяет пользователю проверить, как соответствует реализованная разработчиком компьютерная модель математической, принятой за основу.

📌 Слово «верификация» происходит от англ. verification «проверка». Английское слово происходит от лат. vērus «правда, истина» +‎ faciō «делать». Лат. vērus восходит к общему праиндоевропейскому корню, от которого произошло и общеслав. «вера».

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

Пользователям PLAXIS рекомендуется повторить интересующие примеры самостоятельно для лучшего понимания принципов работы программы и повышения качества результатов при решении собственных задач.