plik


ÿþTeoria obsBugi masowei 1 WSTP 2 W nowoczesnych warunkach ekonomicznych i spoBecznych wygrywa ten, kto ma dostp do informacji ró|nego rodzaju. Doprowadza to do rzeczywistej konieczno[ci opracowania ró|nych systemów o charakterze probabilistycznym (stocha- stycznym), których celem jest przekazanie oraz przetwarzanie informacji. PrzykBadami takich systemów s sieci telegraficz- ne i komunikacyjne, liczne systemy komputerowe itd. Opracowanie oraz projektowanie tych systemów z kolei po- trzebuje analizy matematycznej pewnych uogólnionych mo- deli probabilistycznych adekwatnie opisujcych proces ich dziaBania. 3 Istotnie, w przypadku ogólnym ka|dy z takich systemów mo|e by interpretowany jako pewien mechanizm przetwa- rzania informacji przedstawionej w postaci zgBoszeD, zapo- trzebowaD albo wywoBaD, tworzcych strumieD losowy. Na przykBad, ka|dy wzeB komunikacyjny przedstawia sob me- chanizm przetwarzania zgBoszeD przybywajcych do niego w pewnych losowych chwilach czasu; sie komputerowa jest mechanizmem przetwarzania strumienia losowego progra- mów u|ytkownika itd. Najbardziej u|ytecznym aparatem matematycznym badania systemów informacyjnych o stochastycznym charakterze dziaBania jest teoria obsBugi masowej. 4 Teoria obsBugi masowej (TOM) lub inaczej teoria kolejek jest dziaBem rachunku prawdopodobieDstwa, który zajmuje si badaniem procesów obsBugi tworzcych specjaln klas pro- cesów stochastycznych. Przez analiz wspomnianych proce- sów staj si mo|liwe wyznaczenie i analiza charakterystyk stochastycznych systemów informacyjnych (systemów prze- twarzania informacji), do których informacja przybywa por- cjami w losowych chwilach czasu. Porcje te nazywaj si zgBoszeniami. ZgBoszenia obrobione s przez ró|ne urzdze- nia; czas przetwarzania (obsBugi) zgBoszenia jest, ogólnie mówic, zmienn losow. 5 Przedstawione systemy nazywaj si systemami obsBugi (SO). WBa[nie ich analiza oraz wyznaczenie i analiza ich cha- rakterystyk stanowi przedmiot teorii obsBugi masowej. Systemy obsBugi s modelami wielu systemów realnych, na przykBad, systemów komunikacyjnych, sieci komputerowych, kolejek do kas w sklepie, skrzy|owaD transportowych itp. System obsBugi skBada si z nastpujcych elementów. 6 1. Wej[ciowy strumieD zgBoszeD. Ten element jest jed- nym z gBównych, zawiera go ka|dy system obsBugi. Stru- mieniem wej[ciowym nazywa si cig chwil czasu, w których zgBoszenia przybywaj do wej[cia systemu w ce- lu obsBugi (tj. pewnego przetwarzania). Podane chwile czasu s przypadkowe (losowe), natomiast niekiedy mog by wielko[ciami staBymi (w tym przypadku strumieD na- zywa si deterministycznym). 7 Je|eli pojawienie si zgBoszenia na wej[ciu systemu traktowa jako zdarzenie losowe, to strumieD zgBoszeD jest strumieniem zdarzeD losowych (lub krótko, strumie- niem losowym). PrzykBadami strumieni losowych s: cig porcji danych wchodzcych do wej[cia systemu kompute- rowego, strumieD wywoBaD do centrali telefonicznej lub strumieD rozkazów wchodzcych do ukBadu sterowania komputera. 8 2. Mechanizm obsBugi. Zadanie mechanizmu obsBugi po- lega na okre[leniu tego, w jakich warunkach obsBuga zgBoszenia jest mo|liwa, ile zgBoszeD mo|e by obsBugi- wanych w systemie jednocze[nie i jak dBugo trwa obsBuga zgBoszenia. DBugo[ czasu obsBugi zgBoszenia jest, ogólnie mówic, zmienn losow charakteryzowan pewnym rozkBadem statystycznym. Resurs (urzdzenie) obsBuguj- cy zgBoszenia nazywa si urzdzeniem obsBugi (UO). 9 3. Dyscyplina obsBugi. Dyscyplin obsBugi nazywamy re- guB zadajc kolejno[ obsBugi zgBoszeD, przybywaj- cych do systemu. Na przykBad, zgBoszenia mog by ob- sBugiwane w kolejno[ci ich przybycia do systemu lub w odwrotnej kolejno[ci, gdy pierwszym do obsBugi bdzie wybrane zgBoszenie, które przybyBo do systemu ostatnie, lub zgodnie z pewnym ustalonym albo dynamicznym priorytetem itp. 10 4. Kolejka. Kolejka w pewnych systemach powstaje wówczas, gdy system nie mo|e natychmiast rozpocz obsBugiwania przybywajcego zgBoszenia. W takim przy- padku zgBoszenie mo|e zosta utracone albo mo|e czeka na obsBug w kolejce w zale|no[ci od konkretnego mode- lu systemu obsBugi. Kolejka mo|e by charakteryzowana liczb miejsc oczekiwania (tj. maksymaln liczb zgBo- szeD, które mog jednocze[nie czeka na obsBug w tej kolejce). 11 Je|eli liczba miejsc oczekiwania w kolejkach systemu obsBugi równa si zeru, tj. wszystkie zgBoszenia, które nie mog by obsBu|one natychmiast po swoim przybyciu, zostaj utracone, to odpowiadajcy system obsBugi nazy- wa si systemem z utratami zgBoszeD. W przypadku, gdy liczba miejsc oczekiwania w kolejce jest nieograniczona (równa si nieskoDczono[ci) i ka|de przybywajce do systemu zgBoszenie bdzie obsBu|one (by mo|e nie caB- kowicie), system nazywa si systemem z oczekiwaniem. Je|eli ponadto ka|de zgBoszenie bdzie obsBu|one caBko- wicie, odpowiadajcy system nazywa si systemem bez utrat zgBoszeD. 12 5. Wyj[ciowy strumieD zgBoszeD. StrumieD wyj[ciowy jest cigiem chwil czasu zakoDczenia obsBugi zgBoszeD (ina- czej mówic, cigiem chwil czasu wyj[cia zgBoszeD z sys- temu). Analiza takiego cigu jest wa|na, je|eli strumieD wyj[ciowy jest strumieniem wej[ciowym do innego sys- temu. Podane elementy skBadajce si na system obsBugi bdziemy dalej analizowa bardziej szczegóBowo. 13 RozdziaB 1 Aparat matematyczny TOM 14 1.1. RozkBad wykBadniczy 15 Cech charakterystyczn zmiennych losowych (ZL) anali- zowanych w teorii obsBugi masowej jest ich nieujemno[, co oznacza, |e dystrybuanty F(x) takich ZL przyjmuj warto[ci zerowe dla x £ð 0. W cigu dalszym bdziemy analizowa wyBcznie nieujemne ZL. Definicja 1. ZL xð ma rozkBad wykBadniczy, je|eli jej dys- trybuanta ma posta F(x) =ð P{xð <ð x} =ð1 -ð e-ða x; x >ð 0, a >ð 0. (1) 16 Liczba a jest parametrem tego rozkBadu. Gsto[ ZL xð o dystrybuancie (1) ma posta dF(x) f (x) =ð =ð ae-ðax. dx Aatwo dowie[, |e warto[ oczekiwana ZL xð jest równa ¥ð ¥ð Exð =ð x dF(x) =ð x f (x) dx =ð a-ð1. òð òð 0 0 Ogólnie, moment rzdu i (i =ð 1, 2, ...) ZL xð jest równy ¥ð ¥ð Exði =ð xi dF(x) =ð xi f (x) dx =ð i! ai . òð òð 0 0 17 Przytoczymy podstawowe wBasno[ci ZL xð o rozkBadzie wykBadniczym. WBasno[ 1. (WBasno[ braku pamici.) Je|eli ZL xð ma rozkBad wykBadniczy, to dla ka|dej pary liczb x ³ð 0, b ³ð 0 za- chodzi równo[ P{xð ³ð x +ð b xð ³ð b} =ð P{xð ³ð x}. Dowód. Na mocy wzoru na prawdopodobieDstwo warun- kowe mamy P{xð ³ð x +ð b, xð ³ð b} P{xð ³ð x +ð b xð ³ð b} =ð =ð P{xð ³ð b} P{xð ³ð x +ð b} 1 -ð F(x +ð b) e-ða(x+ðb) =ð =ð =ð =ð e-ðax. P{xð ³ð b} 1 -ð F(b) e-ðab 18 Mo|na poda nastpujce uogólnienie tej wBasno[ci. Niech tð bdzie nieujemn ZL, która nie zale|y od ZL xð majcej rozkBad wykBadniczy. Wówczas P{xð ³ð x +ð tð xð ³ð tð} =ð P{xð ³ð x}. (Ten fakt udowodnimy pózniej jako wiczenie.) WBasno[ 1 ma nastpujcy sens. Niech xð bdzie czasem |ycia pewnego osobnika. Jest wiadomo, |e w chwili czasu t =ð b ten osobnik wci| |yje. Wówczas reszta czasu jego |y- cia xðb po chwili b ma ten sam rozkBad wykBadniczy, co caBy czas |ycia xð: P{xðb <ð x} =ð P{xð <ð x} =ð1 -ð e-ða x, gdzie a jest parametrem rozkBadu wykBadniczego ZL xð. 19 Z wBasno[ci 1 oraz jej uogólnienia wynika np., |e je|eli od- stpy czasu midzy pojawieniami si zdarzeD s niezale|ne i maj rozkBad wykBadniczy z takim samym parametrem a, to rozkBad czasu czekania na kolejne zdarzenie poczwszy od dowolnej chwili nie zale|y od tego, w jakich chwilach czasu pojawiBy si poprzednie zdarzenia, i ma rozkBad wykBadniczy z parametrem a. 20 WBasno[ 2. Niech xð1, ..., xðn bd niezale|nymi ZL maj- cymi rozkBad wykBadniczy z parametrami a1, ..., an odpo- wiednio. Wówczas ZL xð =ð min (xð1, ..., xðn) ma rozkBad wy- kBadniczy z parametrem a =ð a1 +ð ... +ð an. Dowód. Jest oczywiste, |e P{xð ³ð x} =ð P{min (xð1, ..., xðn) ³ð x} =ð P{xð1 ³ð x}... P{xðn ³ð x} =ð =ð exp(-ð(a1 +ð ... +ð an)x). Wówczas dystrybuanta F(x) ZL xð ma posta: F(x) =ð P{xð <ð x} =ð1 -ð P{xð ³ð x} =ð1 -ð e-ðax, gdzie a =ð a1 +ð ... +ð an. 21 WBasno[ 3. Niech xð1, ..., xðn bd niezale|nymi ZL maj- cymi rozkBad wykBadniczy z parametrami a1, ..., an odpo- wiednio i niech xð =ð min (xð1, ..., xðn). Wówczas P{xð =ð xði} =ð ai a. Dowód. 22 P{xð =ð xði} =ð P{xði £ð xð1, ..., xði £ð xði-ð1, xði £ð xði+ð1, ..., xði £ð xðn} =ð =ð ... a1... ane-ða1 t1... e-ðan tn dt1... dtn =ð òð òð {ti £ðtk ; k¹ði; k=ð1, n} ¥ð ¥ð ¥ð =ð i 1 i-ð1 òða e-ðaitidti òða e-ða1t1dt1...òða e-ðai-ð1ti-ð1dti-ð1 ´ð 0 ti ti ¥ð ¥ð ´ð i+ð1 n òða e-ðai+ð1ti+ð1dti+ð1...òða e-ðantn dtn =ð ti ti ¥ð ¥ð i =ð i òða e-ðaiti e-ð(a1+ð...+ðai-ð1+ðai+ð1+ð...+ðan ) ti dti =ð ai òðe-ðat dti =ð ai a. 0 0 23 WBasno[ 4. Je|eli ZL xð ma rozkBad wykBadniczy z para- metrem a oraz Dðt jest maB wielko[ci dodatni, to F(Dðt) =ð P{xð <ð Dðt} =ð aDðt +ð o(Dðt). Dowód. F(Dðt) =ð1 -ð e-ðaDðt =ð1 -ð1 +ð aDðt +ð o(Dðt) =ð aDðt +ð o(Dðt). 24 1.2. PrzeksztaBcenia Laplace a Stieltjesa i Laplace a 25 Definicja 2. PrzeksztaBceniem Laplace a-Stieltjesa (PLS) dystrybuanty A(t) ZL (nieujemnej) xð nazywamy funkcj ¥ð að(q) =ð Ee-ðqxð =ð òðe-ðqtdA(t), 0 gdzie q jest zmienn zespolon oraz Re q ³ð 0. Funkcja að(q) nazywana jest tak|e PLS ZL xð. Aatwo do- wie[, |e PLS jest okre[lone dla ka|dej dystrybuanty nie- ujemnej ZL. 26 Niech A(t), A1(t), A2(t), & bd dystrybuantami, að(q), að1(q), að2(q), & bd odpowiadajcymi im PLS. Odpowied- nio[ midzy A(t) i að(q) charakteryzuj nastpujce wBasno- [ci: 1) Równo[ A1(t) =ð A2(t) jest równowa|na równo[ci að1(q) =ð að2(q). 2) An(t) ®ð A(t) przy n ®ð ¥ð w punktach cigBo[ci funk- cji A(t) wtedy i tylko wtedy, gdy aðn(q) ®ð að(q) przy n ®ð ¥ð dla wszystkich q, takich |e Re q ³ð 0. 27 Poniewa| A(t) jest dystrybuant, to z tego wynika, |e ¥ð að(0) =ð òðdA(t) =ð 1; 0 je|eli A(0+ð) <ð 1, to að(q) <ð 1, gdy Re q >ð 0, je|eli A(0+ð) =ð 0, to að(q) ®ð 0 przy Re q ®ð ¥ð. Przytoczymy podstawowe wBasno[ci PLS ZL. 28 WBasno[ 1. (Zwizek midzy PLS a przeksztaBceniem La- place a.) ¥ð ¥ð að(q) =ð òðe-ðqt dA(t) =ð qòðe-ðqt A(t) dt. 0 0 ¥ð W tej wBasno[ci òðe-ðqt A(t) dt =ð að(q) q jest przeksztaBce- 0 niem Laplace a funkcji A(t). 29 Zauwa|my, |e w pewnych przypadkach wygodnie jest za- kBada, |e argument q w przeksztaBceniach Laplace a i Lapla- ce a-Stieltjesa przybiera warto[ci rzeczywiste nieujemne (q ³ð 0). W tym przypadku, gdy A(x) jest funkcj ograniczon, le- wostronnie cigB i niemalejc (taka funkcja niekoniecznie jest dystrybuant), dla niej za pomoc prawej cz[ci równo[ci zapisanej w definicji 2 tak|e mo|emy okre[li PLS að(q), dla którego w danym przypadku zachodzi równo[ lim að(q) =ð lim A(x). Je|eli gð(q) =ð að(q) q jest przeksztaBce- q®ð0 x®ð¥ð niem Laplace a funkcji A(x), to wskazana równo[ przyjmuje posta lim qgð(q) =ð lim A(x). q®ð0 x®ð¥ð 30 WBasno[ 2. Je|eli ZL xð1 i xð2 s niezale|ne, að1(q) i að2(q) s PLS ZL xð1 i xð2 odpowiednio, to PLS að(q) ZL xð =ð xð1 +ð xð2 ma posta að(q) =ð að1(q)að2(q). Analogiczn wBasno[ ma równie| przeksztaBcenie Lapla- ce a. Uwaga. Przypomnijmy, |e je|eli F1(t) i F2(t) s dystrybu- antami niezale|nych ZL xð1 i xð2 odpowiednio, to wzór t t F(t) =ð F1(t -ð u)dF2(u) =ð F2(t -ð u) dF1(u) òð òð 0 0 wyznacza dystrybuant zmiennej losowej xð =ð xð1 +ð xð2. 31 WBasno[ 2 mo|e by w sposób oczywisty uogólniona na przypadek xð =ð xð1 +ð ... +ð xðn, gdzie ZL xði s niezale|ne, i =ð 1, n (n =ð 2, 3, ...). 32 WBasno[ 3. Dla dystrybuanty A(t) absolutnie cigBej (nieujemnej) ZL mamy ¥ð òðe-ðqtdA¢ð(t) =ð qað(q), 0 gdzie að(q) jest PLS dystrybuanty A(t). 33 WBasno[ 4. Je|eli istnieje moment rzdu i (i =ð 1, 2, ...) ZL xð, to znajc PLS að(q) tej ZL, mo|na go wyznaczy za pomo- c ró|niczkowania funkcji að(q) korzystajc ze wzoru aði =ð Exði =ð (-ð1)i að(i)(q) . q=ð0 Np. wariancja ZL xð mo|e by obliczona w sposób nastpu- jcy: ¢ð¢ð ¢ð Dxð =ð Exð2 -ð (Exð)2 =ð að2 -ð að12 =ð að (0) -ð (að (0))2. 34 PLS ma sens dla wszystkich typów rozkBadów ZL nie- ujemnych. Niech np. dystrybuanta A(t) ma pochodn wsz- dzie oprócz pewnego punktu niecigBo[ci x Îð [0; ¥ð). Wiel- ko[ skoku funkcji A(t) w tym punkcie (na mocy znanych z rachunku prawdopodobieDstwa wBasno[ci dystrybuanty) jest równa A(x+ð ) -ð A(x), gdzie A(x+ð ) =ð lim A(t). t®ðx+ð Wówczas x ¥ð að(q) =ð òðe-ðqtdA(t) +ð e-ðqx[A(x+ð ) -ð A(x)] +ð òðe-ðqtdA(t). 0 x+ð 35 W szczególno[ci, je|eli ZL xð ma rozkBad dyskretny P{ðxð =ð xi}ð =ð pi; i =ð 1, 2, ...; pi =ð 1, åð i to að(q) =ð pie-ðqxi . åð i 36 Dla wyznaczenia postaci jawnej funkcji A(t) w przypadku gdy znane jest jej PLS að(q) zwykle korzysta si z tego faktu, |e przeksztaBceniem Laplace a funkcji A(t) jest funkcja að(q) q, wystarczy wic znalez oryginaB obrazu að(q) q. Je- |eli f (q) jest przeksztaBceniem Laplace a pewnej funkcji F(x), to dla jej znalezienia w przypadku ogólnym korzysta si z nastpujcego wzoru na odwrócenie: gð+ðidð 1 F(x) =ð lim eqx f (q) dq, òð 2pði dð®ð¥ð gð-ðidð gdzie gð jest dowoln liczb dodatni. 37 W tym wzorze caBka jest obliczana wzgldem dowolnej gBadkiej krzywej z póBpBaszczyzny Re q >ð 0, w szczególno- [ci, w roli takiej krzywej mo|e by wybrany odcinek prostej Bczcy punkty gð -ð idð i gð +ð idð. W cigu dalszym dla znalezienia postaci jawnej dystrybuan- ty F(x) na podstawie jej przeksztaBcenia Laplace a f (q) przy obliczaniu wskazanej caBki czsto bdziemy korzystali z teorii residuów. 38 Je|eli funkcja f (q) jest analityczna na rozszerzonej pBasz- czyznie zespolonej z wyjtkiem skoDczonej liczby punktów a1, ..., an, to n F(x) =ð åðRes[ f (ak )eak x] =ð åðRes[ f (q)eqx; a1, ..., an], k =ð1 gdzie Res[g(ak )] =ð Res[g(q); ak ] oznacza residuum funkcji g(q) w punkcie osobliwym ak. 39 W szczególno[ci, je|eli funkcj g(q) da si przedstawi w postaci g(q) =ð r(q) p(q) oraz punkt 0 jest biegunem rzdu ? (n =ð 1, 2, ...) funkcji g(q), to jej residuum w punkcie 0 oblicza si nastpujco: éð r(a) ùð éð r(q) Res =ð Res ; aùð =ð êð êð úð p(a)úð p(q) ëð ûð ëð ûð n-ð1 1 d éð(q -ð a)n r(q) ùð =ð . (n -ð1)!dqn-ð1 êð p(q)úð ëð ûð q=ða 40 Na przykBad, je|eli 0 jest biegunem pierwszego rzdu, otrzymujemy éð r(a) ùð éð r(q) ùð éð r(q) ùð Res =ð Res ; aúð =ð . êð êð êð(q -ð a) p(a)úð p(q) p(q)úð ëð ûð ëð ûð ëð ûð q=ða Dla odwrócenia przeksztaBcenia Laplace a f (q) (w szcze- gólno[ci, w przypadku rzeczywistego q ³ð 0) czsto stosowa- ne s nastpujce stwierdzenia. 41 1. Je|eli istnieje taka liczba rzeczywista q0, |e dla wszyst- kich q >ð q0 prawdziwe jest rozwinicie w szereg ¥ð cn f (q) =ð , to oryginaB F(x) obrazu f (q) przedstawia åð qn+ð1 n=ð0 si w postaci zbie|nego dla dowolnych E szeregu ¥ð F(x) =ð . åðc xn n n! n=ð0 42 2. Je|eli obraz f (q) jest funkcj wymiern wBa[ciw, tj. mo|na go przedstawi w postaci sumy uBamków prostych ki n ci j f (q) =ð åð åð(q -ð qi) j , to oryginaB F(x) ma posta i=ð1 j=ð1 ki j-ð1 n x F(x) =ð eqi x . åð åðc i j ( j -ð1)! i=ð1 j=ð1 Zauwa|my równie|, |e je|eli funkcja F(x) jest ró|niczko- walna w przedziale (0; ¥ð) oraz istnieje jej przeksztaBcenie ¢ð Laplace a f (q), to przeksztaBcenie Laplace a funkcji F (x) ma posta qf (q) -ð F(0). 43 1.3. Funkcja tworzca 44 Niech ZL xð przyjmuje warto[ci liczbowe nieujemne ze ¥ð zbioru X =ð {0, 1, ...}, pi =ð P{xð =ð i}, pi =ð 1. åð i=ð0 W takim przypadku rozkBad ZL xð jest jednoznacznie wy- znaczony przez jej funkcj tworzc (FT) ¥ð P(z) =ð Ezxð =ð pizi, åð i=ð0 gdzie z jest zmienn zespolon, tak |e z £ð 1. 45 Podamy teraz gBówne wBasno[ci FT. WBasno[ 1. Je|eli P(z) jest FT ZL xð, to 1 ¶ði 1 pi =ð P{xð =ð i} =ð P(z) =ð P(i)(z) . (2) z=ð0 i!¶ðzi i! z=ð0 WBasno[ 2. Je|eli P(z) jest FT ZL xð, to ¢ð ¢ð¢ð ¢ð ¢ð Exð =ð P (1), Dxð =ð P (1) +ð P (1)(1 -ð P (1)). Jest oczywiste, |e za pomoc ró|niczkowania FT w punkcie 1 mo|na obliczy momenty dowolnego rzdu (o ile istniej) ZL xð. 46 WBasno[ 3. Je|eli ZL xð1 o FT P1(z) i ZL xð2 o FT P2(z) s niezale|ne, to ZL xð =ð xð1 +ð xð2 ma FT P(z) okre[lon wzorem P(z) =ð P1(z)P2(z). Zauwa|my, |e midzy PLS að(q) ZL xð przyjmujcej warto- [ci i (i =ð 1, 2, ...) z prawdopodobieDstwami pi a jej FT P(z) zachodzi nastpujcy zwizek (patrz p. 1.2): að(q) =ð pie-ðqi =ð pi (e-ðq )i =ð P(e-ðq ). åð åð i i 47 1.4. Metoda zdarzeD dodatkowych 48 Wykorzystanie formalnego aparatu PLS i FT staje si bar- dziej istotne i zrozumiaBe, je|eli nadamy tym pojciom pewny sens probabilistyczny. W zwizku z tym rozpatrzmy dwa przykBady. 49 PrzykBad 1. Niech bdzie dana pewna ZL xð o dystrybuan- cie A(t), której nadamy sens dBugo[ci trwania pewnego pro- cesu. W trakcie obserwowania tego procesu obserwowa b- dziemy tak|e wystpienia niezale|nych od niego sztucznych zdarzeD dodatkowych. Bdziemy zakBada, |e zdarzenia te (najcz[ciej nazywane katastrofami) odbywaj si w nieza- le|nych odstpach czasu tð, majcych rozkBad wykBadniczy z parametrem q ³ð 0, tj. P{tð <ð t} =ð 1 -ð e-ðqt , t >ð 0. 50 W tym przypadku prawdopodobieDstwo P{tð >ð xð} tego, |e w cigu czasu xð nie odbdzie si ani jedna katastrofa, otrzymu- jemy, korzystajc ze wzoru na prawdopodobieDstwo caBkowi- te z uwzgldnieniem wBasno[ci braku pamici dla rozkBadu ZL tð: ¥ð P{tð >ð xð} =ð òðP{tð >ð xð xð =ð t}dP{xð <ð t}, 0 gdzie dP{xð <ð t} =ð P{ðxðÎð[t; t +ð dt)}ð=ð dA(t), skd wobec nieza- le|no[ci ZL xð i tð wynika, |e P{tð >ð xð xð =ð t} =ð P{tð >ð t} =ð1 -ð P{tð £ð t} =ð1 -ð P{tð <ð t} =ð e-ðqt, poniewa| ZL tð jest absolutnie cigBa. 51 Ostatecznie mamy ¥ð P{tð >ð xð} =ð òðe-ðqtdA(t) =ðað(q) =ð Ee-ðqxð, 0 co oznacza, |e w przypadku q ³ð 0 PLS að(q) jest prawdopo- dobieDstwem tego, |e w przedziale czasowym xð (tj. przez caBy czas trwania analizowanego procesu) nie nastpi |adna kata- strofa. 52 PrzykBad 2. Niech xð oznacza liczb zgBoszeD przybywaj- cych do systemu w pewnym ustalonym przedziale czasu, pk =ð P{xð =ð k}, k =ð 0, 1, .... Bdziemy zakBada, |e niezale|- nie od innych zgBoszeD ka|de zgBoszenie jest czerwone z prawdopodobieDstwem z (0 £ð z £ð 1) albo niebieskie z praw- dopodobieDstwem 1-ð z. W tym przypadku prawdopodobieDstwo warunkowe tego, |e w[ród przybywajcych zgBoszeD ani jedno nie oka|e si niebieskie, przy warunku, |e ich liczba równa si k k (k =ð 0, 1, ...), jest równe oczywi[cie z . 53 Wówczas ze wzoru na prawdopodobieDstwo caBkowite (w postaci dyskretnej) wynika, |e prawdopodobieDstwo nieprzy- bycia we wskazanym przedziale czasu ani jednego niebie- ¥ð skiego zgBoszenia jest równe pk zk =ð P(z) =ð Ezxð, tj. dla åð k =ð0 rzeczywistych z speBniajcych warunek 0 £ð z £ð 1 FT P(z) jest prawdopodobieDstwem tego, |e w danym przedziale czaso- wym do systemu przybywaBy wyBcznie czerwone zgBoszenia (czyli nie przybyBo ani jedno niebieskie zgBoszenie). 54 Zatem dla wyznaczenia P(z) lub að(q) w tym przypadku, gdy 0 £ð z £ð 1 lub odpowiednio q ³ð 0, mo|na korzysta z ich sensu probabilistycznego za pomoc wprowadzenia sztuczne- go podziaBu wszystkich zgBoszeD na czerwone i niebieskie lub sztucznego niezale|nego od zachowania si analizowanego procesu cigu pojawiania si katastrof. Na tym polega istota metody zdarzeD dodatkowych. Poniewa| að(q) i P(z) s funkcjami analitycznymi przy Re q ³ð 0 i z £ð 1 odpowiednio, to wykorzystujc zasad przedBu|enia analitycznego stwierdzamy, |e wyprowadzone za pomoc metody zdarzeD dodatkowych zwizki okazuj si prawdziwe dla caBego dopuszczalnego obszaru zmienno[ci z lub q. 55 1.5. Zadania 56 1.1. Niech bd dane dwie niezale|ne zmienne losowe að i bð oraz A(t) bdzie dystrybuant zmiennej losowej að, a zmienna losowa bð ma rozkBad wykBadniczy z parametrem mð. Znalez P{að <ð bð}. Czemu bdzie równe P{að <ð bð} w przypadku, gdy zmienna losowa að bdzie miaBa rozkBad wykBadniczy z para- metrem a? 57 Rozwizanie. Na mocy niezale|no[ci zmiennych losowych að i bð mamy ¥ð P{að <ð bð} =ð P{bð >ð að} =ð òðP{bð >ð að | að =ð t}dA(t) =ð 0 ¥ð ¥ð =ð òðP{bð >ð t}dA(t) =ð òðe-ðmðt dA(t) =ð að(mð), 0 0 gdzie að(q) jest PLS dystrybuanty A(t). Je|eli zmienna losowa að ma rozkBad wykBadniczy z parametrem a, to a P{að <ð bð} =ð . a +ð mð 58 1.2. Niech zmienna losowa xð ma rozkBad wykBadniczy, a zmienna losowa nieujemna tð nie zale|y od xð. Udowodni, |e w takim przypadku zachodzi wBasno[ braku pamici rozkBa- du wykBadniczego: P{xð ³ð x +ð tð | xð ³ð tð} =ð P{xð ³ð x}. 59 Rozwizanie. P{xð ³ð x +ð tð, xð ³ð tð} P{xð ³ð x +ð tð} P{xð ³ð x +ð tð | xð ³ð tð} =ð =ð . P{xð ³ð tð} P{xð ³ð tð} Stosujc wyniki z zadania 1.1 mamy ¥ð e-ðmð x òðe-ðmð tdA(t) 0 P{xð ³ð x +ð tð | xð ³ð tð} =ð =ð e-ðmð x =ð P{xð ³ð x}. ¥ð òðe-ðmð tdA(t) 0 60

Wyszukiwarka

Podobne podstrony:
wyklad teoria masowej obslugi
Teoria Masowej Obsługi
pawlikowski, fizyka, szczególna teoria względności
Teoria i metodologia nauki o informacji
teoria produkcji
MUZYKA POP NA TLE ZJAWISKA KULTURY MASOWEJ
obsługa pojazdu Egzamin
Cuberbiller Kreacjonizm a teoria inteligentnego projektu (2007)
DNS ObslugaNazw
obsluga wiertarki stolowej
Rozdział 04 System obsługi przerwań sprzętowych
Instrukcja obsługi bankomatu 1

więcej podobnych podstron