AKŁAD KSPLOATACJI SYSTMÓW LKTONICNYCH INSTYTUT SYSTMÓW LKTONICNYCH WYDIAŁ LKTONIKI WOJSKOWA AKADMIA TCHNICNA --------------------------------------------------------------------------------------------------------------- PODSTAWY KSPLOATACJI ĆWICNI LABOATOYJN N 1 BADANI WYBANYCH POCDU I STATGII KSPLOATACYJNYCH 1. Narzędza wspomagające realzację ćwczena: omputerowe programy wylczające efety zastosowanych procedur strateg esploatacyjnych: Podes21.pas, Podes22.pas. 2. Przedmot ćwczena: model systemu esploatacj o założonych właścwoścach; modele procesów esploatacyjnych. 3. Cel ćwczena: lustracja zagadneń zwązanych z zarządzanem esploatacją; lustracja zależnośc mędzy dagnostyą, nezawodnoścą esploatacją. -------------------------------------------------------------------------------------------------------------- Warszawa 2006
1. PODSTAWY TOTYCN I AŁOŻNIA ozpatrzmy prosty model pewnego anału transmsj danych, w tórym rozróżnamy cztery moduły. Kanał ten jao obet esploatacj ma szeregową struturę nezawodnoścową (ys.1. ys.1. Model obetu Wyobraźmy sobe dalej, że użytown tego obetu jest przedsęborcą, podejmującym sę realzacj zadań polegających na przesyłanu pewnych grup danych (grup nformacj. Klent zamawający płac przedsęborcy za zrealzowane zadana ustaloną wotę, ale tylo wtedy, gdy zadane zostane w pełn wyonane w ustalonym czase. zecz jasna użytownow-przedsęborcy zależy na tym, aby zamówone zadane zrealzować z zysem. Mogą występować różne sytuacje esploatacyjne. arządzane esploatacją może polegać na wyborze taej strateg procedury dzałana, aby w oreślonej sytuacj masymalzować zys. ozpatrzmy wybrane stratege procedury oraz porównajmy je ze względu na zys, tóre może osągnąć użytown. badamy tu dwe stratege trzy procedury dla ażdej strateg. Stratega 1. Stratega ta dotyczy taej sytuacj esploatacyjnej, w tórej przewduje sę użyce obetu do zrealzowana tylo jednego zadana. Oznacza to, że przedsęborca alulując zys ne berze pod uwagę napływu następnych, podobnych zamóweń. Przedsęborca pownen węc zastanowć sę ja zys może mu przyneść zamówone zadane przyjęte do jednorazowej realzacj z jam prawdopodobeństwem. Można to nterpretować neco szerzej następująco: przedsęborca otrzyma dochód W ponese oszty N jeśl wyona zadane; przedsęborca ne otrzyma żadnego dochodu, ale ponese oszty N jeśl ne wyona zadana; prawdopodobeństwo tego, że zadane zostane wyonane pownno być nemnejsze nż pewna wartość mn ; prawdopodobeństwo tego, że zadane ne zostane wyonane pownno być newęsze nż pewna wartość 1- mn ; Decydent użytu pownen zastanowć sę: jae zadana są opłacalne w stnejącej sytuacj esploatacyjnej? jae zadane jest najbardzej opłacalne? auważmy, że w tym przypadu należy brać pod uwagę następujące welośc opsujące sytuację esploatacyjną: wymagany (zamówony efet WYM (np. lość danych, tóre należy przesłać; wymagany czas realzacj zadana T WYM ; wartość eonomczną efetu (opłata za wyonane zadana; szybość transmsj; nałady, czyl ponesone oszty własne; 2
prawdopodobeństwo tego, że wyonane zostane zadane o wymaganej objętośc w wymaganym czase. Model esploatacyjny obetu. Model ten opszemy przy pomocy pewnych, prostych wyrażeń matematycznych. Występujące w nch welośc opatrzymy dodatowo ndesem, poneważ mogą przyjmować różne wartośc dla różnych procedur, opsanych dalej. 1 Obet podlega jedyne uszodzenom losowym (nagłym. Intensywność uszodzeń wzrasta ze wzrostem czasu realzacj zadana. Neuszadzalność obetu w tym przypadu przedstawa wyrażene T ( T oexp λ( t dt (1 0 gdze: λ (t funcja ntensywnośc uszodzeń, tu wzrastająca z czasem realzacj zadana, zaczynając od wartośc początowej λ 0 ; o prawdopodobeństwo zdatnośc obetu w chwl rozpoczynana realzacj zadana (prawdopodobeństwo początowe. 2 W przedzale czasowym [0,T] zostaje wytworzony pewen efet dzałana obetu. fet ten jest funcją długośc przedzału. Jeśl przyjmemy, że wytwarzane efetu zaczyna sę w chwl 0 to długość przedzału [0,T] wyznacza ońcowa chwla T. atem efet wytworzony w przedzale [0,T] można dla uproszczena zapsywać w postac (T. Przyjmjmy, że prędość wytwarzana efetu (tu: prędość transmsj jest stała znana. Można węc założyć, że jeśl obet utrzymuje zdatność, to efet (T rośne proporcjonalne do czasu realzacj zadana. atem: ( T T (2 gdze: lość efetu wytworzona (tu: lczba przesłanych danych w jednostce czasu. Wytworzony efet ma pewną wartość eonomczną W( (zapłata za przesłane dane. Można węc dalej założyć, że wartość eonomczna W( jest proporcjonalna do czasu zrealzowana zadana, czyl: jeśl ( T WYM to W ( T W ( T W T (3 Jeśl zamówony efet w wymaganym czase ne zostane wyonany to lent nc ne zapłac, czyl jeśl ( T < WYM to W ( T 0 * ( T 0 (4 gdze: W wartość eonomczna jednost efetu, ustalona dla przyjętych założeń (tutaj ma postać współczynna proporcjonalnośc. 3 Wytwarzane efetu wymaga ponoszena pewnych naładów. Przyjmjmy, że wartość naładów rośne proporcjonalne do czasu realzacj zadana może być potrzebny pewen naład wstępny. atem: N ( T N0 N T (5 gdze: N 0 0 naład wstępny (oszt własny przedsęborcy, zwązany z rozruchem obetu; w naszym przypadu przyjmjmy, że jest to oszt dagnozowana wstępnego (dagnozowana przed rozpoczęcem zadana; N 0 wartość naładu ponoszonego w jednostce czasu (tu: współczynn proporcjonalnośc. 4 Przyjmjmy najprostszy model eonomczny użytowana obetu. ys zrealzowana zadana jest różncą wartośc eonomcznej uzysanego efetu wartośc bezwzględnej ponesonych naładów, czyl 3
( T W( T N( T (6 pamętajmy przy tym, że N (T 0. 5 Przypomnjmy, że ażde zadane polega na przesłanu oreślonej lczby danych. Jeśl w trace realzacj zadana obet przejdze w stan nezdatnośc, to transmsja zostane przerwana odborca ne otrzyma wszystch danych. W tam przypadu zamawający odmawa zapłaty, czyl wartość efetu staje sę równa zeru (rozpatrujemy tu tzw. proces użytowana bez aumulacj efetu. arazem nałady ponesone do chwl uszodzena ne zostają zwrócone. ys przyjme węc wartość ujemną, równą wartośc ponesonych naładów, czyl: t U < T ( T N( T, N( T 0 (7 gdze: t U czas do chwl uszodzena obetu. ozpatrzmy trzy procedury esploatacyjne, tóre mogą być realzowane w ramach strateg 1. Procedura 1. Początowy stan obetu ne jest doładne znany. Nepewność użytowna można wyrazć przez wstępne prawdopodobeństwo zdatnośc obetu, przyjmjmy tu: < 1 (8 01 W procedurze 1 przystępujemy do realzacj zadana bez wstępnego dagnozowana mmo nepewnego stanu obetu atem naład wstępny ma wartość zerową. N 01 0 (9 nane są wartośc: 1, W1, N1, λ1 ( t, 01, N01, mn Pozostałe właścwośc obetu opsują wyrażena (1 7, przy czym przyjmujemy 1. Procedura 2. Początowy stan obetu ne jest doładne znany. W procedurze 2 obet zostaje poddany wstępnemu dagnozowanu. Procedura dagnozowana jest dealna wobec tego możemy przyjąć, że dla obetu dagnozowanego dopuszczonego do użyca 1 (10 02 Dagnozowane wstępne wymaga ponesena pewnego naładu (osztu, węc N 02 > 0 (11 nane są wartośc: 2, W2, N2, λ2 ( t, 02, N02, mn 2 Pozostałe właścwośc obetu opsują wyrażena (1 7, przy czym przyjmujemy 2. Procedura 3. Obet wyposażony jest w elementy rezerwujące ja na ys.2. W rozpatrywanym przyładze rezerwowane są tylo elementy e 2, e 3, e 4. Ponadto obet wyposażony jest w system dozorująco-terapeutyczny (na ys.2 ne poazany. Uład dozorująco-terapeutyczny dzała w ten sposób, że: wyrywa nezdatność dozorowanych elementów e 2, e 3, e 4 (lub zastępujących je odpowednch elementów rezerwowych funcja dozorowana; zastępuje elementy nezdatne rezerwowym elementam zdatnym (funcja terapeutyczna; rejestruje nformacje o stane elementów dozorowanych rezerwowych (funcja dagnostyczna; nformacje te są wyorzystywane przed następnym użycem obetu. Dzę temu w procedurze 3: 4
przed rozpoczęcem realzowana zadana wemy, tóre elementy w obszarze dozorowanym są (ewentualne nezdatne. atem nawet bez dagnozowana wstępnego elementy te mogą być naprawone. Obnża to oszt dagnozowana wstępnego. ne jest znany stan elementu nedozorowanego e 1, tóry wymaga dagnozowana wstępnego. Oczywśce na podstawe nformacj otrzymanej od uładu dozorującoterapeutycznego oraz na podstawe dagnozy wstępnej otrzymujemy: 03 1 (12 W tym przypadu zares dagnozowana może być mnejszy nż w procedurze 2 (dagnozujemy wstępne tylo element e 1, stąd oszt dagnozowana wstępnego jest mnejszy, zatem: N 03 < N (13 02 Nałady beżące są węsze, poneważ pojawają sę dodatowe oszty funcjonowana sytemu dozorująco-terapeutycznego. Wyraża sę to węszą prędoścą przyrostu naładów, czyl węszą wartoścą bezwzględną współczynna N3 : N3 > N2 (14 mnejsza sę wstępna ntensywność uszodzeń unemożlwających zrealzowane zadana (przy dostatecznej lczbe elementów rezerwowanych można przyjąć, że uszodzene wszystch elementów rezerwujących element e 2 oraz odpowedno e 3 e 4 jest pratyczne nemożlwe, zatem: 03 ( T > 02( T (15 nane są wartośc: 3, W3, N3, λ3 ( t, 03, N03, mn 3 Pozostałe właścwośc obetu opsują wyrażena (1 7, przy czym przyjmujemy 3. e 23 e 33 e 43 e 22 e 32 e 42 e 21 e 31 e 41 e 1 e 2 e 3 e 4 ys.2. Przyład obetu o szeregowo-przeaźnowej struturze nezawodnoścowej; e 21..., e 31..., e 41... zbory elementów rezerwowych Stratega 2. Stratega ta dotyczy taej sytuacj esploatacyjnej, w tórej przedsęborca przewduje użyce tego samego obetu do zrealzowana welu tach samych zadań (lub użyce welu obetów tego samego typu do zrealzowana tach samych zadań. Oznacza to, że przedsęborca alulując zys berze pod uwagę równoczesną realzację welu tach samych zadań lub może oczewać, że otrzyma następne, podobne zamówena. Może węc swoje oblczena operać na sumarycznym zysu z realzacj grupy zadań, lcząc sę z tym, że netóre realzacje przynosą mu zys, netóre straty. Przedsęborca otrzyma dochód W ponese oszty N jeśl wyona zadane oraz ne otrzyma żadnego dochodu, ale ponese oszty N jeśl ne wyona zadana. Może węc sumę zysów podze- 5
lć przez lczbę zadań przyjętych do realzacj otrzymać zys przypadający średno na jedną realzację. atem przy podejmowanu decyzj przed serą realzacj przedsęborca pownen erować sę wartoścą oczewaną zysu ( T z realzacj zadana. Inaczej wygląda to od strony lenta. Przyjmjmy w tej strateg, że lent płac tylo za zrealzowane onretnego, pojedynczego zadana, bez względu na to czy będze zamawał następne. Przedsęborca pownen postawć sobe pytane: jae zadane jest dla nego statystyczne opłacalne? ewentualne jeszcze: jae zadane jest najbardzej opłacalne? W tym przypadu (podobne ja dla strateg 1 należy brać pod uwagę następujące welośc opsujące sytuację esploatacyjną: wymagany (zamówony efet (np. lość danych, tóre należy przesłać; wymagany czas realzacj zadana; wartość eonomczną efetu (opłata za wyonane zadana; szybość wytwarzana efetu (np. szybość transmsj; nałady, czyl ponesone oszty własne; prawdopodobeństwo tego, że wyonane zostane zadane o wymaganej objętośc w wymaganym czase; oraz wartość oczewaną zysu. auważmy, że: W przedzale[0,t], zys jao zmenna losowa może przyjąć jedną z dwu realzacj: ( T W ( T N ( T z 1 z prawdopodobeństwem (T utrzymana zdatnośc do ońca realzacj zadana; z 2 ( T 0 N ( T z prawdopodobeństwem 1 (T utraty zdatnośc przed ońcem realzacj zadana. atem zgodne z zasadą wyznaczana wartośc oczewanej, otrzymujemy ( T ( T z 1( T + [ 1 ( T ] z 2( T (16 ( T [ W ( T N( T ] + [ 1 ( T ][ 0 N( T ] ( T W ( T N( T Oczywśce pamętamy, że N (T 0. Dla strateg 2 rozpatruje sę model obetu oraz trzy procedury, opsane ta samo ja dla strateg 1. * * * 6
2. ADANI DLA STATGII 1 naleźć dla ażdej procedury ta przedzał czasowy [ T, T ] mn max, że dla ażdego zadana o czase realzacj T AD należącym do tego przedzału, otrzymany zys jest nemnejszy od zera prawdopodobeństwo realzacj zadana jest nemnejsze od mn. Przedzał ten nazwjmy przedzałem dysponowanych czasów realzacj zadań, spełnających warun opłacalnośc dla strateg 1: T dys [ T mn, T max ] (17 Przy tym długość tego przedzału: dys Tmax Tmn (18 Masymalny zys (są to najwęsze wartośc w przedzale zysów dysponowanych: max (T max Następne należy oreślć (T mn T mn ; (T max T max ; (19 Dalej, należy oreślć dysponowany przedzał efetów, spełnających warun opłacalnośc: T, T dys mn max (20 Przy tym długość tego przedzału: d dys ( T max ( T mn (21 Masymalny efet w przedzale efetów dysponowanych: max ( T max (22 Decydent użytu pownen zarejestrować wymagana sformułowane przez zamawającego: wymagany efet WYM ; wymagany czas realzacj zadana T WYM ; Opłacalne realzowalne jest tae zadane, tóre spełna warun: gdze: ( dys WYM WYM : ( ( T T ( WYM (23 dys WYM dys WYM T dysponowany czas, w cągu tórego można uzysać efet WYM. Przyjąć wartośc: Tabela 1.1. 1 2 3 λ 01-0,0001 0,0001 0,00003 01 0,96 1 1 mn1 0,95 0,95 0,95 N 01 0 100 25 λ1 1,5 1,5 1 1 1 1 1 W1 10 10 10 N1 0,5 0,5 0,7 WYM 100 100 100 T WYM 50 50 50 Dla procedury 1-ej, 2-gej 3-ej wyznaczyć (z wyresów prezentujących wyn oblczeń symulacyjnych (program Podes21: 7
długośc przedzałów: dys1-1, dys1-2, dys1-3; długośc przedzałów: d dys1-1, d dys1-2, d dys1-3 ; wartośc masymalne efetu: max1-1, max1-2, max1-3 ; wartośc masymalne zysu: max1-1, max1-2, max1-3 ; wartośc naładów: N(T mn 1-1, N(T mn 1-2, N(T mn 1-3 oraz N(T max 1-1, N(T max 1-2, N(T max 1-3 na podstawe tych danych oblczyć wartośc współczynnów ułatwających porównane właścwośc stosowanych procedur: dys1 2 dys1 3 dys1 3 T2/1 ; T3/2 ; T3/1 2/1 dys1 1 ddys1 2 ; d dys1 1 max1 2 e2 /1 ; max1 1 max1 2 e2 /1 ; max1 1 3/2 Wyn umeścć w odpowednch tabelach. dys1 2 ddys1 3 ; d dys1 2 max1 3 e3/ 2 ; max1 2 max1 3 e3/ 2 ; max1 2 * * * 3/1 d d e3/1 e3/1 dys1 1 dys1 3 dys1 1 max1 3 max1 1 max1 3 max1 1 3. ADANI DLA STATGII 2 naleźć dla wybranej procedury ta przedzał czasowy [T mn,t max ], że dla ażdego zadana o czase realzacj T AD należącym do tego przedzału, wartość oczewana zysu jest nemnejsza od zera. Przedzał ten nazwjmy przedzałem dysponowanych czasów realzacj zadań, spełnających warune opłacalnośc dla strateg 2: Dla strateg 2 funcja ( T dla T T ext posada zazwyczaj wyraźne estremummasmum, tae że T mn < Text < Tmax oraz ( T mn < ( T ext > ( T max. Przedzał czasów dysponowanych: T dys [T mn, T max ] (24 Długość przedzału czasów dysponowanych: dys Tmax Tmn (25 Oreślć czas T extr, tóremu odpowada najwęsza wartość oczewana zysu ext. Następne należy oreślć: (T mn T mn ; (T ext T ext ; (T max T max (26 Dalej, należy oreślć dysponowany przedzał wartośc oczewanych efetów, spełnających warun opłacalnośc: T, T dys mn max (27 Przy tym długość tego przedzału: d dys ( T max ( T mn (28 Decydent użytu pownen zarejestrować wymagana sformułowane przez zamawającego: 8
wymagany efet wym ; wymagany czas realzacj zadana T WYM. Opłacalne realzowalne jest tae zadane WYM, tóre spełna warun: ( WYM WYM WYM : ( T T ( WYM (29 Przyjąć wartośc: Tabela 2.1. 1 2 3 λ 02 0,00008 0,00008 0,00002 02 0,7 1 1 N 02 0 100 25 λ2 1,5 1,5 1 2 1 1 1 W2 10 10 10 N2 0,5 0,5 0,7 WYM2-100 100 100 T WYM2-50 50 50 Dla procedury 1-ej, 2-gej 3-ej wyznaczyć (z wyresów prezentujących wyn oblczeń symulacyjnych (program Podes22: długośc przedzałów: dys2-1, dys2-2, dys2-3; wyróżnone wartośc efetów: mn 2-1 (T mn2-1 ; ext 2-1 (T ext2-1 ; max 2-1 (T max2-1 ; mn 2-2 (T mn2-2 ; ext 2-2 (T ext2-2 ; max 2-2 (T max2-2 ; mn 2-3 (T mn2-3 ; ext 2-3 (T ext2-3 ; max 2-3 (T max2-3 ; długośc przedzałów: d dys2-1, d dys2-2, d dys2-3 ; wartośc estremalne oczewanych wartośc zysu: ext 2 1, ext 2 2, ext 2 3 na podstawe tych danych oblczyć wartośc współczynnów ułatwających porównane właścwośc stosowanych procedur: dys2 2 dys2 3 dys2 3 T2/1 ; T3/2 ; T3/1 2/1 dys2 1 ddys2 2 ; d dys2 1 ext2 2 e2/1 ; ext2 1 ext2 2 e2/1 ; ext2 1 3/2 dys Wyn umeścć w odpowednch tabelach. dys2 2 ddys2 3 ; d dys2 2 ext2 3 e3/2 ; ext2 2 ext2 3 e3/2 ; ext2 2 3/1 e3/1 e3/1 dys d d dys2 1 dys2 3 dys2 1 ext2 3 ext2 1 ext2 3 ext2 1 4. UWAGI KOŃCOW 1. Wyn oblczeń przedstawć w postac tabelarycznej. 2. Sporządzć wnos-omentarz. 3. Całość przedstawć w forme sprawozdana. 9