F2 Інженерія програмного забезпечення

Permanent URI for this collection

https://ekmair.ukma.edu.ua/handle/123456789/18529

Освітня програма: "Інженерія програмного забезпечення"

Browse

Now showing 1 - 20 of 148

Video Summarization and Textual Description Using Deep Learning
(2025) Цимбал, Ілля; Кузьменко, Дмитро
This thesis addresses the technical and architectural challenges of building a microservice system that can efficiently process videos, extract their most important frames to create meaningful summaries, and generate natural language descriptions that accurately capture the content of these summarized videos. The research focuses particularly on developing a robust, scalable architecture that can handle diverse video inputs while ensuring consistent quality outputs.
Розробка веб-платформи для онлайн-навчання
(2025) Татарінова, Яна; Горборуков, Вячеслав
Дана кваліфікаційна робота направлена на формування архітектурної моделі для навчальної веб-платформи та розробку програмного продукту, який забезпечує ефективний процес навчання для студентів і викладачів. У ході роботи були дослідженні існуючі аналоги веб-платформ, для кращого розуміння недоліків і потреб користувачів та формування основних функціональних вимог для майбутнього застосунку. Поставлене завдання було виконано з використанням React, JavaScript, хмарних технологій Firebase, та інших бібліотек для досягнення найкращої результативності. Розроблено модель рекомендаційної системи у вигляді AI-асистента, який використовує механізми контекстного формування запитів. Виконаний функціонал дозволяє студентам і викладачам зручно та ефективно взаємодіяти з платформою, отримувати персоналізовані рекомендації від АІ-асистента, створювати, переглядати та проходити навчальні курси.
Вдосконалення інструменту автоматичної оцінки стабільності та зрозумілості програмного коду Swift з інтеграцією в середовище розробки
(2025) Суліменко, Андрій; Франків, Олександр
У запропонованій дипломній роботі розглянуто розширення створеного середовища розробки для автоматичного оцінювання стабільності та зрозумілості програмного коду мовою Swift. Деталізовано аналіз та моделювання методів оцінки програмного коду та автоматичного аналізу програмного забезпечення. Значну увагу приділено опису моделі середовища автоматичного аналізу, його розробці та оптимізації. У рамках цієї роботи розроблений інструмент для керування пакунками Swift було розширено з метою автоматизації та оптимізації процесу аналізу архітектури програмного модуля за допомогою метрик оцінки стабільності програмного забезпечення.
Дослідження створення конфігурації GraalVM для Spring Boot проєктів
(2025) Стасюк, Ілля; Андрощук, Максим
Ця кваліфікаційна робота досліджує особливості створення конфігурацій GraalVM для компіляції Spring Boot проєктів у нативні образи, що є актуальним для підвищення ефективності Java-застосунків у мікросервісних та хмарних середовищах. Робота аналізує архітектуру GraalVM, механізми AOT-компіляції в Spring, та на практичному прикладі демонструє процес створення нативного образу, включно з вирішенням проблем, пов'язаних з необхідністю ручного надання метаданих досяжності для динамічних елементів Java. Ключовим результатом стало практичне виявлення та вирішення проблеми з метаданими досяжності (на прикладі java.util.UUID[]), що продемонструвало: попри значний рівень автоматизації, для коректної роботи нативних образів Spring Boot може знадобитися ручне втручання та глибоке розуміння розробником особливостей AOT-компіляції.
Training YOLO Models for Real-Time Object Detection on UAV
(2025) Solovei, Tymofii; Kurochkin, Andrew
In this study, we have explored the implementation of the YOLOv8(nano) model for the task of real-time detection of military objects for UAV companion computers. We have collected and merged different datasets from the open sources with clearly annotated classes such as tanks, armored vehicles, armored personnel carriers, etc. Additionally, datasets with civilian people and vehicles have been included to address ethical concerns. Because of the poor quality of original datasets, we developed a processing pipeline for proper data selecting, filtering, and augmentation. We trained the YOLOv8-nano model for 100 epochs. The default pre-trained on the COCO dataset YOLOv8-nano model initially achieved an mAP@0.5 of 0.305 and mAP@0.5-0.95 of 0.169 on our dataset. Our final YOLOv8-nano model achieves a mAP@0.5 of 73.61% and mAP@0.5-0.95 of 51.18%. We also evaluated our model using combat videos from FPV(First Person View) drones containing different military targets.
Мультимодальний RAG з використанням текстових та візуальних даних
(2025) Шевченко, Михайло; Андрощук, Максим
У роботі розглянуто техніку мультимодального Retrieval-Augmented Generation (з англ. генерація з доповненою вибіркою, RAG) для покращення результатів роботи систем генерування контенту. Проведено аналіз сутності RAG і мультимодального RAG, їхніх переваг, архітектур, а також популярних інструментів для розробки мультимодальних RAG-систем. Було розроблено мультимодальну RAG-систему для аналізу та інтерпретації рентгенівських знімків грудної клітки та їхніх звітів. Розроблену систему протестовано у різних конфігураціях за низкою показників. Результати тестування засвідчили значне покращення якості генерації контенту при використанні мультимодального RAG порівняно з його відсутністю.
Creation of an atomic cross-chain escrow, which supports EVM, Solana and TON
(2025) Rastiehaiev, Volodymyr; Gorokhovskyi, Kyrylo
This paper presents the design, development, and evaluation of an atomic cross-chain escrow system facilitating secure, trustless asset transfers between Ethereum Virtual Machine compatible blockchains, Solana, and The Open Network. Driven by the increasing fragmentation of the blockchain ecosystem and the demand for seamless cross-chain interoperability, this work addresses the limitations of centralized intermediaries and existing bridge solutions. The research involved identifying key challenges in atomic cross-chain escrow development, including differing blockchain architectures and HTLC concept and its core principles. As a core contribution, three distinct smart contracts were engineered, one for each target blockchain (EVM, Solana, and TON), to enable a hash-time-locked escrow mechanism. The developed contracts were evaluated for security and efficiency, demonstrating the feasibility of achieving guaranteed fund delivery or refund across these disparate networks without reliance on a trusted third party.
Development and Implementation of a Military Technology Trends Monitoring System
(2025) Prokhorov, Oleksandr; Kurochkin, Andrew
This work presents the design and implementation of a system for monitoring technological trends in the military sector using Telegram as a data source. The system automatically collects, processes, and analyzes both historical and real-time posts from selected Telegram channels, focusing on the emergence and dissemination of key terminology such as "реб" (eng.: "electronic warfare") in our evaluation case study. A modular architecture was developed, combining Go-based data scraping, Python-based aggregation and keyword analysis, and a Grafana dashboard for visualization. The system supports both local Docker-based deployment and cloud-based deployment via Terraform on AWS. Evaluation included performance benchmarks, peak resident-set size (RSS) profiling, and a case study comparing our system’s findings against professional media and Google Trends. Results indicate that a Telegram-based pipeline can detect rising interest in electronic-warfare topics earlier than traditional information channels.
Розробка інструметів для створення бази навчальних матеріалів з математики для MathPar
(2025) Поліщук, Вадим; Малашонок, Геннадій
Кваліфікаційна робота присвячена розробці комплексної системи для структуризації та автоматичного розв'язання математичних задач з існуючих навчальних підручників. Дослідження спрямоване на вирішення актуальної проблеми ефективної обробки великих обсягів навчальних матеріалів та автоматизації процесів розв'язання математичних задач з детальними педагогічними поясненнями. Методологія дослідження включає три основні етапи: розпізнавання та конвертація математичних текстів у структурований формат з формату PDF, створення програмних модулів для автоматичного розв'язання різних типів математичних задач та забезпечення інтеграції з освітніми платформами через підтримку спеціалізованих форматів виводу. У ході дослідження створено структурований набір даних з понад 10000 математичних задач, вилучених з понад 20 підручників для 1-7 класів. Розроблено модульну систему автоматичного розв'язання, що підтримує арифметичні обчислення, лінійні рівняння та інші типи задач з генерацією детальних покрокових пояснень відповідно до методичних вимог. Реалізовано успішну інтеграцію з навчальною платформою MathPartner через систему автоматичної генерації навчальних файлів.
Розробка iOS-застосунку для управління справами з використанням алгоритму адаптивного планування на основі емоцій користувача
(2025) Пізь, Марʼяна; Вознюк, Ярослав
Кваліфікаційна робота присвячена створенню цифрового інструменту, покликаного розв'язати проблему погіршення продуктивності внаслідок емоційного виснаження. За мету роботи поставлено розробити інтуїтивно зрозумілий iOS-застосунок для планування справ, що підлаштовує графік до емоцій користувача, пропонує усвідомлені паузи й аналітику емоцій у контексті виконаних завдань та підтримує українську мову. У ході роботи розглянуто наявні програмні рішення в сферах продуктивності та ментального здоровʼя, проаналізовано технології, інструменти та архітектурні шаблони для сучасної iOS-розробки, а також застосовано алгоритм адаптивного планування залежно від емоцій користувача та властивостей завдань. Реалізований застосунок може бути використаний широким колом користувачів у повсякденному житті.
Розробка Android-застосунку для відстеження фізичної активності з алгоритмами обробки даних зі смарт-годинника
(2025) Петрова, Олеся; Вознюк, Оксана
Метою дипломної роботи є створення Android-застосунку під назвою Fit Motion для відстеження фізичної активності з алгоритмами обробки даних зі смарт-годинника. Додаток містить в собі функції фітнес тренувань, у відстеженні яких допомагає смарт-годинник, додаток відображає статистику користувача, мотивує його, зберігає цілі. Застосунок розроблявся в IDE Android Studio, написаний на мові програмування Kotlin, за допомогою бібліотеки Jetpack Compose.
Developing a Trip Planning Application with a Focus on People with Disabilities
(2025) Орлов, Станіслав; Андрощук, Максим
Ця робота демонструє етапи розробки організаційної системи для планування подорожей, що враховує потреби людей з інвалідністю, у вигляді Android-застосунку. Описано аналіз наявних подібних рішень на предмет інклюзивності, виявлено та категоризовано їхні бар’єри у забезпеченні інклюзивності, викладено функціонал створеної системи, а також обґрунтовано вибір програмних засобів та технологій, використаних у роботі.
Автоматичний генератор структури елементів різних варіантів сайту, враховуючи культурні і політичні аспекти регіонів світу
(2025) Назар, Ірина; Афонін, Андрій
Метою цього дослідження є створення системи, здатної автоматично генерувати веб компоненти, беручи до уваги культурні особливості, характерні для цільової аудиторії в кожній країні. На відміну від інших веб конструкторів, запропоноване рішення використовує комбінацію моделей штучного інтелекту( Perplexity AI для збору контекстної інформації та ChatGPT для генерації коду), а також структуровану базу культурних правил про культурні особливості країн та регіонів, представлену у форматі JSON. Система автоматично аналізує введені дані (країну, тип компонента), формує семантичний запит, а потім генерує React-компоненти з підтримкою і18n(міжнародної локалізації) разом із детальним поясненням дизайну, який враховує культурні, мовні та візуальні нюанси конкретного регіону. В рамках цього дослідження було розроблено інтерактивну платформу з функціями попереднього перегляду та можливостю редагування коду компонентів. Отримані результати підтверджують ефективність цього підходу для створення компонентів, що враховують культурні особливості. Це покращує взаємодію з користувачами та сприяє кращій міжнародній комунікації.
Розробка вебплатформи танцювальних послуг для користувачів з різними можливостями з урахуванням базових критеріїв доступності за стандартом WCAG 2.2.
(2025) Мацевко, Євгенія; Вознюк, Оксана
Дипломна робота присвячена розробці вебплатформи танцювальних послуг доступної для різних категорій користувачів, зокрема взято до уваги потреби людей з інвалідністю, різними фінансовими можливостями, новачків, викладачів та танцювальних шкіл. Основну увагу приділено створенню зручного та доступного інтерфейсу, реалізації функціональності пошуку занять та організації приватних уроків. Серверна частина застосунку реалізована на Java з використанням Spring Boot, клієнтська – з використанням React. Для збереження даних використано PostgreSQL, а для зберігання файлів – MinIO. Контейнеризація здійснена за допомогою Docker. Забезпечено доступність інтерфейсу згідно з рекомендаціями WCAG 2.2. Результатом є сучасний, функціональний та інклюзивний застосунок, що забезпечує зручну взаємодію для широкого кола користувачів та відповідає сучасним стандартам. У роботі надано опис його інтерфейсу та функціональних можливостей.
Відстеження рухомих об’єктів у відеопотоці з застосуванням фільтру Калмана
(2025) Марченко, Владислав; Бучко, Олена
Робота присвячена дослідженню та розробці алгоритму відстеження об’єктів у відеопотоці, використовуючи фільтр Калмана та орієнтацію на спостереження над об’єктами (OC-SORT). Метою роботи є виявлення методів поліпшення стабільності менеджменту ідентифікаторів об’єктів у складних умовах, таких як оклюзія та нелінійний рух. Основна ідея алгоритму полягає у впровадженні буфера спостережень для відновлення треків після втрати об’єктів та використанні механізму повторної корекції за допомогою останніх достовірних даних. Такий підхід дозволяє зменшити похибку та підвищити точність відстеження об’єктів, особливо у випадках, коли стандартний фільтр Калмана втрачає об’єкт через тривалу його відсутність. Перший розділ охоплює сучасні підходи з виявлення та трекінгу об’єктів, включаючи методи диференціювання кадрів (Frame differencing), оптичного потоку (Optical Flow), SSD, YOLO, прискорені R-CNN, а також алгоритми трекінгу, зокрема фільтр Калмана, частинковий фільтр (Particle Filter), DeepSORT, ByteTrack. У розділі також розглянуто основні обмеження фільтру Калмана та способи їх вирішення. Другий розділ присвячено детальному аналізу проблем трекінгу у відеопотоці. Охоплено методи асоціації треків, зокрема IoU та Угорський алгоритм, а також використання метрик відповідності (Відстань Махаланобіса, NWD). Увагу приділено впливу налаштування трекера на стабільність ідентифікаторів. У третьому розділі описано структуру та реалізацію алгоритму OC-SORT. Розглянуто архітектуру проєкту, принципи роботи компонентів. Проведено тестування алгоритму на основі методу диференціювання кадрів та YOLO, а результати порівняно з класичними реалізаціями трекерів на основі фільтру Калмана та детекцій. Результати демонструють ефективність алгоритму OC-SORT у контексті менджменту ідентифікаторів об’єктів та стійкості до оклюзій, а також значне зниження кількості помилкових ідентифікацій у порівнянні з базовими підходами. Висновки містять рекомендації щодо подальшого розвитку алгоритму та можливостей його застосування у системах реального часу.
Оптимізація сканування файлової системи для APFS (Apple File System)
(2025) Левченко, Артем; Франків, Олександр
Дана робота присвячена дослідженню та оптимізації процесів сканування файлової системи APFS (Apple File System). У роботі розглянуто основні інструменти для доступу до APFS та алгоритмічні стратегії, такі як верхньорівневий підхід, повний обхід файлової системи, інтерактивний обхід та фільтрація за стоп-словами. Також реалізовані підходи для обробки файлової ієрархії, які включають послідовну та паралельну обробку за допомогою Swift Concurrency та Grand Central Dispatch (GCD). Проведено тестування та порівняльний аналіз ефективності різних методів, які враховують такі критерії, як швидкість, точність, масштабованість та використання ресурсів. В рамках даної роботи створено застосунок для сканування файлової системи APFS, який демонструє практичне застосування розглянутих підходів.
Зворотна розробка дизайну протоколів шифрування
(2025) Кропивницька, Валерія; Бабич, Трохим
Метою дослідження є виявлення внутрішньої реалізації протоколу шифрування повідомлень у мобільному застосунку WhatsApp на базі операційної системи iOS, а також опис цієї реалізації, її аналіз та співставлення з офіційними специфікаціями протоколу Signal.
Розробка корпоративної трекінгової системи спортивної активності працівників
(2025) Колесніченко, Софія; Хряпа, Оксана
У роботі розглянуто створення вебзастосунку для трекінгу фізичної активності та сну працівників у межах корпоративного середовища. Застосунок реалізовано за архітектурою клієнт-сервер із використанням стеку MERN (MongoDB, Express, React, Node.js). Основна функціональність включає: облік активностей (кроки, калорії, дистанція), аналіз сну, участь у змаганнях, рейтинги, інтеграцію з Google Fit API, а також систему автентифікації з розмежуванням прав доступу (Root, Admin, User). Бекенд підтримує REST API з авторизацією через JWT. Фронтенд розроблено на основі шаблону CoreUI з використанням Tailwind CSS. Реалізовано адміністративну панель для керування компаніями, працівниками, відділами та змаганнями. Користувачі можуть переглядати власну статистику, брати участь у змаганнях, а також додавати або імпортувати дані активностей. У роботі також проведено функціональне тестування API та користувацьке тестування інтерфейсу. Запропонована система може бути використана в корпоративному середовищі для моніторингу здоров’я працівників і формування здорових звичок.
Автоматичний аналіз рівня енергоспоживання мобільних застосунків
(2025) Грисюк, Анастасія; Франків, Олександр
У цій кваліфікаційній роботі розглянуто створення інструменту для статичного аналізу коду мобільних застосунків під iOS із метою оцінки потенційного рівня їх енергоспоживання. На основі огляду наукових досліджень було визначено набір антипатернів, що негативно впливають на енергоефективність. Ці антипатерни стали основою для формалізації правил, за якими проводиться аналіз. Особливу увагу приділено реалізації статичного аналізатора за допомогою бібліотеки SwiftSyntax, яка дає змогу працювати з кодом у вигляді абстрактного синтаксичного дерева. У результаті роботи розроблено статичний аналізатор для виявлення енергомістких частин коду під час компіляції. Такий інструмент сприятиме створенню більш енергоефективних мобільних застосунків.
Порівняння швидкодійності парсеро-генераторів та парсеро- комбінаторів екосистеми Rust
(2025) Дурдинець, Олександр; Мисник, Костянтин
У роботі проведено порівняльний аналіз продуктивності парсеро-комбінаторів та парсеро-генераторів, реалізованих у межах екосистеми мови програмування Rust. Основна увага приділялася бібліотекам nom, chumsky, peg та pest, які суттєво відрізняються за архітектурою та підходами до побудови граматик. Для оцінки ефективності реалізовано парсери для форматів JSON та XML, після чого було проведено низку бенчмарків із використанням різних типів вхідних даних: звичайних, глибоко вкладених та з великою кількістю полів. Вимірювались як швидкодія, так і споживання пам’яті. У результаті дослідження встановлено, що nom забезпечує найкраще співвідношення між продуктивністю та ефективністю використання ресурсів. Отримані результати можуть бути використані при виборі парсера для задач синтаксичного аналізу в системах з підвищеними вимогами до продуктивності.

Browse

Recent Submissions