|
|
Modeling and Simulation of Incentive Mechanisms in Ethereum
Burianová, Tereza ; Fiedor, Jan (oponent) ; Perešíni, Martin (vedoucí práce)
The topic of this thesis is the Ethereum incentive mechanism, in particular the changes introduced in EIP-1559. The aim of the thesis is to investigate the behaviour and propose any potential improvements in case of discovered flaws. The previously used first price auction mechanism required users to choose the incentive arbitrarily, which led to overpaying and high fee volatility. These problems occurred mainly due to higher network utilization after the popularization of projects such as decentralized finance, NFT collections, and the metaverse. The new incentive mechanism introduced the variable block size, which can adapt to the current network usage. Base fee, a value that indicates the minimum fee needed to include the transaction in the block, is then calculated based on the utilization of the previous block, making the fees more predictable. Several simulation experiments were proposed to investigate the typical behaviour and possible weaknesses of the mechanism. Finally, a possible improvement was found, and future research was proposed. The goals of the thesis were achieved, and the results were presented in the thesis.
|
|
|
Modelem řízený návrh konferenčního systému
Caha, Matěj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem práce je demonstrovat modelem řízený návrh na případové studii konferenčního systému. Konkrétně zde budou představeny formalismy DEVS a OOPN společně s experimentálními nástroji PNtalk a SmallDEVS, které umožňují práci s těmito formalismy. Výsledný model konferenčního systému bude nasazen jako součást webové aplikace implementované pomocí frameworku Seaside v prostředí Squeak.
|
|
|
AC Drives Modeling in Modelica
Lalović, Goran ; Otava, Lukáš (oponent) ; Václavek, Pavel (vedoucí práce)
This bachelor final project deals with the procedures of physical modeling and simulation of AC drives (electrical machines) in Modelica programing language and environment OpenModelica. First, there is an overview about the general characteristics of the models for basic types of AC machines, Asynchronous and Synchronous Machines, and controller structures in OpenModelica. Then, this bachelor’s thesis concentrates on a behavior comparison of the already existing models in Matlab-Simulink and OpenModelica. The goal of this bachelor’s thesis was making the FMU, translating, simulating and working with models from OpenModelica to Matlab-Simulink. The theoretical description of the electrical machines is mainly based in the first two chapters. This bachelor final project includes the same modeling types of the electrical machines in different modeling languages, OpenModelica and Matlab-Simulink, and compares the simulations results. At the end, it gives some basic information about FMI standard, FMU and talks about translating models from OpenModelica, trough JModelica to Matlab-Simulink.
|
|
|
Numerické metody pro SIMLIB/C++
Němec, Zbyšek ; Martinek, David (oponent) ; Peringer, Petr (vedoucí práce)
Ve své práci se zabývám problematikou užití numerických metod a jejich implementace v objektově orientované simulační knihovně SIMLIB/C++. Navrhnul a realizoval jsem úpravu rozhraní a podsystému numerických integračních metod knihovny SIMLIB s cílem umožnit její snadnější rozšiřitelnost o externí integrační metody. Díky tomu jsem mohl simulační knihovnu SIMLIB obohatit o sadu nových metod z knihovny GSL(GNU Scientific Library) a některé zajímavé metody v jazyce Fortran uvedené v databázi Netlib. Nové i existující metody jsem řádně otestoval a porovnal jejich vlastnosti z hlediska efektivity, stability a přesnosti.
|
|
|
Modernizace GIS systému GRASS
Bartoň, Radek ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Geografický informační systém GRASS se stal za 26 let své existence standardem na poli modelování geografických jevů. Jeho vnitřní struktura však odpovídá době jeho vzniku. Tato práce chce navrhnout možnou podobu modernizace interních částí zavedením komponentní architektury a objektových návrhových vzorů, jakož i podporu distribuovaných výpočtů a dynamických jazyků, ale z~uživatelského pohledu chce ovládání zachovat. Výsledek návrhu je rozveden do prototypové implementace knihovny nazvané GAL Framework.
|
|
|
Akcelerace algoritmu sledování částic v experimentu CBM
Roth, Michael ; Kolář, Martin (oponent) ; Musil, Petr (vedoucí práce)
Cílem této práce je prostudovat metody detekce a rekonstrukce trajektorií částic v experimentu CBM a problematiku akcelerace těchto metod na hardwarových platformách. V práci byly srovnány výhody a nevýhody rozšířených metod a pro další studium byla vybrána metoda rekonstrukce na bázi celulárních automatů a Kalmanových filtrů. Práce se podrobně zabývá zejména vývojem simulačního modelu, vhodného pro generování testovacích dat pro usnadnění budoucí implementace vybraného sledovacího algoritmu. Byly vytvořeny dva odlišné simulátory částic, které budou v navazující práci použity pro výpočet predikčního kroku rozšířeného Kalmanova filtru a testování kvality implementované rekonstrukční metody.
|
|
|
Simulátor celulárních automatů
Martinek, Dominik ; Polášek, Petr (oponent) ; Peringer, Petr (vedoucí práce)
Tato práce popisuje návrh a implementaci simulátoru celulárních automatů. Práce je rozdělena na tři tématické celky. První část obsahuje popis jednotlivých druhů celulárních automatů a jejich použití. Následuje část, ve které je uveden návrh simulátoru celulárních automatů. V poslední části je uveden postup implementace a sada testovacích a ukázkových příkladů.
|
|
|
Nákladový model životního cyklu bytového domu
Galatíková, Milada ; Bradáč, Albert (oponent) ; Comorek,, Martin (oponent) ; Heralová,, Renáta Schneiderová (oponent) ; Marková, Leonora (vedoucí práce)
Disertační práce Nákladový model životního cyklu bytového domu zahrnuje proces modelování od jeho definování v teoretické úrovni až po jeho testování pro praktické využití, měření jeho chyby a vypovídací schopnosti. Cílem je sestavit model pro simulace cen bytových domů ve fázi jejich pořízení a následně pro simulaci nákladů životního cyklu při předem definovaných podmínkách. Metodou pro tvorbu modelu bude stanovení vhodného reprezentanta, nastavení vstupních parametrů a definování podmínek za jakých bude fungovat. Posledním krokem bude otestovat vytvořený model a zjistit jeho chyby. Sestavení modelu bude vycházet z matematicko – statistických metod. Další výzkumnou metodou bude vytvoření několika případových studií, které budou nákladový model dále upravovat a rozšiřovat jeho využitelnost.
|
|
|
Akcelerace algoritmu sledování částic v experimentu CBM
Roth, Michael ; Kolář, Martin (oponent) ; Musil, Petr (vedoucí práce)
Cílem této práce je prostudovat metody detekce a rekonstrukce trajektorií částic v experimentu CBM a problematiku akcelerace těchto metod na hardwarových platformách. V práci byly srovnány výhody a nevýhody rozšířených metod a pro další studium byla vybrána metoda rekonstrukce na bázi celulárních automatů a Kalmanových filtrů. Práce se podrobně zabývá zejména vývojem simulačního modelu, vhodného pro generování testovacích dat pro simulaci vybraného sledovacího algoritmu a vlastní rekonstrukční program, který byl následně paralelizován pomocí technologií distribuovaného počítání. Byly vytvořeny dva odlišné simulátory částic, jeden z nichž byl použit pro výpočet predikčního kroku Rozšířeného Kalmanova Filtru (EKF) a jeden pro generování testovacích dat pro vlastní rekonstrukční algoritmus. Pomocí správného rozdělení úkolů se podařilo distribuovaným algoritmem získat téměř osmisetprocentní zvýšení rychlosti a v některých případech i snížení paměťové náročnosti až o čtyři řády.
|
|
|
Akcelerace algoritmu sledování částic v experimentu CBM
Roth, Michael ; Kolář, Martin (oponent) ; Musil, Petr (vedoucí práce)
Cílem této práce je prostudovat metody detekce a rekonstrukce trajektorií částic v experimentu CBM a problematiku akcelerace těchto metod na hardwarových platformách. V práci byly srovnány výhody a nevýhody rozšířených metod a pro další studium byla vybrána metoda rekonstrukce na bázi celulárních automatů a Kalmanových filtrů. Práce se podrobně zabývá zejména vývojem simulačního modelu, vhodného pro generování testovacích dat pro usnadnění budoucí implementace vybraného sledovacího algoritmu. Byly vytvořeny dva odlišné simulátory částic, které budou v navazující práci použity pro výpočet predikčního kroku rozšířeného Kalmanova filtru a testování kvality implementované rekonstrukční metody.
|
host ::
RSS.