Научная статья на тему 'MODELING THE RELIABILITY OF THE ONBOARD EQUIPMENT OF A MOBILE ROBOT'

MODELING THE RELIABILITY OF THE ONBOARD EQUIPMENT OF A MOBILE ROBOT Текст научной статьи по специальности «Математика»

CC BY
53
24
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
RELIABILITY / FAILURE / FAULT-TOLERANCE / SEMI-MARKOV PROCESS / SAMPLING / MODELING / ACCURACY / COMPUTATIONAL COMPLEXITY

Аннотация научной статьи по математике, автор научной работы — Larkin Eugene V., Akimenko Tatiana A., Bogomolov Aleksey Valer'Evich

Mobile robots with complex onboard equipment are investigated in this article. It is shown that their onboard equipment, for providing the required reliability parameters, must have fault-tolerant properties. For designing such equipment it is necessary to have an adequate model of reliability parameters evaluation. The approach, linked to the creation of the model, based on parallel semi-Markov process apparatus, is considered. At the first stage of modeling, the lifetime of the single block in a complex fault-recovery cycle is determined. Dependences for the calculation of time intervals and probabilities of wandering through ordinary semi-Markov processes for a common case are obtained. At the second stage, ordinary processes are included in the parallel one, which simulates the lifetime of the equipment lifetime as a whole. To simplify calculations, a digital model of faults with the use of the procedure of histogram sampling is proposed.  It is shown that the number of samples permits to control both the accuracy and the computational complexity of  the procedure for calculating the reliability parameters.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «MODELING THE RELIABILITY OF THE ONBOARD EQUIPMENT OF A MOBILE ROBOT»

Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2021. Т. 21, вып. 3. С. 390-399

Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2021, vol. 21, iss. 3, pp. 390-399

https://mmi.sgu.ru https://doi.org/10.18500/1816-9791-2021-21-3-390-399

Article

Modeling the reliability of the onboard equipment

of a mobile robot

E. V. Larkin10, T. A. Akimenko1, A. V. Bogomolov2

1 Tula State University, 92 Lenin Ave., Tula 300012, Russia

2St. Petersburg Federal Research Center of the Russian Academy of Science, 39 14th line of Vasilievsky Island, St. Petersburg 199178, Russia

Eugene V. Larkin, elarkin@mail.ru, https://orcid.org/0000-0002-1491-524X Tatiana A. Akimenko, tantan72@mail.ru, https://orcid.org/0000-0003-1204-2657 Alexey V. Bogomolov, a.v.bogomolov@gmail.com, https://orcid.org/0000-0002-7582-1802

Abstract. Mobile robots with complex onboard equipment are investigated in this article. It is shown that their onboard equipment, for providing the required reliability parameters, must have fault-tolerant properties. For designing such equipment it is necessary to have an adequate model of reliability parameters evaluation. The approach, linked to the creation of the model, based on parallel semi-Markov process apparatus, is considered. At the first stage of modeling, the lifetime of the single block in a complex fault-recovery cycle is determined. Dependences for the calculation of time intervals and probabilities of wandering through ordinary semi-Markov processes for a common case are obtained. At the second stage, ordinary processes are included in the parallel one, which simulates the lifetime of the equipment lifetime as a whole. To simplify calculations, a digital model of faults with the use of the procedure of histogram sampling is proposed. It is shown that the number of samples permits to control both the accuracy and the computational complexity of the procedure for calculating the reliability parameters.

Keywords: reliability, failure, fault-tolerance, semi-Markov process, sampling, modeling, accuracy, computational complexity

Acknowledgements: This work was supported by a grant from the President of the Russian Federation for state support of leading scientific schools of the Russian Federation (NSh-2553.2020.8).

For citation: Larkin E. V., Akimenko T. A., Bogomolov A. V. Modeling the reliability of the onboard equipment of a mobile robot. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2021, vol. 21, iss. 3, pp. 390-399 (in English). https://doi.org/10.18500/1816-9791-2021-21-3-390-399

This is an open access article distributed under the terms of Creative Commons Attribution 4.0 International License (CC-BY 4.0)

Научная статья УДК 631.353.3

Моделирование надежности бортового оборудования

мобильного робота

Е. В. Ларкин10, Т. А. Акименко1, А. В. Богомолов2

1 Тульский государственный университет, Россия, 300012, г. Тула, просп. Ленина, д. 92 2Санкт-Петербургский Федеральный исследовательский центр Российской академии наук, Россия, 199178, г. Санкт-Петербург, 14-я линия Васильевского острова, д. 39

Ларкин Евгений Васильевич, доктор технических наук, профессор кафедры робототехники и

автоматизации производства, elarkin@mail.ru, https://orcid.org/0000-0002-1491-524X

Акименко Татьяна Алексеевна, кандидат технических наук, доцент кафедры робототехники и

автоматизации производства, tantan72@mail.ru, https://orcid.org/0000-0003-1204-2657

Богомолов Алексей Валерьевич, доктор технических наук, профессор, лаборатория технологий

больших данных социокиберфизических систем, a.v.bogomolov@gmail.com, https://orcid.org/0000-

0002-7582-1802

Аннотация. Исследованы мобильные роботы со сложным бортовым оборудованием. Показано, что бортовое оборудование для обеспечения требуемых параметров надежности должно обладать отказоустойчивыми свойствами, а для проектирования такого оборудования необходима адекватная модель оценивания его надежности. Рассмотрен подход, связанный с созданием модели, основанной на теории параллельных полумарковских процессов. На первом этапе моделирования определяется срок службы единственного блока в сложном цикле устранения неисправностей. Получены зависимости для расчета временных интервалов и вероятностей блуждания по обычным полумарковским процессам для общего случая. На втором этапе обычные процессы включаются в параллельный, который имитирует срок службы оборудования в целом. Для упрощения расчетов предложена цифровая модель неисправностей с использованием процедуры построения гистограмм. Показано, что количество выборок позволяет контролировать как точность, так и вычислительную сложность процедуры расчета параметров надежности.

Ключевые слова: надежность, отказ, отказоустойчивость, полумарковский процесс, выборка, моделирование, точность, вычислительная сложность

Благодарности: Работа поддержана грантом Президента Российской Федерации для государственной поддержки ведущих научных школ Российской Федерации (НШ-2553.2020.8). Для цитирования: Larkin E. V., Akimenko T. A., Bogomolov A. V. Modeling the reliability of the onboard equipment of a mobile robot [Ларкин Е. В., Акименко Т. А., Богомолов А. В. Моделирование надежности бортового оборудования мобильного робота] // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2021. Т. 21, вып. 3. С. 390-399. https://doi.org/10.18500/1816-9791-2021-21-3-390-399 Статья опубликована на условиях лицензии Creative Commons Attribution 4.0 International (CC-BY 4.0)

Introduction

Mobile robots that execute target tasks in an aggressive environment are currently widely used in industry, anti-terrorism operations, technology disaster consequences elimination, military sphere, etc. [1-3]. The impact of the environment leads to the

fact that the robot's onboard equipment reliability indicator, namely mean time between failures, falls sharply, which reduces the robot's lifetime in general. To increase the lifetime, the planned redundancy is introduced into the equipment. Since the reliability parameters [4-6] of an individual block are limited, this problem can be solved only systematically, using redundant fault-tolerant structures [7-9]. For proper planning the redundancy it is necessary to simulate the failure-recovery process of both only units and equipment as a whole preliminary. The general approach to modeling the reliability of a system is based on the theory of Markov [10,11] or semi-Markov [12-15] processes which allow describing a single unit of equipment lifetime. Using more rough Markov models instead of semi-Markov ones, we downgrade the accuracy of the simulation procedure. Other approaches to simulation suppose the application of the Monte-Carlo method [16], the chaos expansion method [17], the graph theory [18, 19] but all approaches are insufficient, due to the fact that they do not take into account that in redundant structures a competition effect arises. Below it is proposed to use discrete semi-Markov models instead of Markov models to describe the competition in fault-tolerant assemblies in which accuracy can be controlled by changing the number of samples at distribution densities. Therefore, it is necessary to develop a model whose accuracy can be estimated and increased/decreased in accordance with the solvable reliability problem, which explains the necessity and relevance of this study.

1. The approach to simulation of fault-tolerant systems

Mobile robot equipment, in which the fault-tolerance principle is realized, may be considered as M units, operated in parallel [20]. Fault/recovery processes in assembly units develop in parallel, so such an abstraction as M-parallel semi-Markov process [21] may be obtained to describe the reliability of the assembly as follows:

where ^m, 1 ^ m ^ M is the ordinary semi-Markov process [12-14], which is characterized with a set of states Am = {a0(m),..., aj(m),..., a^m)} and a semi-Markov matrix

where t is the time a0(m); simulates the start of m-th unit exploiting, when it is surely able to work; aj(m) is the absorbing state, which simulates the fully destroyed unit; Oj(m), 1(m) ^ j(m) < J(m) simulate other physical states (able to work, short-time failures, under recovering, etc.);

where Pm = [p(m),k(m)] and fm(t) = fj(m),k(m)(t)] are [Jm + 1] x [Jm + 1] stochastic matrix and matrix of pure time densities, correspondingly.

Semi-Markov matrix (1) has the following features: elements of the matrix hm(t) zero column, Jm-th row and diagonal elements are equal to zeros. Physically it means, that any unit cannot return to the beginning of exploiting, cannot return from the state of complete destruction and cannot switch to the same state, as before switching. Weighted time densities foj(m),k(m)(t) describe both sojourn time in the state aj(m), and prior probabilities of switching into conjugative states. Due to there is the only absorbing

hm(t) = [hj(m)k(m) (t)] ;

Mi) = p ® f m(t);

(1)

state in , for elements of rows from 0m-th till [Jm-1]-th the next expression is true:

J (m) p

/ hj(m),k(m) (t) dt = 1, 0(m) ^ j(m) ^ J(m).

k(m)=1(mr°

Both probabilities pj(m),k(m) and parameters of time densities f(m),k(m)(t), such as expectations and dispersions, defining fault/recovery process in m-th unit, depend on the material, of which the element is made, quality of element manufacturing and assembling, exploiting conditions, side effects, and so on, and define mobile robots' reliability in common.

From the common problem of reliability estimation digitizing may be set off three tasks, which one should fulfill:

- the estimation of the time till failure (random walk from a°(m) till aJ(m));

- the estimation of the time and transition probability of random walk from arbitrary aj(m) = a°(m) = aj(m) till arbitrary ak(m) = a°(m) = %(m);

- the estimation of the time and probability of returning to aj(m) = a°(m) = aj(M).

In general, time till failure may be defined as follows [22]:

f0(m),J(m) (t) = L

-1

TRm) '^{¿(hm(t))}" ' J

w=1

J (m)

(2)

where /Rm) is the [J(m) + 1]-size row-vector, in which 0(m)-th element is equal to one, and other elements are equal to zeros; /J(m) is the [J(m) + 1]-size column-vector, in which J(m)-th element is equal to one, and other elements are equal to zeros; L and L-1 are direct and inverse Laplace transforms, correspondingly. To solve the second task one should transform hm(t) as follows

hm(t) ^ h'm(t).

During the transformation, the only restriction imposed onto wandering trajectories is that neither aj(m), nor ak(m) state processes should fall twice. To form hm(t)' with such properties in semi-Markov matrix hm(t) all elements of j(m)-th column and k(m)-th row should be replaced by zeros. Elements hi(m),1(m)(t) should be recalculated as follows:

h'

i(m),l(m)

(t) =

h

i(m),l(m)

(t)

J (m)

pi (m),k(m)

k(m)=0(m), k{m)=j{m)

0(m) ^ i(m),j(m),k(m) ^ J(m), i(m) = k(m).

Stochastic summation of densities, formed on all possible wandering trajectories, gives the following expression:

hj(m),fc(m) (t) = • L 1

j(m)

E{L[hm (t)' ]}

w=1

• T C

(3)

where lRm) is the row-vector, in which j(m)-th element is equal to one, and other elements are equal to zeros; Ik(m) is the column-vector, in which k(m)-th element is equal to one, and other elements are equal to zeros.

In the semi-Markov process hm(t)' there are, as a minimum, two absorbing states, namely ak(m) and aj(m), so the group of events of reaching from is not full, and in common case hj(m) k(m)(t) is weighted, but not pure density. The state ak(m) from the state aj(m) may be reached with probability [23]

pj(m), k(m) — hj(m),k(m) (t) dt

Jo

and pure time density of wandering from the state aj(m) to the state ak(m) may be defined as follows:

Jj(m),k(m)(t) — P 77), (4)

pj(m),k(m)(t)

when solving the third task, one should execute the following transformation:

hm (t) ^

where one row and one column are added to the matrix; complementary, [J(m) + 1]-th row should be fulfilled with zeros; j(m)-th column at first should be carried over the complementary -th column, and then it should be fulfilled with zeros. Stochastic summation of densities, formed on all possible wandering trajectories, gives next expression:

h"(m),fc(m) (t) - jm) • L 1

E{L[hm (t)'' ]}

w=1

• lC(m)+1, (5)

where ljRm) is the [J(m) + 2]-size row-vector, in which jm-th element is equal to one, and other elements are equal to zeros; Ij(m)+1 is the [J(m) + 2]-size column-vector, in which [J(m) + 1]-th element is equal to one, and other elements are equal to zeros. In the semi-Markov process hm(t) there are two absorbing states, namely aj(m) and aj(m)+1, so the group of events of reaching aj(m)+1 from aj(m) is not full and in common case hj'(m) J(m)+1(t) is weighted, but not pure density. The state aJ(m)+1 from the state aj(m) may be reached with probability

pj(m) ,J(m)+1 — hj(m) ,J(m)+1(t) dt

o

and during pure time density

hj'(m),J (m)+1 (t) Pj'(m),J (m)+1 (t)

Jj (m),J (m)+1(t) — f 77V- (D)

2. Sampling of time densities

As it follows from (2), (3), (5), expressions for calculation of densities /0(m),J(m)(t),

fj(m),k(m)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(t), /j(m),J(m)+1(t) are t00 complicated to use them for analysis of robotic system

reliability, due to the fact there is so-called "competition" [20,21] for failure among equipment units. So, to investigate the reliability of the robotic system as a whole, one should use any approach to densities mentioned. Let us consider generalized density

0m(t) ^ {/0(m),J(m) (t), /j(m),k(m) (t), /j(m),J(m)+1 (t)}'

oc

In the most general case (t) is a continual function with the next common properties:

0 ^ tmin ^ arg[0m (t)] ^ tmax < oo.

Time density 0m(t) may be represented as a histogram. For this purpose domain [tmin,tmax] should be divided into X intervals, 0 ^ t < ti, ...,tx-1 ^ t < tx, ...,rX-i ^ t < o, as it is shown in the Figure. For simplification of the model, it is advisable to do both borders tx between histogram intervals and sampling points representing intervals, uniform for all 1 ^ m ^ M.

Ф

n

T0 T1 ••• Tx-1 Tx ••• t

Figure. Time density sampling Histogram intervals width D is as follows:

A = ^-Г • (7)

where X is the quantity of histogram intervals; ti and tx_i are the right border of the first interval and the left border of the X-th interval. Values of intervals are equal to

!> г(ж)

Пт,ж = 0TO(t) dt, (8)

Л(ж)

where l(x) ^ t ^ r(z) are left and right limits of integration interval;

l(x) = {n + A(x - 2)}, when 2 ^ x ^ X, r(x) = {n + A(x - 1)}, when 1 ^ x ^ X - 1.

Sampling points, representing histogram intervals, are as follows

= Tx - A.

In a discrete model, every interval of the histogram is represented as weighted shifted degenerative distribution law, so the time density of the described histogram is as follows:

фт (t)=^ Пт,х • S(t - 0*), (9)

x=1

Изв. Сарат. ун-та. Нов. сер. Сер.: Математика. Механика. Информатика. 2021. Т. 21, вып. 3 where £(...) is the shifted Dirac £-function;nm,x is the weight of Dirac function:

X

= I-

x=1

The error of digitizing may be estimated as follows:

/•1(0) X p r(x) p то

6m = Фт(t) dt + V / |фт(t) - | dt + / фш(t) dt.

./0 1(x) Л (K)

One would admit that there are no restrictions, imposed on 0m(t), besides arg[0m(t)] ^ 0. Expression (9) satisfies this restriction so process ^ still remains the semi-Markov one.

3. Interaction in fault-tolerant system

Mobile robot redundant units, assembled into the fault-tolerant structures during operation, compete for failure. The result of this competition is the failure of m-th unit the first or not the first. The lifetime of M-units redundant structure is as follows [20,21]:

M

d{1 " I! [1 - (t)]} (t) = -^-, (10)

where $m(t) is the distribution function;

(t^/Vm(f) df. (11)

Jo

The weighted time density, the probability, and the pure time density of winning the competition for failure by the m-th unit are as follows

M C- (t)

-v,m(t)0m(t^[1 - (t)], nv(m) = / -v,m(t) dt, 0v,m(t) = , (12)

l=1 JO nv,m

l=m

where -v,m(t) is the weighted time density; nv,m is the probability; 0v,m(t) is the pure time density of winning by the m-th unit.

When 0m(t) is transformed into its discrete analog 0m(t), as it is shown at (9), the time distribution function is transformed to (t):

pt X

$m(t)= / 0m(f) df = nm,x • n(t - #x), (13)

Jo x=1

where n(t — 0x) is the shifted Heaviside function.

Dependence (12) may be transformed into the sequence of samples as follows:

X x

*m(t) ^ ®m(t) = nm,y) • «(t - 0x)], (14)

x=1 y=1

x _

where ^ nm,y is the nomination of the function (t) sample at the point 0x.

y=1

Accordingly, 1 — (t) function may be transformed into discrete form as follows:

X X

[1 - Фт(«)]=£[(£ nm,y) ■ 5(t - )].

x=1 у=ж+1

Combinations of (t) and [1 — (t)] permit us to construct the discrete analog #v>m(t) of function (10). It is necessary to admit, that when time intervals are described with continual functions (t),1 ^ m ^ M, then there may be only one winner in the competition^) due to the fact, that probability of competition draw, even in the case of paired races, is too small in comparison with probabilities of winning by one of the participants. When time intervals are described with discrete distribution function, a draw effect emerges with probabilities, comparable with winnings and losing probabilities due to the fact, that time interval tx-1 ^ t < tx may include number of events. To determine possible combinations </>m(t) and [1 — (t)] it is necessary to consider data, which includes M binary digits:

n = (n(1),..., n(m),..., n(M)),

where inside triangle brackets there is the code, obtained by means of Cartesian exponentiation to M-th degree the set [0,1]; n(m) £ [0,1] is binary digit 0 ^ n < 2n.

All codes n may be gathered onto set N, which is divided onto subsets N:

N = No,..., N,...,nm, where N is the subset of codes, which include l "nulls" and M-l "ones". In turn,

N1 = {n1(M,Z)5 nc(M,1), nC(M,Z)}5

where nc(M,z) is c(M, l)-th M-digits code, including l "nulls" and M — l "ones"; C(M, l) is common quantity of such codes; c(M, l) is the index, which numerates codes in the set N;

f,l) M!

l! • (M - /)!'

nc(M,z) = (n[1, c(m, L)],..., n[m, c(m, L)],..., n[M, c(m, L)]),

n[M,c(m,L)] G [0,1]. (15)

The function of two parameters, namely, time and m-th code digit state n[m, c(M, l)] should be introduced to describe distribution:

^{t, n[m, c(M, l)]} = (t) when n[m, c(M, l)] = 0}. (16)

A competition outcome, alike (11), when l units of M failure during the time interval rx_i ^ t < tx, may be expressed as

M C(M,Z)

#v,z/m (t) = ^ I] #i,n[m,c(M,1)]}.

m=1 c(M,Z)=1

The probability and pure discrete time distribution and mean time of l/M units simultaneous failure are as follows:

>00 ,,Q /-Л r oo

nv,1/M = i (t)dt, ф^/M(t) = (t), nv,1/M = i t • fv,1/M(t) dt.

J0 nv,1/M Jo

Let some robot fault-tolerant assemble to be workable until among all M units at least one unit stays "alive". There are 2M-1 combinations of reaching unworkable state, e.g., 3-units assemble may fail as 1 + 1 + 1, 1 + 2, 2 + 1, 3. Analysis of every combination gives different probabilities and pure time densities for evaluation of assemble "lifetime". So it is necessary to evaluate time till failure for every combination, and then stochastically summarize them.

4. Digital calculation of reliability parameters

The above theoretical calculations follow the digital method of fault-tolerant system reliability parameters estimation.

1. Working out the model of single unit failure/recovery process and calculation time density till failure of this unit accordingly (2), (4), (6).

2. Transformation of time density into discrete form accordingly (7), (8).

3. With use of the formulae (13), (14), (15), (16), calculation discrete distribution of assembling "lifetime" for different combinations of units failures/recoveries.

4. Estimation of reliability parameters of the fault-tolerant assembles as a whole.

Conclusion

As a result, the task of designing fault-tolerant assemblies was proposed to be divided into two stages:

- development of conventional semi-Markov models of individual units, and conversion it to the discrete form;

- analysis of a parallel discrete semi-Markov process to obtain the reliability parameters of equipment as a whole.

The proposed approach allows us to create a model of a redundant system with any degree of accuracy, to develop a method for optimizing a fault-tolerant system based on the approach of a discrete model. Further research in this area may be aimed at modeling many practical redundant systems with complex interactions between components and complex "life cycle" algorithms.

References

1. Tzafestas S. G. Introduction to Mobile Robot Control. Elsevier, 2014. 750 p. https://doi.org/10.1016/C2013-0-01365-5

2. Landau I. D., Zito G. Digital Control Systems: Design, Identification and Implementation. Springer-Verlag London, 2006. 484 p. https://doi.org/10.1007/978-1-84628-056-6

3. Astrom J., Wittenmark B. Computer-Controlled Systems: Theory and Design. (Dover Books on Electrical Engineering). Third Edition. Dover Publ., 2011. 576 p.

4. Rousand M. Reliability of Safety-Critical Systems: Theory and Applications. John Wiley & Sons, 2014. 466 p. "

5. Sanchez-Silva M., Klutke G.-A. Reliability and Life-Cycle Analysis of Deteriorating Systems. (Springer Series in Reliability Engineering). Switzerland, Springer International Publishing, 2016. 356 p. https://doi.org/10.1007/978-3-319-20946-3

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

6. O'Conner P., Kleyner A. Practical Reliability Engineering. John Willey & Sons, 2012. 512 p.

7. Koren I., Krishna C. Fault Tolerant Systems. San Francisco, CA, Morgan Kaufmann Publ., 2007. 400 p.

8. Dubrova E. Fault-Tolerant Design. Springer-Verlag New York, Springer Science+Business Media New York. 2013. 185 p. https://doi.org/10.1007/978-1-4614-2113-9

9. Zhang Y., Jiang J. Bibliographical review on reconfigurable fault-tolerant control systems. Annual Reviews in Control, 2008, vol. 32, iss. 2, pp. 229-252. https://doi.org/10.1016/j-.arcontrol.2008.03.008

10. Bielecki T. R., Jakubowski J., Nieweglowski M. Conditional Markov chains: Properties, construction and structured dependence. Stochastic Processes and their Applications, 2017, vol. 127, iss. 4, pp. 1125-1170. https://doi.org/10.1016/j-.spa.2016.07.010

11. Ching W. K., Huang X., Ng M. K., Siu T. K. Markov Chains: Models, Algorithms and Applications. (International Series in Operations Research & Management Science, vol. 189). Springer Science+Business Media New York, 2013. 241 p.

12. Howard R. A. Dynamic Probabilistic Systems. Vol. 1: Markov Models. (Dover Books on Mathematics). Dover Publ., 2007. 608 p.

13. Howard R. A. Dynamic Probabilistic Systems. Vol. II: Semi-Markov and Decision Processes. (Dover Books on Mathematics). Dover Publ., 2007. 576 p.

14. Janssen J., Manca R. Applied Semi-Markov Processes. Springer US, 2006. 310 p. https://doi.org/10.1007/0-387-29548-8

15. Larkin E., Ivutin A., Malikov A. Petri-Markov model of fault-tolerant computer systems. 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT), 2017, pp. 0416-0420. https://doi.org/10.1109/CoDIT.2017.8102627

16. Naess A., Leira B. J., Batsevich O. System reliability analysis by enhanced Monte Carlo simulation. Structural Safety, 2009, vol. 31, iss. 5, pp. 349-355. https://doi.org/10.1016/j-.strusafe.2009.02.004

17. Sudret B. Global sensitivity analysis using polinomial chaos expansion. Reliability Engineering & System Safety, 2009, vol. 93, iss. 7, pp. 964-979. https://doi.org/10.1016/j-.ress.2007.04.002

18. Zaghami S. A., Gunavan I., Shultmann F. Exact reliability evaluation of infrastructure networks using draph theory. Quality and Reliability Engineering International, 2020, vol. 36, iss. 2, pp. 498-510. https://doi.org/10.1002/qre.2574

19. Finkelstain M. Failure Rate Modelling for Reliability and Risk. (Springer Series in Reliability Engineering). London, Springer, 2008. 290 p. https://doi.org/10.1007/978-1-84800-986-8

20. Ivutin A. N., Larkin E. V. Simulation of concurrent games. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2015, vol. 8, no. 2, pp. 43-54. https://doi.org/10.14529/mmp150204

21. Larkin E. V., Ivutin A. N. "Concurrency" in M-L-parallel semi-Markov process. MATEC Web of Conferences, 2017, vol. 108, article ID 05003. https://doi.org/10.1051/matecconf/ 201710805003

22. Petersen P. Linear Algebra. (Undergraduate Texts in Mathematics). New York, SpringerVerlag, 2012. 390 p. https://doi.org/10.1007/978-1-4614-3612-6

23. Bauer H. Probability Theory. Berlin, New York, de Gruyter Publ., 1996. 540 p.

Поступила в редакцию / Received 04.11.2019

Принята к публикации / Accepted 16.01.2021

Опубликована / Published 31.08.2021

i Надоели баннеры? Вы всегда можете отключить рекламу.