Кафедра інформатики
Permanent URI for this community
Browse
Browsing Кафедра інформатики by Title
Now showing 1 - 20 of 271
Results Per Page
Sort Options
Item 3-D сегментація та візуалізація об'єктів на основі медичних зображень(2020) Нгуєн, Сан Бинь; Бучко, ОленаМета курсової роботи написати застосунок, на вхід якого подається набір медичних зображень, що являють собою 2D зрізи певної ділянки людського тіла, а на виході отримати модель, проекцію якої можна переглянути у 3D просторі. Були розглянуті стандартні алгоритми для побудови 3D-моделей та сегментації. Наведені методи покращення, оптимізації та виявлені певні недоліки наведених алгоритмів. Реалізація, тестування та дослідження основної частини програми були проведені за допомогою мови програмування Python та написаних під неї бібліотек. Для візуалізації отриманих 3D-моделей було додатково створено застосунок під операційну систему iOS з використанням методів доповненої реальності за допомогою бібліотеки ARKit. Оглянуто готові рішення.Item 3D-візуалізація об’єктів на основі медичних зображень(2022) Першута, П.; Бучко, ОленаМетою даної курсової роботи є дослідження роботи алгоритмів побудови 3D-моделей на основі зрізів, отриманих в результаті томографії голови. Проведено аналіз актуальності теми та проаналізовано два алгоритми побудови 3D-зображень, а саме “крокуючі куби” та “крокуючі тетраедри”. Також було розглянуто алгоритми сегментації для покращення вихідної моделі. Реалізовано алгоритм “крокуючі куби” для отримання 3D-моделі на мові С++ з використанням бібліотеки OpenCV.Item 3D-візуалізація об’єктів на основі медичних зображень(2022) Першута, П.; Бучко, ОленаМетою даної курсової роботи є дослідження роботи алгоритмів побудови 3D-моделей на основі зрізів, отриманих в результаті томографії голови. Проведено аналіз актуальності теми та проаналізовано два алгоритми побудови 3D-зображень, а саме "крокуючі куби" та "крокуючі тетраедри". Також було розглянуто алгоритми сегментації для покращення вихідної моделі. Реалізовано алгоритм "крокуючі куби" для отримання 3D-моделі на мові С++ з використанням бібліотеки OpenCV.Item Creation and distribution of the commercial project(2020) Гончар, Андрій; Ющенко, ЮрійIn this coursework the basic lifespan of a startup or a regular project are described. Specific situations, which come up during building and managing the team are explained. There is also a description of the work done to create the app “Quarantine” . The idea of this app is just a fun for the users and money income for the developers from the adds banners inside the app. The preparations done before launching the app are also described below. All the paragraphs describe the real experience gained by the author during the “Quarantine” project.Item Decoding Speech from ECoG with Machine Translation Models(2023) Burakov, Roman; Shvai, Nadyia; Wang, BoThis paper explores the use and improvement of brain-computer interface (BCI)- based speech neuroprostheses, devices designed to enhance communication for individuals with speech disorders. Focusing on the machine learning aspect, we address the existing challenges associated with these systems, such as the limited vocabulary and simple algorithms of previous research and the individual variances in electrode implantation sites. Our approach reframes the decoding of speech from BCI as a machine translation problem and employs existing language models for semantic knowledge transfer. This research provides an extensive analysis of current neural speech decoding and multilingual neural machine translation methods, adapts the pre-existing M2M100 neural machine translation model for decoding ECoG data into text, and introduces a state-of-the-art model for neural speech decoding that improves upon current methods in semantic text reconstructions.Item Dependent Types for Formal Theorem Proving: A Case Study of Hall’s Theorem(2023) Власенко, Павло; Жежерун, ОлександрThis thesis investigates the role of dependent types and Curry-Howard isomorphism in formal theorem proving and programming. First, we highlight the connection between formal logic and type theory and demonstrate how dependent types allow us to encode complex properties like proofs or programs. Next, we introduce Lean, a language utilizing dependent types, and show practical examples to check that the program will never fail and be correct at compile time without needing tests. Finally, we will show an example of a more complex theorem defined in Lean – Hall’s graph theorem and how to use its proof to write the verified program.Item Diffusion models for music generation(2024) Савкін, Гліб; Крюкова, ГалинаIn this work, we aim to research the possibility of applications of diffusion models for the task of symbolic audio generation. We will implement and train a diffusion model, comparing its performance against other popular models for music generation. By providing results and analysis, this study aims to demonstrate the advantages of DDPMs for music generation and to create a foundation for future research in the use of generative models in music generation.Item E-commerce додаток для платформи iOS(2023) Колесніков, Антон; Бітаєва, ОксанаМетою дослідження є розробка та реалізація E-commerce додатку для платформи iOS з метою покращення процесу онлайн-шопінгу на мобільних пристроях для користувачів iOS. Мета та завдання дослідження будуть досягнуті шляхом аналізу інтернет-ресурсів, проєктування та розробки додатка, його тестування та вдосконалення. Також будуть проведені опитування користувачів для оцінки ефективності додатка та його впливу на їхню покупкову поведінку.Item Face recognition in the video stream. Self-attention neural aggregation network(2020) Проценко, Ігор; Крюкова, ГалинаThe models based on self-attention mechanisms have been successful in analyzing temporal data and have been widely used in the natural language domain. A new model architecture is being proposed for video face representation and recognition based on the self-attention mechanism. Moreover, given approach could be used for video with single and multiple identities. Notably, no one explored the aggregation approaches that consider the video with multiple identities. The proposed approach utilizes existing models to get the face representation for each video frame, e.g., ArcFace and MobileFaceNet, and the aggregation module produces the aggregated face representation vector for video by taking into consideration the order of frames and their quality scores. Empirical results are demonstrated on a public dataset for video face recognition called IJB-C to indicate that the self-attention aggregation network (SAAN) outperforms naive average pooling. Moreover, a new multi-identity video dataset based on the publicly available UMDFaces dataset and collected GIFs from Giphy is being proposed. It is shown that SAAN is capable of producing a compact face representation for both single and multiple identities in a video. The source code is attached in the archive.Item Introducing real-time boundless data with websockets(2020) Діденко, Віра; Глибовець, АндрійLoading and displaying a large data set with minimal delay has always been a challenging task. With the increase of data set size, the loading time before the data is displayed grows and the user experience suffers. In this research work the aim is to load and display a large data set within the time limit required for the user to perceive the response as instant and to provide smooth navigation and a pleasant user experience. Based on multiple research the required response time limit was determined to be 0.1 second. Based on this time constraint the time that can be spent for each process was calculated and after an empirical research the data transfer method for loading the data and keeping it real-time was chosen to be WebSockets. With WebSockets as the data transfer technology the large data set was loaded and displayed on a sample data table under 100 milliseconds and a smooth user experience was achieved.Item JIT компіляція динамічних мов програмування(2022) Петрик, Ярослав; Глибовець, АндрійМетою дослідження є огляд та аналіз методів виконання, аналізу, та компіляції динамічних мов програмування. Оглянуто процес перетворень та оптимізації від текстового формату, до різних проміжних репрезентацій обчислень.Item JIT компіляція динамічних мов програмування(2022) Петрик, Ярослав; Глибовець, АндрійМетою дослідження є огляд та аналіз методів виконання, аналізу, та компіляції динамічних мов програмування. Оглянуто процес перетворень та оптимізації від текстового формату, до різних проміжних репрезентацій обчислень. Для аналізу ефективності перетворень коду, та його інтерпретації, було створено проект luar — JIT компілятор мови Lua.Item NLP: морфологічний-орфографічний аналіз слова(2024) Кирилін, Єгор; Смиш, ОлегКваліфікаційну роботу присвячено застосуванню методів обробки природної мови з метою створення застосунку для морфологічного та орфографічного аналізів слів. У роботі використано дані зі словників української мови для розроблення алгоритмів, що дають змогу розібрати слова на морфеми, розставити наголоси, визначити частини мови, до яких вони належать, і ділити слова на переноси та склади. Проведено статистичні аналізи морфем та наголосів української мови для вивчення структури слів та їхнього наголошування.Item Procedural content generation: resolving of customer satisfaction problem(2020) Василенко, Кирило; Шабінський, АнтонProcedural content generation (PCG) is used in a variety of products for different purposes. Most techniques are hidden due to commercial reasons, which forces engineers to invent PCG algorithms from the beginning for every concrete problem. Apart from concrete purpose, current work has an aim to create a public solution for a single problem, which is common in thousands of games. Firstly, this paper will define the specific benefits of PCG for a puzzle game. Problems that will be considered are customers retention, customers acquisition, session duration control. The second aim is to implement a suitable algorithm for a game that will solve problems above.Item Simulation of the delay propagation in the airport flight scheduling process(2024) Kudiakova, Anna; Afonin, AndreyThe goal of this thesis is to develop a simulation of delay propagation to mimic the real-time airport flight scheduling process. The simulation will follow a first-come, first-served protocol, adhering to runway capacity constraints, minimum safe separation intervals between consecutive flights, and turnaround time. This simulation aims to trace how the delay is propagated under congestion conditions when airport operations follow the FCFS framework both with and without adherence to safety constraints. The results will improve the understanding of the impact of security protocols on delay propagation during peak operational times.Item Use of augmented reality to build an interactive interior on the ios mobile platform(2022) Babii, Veronika; Frankiv, OleksanderThe purpose of the thesis is to study ways to create interactive 3D model and to develop an iOS mobile application based on the chosen approach.Item Use of augmented reality to build an interactive interior on the iOS mobile platform.(2022) Babii, Veronika; Frankiv, OleksandrThe thesis is devoted to the study of possibilities of the 3D object creation from the real-life surroundings on the Apple iOS platform. The research is based on the development of a mobile application for the iOS operating system for 3D model creation of the surroundings via the help of the LiDAR Scanner.Item Автоматизація процесів підтримки роботи над науковими публікаціями на основі систем ШІ (Automation of support processes for work on scientific publications based on AI systems)(2024) Іванов, Андрій; Афонін, АндрійМета дослідження полягає у створенні веб-сервісу, який за допомогою штучного інтелекту здатний автоматично обробляти наукові тексти. Це має в собі підсумовування тексту, пошук сайтів з корисною інформацією, а також аналіз настрою тексту та інші функції, що сприяють зручній роботі дослідників.Item Автоматизація інфраструктрури підприємства на GCP(2022) Кучер, АнтонМетою цієї роботи є формулювання основних понять, що стосуються теми дослідження, проведення дослідження та аналізу інформаційних систем підприємств, запропонування загальної схеми та мислення при роботі з підприємствами, при цьому враховуючи сучасні вимоги до безпеки в таких системах. Функціональним значенням системи є створення середовища для середнього підприємства в якому може проводитись аналітичний аналіз даних за допомогою машинного навчання. Також в потреби входить підтримка існуючого коду, зберігання і постійне оновлення даних. В системі присутні брокери повідомлень у вигляді Pub/Sub, які забезпечують стеження і реагування на зміни використовуючи Cloud Functions.Item Автоматизована система вияву аномальної активності у соціальній мережі Telegram(2023) Охріменко, Михайло; Бабич, ТрохимДане дослідження присвячено розробці ефективної системи для виявлення активності ботів та тролів у месенджері Telegram. У роботі було створено систему, що складається з різних підсистем, кожна з яких виконує специфічні задачі: від отримання даних до аналізу та визначення шаблонів. В основу системи було покладено принципи модульності, масштабованості та надійності, що дозволило забезпечити гнучкість і адаптивність у процесі розробки.