|
|
Mobile Cryptocurrency Wallet Based on zk-SNARKs and Smart Contracts
Slávka, Samuel ; Perešíni, Martin (oponent) ; Homoliak, Ivan (vedoucí práce)
The goal of this thesis is to propose and implement a framework for cryptocurrency wallets. The framework optimizes light client storage and bandwidth requirements in mobile devices. We propose a side-chain mechanism that validates blockchain header chains and creates zero-knowledge proofs. Furthermore, the framework stores the results of proof verification inside an Ethereum Smart contract. The Smart contract supports fork handling and storing header chains for multiple different blockchains. Light mobile clients using this framework can update their local header chain from checkpoints created by the proof verifications results stored in the Smart Contract. This thesis includes an implementation of a mobile wallet using this framework for synchronization with multiple blockchains.
|
|
|
Modelování a identifikace středověkého katapultu
Štupák, Jakub ; Křivánek, Václav (oponent) ; Grepl, Robert (vedoucí práce)
Táto práca sa zoberá modelovaním a optimalizáciou stredovekého trebuchetu a niekoľkých zjednodušených variánt tohoto systému. Prvá časť obsahuje informácie o podobných obliehacích strojoch, ako aj princíp fungovania stredovekého trebuchetu a ich historicky používané parametre. V praktickej časti boli vytvorené 4 modely trebuchetu s rôznou mierou zjednodušenia ich pohybu. Následne bola zistená veľkosť dostrelu a efektivity týchto modelov v závislosti na ich parametroch. Taktiež boli tieto parametre optimalizované pre dosiahnutie maximálneho dostrelu. Získané výsledky boli medzi jednsotilvými modelmi porovnané. V poslednej časti bol vytvorený reálny zmenšený model trebuchetu, a jeho pohyb bol porovnaný s pohybom počítačového modelu. Pomocou tohto počítačového modelu boli taktiež získané optimálne parametre tohto systému pre dosiahnutie maximálneho dostrelu.
|
|
|
Performance Analysis Based on Noise Injection
Liščinský, Matúš ; Malík, Viktor (oponent) ; Fiedor, Tomáš (vedoucí práce)
In this work, we proposed a Perun-Blower framework which utilises the perfblowing technique: injecting of noise into the functions of the tested program, followed by collecting of runtime data of these functions from the program run and evaluating the impact of the noise on the program performance. We build on the dynamic binary instrumentation of the Pin framework to inject the noise into program. We then focus on finding functions with high impact on performance as well as estimate the thread run's potential acceleration when optimising the particular functions. Moreover, we have extended the existing Trace collector used in the Perun framework to collect the runtime of functions with a new so-called engine based on the Pin framework. We tested the functionality of our implementation on two non-trivial projects, where we were able to find functions (1) with considerable impact on performance, (2) with the most significant optimisation benefit, and (3) whose degradation forces the non-termination of the program after several hours of running.
|
|
|
Evolutionary Design of Ultrasound Treatment Plans
Masárová, Mária ; Sekanina, Lukáš (oponent) ; Jaroš, Jiří (vedoucí práce)
The use of focused ultrasound helps save and facilitate human lives, as it can be used to treat epilepsy, destroy cancer cells and stop internal bleeding in a non-invasive way, which is a more acceptable and safer solution for humans. Given that human safety and health is a priority in the treatment of serious diseases, this work deals with the comparison of different evolutionary algorithms and their use in the design of evolutionary ultrasound treatment plans. Two types of media are used in this work, namely homogeneous medium and heterogeneous medium. When evaluating algorithms, we focus on efficiency with respect to the size of the population, number of fitness function evaluations and computational time. In a homogeneous medium, CMA-ES proved to be the best algorithm, which was able to find the optimal solution with a 100% coverage of the target area for a rotated grain of rice within 20 seconds. However, the heterogeneous medium is a much more complex problem, mainly due to the skull, which reflects and absorbs much of the ultrasound. Here, the SA algorithm proved to be the best, finding the result with a 23% coverage of the target area in the first test scenario. The calculation time took about 1 hour and 18 minutes, which means that time is a very prohibitive factor.
|
|
|
Optimalizační modely finančních rizik
Danko, Erik ; Cabalka, Matouš (oponent) ; Popela, Pavel (vedoucí práce)
Táto práca sa zaoberá optimalizačnými modelmi finančných rizík. V prvej časti, ktorá je venovaná teoretickým východiskám, sú predstavené základné pojmy optimalizácie, modernej teórie portfólia, fundamentálnej a technickej analýzy a vybrané štatistické pojmy. Predstavené sú základné princípy fungovania modernej teórie portfólia. V kapitole použité metódy a ich zdvôvodnenie bola použitá metóda pre analýzu a výber aktív Growth at A Reasonable Price (rast za rozumnú cenu) a metódy optimalizácie portfólia podľa Harryho Markowitza s vybranými prístupmi. Praktická časť je orientovaná na analýzu, výber aktív a zostavenie modelu optimalizácie portfólia podľa vybraných podmienok s dôrazom na minimalizáciu investičného rizika. Použité modely skúmajú zvolené dáta a sú riešené pomocou MS Excel doplnok Riešiteľ.
|
|
|
Návrh interiérového svítidla
Klement, Roman ; Florián, Michal (oponent) ; Škoda, Jan (vedoucí práce)
Diplomová práca sa zaoberá návrhom virtuálneho prototypu svietidla. Pomocou vhodných softvérových nástrojov je vytvorená a optimalizovaná optika svietidla, svietidlo je simulované v interiéri a sú vyhodnotené jeho svetelné parametre. Nakoniec je vytvorená vhodná konštrukcia.
|
|
|
Optimalizace spouštěcích konfigurací k-Wave úloh
Sasák, Tomáš ; Jaroš, Marta (oponent) ; Jaroš, Jiří (vedoucí práce)
Táto práca sa zaoberá plánovaním, resp. správnym odhadom spúšťacích konfigurácií úloh k-Wave na superpočítačoch infraštruktúry IT4Innovations. Presnejšie pre klastre Salomon a Anselm. Úloha predstavuje množinu simulácií, kde každá simulácia je spúšťaná pod toolboxom k-Wave. Pre spustenie jednotlivých simulácií je nutné správne vytvoriť konfiguráciu, ktorá sa skladá z množstva zdrojov (počet výpočtových uzlov, resp. jadier) a času rezervácie superpočítača, čo je pre neskúseného zložité odhadnúť. Zvolený problém odhadu je riešený na základe empirických dát, ktoré boli získané viacnásobným spúšťaním rôznych množín simulácií na klastroch. Tieto dáta sú uložené a spracované aproximátormi, ktoré konkrétne vykonávajú odhad týchto parametrov na základe metód interpolácie a regresie. V práci je popísaný a bol implementovaný systém predstavujúci plánovač, ktorý predstavuje rozhranie pre odhad. Experimentovaním bolo zistené že pre tento špecifický problém najpresnejšie odhady vykonáva trojica Akima spline, PCHIP interpolácia a kubický spline. Výsledky tejto práce umožňujú vykonávať istý odhad exekučného času a počtu vlákien pre ľubovolné simulácie automaticky a bez znalosti kódu k-Wave.
|
|
|
Optimalizace procesů v logistice s podporou vizualizace
Kršák, Martin ; Bidlo, Michal (oponent) ; Křivka, Zbyněk (vedoucí práce)
Cielom diplomovej prace je navrh, implementacia a porovnanie algoritmov, ktore optimalizuju procesy v logistike, prevazne v planovacej casti. Algoritmy pomocou heuristik a aproximacneho genetickeho algoritmu najdu takmer optimalne riesenie NP-tazkeho problemu, podobneho problemu obchodneho cestujuceho s oneskorenim niekolkych hodin. Ulohou tychto algoritmov je planovanie efektivnej trasy smetiarskym vozidlam, ktore zvazaju a rozvazaju velkoobjemny odpad do zbernych stredisk v konkretnom meste. Cielom optimalizacie je minimalizacia nakladov na dopravu.
|
|
|
Optimalizace algoritmu pro detekci G-kvadruplexů
Labudová, Dominika ; Martínek, Tomáš (oponent) ; Hon, Jiří (vedoucí práce)
Detekcia G-kvadruplexov v DNA bola v posledných rokoch cieľom viacerých štúdií. Dôsledkom bol vznik viacerých identifikačných nástrojov. Táto bakalárska práca sa zameriava na analýzu a optimalizáciu nástroja pqsfinder ako aj vytvorenie užívateľského rozhrania pre tento nástroj. Optimalizácia poskytla významný nárast v rýchlosti algoritmu a taktiež jeho schopnosti spracovávať dlhé DNA sekvencie. Užívateľské rozhranie bolo navrhnuté a implementované za použitia moderných a efektívnych technológií s dôrazom na užívateľskú prívetivosť webovej aplikácie.
|
|
|
Ant colony optimization
Kovács, Peter ; Pangrác, Ondřej (vedoucí práce) ; Balko, Martin (oponent)
V práci sa venujem porovnávaniu metaheuristiky Ant Colony s inými metaheuristikami ako Simulated Annealing, Tabu Search alebo hladné al- goritmy. Metaheuristiky som porovnával na probléme obchodného cestujú- ceho, pri ofarbovaní grafu a množinovom pokrytí. V práci sú podrobne rozo- braté implementácie metaheuristík na jednotlivé problémy. Pri porovnávaní je braná do úvahy hlavne výsledná cenu riešenia, ale aj čas. V práci je snaha identifikovať, v ktorých prípadoch je vhodné použiť Ant Colony. Ant Colony v prípade množinového pokrytia a problému obchodného cestujúceho funguje spoľahlivo pri veľkých instanciách.
|
host ::
RSS.