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