|
|
Mobile Cryptocurrency Wallet Based on zk-SNARKs and Smart Contracts
Slávka, Samuel ; Perešíni, Martin (referee) ; Homoliak, Ivan (advisor)
Cieľom tejto diplomovej práce je navrhnúť a implementovať prostredie pre kryptomenové peňaženky, ktoré je optimalizované pre požiadavky na úložisko a prenosovú rýchlosť v mobilných zariadeniach. S využitím zero-knowledge dôkazov navrhujeme mechanizmy side-chain výpočtu, ktoré overujú reťazce hlavičiek blokov a uchovávajú dôkazy o ich overeniach v blockchaine. Ľahkí mobilní klienti, využívajúci toto prostredie, už nebudú nútení sťahovať a neustále aktualizovať svoj reťazec hlavičiek, ale môžu používať záchytné body uložené v Smart kontrakte. Táto práca taktiež zahŕňa implementácie mobilnej peňaženky, ktorá používa implementované prostredie pre synchronizáciu s viacerými blockchainami.
|
|
|
Aerodynamic analysis and design modifications of L 410 NG aircraft wing-fuselage junction
Derevjanik, Šimon ; Pejchar, Jan (referee) ; Popela, Robert (advisor)
This thesis deals with CFD analysis of a wing-fuselage junction on L410NG airplane. Possible modifications are proposed as well. Calibration problem solved in the introduction serves as a pathway for validation of the results and gives insight into the CFD methodology. The main part analyses the airplane's flow field and shows the details of the modelling process. Description of the computing network followed by final evaluation is presented. Next part is devoted to the creation and aerodynamic analysis of the modified geometry. Final part of the work compares both basic and modified geometry.
|
|
|
High Performance Applications on Intel Xeon Phi Cluster
Kačurik, Tomáš ; Hrbáček, Radek (referee) ; Jaroš, Jiří (advisor)
The main topic of this thesis is the implementation and subsequent optimization of high performance applications on a cluster of Intel Xeon Phi coprocessors. Using two approaches to solve the N-Body problem, the possibilities of the program execution on a cluster of processors, coprocessors or both device types have been demonstrated. Two particular versions of the N-Body problem have been chosen - the naive and Barnes-hut. Both problems have been implemented and optimized. For better comparison of the achieved results, we only considered achieved acceleration against single node runs using processors only. In the case of the naive version a 15-fold increase has been achieved when using combination of processors and coprocessors on 8 computational nodes. The performance in this case was 9 TFLOP/s. Based on the obtained results we concluded the advantages and disadvantages of the program execution in the distributed environments using processors, coprocessors or both.
|
|
|
Model of MOSFET transistor in program SystemVision
Michálek, Branislav ; Brančík, Lubomír (referee) ; Kolka, Zdeněk (advisor)
This bachelor thesis deals with modeling of MOS transistor. The theoretical part of the thesis is dedicated to analysis of basic MOSFET structure and operation, basics of modeling in general, descriptions of SPICE models LEVEL1 and LEVEL3 and model parameters extraction by using the optimization technique. The realization part is dedicated to creation of static models for DC analysis for three specific MOS transistors in the form of netlist used in SPICE circuit simulators, using the model parameters, which have been obtained by using the optimization technique in Matlab. Validity of realized models is then verified by comparing of its characteristics, obtained from simulation in SystemVision program, with characteristics from transistor’s datasheets.
|
|
|
Hardware Acceleration of Cipher Attack
Okuliar, Adam ; Slaný, Karel (referee) ; Vašíček, Zdeněk (advisor)
Hardware acceleration is often good tool to achieve significantly better performance of processing great ammount of data or of realization of parallel algoritms. Aim of this work is to demonstrate resoluts of using FPGA circuits for implementation exponentially complex algorithm. As example haschosen brute-force attack on WEP cryptographic algorithm with 40-bit long key. Goal of this work is to compare properties and performance of software and hardware implementation of choosen algorithm.
|
|
|
Deep Neural Network Optimization
Bažík, Martin ; Wiglasz, Michal (referee) ; Sekanina, Lukáš (advisor)
The goal of this thesis was to design, implement and analyze various optimizations of deep neural networks, in order to improve the observed parameters. The optimizations are based on modification of the data representation used by neural network operations and searching for the best combination of its hyper-parameters. The convolutional neural networks used for these optimizations were built on LeNet-5 architecture and trained on MNIST, CIFAR-10, and SVHN datasets. The neural networks and their optimizations were implemented within Tiny-dnn library using C++ programming language.
|
|
|
Shape optimization of hydraulic turbine diffuser
Hliník, Juraj ; Popela, Pavel (referee) ; Rudolf, Pavel (advisor)
This bachelor thesis deals with mathematical optimization focusing on the shape optimization in fluid mechanics with help of a CFD software. More specifically, it comprises the shape optimization of a swirl turbine draft tube with a specified rotational symmetry and the whole process is realised with Nelder-Mead and BFGS algorithms. The main object was to maximalize the pressure coeficient, with help of the algorithms which were implemented in Matlab software.
|
|
|
Assisted Code Vectorization and Parallelization Using the OpenMP 4.0 Standard
Slouka, Lukáš ; Nikl, Vojtěch (referee) ; Jaroš, Jiří (advisor)
The subject of the bachelor's thesis is code optimization using the OpenMP 4.0 standard which provides tools for assisted parallelization and vectorization. In addition to the descrip tion of the OpenMP 4.0 standard, the thesis as well contains an insight into architectures of modern computers, specifically the system of cache memories and SSE/AVX modules that play a major role in the optimization field. The thesis demonstrates advantages of optimized code compared to unoptimized version on a set of benchmarks which are aimed at various aspects of optimization.
|
|
|
Efficient Transport of Electronic Mail with Microsoft Exchange Plugin
Jakubis, Tomáš ; Homoliak, Ivan (referee) ; Kováčik, Michal (advisor)
This project discusses optimization of e-mail and SMTP traffic in proprietary product of Microsoft Exchange 2013 in regard of marine industry. The goal is at first to analyze the requirements of this service on slow and unreliable network connections, SMTP traffic and then the product itself. Afterwards it defines specification for the final product and prepares the test environment. Design and implementation of transport agent using Exchange Management Shell is described for synchronization of two installations of Microsoft Exchange 2013; and focuses on emerged problems during the development, discusses different approaches and possible solutions. Testing shows various shortcomings of found solution. Finally, analysis of final solution shows possible future improvements and a need of security upgrade before applying to production environment.
|
|
|
Optimization of Processes in Logistics with Visualization Support
Kršák, Martin ; Bidlo, Michal (referee) ; Křivka, Zbyněk (advisor)
The master thesis aims to design, implement, and compare algorithms that optimize processes in logistics, mainly in the planning phase. Heuristics and approximation genetic algorithms will find an near-optimal solution to NP-hard problem, such as the traveling salesman problem, with a delay less than several hours. The role of this algorithm is to plan an efficient route for garbage trucks that collect and distribute large-scale waste to waste yards in a specific city. The goal of the optimization is to minimize the shipping costs.
|
guest ::
