|
|
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.
|
|
|
Analýza obrazu pro korekci elektronových mikroskopů
Smital, Petr ; Schwarz, Daniel (oponent) ; Kolář, Radim (vedoucí práce)
Tato práce se zabývá fyzikální podstatou korekcí elektronového mikroskopu a matematickými metodami zpracování obrazu potřebnými pro jejich kompletní automatizaci. Jedná se o různé typy ostření, korekci astigmatismu, centrování elektronového svazku či stabilizaci obrazu. Mezi popsané matematické metody patří různé metody zjištění ostrosti a astigmatismu, jak s použitím Fourierovy transformace, tak bez ní, dále metody detekce hran, operace s histogramem a lícování snímků, tedy zjišťování prostorových transformací v obraze, včetně zmínky o optimalizačních metodách. Tato práce obsahuje podrobný popis matematických metod, jejich zhodnocení na základě testovací „offline“ aplikace, popis algoritmů jejich implementace do reálného elektronového mikroskopu a výsledek testu na reálném mikroskopu v podobě videozáznamu z obrazovky ovládacího počítače.
|
|
| |
|
|
Automobilová anténa pro mobilní komunikaci
Porč, Jan ; Láčík, Jaroslav (oponent) ; Pokorný, Michal (vedoucí práce)
Tato práce se zabývá návrhem zapuštěné diskové planární antény vhodné k použití ve vozidlech. Pro každé z pásem GSM900 a GSM1800 používané v České republice byla navrhnuta samostatná anténa. Jako simulátor elektromagnetického pole byl použit program IE3D. Pro zlepšení teoretických výsledků byla vytvořena optimalizace v programu MATLAB. Jako optimalizační metoda byly zvoleny genetické algoritmy.
|
|
|
Návrh trading strategie pro řízení volného finančního kapitálu firmy
Jiřík, Leoš ; Dufek, Ladislav (oponent) ; Budík, Jan (vedoucí práce)
Tato diplomová práce se zabývá návrhem tradingových strategií pro obchodování na devizových trzích. Návrh je proveden pomocí prostředků umělé inteligence, navržené strategie jsou následně optimalizovány a vyhodnoceny na neznámých datech. Dílčím cílem je zasazení tohoto postupu do existující vybrané firmy pro rozvoj jejího kapitálu. Důsledky plynoucí ze zavedení obchodního přístupu k rozvoji kapitálu společnosti jsou následně analyzovány z několika pohledů – je vytvořen harmonogram zavedení ve vybrané společnosti, následně jsou porovnány očekávané náklady a výnosy ve střednědobém horizontu a v části poslední jsou zjišťována rizika zmíněného postupu a navrhovány postupy k jejich omezení.
|
|
| |
|
|
Optimalizace rádiových přístupových sítí UMTS v prostředí Opnet Modeler
Toman, Petr ; Herman, Ivo (oponent) ; Novotný, Vít (vedoucí práce)
Rozdíly mezi sítěmi jednotlivých mobilních operátorů mohou být v jejich architektuře a v optimalizaci sítě. Architektura je standardizována, což znamená, že výkyvy budou pouze v ochotě investic operátorů do novějších prvků sítě. Zásadnější je však optimalizace sítě. Ta totiž není striktně dána a závisí na operátorovi jak si s ní poradí. Nejdůležitější vlastností v optimalizaci je vyváženost. Operátoři se snaží dosáhnout vyvážení mezi třemi důležitými parametry. Těmi jsou kapacita, pokrytí a dodržení QoS. Optimalizace závisí na RRM algoritmech. Algoritmy zahrnují různé funkce jako je řízení přístupu do sítě, ochrana před zahlcením, řízení handoverů, řízení výkonu, atd. Nejen že tyto prvky ovlivňují optimalizaci, ale také ovlivňují sebe navzájem, protože navzájem spolupracují. Například při špatném nastavení řízení přístupu do sítě dochází buď k častým přetížením sítě z důvodu velkého množství účastníků v síti (účastníci jsou nespokojeni se službami jež operátor nabízí) nebo k nevyužívání kapacity sítě z důvodu příliš malého počtu účastníků v síti (operátor je nespokojen, protože zbytečně dochází o možné zisky). Ani jedna z možností není pro mobilního operátora dobrá, proto je důležité, aby řízení přístupu do sítě bylo vyvážené.
|
|
|
Koncepční návrh letounu s elektrickým pohonem
Ševčík, Igor ; Sklenář, Filip (oponent) ; Popela, Robert (vedoucí práce)
Diplomová práce se zabývá návrhem koncepce nového letounu s elektrickým pohonem dle zadání firmy Evektor, spol. s r.o. V první části jsou podrobněji zpracována statistická data malých letounů s různými typy pohonů a je uvedeno jejich vzájemné srovnání. V následující části se práce soustředí na zadané parametry a požadavky pro návrh letounu. Na předchozí navazuje nejdůležitější část práce, kterou představuje optimalizace křídla pro použití na letounu a analýza jeho parametrů. Poté je rozebrána problematika předběžného ověření letových výkonů, stejně tak určení návrhových rozměrů letounu a navazující hmotový rozbor s uvážením rozboru rozmístění bateriových článků. V rámci hmotového rozboru je uvažováno několik různých typů letové konfigurace. Závěrečná část obsahuje zhodnocení optimalizačního a návrhového procesu.
|
|
|
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.
|
|
|
Optimalizace tvorby konstrukčních týmů pomocí genetických algoritmů
Špaček, Jiří ; Zelinka, Ivan (oponent) ; Šeda, Miloš (oponent) ; Ošmera, Pavel (vedoucí práce)
Disertační práce se zabývá optimalizací tvorby pracovních týmů ve firmách. Základem je práce Dr. Mereditha Belbina z Henley Management College, který je autorem tzv. Belbinovy teorie týmových rolí. Tato teorie definuje základní role v týmu včetně popisu vzorců jejich chování, přičemž pro správné fungování libovolného týmu je důležité, aby v něm byly zastoupeny všechny role. V praxi je však potřeba, aby konkrétní lidé splňovali nejen osobnostní a psychologické předpoklady, ale také odborné znalosti či jiné požadavky. Doplněním těchto parametrů konkrétním lidem však vzniká obrovské množství možných variant výsledného týmu, které není možné tradičními metodami snadno a v reálném čase vyhodnotit. Z toho důvodu byly zvoleny k vyhodnocení tzv. genetické algoritmy, které jsou inspirované přírodními vývojovými procesy popsanými již dříve J. G. Mendelem a Ch. Darwinem. Genetické algoritmy se vyznačují poskytnutím dobrých výsledků řešené úlohy ve velmi krátkém čase, přičemž úloha nemusí mít exaktní zadání a správných řešení proto může být více. V rámci dizertační práce byl sestaven program v jazyce Java, jehož jádrem je genetický algoritmus a v kterém bylo uskutečněno modelování konkrétních týmů. Následovalo ověření výsledků programu sestavením týmů pro realizaci nových úkolů a sledováním jejich činnosti v praxi. Rovněž byla provedena modelová verifikace týmů sestavených již dříve pouze na základě zkušeností vedoucích pracovníků a byly porovnány výsledky.
|
host ::
RSS.