|
|
Location-aware data transfers scheduling for distributed virtual walkthrough applications.
Přibyl, Jaroslav ; Sochor, Jiří (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
Data transfers scheduling process is an important part of almost all distributed virtual walkthrough applications. Its main purpose is to preserve data transfer efficiency and rendered image quality. The most limiting factors here are network restrictions. These restrictions can be reduced using multi-resolution data representation, download priority determination and data prefetching algorithms. Advanced priority determination and data prefetching methods use mathematic description of motion to predict next position of a user. These methods can accurately predict only close future positions. In the case of sudden but regular changes in user motion direction (road networks), these algorithms are not sufficient to predict future position with required accuracy and at required distance. In this thesis a systematic solution to data transfers scheduling is proposed which solves also these cases. The proposed solution uses next location prediction methods to compute download priority or additionally prefetch data needed to render a scene in advance. Experiments show that compared to motion functions the proposed scheduling scheme can increase data transfer efficiency and rendered image quality during exploration of tested scene.
|
|
|
Aplikace pro zpracování dat z oblasti evoluční biologie
Vogel, Ivan ; Burgetová, Ivana (oponent) ; Očenášek, Pavel (vedoucí práce)
Tvorba fylogenetických stromů je v současnosti běžnou vizualizační metodou na vyjádření evolučních vztahů druhů. Tato práce se soustředí na vysvětlení matematické teorie popisující molekulární fylogenetiku a na návrh modifikovaného algoritmu na odvozování evolučního stromu založeného na vnitroskupinové analýze nukleotidových a aminokyselinových sekvencí. Dále popisuje objektový návrh a implementaci těchto metod v jazyce Python a integraci nástroje do velkého bioinformatického portálu. Navžená řešení dávají lepší výsledky oproti konvenčním metodám při zhlukování předdefinovaných shluků a jsou co do vstupních dat široce použitelné. Práce také závěrem diskutuje možné jiné aplikace navrhnutých metod a ich rozšíření na iné obory informačních technologií.
|
|
|
Tvorba spolehlivostních modelů pro pokročilé číslicové systémy
Trávníček, Jan ; Drábek, Vladimír (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce se zabývá problematikou spolehlivosti systémů. Nejprve je zde diskutován samotný pojem spolehlivosti a její ukazatele, kterými spolehlivost můžeme konkrétně vyjadřovat. V~další kapitole jsou popsány možné spolehlivostní modely pro jednoduché a složitější systémy. Dále jsou zde popsány základní postupy pro tvorbu spolehlivostních modelů. Čtvrtá kapitola je věnována velmi důležitým markovským modelům. Markovské modely jsou velmi silným a komplexním nástrojem pro výpočet spolehlivosti složitých systému. Je zde vysvětlena vhodnost jejich použití pro obnovované systémy, které mohou obsahovat absorpční stavy. Další kapitola popisuje zálohu systému. Diskutuje výhody a nevýhody statické, dynamické a hybridní zálohy. Také je zde popsán vliv různé úrovně zatížení na životnost součástek. Šestá kapitola je věnována implementaci, popisu aplikace a vstupního souboru ve formátu XML. Jsou zde také diskutovány naměřené výsledky získané při experimentálních výpočtech.
|
|
|
Predikce v projektech s využitím Markovských řetězců
Doležal, Jan ; Buřita, Ladislav (oponent) ; Kreslíková, Jitka (oponent) ; Lacko, Branislav (vedoucí práce)
Tato práce se zabývá možnostmi predikce budoucího vývoje projektů a možnostmi podpory pro rozhodování manažerů takových projektů, což je velmi aktuální téma v současném turbulentním prostředí. Projekt je v rámci této práce chápan jako stochastický proces s diskrétními stavy a diskrétním časem, což je v realitě reprezentováno diskrétními časovými okamžiky zjišťování stavu projektu. Projekt je přirovnám ke konečnému automatu a následně je využit matematický aparát Markovských řetězců. V návrhové části práce je vytvořen stavový model projektu odvozený od stavů metody sledování projektu Earned Value Management a jsou odvozeny pravděpodobnosti přechodu mezi jednotlivými stavy. Následně jsou odvozeny způsoby úprav takového modelu na konkrétní podmínky tak, aby model co nejvěrněji reprezentoval konkrétní situaci. V rámci experimentálního ověření jsou odvozené návrhy za účelem ověření testovány v různých situacích, které mohou během projektů nastat.
|
|
|
Modely hromadné obsluhy
Horký, Miroslav ; Dvořák, Jiří (oponent) ; Šeda, Miloš (vedoucí práce)
V diplomové práci se zabývám modely hromadné obsluhy s využitím Markovových řetězců. Systém hromadné obsluhy je takový systém, kde požadavky přicházejí do tohoto systému v náhodných okamžicích a vyžadují obsluhu. Tato práce se zabývá konkrétně takovými modely hromadné obsluhy, v nichž intervaly mezi příchody požadavků a doby obsluhy požadavků mají exponenciální rozdělení. V teoretické části diplomové práce se věnuji problematice stochastických procesů, systému hromadné obsluhy, klasifikaci systémů hromadné obsluhy a popisu exponenciálních modelů Markovova typu. V praktické části popisuji tvorbu a funkci programu, který řeší simulaci vybraného modelu M/M/m. Na závěr srovnávám výpočty získané analyticky a simulací daného modelu M/M/m.
|
|
|
Systémy diferenčních rovnic aplikovány na Markovovy řetězce
Esterlová, Alena ; Tomášek, Petr (oponent) ; Štoudková Růžičková, Viera (vedoucí práce)
Tato práce se zabývá zkoumáním Markovových řetězců a jejich aplikací v genetice. Konkrétněji je zkoumána konvergence řetězců, a to především pro řetězce o třech stavech. Úvodní kapitola je věnována teorii matic, která se ke studiu Markovových řetezců využívá. Následuje samotný popis Markovových řetězců a jejich teorie. Závěrečná kapitola je věnována příkladům a zkoumání konkrétních řetězců o třech stavech, u kterých nedojde ke konvergenci.
|
|
|
Simulace šíření infekčních onemocnění v lidské populaci
Křištof, Jiří ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této práce je vytvoření epidemiologického modelu pro simulaci šíření infekčního onemocnění covid-19. Vytvořený SVLIHDRS model staví na kompartmentových modelech, implementován je poté jako Markovský řetězec se spojitým časem. Pro realizaci je využit nástroj UPPAAL. Při porovnání výstupů simulace s pozorovanými daty byla určena hodnota Spearmanova koeficientu 0,8940 pro infekční jedince, pro zemřelé 0,9987, průměrné hodnoty biasu jsou poté 12510,7285, respektive 316,2697. Výsledky této práce umožňují provádět dlouhodobou předpověď vývoje epidemie infekce covid-19.
|
|
|
Modelování tenisového zápasu pomocí Markovského řetězce
Walica, Roman ; Hübnerová, Zuzana (oponent) ; Hrabec, Pavel (vedoucí práce)
Tato práce se zabývá aplikací Markovových řetězců v tenisovém odvětví a jejich následnou úpravou na základě formulovaných hypotéz. První část práce popisuje zásady tenisové hry. Ve druhé části se věnujeme pojmům z oblasti statistiky. Tyto pojmy jsou primárně využívány k vytváření a následnému větvení Markovových řetězců. Výsledkem této práce je několik Markovových řetězců pro tenisový game rozdělených dle podání, či příjmu nebo podle druhu povrchu, na kterém se zápas odehrává. Dalšími zmíněnými řetězci jsou pak řetězce pro tiebreak, set a zápas. Na konci práce uvádíme vypočtenou predikci výsledku a doby trvání tenisového zápasu a jeho modelovaných částí.
|
|
|
Markovské procesy (analytický a pravděpodobnostní přístup)
Nováková, Eva ; Janák, Josef (vedoucí práce) ; Maslowski, Bohdan (oponent)
Bakalářská práce se věnuje základům teorie markovských řetězců. První čtyři kapitoly seznamují čtenáře se základními pojmy a tvrzeními o markovských řetězcích, jak se spojitou, tak s diskrétní množinou stavů, ve spojitém i diskrétním čase. V poslední kapitole jsou uvedeny základní příklady jednotlivých typů markovských řetězců. Závěr popisuje souvislosti mezi typy markovských řetězců, zda a jak si jednotlivé definice odpovídají.
|
|
|
Silně stacionární časy a konvergence Markovských řetězců
Suk, Luboš ; Prokešová, Michaela (vedoucí práce) ; Kříž, Pavel (oponent)
V této práci si ukážeme, jak se dá odhadovat rychlost konvergence markovských řetězců k jejich stacionárnímu rozdělení. Budeme k tomu používat metodu využívající silně stacionárních časů. Zaměříme se pouze na nerozložitelné a aperiodické řetězce, u kterých máme zaručenou existenci právě jednoho sta- cionárního rozdělení. Zavedeme si čas mixingu markovského řetězce neboli čas potřebný k tomu, aby marginální rozdělení řetězce bylo dostatečně blízko stacionárnímu. K měření vzdálenosti mezi rozděleními budeme v této práci používat vzdálenost v totální variaci. Hlavním cílem práce bude pro vybrané řetězce zkonstruovat vhodný silně stacionární čas a ten pak použít k nalezení horního odhadu času mixingu.
|
host ::
RSS.