|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (oponent) ; Malinka, Kamil (vedoucí práce)
In recent years, blockchain has received significant attention in the research community. Since then, several submissions have been proposed to respond to the Proof-of-Work blockchains throughput problem. We study existing Directed Acyclic Graph (DAG) blockchain designs that propose to solve this problem, especially protocols PHANTOM and its optimization GHOSTDAG. They utilize a Bitcoin protocol and propose a random transaction selection, resulting in increased transaction throughput. However, it has been proved by a simulation that actors that use the random transaction selection strategy have less profit than actors who do not follow the protocol and select transactions rationally (i.e., most profitable). That proof has been made on a small network of ten nodes with a circle topology. This article aims to extend, optimize, and automate an existing blockchain simulator. We implement a Bitcoin-like network topology with realistic block propagation latency. Furthermore, we optimize the simulator to run more simulations in parallel and faster, including automation tools that can modify input configurations, perform a combination of runs on multiple CPU cores based on input parameters, and analyze profits and transaction collisions. Finally, we perform experiments to verify malicious actors' advantages in a Bitcoin-like network and create a payoff function to punish this behavior.
|
|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (oponent) ; Malinka, Kamil (vedoucí práce)
In recent years, blockchain has received significant attention in the research community. Since then, several submissions have been proposed to respond to the Proof-of-Work blockchains throughput problem. We study existing Directed Acyclic Graph (DAG) blockchain designs that propose to solve this problem, especially protocols PHANTOM and its optimization GHOSTDAG. They utilize a Bitcoin protocol and propose a random transaction selection, resulting in increased transaction throughput. However, it has been proved by a simulation that actors that use the random transaction selection strategy have less profit than actors who do not follow the protocol and select transactions rationally (i.e., most profitable). That proof has been made on a small network of ten nodes with a circle topology. This article aims to extend, optimize, and automate an existing blockchain simulator. We implement a Bitcoin-like network topology with realistic block propagation latency. Furthermore, we optimize the simulator to run more simulations in parallel and faster, including automation tools that can modify input configurations, perform a combination of runs on multiple CPU cores based on input parameters, and analyze profits and transaction collisions. Finally, we perform experiments to verify malicious actors' advantages in a Bitcoin-like network and create a payoff function to punish this behavior.
|
|
| |
|
|
Porovnání statické fyzické atraktivity a atraktivity neverbálního chování u žen
Hladký, Tomáš ; Binter, Jakub (vedoucí práce) ; Bártová, Klára (oponent)
V sexuologických výzkumech se často využívá fyziologického měření pohlavní vzrušivosti v reakci na sexuální podněty (stimuly). Neexistuje však popis prvků v těchto stimulech, jejichž využití by umožnilo maximální možnou odpověď. Statická fyzická atraktivita ženy se jeví jako velmi důležitý prvek při jejím posuzování, avšak do celkového dojmu může vstupovat i neverbální chování, tedy dynamická atraktivita, která dokáže celkovou atraktivitu ženy zvýšit či naopak snížit. Do celkového konceptu tak mohou vstupovat dva prvky: "fyzická atraktivita" a "sexuální přitažlivost". Výzkum a porovnání statických stimulů a zjištění vzrušivých prvků ve stimulech dynamických jsme adresovali v této diplomové práci. Studie byla rozdělena na dvě části. Jako stimuly jsme použili fotografie oblečených i nahých žen a rovněž castingová videa do snímků pro dospělé, která jsou volně dostupná na internetu. Za použití 90 fotografií obličejů a oblečených žen jsme ve studii I zjistili, že existuje rozdíl mezi fyzickou atraktivitou a sexuální přitažlivostí. Navíc obličej byl prediktorem fyzické atraktivity a tělo prediktorem sexuální přitažlivosti. Ve studii II jsme za použití sexuálně explicitních videí zjistili, že neverbální chování má pouze malý vliv na sexuální přitažlivost a nejdůležitějším prvkem je tak právě fyzická...
|
|
| |
|
|
Finanční analýza pekárny LAPEK, a.s.
Hladký, Tomáš ; Staňková, Anna (vedoucí práce) ; Marek, Petr (oponent)
Tato práce si klade za cíl analyzovat finanční zdraví podniku LAPEK, a.s. Zdrojem pro tuto analýzu jsou veřejně dostupné účetní závěrky za roky 2009-2013 zveřejňované na portálu www.justice.cz. Finanční zdraví podniku jako celek je hodnoceno na základě několika aspektů, těmito jsou výkonnost, likvidita, solventnost, aktivita a stabilita. Použité poměrové ukazatele pak slouží jako vstupní data pro dva modely -- bankrotní model IN 95 a bonitní Model finančního zdraví. Tato práce je rozdělena do dvou částí. První část je teoretická, obsahuje především zdroje, uživatele, metody finanční analýzy a výčet použitých ukazatelů. Druhá, praktická část, obsahuje samotnou finanční analýzu a je zastřešena bankrotním a bonitním modelem.
|
host ::
RSS.