F3 Комп'ютерні науки
Permanent URI for this collection
Освітня програма: "Комп'ютерні науки"
Browse
Browsing F3 Комп'ютерні науки by Title
Now showing 1 - 20 of 146
Results Per Page
Sort Options
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 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 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 Автоматизоване видалення фону растрового зображення, отриманого за допомогою смартфону(2021) Яцків, Катерина; Афонін, АндрійУ роботі розглядаються різні методи та моделі визначення об’єкту на фотографії методами машинного навчання та комп’ютерного бачення, а також проводиться аналіз використання деяких алгоритмів на практиці. Результатом проведеного дослідження є застосунок та серверна частина, які у режимі реального часу видаляють фон зі зробленої фотографії, та зберігають результат у сховище даних смартфону.Item Автоматизоване виявлення викликів вразливого коду на Python шляхом порівняння версійності вихідного коду(2021) Кармелюк, Костянтин; Бабич, ТрохимУ цій роботі розглядаються різні методики аналізу вразливостей програм, зокрема динамічний та статичний. Описується створення програми для пошуку вразливостей на основі статичного аналізу за допомогою методу, який базується на різності версій програми, включно з описом підходу побудови абстрактного синтаксичного дерева, графу потоку управління та їх аналізу, за допомогою мови програмування python.Item Автоматизоване тестування мобільних застосувань(2020) Єщенко, Микола; Глибовець, АндрійМетою даної роботи є дослідження методик та інфраструктурних рішень тестування програмного забезпечення для мобільних пристроїв, а також їх вплив на процес розробки й підтримки окремо взятого продукту. У даній роботі розглядається поняття тестування, при чому розкриваються технологічні та інфраструктурні принципи створення модулів тестування для сучасних програмних продуктів, їх застосування та оцінка корисності з точки зору життєвого циклу програми.Item Аналіз безпекових загроз для клієнт-серверних застосунків і методи захисту від них(2023) Цабут, Денис; Олецький, ОлексійУ цій роботі розглядається безпекова складова застосунків, заснованих на клієнт-серверній архітектурі: основні типи загроз, що можуть впливають на таке програмне забезпечення, аналіз методів захисту від загроз, що безпосередньо спіткають клієнт-серверні застосунки.Item Аналіз та використання патернів проектування(2021) Харченко, Марина; Яремко, СоломіяПід час виконання даної курсової роботи було проаналізовано 23 типових патерна проектування, особливу увагу було приділено їх розділенню за типом призначення на: породжуючі, структурні та поведінкові. В результаті, було спроектовано 3 системи, кожна з яких поєднує декілька патернів одного типу.Item Аналіз та тестування уразливості веб-додатків(2020) Суховій, Анастасія; Борозенний, СергійСучасна інформаційна ера перенесла майже кожен фізичний бізнес на онлайн-платформу. Через це, одним із найпопулярніших способів ведення бізнесу є створення веб-додатків. Основна причина такої популярності полягає в тому, що Інтернет служить недорогим, найпростішим та найшвидшим носієм для спілкування та обміну інформацією. Але цей зручний спосіб існує разом із низкою серйозних кіберзагроз.Item Анотація зображень з використанням згорткових та рекурентних нейронних мереж(2020) Завертайло, Марія; Бучко, ОленаЩодня нас оточують мільйони зображень в Інтернеті і попри те, що вони не мають словесного опису, людський мозок не задумуючись розпізнає різні об’єкти на фото, класифікує їх та формує загальне розуміння того, що знаходиться на фото. На жаль, комп’ютеру це зробити не так просто і для цього потрібно використовувати нестандартні підходи машинного навчання.Item Апаратно-програмне рішення комп’ютерних ігор на платформі Arduino для людей з вадами зору(2021) Гайворонський, Роман; Бабич, ТрохимВ даній роботі розглянуто апаратно-програмне рішення комп’ютерних ігор на платформі Arduino для людей з вадами зору. Метою роботи було надати нові інструменти розробки відеоігор за допомогою почуття дотику. Отримані необхідні результати і зроблено висновки.Item Апріорний аналіз точності Лагранжево-Ейлерової різницевої схеми методом диференціальних наближень(2022) Кураш, Ярослава; Тригуб, ОлександрМета роботи — розглянути метод диференціальних наближень, побудувати перше диференціальне наближення (ПДН) для Лагранжево-Ейлерової схеми розв’язку рівняння переносу, проаналізувати точність схеми на основі ПДН та продемонструвати результати розрахунків.Item Багаторівневе веб-застосування на docker-платформі(2021) Василів, ІванУ даній роботі розглядається технологія Docker-контейнерів та більш широке поняття контейнеризації, а також практичне використання цієї технології у поєднанні з мікросервісною архітектурою. Проводиться аналіз внутрішньої роботи контейнерів, процес побудови контейнерних зображень, а також роботи Docker Server з ними. Також у роботі представлена внутрішня структура багаторівневого веб-застосування що використовує Docker для деяких функцій, зокрема деплойменту та CI/CD.Item Брокер обміну та обробки повідомлень у реальному часі(2022) Чурілова, Анна; Бабич, ТрохимУ даній роботі розглядаються розробка програмних систем в режимі реального часу, архітектура та принципи роботи популярного брокера повідомлень Apache Kafka та безпечна передача повідомлень між компонентами програм. Метою роботи є дослідження розробки інструментів із використанням найбільш популярних брокерів повідомлень та створення власного аналогу такої системи.Item Використання LLM для побудови графу знань нейронаукових статей(2024) Єремеєва, Софiя; Швай, НадіяThe research purpose is to develop and validate an approach to integrating neuroscientific knowledge from academic papers using a Large-scale Language.