|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (referee) ; Malinka, Kamil (advisor)
V posledných rokoch sa vo výskumnej komunite venuje blockchainu významná pozornosť. Odvtedy bolo navrhnutých niekoľko návrhov na riešenie problému priepustnosti blockchainov založených na Proof-of-Work. V tejto práci študujeme existujúce návrhy blockchainu s acyklicky orientovaným grafom (DAG), ktoré navrhujú riešenie spomínaného problému, najmä protokol PHANTOM (a jeho optiamlizácia GHOSTDAG). Využívajú bitcoinový protokol a navrhujú náhodný výber transakcií, čo vedie k zvýšeniu priepustnosti transakcií. Simuláciou sa však dokázalo, že aktéri, ktorí využívajú stratégiu náhodného výberu transakcií, majú menší zisk ako aktéri, ktorí nedodržiavajú protokol a vyberajú transakcie racionálne (t.j. najziskovejšie). Tento dôkaz bol vykonaný na malej sieti desiatich uzlov s kruhovou topológiou. Cieľom tohto článku je rozšíriť, optimalizovať a automatizovať existujúci simulátor blockchainu. Implementujeme sieťovú topológiu podobnú bitcoinu s realistickou latenciou šírenia blokov. Okrem toho optimalizujeme simulátor tak, aby sme mohli spúšťať viac simulácií paralelne a rýchlejšie, vrátane automatizačných nástrojov, ktoré môžu upravovať vstupné konfigurácie, vykonávať kombináciu simulácii na viacerých jadrách CPU na základe vstupných parametrov a analyzovať zisky a kolízie transakcií. Nakoniec vykonáme experimenty na overenie výhod škodlivých aktérov v sieti podobnej Bitcoinu a vytvoríme výplatnú funkciu na potrestanie tohto správania.
|
|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (referee) ; Malinka, Kamil (advisor)
V posledných rokoch sa vo výskumnej komunite venuje blockchainu významná pozornosť. Odvtedy bolo navrhnutých niekoľko návrhov na riešenie problému priepustnosti blockchainov založených na Proof-of-Work. V tejto práci študujeme existujúce návrhy blockchainu s acyklicky orientovaným grafom (DAG), ktoré navrhujú riešenie spomínaného problému, najmä protokol PHANTOM (a jeho optiamlizácia GHOSTDAG). Využívajú bitcoinový protokol a navrhujú náhodný výber transakcií, čo vedie k zvýšeniu priepustnosti transakcií. Simuláciou sa však dokázalo, že aktéri, ktorí využívajú stratégiu náhodného výberu transakcií, majú menší zisk ako aktéri, ktorí nedodržiavajú protokol a vyberajú transakcie racionálne (t.j. najziskovejšie). Tento dôkaz bol vykonaný na malej sieti desiatich uzlov s kruhovou topológiou. Cieľom tohto článku je rozšíriť, optimalizovať a automatizovať existujúci simulátor blockchainu. Implementujeme sieťovú topológiu podobnú bitcoinu s realistickou latenciou šírenia blokov. Okrem toho optimalizujeme simulátor tak, aby sme mohli spúšťať viac simulácií paralelne a rýchlejšie, vrátane automatizačných nástrojov, ktoré môžu upravovať vstupné konfigurácie, vykonávať kombináciu simulácii na viacerých jadrách CPU na základe vstupných parametrov a analyzovať zisky a kolízie transakcií. Nakoniec vykonáme experimenty na overenie výhod škodlivých aktérov v sieti podobnej Bitcoinu a vytvoríme výplatnú funkciu na potrestanie tohto správania.
|
|
| |
|
|
Comparison of static physical attractiveness and attractiveness of nonverbal behavior in women
Hladký, Tomáš ; Binter, Jakub (advisor) ; Bártová, Klára (referee)
The method of physiological measurement of sexual arousal to erotic stimuli is often used in sexological research. However, there is no concept of form of these stimuli to induce maximum possible sexual response from a person. It seems that female static physical attractiveness is an important factor in perception of the female, but it could be also female nonverbal behavior, dynamic attractiveness, which could influence perception and which could either enhance of reduce the overall attractiveness of a female. In the whole concept of attractiveness, there could be two components: "physical attractiveness" and "sexual desirability". In this diploma thesis, we address this problem and we compared static and dynamic stimuli with focus on specific behavior. The study had two parts. We used photographs of clothed and naked women and videos of castings of potential actresses in erotic movies; materials are available online for free. In the study I we used 90 photographs of faces and clothed bodies and found that there is a difference between physical attractiveness and sexual desirability. Moreover, face was a predictor of physical attractiveness and body was a predictor of sexual desirability. In study II we used sexually explicit videos and found that nonverbal behavior has just a minor influence on...
|
|
| |
|
|
Financial analysis of LAPEK a.s.
Hladký, Tomáš ; Staňková, Anna (advisor) ; Marek, Petr (referee)
This thesis's objective is to analyse financial health of LAPEK, a.s. The sources used for this analysis are financial statements from the period 2009 to 2013 posted at www.justice.cz. Financial health as a whole is assessed in compliance with several aspects of financial health; these are effectiveness, liquidity, solvency, activity and stability. The applied ratios are later used in two models -- bankruptcy model IN 95 and creditworthy Model of financial health. This thesis is divided into two parts. The first part is theoretical, it consists of descriptions of sources, users and methodology, and furthermore it contains a catalogue of ratios used in the practical part. The second part is focused on the financial analysis itself and it assesses the financial health based on bankruptcy and creditworthy model.
|
guest ::
