Верификация программных комплексов в соответствии с требованиями РААСН
Целью верификации программных комплексов в РААСН является:
- определение состава их возможностей по таким аспектам, как правомерность и точность математических моделей конструкций, элементов, узлов и др., реализуемых в программных комплексах (валидация);
- точность численного решения (в сравнении с аналитическими решениями, результатами эксперимента, решениями с использованием других программных средств);
- наличие и достаточность математического обоснования реализованных конечных элементов и методов решения различных задач;
- представительность библиотеки конечных элементов;
- перечень реализованных в программных комплексах нормативов;
- быстродействие программ, ограничения на количественные параметры комплексов (число узлов, элементов, определяемых собственных частот и форм и др.);
- возможность решения нелинейных задач (в том числе, моделирующих трение, проскальзывание, конструктивную и физическую нелинейность, нелинейные динамические эффекты и др.);
- возможность моделирования специальных режимов, например, процесса возведения сооружения, возможность расчета большепролетных, высотных и других сложных конструкций и др.;
- оценить слабо формализуемые характеристики программных средств по таким аспектам, как удобство интерфейса, возможность и удобство внедрения в ПС современных научных результатов.
В 2009 году совместно с НИЦ СтаДиО был разработан верификационный отчет по использованию ПК ANSYS Mechanical для решения задач строительного профиля (4 тома). Заказчики - ЗАО EMT, ООО «ГК Техстрой». В 2024 году проведена повторная верификация, свидетельство о верификации было продлено до 2034г.
В 2013 году совместно с НИЦ СтаДиО был разработан верификационный отчет по использованию ПК SIMULIA Abaqus. В 2024 году свидетельство о верификации было продлено на 10 лет.
Верификационный отчет Abaqus
В 2024 году инициирована верификация ANSYS Fluent в задачах строительной аэродинамики. По ссылке можно ознакомиться с несколькими томами верификационного отчета.
Верификационный отчет Ansys Fluent том 5
