ЕТАЛОННА АРХІТЕКТУРА ДЛЯ ПРОГРАМНОЇ ПЛАТФОРМИ ВЕРИФІКАЦІЇ МАТЕМАТИЧНИХ МОДЕЛЕЙ

Анотація

Мета цієї роботи полягає в розробці програмного забезпечення для верифікації та валідації мате- матичних моделей, що автоматично оцінює подібності та відмінності між двома кривими. Ця програма створю- ється, щоб допомогти інженерам та аналітикам виконувати порівняння кривих під час процесу верифікації та валідації чисельної моделі. Програмний комплекс дає змогу автоматичної попередньої обробки двох вхідних кривих, щоб зробити їх порівнянними.Методологія, використана в роботі, включає декілька варіантів попередньої обробки вхідних кривих перед об- численням метрик порівняння. Дані можуть бути відфільтровані та синхронізовані, або будь-які зсуви чи дрейфи можуть бути видалені. Для забезпечення максимально точної перевірки доступні різні опції попередньої обробки, що надаються через зручний графічний інтерфейс користувача. Будь-яка операція, від введення кривих до вибору опцій попередньої обробки та кінцевої візуалізації результатів, доступна через цей інтерфейс.Наукова новизна роботи полягає в автоматизації процесу попередньої обробки та порівняння кривих, що знач- но спрощує та прискорює процес верифікації та валідації чисельних моделей. Розроблена програма дозволяє зменши- ти людські помилки та забезпечити більш точні результати, що є важливим для підвищення якості та надійності моделей. Крім того, можливість збереження чисельних результатів у зручному форматі електронної таблиці та графіків у вигляді растрових зображень робить програму ще більш корисною для подальших досліджень.Висновки, зроблені на основі проведених досліджень, підкреслюють важливість верифікації та валідації як кри- тичних етапів у розробці комп'ютерних моделей для забезпечення їх точності та надійності. У роботі зазначено, що досягнення найкращих результатів вимагає постійного вдосконалення та дотримання найкращих практик у процесі розробки та застосування моделей. Простими прикладами з використанням аналітичної форми ілюструються ха- рактеристики метрик, що демонструють ефективність та точність розробленого програмного забезпечення.Таким чином, представлена робота робить значний внесок у сферу верифікації та валідації чисельних моделей, пропонуючи інноваційні підходи до автоматизації порівняння кривих та покращуючи точність та ефективність цього процесу. Ця програма стане незамінним інструментом для інженерів та аналітиків, сприяючи підвищенню якості математичних моделей та їх відповідності реальним даним.