Západočeská univerzita v Plzni

Podobné dokumenty
Exponenciální modely hromadné obsluhy

1 Analytické metody durace a konvexita aktiva (dluhopisu) $)*

Úvod do SHO. Výkonnost a spolehlivost programových systémů KIV/VSS. Richard Lipka

10. cvičení z PST. 5. prosince T = (n 1) S2 X. (n 1) s2 x σ 2 q χ 2 (n 1) (1 α 2 ). q χ 2 (n 1) 2. 2 x. (n 1) s. x = 1 6. x i = 457.

VYUŽITÍ PRAVDĚPODOBNOSTNÍ METODY MONTE CARLO V SOUDNÍM INŽENÝRSTVÍ

Stochastické signály (opáčko)

Simulační software Witness. Ing. Michal Dorda, Ph.D.

Dobývání znalostí. Doc. RNDr. Iveta Mrázová, CSc. Katedra teoretické informatiky Matematicko-fyzikální fakulta Univerzity Karlovy v Praze

Vybraná rozdělení náhodné veličiny

ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE FAKULTA DOPRAVNÍ

NÁHODNÁ ČÍSLA. F(x) = 1 pro x 1. Náhodná čísla lze generovat některým z následujících generátorů náhodných čísel:

Výběrové charakteristiky a jejich rozdělení

Zápočtová práce STATISTIKA I

Kendallova klasifikace

STANOVENÍ SPOLEHLIVOSTI GEOTECHNICKÝCH KONSTRUKCÍ. J. Pruška, T. Parák

ÚSTAV MATEMATIKY A DESKRIPTIVNÍ GEOMETRIE. Matematika 0A4. Cvičení, letní semestr DOMÁCÍ ÚLOHY. Jan Šafařík

Intervalové Odhady Parametrů

NÁHODNÉ VELIČINY JAK SE NÁHODNÁ ČÍSLA PŘEVEDOU NA HODNOTY NÁHODNÝCH VELIČIN?

Úloha č. 2 - Kvantil a typická hodnota. (bodově tříděná data): (intervalově tříděná data): Zadání úlohy: Zadání úlohy:

VŠB Technická univerzita Ostrava Fakulta elektrotechniky a informatiky

E(X) = np D(X) = np(1 p) 1 2p np(1 p) (n + 1)p 1 ˆx (n + 1)p. A 3 (X) =

Václav Jirchář, ZTGB

Použitý rezistor (jmenovitá hodnota): R1 = 270 kω je přesný metalizovaný rezistor s přesností ± 0,1%.

Návrh a vyhodnocení experimentu

Diskrétní náhodná veličina

SYSTÉMY HROMADNÉ OBSLUHY. Teorie front

Náhodné chyby přímých měření

Jednofaktorová analýza rozptylu

Stochastické modely Informace k závěrečné zkoušce

Pravděpodobnost a statistika I KMA/K413

Otázky k měření centrální tendence. 1. Je dáno rozložení, ve kterém průměr = medián. Co musí být pravdivé o tvaru tohoto rozložení?

Přednáška. Další rozdělení SNP. Limitní věty. Speciální typy rozdělení. Další rozdělení SNP Limitní věty Speciální typy rozdělení

Mgr. Rudolf Blažek, Ph.D. prof. RNDr. Roman Kotecký Dr.Sc.

UNIVERZITA OBRANY Fakulta ekonomiky a managementu. Aplikace STAT1. Výsledek řešení projektu PRO HORR2011 a PRO GRAM

P13: Statistické postupy vyhodnocování únavových zkoušek, aplikace normálního, Weibullova rozdělení, apod.

SIMULACE SPOLEHLIVOSTI SYSTÉMŮ HROMADNÉ OBSLUHY. Michal Dorda. VŠB - TU Ostrava, Fakulta strojní, Institut dopravy

Řízení projektů. Konstrukce síťového grafu pro řízení projektů Metoda CPM Metoda PERT

VYUŽITÍ MATLAB WEB SERVERU PRO INTERNETOVOU VÝUKU ANALÝZY DAT A ŘÍZENÍ JAKOSTI

Národní informační středisko pro podporu kvality

Teorie hromadné obsluhy

JEDNOVÝBĚROVÉ TESTY. Komentované řešení pomocí programu Statistica

Statistika. cílem je zjednodušit nějaká data tak, abychom se v nich lépe vyznali důsledkem je ztráta informací!

Pravděpodobnost, náhoda, kostky

Časové řady, typy trendových funkcí a odhady trendů

MATEMATIKA III V PŘÍKLADECH

Studijní program Matematika Obor Pravděpodobnost, matematická statistika a ekonometrie

Pravděpodobnost, náhoda, kostky

Komplexní čísla, Kombinatorika, pravděpodobnost a statistika, Posloupnosti a řady

Počítačová simulace logistických procesů

Vybrané statistické metody. Simulace pokladen supermarketu Albert na Spojovací

Náhodná veličina a rozdělení pravděpodobnosti

ROZDĚLENÍ SPOJITÝCH NÁHODNÝCH VELIČIN

Škály podle informace v datech:

Generování pseudonáhodných. Ing. Michal Dorda, Ph.D.

Návrh a vyhodnocení experimentu

Výpočty spolehlivost chodu sítí

TECHNICKÁ UNIVERZITA V LIBERCI

Obecné, centrální a normované momenty

Časové řady, typy trendových funkcí a odhady trendů

Pravděpodobnost a matematická statistika

Cvičení 2. Vyjádření náhodně proměnných veličin, Posudek spolehlivosti metodou SBRA, Posudek metodou LHS.

Vícekanálové čekací systémy

EXPERIMENTÁLNÍ MECHANIKA 2 Přednáška 5 - Chyby a nejistoty měření. Jan Krystek

VŠB Technická univerzita Ostrava Fakulta elektrotechniky a informatiky SMAD

Národní informační středisko pro podporu kvality

Náhodná veličina X má Poissonovo rozdělení se střední hodnotou lambda. Poissonovo rozdělení je definováno jako. P(X=k) = 0,036

Cvičení 3. Posudek únosnosti ohýbaného prutu. Software FREET Simulace metodou Monte Carlo Simulace metodou LHS

X = x, y = h(x) Y = y. hodnotám x a jedné hodnotě y. Dostaneme tabulku hodnot pravděpodobnostní

KMA/P506 Pravděpodobnost a statistika KMA/P507 Statistika na PC

Statistika. Regresní a korelační analýza Úvod do problému. Roman Biskup

Jiří Neubauer. Katedra ekonometrie, FVL, UO Brno kancelář 69a, tel

Regresní analýza 1. Regresní analýza

Zaokrouhlování: Směrodatná odchylka se zaokrouhluje nahoru na stanovený počet platných cifer. Míry

Kombinatorika, pravděpodobnost a statistika, Posloupnosti a řady

MATEMATICKÁ STATISTIKA. Katedra matematiky a didaktiky matematiky Technická univerzita v Liberci

Cvičení 8. Posudek spolehlivosti metodou SBRA. Prostý nosník vystavený spojitému zatížení

Semestrální práce Mozaika aneb Co všechno umí pan Voronoi

KGG/STG Statistika pro geografy

Cvičení 2. Posudek spolehlivosti metodou SBRA. Prostý nosník vystavený spojitému zatížení

Semestrální projekt. do předmětu Statistika. Vypracoval: Adam Mlejnek Oponenti: Patrik Novotný Jakub Nováček Click here to buy 2

VYSOKÁ ŠKOLA BÁŇSKÁ TECHNICKÁ UNIVERZITA OSTRAVA FAKULTA METALURGIE A MATERIÁLOVÉHO INŽENÝRSTVÍ KATEDRA KONTROLY A ŘÍZENÍ JAKOSTI

SAMOSTATNÁ STUDENTSKÁ PRÁCE ZE STATISTIKY

Rozdíl rizik zbytečného signálu v regulačním diagramu (I,MR) a (xbar,r)

1. Přednáška. Ing. Miroslav Šulai, MBA

Úvod do systémů hromadné obsluhy. charakteristika SHO: systém, který poskytuje obsluhu určitého typu

Teorie náhodných matic aneb tak trochu jiná statistika

Cvičení ze statistiky - 8. Filip Děchtěrenko

VŠB Technická univerzita Ostrava

Odhad parametrů N(µ, σ 2 )

Simulace. Simulace dat. Parametry

2. Základní typy dat Spojitá a kategoriální data Základní popisné statistiky Frekvenční tabulky Grafický popis dat

Lineární regrese. Komentované řešení pomocí MS Excel

Teorie front. Systém hromadné obsluhy

LIMITNÍ VĚTY DALŠÍ SPOJITÁ ROZDĚLENÍ PR. 8. cvičení

Normální (Gaussovo) rozdělení

Odhad stavu matematického modelu křižovatek

Téma 10: Spolehlivost a bezpečnost stavebních nosných konstrukcí

Normální (Gaussovo) rozdělení

4. Na obrázku je rozdělovací funkce (hustota pravděpodobnosti) náhodné veličiny X. Jakou hodnotu musí mít parametr k?

PŘIJÍMACÍ TEST z informatiky a matematiky pro navazující magisterské studium Fakulta informatiky a managementu Univerzity Hradec Králové

Transkript:

Západočeská univerzita v Plzni Fakulta aplikovaných věd Katedra informatiky a výpočetní techniky Semestrální práce Výkonnost a spolehlivost číslicových sytémů Otevřená síť front Jan Bařtpán (A03043) bartipan@students.zcu.cz leden 2006

Obsah 1. Úvod...3 1.1 Zadání...3 1.2 Legenda...4 1.3 Parametry sítě...4 2. Výpočet...4 2.1 Výpočet střední frekvence obsluhy...4 2.2 Určení frekvence toků v uzlech...4 2.3 Výpočet zatížení jednotlivých uzlů sítě...5 2.4 Výpočet středního celkového počtu požadavků na úřadě...5 3. Simulace...5 3.1 Analýza...5 3.1.1 Třída Office...6 3.1.2 Třída Door...7 3.1.3 Třída Queue...7 3.2 Generování náhodných čísel s Gaussovským rozdělením pravděpodobnosti...8 3.2.1 Návrh...8 3.2.2 Ověření...8 3.3 Výsledky simulace...9 3.3.1 Pro exponenciální rozdělení...9 3.3.2 Pro normální rozdělení...9 4. Závěr...11

1. Úvod 1.1 Zadání 1. Vymyslete si otevřenou síť front (tj. propojení, vstupní proudy) obsahující alespoň 4 obslužné uzly (jeden kanál, fronta FIFO, neomez. délka), alespoň 2 vstupní proudy požadavků, alespoň 2 vnitřní zpětné vazby. 2. Parametry sítě (tj. střední frekvence vstupních proudů, střední doby obsluhy v jednotlivých kanálech a p-ti větvení) zvolte tak, aby síť pracovala ve stacionárním režimu. Doporučená hodnota zatížení pro všechny uzly: ρ > 0.5. 3. Určete výpočtem střední frekvence toků v uzlech. Dále určete veličiny Lq i a Tq i pro jednotlivé uzly a Lq a Tq pro celou síť pro případ, že všechny vstupní toky jsou Poissonovské a doby obsluhy ve všech uzlech mají exponenciální rozdělení. 4. Vypočtené hodnoty ověřte vlastnoručně vytvořeným simulačním programem. Použijte simulační knihovnu C-Sim nebo J-Sim. Příklad na simulační model otevřené sítě front je součástí standardní součástí distribuce u obou knihoven.. 5. Dále uvažujte případ, kdy všechny náhodné časové intervaly v modelu (příchody, obsluhy) mají Gaussovské pravděpodobnostní rozdělení N(a, σ) s (různou) sřední hodnotou zvolenou v bodě 2. Vytvořte generátor tohoto rozdělení jako funkci v jazyce C nebo Java (s parametry např.a, σ) a testováním ověřte správnou správnou funkci generátoru. 6. Simulací ověřte chování sítě (tj. určete stejné veličiny jako v bodech 3) a 4) pro případ, že všechna rozdělení (příchody, obsluhy) budou mít hustotu N(a, σ) se stejnou střední hodnotou jako pro exponenciální rozdělení alespoň pro 3 různé hodnoty koeficientu variace C=σ/a. Poznámka: Simulační program je stejný jako v bodě 4, ale volá se jiný generátor podle bodu 5. 7. Simulační program upravte pro sledování další individuálně zadaných výkonnostních charakteristik sítě. 8. Řešení zpracujte formou písemného referátu (cca stran, grafy, tabulky, barevné obrázky, hudební vložky, multimédia ap. - berte to jako přípravu na diplomku, navíc vlastní referát lze využít při zkoušce). Schéma sítě 1 1 1 p 2 3 p 1 4 p 2 2 2 1 p 1 Další sledované charakteristiky: Statistika počtu požadavků ve třetím uzlu (E, D, ).

1.2 Legenda Abych měl představu, co jednotlivé veličiny, uzly a požadavky v této síti znamenají, vymyslel jsem si tuto legendu: Tato síť představuje obsluhu zákazníků blíže neurčeného úřadu. Jednotlivé uzly pak představují kanceláře, obsluhující jednotlivé klienty úřadu. 1.3 Parametry sítě Střední frekvence vstupních proudů: 1 =8hod 1 2 =6 hod 1 Střední doba obsluhy v jednotlivých uzlech: T s1 =6 min=0,1 hod T s2 =2,4min=0,04 hod T s3 =1,5 min=0,025 hod T s 4 =3 min=0,05 hod Pravděpodobnosti větvení: p 1 =0,7 p 2 =0,8 2. Výpočet 2.1 Výpočet střední frekvence obsluhy Ze střední doby obsluhy určíme střední frekvenci obsluhy jako i = 1 T si : 1 = 2 =25 3 =40 4 =20 2.2 Určení frekvence toků v uzlech Protože doba obsluhy požadavků v jednotlivých uzlech a doba příchodů požadavků do sítě mají exponenciální rozdělení, určíme střední frekvenci vstupů do jednotlivých uzlů z této soustavy rovnic: 1 = 1 2 = 2 1 p 1 3 3 = 1 2 1 p 2 4 4 = p 1 3 Tato soustava vyjadřuje vztahy frekvencí jednotlivých vnitřních toků sítě.

Řešení této soustavy je: 1 =8 2 =13,5 3 =25 4 =17,5 2.3 Výpočet zatížení jednotlivých uzlů sítě Nyní spočteme zatížení uzlů jako i =T si i tedy: 1 =0,8 2 =0,54 3 =0,625 4 =0,875 Platí, že i 1, a proto je síť ve stacionárním stavu (nikde se nehromadí požadavky). 2.4 Výpočet středního celkového počtu požadavků na úřadě Nyní již můžeme určit střední počet požadavků a střední dobu průchodu požadavků v jednotlivých uzlech a v celém systému jako: i L qi = 1 i T qi = T s i 1 i 4 L q = i=1 T q = Po dosazení do těchto vzorečků nám vyjde: L q1 =4 L q2 =1,174 L q3 =1, 6 L q4 =7 L q =13,841 L q L qi 2 i=1 i T q1 =0,5 T q2 =0,087 T q3 =0,0 6 T q4 =0,9 T q =0,989 3. Simulace 3.1 Analýza V této simulaci jistě budeme potřebovat třídu, která bude reprezentovat jednotlivé kanceláře (třída Office). Tato třída vystupuje aktivně v simulaci, proto bude odvozena od třídy JSimProcess. Dalším aktivním prvkem v simulaci budou vstupní dveře do úřadu ( generátor klientů - třída Door). I tato třída bude odvozena od třídy JSimProcess. Dále musíme reprezentovat fronty jednotlivých klientů úřadu třída Queue. Protože jde o frontu, odvodíme ji od třídy JSimHead. Nakonec nám zbývá třída,

která bude představovat jednotlivé klienty úřadu (třída Person). 3.1.1 Třída Office Atributy: Aby byl zajištěn chod simulace, musí mít tato třída tyto fronty: jednu vstupní frontu (atribut inqueue) tato fronta je vytvořena v konstruktoru třídy (třída Office je jejím vlastníkem) dvě výstupní fronty (atributy outqueue1, outqueue2) tato fronta není vlastněna třídou Office (slouží jako odkaz na vstupní frontu jiné instance třídy Office). Pokud třída má jen jednu výstupní frontu (uzly 1, 2), je druhá nastavena na null. Podobně, pokud je fronta výstupem ze sítě (uzel 4), je také nastavena na null. Dále potřebujeme atribut, který bude vyjadřovat pravděpodobnost, že zpracovaný požadavek půjde do výstupní první fronty číslo 1 (outqueue1) atribut p. Pokud daná instance třídy Office má pouze jednu výstupní frontu, musí být vždy p = 1. Nakonec ještě budeme potřebovat další parametry pro určení: doby obsluhy parametr mu sledovaných statistických veličin Aktivita: while (true){ if (inqueue.empty()) passivate(); else{ // aktualizování parametrů pro výpočet statistických veličin inqueuetestcount++; long cnt = inqueue.cardinal(); inqueuecountsum += cnt; inqueuecountsquaresum += cnt * cnt; hist.add(cnt); // další zákazník ve frontě JSimLink personlink = inqueue.first(); // vyřazení z fronty personlink.out(); // simulace obsluhy double delta = rand(); hold(delta); // výběr výstupní fronty Queue out = (JSimSystem.uniform(0,1) <= p)? outqueue1 : outqueue2; // nejde-li o výstupní frontu (zákazník odchází z úřadu) if (out!= null){ // klient přejde do jiné fronty personlink.into(out); // případné vzbuzení (lelkujícího) úředníka

} } out.activateserver(); } else{ // zákazník odchází z úřadu // aktualizování parametrů pro výpočet statistických veličin personcount++; servicetimesum += currenttime - person.gettimeofarrival(); personlink = null; } 3.1.2 Třída Door Atributy: Třída Door slouží jako generátor klientů úřadu. Noví klienti se zařazují do výstupní fronty (atribut outqueue). Tato fronta je vstupní frontu jednotlivých kanceláří. Jde tedy o odkaz (tj. třída Door se nestará o vytváření této fronty). Dále tato třída potřebuje parametr pro určení frekvence s jakou přicházejí zákazníci úřadu (resp. doby mezi jednotlivými příchody). Aktivita: while (true){ // vytvoření nového zákazníka JSimLink link = new JSimLink(new Person(myParent.getCurrentTime())); } // zařazení do výstupní fronty link.into(outqueue); Person p = (Person)link.getData(); // aktivování kanceláře outqueue.activateserver(); // uspání do dalšího příchodu klienta (lelkování) double delta = rand(); hold(delta); 3.1.3 Třída Queue Atributy: Protože po této třídě budeme požadovat, aby případně vzbudila lelkující obsluhu, musíme si udržet odkaz na kancelář, ke které tato obsluha patří atribut server. Vzbuzení obsluhy: // pokud obsluha lelkuje if (server.isidle()) // probudíme jí server.activate(myparent.getcurrenttime());

3.2 Generování náhodných čísel s Gaussovským rozdělením pravděpodobnosti 3.2.1 Návrh Ke generování náhodných čísel y s Gaussovským pravděpodobnostním rozdělením budeme používat generátor náhodných čísel s uniformním pravděpodobnostním rozdělením. Takto vygenerované náhodné číslo x i bude v intervalu <0; 1). S využitím centrální limitní věty lze pak náhodné číslo y vypočítat takto: 12 y= i=1 x i, kde je směrodatná odchylka a je střední hodnota. Protože bude třeba generovat v závislosti na střední hodnotě a variačním koeficientu, určíme směrodatnou odchylku jako: C= =C 3.2.2 Ověření Abych ověřil správnost takto generovaných čísel, vytvořil jsem si histogramy pro 5000 vygenerovaných čísel pro různé variační koeficienty: 225 C=0. 0 C=0.25 200 90 175 80 150 125 0 70 60 50 40 75 30 50 20 25 0 0

55 C=0.5 40 C=0.75 50 45 35 40 30 35 30 25 25 20 20 15 15 5 5 0 0 Jak je vidět, histogramy odpovídají Gaussovskému rozložení hodnot. 3.3 Výsledky simulace Pro určení přesných hodnot je třeba co možná nejdelší běh simulace. S větším počtem kroků simulace se tedy bude zpřesňovat výsledek. Bohužel se mi nepovedlo nalézt vhodný počet kroků, pro než by simulace trvala snesitelně dlouhou dobu a zároveň výsledky simulace (tj. hodnoty Tq a Lq) by odpovídaly přesně (tj. na tři desetinná místa) vypočteným výsledkům. 3.3.1 Pro exponenciální rozdělení Následující tabulka ukazuje výsledky simulace v závislosti na maximálním simulačním čase. Sloupec E a D jsou střední hodnoty a rozptyl pro počet požadavků v uzlu tři. Max time Lq Tq Lw1 Tw1 Lw2 Tw2 Lw3 Tw3 Lw4 Tw4 E D 500 11.525 0.840 2.71 0.35 0.62 0.05 0.91 0.04 4.52 0.27 1.91 4.23 00 13.0 0.935 2.87 0.36 0.63 0.05 1.07 0.04 5.71 0.33 2.06 5.44 3000 13.488 0.968 2.85 0.36 0.6 0.04 1.02 0.04 6.21 0.36 2.01 5.23 5000 13.659 0.973 3.30 0.41 0.67 0.05 1.07 0.04 5.78 0.33 2.07 5.72 Jak je vidět hodnoty L q a T q se blíži vypočteným výsledkům ( L q =13,841,T q =0,989 ). 3.3.2 Pro normální rozdělení Obdobně následující tabulka ukazuje výsledky simulace v závislosti na maximálním simulačním čase. A stejně sloupec E a D jsou střední hodnoty a rozptyl pro počet požadavků v uzlu tři.

C Lq Tq Lw1 Tw1 Lw2 Tw2 Lw3 Tw3 Lw4 Tw4 E D 0.1 4.03 0.29 0.004 0.000 0.14 0.01 0.17 0.0068 0.88 0.050 1.06 0.13 0.15 4.11 0.29 0.021 0.003 0.15 0.01 0.18 0.0073 0.92 0.053 1.07 0.15 0.2 4.29 0.31 0.059 0.007 0.16 0.01 0.19 0.0077 1.04 0.059 1.08 0.19 0.25 1.56 0.31 0.096 0.014 0.06 0.01 8269.77 0.0084 0.37 0.060 1.1 0.22 Povšimněte si hodnoty Lw3 pro C=0,25. Nepoměr vůči ostatním Lw3 hodnotám pro jiná C je zapříčiněn tím, že se systém dostal do nestacionárního stavu a požadavky (zákazníci) se hromadí ve vstupní frontě uzlu tři. Dále uvádím histogramy počtu požadavků v uzlu číslo 3 pro různé variační koeficienty: 0000 C=0.1 0000 C=0.15 000 000 00 00 0 0 1 0 1 2 3 4 5 6 1 0 1 2 3 4 5 6 C=0.2 0000 000 00 0 1 0 1 2 3 4 5 6

4. Závěr Při simulaci, kdy měly všechny náhodné časové intervaly v modelu (příchody, odchody) exponenciální rozdělení, vycházely hodnoty aplikačně zajímavých veličin velmi blízko analyticky zjištěných hodnot. V případě Gaussovského rozdělení můžeme vysledovat rostoucí hodnoty Lq a Tq s rostoucím koeficientem variace, přičemž hodnoty pro C=0,25 vzhledem k nestacionárnosti systému je třeba brát s rezervou (jako nevalidní). Dále je vidět z histogramu počtu požadavků v třetím uzlu (kanceláři), že ačkoliv se jedná o nejzatíženější uzel, nejčastěji je požadavek vyřízen ihned (nečeká ve frontě).