Uwaga o strategiach odnowy
Transkrypt
Uwaga o strategiach odnowy
ROCZNIKI POLSKIEGO TOWARZYSTW A MATEMATYCZNEGO Seria III: MATEMATYKA STOSOWANA XV (1979) BOLESŁAW KOPOCIŃSKI i HALINA PRzYBYSZ (Wrocław) Uwaga o strategiach odnowy (Praca przyjęta uprzedzającej do druku 18.ll.1977) 1. Wprowadzenie. Przerwa spowodowana usuwaniem awarii jest czasem kosztowniejsza od wymiany sprawnego elementu. W praktyce, dla zmniejszenia liczby awarii, zazwyczaj rozważa się dwie strategie odnowy uprzedzającej awarie pracujących elementów: cykliczną albo opartą na wieku elementu. Znane są klasy funkcji niezawodności, w których te strategie są skuteczne albo w których skuteczne nie są (zob. [1]-[3]). Przedmiotem tej noty jest porównanie wymienionych strategii. 2. Podstawowe pojęcia. Przy odnowie cyklicznej odnowa następuje tylekroć, zdarzy się awaria i, dodatkowo, w określonych z góry chwilach T, 2T, 3T, ... Przy odnowie opartej na wieku element jest odnawiany, gdy zdarzy się awaria lub element osiągnie wiek T. Są różne intuicje i kryteria pozwalające wybrać strategię odnowy uprzedzającej. Porównując te strategie możemy zauważyć, że przy odnowie cyklicznej możliwa jest odnowa bardzo młodych elementów, przy odnowie opartej na wieku chwile odnowy uprzedzającej są planowane dla każdego elementu osobno. Niech P oznacza funkcję niezawodności odnawianego elementu. W dalszym ciągu będziemy zakładali, że P należy od pewnej klasy funkcji niezawodności. Przypomnimy definicje tych klas. Mówimy, że PE IFR (tzn. lncreasing Failure Rate (1)) wtedy i tylko wtedy, gdy dla każdego x E [O, oo) funkcja P(x +u)/ P(u) jest nierosnącą funkcją u E [O, oo), tzn. ilekroć (I) P(a)P(x-a)-P(b)P(x-b) Mówimy, (2) że P E dla ~O O~ a~ b, b ~ x ~ a+b. NBU (tzn. New Better than Used) wtedy i tylko wtedy, gdy P(a)P(b)-P(a+b) ~ O dla a~ O, b ~O. Klasom tym odpowiadają nowe klasy zdefiniowane przez odwrócenie nierówności. W ten sposób z klasy IFR powstaje klasa DFR (tzn. Decreasing Failure Rate), a z klasy NBU powstaje klasa NWU (tzn. New Worse than Used). Odwracając nierówności, często uzyskuje się równoległe rezultaty dla wymienionych par klas; te rezultaty podajemy w nawiasach [ ]. (1) ~dziemy używali ogólnie przyjętej anglosaskiej symboliki dla oznaczania klas, w nawiasach podajemy rozwiniętą treść symbolu. [75) rozważanych 76 B. Kop o ci ń ski, H. Pr z y by s z pod uwagę stumień awarii odnawianego elementu. Gdy awaria zbiegz planowaną odnową, umawiamy się nie zaliczać awarii, lecz tylko planowaną odnowę. Niech YnA(T) oznacza czas między awarią n-1 a awarią n, gdy planuje się odnowę elementu w wieku T oraz niech Yn 8 ( T) oznacza czas między awarią n- 1 a awarią n, gdy planuje się odnowę elementu cyklicznie w chwilach o, o+ T, o+ 2T, ... (tutaj n jest liczbą naturalną, n e N). W dalszym ciągu zajmiemy się stochastycznymi nierównościami między zmiennymi losowymi YnA(T) i Yn 8 ( o, T). Przypomnijmy, że dla zmiennych losowych X i Y zachodzi nierówność X~ Y wtedy i tylko wtedy, gdy Pr(X > t) ~ Pr(Y > t) dla każdego t. Wymienione strategie odnowy uprzedzającej nie eliminują awarii elementu w chwili jego instalowania. Wobec tego bez straty ogólności możemy przyjąć P(O) = 1. Pomijamy również przypadki takich o i T, że rozkład F = 1- P jest skupiony w punktach o, o+ T, o+ 2T, ... , gdyż wówczas nie ma awarii przy cyklicznej odnowie uprzedzającej. Weźmy nie się o, 3. Porównanie strategii w klasie IFR [DFR]. Przy mocnym warunku narzuconym na odstępy między awariami odnawianego elementu zachodzi następujące TWIERDZENIE 1. Dla każdego T > 0, O ~ o < T, n E N, zachodzi YnA(T) ~ YnB( l'.5, T) [YnA(T) ~ YnB( l'.5, T)] wtedy i tylko wtedy, gdy PE IFR [PE DFR]. Do wód. Konieczność: Niech PE IFR; dla każdego t istniejej = O, 1, ... ,takie, żejT~ t < (j+l)T; dalej wystarczy rozpatrywać t > t'.5. Dla c5+(j-l)T~ t <o+ +jT mamy ~ Pr(YlB(t'.5, T) > t) = P(c5)Pi- 1 (T)P(t- o-(j- l)T) = = pl- 1 (T)[P(l'.5)P(t- o-(j-1) T)] ~ ~ pi- 1 (T) [P(T)P(t-jT)] ~ Pi(T)P(t-jT) Dla o+jT~ ~ = Pr(YIA(T) > t). t < o+(j+l)T mamy Pr(YIB(l'.5, T) > t) = P(ó)Pi(T)P(t- ó-jT) ~ Pi(T)P(t-jT) = = Pr(YIA(T) > t). dla n > I. Niech i będzie najmniejszą liczbą , 8 = Y18 ( l'.5, T) + ... + Yn-1,B( t'.5, T). Oznaczmy przez YfB = Yn 8 (o, T)ISn-i,B czas do pierwszej awarii, gdy planowane odnowy uprzedzające są robione w chwilach (Jn = o+ iT- Sn- l ,B, c5n + T, on+ 2T, ... Wówczas On < T, Pr(YnB( t'.5, T) > tJSn- 1 , 8 ) = Pr(Yt8 > t), i dowód nierówności przebiega tak, jak w przypadku n = 1. Dostateczność: Dla T ~ t < 2T, O~ o < T, O~ t-o < T mamy Udowodnimy teraz nierówność całkowitą, dla której o+ iT ~ Sn- i P(c5)P(t-ó) = Pr(Y18(o, T) > t) ~ Pr(Yu(T) > t) = P(T)P(t-T), co jest równoważne warunk~wi (1). Strategie odnowy 77 uprzedzającej 4. Klasa CBA [CWA]. Założymy teraz, że ~ = O i przyjmiemy krótsze oznaczenie Yn 8 (T) = Yn 8 (0, T). Wykażemy, że przy tym założeniu twierdzenie 1 nie zachodzi. Zanim sformułujemy odpowiednie twierdzenie wprowadzimy nową klasę funkcji niezawodności. Mówimy, że Pe CBA (tzn. Cyc/ie replacement Better than based on Age) wtedy i tylko wtedy, gdy dla każdego T > O, O < a < T, n e N, spełnione są warunki: ~ [P(u)P(a-u)-P(a)] dDn(u) ~O, (3) (O,a) (4) P(T) ~ {P(u)P(a-u)-P(a)]dD„(u)+ (O,a) + ~ [P(u) P(a+ T-u)-P(T)P(a)]dDn(u) ~ O, (a, T) gdzie, dla O < u < T, = 1 l-P(T) d„P(T-u), (5) dD 1 (u) (6) dDn(u) = l-!(T)d"P(T-u) ~ ~ P(x)dDn-i(x)+ duP(x-u)dDn-i(X}. (~T) (~T) Przez odwrócenie nierówności w (3) i (4) definiujemy klasę CWA (tzn. Cyc/ie replacement Worse than based on Age). Łatwo zauważyć, że IFR c: CBA [DFR c: CWA], gdyż warunek (3) jest speł niony oraz pierwszy człon sumy w nierówności (4) jest nieujemny w klasie NBU => => IFR, natomiast drugi człon sumy w nierówności (4) jest nieujemny w klasie IFR. Podamy dwa przykłady. Pierwszy dowodzi, że CBA:/:. IFR, natomiast drugi dowodzi, że klasa CBA nie jest zamknięta ze względu na iloczyn funkcji. Zauważmy, że własność tę mają klasy IFR, NBU, DFR i NWU. LEMAT 1. Dla każdego i e N mamy ,L a,kduF*k(T-u), i (7) dD,(u) = - k=l gdzie F = l-P oraz a 11 = l/F(T), ail = :z= F(~) a,_i. P*F*i(T), a,k = a,_ i-1 natomiast * jest 1 i= 1 k = 2, 3, ... ,i, i= 2, 3, 1 ,k_ 1 , symbolem splotu (potęgi P*F(x) = splotowej): ~ P(x-u)dF(u). (0,x) „., 78 B. K o p o c i ń s k i, H. Pr z y by s z Do wód i n du kc y j ny. Dla i = 1 mamy (5). Z (6) i mamy ~ dD;(u) = F(lT) duP(T-u) założenia indukcji i-l L>i-l,jd:~f*i(T-x)] + P(x)[ - i=l (O,T) L i-1 + ~ duP(x-u)[ - a;_ 1,jdxF*i(T-x)] = i= 1 (u, T) i-1 = duP(T-u) ~ ~ P(T~x)dF*i(x)+ FtT) a;_ 1 .i ;= 1 (O, T) ' r L i-l + a;-1,j i=l Całka ~ duP(T-u-v)dF*i(v). (O,T-u) w ostatnim wyrażeniu równa się -duF*<i+l>(T-u), a więc dD;(u) jest po- staci (7). 1. Niech P(x) = ac<x>, O < a. < 1, gdzie c(x) oznacza część całko witą liczby x. Mamy P ~ IFR oraz P E CBA. Rzeczywiście, warunek (3) jest spełniony, ponieważ PE NBU. Dla dowodu warunku (4) wobec lematu 1 wystarczy wykazać, że PRZYKŁAD 1= ~· [P(u)P(a+T-u)-P(T)P(a)]d uF*k(T-u) =O. (a,T) Ponieważ F*k (T- u) ma skoki co najwyżej w punktach T- 1, T- 2, „ „ L [P(T-j)P(a+j)-P(T)P(a)]dF*k(j) T- c(T), więc c(T-a) I= = i= 1 c(T-a) = ~ [cxc~T>-iac(a)+j _ ;=1 (Xc(T)(Xc(a)]dF*k(j) = O. ' 2. Niech P 1 (x) = ac<x>,o <a< l,P 2 (x) = e-x. Mamy P 1 eCBA, P 2 E CBA oraz P = P 1 P 2 ~CBA. Rzeczywiście, dla a= 1/4, T = 7/4 mamy P(u)P(a-u)-P(a) = O dla O < PRZYKŁAD <u~ a, oraz P(u)P(a+T-u)-P(T)P(a) = Wyrażenie cx(cx- l)e- znajdujące 2 ~ (l,5j4) się {~(a-J)e_ 2 dla dla 1/4 <u~ 1albo5/4 ~ u < 7 /4~ 1 < u < 5/4. po lewej stronie warunku (4) jest więc równe dD;(u) < O. 2. Dla każdego T > 0, n EN, mamy YnA(T) ~ Yn 8 (T) [YnA(T) ~ ~ Yns(T)] wtedy i tylko wtedy, gdy p E CBA [P E ewA]. TWIERDZENIE Strategie odnowy 79 uprzedzającej D o w ó d. Ponieważ Yu (T) = Y18 (O, T), więc wystarczy rozważyć przypadek n > 1. Niech i będzie najmniejszą liczbą całkowitą, dla której iT ~ Sn 8 (T) = = YIB(T) + ... + Yn 8 (T) oraz {Jn = iT- Sn 8 (T). Wówczas rozkłady prawdopodobieństwa Pr( {Jn ~ y) = Dn(y), n EN, dane są w (5) i (6). Funkcje prawdopodobieństwa przeżycia Gn+t (y) = Pr(Yn+i,B(T) > y), n e N, mają postać ~ P(u)P(y-u)dDn(u) + ~ P(y)dDn(u), ~ O~ y < T, (y, T) (O, Y) P(u)Pi(T)P(y-jT-u)dDn(u)+ (O,y-}Tj + ~ P(u)Pi- 1 (T)P(y-U- l)T-u)dDn(u), (y-jT, T) jT ~ y < (j + 1)T. Zauważmy, że G(y) = Pr(YnA(T) > y) P(y), = { Pi(T)P(y-JT), O~ jT~ y < T, y < U+l)T. Łatwo sprawdzić, że warunek Gn(Y) ~ G(y) dla O~ y < T jest równoważny warunkowi (3), natomiast dla jT ~ y < (j+ l)T, j = 1, 2, .„, po podstawieniu a= y-jT jest równoważny warunkowi (4). Prace cytowane R. E. Bar I o w, F. Pr os cha n, Comparison of replacement polices and reneva/ theory implications, Ann. Math. Statist. 34 (1963), str. 375-389. [2] B. Ko p o c i ń s k i, Zarys teorii odnowy i niezawodności, PWN, Warszawa 1973. [3] A. W. Mars ha I I, F. Pr os cha n, Classes of distributions app/icable in rep/acement with reneval theory implications, Sixth Berkeley Syrop. 1 (1970), str. 395-415. [1]