АДАПТИВНИЙ МЕТОД КОНТРОЛЮ ТА КРИТЕРІЇ ПЕРЕВІРКИ ДОСТОВІРНОСТІ ОБЧИСЛЮВАЛЬНОЇ РЕАЛІЗАЦІЇ МОДЕЛЕЙ ДИНАМІЧНИХ СИСТЕМ

Автор(и)

DOI:

https://doi.org/10.32782/mathematical-modelling/2025-8-1-15

Ключові слова:

динамічна система, модель, достовірність обчислень, контрольний алгоритм, критерій перевірки обчислень, адаптивний метод

Анотація

Питання дослідження динамічних систем найбільш гостро постають під час розроблення, експлуатації та модернізації систем управління різноманітними об’єктами та процесами. Характерною рисою сучасних систем управління є широке використання різноманітних типів обчислювальних систем, що реалізують методи й алгоритми моделювання та управління. Тому якість функціонування систем моделювання та управління багато в чому визначається характеристиками обчислювальних засобів, що використовуються. Проблема забезпечення якості функціонування, зокрема й керівних систем з обчислювальною машиною в контурі управління, є дуже складною як з технічного, так і з математичного погляду. Під час вирішення цієї проблеми практика висунула на одне з перших місць науковий напрям, пов’язаний із розробленням методів і засобів, що забезпечують надійність і достовірність процесів обчислень і обробки інформації. У низці прикладних завдань, зокрема з оцінювання достовірності отриманого розв’язку, визначальне значення мають час прогнозу (тобто швидкодія в його отриманні) та простота задіяних обчислювальних процедур. Зокрема, такі вимоги можуть виникати під час розв’язування завдань з управління швидкоплинними динамічними процесами (об’єктами), особливо в умовах багатоваріантної постановки (до таких завдань можуть бути віднесені: оптимізаційні завдання з ітераційними процедурами пошуку оптимального закону управління; завдання диспетчерського управління в нештатних і аварійних ситуаціях, коли відшукується найкращий за окремим критерієм розв’язок із можливих альтернативних; завдання, які розв’язуються у «прискореному» масштабі часу, коли відшукуються закони програмного управління, за умови відсутності можливості організувати замкнуті системи управління тощо). Очевидно, що для перевірки достовірності обчислень стосовно динамічного стану досліджуваних об’єктів і процесів раціонально застосовувати контрольні алгоритми. Причому, в разі обмеженого часу на обчислення доцільно як контрольний (перевірочний) алгоритм використовувати спрощений алгоритм розв’язування задачі оцінки достовірності отриманого розв’язку вихідної задачі моделювання або управління.

Посилання

Промислові мережі та інтеграційні технології в автоматизованих системах / О.М. Пупена та ін. Київ : Ліра-К, 2011. 500 с.

Гліненко Л.К., Гліненко А.В., Сухоносов О.Г. Основи моделювання технічних систем. Львів : Бескид Біт, 2003. 176 с.

Костюшко І.А., Любашенко Н.Д., Третиник В.В. Методи обчислень. Київ : Політехніка, 2021. 243 с.

Чабанюк Я.М., Яковина В.С., Федасюк Д.В. Побудова і дослідження моделі надійності програмного забезпечення з індексом величини проекту. Інженерія програмного забезпечення. 2010. Вип. 1. C. 1–6.

Коссак О.М., Тумашова О.В. Методи наближених обчислень. Львів : Бак, 2003. 168 с.

Катаєва Є.Ю., Одокієнко С.М., Люта М.В. Практичний аналіз якості програмного забезпечення з відкритим кодом. Управління розвитком складних систем. 2020. № 44. С. 49–55.

Фельдман Л.П., Петренко А.І., Дмитрієва О.А. Чисельні методи в інформатиці. Київ : Видавнича група BHV, 2006. 480 с.

Положаєнко С.А., Прокофьєв А.Ю. Моделі визначення надійності динамічних систем, функціонування яких характеризується режимом профілактики. Вчені записки Таврійського національного університету імені В.І. Вернадського. Серія «Технічні науки». 2024. Т. 35 (74). № 1. С. 280–286.

Положаєнко С.А., Прокофьєв А.Ю. Параметрична редукція по точності математичних моделей динамічних об’єктів систем. Вісник Кременчуцького національного університету імені Михайла Остроградського. 2024. Вип. 6 (149). С. 125–131.

Foidl H., Felderer M. Integrating software quality models into risk-based testing. Software Quality Journal. 2018. Vol. 26. P. 809–847.

Polozhaenko S.A., Prokofievа L.L. Planning of the diagnostic experiment in the localization of troubleshooting failures of single-free systems. Informatics and Mathematical Methods in Simulation. 2018. Vol. 8. № 1. P. 5–16.

Ляшенко Б.М., Кривонос О.М., Вакалюк Т.А. Методи обчислень. Житомир : Вид-во ЖДУ, 2014. 228 c.

##submission.downloads##

Опубліковано

2025-05-27