Кафедра програмної інженерії (ПІ)
Постійний URI для цієї колекції
Перегляд
Останні подання
Публікація Метод логічних мереж для моделювання систем адаптивного тестування знань(ХНУРЕ, 2023) Ляшик, В. А.; Шубін, І. Ю.Публікація Аналіз сутності та моделі протоколу інкапсуляції ключів у кільці поліномів над скінченим полем(ХНУРЭ, 2018) Горбенко, І. Д.; Качко, О. Г.; Пономар, В. А.; Єсіна, М. В.; Акользіна, О. С.; Кулібаба, В. А.У роботі розглядається аналіз сутності та моделі протоколу інкапсуляції ключів у кільці поліномів над скінченим полем. Наводяться основні положення стосовно протоколів. Наводяться результати порівняння механізмів інкапсуляції ключів. Наводиться криптографічний протокол інкапсуляції та декапсуляції ключа в NTRU Prime Ukraine.Публікація Метод онтологічного опису в побудові сервіс-орієнтованих систем розподіленого навчання(ХНУРЕ, 2024) Дудар, З. В.; Літвін, С. Г.У роботі висвітлено переваги дослідженого рішення, а саме, алгоритми автоматизованої побудови інтерфейсів вебсервісів для SOA-архітектури, що дають змогу ефективно виконувати поставлене завдання. Алгоритми вирізняються більш загальною моделлю та швидкістю роботи й потребують оцінювання складності.Публікація Аналіз і обґрунтування використання наявних блокчейн-рішень для захисту цифрових активів(ХНУРЕ, 2024) Терещенко, Г. Ю.; Кириченко, І. В.Стаття надає узагальнену уяву про те, як ефективно використовувати блокчейн для забезпечення надійності та безпеки цифрових активів у різних сценаріях застосування. У сучасному цифровому світі, де значення цифрових активів зростає експоненційно, їх захист від кіберзагроз стає критичним завданням. Блокчейн-технології, спочатку розроблені для криптовалют, набули визнання як ефективний інструмент у сфері кібербезпеки. Доведено важливість стандартизації та регулювання в галузі блокчейн-технологій з метою їх ефективної інтеграції та відповідності до вимог законодавстваПублікація Метод лінійно-логічних операторів та логічних рівнянь у завданнях видобування інформації(ХНУРЕ, 2024) Шубін, І. Ю.; Козирєв, А. Д.У роботі досліджено формальні методи інтелектуальних систем, зокрема способи подання знань відповідно до особливостей галузі застосування та мови, що дають змогу кодувати ці знання для зберігання в комп’ютерній пам’яті. Запропонований метод можна впроваджувати в розробленні мовних інтерфейсів для систем автоматизованого доступу до інформації, в алгоритмах пошукових систем, для логічного аналізу інформації в базах даних та експертних системах, а також у виконанні завдань, пов’язаних із розпізнаванням та класифікацією об’єктів.Публікація Метод планування завдань оброблення даних у розподілених системах з обмеженою інформацією про доступні ресурси(ХНУРЕ, 2023) Козирєв, А.; Шубін, І. Ю.У сучасному цифровому ландшафті розподілені системи оброблення даних (РСОД) стають усе більш критично важливими для забезпечення ефективного оброблення, аналізу та управління великими обсягами інформації. Ці системи часто використовуються в комерційних, наукових і соціальних доменах для оброблення комплексних даних в реальному часі або пакетному режимі. Одним із ключових складників таких систем є планування завдань, що є надзвичайно складним процесом, зокрема коли інформація про ресурсні потреби не є повною або точною. Предметом дослідження є алгоритми, методи та підходи, які використовуються для планування завдань між вузлами в розподілених системах. Мета роботи – створення оптимізованого методу планування завдань у РСОД з обмеженою інформацією про доступні ресурси. Завдання дослідження: проаналізувати недоліки сучасних методів для планування завдань у розподілених системах оброблення даних; оптимізувати метод планування завдань на основі метаданих між вузлами РСОД, який ґрунтується на методології пошуку найближчих сусідів із використанням методу локалізованого хешування та алгебри скінченних предикатів; розробити архітектуру програмного рішення та його реалізацію на основі оптимізованого методу; протестувати алгоритм на прикладі завдання декодування відео. Застосовано такі методи: статистичні алгоритми та техніки, зокрема класифікація та кластерний аналіз, використані для прогнозування потреб у ресурсах; візуалізаційні методи допомогли в аналізі та інтерпретації результатів. Результати роботи: проаналізовано недоліки сучасних методів для розподілу завдань у розподілених системах оброблення даних; створено оптимізований метод планування завдань на основі метаданих у РСОД, який ґрунтується на методології пошуку найближчих сусідів із використанням методу локалізованого хешування та алгебри скінченних предикатів; деталізовано процеси в модифікованому алгоритмі пошуку найближчих сусідів; розроблено архітектуру програмного рішення, що інтегрує оптимізований метод планування завдань на основі метаданих та алокації ресурсів; за допомогою практичного сценарію здійснено валідацію програмного рішення – використання створеного алгоритму в задачі планування для декодування відеоінформації. Висновки. Запропонований метод, що ґрунтується на методології локалізованого хешування та на застосуванні алгебри скінченних предикатів, є ефективним навіть у разі недостатньої або обмеженої інформації про ресурсні потреби. Це підтверджує можливість використання динамічних стратегій планування для адаптації до мінливих умов навантаження та доступності ресурсів.Публікація Метод повторного використання знань у формі логічних рівнянь(ХНУРЕ, 2023) Каратаєв, О.; Ситніков, Д.Предмет дослідження – процеси побудови та поповнення баз знань, повторного використання знань, і створення програмних систем на основі баз знань, інтерпретація знань як один із підходів до повторного їх застосування, що полягає у виведенні нових знань на основі наявних фактів у базі знань. Мета дослідження – розроблення методу повторного використання знань за допомогою вирішення логічних рівнянь скінченних предикатів для певної предметної галузі. Для досягнення поставленої мети визначено такі завдання: дослідити дескриптивні підходи до логічного моделювання предметної галузі, що дають змогу повторного використання знань, заданих системою логічних рівнянь у межах алгебри скінченних предикатів; розробити метод поповнення бази знань у формі предикатних рівнянь за допомогою вилучення змінних із логічних систем, де рівняння є складними логічними зв’язками між дискретними ознаками об’єктів або процесів. Використано такі методи: алгебра скінченних предикатів, кванторні операції з предикатами для інтерпретації знань. Здобуто такі результати: проаналізовано дескриптивні методи повторного використання знань; запропоновано метод поповнення бази знань у формі логічних рівнянь з метою спрощення подальшого використання неявних зв’язків між дискретними ознаками; розглянуто приклад поповнення бази знань медичної галузі, що дає змогу повторного використання знань, заданих неявно. Висновки. Запропонований метод дає змогу поповнювати базу знань у формі логічних рівнянь способом додавання предикатних рівнянь, що пов’язують окремі набори дискретних змінних, які цікавлять ученого або практика. Метод поповнення бази знань оснований на додаванні нових спрощених рівнянь; спрощені предикатні рівняння моделюють логічні закономірності, що неявно містяться в основній базі знань; проведено експериментальне дослідження.Публікація Методи автоматизації та інтерпретації якості освітніх тестів у системах розподіленого віртуального навчання(ХНУРЕ, 2023) Ляшик, В.; Шубін, І. Ю.Предметом дослідження є розроблення математичного та алгоритмічного забезпечення інтелектуального інструментарію аналізу наборів тестових завдань і моделювання процесу інтерпретації якості наборів тестових завдань, що дає змогу об’єктивно та всебічно проводити безперервний контроль знань студентів (суб’єктів навчання) за умови впровадження концепції віртуального розподіленого навчання. Мета роботи – створення методів автоматизації оцінювання якості освітніх тестів та інтерпретації результатів, подання математичного апарату, що допомагає якнайкраще описувати складні інтелектуальні процеси й методи оцінювання комплектів тестових завдань під час перевірки рівня знань суб’єктів навчання. У статті вирішуються такі завдання: формування моделі тестування в розподіленому віртуальному навчальному середовищі та моделі оцінювання валідності за змістом наборів тестових завдань. Використовуються такі методи: математична статистика й інтелектуальний аналіз інформації, алгебра скінченних предикатів і операцій. Здобуто такі результати: сформульовано принципи інтелектуального аналізу значення коефіцієнтів надійності, коефіцієнтів валідності, коефіцієнта дискримінативності; визначено індекс важкості завдань для оцінювання знань суб’єктів навчання. Висновки. Застосування методів формалізації оцінювання тестів підтверджують необхідність уведення в практику освіти кількісних методів оцінювання знань студентів. Упровадження зазначених методів передбачає правильне визначення цілей контролю, предмета вимірювання та вибір засобів вимірювання. Застосування розробленого методу аналізу наборів тестових завдань сприяє ефективній реалізації всіх функцій контролю, відповідає основним його принципам для вирішення завдань оцінювання якості тестів і лежить в основі моделей розподіленого віртуального навчання та методів аналізу успішності суб’єктів навчання.Публікація Автоматизація кваліфікації кримінальних правопорушень(ХНУРЕ, 2022) Гуца, О. М.; Ігуменцева, Н. В.З кожним роком у демократичних країнах все більше реалізується системна діяльність правоохоронних та судових органів з використанням комп’ютерних технологій.Публікація Аналіз використання штучного інтелекту для генерації розкладу занять і харчування дітей в закладах дошкільної освіти(ХНУРЕ, 2024) Бондаренко, А. А.; Нестеренко, В. В.; Смєйко, Б. М.This research examines a software tool designed for preschools to manage children's daily schedule and nutrition. Through artificial intelligence, specifically GPT which is a generative AI technology, this system enables teachers to create schedules adjusted to the needs of preschool groups and eating patterns, ensuring they get the right schedule and eating habits. Parents can easily see their children’s daily activities and meals, making it easier to stay informed about their well-being. The main purpose is to use this AI software to make the management of daily activities and nutrition in preschools more efficient and tailored to physical needs, enhancing both educational and health outcomes.Публікація Eventify: інноваційний підхід до організації та пошуку заходів з використанням ШІ(ХНУРЕ, 2024) Сафошин, В. В.; Хамінов, І. О.; Дегтяр, В. Е.In an era of rapid cultural evolution, the challenge of effectively organizing and selecting events that cater to individual preferences has become paramount. "Eventify" revolutionizes event organization in the digital age by leveraging artificial intelligence to tailor cultural event recommendations to individual preferences. This platform not only makes finding events effortless but also signifies a new chapter in personalized cultural experiences, ensuring users are matched with events that resonate with their interests.Публікація Дослідження використання платформи штучного інтелекту для аналізу радіосигналів безпілотних систем та засобів їх придушення(ХНУРЕ, 2024) Маковецький, С. О.; Лещинський, В. О.This work proposes an architectural model of a system for analyzing radio signals of unmanned systems (UAS) and means of their suppression, which uses an artificial intelligence (AI) platform. The system consists of four parts: a cloud server, a web client, a mobile client and a special device for data capturing and sending to the cloud platform. The system collects specific data (time, positioning and amplitude of the radio signal in the specific frequency range). It uses external factors, which are entered through a mobile application and a web interface, to fix the peculiarities of the operation of the UAS.Публікація Методи аналізу даних у системах банківського фінансового менеджменту(ХНУРЕ, 2024) Новосельцев, І. І.The thesis is devoted to the research of the practical use of data analysis methods which are currently involved in scope of banks financial management systems. This article is aimed to consider the actuality of the topic in the world, see how the methods can be used by everyone from financial companies or corporations up to usual person. The thesis takes a closer look to the potential problems that can be solved by the program system using one of the data analysis methods and get us acquainted with suggested software solution for the described questions.Публікація Дослідження методів відстеження телефонів за допомогою GPS та через відправку пакетів даних за назвою мережі(ХНУРЕ, 2024) Запара, О. С.The object of research is methods of tracking phones using GPS and sending data packets by network name. The purpose of the work is to study methods for tracking phones using GPS and by sending data packets by network name to study comparative performance characteristics and implementation of similar methods. Methods and methods of tracking smartphones, ways of their implementation and final results for comparative characteristics are considered in the work. As a result of the work, the methods of tracking phones using GPS and sending data packets by network name were investigated, their implementation and methods of reproduction in the program for their use, a comparative characteristic of similar methods and their implementation was developed.Публікація Кордонні обчислення в якості основи розумного міста(ХНУРЕ, 2024) Моруга, Д. І.As smart cities strive for efficiency and sustainability, centralized cloud computing struggles to handle the deluge of real-time data generated by sensors and devices. Edge computing emerges as a game-changer, processing data at the network's edge for faster insights and reduced latency. This article explores the transformative potential of edge computing in smart city development, analyzing its applications, challenges, and future directions. By addressing these challenges and fostering innovation, edge computing can become the engine powering smarter, more efficient, and resilient cities of tomorrow.Публікація Програмна система управління та контролю якості праці IT-компаній(ХНУРЕ, 2024) Бочаров, В. О.The aim of this research is to develop a software system that manages and controls the quality of work in IT companies. The system will include functionality for tracking project progress and management, as well as statistical data to effectively monitor project development. The system will provide functionality for managing budget projects, controlling expenses and income, and employee salary accounting, among other financial aspects. The emphasis is on increasing the efficiency of IT companies and ensuring control over the quality of project implementation.Публікація Застосування штучного інтелекту для виявлення фейкової інформації(ХНУРЕ, 2024) Ботуз, В. В.The article describes a software system designed to recognize fake or false information based on neural network analysis, thereby eliminating the possible threat of any misinformation. The system is universal as it is accessible to any potential user. The system has a web interface designed for the user, an artificial intelligence module designed to verify information, and a server that ensures the interaction of system components and the storage of all data. In summary, the system, designed to identify fake information and accessible to any potential user has great potential and a wide range of applications, especially against the backdrop of the rapid growth in popularity of AI and the lack of intelligent tools with which to validate any data.Публікація Оптимізація алгоритму плиткового рендерінгу і тіньових карт(ХНУРЕ, 2024) Донець, Д. С.This work is devoted to improving on existing methods of generating shadows performance-vise and enhancing visual quality of the output image created by real time 3D graphics engines (such as game engines). In this example the implementation is based on one of the most robust and powerful game engines, Unreal Engine 5. This example will illustrate minor benefits which are done by the algorithm tailored for specific project’s needs, which are useful in case of not very high total polygon amount per scene. The visual output might not be the desired result in all cases, but it might be applied in many scenarios.Публікація Дослідження методів обробки розподілених транзакцій в мікросервісній архітектурі(ХНУРЕ, 2024) Кузнецов, Р. О.Distributed systems more often become a robust architecture choice for a plenty of use cases in different domains. Despite of their advantages in improving scalability, reliability and maintainability of software systems, they provide additional level of complexity of handling business transactions in atomic and consistent way. This paper describes research that is aimed to analyze different practices in implementing distributed transactions handling patterns in microservices-based systems and provide recommendations what to use in specific situation.Публікація Методи та алгоритми балансування штучного інтелекту для ігор жанру FPS(ХНУРЕ, 2024) Кісельгова, М. Є.This research focuses on optimizing artificial intelligence (AI) for enemy behavior in FPS (First-Person Shooter) games to enhance the gaming experience. AI plays a pivotal role in creating realistic and engaging enemy characters, directly influencing game difficulty and player immersion. This study conducts a comparative analysis of existing AI balancing algorithms and methods used for enemy behavior, proposing an optimized approach based on the analysis of player preferences. By selecting the most relevant balancing parameters, this research aims to develop a more adaptive and challenging AI, contributing to a deeper and more captivating gameplay.