Кафедра інформатики

Permanent URI for this collection

https://ekmair.ukma.edu.ua/handle/123456789/12311

Browse

Now showing 1 - 10 of 10

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, Nataliya
In 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.
Construction of a mathematical model of multiobjective optimization on permutations
(2020) Koliechkina, Liudmyla; Dvirna, Olena; Nahirna, Alla
The article is devoted to the problem of constructing and solving mathematical models of applied problems as multiobjective problems on combinatorial configurations. This question is actual branch because any task of optimal design of complex economic and technical systems, technological devices, planning and management etc. requires that the desired solution be found consider many criteria. It is used transfer to Euclidian combinatorial configurations and using of discrete optimizations methods. Method for solving such problems is considered and it includes the analyzing of structural graph of Euclidean combinatorial configurations sets. These methods can be modified by combining with other multiobjective optimization approaches depending on the initial conditions of the problem. Models for defining real estate contribution plans and production planning as multiobjective discrete problems are proposed. These models can be supplemented as needed by the required functions and, depending on the initial conditions, are presented as tasks on different sets of combinatorial configurations.
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; Đurić, 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; Kamiloğ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, Disa
The 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.
Experimental analysis of multinational genetic algorithm and its modifications
(2021) Gulayeva,Nataliia; Yaremko, Solomiia
Context. Niching genetic algorithms are one of the most popular approaches to solve multimodal optimization problems. When classifying niching genetic algorithms it is possible to select algorithms explicitly analyzing topography of fitness function landscape; multinational genetic algorithm is one of the earliest examples of these algorithms. Objective. Development and analysis of the multinational genetic algorithm and its modifications to find all maxima of a multimodal function. Method. Experimental analysis of algorithms is carried out. Numerous runs of algorithms on well-known test problems are conducted and performance criteria are computed, namely, the percentage of convergence, real (global, local) and fake peak ratios; note that peak rations are computed only in case of algorithm convergence. Results. Software implementation of a multinational genetic algorithm has been developed and experimental tuning of its parameters has been carried out. Two modifications of hill-valley function used for determining the relative position of individuals have been proposed. Experimental analysis of the multinational genetic algorithm with classic hill-valley function and with its modifications has been carried out. Conclusions. The scientific novelty of the study is that hill-valley function modifications producing less number of wrong identifications of basins of attraction in comparison with classic hill-valley function are proposed. Using these modifications yields to performance improvements of the multinational genetic algorithm for a number of test functions; for other test functions improvement of the quality criteria is accompanied by the decrease of the convergence percentage. In general, the convergence percentage and the quality criterion values demonstrated by the algorithm studied are insufficient for practical use in comparison with other known algorithms. At the same time using modified hill-valley functions as a post-processing step for other niching algorithms seems to be a promising improvement of performance of these algorithms.
Finding the Optimal Solution to the Problem of Conditional Optimization on the Graph of the Set of Partial Permutations
(2020) Koliechkina, Liudmyla; Nahirna, Alla
An optimization problem on a combinatorial set of partial permutations with additional constraints is formulated in the paper. An algorithm for solving this type of problem is considered, which consists of four steps. The algorithm lies in constructing a graph of a set of partial permutations to find the optimal solution. An example of a practical implementation of the presented algorithm is given.
Information system assessment of the creditworthiness of an individual
(2022) Nahirna, Alla; Chumachenko, Oleksandra; Pyechkurova, Olena
Nowadays enterprise information systems of banks provide modules for calculating creditworthiness of the business. Such systems are complex and it is difficult to maintain and develop them. Moreover, it requires the involvement of large teams. In addition, systems are complicated to change and update in accordance with changes in current legislation. From another point of view, demand for consumer loans is high, and creating a separate module for calculating the creditworthiness of an individual is appropriate in case of increasing the adaptability to changes and updates of the system. Calculating the creditworthiness of an individual is relevant not only for the banking system, but also for other spheres such as logistics and marketing. The work describes the created information system for calculating the creditworthiness of an individual, which calculates the class of the borrower based on data from credit history, credit rating, quality characteristics, financial indicators of the person and characteristics of the credit transaction. The use of the Asp.Net Core platform and the Vue.js framework to build a software module that can be used both independently and easily integrated into other corporate systems is demonstrated. In this work the major steps of designing and developing the system are described.
The Practical Aspect of Using a Combinatorial Model on Configuration of Combinations
(2019) Koliechkina, Liudmyla; Nahirna, Alla
The paper proposes the practical task of choosing a set of programs to protect information at the enterprise. An optimization combinatorial model is built on the configuration of combinations to solve the task. An algorithm for finding a solution to this optimization problem is presented. A practical example of the use of a optimization combinatorial model and the search for the best choice of a set of programs for data protection at the enterprise is given.
Speech audio modeling by means of causal moving average equipped gated attention
(2022) Ivaniuk, Andrii
In 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.
Technical comparison aspects of leading blockchain-based platforms on key characteristics
(2018) Ivanov, Alexander; Babichenko, Yevhenii; Kanunnikov, Hlib; Karpus, Paul; Foiu-Khatskevych, Leonid; Kravchenko, Roman; Gorokhovskyi, Kyrylo; Nevmerzhitskyi, Ievhen
Blockchain as a technology is rapidly developing, finding more and more new entry points into everyday life. This is one of the elements of the technical Revolution 4.0, and it is used in the field of supply, maintenance of various types of registers, access to software products, combating DDOS attacks, distributed storage, fundraising for projects, IoT, etc. Nowadays, there are many blockchain-platforms in the world. They have one technological root but different applications. There are many prerequisites to the fact that in the future the number of new decentralized applications will increase. Therefore, it is important to develop a methodology for determining the optimal blockchain-based platform to solve a specific problem. As an example, consider the worldfamous platforms Ethereum, Nem, and Stellar. Each of them allows to develop decentralized applications, issue tokens, and execute transactions. At the same time, the key features of these blockchain-based platforms are not similar to one another. These very features will be considered in the article. Purpose. Identify the key parameters that characterize the blockchain-based platforms. This will provide an opportunity to present a complex blockchain technology in the form of a simple and understandable architecture. Based on these parameters and using the expertise of the article’s authors, we will be able to develop a methodology to be used to solve the problems of choosing the optimal blockchain-based platform for solving the problem of developing smart contracts and issuing tokens. Methods. Analysis of the complexity of using blockchain-based platforms. Implementation of token issuance, use of test and public networks, execution of transactions, analysis of the development team and the community, analysis of the user interface and the developer interface. Discussion. By developing a platform comparison methodology to determine optimal characteristics, we can take the development process to a new level. This will allow to quickly and effectively solve the tasks. Results. Creation of a methodology for comparison blockchain-based platforms.
Кіберфізичні системи як основа інтелектуалізації "розумних" підприємств
(2019) Мейтус, Володимир; Морозова, Г.; Таран, Л. Ю.; Козлова, В.; Майданюк, Н.
Розглянуто склад і структуру кіберфізичних систем, які є інформаційною основою "розумних" підприємств. Визначено області застосування кіберфізичних систем і їх завдання як інформаційної складової "розумного" підприємства, запропонована схема переходу до реалізації інтелектуальних можливостей в керуванні підприємством.

Browse

Browsing Кафедра інформатики by Subject "article"

Results Per Page

Sort Options