|
|
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.
|
|
|
Aerodynamická analýza a návh úprav přechodu křídlo-trup letounu L 410 NG
Derevjanik, Šimon ; Pejchar, Jan (oponent) ; Popela, Robert (vedoucí práce)
Táto diplomová práca sa zaoberá CFD analýzou prechodových krytov letúna L 410 NG a návrhom úprav. Kalibračná úloha riešená v úvodnej časti slúži ako prostriedok pre validáciu výsledkov a oboznámenie sa s metodikou CFD. Jadrom práce je analýza prúdového poľa na letúni L 410 NG, zahŕňajúca detaily tvorby modelu, výpočtovej siete a výsledného vyhodnotenia. Nadväzujúcu časť práce tvorí vývoj a aerodynamická analýza modifikovanej geometrie. Záverom sú porovnané obidve varianty geometrie.
|
|
|
Vysoce náročné aplikace na svazku karet Intel Xeon Phi
Kačurik, Tomáš ; Hrbáček, Radek (oponent) ; Jaroš, Jiří (vedoucí práce)
Táto práca sa zaoberá implementáciou a optimalizáciou vysoko náročných aplikácií na zväzku Intel Xeon Phi koprocesorov. Na dvoch prístupoch k riešeniu N-Body problému boli demonštrované možnosti behu programov na zväzku procesorov, koprocesorov a s využitím oboch typov zariadení. Zvolené boli dva verzie N-Body problému - naivná a Barnes-hut. Oba problémy boli implementované a optimalizované. Práca tiež zachytáva proces optimalizácie a zmeny vo výkone po aplikovaní jednotlivých optimalizácií. Pre lepšie porovnanie dosiahnutých výkonov sme porovnávali programy na základe dosiahnutého zrýchlenia voči behu programu na jednom výpočtovom uzle pri využití len procesorov. V prípade naivnej verzie bolo dosiahnuté 15 násobné zrýchlenie pri využití procesorov a koprocesorov na 8 výpočtových uzloch. Výkon dosiahnutý v tomto prípade predstavoval 9 TFLOP/s. Na základe dosiahnutých výsledkov sme v závere zhodnotili výhody a nevýhody pri behu programov v distribuovanom prostredí na procesoroch, koprocesoroch alebo s využitím oboch typov zariadení.
|
|
|
Model tranzistoru MOSFET v programu SystemVision
Michálek, Branislav ; Brančík, Lubomír (oponent) ; Kolka, Zdeněk (vedoucí práce)
Táto bakalárska práca sa zaoberá modelovaním tranzistora MOS. Súčasťou teoretickej časti sú rozbor základnej štruktúry a fungovania MOS tranzistora, základy modelovania vo všeobecnosti, popis SPICE modelov LEVEL1 a LEVEL3 a spôsob získavania modelových parametrov pomocou optimalizačnej metódy. Realizačná časť je venovaná vytvoreniu statických modelov pre DC analýzu troch konkrétnych tranzistorov v podobe netlistu pre simulátory SPICE s použitím parametrov, ktoré boli získané optimalizačnou metódou v programe Matlab. Platnosť realizovaných modelov je následne overená porovnaním ich simulovaných charakteristík v programe SystemVision s charakteristikami uvedenými v datasheetoch tranzistorov.
|
|
|
Hardwarová akcelerace útoku na šifrování
Okuliar, Adam ; Slaný, Karel (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Hardwarová akcelerácia výpočtu býva často vhodným nástrojom ako docieliť výrazne lepšieho výkonu pri spracovávaní veľkého množstva dát alebo pri realizácii algoritmu ktorý je možné dobre paralelizovať. Cieľom práce je demonštrovať výsledky použitia FPGA obvodov na implementáciu algoritmu s exponenciálnou zložitosťou. Zvoleným algoritmom je útok hrubou silou na šifrovací algoritmus WEP so 40 bitovým klúčom. Účelom práce je porovnať vlastnosti a výkon softwarovej a hardwarovej implementácie algoritmu.
|
|
|
Optimalizace hlubokých neuronových sítí
Bažík, Martin ; Wiglasz, Michal (oponent) ; Sekanina, Lukáš (vedoucí práce)
Cieľom tejto bakalárskej práce bolo navrhnúť, implementovať a analyzovať rôzne optimalizácie vybraných hlbokých neurónových sietí. Ich účelom bolo zlepšenie sledovaných parametrov neurónovej siete. Implementované optimalizácie spočívajú v práci s reprezentáciou dát využívaných operáciami neurónovej siete a hľadaní najlepšej kombinácie jej hyper-parametrov. Jednotlivé optimalizácie boli prevedené na konvolučných neurónových sieťach založených na architektúre LeNet-5 pri využití dátových sád MNIST, CIFAR-10 a SVHN. Implementácia a následná optimalizácia neurónových sietí boli prevedené využitím knižnice Tiny-dnn v programovacom jazyku C++.
|
|
|
Tvarová optimalizace difuzoru vodní turbíny
Hliník, Juraj ; Popela, Pavel (oponent) ; Rudolf, Pavel (vedoucí práce)
Cieľom tejto bakalárskej práce je prepojenie matematickej optimalizácie s výpočtovým softvérom za účelom aplikácie v tvarovej optimalizácii v mechanike tekutín. Úloha je implementovaná na problém tvarovej optimalizácie koncového difúzora vírovej turbíny a je stanovený predpoklad o jeho rotačnej symetrickosti. Proces optimalizácie je realizovaný pomocou algoritmov Nelder-Mead a BFGS, ktorému predchádza istý matematický základ k danej problematike. Snahou mojej bakalárskej práce bolo maximalizovanie koeficientu tlakovej regenerácie prostredníctvom vyššie spomenutých algoritmov, ktorých implementácia prebehla v softvéri Matlab.
|
|
|
Asistovaná vektorizace a paralelizace kódu pomocí standardu OpenMP 4.0
Slouka, Lukáš ; Nikl, Vojtěch (oponent) ; Jaroš, Jiří (vedoucí práce)
Predmetom bakalárskej práce je optimalizácia kódu pomocou štandardu OpenMP 4.0, ktorý poskytuje prostriedky pre asistovanú paralelizáciu a vektorizáciu. Okrem popisu štandardu OpenMP 4.0 práca obsahuje aj náhľad do architektúr moderných počítačov a to najmä systému rýchlych vyrovnávacích pamätí a modulov SSE/AVX, ktoré hrajú veľmi významnú rolu v oblasti optimalizácie. Práca demonštruje výhody optimalizovaného kódu pomocou štandardu OpenMP 4.0 oproti neoptimalozavanému kódu na sade benchmarkov zameraných na rôzne aspekty optimalizácie.
|
|
|
Zefektívnenie prenosu elektronickej pošty pomocou pluginu pre Microsoft Exchange
Jakubis, Tomáš ; Homoliak, Ivan (oponent) ; Kováčik, Michal (vedoucí práce)
Tento projekt se zaoberá optimalizáciu e-mailu a SMTP prevádzkou v proprietárnom produkte Microsoft Exchange 2013 v námornom priemysle. Cieľom je najskôr analyzovať požiadavky tejto služby na pomalých a nespoľahlivých pripojeniach k sieti, SMTP komunikáciu a potom samotného softvéru. Potom definuje špecifikáciu výsledného produktu a pripravuje testovacie prostredie. Následne popisuje návrh a implementáciu transportného agenta s pomocou Exchange Management Shellu, ktorý synchronizuje dve inštalácie Microsoft Echange 2013; a zameriava sa na problémy, ktoré nastali počas vývoja, diskutuje jednotlivé prístupy a možné riešenia. Na testovaní ukazuje jednotlivé nedostatky nájdeného riešenia. Na záver analyzuje výsledné riešenie, možnosti budúceho vylepšenia a nutnosť vylepšenia bezpečnosti pred nasadením do produkčného prostredia.
|
|
|
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.
|
host ::
RSS.