|
|
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.
|
|
|
Laboratorní úlohy pro přípravek Amira DTS200
Sikora, Jan ; Pohl, Lukáš (oponent) ; Blaha, Petr (vedoucí práce)
V práci je představen model Amira DTS 200. Jde o soustavu 3 spojených nádob, čerpadel a tlakový snímačů výšky hladiny. Na přípravku je sestaveno několik úloh na identifikaci a na regulaci hladiny. Systém je modelován a regulován v Simulinkovém schématu. Regulace probíhá v reálném čase pomocí Matlab Real-time toolboxu. Soustava je identifikována analýzou fyzikálních rovnic a jejich převodem do Simulinkových bloků. Některé neznámé parametry jsou experimentálně změřeny. Při regulaci se řeší linearizace, různé základní metody návrhu regulátorů a jejich použití. Některé úlohy obsahují několik kontrolních otázek pro studenty.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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ů.
|
|
|
Laboratorní úlohy pro přípravek Amira DTS200
Sikora, Jan ; Pohl, Lukáš (oponent) ; Blaha, Petr (vedoucí práce)
V práci je představen model Amira DTS 200. Jde o soustavu 3 spojených nádob, čerpadel a tlakový snímačů výšky hladiny. Na přípravku je sestaveno několik úloh na identifikaci a na regulaci hladiny. Systém je modelován a regulován v Simulinkovém schématu. Regulace probíhá v reálném čase pomocí Matlab Real-time toolboxu. Soustava je identifikována analýzou fyzikálních rovnic a jejich převodem do Simulinkových bloků. Některé neznámé parametry jsou experimentálně změřeny. Při regulaci se řeší linearizace, různé základní metody návrhu regulátorů a jejich použití. Některé úlohy obsahují několik kontrolních otázek pro studenty.
|
host ::
RSS.