Кафедра комп’ютерних наук та програмної інженеріїhttp://ekhsuir.kspu.edu/123456789/103302024-03-28T09:32:24Z2024-03-28T09:32:24ZРОЗРОБКА ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ НАВЧАЛЬНОГО ПРИЗНАЧЕННЯ ЗА ТЕХНОЛОГІЄЮ ДОПОВНЕНОЇ РЕАЛЬНОСТІЖигун, Є. С.http://ekhsuir.kspu.edu/123456789/190232024-01-16T08:50:35Z2023-01-01T00:00:00ZРОЗРОБКА ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ НАВЧАЛЬНОГО ПРИЗНАЧЕННЯ ЗА ТЕХНОЛОГІЄЮ ДОПОВНЕНОЇ РЕАЛЬНОСТІ
Жигун, Є. С.
Робота описує створення AR-додатку для мобільних пристроїв, що візуалізує фізичні закони з лабораторних робіт для 9 класу, покращуючи розуміння предмету учнів та їх зацікавленості у ньому під час навчання. Використовуючи Blender для 3D-моделювання та Unity3D з AR Foundation для реалізації доповненої реальності, проект зосереджується на деталізації наукових експериментів. Додаток є доступним для Android та iOS, розширюючи дидактичні можливості та сприяючи розвитку критичного мислення у школярів. / The work describes the creation of an AR application for mobile devices that visualizes physical laws from laboratory work for the 9th grade, improving pupils' understanding of the subject and their interest in it during learning. Using Blender for 3D modeling and Unity3D with the AR Foundation to implement augmented reality, the project focuses on detailing scientific experiments. The application is available for Android and iOS, expanding didactic opportunities and promoting the development of pupils’ critical thinking.
Жигун, Є. С. Розробка програмного забезпечення навчального призначення за технологією доповненої реальності = Development of educational software for augmented reality technology : курсова робота / Є. С. Жигун ; наук. керівник канд. фіз.-мат. наук, доцент Г. М. Кравцов ; М-во освіти і науки України ; Херсонський держ. ун-т, Ф-т комп’ютерних наук, фізики та математики, Кафедра комп’ютерних наук та програмної інженерії. – Херсон : ХДУ, 2023. – 45 с.
2023-01-01T00:00:00ZРОЗУМНИЙ КОНТРАКТ ДЛЯ СТУДЕНТСЬКИХ ГОЛОСУВАНЬ НАПИСАНИЙ МОВОЮ SOLIDITYРудь, В. А.http://ekhsuir.kspu.edu/123456789/190222024-01-16T08:47:42Z2023-01-01T00:00:00ZРОЗУМНИЙ КОНТРАКТ ДЛЯ СТУДЕНТСЬКИХ ГОЛОСУВАНЬ НАПИСАНИЙ МОВОЮ SOLIDITY
Рудь, В. А.
Дипломна робота присвячена розробці системи смартконтрактів для студентських голосувань на базі технології блокчейн. Робота досліджує основні проблеми та виклики, пов'язані з голосуваннями в умовах використання традиційних систем, і пропонує рішення на основі блокчейн-технологій. Основний акцент роботи зроблено на оптимізації використання газу та забезпеченні конфіденційності голосувань. Також розглядаються можливі шляхи впровадження та використання смартконтракту в навчальних закладах. В результаті було розроблено прототип системи на базі Ethereum, який може служити основою для майбутнього впровадження в університетах та коледжах. / The thesis is devoted to the development of a system of smart contracts for student voting based on blockchain technology. The work explores the main problems and challenges associated with voting in the context of traditional systems and offers solutions based on blockchain technologies. The main focus of the paper is on optimizing the use of gas and ensuring the confidentiality of voting. It also considers possible ways to implement and use smart contracts in educational institutions. As a result, a prototype system based on Ethereum was developed, which can serve as a basis for future implementation in universities and colleges.
Рудь, В. А. Розумний контракт для студентських голосувань написаний мовою Solidity = Smart contract for student voting written in Solidity language: кваліфікаційна робота на здобуття ступеня вищої освіти «магістр» / В. А. Рудь ; наук. керівник д.т.н проф. В. С. Песчаненко ; М-во освіти і науки України ; Херсонський держ. ун-т, Ф-т комп’ютерних наук, фізики та математики, Кафедра комп’ютерних наук та програмної інженерії. – Херсон ; Івано-Франківськ : ХДУ, 2023. – 114 с.
2023-01-01T00:00:00ZМЕТОДИ ТА ТЕХНОЛОГІЇ РОЗРОБЛЕННЯ ПРОГРАМНИХ ЗАСОБІВ НАВЧАЛЬНОГО ПРИЗНАЧЕННЯ З ТОЧНИХ ТА ПРИРОДНИЧИХ ДИСЦИПЛІНМорозенко, В. І.http://ekhsuir.kspu.edu/123456789/190212024-01-16T08:42:59Z2023-01-01T00:00:00ZМЕТОДИ ТА ТЕХНОЛОГІЇ РОЗРОБЛЕННЯ ПРОГРАМНИХ ЗАСОБІВ НАВЧАЛЬНОГО ПРИЗНАЧЕННЯ З ТОЧНИХ ТА ПРИРОДНИЧИХ ДИСЦИПЛІН
Морозенко, В. І.
Ця робота присвячена розробці системи дистанційного навчання та тестування.. З огляду на це, кваліфікаційна робота характеризується актуальністю. Метою кваліфікаційної роботи є розробка web-орієнтованої системи дистанційного навчання та тестування. / This work is devoted to the development of a distance learning and testing system. In view of this, the qualification work is characterized by relevance. The purpose of the qualification work is to develop a web-based distance learning and testing system.
Морозенко, В. І. Методи та технології розроблення програмних засобів навчального призначення з точних та природничих дисциплін = Methods and technologies for the development of educational software for exact and natural disciplines : кваліфікаційна робота на здобуття ступеня вищої освіти «магістр» / В. І. Морозенко ; наук. керівник кандидат фізико-математичних наук доцент Г. М. Кравцов ; М-во освіти і науки України ; Херсонський держ. ун-т, Ф-т комп’ютерних наук, фізики та математики, Кафедра комп’ютерних наук та програмної інженерії. – Херсон ; Івано-Франківськ : ХДУ, 2023. – 97 с.
2023-01-01T00:00:00ZВАЛІДАЦІЯ ФОРМУЛ В СИСТЕМІ ІНСЕРЦІЙНОГО МОДЕЛЮВАННЯДубіна, В. Г.http://ekhsuir.kspu.edu/123456789/190202024-01-16T08:38:34Z2023-01-01T00:00:00ZВАЛІДАЦІЯ ФОРМУЛ В СИСТЕМІ ІНСЕРЦІЙНОГО МОДЕЛЮВАННЯ
Дубіна, В. Г.
У цій роботі розглядаються питання та особливості валідації формул для системи моделювання вставки (IMS), зокрема для системи Алгебраїчної Віртуальної Машини (AVM), якою володіє "PE LitSoft". Ми надаємо основні кроки, необхідні для розробки валідатора. Валідація формул включає в себе набір синтаксичних правил та перевірок, які дозволяють логічно визначати та методично обробляти інформацію щодо правильного введення формул. Валідація коду для систем моделювання вставки породжує проблему, яка схожа на обробку природного тексту. У нашому випадку однією з ключових проблем та особливостей валідації формул і функцій є важливість їх аргументів, які містять необхідні дані (значення, типи і т. д.), від яких залежить правильна робота формул. На основі операційної системи Ubuntu та мов програмування, таких як JavaScript, TypeScript, був створений валідатор. Одна з його функцій дозволяє обробляти формули, виділяючи їх на стандартні конструкції, такі як поведінкові моделі. Після вилучення формули відбувається пошук її ініціалізації, визначається тип повернення та типи аргументів, які повинні бути передані, якщо це потрібно. Валідатор також дозволяє визначити аргументи формули, після чого знаходить їх ініціалізацію та отримує дані про типи, схожі на пошук ініціалізації формули. Потім проводиться перевірка на кількість аргументів, порівняння типу та переданого аргумента і очікуваного типу аргументу для виявлення помилок в коді поведінкової моделі. / This work explores the issues and nuances of formula validation for the Insertion Modeling System (IMS), specifically within the context of the Algebraic Virtual Machine (AVM) owned by "PE LitSoft." We provide the essential steps required for the development of a validator. Formula validation encompasses a set of syntactic rules and checks that enable logical determination and systematic handling of information regarding the correct input of formulas. Validating code for insertion modeling systems presents a problem akin to natural language processing. In our case, one of the key challenges and features in validating
formulas and functions is the significance of their arguments, which contain essential data (values, types, etc.) upon which the correct operation of the formulas depends. Using the Ubuntu operating system and programming languages such as JavaScript and TypeScript, a validator was created. One of its functions allows for the processing of formulas, categorizing them into standard constructs, such as behavioral models. After extracting a formula, the search for its initialization takes place, determining the return type and the types of arguments that should be passed, if necessary. The validator also permits the identification of formula arguments, subsequently locating their initialization and obtaining data about types, similar to the search for formula initialization. Subsequently, a check is performed for the number of arguments, comparing the type with the passed argument, and verifying the expected argument type to detect errors in the code of the behavioral model.
Дубіна, В. Г. Валідація формул в системі інсерційного моделювання = Validation of formulas in the insertion modeling system : кваліфікаційна робота на здобуття ступеня вищої освіти «магістр» / В. Г. Дубіна ; наук. керівник доктор фізико-математичних наук, професор В. С. Песчаненко ; М-во освіти і науки України ; Херсонський держ. ун-т, Ф-т комп’ютерних наук, фізики та математики, Кафедра комп’ютерних наук та програмної інженерії. – Херсон ; Івано-Франківськ : ХДУ, 2023. – 51 с.
2023-01-01T00:00:00Z