CC BY
7
ASYMPTOTIC ANALYSIS OF LOGICAL SYSTEMS WITH UNRELIABLE ELEMENTS
G. Sh. Tsitsiashvili
•
e-mail: [email protected], 690041, Vladivostok, Radio 7 str., Institute of Applied Mathematics, Far Eastern Branch of RAS
In this paper models of networks with unreliable arcs are investigated. Asymptotic formulas for probabilities of the networks work or failure and the networks lifetime distributions are obtained. Direct calculations of these characteristics in general case [1], [2] demand sufficiently large volumes of arithmetical operations. Main parameters of the asymptotic formulas are minimal way length and minimal section ability to handle. A series of new algorithms and formulas to calculate parameters of asymptotic formulas are developed.
Main characteristics. Define oriented graph r with finite number of nodes U and the set W of arcs (u, v). In this graph there is single node u*, without input arcs and single node u*, without output arcs, the graph has not arcs (u, u).
Suppose that n (s) is a number of arcs of a subgraph s, s i W . For S c {s: s i W} put
n(S) = minn(s), D(S)= V n c(u,v),
seS s:n(s)=n(S) (u,v)es
C (S) = minC (s), C(s) = V c(u, v),
seS f ~
(u,v )es
Cx (S) = min C1 (s), C1 (s) = max c(u, v),
seS (u ,v)es
T (S)= V n exp(-hMu,v]),
s:Cj (s )=Cj (S )(u ,v)es
c (u, v) - is positive and integer function. Designate by N(S), N1 (S), N* (S) - numbers of s e S: C (s ) = C (S), C1 (s ) = C1 (S), n (s ) = n (S) correspondingly.
Put ^ the set of all ways R from u* to u without selfintersections. Consider the sets A = {A c U, u* e A, u* £ A}, L = L (A) = {(u, v) : u e A, v £ A} and L = {L (A), A e A} - is the set of all sections in the graph r.
Graphs with unreliable arcs. For each the graph r define arc define the number a(u, v) = I (the arc (u, v) works), where I (G) - is an indicator function of the event G . It is not difficult to confirm, that
V A a(w,v) = v A a (w,v). (1)
Rer(ii,v)er lel(u,v)el
Denote a (T) the quantity of both sides of the equality (1) which characterizes the graph T
work.
Suppose that a (u,v),(u,v) e W are independent random variables, P(ct (n, v) = 1) = pH v (h), qH v (h) = 1 - pH v (h), where h - is small parameter: /? —> 0. Then the following asymptotic formulas are true for /7 —> 0.
1. If Pu v(yh) ~ c(ii,v)h, then P(a (T) = \)~hn(R]D(R).
2. If puv (h) ~ hc("'v), then P(a (T) = 1) ~ N(R)hC{R).
3. If pu v (h) ~ exp(-rc<"'v)), then P(a (r) = 1) ~ Th (R ) .
4. If qu v (h) ~ c(u,v)h, then P(a (r) = 0) ~ hn(L)D{L).
5. If qH V (h) ~ hc("'v), then P(a (r) = 0) ~ N(L)hC{L].
6. If quy (h) ~ exp(-rc<"'v)), then P( a (r) = 0) ~ Th(L) .
Applications to lifetime models. Suppose that x (11, v) - independent random variables are arcs (u,v)eW lifetimes. Denote p(t (u,v) > t) = pu v(h) and put the graph t lifetime x (r) = min max x (11, v).
RER (u.V)ER
Suppose that h = h(t} s monotonically decreasing and continuous function and h 0, i x , then asymptotic formulas 1, 2, 3 are true if P(ct (T) = 1) is replaced by P(r (T) > t) . Suppose that h is monotonically increasing and continuous function and h 0, t —» 0, then the formulas 4, 5, 6 are true if P(ct (r) = 0) is replased by P(t (r) < t) .
Calculation of graph characteristics. For A g A define O(A) = {v <£ A: 3 u e A,(i/,v) e W} and construct the sets Ai = O(Aq) = {u*}, Ak+l= Ak * 0(Ak), k = 1,2,... Denote n = n(R) = min (k: 11* e Ak ).
Designate by cp(«,v), (u,v)eW integer and nonnegative function: X cp(i/,v)= X cp(v,«/), < c(u,v), (i/,v) e W, and call it a flow. A quantity of the flow
(ii.v)elF (vji)eW
is the sum ^ <P (l<*,v) •
(ii,,v)el¥
Denote by r, V2 he graph constructed from the graphs r,, r2 by a connection of their initial and final nodes, correspondingly, and by rx r2 the graph constructed by a connection of the graph Tj final node with the graph T2 initial node. Consider the sets Rl, Lx, R2,L2 for the graphs rl5 in the same sense as the sets R , L for the graph T. Suppose that further ui e O (Ai_l), /' = 1,..., n.
Calculation of D (R ) :D (u1 ) = 1, u1 e A1, D (uk+1 )= V D (uk )c (uk, uk+1), 1 £ k < n,
"k eQ( Ak-1)
D (R ) = D (u*).
Calculation of N* (R ): N* (un-1) = 1, un-1 e Q (An-2 ), N* (un-k-1 )= V N* (un-k )I ((un-k-1, un-k ) e W), 1 £ k < n -1, N* (R ) = N* (u*).
un-k eQ( A-k-1 )
Calculation of C (R ), N (R): each arc (u, v) of the graph is devided into arcs with initial lengths (because the function c (u, v) is integer). Then the graph r is transformed into the graph r1 with single lengths arcs and applying the n = n (R ), N* (R ) calculation procedures to the graph r1 obtain C (R ), N(R) forthe graphr.
Calculation of C(L),n(L): using the theorem [3] of coincidence of maximal flow value and minimal section ability to handle C ( L) and Ford-Falkerson algorithm define C ( L) . Then n ( L) equals to C ( L) for c (u, v)° 1.
Suppose that W = {(uk,uk+1),ul e Q(Ai-1),i = 1,...,n} in next five points.
Calculation of C1 (R) : C1 (u1 ) = 0, u1 e A1, C1 (uk+1 )= min max(C1 (uk),c(uk,uk+1)),
ukeQ( A-1)
1 £ k < n, C1 (R ) = C1 (u*).
Calculation of N1 (R ) : N1 (u1) = 1, u1 e A1, N1 (uk+1) = V N1 (uk ),
uk :C1( uk+1)=max (C1( uk),c( uk ,uk+1))
1 £ k < n, N1 (R ) = N1 (u ).
Calculation of C1 ( L ) : as the formula (1) leads to C1 ( L ) = max min c ( u, v) , then C1 ( L ) is
ReR (u,v)eR
defined by C1 (uk+1 )= max min (C1 (uk ), c (u k, uk+1)) ,1 £ k < n, C1 (u1 ) = ¥,
ukeQ( A -1)
u1 e A1, C1 ( L ) = C1 (u ).
Direct formulas of C ( L) ,N ( L) : if c (uk, uk+1)° ck, 1 £ k < n -1, c (un-1, u* ) = cn, Nk - is a number of nodes in Q (Ak-1), 1 £ k < n -1, Nn = 1, then C ( L) = min ckNkNk+1, and N ( L) - is a
1£ k < n
number of elements in the set {k: M = ckNkNk+1,1 £ k < n} .
Weak elements in the graph G. Suppose that for any pairs of arcs (u1, v1), (u2, v2 )e W, such that (u1, v1) ^ (u2, v2), the inequality c(u1, v1) ^ c(u2, v2) is true. Then there is single arc (u (S), v(S)) e s : C1 (s) = c (u (S), v(S)), and - ln Th (S) ~ h~c(u(S)MS)), h ® 0. Call this arc (u (S), v(S)) a weak element of (G, S).
3'. If pu,v (h) ~ exp (-h"c(u,v)), h ® 0, then - ln P (a (G) = 1) ~ -h~c(u(R),v(R)). 6'. If qu ,v (h) ~ exp (-h"c(",v)), h ® 0, then - ln P (a(G) = 0) ~ -h~c(u (L ),v(L)).
In conditions of the statement 3' or the statement 6' a definition of a weak element (u (S), v(S))
is made by the procedure for C1 (S) with S = R or with S = L , correspondingly. A definition of the
weak element and related asymptotic formula may be spread from a network onto arbitrary logic function represented in a disjunctive or in a conjunctive normal form.
Recursive formulas for the graph G G 2 :
C (R ) = min ( C (R ! ), C (R 2 )),
N(R, ), C (R j )< C (R 2 ), N (R ) = i N (R 2 ), C (R 2 )> C (R, ),
î N (R, ) + N (R 2 ), C (R, ) = C (R 2 ),
C ( L ) = C ( L, ) + C ( L2 ), N ( L ) = N ( L, ) N ( L2 ), C ( L ) = max ( C ( L, ), C ( L2 )),
(2)
(3)
(4)
(5)
(6)
C1 (R ), n (R ) are defined analogously (2), N1 (R ) , n ( L) are defined analogously (3), (4), correspondingly.
Recursive formulas for the graph G1 ®r2. C (R ), n (R ) are defined analogously (4), N(R ), N1 (R ) are defined analogously (5), C1 (R ) are defined analogously (6), C ( L), C1 ( L), n ( L) are defined analogously (2), N(L), N1 (L) are defined analogously (3).
REFERENCES
[1] Riabinin I.A. Logic-probability calculus as method of reliability and safety investigation in complex systems with complicated structure. Automatics and remote control. 2003, No 7. P. 178186. (In Russian).
[2] Solojentsev E.D. Features of logic-probability risk theory with groups of antithetical events. Automatics and remote control. 2003, No 7. P. 187-203. (In Russian).
[3] Belov V.V., Vorobiev E.M., Shatalov V.E. Graph theory. Education guidance for technical universities. Moscow: High School. 1976. (In Russian).
