|
|
Distributed Systems Simulation
Ďuriš, Anton ; Šeda, Miloš (oponent) ; Matoušek, Radomil (vedoucí práce)
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are increasingly being implemented in applications and computing systems, where their task is to ensure sufficient performance and stability for a large number of its users. When modeling a distributed systems, stochastic behavior of Petri nets is important, which will provide more realistic simulations. Therefore, this thesis focuses mainly on timed Petri nets. The theoretical part of this thesis summarizes distributed systems, their properties, types and available architectures, as well as Petri nets, their representation, types and the principle of an operation. In the practical part, two models were implemented, namely a horizontally scaled web application divided into several services with a distributed database and a large grid computing system, more precisely the BOINC platform with the Folding@home project. Both models were implemented using the PetNetSim library of Python. The goal of this thesis is to perform simulations on the created models for different scenarios of their behavior.
|
|
|
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í.
|
|
|
Distributed Systems Simulation
Ďuriš, Anton ; Šeda, Miloš (oponent) ; Matoušek, Radomil (vedoucí práce)
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are increasingly being implemented in applications and computing systems, where their task is to ensure sufficient performance and stability for a large number of its users. When modeling a distributed systems, stochastic behavior of Petri nets is important, which will provide more realistic simulations. Therefore, this thesis focuses mainly on timed Petri nets. The theoretical part of this thesis summarizes distributed systems, their properties, types and available architectures, as well as Petri nets, their representation, types and the principle of an operation. In the practical part, two models were implemented, namely a horizontally scaled web application divided into several services with a distributed database and a large grid computing system, more precisely the BOINC platform with the Folding@home project. Both models were implemented using the PetNetSim library of Python. The goal of this thesis is to perform simulations on the created models for different scenarios of their behavior.
|
|
|
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í.
|
|
|
Statistická fyzika frustrovaných evolučních her
Pištěk, Miroslav ; Janiš, Václav (oponent) ; Slanina, František (vedoucí práce)
1 Název práce: Statistická fyzika frustrovaných evolučních her Autor: Miroslav Pištěk Katedra: Ústav teoretické fyziky Vedoucí diplomové práce: RNDr. František Slanina, CSc. E-mail vedoucího: slanina@fzu.cz Abstract: V posledních dvou desetiletích narůstá zájem o mezioborový výzkum alokace omezených zdrojů. Zabývá se komplexními jevy jako jsou akciové trhy nebo dopravní zácpy. Menšinová hra je multiagentním modelem frustrace vznika- jící v obdobných situacích. Je analyticky rešitelná s použitím metody replik vyvinuté v rámci statistické fyziky spinových skel. Menšinovou hru jsme zobec- nili zavedením heterogenních agentů. Díky tomu výrazně poklesla frustrace průměrného agenta. Pro mnoho konfigurací jsme obdrželi dokonce hru s klad- ným součtem. To je v původní variantě Menšinové hry neuskutečnitelné. Získaný výsledek je v kvalitativní shodě s daty z reálných akciových trhů. Klíčová slova: frustrované evoluční hry, Menšinová hra, metoda replik
|
|
|
Market making jako obchodní strategie
Čamaj, Matej ; Stádník, Bohumil (vedoucí práce) ; Fičura, Milan (oponent)
Tato diplomová práce se zabýva analýzou obchodní strategie market making a možností jejího využití pro účely intradenního obchodovaní na trzích, kde obchodovaní probíha přes centralní limitní objednávkovou knihu. V teoretické části je dokázano, že za splnění určitých podmínek by měla být specifikována strategie zisková a dále skoumáme vliv jednotlivých parametrů na ziskovost této strategie s využitím jednorozměrných stochastických procesů. Následně uvolníme předpoklad konstatní férové ceny, což vede k výraznému znížení ziskovosti obou strategií. Protože použítí jednorozměrných stochastických procesů neodráží cenotvorbu na reálných trzích, v další kapitole navrhujeme stochastický model pro intradenní obchodování. Výhodou tohoto přístupu je, že v každém okamžiku po dobu obchodování můžeme pozorovat stav centrální limitní objednávkové knihy a tudíž lépe simulovat podmínky pro testování strategií. I když navrhnutý model vykazuje mnoho jevů pozorovaných v empirických datech jako například shlukování volatility, v některých situacích dochází k nereálně vysokému spreadu, což je spůsobeno stavbou modelu, kdy příchozí tržní a limitní objednávky jsou modelovány jako nezávislé procesy. Rovnež nevýhodou tohoto přístupu je poměrně vysoká náročnost na vstupní data potřebné pro kalibraci modelu a vysoká citlivost modelu na změnu parametrů. Následně testujeme tři specifikace market making strategie pří různych volbách parametrů modelu a ukazujeme, že očekávaná ziskovost je pozitivní ve všech případech.
|
|
|
Testy hypotéz o parametru obecného exponenciálního modelu
Fajfrová, Lucie
Příspěvek se věnuje problému testování hypotéz o parametru v rodinách stochastických procesů, které lze popsat hustotou exponenciálního typu vzhledem k nějaké referenční míře. Zaměříme se na testové statistiky odvozené z informačních vzdáleností nazývaných Rényiho. Cílem příspěvku je především ilustrovat problematiku na příkladech známých procesů.
|
|
|
Markovská vlastnost trhu s limitními objednávkami
Šmíd, Martin
V práci je fomulován přesný matematický popis trhu s limitními objednávkami (stav trhu je popisován pomocí atomické míry). Dále jsou formulovány postačující podmínky pro to, aby byl vývoj trhu Markovský: tato vlastnost je garantována tehdy, pokud agenti buď jednají zcela náhodně nebo nebo jsou jejich akce závislé pouze na aktuálním stavu trhu a externím náhodném elementu.
|
|
| |
|
|
Simulace stochastických modelů hromadné obsluhy
Slámová, Kateřina ; Jablonský, Josef (vedoucí práce) ; Kuncová, Martina (oponent)
Práce vystihuje teoretické poznatky z oblasti teorie hromadné obsluhy a simulace a následně jsou aplikovány poznatky do praxe. Pro případovou studii je využíván simulační software Simul8 a podpůrný program Crystal Ball, pomocí nichž je vytvořen model. Cílem je navrhnout nejlepší řešení daného problému a zhodnotit systém z hlediska struktury a funkčnosti. S modelem je provedeno několik experimentů a následně je posouzena vhodnost či nevhodnost použití jednotlivých variant.
|
host ::
RSS.