Факультет інформатики
Permanent URI for this community
Browse
Browsing Факультет інформатики by Issue Date
Now showing 1 - 20 of 309
Results Per Page
Sort Options
Item Оптимальні стратегії в коаліційних іграх з локальною взаємодією(2018) Несисюк, Мирослав; Чорней, РусланДипломна робота на здобуття академічного звання магістра математики. В цій роботі розглянуто актуальну на даний момент тему оптимальних стратегій в коаліційних іграх з локальною взаємодією. Ця тема є актуальною в зв`язку з її застосуваннях при моделюванні роботи мережі інтернет. Об`єктом є система з локальною взаємодією, а предметом стратегії гравців в цій системі. Метою цієї роботи є розглянути основні способи побудови систем з локальною взаємодією на основі задачі "хижак - жертва", а завданням створити програму для знаходження отпимальних стратегій жертв для уникнення хижака і перевірити її виконувальність в складніших випадках наприклад декількох хижаків. Методом дослідження є комп`ютерна програма для моделювання задачі.Item Рекурсивний svd-розклад трьохдіагональної матриці на графічному процесорі(2020) Кулаковський, Дмитро; Малашонок, ГеннадійМетою дипломної роботи була реалізація SVD-розкладу для трьохдіагональної матриці на графічному процесорі. Задачу вирішено за допомогою: 1. Мови Python, модулі для математичних функцій. 2. Модуля TensorFlow для роботи із архітектурою CUDA та розрахунків на GPU. В результаті розроблено програму, яка відповідає меті роботи. Проведено тестування додатку та оптимізовано код для пришвидшення розрахунків.Item Investigation of the relationship between software metrics measurements and its maintainability degree(2020) Shapoval, Oleksandr; Hlybovets, AndriiThe goal of this thesis was to practically learn methods of empirical engineering software, algorithms for data collection and data analysis. Results include software measurement, analysis and selection of direct and indirect metrics for research and identification of dependencies between direct and indirect metrics. On the basis of received result were built dependencies between software metrics and software expertise properties. Metrics and properties selected by individual variation. Relationship between metric and expertise includes building direct relationships between the metric and expertise, indirect metrics and expertise. Additionally, was determined whether they have common trends of the relationship between those direct metrics and expert estimates, indirect metrics and expert estimates.Item Розпізнавання акордів(2020) Андрущак, Григорій; Чорней, РусланАктуальність теми. На сьогоднішній день, дослідження та обробка музики є молодою, проте пріоритетною дослідницькою галуззю, оскільки алгоритми обробки, дослідження, розпізнавання та пошуку музики ми використовуємо чи не щодня. Методи дослідження. Перетворення Фур'є, дискретне перетворення Фур'є, алгоритм швидкого перетворення Фур'є на базі мови програмування Python 3, алгоритм розпізнавання акордів на базі шаблонів та його імплементація на базі мови програмування Python 3. Практичне значення роботи. Програма дозволяє користувачеві визначити з яких акордів складається аудіофайл. Робота складається зі вступу, чотирьох розділів, висновку, списку літератури та додатків. У першому розділі описується загальна інформація про дослідження та обробку музики. У другому розділі роботи досліджується теорія музики та її представлення. Третій розділ присвячено розпізнаванню нот та акордів. У четвертому розділі описується розпізнавання акордів на базі шаблонів. Загальний обсяг роботи становить 34 сторінки. Робота містить 5 рисунків та 3 додатки. Список використаної літератури налічує 3 найменування.Item Переклад джерельного коду між мовами java та python(2020) Грабар, ІгорПри проектуванні програмних проектів буває складно передбачити об’єм проекту та його вимоги, тож вибір мови та інструментів може бути не очевидним. Під час розробки таких проектів, розробники можуть зіштовхнутися з рядом проблем, пов’язаних з неоптимальним вибором мови, у результаті чого може виникнути потреба у переписуванні усього проекту на іншій мові програмування. Цей процес може займати значну кількість часу та коштів. Транспілятори вирішують цю проблему автоматизуючи переклад вихідного коду однієї мови на іншу. Робота транспілятора у такому випадку є значно ефективнішою за ручний переклад. Є також і інші причини для міграції програмного коду з однієї мови на іншу: • необхідність використання нової мови • необхідність підтримки старшої версії використовуваної мови • використання інструментів з екосистеми іншої мови • збільшення продуктивності роботи програми У цій роботі було досліджено особливості мов програмування Python та Java, та було створено програму транспілятор між цими двома мовами.Item Архітектура програмного застосунку питально-відповідальної підсистеми(2020) Андрощук, Максим; Глибовець, АндрійItem Система для розв'язування задач з геометрії(2020) Смиш, ОлегУ роботі описано створення прикладу системи для розв’язування задач з геометрії за допомогою сучасних можливостей обробки природної української мови, на основі розробленого алгоритму опрацювання тексту, що базується на аналізі текстів геометричних задач та аналізі доступних засобів обробки живої мови. Кінцевий програмний продукт дає змогу вирішувати прості завдання з планіметрії.Item Реалізація алгоритмів рекомендаційних систем(2020) Безштанько, Володимир; Ковалюк, ТетянаУ межах цієї кваліфікаційної роботи було розглянуто та реалізовано деякі з популярних методів рекомендаційних систем. Особливу увагу було приділено алгоритмам колаборативної фільтрації та k-means як таких, що мають найбільше коло застосування. У процесі їх тестування було на практиці підтверджено необхідність впровадження комбінованих підходів до вирішення задачі надання рекомендацій, для компенсації слабких сторін відповідних рекомендаційних алгоритмів. Огляд сучасного стану рекомендаційних систем дав зрозуміти, що, не зважаючи на вже значну кількість зусиль, спрямованих у напрямку їх розробки у світі, поки не існує універсальних рішень поставлених перед ними задач, тому можна ще очікувати розвиток цього напряму і впровадження більш новітніх підходів.Item Створення PaaS системи управління розумним будинком(2020) Каруна, Даниїл; Шабінська, МаринаВ цій роботі розглядається сьогоднішній стан IoT платформ та платформ для розумних будинків, таких як Apple HomeKit, Google Home та інші. Розглядається оптимальна архітектура на прикладі створення власного сервісу та прикладів API.Item Моделювання в Netlogo взаємодії учасників мережі поставок на прикладі Beer DistributionGame(2020) Міхов, Денис; Глибовець, АндрійУ даній курсовій роботі розглянут аналіз проблем пов’язаних з ефективністю ланцюгів поставок та наукових досліджень щодо моделювання процесів взаємодії учасників ланцюгів поставок, в тому числі на прикладі Beer Distribution Game (BDG), яка ілюструє ефект батіга або Bullwhip Effect (BWE). Одним із поширених засобів дослідження цієї проблематики є застосування мульти-агентних систем моделювання.Item Моделювання динаміки чисельності популяцій з урахуванням затримок у часі(2020) Капустян, Михайло; Дутка, ВасильМета роботи: дослідження математичних моделей, систем, алгоритмів. Поставлена мета передбачає вирішення наступних задач: • аналіз предметної області; • аналіз та пошук існуючих математичних моделей популяції для розрахунку динаміки чисельності популяції. • практичне вирішення певних запропонованих моделей. Об’єктом дослідження є моделі, увага яких спрямована на розрахунок динаміки популяції, та динаміки популяції з затримкою у часі. Потенційні застосування та практична цінність результатів курсової роботи: здобуті рішення та висновки будуть корисними для прогнозування наслідків втручання людей у природу, задля запобігання екологічних катастроф, для прогнозування ефективності ведення господарств, ферм, тощо.Item Distributed system technical audit(2020) Zhylenko, Oleksii; Hlybovets, AndriiIn this coursework will be defined what is distributed systems, review Monolithic, Microservice and serverless architecture. Also, we will deep dive into technical audit process, specify what aspects of system must be considered during audit. Then will iterate over checklists item in order to provide guidelines based on best practices in industry that helps to prepare for system audit.Item Стратегічна невизначеність задач: як кодують ризик і корисність(2020) Бутовський, Владислав; Чорней, РусланМетою даної роботи були аналіз людської поведінки, як системи, математичне обґрунтування ходу думок і одержання майбутніх результатів для індивідуумів, базуючись на минулих виборах. Об’єктом дослідження є ігри-дилеми "Дилема мандрівників", "Гонконгський міст", "Дилема в’язня" та "Мисливці. Лось чи заєць". Методами дослідження є експериментальні результати з живими людьми, використання таблиць, графіків для аналізу, використання знань з предметів Теорії ігор, Теорії ймовірності та Системи прийняття рішень. В додатку надані дані з опитування людей, різного віку для гри «Мисливці. Лось чи заєць». Робота базувалась на теорії документальних статей: Cooperating over losses and competing over gains: A social dilemma experiment, Traveler’s dilemma: how the value of the luggage influences behavior, You cannot gamble on others: Dissociable systems for strategic uncertainty and risk in the brain та The Introduction of a Three-Dimensional Payoff Matrix.Item Переваги та недоліки методу аналізу ієрархій в задачах прийняття рішень(2020) Бєлов, Микола; Франчук, ОлегВ магістерській роботі досліджено засади та принципи роботи методу аналізу ієрархій, поетапно проаналізовано його алгоритмічну складову, розглянуто різновиди методу, такі як метод аналізу мережі та нечіткий метод аналізу ієрархій. Представлено програмну систему, що уможливлює застосування методу аналізу ієрархій для вирішення багатокомпонентних задач. Запропоновано спосіб використання методу аналізу ієрархій задля вирішення проблеми обрання пацієнтів з COVID-19 в умовах нестачі лікарняних ліжкомісць та створено його реалізацію засобами вищезгаданого програмного забезпечення. Висновлено та описано переваги та недоліки методу, проведено відповідні експериментиItem Огляд сучасних платформ для побудови Serverless архітектури(2020) Гавришко, Ярослав; Франчук, ОлегОстаннім часом, популярність serverless обчислень різко зростає, ажде сьогодні це один з найкращих способів для управління коштами, надійністю, доступністю та масштабованістю. У даній курсовій роботі представлено деталі serverless пропозицій від провідних провайдерів таких, як: AWS, Azure, Google Cloud Platform. Було зроблено порівняння між ними за відповідними категоріями: сховище, обчислення, бази даних, обмін повідомленнями, управління АРІ’s та інші інструментарії. Також було представлено порівняльний аналіз serverless архітектур для найбільш поширених випадків з акцентом на перевагах, відкритих проблемах та можливих рішень.Item Поведінковий підхід (BDD) як ефективний метод для організації автоматизованого тестування в безперервній поставці продукту(2020) Бенюх, Лада; Глибовець, АндрійУ даній курсовій роботі розглянуто загальні відомості про організацію автоматизованого тестування та проаналізована ефективність застосування автоматизованого тестування на проекті. Також досліджено різні підходи до організації автоматизованого тестування за допомогою таких методів як написання коду через тестування, поведінковий підхід, підхід тестування за ключовими словами та набором даних. Також були розглянуті переваги, інструменти для організації поведінкового підходу тестування і розроблена система автоматизованого тестування для покриття тестами графічного інтерфейсу користувача та веб-сервісів (API тестування).Item Алгоритм svd для розподіленої пам’яті(2020) Сірош, Ілля; Малашонок, ГеннадійВ роботі розглянуто блочно-рекурсивний алгоритм QR-розкладу та алгоритм UTV-розкладу на основі матриць Ґівенса. Розроблено та реалізовано їх паралельні варіанти. Проведено тестування та зроблено висновки щодо їх подальшого вдосконалення.Item Графічна система для навчання(2020) Димченко, Олексій; Жежерун, ОлександрРобота присвячена створенню системи для малювання геометрії в 2D, опису усіх використаних технологій, задач з якими зіштовхнувся та їх вирішеннями. Роботу виконав студент 1-го курсу магістратури факультету Інформатики Димченко Олексій, науковий керівник доцент Жежерун Олександр Петрович.Item Тензорні обчислення в системі комп’ютерної алгебри(2020) Вороняк, Остап; Малашонок, ГеннадійУ даній дипломній роботі розглянуто основні галузі використання та типи записів тензорів, огляд бібліотеки Tensorics. Реалізовано опис розробки програми, особливості та специфіка розробки та її призначення. Розглянуто функціонал реалізованої програми з додаванням знімків екрану.Item Властивості булевих операцій на дистанційно-транзитивних графах(2020) Будишевська, Марина; Олійник, БогданаГраф – узагальнено, впорядкована пара, яка складається із вершин та ребер. Дистанційно-транзитивний граф, у свою чергу — такий граф, що для будь-якої пари вершин, які знаходяться на певній відстані та для будь-якої іншої пари вершин, які знаходяться на тій самій відстані існує автоморфізм графа, який переводить одну пару вершин в іншу . У роботі розглянуті основні поняття про дистанційно-транзитивні графи та описані деякі операції над графами, зокрема розглянуто булеві операції на графах. Розглянуто деякі властивості, які зберігають операції на графах. Операції над графами реалізовано за допомогою Python.