Інфокомунікаційні та комп’ютерні технології https://visn-icct.uu.edu.ua/index.php/icct <p style="text-align: justify;"><strong><img style="float: left; padding-right: 10px; padding-bottom: 10px;" src="https://visn-icct.uu.edu.ua/public/site/images/taureau/103-2022-------0.png" alt="" width="260" height="235" />Назва: </strong>Iнфокомунікаційні та комп’ютерні технології</p> <p style="text-align: justify;"><strong>Засновник журналу:</strong> <a href="https://uu.edu.ua/" target="_blank" rel="noopener">Відкритий міжнародний університет розвитку людини «Україна»</a>.</p> <p style="text-align: justify;"><strong>Реєстрація суб'єкта у сфері друкованих медіа:</strong> <a href="http://n-tp.org.ua/images/visn-icct.uu.edu.ua.rishennia.pdf">Рішення Національної ради України з питань телебачення і радіомовлення № 2317 від 11.07.2024 року.</a> Ідентифікатор медіа: R30-05387.</p> <p style="text-align: justify;"><strong>Суб’єкт у сфері друкованих медіа</strong> – Заклад вищої освіти «Відкритий міжнародний університет розвитку людини «Україна» (Код ЄДРПОУ 30373644, вул. Львівська, буд. 23, м. Київ, 03115, viddilorgrobotu@ukr.net, тел. +380 (67) 503-64-52). ROR: <a href="https://ror.org/02ea7cc16" target="_blank" rel="noopener">https://ror.org/02ea7cc16</a>.</p> <p style="text-align: justify;">Журнал включений до <strong>Переліку наукових фахових видань України категорії «Б»</strong> відповідно до <a href="https://mon.gov.ua/ua/npa/pro-zatverdzhennya-rishen-atestacijnoyi-kolegiyi-ministerstva-vid-29062021-735" target="_blank" rel="noopener">Наказу МОН України № 735 від 29.06.2021 р. (додаток 4)</a> та <a href="https://mon.gov.ua/ua/npa/pro-rishennya-z-pitan-prisudzhennya-naukovih-stupeniv-i-prisvoyennya-vchenih-zvan-ta-vnesennya-zmin-do-nakazu-ministerstva-osviti-i-nauki-ukrayini-vid-1-lyutogo-2022-roku-89" target="_blank" rel="noopener">Наказу МОН України № 320 від 07.04.2022 р. (додаток 2)</a> зі <strong>спеціальностей:</strong> F2 Інженерія програмного забезпечення, F3 Комп’ютерні науки, F7 Комп’ютерна інженерія, F5 Кібербезпека та захист інформації, G5 Електроніка, електронні комунікації, приладобудування та радіотехніка.</p> <p style="text-align: justify;"><strong>Кластер: Інформаційні технології та електроніка</strong> (F2 Інженерія програмного забезпечення, F3 Комп’ютерні науки, F4 Системний аналіз та наука про дані, F5 Кібербезпека та захист інформації, F6 Інформаційні системи і технології, F7 Комп’ютерна інженерія, G5 Електроніка, електронні комунікації, приладобудування та радіотехніка, G6 Інформаційно-вимірювальні технології, G7 Автоматизація, комп’ютерно-інтегровані технології та робототехніка).</p> <p style="text-align: justify;"><strong>Періодичність виходу:</strong> двічі на рік.</p> <p style="text-align: justify;"><strong>ISSN</strong> <a href="https://portal.issn.org/resource/ISSN/2788-5518" target="_blank" rel="noopener">2788-5518</a>.</p> <p style="text-align: justify;"><strong>DOI</strong> 10.36994/2788-5518.</p> <p style="text-align: justify;"><strong>Адреса редакції:</strong> 03115, Україна, м. Київ, вул. Львівська, 23, корпус 2, к. 205.</p> <p style="text-align: justify;"><strong>Видавець:</strong> Видавничий дім «Гельветика» (Код ЄДРПОУ 38044877; 65101, Україна, м. Одеса, вул. Інглезі, 6/1; тел. +38 (095) 934-48-28, +38 (097) 723-06-08; e-mail: <span id="cloak640be1d7f3025f91995f93b891f5138b"><a href="mailto:mailbox@helvetica.ua">mailbox@helvetica.ua</a></span>; Свідоцтво суб’єкта видавничої справи ДК No 7623 від 22.06.2022 р.). ROR видавця: <a href="https://ror.org/0021ckm71" target="_blank" rel="noopener noreferrer">https://ror.org/0021ckm71</a>.</p> <p style="text-align: justify;"><strong>Тематика:</strong></p> <ul style="text-align: justify;"> <li class="show">Теоретичні основи інфокомунікації та комп’ютерних наук</li> <li class="show">Інфокомунікаційні системи</li> <li class="show">Безпроводові технології</li> <li class="show">Технічна електродинаміка та антени</li> <li class="show">Волоконно-оптичні системи</li> <li class="show">Радіорелейні та супутникові системи</li> <li class="show">Телевізійні системи</li> <li class="show">Cистеми відеоконференцзв’яку та відеоспостереження</li> <li class="show">Комп'ютерні системи та мережі</li> <li class="show">Комп'ютерна і програмна інженерія</li> <li class="show">Системи SCADA</li> <li class="show">Захист інформації та кібербезпека</li> <li class="show">Прикладна математика та моделювання</li> <li class="show">Метрологія та інформаційно-вимірювальні системи</li> <li class="show">Медична та екологічна електроніка</li> </ul> <p style="text-align: justify;"><strong>Особливі характеристики видання:</strong></p> <p style="text-align: justify;">Журнал публікує результати фундаментальних та прикладних досліджень у всіх актуальних областях інфокомунікацій та комп’ютерних технологій та надає важливу інформацію для практичного використання науковцям, інженерам, аспірантам та студентам.</p> <p style="text-align: justify;">Журнал розрахований на вітчизняну та міжнародну аудиторії вчених-дослідників, інженерів, аспірантів, студентів.</p> <p style="text-align: justify;">Статті публікуються англійською (бажано) та українською мовами.</p> <p style="text-align: justify;">Журнал відповідає міжнародним видавничим стандартам щодо інформативності назви журналу та повного опису статей.</p> <p style="text-align: justify;">Політика рецензування статей полягає в залученні до рецензування фахових членів редколегії та відомих вітчизняних і закордонних науковців з висвітленням запропонованрго переліку питань та надання зауважень і рекомендацій. Проводиться подвійне сліпе рецензування.</p> <p style="text-align: justify;">Редакційна політика журналу сприяє схильності до аффіляції членів редколегії та авторів статей, виконанню вимог високих етичних та професійних стандартів публікацій, забезпеченню прав авторів.</p> <p style="text-align: justify;">Журнал розміщується в базі <a href="http://www.irbis-nbuv.gov.ua/cgi-bin/irbis_nbuv/cgiirbis_64.exe?Z21ID=&amp;I21DBN=UJRN&amp;P21DBN=UJRN&amp;S21STN=1&amp;S21REF=10&amp;S21FMT=juu_all&amp;C21COM=S&amp;S21CNR=20&amp;S21P01=0&amp;S21P02=0&amp;S21P03=PREF=&amp;S21COLORTERMS=0&amp;S21STR=ict" target="_blank" rel="noopener">«Наукова періодика України» Національної бібліотеки України ім. В.І. Вернадського</a>.</p> <p style="text-align: justify;">Журнал індексований в міжнародній науковометричній базі <a href="https://journals.indexcopernicus.com/search/details?id=69985&amp;lang=ru">Index Copernicus</a>. Здійснюються заходи щодо просування журналу до міжнародної науковометричної бази Web of Science.</p> Open International University of Human Development Ukraine uk-UA Інфокомунікаційні та комп’ютерні технології 2788-5518 АНАЛІЗ СУЧАСНИХ ПІДХОДІВ ДО УПРАВЛІННЯ РЕСУРСАМИ В ТЕЛЕКОМУНІКАЦІЙНИХ СИСТЕМАХ ІЗ ВИКОРИСТАННЯМ МЕТОДІВ ШТУЧНОГО ІНТЕЛЕКТУ https://visn-icct.uu.edu.ua/index.php/icct/article/view/191 <p>Анотація. Швидка еволюція телекомунікаційних технологій призвела до збільшення складності мережі, її неоднорідності та динаміки трафіку даних. Традиційні підходи до управління ресурсами, засновані на статичних або евристичних методах, більше не можуть забезпечити адаптивність, масштабованість та якість обслуговування (QoS), необхідні сучасним додаткам. Тому штучний інтелект (ШІ) та машинне навчання (МН) стали ключовими факторами інтелектуальної автоматизації в телекомунікаційних системах, дозволяючи приймати рішення в режимі реального часу та самооптимізувати ресурси. У цій статті аналізуються сучасні підходи до управління ресурсами в телекомунікаційних системах на основі ШІ та систематизуються дослідження щодо використання контрольованого, неконтрольованого, підкріплюваного та федеративного навчання для оптимізації радіо-, обчислювальних та енергетичних ресурсів у мережах наступного покоління. Аналіз зосереджений на таких фреймворках, як відкриті мережі радіодоступу (O-RAN), багатоканальні периферійні обчислення (MEC) та інтегровані мережі «супутник-повітря-земля» (SAGIN), де інтелектуальна оркестрація забезпечує продуктивність, енергоефективність та безперервність обслуговування. Навчання з підкріпленням (RL) та глибоке навчання з підкріпленням (DRL) визначені як найперспективніші парадигми для динамічного розподілу ресурсів та мережевого сегментування, тоді як федеративне навчання (FL) дозволяє проводити децентралізоване навчання моделей зі збереженням конфіденційності. Механізми прогнозного керування на основі штучного інтелекту, інтегровані в самоорганізовані мережі (SON), дозволяють проактивно адаптуватися до змін навантаження та мобільності. Ключові проблеми масштабного розгортання ШІ включають обмежені набори даних, обчислювальні витрати, інтерпретованість моделі та обмеження в режимі реального часу. Майбутні дослідження повинні зосередитися на гібридних моделях ШІ, які поєд нують аналітичну оптимізацію з адаптацією на основі навчання, та на розробці стандартизованих контрольних показників для систем управління на основі ШІ. Інтеграція ШІ в управління телекомунікаційними ресурсами підвищує гнучкість, операційну ефективність та оптимізацію енергоспоживання, формуючи основу для інтелектуальних мережевих архітектур 5G/6G.</p> В. О. Гнатюк О. М. Литвинюк Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 9 14 10.36994/2788-5518-2025-02-10-01 КОРЕКТОР ПОЛЯРИЗАЦІЇ АНТЕННО-ФІДЕРНОГО ТРАКТУ МОБІЛЬНОЇ ЦИФРОВОЇ ТРОПОСФЕРНОЇ СТАНЦІЇ https://visn-icct.uu.edu.ua/index.php/icct/article/view/193 <p>Анотація. Перспективні мобільні цифрові тропосферні станції мають антенно-фідерні тракти, побудовані на частково заповнених діелектриком хвилеводах. В склад антенно-фідерного тракту входять поляризаційні селектори, призначені для забезпечення роботи мобільних цифрових тропосферних станцій в режимах двох лінійних поляризацій – горизонтальної та вертикальної, що потребує забезпечення відповідної кросполяризаційної розв’язки. Коректор поляризації призначений для корекції паразитного поляризаційного зсуву, що вноситься деполяризаторами. Наведена конструкція поляризаційного селектора на частково заповненому діелектриком квадратному хвилеводі. В даній роботі пропонується пристрій, а саме коректор поляризації на частково заповнених діелектриком квадратному хвилеводі, який забезпечує більш високу кросполяризаційну розв’язку для лінійно-поляризованих хвиль. Цей пристрій коректує положення лінійно-поляризованої хвилі в горизонтальній та вертикальній площинах. Проведено аналіз тематичної літератури. Коретор поляризації представляє собою металізований плоско-поперечний стик з двома ортогональними щілинами з увімкненими в них відкритими нелінійними структурами. В роботі досліджено коректор поляризації у вигляді металізоваого плоско-поперечного стику з двома ортогональними щілинами з увімкненими в них відкритими нелінійними структурами. В кожну з ортогональний щілин увімкнено відкриту нелінійну структуру у вигляді наноплівки. Наявність тонких ВНС в щілинах у вигляді наноплівок відповідає рівню нанотехнологій. Регулювання вольтамперних параметрів через відкриті нелінійні структури забезпечує необхідну реактивну провідність стику та модуля коефіцієнта трансформації, а ті в свою чергу необхідну кросполяризаційну розв’язку для лінійно-поляризованих хвиль. Записано коефіцієнт кросполяризаційної розв’язки в термінах S-матриці. Приведені власні векторні функції частково заповненого діелектриком квадратного хвилеводу, які виражені через функції Матьє. Для розрахунків функції Матьє представлені у вигляді тригонометричних рядів та рядів по функціям Бесселя першого роду. Отримані чисельні результати для коефіцієнта кросполяризаційної розв’язки в залежності від модуля коефіцієнта відображення при різних утриманнях членів рядів функції Матьє.</p> В. М. Почерняєв Н. М. Сивкова Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2026-03-19 2026-03-19 2 10 15 22 10.36994/2788-5518-2025-02-10-02 АРХІТЕКТУРА ТА РЕАЛІЗАЦІЯ АСИСТЕНТА ДОКУМЕНТАЦІЇ НА ОСНОВІ ПРОТОКОЛУ КОНТЕКСТУ МОДЕЛІ: ПРИКЛАД ГЕНЕРАЦІЇ КОНТЕКСТУ ЗА ДОПОМОГОЮ ШТУЧНОГО ІНТЕЛЕКТУ https://visn-icct.uu.edu.ua/index.php/icct/article/view/194 <p>Анотація. Сучасні системи технічної документації постійно зростають за обсягом і складністю, що ускладнює для користувачів отримання точних та контекстно релевантних відповідей без значних зусиль з навігації. Традиційні механізми пошуку, побудовані на ключових словах, мають суттєві обмеження, оскільки спираються на лексичну відповідність, а не на розуміння намірів користувача чи здатність синтезувати інформацію, розподілену між різними джерелами документації. У результаті користувачі стикаються з фрагментованими відповідями та змушені самостійно об’єднувати окремі частини, щоб отримати повну інформацію. У статті представлено архітектуру, концептуальні принципи та особливості реалізації інтелектуального асистента документації, побудованого на основі протоколу контексту моделі (MCP). MCP забезпечує стандартизований спосіб інтеграції між джерелами документації та великими мовними моделями. Запропоноване рішення доповнює традиційні підходи за допомогою генерації контексту на основі ШІ, яка автоматично аналізує, сегментує та структурує сирий текст документації у ресурси, сумісні з MCP. Такий підхід гарантує, що відповіді LLM залишаються точними, заснованими на актуальних даних і менш схильними до галюцинацій. Архітектура складається з чотирьох взаємопов’язаних рівнів: вебсайту документації, сервера MCP, системи ШІ-генерації контексту та шару інтеграції LLM. Кожен рівень виконує чітко визначені функції, що підвищує масштабованість і спрощує підтримку системи. На основі детального прикладу продемонстровано, як система автоматично визначає релевантні фрагменти документації, отримує необхідний контекст і формує семантично точні відповіді. Результати дослідження показують, що асистент на основі MCP суттєво підвищує якість відповідей порівняно з традиційним пошуком, забезпечує вищу семантичну релевантність, повноту інформації та значне зменшення рівня галюцинацій. Стандартизована інфраструктура MCP також покращує сумісність, гнучкість і простоту розгортання. Отримані результати підтверджують потенціал MCP як основи для майбутніх інтелектуальних систем документації.</p> Микола Фант Тетяна Вакалюк Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 23 29 10.36994/2788-5518-2025-02-10-03 ЕВОЛЮЦІЯ АРХІТЕКТУР ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ОБЧИСЛЮВАЛЬНИХ СИСТЕМ: ВІД МОНОЛІТНИХ ДО МІКРОСЕРВІСНИХ https://visn-icct.uu.edu.ua/index.php/icct/article/view/195 <p>Анотація. Проведено дослідження історичної еволюції архітектур програмного забезпечення обчислювальних систем – від перших монолітних структур до сучасних мікросервісних рішень. Розглянуто ключові етапи розвитку: ранні обчислювальні системи з простими програмними структурами (1940–1960-ті роки), становлення монолітної архітектури як фундаментального підходу до побудови цілісних систем, перехід до клієнт-серверних та багаторівневих (n-tier) моделей, появу розподілених об’єктних систем (CORBA, RMI) та web-сервісів (SOAP), еволюцію REST як легковагової альтернативи та формування сервіс-орієнтованої архітектури (SOA), що підготувала ґрунт для мікросервісної парадигми. Особливу увагу приділено детальному аналізу мікросервісної архітектури як сучасного стандарту побудови масштабованих, гнучких та відмовостійких програмних систем, підтримуваних екосистемою технологій контейнеризації (Docker), оркестрації (Kubernetes) та Service Mesh. Здійснено систематичне порівняння монолітних, перехідних (клієнт-серверних, n-tier, SOA) та мікросервісних архітектур за критеріями масштабованості, гнучкості, складності підтримки, економічної ефективності та безпеки. Виявлено їхні переваги й обмеження та визначено законо- мірності еволюційного переходу між ними. Показано, що мікросервісний підхід є природним етапом розвитку архітектур програмного забезпечення, який забезпечує високий рівень автономності команд розробки, горизонтальну масштабованість компонентів, технологічну незалежність (поліглотне програмування) та інтеграцію з практиками DevOps і CI/CD. Водночас окреслено виклики мікросервісної архітектури – ускладнення інфраструктури, проблеми управління узгодженістю даних у розподілених системах і забезпечення безпеки міжсервісної комунікації. Окреслено перспективні напрями розвитку архітектур програмного забезпечення: поширення serverless-підходів та event-driven моделей для реактивних систем, впровадження Service Mesh технологій для надійної комунікації, інтеграцію edge computing для обробки даних на периферії мережі, автоматизацію через Infrastructure as Code (IaC) та використання штучного інтелекту (AIOps) для інтелектуальної оптимізації, моніторингу й створення self-healing систем. Результати дослідження є корисними для архітекторів програмного забезпечення, інженерів і дослідників у галузі розподілених систем.</p> С. М. Бабич Т. Г. Ляшук Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 30 36 10.36994/2788-5518-2025-02-10-04 ЗАХИСТ ВІД АКТИВНИХ ЗАВАД БЕЗДРОТОВИХ СИСТЕМ ЗВ’ЯЗКУ З АДАПТИВНИМИ ФАЗОВАНИМИ АНТЕННИМИ РЕШІТКАМИ https://visn-icct.uu.edu.ua/index.php/icct/article/view/196 <p>Анотація. Актуальність та проблема. Надійність зв’язку є критично важливою для військових та силових структур, але бездротові системи вразливі до активних завад (глушіння, імітація). Ці завади мають ворожу природу, динамічно адаптуються та становлять пряму загрозу безпеці. Аналіз загроз показує, що активні перешкоди, на відміну від пасивних (тепловий шум, атмосферні), вимагають адаптивних рішень для збереження стійкості комунікацій у сучасному, насиченому радіоелектронному середовищі. Мета роботи. Обґрунтування та дослідження методології захисту бездротових систем зв’язку від активних завад шляхом інтеграції адаптивних фазованих антенних решіток (АФАР) та засобів радіо- та радіотехнічної розвідки (РРТР). Дослідження зосереджено на використанні АФАР для динамічного керування діаграмою спрямованості (ДС) та ефективного пригнічення перешкод. Методи дослідження. Запропонована методологія ґрунтується на просторово-частотній обробці сигналу з використанням АФАР. Підхід передбачає два ключові етапи: 1) використання засобів РРТР для оперативного виявлення, розпізнавання та пеленгування джерел активних завад; 2) адаптоване керування ДС АФАР (як приймальних, так і передавальних) для формування глибоких провалів («нулів») у напрямку перешкод та максимізації енергії корисного сигналу у напрямку кореспондента. Розглянуто різні алгоритми керування, включаючи методи на основі кореляційної матриці та градієнтні методи (математична оптимізація), які є найбільш ефективними для систем реального часу. Основні результати та практичне значення. Доведено, що інтеграція АФАР із системами зв’язку є ефективним механізмом підвищення стійкості, що дозволяє зменшити вплив потужних перешкод ще до етапу демодуляції. Сумарний виграш від використання АФАР у порівнянні з всеспрямованою антеною може сягати 20–30 дБ, що складається з конструктивного виграшу (6–15 дБ) та виграшу від активного подавлення перешкод (10–20 дБ). Цей значний приріст у співвідношенні сигнал/перешкода забезпечує надійний зв’язок в умовах високої щільності завад. Розроблені рішення мають стратегічне значення для підвищення захищеності критично важливих комунікаційних систем.</p> В. М. Безрук Ю. М. Голобородько В. І. Заболотний Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 37 42 10.36994/2788-5518-2025-02-10-05 ПРОЄКТУВАННЯ ПРОГРАМНОЇ СИСТЕМИ ПЛАНУВАННЯ ЧАСУ НА ОСНОВІ КРОСПЛАТФОРМНИХ ТЕХНОЛОГІЙ https://visn-icct.uu.edu.ua/index.php/icct/article/view/197 <p>Анотація. У статті розглянуто процес проєктування навчально орієнтованої програмної системи для автономного планування часу, що відповідає сучасним вимогам кросплатформності, адаптивності та конфіденційності. Актуальність дослідження зумовлена потребою в гнучких цифрових інструментах тайм-менеджменту, які можуть бути модифіковані відповідно до індивідуальних потреб користувача. Попри наявність широкого спектра готових рішень, зокрема Todoist, Microsoft To Do та Any.do, актуальним залишається завдання створення відкритої архітектури, орієнтованої на освітнє середовище та практичне засвоєння принципів проєктування програмного забезпечення. У межах дослідження здійснено порівняльний аналіз згаданих цифрових рішень, сформульовано функціональні та нефункціональні вимоги до нової програмної системи, а також обґрунтовано вибір архітектурного шаблону MVVM з урахуванням принципів clean architecture, що сприяють чіткому розмежуванню функцій між компонентами. Побудовано низку UML-діаграм, що відображають функціональну та структурну модель системи: діаграма варіантів використання окреслює основні сценарії взаємодії користувача, діаграма активностей демонструє логіку виконання дій, діаграма послідовності ілюструє часову взаємодію між компонентами, а діаграма класів формалізує структуру сутностей та їх зв’язки. Реалізація системи не входить до складу цієї роботи та розглядається як наступний етап, для якого запропоновано узагальнені рекомендації щодо вибору технологічного стеку, здатного забезпечити кросплатформну розробку, автономність та зручність впровадження. Результати роботи можуть бути використані в освітньому процесі для формування навичок архітектурного моделювання, системного мислення та підготовки до реалізації повноцінних програмних продуктів. Запропонована модель має потенціал для подальшого розширення функціоналу та інтеграції з хмарними сервісами.</p> О. В. Ващіліна В. М. Голотюк Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 43 50 10.36994/2788-5518-2025-02-10-06 МЕТОД ДИНАМІЧНОГО БАЛАНСУВАННЯ ПРОДУКТИВНОСТІ СЕРВЕРІВ У ІНТЕРАКТИВНИХ СИСТЕМАХ https://visn-icct.uu.edu.ua/index.php/icct/article/view/198 <p>Анотація. У статті запропоновано метод динамічного балансування продуктивності серверів в інтерактивних системах, що функціонують в умовах непередбачуваних змін інтенсивності клієнтських звернень. Показано, що традиційні підходи до розподілу навантаження між серверами, орієнтовані на статичні або квазістатичні режими роботи, не забезпечують стабільної якості обслуговування користувачів при високій динамічності трафіка. Запропонований метод базується на принципах теорії автоматичного регулювання та використовує апарат аналітичного синтезу регуляторів для реалізації механізму авторегулювання у реальному часі. У рамках дослідження сформульовано оптимізаційну задачу вирівнювання поточних коефіцієнтів завантаження серверів шляхом мінімізації інтегрального квадратичного функціоналу, який враховує відхилення реальної траєкторії станів системи від оптимальної. Розроблено математичну модель процесу балансування, що представлена у вигляді системи диференціальних рівнянь із відповідними обмеженнями, які гарантують сталість роботи системи під час різких сплесків трафіка. Здійснено синтез регулюючого функціоналу, що поєднує функцію вирівнювання, функцію Ляпунова-Беллмана та механізм керування на основі рівняння Ріккаті. Отримано рівняння настроювання у замкненій формі, яке описує процес динамічного вирівнювання навантаження між серверами. Доведено коректність роботи механізму балансування та показано, що запропонований метод забезпечує рівномірний розподіл навантаження, зменшення ризику перенавантаження окремих серверів, скорочення часу відгуку системи та підвищення ефективності використання обчислювальних ресурсів. Отримані результати можуть бути використані при розробленні адаптивних серверних платформ, хмарних систем оброблення запитів та інтелектуальних керуючих модулів для систем реального часу.</p> В. О. Гнатюк К. Ю. Зандер Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 51 64 10.36994/2788-5518-2025-02-10-07 ЗАСТОСУВАННЯ АЛГОРИТМІВ ДЕТЕКЦІЇ ОБ’ЄКТІВ У БОРТОВИХ СИСТЕМАХ ВІДЕОАНАЛІЗУ БПЛА З ВИКОРИСТАННЯМ МОДЕЛЕЙ ГЛИБОКОГО НАВЧАННЯ https://visn-icct.uu.edu.ua/index.php/icct/article/view/199 <p>Анотація. Ефективна детекція об’єктів у реальному часі з використанням бортових систем комп’ютерного зору на безпілотних літальних апаратах (БПЛА) є фундаментальною задачею для багатьох прикладних галузей. Традиційні підходи часто не справляються з унікальними викликами, такими як обмежені обчислювальні ресурси (SWaP), висока швидкість руху, та складні умови зйомки з повітря. Використання алгоритмів глибокого навчання (Deep Learning) відкриває нові можливості для створення автономних систем, здатних аналізувати відеопотік безпосередньо на борту. У даній роботі проведено комплексний аналіз придатності моделі YOLOv8, як однієї з провідних архітектур, для задач детекції об’єктів з БПЛА, порівняно з альтернативними архітектурами глибоких нейронних мереж. Досліджено теоретичні можливості застосування різних варіантів моделей сімейства YOLO, а також архітектур Faster R-CNN, RetinaNet та EfficientDet в контексті специфічних умов аерозйомки. Проаналізовано технічні характеристики кожної архітектури, включаючи швидкість обробки, точність детекції на стандартних датасетах, обчислювальні вимоги та придатність для роботи в режимі реального часу. Виконано оцінку відповідності можливостей різних моделей специфічним вимогам складних задач детекції, зокрема виявленню малорозмірних та замаскованих об’єктів. Як приклад однієї з найбільш критичних таких задач розглядається виявлення вибухонебезпечних предметів з повітря. Результати аналізу демонструють, що YOLOv8 теоретично забезпечує оптимальний баланс між точністю виявлення та швидкістю обробки відео-потоку, необхідними для практичного застосування на борту БПЛА. Визначено ключові переваги та обмеження кожної архітектури, а також окреслено перспективи їх практичного впровадження для вирішення широкого кола задач, що вимагають автономного аналізу з борту БПЛА.</p> О. C. Дьяконов О. О. Ушкаренко А. В. Обрубов C. В. Нянько А. С. Сірівчук Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 65 74 10.36994/2788-5518-2025-02-10-08 ОБРОБКА ВЕЛИКИХ ДАНИХ ТРАНЗАКЦІЙ БАНКІВСЬКОЇ СИСТЕМИ ЗАСОБАМИ МАШИННОГО НАВЧАННЯ https://visn-icct.uu.edu.ua/index.php/icct/article/view/200 <p>Анотація. Стрімка цифровізація банківського сектору та активне впровадження електронних платіжних сервісів призводять до формування значних обсягів транзакційних даних, що надходять у режимі реального часу та характеризуються високою швидкістю, різноманітністю й складною структурою. Ефективна обробка та аналіз таких великих даних є критично важливими для забезпечення фінансової безпеки, підвищення якості обслуговування клієнтів, виявлення шахрайських операцій і підтримки управлінських рішень у банківських системах. Традиційні методи аналізу даних часто не забезпечують необхідної точності та масштабованості в умовах сучасних транзакційних навантажень. У статті розглянуто застосування методів машинного навчання для обробки великих масивів транзакційних даних банківської системи з метою автоматизованого аналізу, класифікації та прогнозування фінансових операцій. Проаналізовано основні підходи машинного навчання, зокрема методи навчання з учителем і без учителя, а також моделі глибокого навчання, які використовуються для виявлення аномалій, детекції шахрайства, сегментації клієнтів і прогнозування фінансових ризиків у середовищах Big Data. Особливу увагу приділено проблемам якості транзакційних даних, включаючи наявність шуму, пропущених значень і дисбалансу класів, а також питанням обчислювальної складності, масштабованості та адаптації алгоритмів машинного навчання до розподілених обчислювальних платформ. Окреслено сучасні тенденції інтеграції методів машинного навчання з системами розподіленої обробки даних і хмарними технологіями, що забезпечують високу продуктивність та обробку даних у реальному часі. Показано, що використання методів машинного навчання в обробці великих даних транзакцій банківської системи дозволяє суттєво підвищити точність аналітичних моделей, оперативність виявлення ризикових операцій і загальну ефективність функціонування банківських інформаційних систем, що робить ці методи важливим інструментом сучасної фінансової аналітики.</p> С. С. Забара А. С. Дуднік І. В. Ізварін В. І. Яремак І. Д. Веркалець Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 75 82 10.36994/2788-5518-2025-02-10-09 АВТОМАТИЗАЦІЯ ТЕСТУВАННЯ ІГРОВИХ МЕХАНІК ЗА ДОПОМОГОЮ ШТУЧНОГО ІНТЕЛЕКТУ https://visn-icct.uu.edu.ua/index.php/icct/article/view/201 <p>Анотація. У сучасній ігровій індустрії складність відеоігор постійно зростає: великі відкриті світи, численні варіанти взаємодій, нелінійні сценарії, процедурно-генерований контент та інтерактивні елементи стають нормою. Це створює суттєві виклики для забезпечення якості, оскільки вручну перевірити всі можливі комбінації дій гравця, виявити аномалії в механіках, оцінити баланс ігрових систем або визначити проблеми продуктивності стає дедалі складніше. У зв’язку з цим дедалі активніше впроваджуються підходи автоматизації тестування, зокрема із застосуванням методів штучного інтелекту (ШІ) та машинного навчання. У статті розглядається концепція застосування ШІ-агентів для автоматичного тестування ігрових механік. Зокрема, увага приділяється генерації тестових сценаріїв, імітації поведінки гравця, виявленню порушень балансу, перевірці продуктивності, регресійному тестуванню та пошуку аномалій у даних гри. Розглянуто сучасні методи, включно з підкріпленим навчанням (DRL), глибокими нейронними мережами, плануванням на основі логічних моделей (PDDL) та методами агентного моделювання, які дозволяють досліджувати ігровий простір без прямого втручання у код або модифікацій рушія гри. На основі запропонованої методики представлено фрагмент реалізації алгоритму на Python, який включає модуль генерації тестових траєкторій із підкріпленням, аналіз логів гри та обчислення метрик покриття тестування. Показано, що використання ШІ дозволяє значно підвищити ефективність тестування: покриття тестами збільшується на ~42 %, витрати часу на тестування скорочуються на ~40 %, а кількість виявлених дефектів збільшується на ~72 % порівняно з базовими ручними методиками. Стаття також узагальнює переваги та недоліки автоматизації тестування ігрових механік, визначає ключові виклики впровадження таких рішень у промислову практику, а також окреслює перспективи подальших досліджень, включаючи адаптацію агентів до процедурно-генерованого контенту, інтеграцію мультимодальних даних (звук, графіка, фізика) та розвиток гібридних моделей тестування, що поєднують можливості ШІ та експертизу людини.</p> Г. А. Завгородня В. В. Завгородній Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 83 88 10.36994/2788-5518-2025-02-10-10 РОЗРОБЛЕННЯ ТА АНАЛІЗ МАТЕМАТИЧНИХ МОДЕЛЕЙ І ОБЧИСЛЮВАЛЬНИХ МЕТОДІВ ДЛЯ СИМУЛЯЦІЇ ПРОЦЕСІВ У ВІРТУАЛЬНІЙ РЕАЛЬНОСТІ https://visn-icct.uu.edu.ua/index.php/icct/article/view/202 <p>Анотація. Дана робота представляє комплексний аналіз математичних моделей, обчислювальних методів та алгоритмів візуалізації, які формують фундаментальну основу для розробки інтерактивних середовищ віртуальної реальності (ВР) з високим ступенем фізичної достовірності та візуальної якості. Метою дослідження є не лише систематизація теоретичних основ тривимірного геометричного моделювання, фізичної симуляції твердих тіл та алгоритмів рендерингу у реальному часі, але й глибокий критичний аналіз їхньої практичної реалізації, архітектурних обмежень, що поєднує рушій “Source” у його реалізації через платформу “Garry’s Mod” з сучасним програмним інтерфейсом віртуальної реальності “OpenVR”, з використанням стаціонарної робочої машини (персонального комп’ютера) на базі операційної системи “Windows 10”. Центральним науковим та інженерним викликом у даному контексті виступає застосування не просто добре відомих математичних методів до задач віртуальної реальності, а архітектурних рішень сучасних ВР-систем, для підтримки стереоскопічного рендерингу, просторового відстеження, взаємодію з об’єктами та інструментами в віртуальному середовищі, у принципово іншу архітектуру рушія “Source”. Описане у даній роботі програмне рішення, що перебуває у стані активної розробки та вдосконалення, виступає як складний багаторівневий «шар-транслятор» або програмний міст, який забезпечує з’єднання між низькорівневим апаратним забезпеченням віртуальної реальності. Включає роботу з шоломами з вбудованими дисплеями високої роздільності та системами відстеження, контролерів, що комунікують через стандартизований програмний інтерфейс OpenVR з використанням математично чистих представлень просторових трансформацій через одиничні кватерніони та однорідні матриці, та високорівневим середовищем “Garry’s Mod” “Lua”, яке оперує традиційними для рушія “Source” концепціями сутностей, подієво-орієнтованої архітектури.</p> Ю. Р. Кулик А. Є. Батюк Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 89 97 10.36994/2788-5518-2025-02-10-11 ВИКОРИСТАННЯ КРОС-КОРЕЛЯЦІЇ ЯК ІНСТРУМЕНТУ ВЗАЄМОДІЇ З КОМП’ЮТЕРНИМИ СИСТЕМАМИ ДЛЯ ОСІБ З ПОРУШЕННЯМИ ОПОРНО-РУХОВОГО АПАРАТУ https://visn-icct.uu.edu.ua/index.php/icct/article/view/203 <p>Анотація. Ця робота заглиблюється у використання методів крос-кореляції як вирішального інструменту для покращення взаємодії людини з комп’ютером (HCI) для осіб, які потребують спеціалізованої підтримки. Основна мета зосереджена на розробці альтернативних та доступних методів взаємодії, які перетворюють конкретні, часто нюансовані, сигнали користувача на надійні комп’ютерні команди. Запропонована методологія інтегрує алгоритми крос-кореляції для досягнення точного розпізнавання шаблонів у сигналах людської поведінки, таких як погляд та орієнтація голови. Отримані сигнали потім призначаються до певних команд введення, що дозволяє керувати комп’ютерними системами без використання типових систем введення на основі миші. Ключовою інноваційною особливістю цього дослідження є використання крос-кореляції для аналізу незвичайних людських дій у системах HCI в режимі реального часу, що призводить до створення надійного та персоналізованого інтерфейсу. Практичне значення цього дослідження є суттєвим, оскільки воно пропонує життєздатну та економічну основу для розробки допоміжних технологій. Цей підхід може бути безпосередньо застосований до створення засобів комунікації, систем контролю навколишнього середовища та освітнього програмного забезпечення, тим самим надаючи людям з інвалідністю можливість розвиватися та сприяючи покращенню цифрової інклюзії. Щоб підтвердити достовірність цього підходу, дослідження включало розробку функціонального прототипу інтерфейсу, де відеодані захоплюються за допомогою камери Raspberry Pi HQ та обробляються потоки сигналів у режимі реального часу. Ефективність системи була кількісно оцінена за допомогою серії випробувань, які підтвердили її ефективність завдяки високим показникам розпізнавання команд. Ця емпірична перевірка не лише підтверджує технічну доцільність методу на основі крос-кореляції, але й підкреслює його потенціал для плавної інтеграції в практичні повсякденні обчислювальні середовища, тим самим закладаючи основу для майбутніх досліджень складніших багатомодальних схем взаємодії.</p> S. V. Medvinskyi Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 98 104 10.36994/2788-5518-2025-02-10-12 ОГЛЯД СУЧАСНИХ МЕТОДІВ ОБРОБКИ СЕНСОРНОЇ ІНФОРМАЦІЇ ТА ПРОГРАМНИХ АРХІТЕКТУР БОРТОВИХ СИСТЕМ УПРАВЛІННЯ БЕЗПІЛОТНИХ ПОВІТРЯНИХ СУДЕН https://visn-icct.uu.edu.ua/index.php/icct/article/view/204 <p>Анотація. Стаття присвячена огляду сучасних методів обробки сенсорної інформації та програмних архітектур бортових систем управління безпілотних повітряних суден (БПС). Показано, що підвищення автономності БПС залежить від узгодженого застосування алгоритмів обробки даних і принципів інженерії програмного забезпечення за умов обмежених обчислювальних ресурсів, жорстких вимог до детермінізму та надійності. Розглянуто багатошарову структурну організацію програмного забезпечення БПС, включно з драйверним рівнем, операційними системами реального часу, проміжним шаром та прикладними компонентами. Проаналізовано поширені архітектурні патерни – модульність, видавець-передплатник, подійно-орієнтований та потік даних – які забезпечують масштабованість, гнучкість і стійкість роботи автопілотів. Особливу увагу приділено методологіям проєктування V-моделі та Model-Based Design, що дають змогу скоротити цикл розробки і підвищити якість систем за рахунок ранньої верифікації моделей і автоматизації формування коду. У роботі виконано порівняльний аналіз сучасних методів тестування вбудованих систем: модульного, інтеграційного, SIL- та HIL-тестування, що забезпечують комплексну перевірку програмно-апаратних рішень у сценаріях, наближених до реальних умов експлуатації. Розглянуто класичні та інтелектуальні підходи до злиття даних, зокрема фільтри Калмана та їх модифікації, фільтр Mahony, генетично оптимізовані фільтри частинок, а також роль цифрових фільтрів у попередній обробці сигналів. Показано значущість ПІД-регуляторів, лінійно-квадратичних методів та навігаційних алгоритмів. Огляд демонструє, що подальший розвиток БПС пов’язаний із розв’язанням суперечності між зростаючою складністю алгоритмів і ресурсними обмеженнями бортових платформ. Перспективними напрямами визначено гібридні методи фільтрації, оптимізацію обчислювальних процесів, інтерпретовані моделі машинного навчання та вдосконалення інструментів апаратно-програмного тестування.</p> А. Р. Петросян Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 105 112 10.36994/2788-5518-2025-02-10-13 МОДЕЛЮВАННЯ ГЛИБИННИХ ПІДКРІПЛЮВАЛЬНИХ МЕТОДІВ ДЛЯ АДАПТИВНОЇ МАРШРУТИЗАЦІЇ В КОМП’ЮТЕРНІЙ SDN МЕРЕЖІ З ВИКОРИСТАННЯМ PYTHON https://visn-icct.uu.edu.ua/index.php/icct/article/view/205 <p>У роботі досліджується підхід до адаптивної маршрутизації в комп’ютерних мережах, побудованих за парадигмою Software-Defined Networking (SDN), із використанням методів глибокого підкріплювального навчання (Deep Reinforcement Learning, DRL) та спеціалізованих бібліотек Python для моделювання та оптимізації мережевих процесів. Основна увага приділяється алгоритму Deep Q-Network (DQN), який поєднує можливості глибоких нейронних мереж із традиційним Q-learning для вибору оптимальних маршрутів у динамічних мережевих середовищах. Для експериментальної перевірки запропонованого підходу реалізовано симульовану SDN-топологію в середовищі Mininet, що включає сервери, клієнти та централізований контролер, який приймає рішення на основі аналізу поточних мережевих метрик, таких як затримка, пропускна здатність та завантаження каналів. Модель агента навчається мінімізувати затримку пакетів і максимізувати пропускну здатність, використовуючи багатокритерійну функцію винагороди, що інтегрує обидва параметри для забезпечення оптимальної продуктивності мережі. Результати моделювання показали, що DQN-агент здатний відтворювати поведінку класичного алгоритму Dijkstra у статичних умовах і водночас перевершує його в умовах змінного трафіку, демонструючи високу адаптивність до коливань мережевого навантаження та несподіваних збоїв. Запропонований підхід підтвердив ефективність DRL для задач інтелектуальної маршрутизації в SDN-мережах, відкриваючи перспективи для застосування в масштабних системах із високими вимогами до QoS і енергоефективності. Подальші дослідження передбачають порівняння з іншими DRL-алгоритмами, такими як Double DQN, PPO, аналіз масштабованості рішення для великих мереж та інтеграцію з IoT-середовищами для забезпечення надійної та гнучкої маршрутизації.</p> Н. Р. Полуектова Т. М. Литвиненко Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 113 118 10.36994/2788-5518-2025-02-10-14 АЛГОРИТМИ АВТОМАТИЗОВАНОЇ ПЕРЕВІРКИ ПАРАМЕТРІВ АКАДЕМІЧНИХ ДОКУМЕНТІВ https://visn-icct.uu.edu.ua/index.php/icct/article/view/206 <p>Анотація. У статті розглядаються теоретичні та практичні аспекти автоматизованої перевірки форматування текстових документів формату docx. Проведений аналіз сучасних літературних джерел дозволив виявити прогалини в існуючих рішеннях, які здебільшого зосереджені на автоматичному створенні документів або перевірці окремих параметрів, і не охоплюють повного циклу структурного та форматного контролю. Дослідження свідчать, що завдяки автоматизації перевірки оформлення можна знизити кількість помилок більш ніж на 40 %, особливо у звітній документації формату docx. У зв’язку з цим, актуальність дослідження зумовлена потребою у створенні уніфікованої системи, здатної автоматично аналізувати структуру документа, перевіряти параметри оформлення та формувати інтегральну оцінку якості. Метою дослідження є проєктування та розробка системи автоматизованої перевірки форматування документів формату docx, що порівнює параметри оформлення з вимогами ДСТУ 3008:2015 та внутрішніми стандартами закладів вищої освіти. У межах цієї статті авторами запропоновано модульну архітектуру програмного прототипу, яка включає StyleAnalyzer – для аналізу стилів тексту, FormatValidator – для перевірки параметрів сторінки, структури та нумерації, і ReportGenerator – для автоматичного формування звіту. Реалізацію алгоритмів здійснено засобами мови Python із використанням бібліотеки python-docx. Результати експериментального тестування підтвердили ефективність створеного прототипу, який може бути використаний для автоматизації процесів форматування та стандартизації академічних документів. Запропонована архітектура дозволяє уніфіковано перевіряти до 95 % вимог форматування ДСТУ 3008:2015, скорочуючи час контролю одного документа у середньому на 70 % порівняно з ручною перевіркою.</p> О. М. Свінцицька О. В. Коротун Д. К. Марчук В. В. Желізко Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 119 127 10.36994/2788-5518-2025-02-10-15 АНАЛІТИКА ОСВІТНІХ ДАНИХ ЯК ІНСТРУМЕНТ ВИЗНАЧЕННЯ ГЕНДЕРНИХ ДИСБАЛАНСІВ У ЦИФРОВІЙ ОСВІТІ https://visn-icct.uu.edu.ua/index.php/icct/article/view/207 <p>Анотація. У статті досліджується, як аналітика освітніх даних може допомогти знайти відповідь на це питання, зосереджуючись на гендерних дисбалансах у цифровій освіті. Наприклад, чому дівчата часто відмовляються від IT-спеціальностей, навіть маючи такі ж здібності, як хлопці? Чи впливає оформлення онлайн-курсів на їхню участь? Ці нюанси важко помітити без системного аналізу – саме тут і знадобиться Learning Analytics. Порівнюючи дані UNESCO, OECD та українські звіти, стає очевидно: проблема глибша, ніж просто «менше жінок у STEM». У багатьох країнах дівчата краще вчаться на цифрових платформах, але рідше обирають технічні спеціальності через стереотипи чи відсутність рольових моделей. Щоб змінити ситуацію, потрібно не просто збирати статистику, а розуміти, як формуються ці нерівності. У статті пропонується практичний підхід: збирання даних не лише про оцінки, а й про те, як студенти взаємодіють з платформами (наприклад, чи часто вони заходять на технічні модулі, як довго вивчають теми, які запитання задають). У моделі оцінення складу студентів додано етап «перевірки на гендерну сліпоту» – перед запуском аналізу дані очищаються від статевих маркерів, а потім результати порівнюються з реальними соціологічними дослідженнями. Також описано, як створити дашборд, де адміністратори побачать не просто графіки, а конкретні рекомендації. Не менш важливо – питання конфіденційності. Автор наводить приклад з нідерландського університету, де анонімізовані дані все ж дозволили ідентифікувати студентів через їхні унікальні шаблони навчання. Тому в пропонованій моделі обробка даних відбувається локально, без передачі в хмарні сервіси, а доступ до інформації мають лише верифіковані експерти. Стаття показує: шлях до гендерної справедливості у цифровій освіті – це не автоматичні алгоритми, а їхнє розумне поєднання з людським досвідом.</p> Т. Р. Стисло Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 128 134 10.36994/2788-5518-2025-02-10-16 КЛАСИЧНІ ТА ГІБРИДНІ МЕТОДИ ПРОГНОЗУВАННЯ ДАНИХ ЛІЧИЛЬНИКІВ ЗІ СПОЖИВАННЯ РЕСУРСІВ https://visn-icct.uu.edu.ua/index.php/icct/article/view/208 <p>Анотація. У статті проведено комплексний аналіз сучасних методів прогнозування споживання ресурсів на основі даних з лічильників, що набуває критичного значення для ефективного управління енергетичними та комунальними системами, особливо в умовах пошкодженої інфраструктури України. Досліджено три основні класи методів: традиційні статистичні моделі (ARIMA, SARIMA), евристичну модель Prophet, методи глибокого навчання (LSTM, RNN), а також гібридні підходи, що поєднують переваги різних методологій. Виявлено, що класичні моделі ARIMA/SARIMA ефективні для короткострокового прогнозування стаціонарних рядів з лінійною структурою та чіткою сезонністю, забезпечуючи високу інтерпретованість результатів та можливість роботи з обмеженими обсягами даних. Проте ці моделі демонструють суттєві обмеження при роботі з нелінійними залежностями та динамічними змінами в структурі даних, що знижує точність прогнозів у складних реальних сценаріях. Модель Prophet демонструє переваги в автоматизації процесу моделювання, врахуванні календарних ефектів і свят, однак залишає невикористаною інформацію в автокорельованих залишках, що обмежує її застосування в завданнях, де критична максимальна точність. Моделі LSTM показують найвищу точність при прогнозуванні складних нелінійних патернів завдяки механізму довгострокової пам’яті та здатності автоматично виявляти приховані залежності у даних. Експериментальні дослідження підтверджують суттєве підвищення точності порівняно з традиційними методами, особливо за наявності великих обсягів даних. Особливу увагу приділено гібридним підходам (ARIMA-LSTM, Prophet-LSTM), що поєднують інтерпретованість статистичних методів з потужністю нейромереж, забезпечуючи найвищу точність прогнозування. Результати дослідження мають практичне значення для оптимізації управління енергетичними ресурсами в умовах пошкодженої інфраструктури та можуть бути використані для розробки адаптивних систем прогнозування.</p> Д. В. Фуріхата Т. А. Вакалюк Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 135 141 10.36994/2788-5518-2025-02-10-17 АЛГОРИТМІЧНЕ ЗАБЕЗПЕЧЕННЯ ВЕРИФІКАЦІЇ ТА ВИКОНАННЯ КООПЕРАТИВНИХ СЦЕНАРІЇВ У РОЗПОДІЛЕНИХ ТРЕНАЖЕРНИХ СИСТЕМАХ https://visn-icct.uu.edu.ua/index.php/icct/article/view/209 <p>Анотація. У статті розв’язується актуальна науково-прикладна задача програмної реалізації та автоматизованої верифікації сценаріїв для багатокористувацьких 3D-тренажерів в енергетиці. В умовах зростання складності технологічних процесів та вимог до резильєнтності критичної інфраструктури, ефективність навчання персоналу залежить не лише від індивідуальних навичок, але й від здатності до скоординованої командної взаємодії. Існуючі підходи до створення контенту часто покладаються на ненадійну ручну перевірку або використовують великовагові формальні методи, складні для інтеграції у веб-середовища. На основі формальної моделі ролевої взаємодії (МРВ) запропоновано комплексне алгоритмічне забезпечення, що включає структуру даних на базі JSON, алгоритм статичного аналізу та ядро динамічного виконання. Розроблений метод статичної верифікації, що базується на модифікованому пошуку в глибину (DFS), дозволяє виявляти специфічні логічні колізії («синхронізаційні тупики» (Sync Deadlocks) та недосяжні стани) безпосередньо на етапі проектування. Для забезпечення коректного виконання сценаріїв розроблено алгоритм роботи серверного ядра (Runtime Engine), що реалізує архітектуру «авторитетного сервера», гарантуючи узгодженість станів учасників навіть при стохастичних системних подіях. Ефективність підходів підтверджено експериментально. Навантажувальне тестування на синтетичних графах продемонструвало лінійну залежність часу верифікації від розмірності сценарію, що підтверджує можливість перевірки складних структур у реальному часі. Порівняльний аналіз показав значну перевагу автоматизованого методу над експертним за швидкістю та точністю виявлення помилок. Також розглянуто використання верифікатора як «фільтра безпеки» при генерації сценаріїв за допомогою великих мовних моделей (LLM), що дозволяє нівелювати ризики логічних галюцинацій штучного інтелекту.</p> С. С. Шевченко Авторське право (c) 2026 https://creativecommons.org/licenses/by/4.0 2025-12-26 2025-12-26 2 10 142 149 10.36994/2788-5518-2025-02-10-18