Кафедра інформатики
Permanent URI for this community
Browse
Browsing Кафедра інформатики by Title
Now showing 1 - 20 of 205
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 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 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 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 Автоматизація інфраструктрури підприємства на GCP(2022) Кучер, АнтонМетою цієї роботи є формулювання основних понять, що стосуються теми дослідження, проведення дослідження та аналізу інформаційних систем підприємств, запропонування загальної схеми та мислення при роботі з підприємствами, при цьому враховуючи сучасні вимоги до безпеки в таких системах. Функціональним значенням системи є створення середовища для середнього підприємства в якому може проводитись аналітичний аналіз даних за допомогою машинного навчання. Також в потреби входить підтримка існуючого коду, зберігання і постійне оновлення даних. В системі присутні брокери повідомлень у вигляді Pub/Sub, які забезпечують стеження і реагування на зміни використовуючи Cloud Functions.Item Автоматизоване видалення фону растрового зображення, отриманого за допомогою смартфону(2021) Яцків, Катерина; Афонін, АндрійУ роботі розглядаються різні методи та моделі визначення об’єкту на фотографії методами машинного навчання та комп’ютерного бачення, а також проводиться аналіз використання деяких алгоритмів на практиці. Результатом проведеного дослідження є застосунок та серверна частина, які у режимі реального часу видаляють фон зі зробленої фотографії, та зберігають результат у сховище даних смартфону.Item Автоматизоване виявлення викликів вразливого коду на Python шляхом порівняння версійності вихідного коду(2021) Кармелюк, Костянтин; Бабич, ТрохимУ цій роботі розглядаються різні методики аналізу вразливостей програм, зокрема динамічний та статичний. Описується створення програми для пошуку вразливостей на основі статичного аналізу за допомогою методу, який базується на різності версій програми, включно з описом підходу побудови абстрактного синтаксичного дерева, графу потоку управління та їх аналізу, за допомогою мови програмування python.Item Автоматизоване тестування мобільних застосувань(2020) Єщенко, Микола; Глибовець, АндрійМетою даної роботи є дослідження методик та інфраструктурних рішень тестування програмного забезпечення для мобільних пристроїв, а також їх вплив на процес розробки й підтримки окремо взятого продукту. У даній роботі розглядається поняття тестування, при чому розкриваються технологічні та інфраструктурні принципи створення модулів тестування для сучасних програмних продуктів, їх застосування та оцінка корисності з точки зору життєвого циклу програми.Item Аналіз безпекових загроз для клієнт-серверних застосунків і методи захисту від них(2023) Цабут, Денис; Олецький, ОлексійУ цій роботі розглядається безпекова складова застосунків, заснованих на клієнт-серверній архітектурі: основні типи загроз, що можуть впливають на таке програмне забезпечення, аналіз методів захисту від загроз, що безпосередньо спіткають клієнт-серверні застосунки.Item Аналіз неструктурованих текстів, записаних природньою мовою(2021) Вєдєніков, Микита; Жежерун, ОлександрМетою дослідження є реалізація етапів попередньої обробки для неструктурованих текстів написаних українською мовою для подальшого аналізу.