122 Комп'ютерні науки
Permanent URI for this collection
Освітня програма: "Комп'ютерні науки"
Browse
Browsing 122 Комп'ютерні науки by Issue Date
Now showing 1 - 20 of 81
Results Per Page
Sort Options
- ItemIntroducing 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Реалізація бази знань за допомогою системи Protégé(2020) Дідко, Владислава; Жежерун, ОлександрЛюди, організації та програмні системи змушені спілкуватися один з одним. Однак спосіб вираження знань про ті чи інші речі на одній і тій самій мові може настільки різнитися, що це призводить до непорозумінь. Це, у свою чергу, веде до труднощів обміну інформацією між людьми, організаціями і програмами, зокрема у формуванні однозначно визначених вимог і специфікацій для складних систем. Незважаючи на достатньо високий рівень розвитку систем моделювання, можливості взаємодії створених з їхньою допомогою програмних моделей, а також повторне використання і поширення цих моделей є доволі обмеженим. Уникнути цього можна за допомогою повного усунення чи хоча б мінімізації концептуальної та термінологічної плутанини та встановлення однозначного розуміння мови, що використовується для формування вимог та специфікацій складних систем.
- ItemProcedural 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Особливості використання машинного навчання та доповненої реальності на пристроях на базі Android(2020) Радзієвська, Олександра; Борозенний, СергійУ роботі описані технології машинного навчання і доповненої реальності та їх перспективи, зокрема при використанні на мобільних пристроях. Розглянуто інструменти ML Kit та ARCore від Google, досліджено їхні переваги та недоліки. На основі цих інструментів було створено фреймворк ARMarker, який може бути використаний іншими розробниками для легкої інтеграції даних технологій у свої додатки.
- ItemТестування веб-застосунків на вразливість та проникнення(2020) Михальова, Валерія; Олецький, ОлексійАктуальність теми. Прогалини в безпеці з'являються на різних стадіях процесу і залежать від безлічі факторів: помилка проектування, невдала конфігурація обладнання та програмного забезпечення, проблеми з мережею, людська помилка. Вони дають неавторизованому користувачеві можливість для атаки на систему, що впливає на її цілісність і конфіденційність. Таким чином, тестування програмних продуктів на вразливість та проникнення допомагає позбутися цих вразливостей і зробити систему достатньо компетентною для захисту від очікуваних і навіть несподіваних шкідливих загроз і атак.
- ItemПобудова інтерпретатора безтипового лямбда числення мовою програмування Haskell(2020) Крисан, Олена; Проценко, ВолодимирКурсова робота присвячена дослідженню безтипового лямбда числення, як базової мови програмування, а також реалізації алгоритму побудови інтерпретатора мовою Haskell. Також детально розібрано теоретичну базу безтипового лямбда числення як з математичної точки зору, так і з точки зору мови програмування.
- ItemКласичні алгоритмічні системи. Розробка емулятора алгоритмів Маркова(2020) Дайрабеков, Артем; Франчук, ОлегУ даній курсовій роботі розглянуто різні алгоритмічні системи (зокрема, машина Тьюрінга, Поста та алгоритми Маркова). Було створено кілька прикладів виконання однакової задачі на цих системах. Також, було побудовано емулятор алгоритмів Маркова. Для створення емулятора було використано такі засоби: мова Swift та IDE XCode.
- ItemПрогнозування та аналіз часових рядів(2020) Женчак, Анастасія; Щестюк, НаталіяВ даній роботі розглянуто методи прогнозування часових рядів, що пояснюють поведінку часового ряду, виходячи лише з його значень в попередні мом енти часу. Для цього випадку добре підходять моделі ARIMA та нейронні мережі LSTM. Вони добре описують як стаціонарні, так і нестаціонарні часові ряди (більшість часових рядів можуть бути приведені до стаціонарного ряду шляхом виділення тренду, сезонної ко мпоненти, чи взяття різниці). Мета даного проекту порівняння методів за допомогою моделей ARIMA та за допомогою нейронних мереж, а саме LSTM. Здійснити аналіз на різних даних, виходячи з їх унікальних форм, щоб перевірити різноманітні зміни в сезоні, п ідвищення цін та різкі відмінності.
- ItemАналіз та тестування уразливості веб-додатків(2020) Суховій, Анастасія; Борозенний, СергійСучасна інформаційна ера перенесла майже кожен фізичний бізнес на онлайн-платформу. Через це, одним із найпопулярніших способів ведення бізнесу є створення веб-додатків. Основна причина такої популярності полягає в тому, що Інтернет служить недорогим, найпростішим та найшвидшим носієм для спілкування та обміну інформацією. Але цей зручний спосіб існує разом із низкою серйозних кіберзагроз.
- ItemПошук сусідів в метричному просторі(2020) Мазуркевич, Віра; Олійник, БогданаОднією з відомих проблем пошуку, що розглядаються для метричних просторів є проблема пошуку найближчого сусіда. Для заданого метричного простору (U, D) і заданої підмножини S множини точок U проблема пошуку найближчого сусіда полягає в тому, щоб побудувати структуру даних для S, щоб для точки q можна було швидко знайти точку s ∈ S, для якої відстань D(s, q) є мінімальною. В курсовій роботі розглядаються різні підходи до цієї проблеми. Підходи залежать як від властивостей метричного простору, зокрема від розмірності метричного простору, так і від потужності множини S. Крім того, є декілька варіацій задачі пошуку найближчого сусіда, які розглянуті нижче. Останніми роками було запропоновано декілька структур даних, які, очевидно, є зручними для просторів і їх підмножин з невеликої розмірності та (або) невеликою кількістю точок. Саме такі підходи розглядаються в курсовій роботі.
- ItemВикористання методу Лукаса-Канаде для аналізу руху та відстеження об’єктів(2020) Кушнір, Вікторія; Бучко, ОленаМетоди обробки зображень є надзвичайно важливими для сучасної науки, вони вважаються одними з таких, які безперервно розвиваються та вдосконалюються. При цьому під обробкою зображень розуміють не лише поліпшення зорового сприйняття зображень, але й класифікацію об'єктів, що виконується при аналізі зображень. Області застосування методів цифрової обробки в наш час значно розширюються, витісняючи аналогові методи обробки сигналів зображень. Методи цифрової обробки широко застосовуються в промисловості, мистецтві, медицині, космічних дослідженнях. Вони застосовуються при керуванні процесами, автоматизації виявлення об'єктів, розпізнаванні образів і в багатьох інших. Цифрова передача зображень із космічних апаратів, цифрові канали передачі сигналів зображень вимагають забезпечення передачі все більших потоків інформації. Формування зображень, поліпшення якості та автоматизація обробки медичних зображень, включаючи зображення, що створюються електронними мікроскопами, рентгенівськими апаратами, томографами тощо, є предметом сучасних досліджень та розробок.
- ItemСтворення системи збору аналітики про студентів університету(2020) Козачук, Анастасія; Глибовець, АндрійМетою даної курсової роботи є створення застосунку для збору аналітики про студентів університету. Зміст курсової роботи розкриває поступові етапи створення веб застосунку за допомогою Spring фреймворку та ReactJS бібліотеки. В першій частині описано розбиття застосунку на рівні і реалізація цих рівнів на основі Spring Boot. В другій частині детально розглянуто внутрішню роботу та налаштування Spring security, а також на основі діаграм описано етапи роботи OAauth2 фреймворку з Microsoft Azure. Третя частина представляє собою опис роботи таких інструментів як ReactJs та Redux для створення UI застосунку.
- ItemРозкладання Холецького: блочно-рекурсивний алгоритм та програма на кількості процесорів 2^n(2020) Іваськевич, Андрій; Малашонок, ГеннадійУ роботі розглянуто блочно-рекурсивний алгоритм розкладу Холецького, для знаходження нижньотрикутної матриці. Основну увагу приділено розробці універсальної паралельної програми, для розв’язання такого типу задач на кількості процесорів 2 в степені n, де n - натуральне число. В результаті дослідження було розроблено алгоритм управління паралельним обчислювальним процесом на суперкомп’ютері з розподіленою пам’яттю, для блочно-рекурсивних алгоритмів.
- ItemСучасні підходи до інтеграційного та навантажувального тестування на базі Spring(2020) Нікітченко, Ярослав; Глибовець, АндрійВ цій роботі йдеться про сучасні методи перевірки якості програмних веб-застосунків на базі Spring. Також детально розглядається інтеграційне та навантажувальне тестування, і детально описується хід виконання кожного з них на практиці.
- ItemCreation 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Розробка системи складання розкладу університету(2020) Лайко, Артем; Шабінська, МаринаУ даній курсовій роботі було визначено проблему створення розкладу університету, розглянуто принципи та алгоритми для її вирішення. Проведено їх порівняння задля визначення переваг та недоліків використання цих алгоритмів. Розроблено застосунок для створення розкладу університету. Докладено опис технологій що були використання у практичній частині. Дана робота використовує такі рішення як Spring Boot та Vue.js.
- ItemКоспектральні регулярні графи(2020) Гришко, Надія; Лебідь, ВікторіяДана курсова робота присвячена дослідженню теорії коспектральних регулярних графів, їх властивостей та пов’язаних з ними теорем і доведень. Вона складається зі вступу, трьох розділів, висновків та списку використаної літератури. Спектральна теорія графів має довгу історія та бере свій початок у далеких 1950-х – 1960-х роках, саме в той час, коли активно почали досліджувати взаємозв’язок між структурними та спектральними властивостями графів, що дало поштовх новому напрямку в галузі математики, такому як спектральна теорія графів. В ті часи теорія матриць та лінійна алгебра використовувалися для аналізу матриць суміжності графів. Крім того, алгебраїчні методи особливо ефективні при обробці регулярних та симетричних графів.
- ItemДослідження методів навчання структури баєсівської мережі(2020) Салій, Анна; Ющенко, ЮрійУ даній роботі розглядаються важливі проблеми навчання структури баєвської мережі. Почнемо з короткого ознайомлення з баєсівськими мережами. Надається огляд навчання структури баєсівських мереж з даних та не тільки. Потім зосередимо увагу на конкретному завданні навчити структуру мережі Баєса із повністю спостережуваних даних, використовуючи підхід пошуку та оцінки. Обговорюємо також баєсівську оцінку та її наслідки. Внесок цієї роботи включає: дослідження літератури про існуючі алгоритми навчання структури; генетичний алгоритм структури навчання, який здійснює пошук по простору графа і використовує оператори мутації та кросовера.
- ItemАвтоматизоване тестування мобільних застосувань(2020) Єщенко, Микола; Глибовець, АндрійМетою даної роботи є дослідження методик та інфраструктурних рішень тестування програмного забезпечення для мобільних пристроїв, а також їх вплив на процес розробки й підтримки окремо взятого продукту. У даній роботі розглядається поняття тестування, при чому розкриваються технологічні та інфраструктурні принципи створення модулів тестування для сучасних програмних продуктів, їх застосування та оцінка корисності з точки зору життєвого циклу програми.
- ItemАнотація зображень з використанням згорткових та рекурентних нейронних мереж(2020) Завертайло, Марія; Бучко, ОленаЩодня нас оточують мільйони зображень в Інтернеті і попри те, що вони не мають словесного опису, людський мозок не задумуючись розпізнає різні об’єкти на фото, класифікує їх та формує загальне розуміння того, що знаходиться на фото. На жаль, комп’ютеру це зробити не так просто і для цього потрібно використовувати нестандартні підходи машинного навчання.