Кафедра інформатики
Permanent URI for this collection
Browse
Recent Submissions
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 Південно-Української АЕС. При цьому враховано фактичні та паспортні характеристики його металу.Item Speech audio modeling by means of causal moving average equipped gated attention(2022) Ivaniuk, AndriiIn the paper we compare different attention mechanisms on the task of audio generation using unsupervised approaches following previous work in language modeling. It is important problem, as far as speech synthesis technology could be used to convert textual information into acoustic waveform signals. These representations can be conveniently integrated into mobile devices and used in such applications as voice messengers or email apps. Sometimes it is difficult to understand and read important messages when being abroad. The lack of appropriate computer systems or some security problems may arise. With this technology, e-mail messages can be listened quickly and efficiently on smartphones, boosting productivity. Apart from that, it is used to assist visually impaired people, so that, for instance, the screen content can be automatically read aloud to a blind user. Nowadays, home appliances, like slow cookers can use this system too for reading culinary recipes, automobiles for voice navigation to the destination spot, or language learners for pronunciation teaching. Speech generation is the opposite problem of automatic speech recognition (ASR) and is researched since the second half of the eighteen’s century. Also, this technology also helps vocally handicapped people find a way to communicate with others who do not understand sign language. However, there is a problem, related to the fact that the audio sampling rate is very high, thus lea,ding to very long sequences which are computationally difficult to model. Second challenge is that speech signals with the same semantic meaning can be represented by a lot of signals with significant variability, which is caused by channel environment, pronunciation or speaker timbre characteristics. To overcome these problems, we train an autoencoder model to discretize continuous audio signal into a finite set of discriminative audio tokens which have a lower sampling rate. Subsequently, autoregressive models, which are not conditioned on text, are trained on this representation space to predict the next token, based on previous sequence elements. Hence, this modeling approach resembles causal language modeling. In our study, we show that unlike in the original MEGA work, traditional attention outperforms moving average equipped gated attention, which shows that EMA gated attention is not stable yet and requires careful hyper-parameter optimization.Item Передмова(2022) Глибовець, МиколаПередмова до видання Наукові записки НаУКМА. Комп'ютерні науки. Т. 5. (2022).Item Специфікація процедурної мови програмування(2022) Проценко, ВолодимирРозглянуто процедурну мову програмування, об’єкти якої – цілі змінні й процедури. Оператори мови – присвоєння, введення, виведення, умовний, циклу і блок. Головне призначення блоку – введення локальних цілих змінних і процедур. Процедура має параметри і тіло – оператор. Обчислює процедуру оператор виклику, аргументи якого цілі змінні. Наведено повну формальну специфікацію мови. На основі специфікації побудовано інтерпретатор мови програмування.Item Використання доповненої реальності для візуалізації архітектур програмних модулів(2022) Франків, ОлександрУ статті описано створений програмний комплекс ADAR для статичного аналізу програмного коду з подальшим створенням тривимірної моделі для візуалізації засобами доповненої реальності. Комплекс має природне для людини подання, що дає змогу на інтуїтивному рівні ефективно аналізувати складність зв’язків між різними частинами програмного коду, які виступають критерієм визначення зв’язності, зв’язаності або крихкості компонента.Item Реалізація чат-ботів із поведінкою, що керується скінченним автоматом, у графічному конструкторі(2022) Гулаєва, Наталія; Кобєлєв, МихайлоОкреслено основні методи використання скінченних автоматів (СА) для моделювання й програмної реалізації поведінки об’єктів різної природи. Як приклад інтерактивної програми розглянуто чат-боти: основні поняття, методи класифікації, способи реалізації. Запропоновано розширення СА для моделювання поведінки текстового чат-бота, побудованого на правилах. Дано короткий огляд методів перетворення СА на програмний код у різних парадигмах програмування. Запропоновано динамічний підхід для виконання такого перетворення, зі збереженням специфікації СА в базі даних. Розроблено графічний конструктор, який дає змогу створювати модель чат-бота, базованого на правилах, у вигляді скінченного автомата та виконує трансформацію побудованої моделі для безпосереднього використання в месенджер-платформі Telegram.Item Система захисту рухомих об'єктів із використанням GPS/GSM-модулів та радіопротоколу(2022) Гороховський, Семен; Алєксєєв, АнтонРозглянуто проблему захисту та охорони на прикладі рухомого об’єкта – велосипеда, з використанням GSM- і GPS-модулів. Показано основні особливості наявних систем у цій сфері, їхні переваги й недоліки. Наведено переваги використання радіопротоколу для захисту велосипедів. Розроблено модель системи, що відповідає потребам користувача.