122 Комп'ютерні науки
Permanent URI for this collection
Освітня програма: "Комп'ютерні науки"
Browse
Browsing 122 Комп'ютерні науки by Title
Now showing 1 - 20 of 123
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 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 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 Використання квадратичних ядер у згорткових нейронних мережах(2021) Мощицький, Микола; Швай, НадіяМетою роботи є створення навчальної програми для демонстрації використання квадратичних ядер у згорткових нейронних мережах.Item Використання мета-евристичних алгоритмів для вирішення задач на задоволення обмежень(2022) Орел, Даниїл; Бабич,ТрохимДана робота присвячена вирішенню задачі на задоволення обмежень, що слугує фундаментом для побудови ефективної моделі для автогенерації розкладу. Вирішення цієї проблеми дозволить методистам будь-якого факультету в університеті "Києво-Могилянської академії" отримувати готовий навчальний розклад. У роботі представлено модель, що вирішує задачу задоволення обмежень, побудовану на основі інструментарію OptaPlanner. Окрім моделі, було висвітлено нову архітектуру веб-конструктора для побудови навчального розкладу, яка включає у себе реалізацію сервісу для автогенерації розкладу. У висновках було проведено аналіз ефективності побудованої моделі та подальші шляхи її вдосконалення.Item Використання методу Лукаса-Канаде для аналізу руху та відстеження об’єктів(2020) Кушнір, Вікторія; Бучко, ОленаМетоди обробки зображень є надзвичайно важливими для сучасної науки, вони вважаються одними з таких, які безперервно розвиваються та вдосконалюються. При цьому під обробкою зображень розуміють не лише поліпшення зорового сприйняття зображень, але й класифікацію об'єктів, що виконується при аналізі зображень. Області застосування методів цифрової обробки в наш час значно розширюються, витісняючи аналогові методи обробки сигналів зображень. Методи цифрової обробки широко застосовуються в промисловості, мистецтві, медицині, космічних дослідженнях. Вони застосовуються при керуванні процесами, автоматизації виявлення об'єктів, розпізнаванні образів і в багатьох інших. Цифрова передача зображень із космічних апаратів, цифрові канали передачі сигналів зображень вимагають забезпечення передачі все більших потоків інформації. Формування зображень, поліпшення якості та автоматизація обробки медичних зображень, включаючи зображення, що створюються електронними мікроскопами, рентгенівськими апаратами, томографами тощо, є предметом сучасних досліджень та розробок.