F2 Інженерія програмного забезпечення
Permanent URI for this collection
Освітньо-наукова програма: "Інженерія програмного забезпечення"
Browse
Recent Submissions
Item Розробка та дослідження ефективності алгоритмів торгівлі на криптовалютному ринку з використанням Smart Money підходу(2026) Євтушенко, Ігор ; Гороховський, СеменМета дослідження полягає в розробці та оцінці ефективності алгоритмів торгівлі на криптовалютному ринку з використанням підходу Smart Money Concepts, базуючись на реальних ринкових даних біржі Binance, бектестуванні та веб-інтерфейсі моніторингу.Item Застосування методів Data Mining для аналізу повідомлень у соціальних мережах з метою виявлення фейків та дезінформації(2026) Живіцька, Єлизавета ; Олецький, ОлексійМагістерська робота присвячена дослідженню ефективності методів машинного навчання для виявлення дезінформації у соціальних мережах – однієї з найактуальніших проблем сучасного цифрового середовища, де неправдиві новини поширюються швидше та ширше за достовірні, ставлячи під загрозу інформаційну безпеку суспільства. Увага зосереджена на порівнянні чотирьох парадигм машинного навчання – статистичної, нейромережевої, графової та підходу на основі великих мовних моделей – у внутрішньодоменному та міждоменному сценаріях класифікації. У роботі проаналізовано обмеження існуючих підходів до автоматизованого виявлення дезінформаційного контенту, а також розроблено програмний прототип, що інтегрує усі чотири парадигми у єдину дослідницьку платформу з підтримкою ансамблевих стратегій та зовнішніх фактчекер-сервісів. Основою прототипу є гнучка архітектура з розподілом між фронтендом, бекендом та ML-сервером, що дозволяє проводити порівняльне оцінювання моделей у межах єдиного експериментального середовища. Експериментальне дослідження виявило радикальну зміну ієрархії ефективності моделей при перенесенні між тематичними доменами: парадигми з найвищою внутрішньодоменною якістю демонструють найбільшу деградацію, тоді як соціальні ознаки та LLM-підхід забезпечують стійкість до зміни домену. Практичне значення роботи полягає у можливості застосування отриманих результатів та сформульованих рекомендацій у системах медіа-моніторингу, інформаційно-аналітичних платформах та інструментах підтримки журналістської роботи, де якість виявлення дезінформації безпосередньо впливає на достовірність інформаційного простору.Item Розробка AI-асистента для автоматизованого аналізу кандидатів на базі low-code підходів(2026) Казістов, Владислав ; Нагірна, АллаКазістов В. Ю. Розробка AI-асистента для автоматизованого аналізу кандидатів на базі low-code підходів. Магістерська робота. Національний університет "Києво-Могилянська академія", Київ, 2026. Роботу присвячено розробці та оцінці AI-асистента HireAI для автоматизованого скорингу кандидатів засобами low-code платформ. Реалізовано повнофункціональний веб-застосунок на стеку WeWeb (фронтенд) та Xano (бекенд) з інтеграцією Gemini API для аналізу резюме. Проведено порівняльний аналіз платформ фронтенду (FlutterFlow, WeWeb) та бекенду (Firebase, Xano), обґрунтовано вибір технологічного стеку з урахуванням функціональності, безпеки та швидкості розробки. Описано архітектуру системи з розмежованою фронтенд/бекенд-логікою, реалізацію захищених ендпоінтів на основі JWT-автентифікації та розмежування доступу до сторінок. Проведено функціональне тестування системи та оцінку ефективності low-code підходу для побудови AI-орієнтованих програмних систем.Item Фреймворк та методологія для ефективного тестування і трасування у мікросервісних системах(2026) Мазурок, Андрій ; Глибовець, АндрійМагістерська кваліфікаційна робота присвячена розробці фреймворку та методології для ефективного наскрізного тестування мікросервісних систем на основі даних розподіленого трасування. Було реалізовано незалежну бібліотеку логування для генерації структурованих аудит-логів: забезпечено автоматичне передавання єдиного ідентифікатора транзакції за міжнародним стандартом W3C Trace Context [1] через синхронні та асинхронні канали зв'язку. Усі етапи виконання бізнес-логіки фіксуються в єдиному контексті із прив'язкою до семантичних ідентифікаторів операцій. Під час тестування незалежний клієнт генерує унікальний ідентифікатор та ініціює запит до системи. Розроблений модуль валідації працює за принципом чорного ящика: він асинхронно сканує спільний файл логів і верифікує повний життєвий цикл розподіленого запиту. У системі реалізовано механізм відкладеної перевірки з використанням декларативного програмного інтерфейсу, що дозволяє гнучко визначати очікувані системні події. У разі виникнення помилок чи зависання окремих компонентів система генерує деталізований звіт про перерваний ланцюжок викликів. Програмне рішення було реалізовано мовою Java для екосистеми Spring Boot. Інтеграція інфраструктури охоплює брокер повідомлень Apache Kafka, протокол віддаленого виклику процедур gRPC та класичні REST API.Item Технічні та прикладні аспекти створення цифрових двійників промислових підприємств(2026) Майстер, Іван ; Савченко, ТетянаУ даній магістерській роботі розглядаються технічні та прикладні аспекти створення цифрових двійників промислових підприємств. Розроблено архітектуру та концептуальну модель системи, що дозволяє здійснювати моніторинг, аналіз та оптимізацію виробничих процесів у режимі реального часу. В основі рішення лежить інтеграція даних із різнорідних джерел – від виробничого обладнання (ЧПУ, давачі) до корпоративних систем управління (ERP, MES). У роботі досліджено процес проектування 5-рівневої структури платформи, моделювання технологічних операцій на засадах гібридного підходу, а також застосування алгоритмів машинного навчання для прогнозування залишкового ресурсу обладнання (RUL). Окрему увагу приділено вибору технологічного стеку для обробки великих масивів даних та формалізації функціональних вимог до систем класу Digital Twin.Item Мікрофронтенд-фреймворк для побудови масштабованих вебзастосунків(2026) Мисько, Юрій ; Нагірна, АллаЦя робота присвячена розробці мікрофронтенд-фреймворку для побудови масштабованих веб-застосунків. У першій частині розглянуто теоретичні основи мікросервісної та мікрофронтенд архітектури. Проаналізовано шість основних принципів мікросервісів та їх застосування у фронтенд розробці. Описано стратегії поділу застосунків та взірці комунікації в розподілених системах. У другій частині проведено порівняльний аналіз існуючих мікрофронтенд фреймворків. Виявлено їх основні недоліки та сформульовано вимоги до фреймворку. У третій частині спроєктовано архітектуру фреймворку, яка складається з системи типобезпечних контрактів, шини подій, механізму оркестрації модулів та підтримує вертикальний і горизонтальний поділ застосунків. У четвертій частині описано реалізацію ключових компонентів: реєстру API, шини подій, алгоритму топологічного сортування, менеджера завантаження, Webpack-плагіна, інструментів розробника та тестування. П'ята частина містить опис демонстраційного застосунку: редактору документів, який складається з п'ятьох мікрофронтендів на чотирьох різних технологіях.Item Дослідження та розробка автоматизованої системи калібрування CV-модуля для точного визначення просторових координат об’єктів на основі low-cost hardware(2026) Ніношвілі, Сергій ; Глибовець, АндрійРобота присвячена актуальному завданню підвищення ефективності систем комп'ютерного зору для виявлення та розпізнавання малорозмірних безпілотних літальних апаратів (UAV) в інфрачервоному (IR) спектрі. Головною проблемою, що вирішується у дослідженні, є критичний дефіцит якісно анотованих наборів навчальних даних, необхідних для коректної роботи сучасних алгоритмів детекції. Метою роботи є дослідження можливостей створення та застосування детерміністично згенерованих синтетичних даних для оптимізації та гнучкого донавчання (fine-tuning) моделей архітектури YOLO на малопотужних апаратних платформах. У процесі дослідження розроблено аналітично обґрунтований 2D-метод процедурної генерації теплових сигнатур. Запропонований алгоритм базується на аналізі карт магнітуди градієнтів та імітує температурне гало, апаратні шуми (PSF, FPN) й ефекти теплового злиття з фоном, що усуває нефізичні межі синтезованих об'єктів. Додатково створено інструментарій просторового картографування "сліпих зон" для оцінки вразливостей моделі на неоднорідних ландшафтах. Експериментально доведено ефективність розробленого підходу: використання оптимального обсягу синтетичних даних разом із підібраними гіперпараметрами навчання (модифікація YOLO Small) забезпечило радикальне зростання ефективності моделі на валідаційних наборах. Також виявлено та досліджено феномен фонової адаптації (background learning), який сприяє зменшенню хибних спрацьовувань моделі. Практична значущість: отримані результати формують цілісну методологію на перетині Data-centric та Model-centric підходів. Розроблений конвеєр дозволяє створювати високоточні, апаратно-незалежні системи детекції дронів у режимі реального часу, виключаючи необхідність збору та розмітки дорогих масштабних реальних IR-датасетів.Item Забезпечення безпеки мікросервісної архітектури через впровадження моделі Zero Trust та Spring Security(2026) Осташко, Євгеній ; Глибовець, АндрійУ науковій роботі досліджуються сучасні підходи до безпеки мікросервісних архітектур. Фокус — модель Zero Trust у поєднанні з технологіями екосистеми Java Spring. Розглянуто теоретичні проблеми інформаційної безпеки в розподілених системах, принципи Zero Trust та особливості їх застосування в мікросервісах. Окремо — можливості Spring Security, OAuth2, OpenID Connect, JWT. Разом з ними — механізми RBAC і ABAC для реалізації прикладного рівня захисту. Виконано аналіз існуючих open-source рішень. Виявлено їх фрагментарність. Бракує єдиного узгодженого reusable- підходу для Spring Boot мікросервісів. На цій підставі обґрунтовано створення власного Spring Boot Starter з принципами secure by default і fail-fast. Практичну перевірку виконано на demo-середовищі з кількох мікросервісів — там продемонстровано міжсервісну взаємодію, token propagation, аудит і observability.Item AI-система для автоматизованого створення відеокліпів на основі аналізу музичних характеристик аудіо(2026) Плисюк, Антон ; Нагірна, АллаЦя робота присвячена розробці системи автоматизованого створення відеокліпів на основі аналізу музичних характеристик аудіосигналу. У роботі досліджено сучасні підходи до генерації відеоконтенту з використанням методів обробки аудіо та технологій штучного інтелекту. Також було проведено аналіз існуючих рішень та визначено їхні переваги і недоліки. Розглянуто методи аналізу аудіосигналу, зокрема визначення темпу, ритму, енергії та спектральних характеристик, що використовуються для подальшої синхронізації відео з музикою. Запропоновано метод автоматизованої генерації відео на основі аналізу музичних характеристик аудіосигналу, який використовує BPM, spectral features та segmentation для адаптивного формування сцен і синхронізації переходів. Також описано архітектуру системи та деталі її програмної реалізації із використанням сучасних бібліотек та AI-моделей, та моделі для генерації текстового опису та сцен, а також інструментів для генерації зображень і генерацію відео. Наостанок продемонстровано приклад роботи системи, який демострує можливість автоматизованого створення відеоконтенту, на основі аудіосигналу. Та наведені можливі напрями подальшого розвитку системи.Item Розробкa СППР для розв'язaння прямих тa обернених зaдaч рaнжувaння aльтернaтив(2026) Смовженко, Антон ; Франчук, ОлегМетою роботи є розробкa СППР для розв'язaння прямих тa обернених зaдaч рaнжувaння aльтернaтив нa основі різних методів бaгaтокритеріaльного aнaлізу.Item Створення середовищ навчання з підкріпленням для постнавчання LLM(2026) Холявко, Микита ; Глибовець, МиколаЦя робота присвячена розробці інтерактивного середовища для навчання з підкріпленням великих мовних моделей у задачах програмування. У роботі було проведено дослідження сучасних підходів до постнавчання LLM, зокрема методів RLHF та RLAIF, а також проаналізовано переваги використання верифікованих винагород для об’єктивного оцінювання результатів. Проведено аналіз архітектурних вимог до ізольованого виконання коду та впроваджено власне рішення у вигляді середовища, зданого інтегруватися з репозиторіями реальних програмних проєктів. Результатом роботи є програмне середовище для тренування інтелектуальних агентів на задачах кодування.Item Гібридні алгоритми синхронізації даних веб-застосунків з колаборативним редагуванням(2026) Шевчук, Кіріл ; Гороховський, СеменПризначення магістерської роботи полягає у дослідженні та розробці гібридного методу синхронізації даних, який інтегрує CRDT-події безпосередньо в реляційну модель SQLite. Результатом роботи є програмний комплекс sqlite-sync — програмна бібліотека, що забезпечує повний цикл життєдіяльності даних: від локального збереження і реактивного відображення в інтерфейсі, до їх синхронізації між клієнтами.Item Децентралізована мережа GPU-обчислень для розподіленого навчання нейронних мереж(2026) Яременко, Петро ; Гороховський, СеменМета дослідження полягає у проектуванні та реалізації керованої платформи GPU-обчислень із децентралізованим постачанням обладнання для розподіленого навчання нейронних мереж, що інтегрує NVIDIA FLARE як механізм оркестрації федеративного навчання на гетерогенних вузлах та забезпечує ізоляцію сирих навчальних даних клієнтів від постачальників обчислень.Item Дослідження OpenMPI-Java середовища виконання ДАП(2025) Гетьман, Дмитро ; Малашонок ГеннадійМагістерська робота присвячена дослідженню споживання пам'яті та часу обчислень у середовищі виконання DAP (Drop-Amine-Pine) — динамічній децентралізованій суперкомп'ютерній системі для паралельних матричних блоково-рекурсивних алгоритмів, реалізованій на Java з використанням OpenMPI. Експериментальні дослідження проводились на суперкомп'ютері СКІТ ІК НАН України, максимальна кількість задіяних ядер — 32. Досліджувались алгоритми матричного множення MatrSMult4 та розкладу Холецького MatrSCholFact4 при різній кількості ядер та розмірах матриць. Вимірювались витрати пам'яті на кожному ядрі та загальний час обчислень. За результатами досліджень запропоновано схему роботи збирача сміття JVM у середовищі DAP. Досліджувалось кілька стратегій управління пам'яттю. До схеми DAP розроблено та додано додаткові ключі управління пам'яттю — незалежно для координаторного ядра та робочих ядер. Сформульовано рекомендації користувачам щодо застосування цих ключів залежно від розміру матриці та доступних обчислювальних ресурсів.Item Розробка підходу до оцінювання якості відповідей LLM на основі бази знань(2025) Забродський, Владислав; Глибовець, АндрійКваліфікаційна робота присвячена розробці підходу до автоматизованої оцінки якості відповідей великих мовних моделей (LLM) на основі баз знань. Основна увага приділяється перетворенню вхідного тексту на триплети "підмет - присудок -додаток", генерація SBARQ WH- питань на їх основі та оцінювання відповідей за допомогою підходу "LLMas-a-judge". Результатом роботи став розроблений підхід, який у ході експериментальних перевірок продемонстрував гарну кореляцію з офіційними метриками та ефективність при оцінці відповідей на різних користувацьких наборах даних.Item Android-застосунок для звукозапису з підтримкою плагінів для аудіоефектів(2025) Слупський, Леонід; Нагірна, АллаЦя робота присвячена дослідженню можливості реалізації звукових плагінів на Android та розробці мобільного застосунку для запису звуку з підтримкою плагінів ефектів для його обробки. У роботі досліджено принципи роботи зі звуковими плагінами на десктопних системах та на мобільних пристроях з iOS; порівняно різні підходи та визначено найбільш перспективні для адаптації на ОС Android; розглянуто API системи та бібліотеки, що можуть бути використані для запису звуку та реалізації системи плагінів. Описано деталі реалізації застосунку та тестових плагінів, а також порядок роботи із застосунком. Наостанок запропоновано можливі подальші розробки, що базуються на отриманих результатах.Item Розробка пакету візуалізації складних дискретних структур в задачах оптимізації(2025) Швачко, Олег; Нагірна, АллаМетою даної роботи є розробка універсального програмного пакету, який забезпечує ефективну візуалізацію та обчислювальні можливості для роботи зі складними дискретними структурами.Item Гарантована доставка повідомлень в мікросервісній архітектурі(2025) Романюк, Олександр; Глибовець, АндрійМагістерська робота присвячена дослідженню проблеми гарантованої доставки повідомлень у мікросервісній архітектурі — одному з ключових викликів при створенні сучасних розподілених програмних систем. Автор акцентує увагу на ситуаціях, коли через збої у мережі чи відмову компонентів неможливо точно встановити, чи була виконана певна операція, що ставить під загрозу цілісність даних та стабільність бізнес-процесів. У роботі проаналізовано обмеження існуючих підходів до забезпечення узгодженості даних між сервісами, а також запропоновано концептуальну модель механізму, який дозволяє досягти надійної синхронізації станів навіть у складних умовах. Основою моделі є формалізоване керування життєвим циклом операцій, підтримка повторного виконання без дублювання результатів, а також використання надійного зберігання та відновлення стану. Запропоноване рішення демонструє ефективність у сценаріях збоїв та здатне адаптуватися до несприятливих умов, зберігаючи стабільну роботу системи загалом. Практичне значення роботи полягає у можливості застосування результатів у критично важливих сферах, де втрата або повторне виконання операцій є неприпустимими.Item Реалізація мови процедурного програмування типа Algol-60 засобами Haskell(2025) Пінкевич, Віктор; Проценко, ВолодимирУ роботі описується процес розробки інтерпретатора підмножини мови програмування Pascal. Коротко розглядається історія виникнення та особливості мов програмування сімейства ALGOL. Описується чому саме мову Pascal було обрано для побудови інтерпретатора, а також яку підмножину елементів мови Pascal було імплементовано. Проводиться огляд стандартних етапів компіляції та інтерпретації, принципів їх реалізації. На основі оглянутих етапів формується структура інтерпретатора, який розробляється. Детально описується етап розробки кожної з частин інтерпретатора відповідно до етапу інтерпретації, який вони реалізовують. Наводяться приклади програм, що можуть бути виконані розробленим інтерпретатором, та результати виконання описаних програм. Визначаються переваги та недоліки використання розробленого інтерпретатора, а також можливості його розширення для підтримки більшої кількості елементів мови програмування Pascal.Item UAV Computer Vision at the Edge: Development, Security, and Hardware Acceleration(2025) Okhrimenko, Mykhailo; Hlybovets, AndriiUAVs operating in contested environments require edge computing systems that face challenges in computational performance, security, and power efficiency. This thesis presents three solutions to these challenges. We implemented secure boot on Rockchip-based SBC boards through Rockchip’s OTP memory, establishing irreversible firmware authentication. We developed a Hardware-in-the-Loop testing framework, integrating Gazebo simulation with physical hardware via custom OpenCV-GStreamer pipelines, enabling algorithm validation without risking UAV platforms. Finally, we conducted comparative benchmarking of hardware acceleration options to identify viable deployment solutions. Performance evaluation revealed significant differences between theoretical specifications and operational reality. The Rockchip’s integrated NPU achieved 18 FPS average performance—8.4x faster than CPU baseline—while consuming only 0.83W. Hailo-8L delivered 64 FPS at 1.48W but required active cooling. Secure boot validation successfully blocked all unsigned firmware attempts, confirming the security implementation. These findings demonstrate that integrated NPU architectures provide optimal thermal and power characteristics for UAV edge computing, while our HITL framework enables safe development of computer vision algorithms on target hardware.