|
Zjednodušení kvantových obvodů pro modulární umocňování
Fišer, Petr ; Ivánek, Jiří (vedoucí práce) ; Nentvich, Libor (oponent)
Tato práce navazuje na práci "Security of modern encryption protocols", ve které bylo představeno nové paradigma návrhu obvodů pro kvantový počítač. Zde byly představeny obvody pro modulární aritmetiku (sčítání, násobení a umocňování) na kvantovém počítači, jejichž cílem bylo, ve výsledku, rozbít El-Gamalův asymetrický kryptosystém. Aktuální práce reviduje všechny navržené obvody a stavební bloky s cílem snížit počet kvantových bitů, které potřebují ke svému fungování, a diskutuje možnosti jejich optimalizace. Dále ukazuje, že původní odhad použitých qbitů O(log(m)log^2(N)) (m zpracovávané číslo, N modulus), nelze zlepšit, což je způsobeno vlastností paradigmatu - přítomností tzv. COPY hradel. Tato hradla nelze odstranit bez nutnosti velkých zásahů do stávajícího paradigmatu. Práce navíc podává návrh na optimalizaci obvodu modulární násobičky který, za předpokladu že se povede vyřešit potíže s COPY hradly, umožní na některých fyzických implementacích kvantového počítače snížit počet použitých qbitů řádově o O(log(m)) za cenu zvýšení počtu výpočetních kroků.
|
|
Návrh marketingové strategie ve společnosti Imperium Finance
Petrovič, Marko ; Čermák, Radim (vedoucí práce) ; Sova, Martin (oponent)
Internetový marketing je v současnosti jednou z nejdůležitějších složek marketingu. Avšak internetový marketing jako celek je mnohem důležitější než pouhý webdesign, pouhá optimalizace pro vyhledávače (SEO) nebo pouhá PPC reklama. Většina firem si donedávna vystačila s webovými stránkami a tím byla jejich prezentace na internetu hotová. Nicméně internet je jednou z nejrychleji se rozvíjející technologií současnosti a každým rokem roste počet jeho uživatelů. Neustále se objevují nové technologie, které umožňují lepší uživatelský komfort a které také přinášejí nové způsoby prezentace a propagace. Většina společností udělá chybu již na začátku a podcení přípravu, neznají své cíle, zákazníky nebo konkurenci. Internetový marketing je proces. Obsahem tohoto procesu je poznání, analýza, návrh, realizace a nakonec i ověření, zda bylo dosaženo cílů organizace. V teoretické části je definován internetový marketing a jeho výhody oproti offline marketingu. Stručně je zde shrnuta historii a hlavní milníky internetového marketingu, které formovaly jeho současnou podobu. Dále jsou popsány současné trendy internetového marketingu a detailněji rozebrány vybrané nástroje internetového marketingu a nástroje pro vyhodnocení úspěšnosti kampaní. V praktické části se zabývám návrhem marketingové strategie ve společnosti Imperium Finance s.r.o. Hlavním cílem práce je zanalyzovat požadavky společnosti Imperium Finance s.r.o., z analýzy vyvodit konkrétní závěry a navrhnout marketingovou strategii, která podpoří vizi a strategii firmy v následujícím období. Veškeré kroky probíhaly přímo ve společnosti Imperium Finance na reálných datech od aktivních klientů a testovány v ostrém chodu společnosti. Výsledkem je pak návrh marketingové strategie, kterou se bude Imperium Finance řídit, a to v podobě marketingového plánu společnosti. Největším přínosem práce je tak reálné využití teoretických poznatků v praxi.
|
|
Nivelační měření na nově stabilizovaných výškových bodech v KÚ Dětmarovice v roce 2016
Kajzar, Vlastimil ; Waclawik, Petr ; Staš, Lubomír
V severní oblasti dobývacích prostorů Doubrava a Karviná Doly I na hranici KÚ Dětmarovice a Doubrava se realizují dobývací práce. Z toho důvodu jsou za účelem zjišťování možných důlních vlivů na povrch a povrchové objekty pravidelně dvakrát ročně výškově zaměřovány body v této oblasti stabilizované. Od roku 2014 byl za zhotovitele těchto prací vybrán Ústav geoniky AV ČR, v.v.i., Ostrava. Výsledky měření jsou každoročně prezentovány v závěrečné zprávě - Výšková měření v severní oblasti dobývacích prostorů Doubrava a Karviná Doly I. V roce 2016 byla stávající síť výškových bodů v KÚ obce Dětmarovice rozšířena o 11 nových bodů. Nové body jsou stabilizovány formou ocelových výškových značek na objektech. Výškový bod poblíž domu č.p. 713 je stabilizován formou měřící opěry zabetonované v ocelové pažnici.\n
|
|
Využití nově syntetizovaného amocharu ke stabilizaci a sorpci kovů a metaloidů.
Ouředníček, P. ; Trakal, L. ; Komárek, M. ; Pohořelý, Michael
Možnost sanace půd, která je většinou založena na principu stabilizace a imobilizace potenciálně rizikových látek, je v posledních letech intenzivně studovanou a zkoumanou problematikou. Jedním z takovýchto stabilizačních činidel je i biochar, tedy forma aktivního uhlí, která má schopnost poutat na svůj povrch celou řadu kontaminantů včetně právě kovů a metaloidů. Biochary mají obecně vysoce aktivní povrch a přítomnost různých funkčních skupin (např. COO–) zodpovědných za tvorbu chelátů a alkalických prvků (Ca2+, K+, Na+ a Mg2+) reprezentující kationtovou výměnu; v kombinaci s vysokými hodnotami pH (7,00 až 10,0) poukazují na jejich efektivní sorpční kapacitu vázat na svůj povrch kovy a metaloidy z roztoku (z půdní vody), zejména pak v kyselých půdách (tedy v oblastech postižených intenzivní důlní činností). Dále lze sorpční účinnost biocharů ještě zvýšit/vylepšit (zejména pak v případech odstraňování As (V) nebo Cr (VI)) a to pomocí různých modifikací. A právě modifikací biocharu pomocí amorfního oxidu manganu (AMO), byl vytvořen nový sorbent AMOchar. Produkt byl připraven přidáváním biocharu přímo do roztoku reaktantů při syntéze AMO. Samotný AMOchar je tak tvořen především Mn-oxaláty, které jsou přítomny ve formě povlaků na povrchu částic biocharu. Sorpční účinnost tohoto sorbentu pak byla i přes poměrně zásadité pH AMOcharu vysoká pro všechny testované rizikové prvky. Konkrétně byla sledována vysoká sorpce nejen pro Pb (téměř 99 %) a Cd (51,2 %) ale i pro As (91,4 %). Modifikace biocharu pomocí AMO též signifikantně snížila extrakci Mn, díky čemuž by nemělo, v případě reálného používání tohoto sorbentu pro sanaci půd, docházet k post-kontaminaci půdy právě manganem, který se uvolňuje z Mnoxalátů při rozpouštění jinak vysoce účinného sorbentu AMO.
Plný tet: SKMBT_22316111113040 -  PDF
Plný text: content.csg - PDF
|
|
Marketingový plán podniku
Nosálová, Lucie ; Štůsek, Jaromír (vedoucí práce) ; Ladislav , Ladislav (oponent)
Obsahem práce je odhalení chyb v řízení malé rodinné firmy, která v podstatě nevyužívá marketing. V návaznosti na toto zjištění, by mělo dojít k sestavení efektivního marketingového plánu. Práce je rozdělena na teoretickou část, která tvoří podklady pro analytickou část. V analytické části dochází k popisu firmy a následně snaze o poodhalení chyb v řízení, které jsou způsobené špatným nastavením marketingu. K výsledku je třeba dojít pomocí různých druhů analýz, na jejichž základě je třeba stanovit nové marketingové cíle, strategie, změny a projekty, na základě nich má dojít ke změně. Snahou je poskytnout podniku podklady a přesvědčit ho, že využívání dobré marketingové komunikace by mělo vést k vyšší efektivnosti hospodaření a v konečném důsledku i zvýšení ziskovosti firmy, a to bez nutnosti odpoutat se od podnikového cíle, jímž je maximální snaha o vybudování pro-zákaznicky orientovaného servisu.
|
|
Nájem bytu manželi a užívání družstevního bytu manželi v nové úpravě po 1.1.2014
Prantlová, Soňa ; Kadlecová, Eva (vedoucí práce) ; Pavla, Pavla (oponent)
Diplomová práce se věnovala tématu nájmu bytu manželi a jeho užívání tak, jak je to zakotveno v nové zákonné úpravě občanského zákoníku č. 89/2012 Sb. Ten nahradil do té doby fungující občanský zákoník z roku 1964. V nové právní úpravě je zakotvena řada nových institutů, jejichž cílem je především ochránit slabší stranu, v tomto případě nájemce. Diplomová práce byla rozčleněna na teoretickou a praktickou část. V teoretické části byla věnována pozornost základním pojmům, které zde byly definovány. Byla zde charakterizována práva nájemce a pronajímatele. Byla rozebrána právní úprava bydlení dle nového občanského zákoníku. Praktická část se věnovala interpretaci výsledků dotazníkového šetření. Byli osloveni nájemci několika bytových domů ve městě Kralupy nad Vltavou. Na základě dosažených zjištění byla navržena některá doporučení pro zvýšení informovanosti o právech a povinnostech nájemců, jakož i o celé problematice bydlení z právního hlediska.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
|
A NEW DAWN OF NAMING, ADDRESSING AND ROUTING ON THE INTERNET
Veselý, Vladimír ; Muntan,, Jordi Perelló (oponent) ; Grasa, Eduard (oponent) ; Day, John (oponent) ; Švéda, Miroslav (vedoucí práce)
nternet of the year 2015 struggles with problems that are just implications of flawed naming and addressing the concept of TCP/IP, which have an impact on overall routing scalability. Problems such as default-free zone routing table growth, cumbersome multihoming or mobility motivate question whether the Internet deserves major architecture redesign. In the theoretical part, the impact of problems above is evaluated, solutions are discussed and unifying theory compiled and described using formal methods taking into account revered papers about naming, addressing and routing. This work provides in-depth Investigation of two technologies - Locator/Id Separation Protocol a Recursive InterNetwork Architecture. Research contribution is an operational improvement of above-mentioned technologies. New OMNeT++, full-fledged simulation modules compliant with behavior in the specification are used to as verification tool.
|
|
OPTIMIZATION OF ALGORITHMS AND DATA STRUCTURES FOR REGULAR EXPRESSION MATCHING USING FPGA TECHNOLOGY
Kaštil, Jan ; Plíva, Zdeněk (oponent) ; Vlček, Karel (oponent) ; Kotásek, Zdeněk (vedoucí práce)
This thesis deals with fast regular expression matching using FPGA. Regular expression matching in high speed computer networks is computationally intensive operation used mostly in the field of the computer network security and in the field of monitoring of the network traffic. Current solutions do not achieve throughput required by modern networks with respect to all requirements placed on the matching unit. Innovative hardware architectures implemented in FPGA or ASIC have the highest throughput. This thesis describes two new architectures suitable for the FPGA and ASIC implementation. The basic idea of these architectures is to use perfect hash function to implement transitional function of deterministic finite automaton. Also, architecture that allows the user to introduce small probability of errors into the matching process in order to reduce memory requirement of the matching unit was introduced. The thesis contains analysis of the effect of these errors to overall reliability of the system and compares it to the reliability of currently used approach. The measurement of properties of regular expressions used in analysis of the traffic in modern computer networks was performed in the thesis. The analysis implies that most of the used regular expressions are suitable for the implementation by proposed architectures. To guarantee high throughput of the matching unit new algorithms for alphabet transformation is proposed. The algorithm allows to transform the automaton to accept several input characters per one transition. The main advantage of the proposed algorithm over currently used solutions is that it does not have any limitation over the number of characters that are accepted at once. Implemented architectures were compared with the current state of the art algorithm and 200MB memory reduction was achieve
|
|
Security of Biometric Systems
Lodrová, Dana ; Busch, Christoph (oponent) ; Provazník, Ivo (oponent) ; Drahanský, Martin (vedoucí práce)
The main contributions of this thesis are two novel approaches for the increase of securing of biometric systems based on fingerprint recognition. The first approach is within the liveness detection and prevents the use of various fake fingers and other spoofing techniques during the capturing processes. This patented approach is based on a combination of change of papillary line color and width caused by pressing of a finger against glass plate. The resultant liveness detection unit can be integrated into an optical fingerprint sensor. The second approach is within standardization and it increases the security and interoperability of minutiae extraction and comparison process. For this purposes, I have created the methodology to determine semantic conformance rates of minutiae extractors. The minutiae extracted by the tested extractors are compared against Ground-Truth-Minutiae obtained by clustering of data provided by dactyloscopic/forensic experts. This proposed methodology is included in the ISO/IEC 29109-2 Amd. 2 WD4.
|
host ::
