НАУКОВІ РОБОТИ ЗДОБУВАЧІВ ВИЩОЇ ОСВІТИ
Permanent URI for this communityhttps://ekhsuir.kspu.edu/handle/123456789/10243
Browse
4 results
Search Results
Item РОЗРОБКА ТА ПРОЕКТУВАННЯ СИСТЕМИ МОНІТОРИНГУ БЛОКЧЕЙН ПРОЕКТІВ(2023) Толубець, Б. М.Ця робота присвячена розробці та проєктуванню системи моніторингу блокчейн проектів з використанням сучасних технологій програмування web 3. Аналогічні системи не здійснюють перевірку проектів при завантаженні на платформу, використовують застарілі технології проведення оплати та збереження даних. Метою кваліфікаційної роботи є спроектувати і розробити програмний продукт, а саме – web-додаток для моніторингу і аналізу проєктів, які використовують блокчейн рішення. Для досягнення мети порівнюються аналогічні платформи, на основі аналізу складається реєстр вимог для програмного продукту. / This work is dedicated to the development and design of a blockchain project monitoring system using modern web 3 programming technologies. Similar systems do not verify projects when they are uploaded to the platform, they use outdated payment and data storage technologies. The purpose of the qualification work is to design and develop a software product, namely a web application for monitoring and analyzing projects that use blockchain solutions. To achieve the goal, similar platforms are compared, based on the analysis, a register of requirements for the software product is compiled.Item РОЗРОБКА КАЛЬКУЛЯТОРА СТАВКИ ДЛЯ БЛОКЧЕЙН СИСТЕМ(2023) Чобулда, Д. О.Дипломна робота присвячена розробці калькулятору ставки для блокчейн систем. У роботі описано процес розробки та інтеграції різноманітних компонентів калькулятору, таких як визначення кількості монет, відведених для ставки, розрахунок очікуваної винагороди за ставки, врахування факторів, таких як інфляція та кількість монет валідатора. Окрім того, в роботі проводиться аналіз різних підходів до розрахунку стейкінг винагород та порівняльний аналіз різних блокчейн систем з цією функцією. Результатом роботи є функціонуючий калькулятор ставки, який допомагає користувачам розрахувати очікувану винагороду за ставку. / The thesis is devoted to the development of a staking calculator for blockchain systems. The work describes the process of developing and integrating various components of the calculator, such as determining the amount of coins allocated for staking, calculating the expected staking reward, and taking into account factors such as inflation and the validator's coin amount. In addition, the thesis analyzes various approaches to calculating staking rewards and provides a comparative analysis of different blockchain systems with this function. The result of the work is a functioning staking calculator that helps users calculate the expected reward for staking.Item ФОРМАЛІЗАЦІЯ ОСВІТНЬОЇ ІНФОРМАЦІЙНОЇ СИСТЕМИ ВИБОРУ КУРСІВ ТЕХНОЛОГІЯМИ ТОКЕНІЗАЦІЇ(2022) Ільїна, І. В.Ця робота присвячена формалізації моделі освітньої інформаційної системи вибору курсів технологіями токенізації. Токенізація освіти є наступним кроком у підвищенні ефективності та інноваційності в процесі надання освітніх послуг. За допомогою використання методів алгебраїчного програмування та інсерційного моделювання ми маємо змогу проаналізувати модель токенізації освіти на властивості стійкості, наявність недоліків або можливих протиріч та здійснити на пошук ефективних сценаріїв роботи системи. З огляду на розвиток блокчейн технології та ріст попиту на впровадження токенізації в різні сфери життя, зокрема і освіту, ми вбачаємо цю роботу актуальною. Метою кваліфікаційної роботи є дослідження використання методів інсерційного моделювання для аналізу та верифікації моделей токенізації освіти та формалізація моделі з подальшим дослідженням її властивостей. Для досягнення зазначеної мети вивчається література по алгебраїчному моделюванню. / This work is devoted to the formalization of the educational information system of course selection using tokenization technologies. Tokenization of education is the next step in increasing attractiveness and innovation in education. The formalization of the model with the help of algebraic modeling tools helps educators to make fundamental reflections and carry out verification regarding the implementation of blockchain technology, in particular, tokenization in education. In view of this, qualification work is characterized by relevance. The purpose of the qualification work is to study the use of insertion modeling methods for the analysis and verification of models of tokenization of education and the formalization of the model with further study of its properties. To achieve this goal, the literature on algebraic modeling is studied.Item ВИКОРИСТАННЯ МЕТОДІВ АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ ДЛЯ АНАЛІЗУ МОДЕЛЕЙ ТОКЕНIЗАЦЇ ОСВIТИ(2022) Коннова, О. В.Використання блокчейну в освіті все ще знаходиться в зародковому стані, і лише невелика кількість установ впроваджують цю технологію. Але блокчейн в освітніх закладах відкриває величезні можливості для ефективного використання та може допомогти у вирішенні багатьох проблем. Саме технологія блокчейн дозволяє ефективно реалізувати нову освітню парадигму шляхом створення активів чи токенів, які стануть основою нової системи стимулів для студентів та викладачів. Токенізація у сфері освіти — це революційна альтернатива традиційним неефективним підходам до навчання. Але для того, щоб модель токеноміки була ефективною важливо вміти правильно аналізувати, перевіряти та тестувати її за допомогою спеціальних інструментів. Це дасть змогу перевірити життєздатність моделі, знайти вразливості, які можуть представляти небезпеку для системи та її користувачів у майбутньому. У даній роботі ми дослідити використання методів алгебраїчного програмування для аналізу та верифікації моделей токенізації освіти. Зробили формалізацію моделі та дослідити її основні властивості. Основною метою формалізації є пошук помилок моделювання, недоліків або можливих протиріч; пошук ефективних сценаріїв роботи системи. / The use of blockchain in education is still in its infancy, and only a small number of institutions are implementing this technology. But the blockchain in educational institutions offers great opportunities for effective use and can help solve a lot of problems. It is blockchain technology that allows users to effectively implement a new educational paradigm by creating assets or tokens that will form the basis of a new system of rewarding students and teachers. Tokenization in education is a revolutionary alternative to traditional ineffective approaches to learning. But in order for the tokenomics model to be effective, it is important to be able to properly analyze, verify and test it with special tools. This will allow to test the viability of the model, to find vulnerabilities that could pose a threat to the system and its users in the future. In this paper, we investigate the use of algebraic programming methods for the analysis and verification of models of education tokenization. We formalized the model and investigated its basic properties. The main purpose of formalization is to search for modeling errors, shortcomings or possible contradictions; search for effective system scenarios.