Кафедра інформатики
Permanent URI for this collection
Browse
Recent Submissions
Item Моделювання регуляційних механізмів блокчейну за допомогою мультиагентних систем(2024) Єщенко, МиколаДана робота присвячена дослідженню моделювання механізмів регулювання блокчейн за допомогою мультиагентних систем, що має бути ефективним засобом проти найпоширеніших видів атак на блокчейн.Item Автоматизовані системи аналізу, виявлення та запобігання зловмисної мережевої активності(2024) Вознюк, Ярослав; Вознюк, ОксанаМетою дослідження був аналіз безкоштовних та умовно-безкоштовних IDS/IPS рішень, що можуть бути інтегровані із технологіями ML/AI. На основі аналізу публікацій та сучасних практик ми виробили набір рекомендацій щодо впровадження згаданих інструментів та окремих методик виявлення втручань у реальних мережевих середовищах.Item Інтеграція кіберполігонів в освітній процес(2024) Глибовець, Андрій; Бабич, ТрохимУ статті висвітлено теоретичні основи кіберполігонів, включаючи огляд основних технологій та методів, що використовуються для створення віртуалізованих кіберсередовищ, приклади впровадження кіберполігонів у навчальні програми вищих навчальних закладів, розглянуто їх вплив на мотивацію студентів.Item Розробка освітніх інструментів для математики та фізики на основі ШІ: використання LaTeX і ШІ для створення та вирішення структурованих завдань(2024) Сах, РоманThis thesis explores the transformation of traditional mathematics and physics education through the development of AI-powered tools capable of generating and solving tasks with complete solutions. By converting existing schoolbooks into a structured LaTeX format, parsing solutions, and using this data to train AI models, we propose a scalable, automated approach to educational content creation. The system employs advanced natural language processing (NLP) techniques and mathematical solvers to generate new tasks in a similar style, complete with detailed solutions. This paper details the processes of dataset preparation, model training, and solution architecture, emphasizing reproducibility and adaptability in educational systems.Item Вплив ERP-систем на розвиток сучасних підприємств(2024) Романюк, Н.; Савченко, ТетянаРобота присвячена ролі інформатизації в сучасному бізнесі, зокрема в подоланні проблем, пов’язаних із фрагментацією інформації та процесів. Розглядаєються ERP-системи і їх здатність консолідувати основні бізнес-функції в єдину структуру.Item Efficiency of question-answering pipeline in systems with combined LLM and knowledge base usage(2024) Androshchuk, MaksymThe integration of a large language model (LLM) with a knowledge base (KB) has been shown to significantly enhance the efficiency of question-answering (QA) pipelines. The KnowledgeNavigator framework has demonstrated effectiveness and generalization in QA tasks [1].Item Some Ways of Enhancing Recommendations Aimed at Improving Positions of Alternatives on the Base of AHP(2023) Oletsky, Oleksiy; Tryhub, Oleksander; Franchuk, Ivan; Dosyn, DmytroSuggestions on enhancing the approach to elaborating recommendations about improving alternatives, which are to be chosen, on the base of the Analytic Hierarchy Process, and those on supplementing the recommender system based on this approach, are made in the paper. These suggestions are aimed both at implementing various options for recommendations about actual betterment of alternatives and at justifying possible satisfactory choices. Within the latter, possibilities related to fixing inconsistencies in the initial pairwise comparison matrices are discussed and illustrated.Item Моделювання надшвидкого аварійного охолодження стінки корпуса реактора ВВЕР-1000(2023) Попов, Вячеслав; Тригуб, Олександр; Мілейковський, ВікторВійськова агресія РФ, окупація Запорізької АЕС, ракетні обстріли України актуалізують моделювання можливих нових надпроєктних режимів реакторних установок. Таке моделювання і відповідний прогноз наслідків для радіаційного ресурсу корпуса реактора ВВЕР-1000 представлені в даній роботі. Моделювання виконане на основі реального режиму АЕС, що мав місце.Item Development of a Chat-Bot Graphical Designer(2023) Gulayeva, Nataliya; Kobieliev, MykhailoChat-bot is a computer program conducting conversations with humans via natural language. There exist several chat-bot classification methods: by interaction mode, design technique, usage goal etc. In this paper, text rule-based task-oriented chat-bots are considered. A graphical designer for these chat-bots to be created and integrated in the Telegram messenger is developed and implemented. At that, chat-bot behaviour is modelled using Finite State Machine (FSM) extended by disabled transitions to save history of transition changes made during FSM design process.Item Розробка та експериментальний аналіз геометричних методів утворення ніш(Видавництво Львівського торговельно-економічного університету, 2023) Яремко, СоломіяМатеріали доповіді учасника Міжнародної науково-практичної конференції "Сучасні напрями розвитку економіки, підприємництва та їх правового забезпечення", 1-2 червня 2023 року, Львів.Item Мій Глушков: Три зустрічі(2023) Гороховський, СеменЯ свідомо вибрав жанр спогадів, знаючи, що в номері буде багато статей про наукову творчість В.М. Глушкова. Крім того, головний редактор дав мені повну свободу жанру і стилю. Я збираюсь намалювати портрет людини, яку бачив сам, з якою зустрічався, у якої вчився і яку обожнював.Item A Logical-Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology(2024) Aranda-Corral, Gonzalo; Borrego-Díaz, Joaquín; Chávez-González, Antonia; Gulayeva, NataliyaIn ontology engineering, reusing (or extending) ontologies poses a significant challenge, requiring revising their ontological commitments and ensuring accurate representation and coherent reasoning. This study aims to address two main objectives. Firstly, it seeks to develop a methodological approach supporting ontology extension practices. Secondly, it aims to demonstrate its feasibility by applying the approach to the case of extending qualitative spatial reasoning (QSR) theories. Key questions involve effectively interpreting spatial extensions while maintaining consistency. The framework systematically analyzes extensions of formal ontologies, providing a reconstruction of a qualitative calculus. Reconstructed qualitative calculus demonstrates improved interpretative capabilities and reasoning accuracy. The research underscores the importance of methodological approaches when extending formal ontologies, with spatial interpretation serving as a valuable case study.Item Задача Рiк'є для одного модельного рiвняння гiперболiчного типу 4-го порядку(2022) Александрович, І.; Ляшко, С.; Ляшко, Володимир; Ляшко, Н.; Сидоров, В.-С.Інтегральні оператори, що переводять довільні Функції в регулярні розв’язки рівнянь гіперболічного типу другого і вищих порядків, застосовані до розв’язування крайових задач. Зокрема, ставиться і розв’язується задача Рік’є для рівняння типу Ейлера-Пуассона-Дарбу 4-го порядку.Item Передмова(2023) Глибовець, МиколаУ статтях цього випуску розглянуто теоретичні аспекти кібернетики і програмування, а також практичні застосування програмних технологій у галузі сучасної інформатики та прикладної математики. Цей номер є результатом досліджень наших учених і втілює наше прагнення збагатити та розширити горизонти знань у цих стратегічних галузях.Item Оптимізаційні задачі для оцінок відносної важливості елементів у методі аналізу ієрархій(2023) Стецюк, Петро; Вакуленко, Дмитро; Ляшко, ВолодимирРозглянуто задачу знаходження та задачу коригування коефіцієнтів у матриці попарних порівнянь для елементів методу аналізу ієрархій, де критерієм є мінімізація індексу узгодженості коефіцієнтів (максимального власного числа обернено-симетричної матриці) за обмежень на відхилення від заданих пріоритетів елементів. Наведено розрахунки оптимальних коефіцієнтів в обох задачах для прикладу Т. Сааті, пов’язаного з дослідженням інтенсивності освітлення та закону оберненого квадрата відстані до джерела освітлення. Розглянуто приклад застосування другої оптимізаційної задачі для формування компонентів мультимедійного психомоделювального середовища для підвищення ефективності реабілітації пацієнтів.Item Порівняльний аналіз алгоритмів суперроздільної здатності для стиснення зображень(2023) Бучко, Олена; Нгуєн, Сан БиньУ статті розглянуто підхід до стиснення зображень, який передбачає використання методів суперроздільної здатності. Запропонований підхід має потенціал підвищити візуальну якість відтворення зображень і забезпечити ефективніший результат стиснення порівняно з традиційними методами стиснення. Наведено експериментальну оцінку запропонованого алгоритму на основі FSRCNN, EDSR, Real-ESRGAN мереж суперроздільної здатності з використанням кількісних та якісних показників.Item Веббазована система групового розподіленого розроблення програм(2023) Давиденко, Андрій; Глибовець, МиколаУ статті описано архітектуру, використані технології створеної веббазованої системи розподіленого розроблення програм з акцентом на ефективне й просте одночасне групове створення тексту програми та її редагування і відлагодження. Впровадження модульної архітектури та механізму збереження вмісту сесій редагування забезпечило злагоджену функціональність компонент системи та ефективну підтримку узгодженості, управління неблокуючим паралелізмом, а також підтримку застосування сторонніх компіляторів та їх інтеграції з вебсистемою для колаборативного редагування. Для зручності спілкування користувачів у системі реалізовано чат. Вагомим доробком є підтримка окремих сесій редагування. Також імплементовано механізм прототипування клієнтських вебзастосунків, що дає змогу розробникам вебзастосунків швидко перевірити коректність програмного коду або верстки вебсторінки і поділитися цим з іншими розробниками. Коротко представлено сфери застосування системи і подальшого вдосконалення.Item Системи оброблення неструктурованої мультимедійної інформації(2023) Пухальський, Богдан; Кирієнко, ОксанаУ роботі представлено огляд систем пошуку зображень і методів, які використовують для вирішення проблем комп’ютерного зору. У першій частині увагу зосереджено на потребах користувачів і вимогах до систем пошуку зображень, після чого розглянуто наявні системи, як-от Google Photos, Apple Photos, Amazon Photos, Microsoft Photos і Flickr, оцінено їхні переваги та недоліки та обговорено запропоновані шляхи вирішення виявлених недоліків. Детально проаналізовано запропоновані методи комп’ютерного зору, зокрема виявлення об’єктів (облич) і текстовий опис зображень.Item Emotional Experiences and Psychological Well-Being in 51 Countries During the COVID-19 Pandemic(2024) Sun, Rui; Balabanova, Alisa; Bajada, Claude Julien; Liu, Yang; Kriuchok, Mariia; Voolma, Silja-Riin; Đurić, Mirna; Mayer, Claude-Hélène; Constantinou, Maria; Chichua, Mariam; Li, Chengcheng; Foster-Estwick, Ashley; Borg, Kurt; Hill, Carin; Kaushal, Rishabh; Diwan, Ketaki; Vitale, Valeria; Engels, Tiarah; Aminudin, Rabiah; Ursu, Irina; Fadhlia, Tengku Nila; Wu, Yi-jung; Sekaja, Lusanda; Hadchity, Milad; Deak, Anita; Sharaf, Shahira; Figueras, Pau; Kaziboni, Anthony; Whiston, Aoife; Ioumpa, Kalliopi; Montelongo, Alfredo; Pauw, Lisanne; Pavarini, Gabriela; Vedernikova, Evgeniya; Van Vu, Tuong; Nummenmaa, Lauri; Cong, Yong-Qi; Nikolic, Milica; Olguin, Andrea; Hou, Wai Kai; Israelashvili, Jacob; Koo, Hyunjin; Khademi, Samaneh; Ukachukwu, Chinwendu; Juma, Damian Omari; Kamiloğlu, Roza; Makhmud, Akerke; Lunga, Peter Sigurdson; Rieble, Carlotta; Rizwan, Muhammad; Helmy, Mai; Vuillier, Laura; Manokara, Kunalan; Quezada, Enzo Cáceres; Tserendamba, Delgermend; Yoshie, Michiko; Du, Amy; Philip-Joe, Kumba; Kúld, Pála Björk; Damani, Kalifa; Osei-Tutu, Annabella; Sauter, DisaThe COVID-19 pandemic presents challenges to psychological well-being, but how can we predict when people suffer or cope during sustained stress?Here,we test the prediction that specific types of momentary emotional experiences are differently linked to psychological well-being during the pandemic. Study 1 used survey data collected from 24,221 participants in 51 countries during the COVID-19 outbreak. We show that, across countries, wellbeing is linked to individuals’ recent emotional experiences, including calm, hope, anxiety, loneliness, and sadness. Consistent results are found in two age, sex, and ethnicity-representative samples in the United Kingdom (n= 971) and the United States (n= 961) with preregistered analyses (Study 2). A prospective 30-day daily diary study conducted in the United Kingdom (n= 110) confirms the key role of these five emotions and demonstrates that emotional experiences precede changes in well-being (Study 3). Our findings highlight differential relationships between specific types of momentary emotional experiences and well-being and point to the cultivation of calm and hope as candidate routes for well-being interventions during periods of sustained stress.Item Експертне експрес-оцінювання впливу тепломасообмінних процесів на залишковий ресурс корпуса реактора ВВЕР-1000 через окрихкення його металу(2022) Попов, В’ячеслав; Мілейковський, Віктор; Тригуб, ОлександрРеактор ВВЕР-1000 експлуатується на 13-ти з 15-ти наявних енергоблоках атомних станцій України (АЕС). Забезпечення тривалої та безпечної експлуатації таких реакторів є основою для надійної роботи всіх 13 українських енергоблоків АЕС і гарантом енергетичної безпеки України. Визначальним та головним фактором, що впливає на безпеку й належний залишковий ресурс корпусу реактора ВВЕР-1000, є радіаційне окрихкення реакторної сталі в умовах нестаціонарного тепломасообміну в реакторі. Наслідки радіаційного окрихкення реакторної сталі негативно проявляються при аварійних ситуаціях з охолодженням активної зони. Сам цей процес – радіаційне окрихкення – накопичується постійно й поступово. Тому важливо вести його моніторинг шляхом періодичного поточного експрес-оцінювання крихкої міцності корпуса реактору ВВЕР-1000, особливо в умовах змінного теплового режиму. Отже, актуальним є використання розрахункових експрес-методів періодичної оцінки крихкої міцності корпусу реактору ВВЕР-1000 з гарантованим забезпеченням належної точності. При цьому ефективність підходу підкріплюється невисокими витратами ресурсів – інженерного персоналу, швидким та відносно спрощеним використанням обчислювальної техніки і програмних засобів. Як приклад і підтвердження застосовності запропонованого підходу виконано експертне експрес-оцінкювання крихкої міцності й залишкового ресурсу корпусу реактора енергоблоку № 1 Південно-Української АЕС. При цьому враховано фактичні та паспортні характеристики його металу.