Кафедри
Постійне посилання на розділhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/35393
Переглянути
3 результатів
Результати пошуку
Документ Logical Networks and Their Usage in Solving of Morphological Tasks(2020) Shubin, Igor; Kozyriev, Andrii; Pitiukova, Mariia; Svyatkin, YaroslavIn the study of category theory, along with the usual concept of category met. As a result of developing a link between two different definitions of a category and a more general notion of an objectless category, it was found out that a whole class of isomorphic categories with objects corresponds to it. A universal mathematical apparatus of the algebra of predicates was proposed, and more precisely its central fragment, which refers to the description of logical spaces – logical analysis. As a result, the interpretation of the category in terms of the algebra of predicates was found – the predicate category Pred, and for both cases: the category with objects and the objectless category.Документ Evaluation model of the recovery processes of non-markovian systems, considering the elements unreliability under arbitrary distribution laws(Національний технічний університет "Харківський політехнічний інститут", 2022) Raskin, Lev; Ivanchikhin, Yuriy; Sukhomlyn, Larysa; Svyatkin, Iaroslav; Korsun, RomanThe subject of the study is the reliability of recoverable non–Markovian systems, functioning of which is described by arbitrary distribution laws. The purpose of the article is to develop a mathematical model of the functioning of modern computer systems under arbitrary laws of the distribution of stay duration in each of the states, taking into account the recovery system and the provision of spare elements. The main task is to develop an adequate model of the system functioning process, taking into account the non-Markovian character of the processes occurring in the system, its possible large dimension, and the presence of a hierarchical recovery system. Based on this model, a method for calculating the density of the system recovery time distribution has been developed. At the same time, a universal four-parameter distribution is proposed to describe random processes occurring in the system. Using this approximation, the calculation of the desired parameter of the recovery flow is performed by solving the Volterra integral equation with a difference kernel.Документ Semi-Markov reliability models(Національний технічний університет "Харківський політехнічний інститут", 2022) Raskin, Lev; Sviatkin, Iaroslav; Ivanchikhin, Yuriy; Korsun, RomanTraditional technologies for reliability analysis of semi-Markov systems are limited to obtaining a stationary state probability distribution. However, when solving practical control problems in such systems, the study of transient processes is of considerable interest. This implies the subject of research - the analysis of the laws of distribution of the system states probabilities. The goal of the work is to obtain the desired distribution at any time. The complexity of the problem solving is determined by the need to obtain a result for arbitrary distribution laws of the duration of the system's stay in each state before leaving. An easy-to-implement method for the analysis of semi-Markov reliability models has been suggested. The method is based on the possibility of approximating probability-theoretic descriptions of failure and recovery flows in the system using the Erlang distribution laws of the proper order. The developed computational scheme uses the most important property of Erlang flows, which are formed as a result of sieving the simplest Poisson flow. In this case, the semi-Markov model is reduced to the Markov one, which radically simplifies the analysis of real systems.