|
Zjednodušení kvantových obvodů pro modulární umocňování
Fišer, Petr ; Ivánek, Jiří (advisor) ; Nentvich, Libor (referee)
This thesis is based on top of the previous thesis "Security of modern encryption protocols" where we introduced a new paradigm for constructing quantum circuits. We have built circuits for modular arithmetic (addition, multiplication and exponentiation) in order to break El-Gamal asymmetric cryptosystem. Current thesis reviews all proposed circuits and discusses possibilities of their further optimization in goal of lowering the number of used qbits at least by an order of magnitude. It also shows that this is not possible due to existence of COPY gates which make the design inherently unoptimizable. Getting rid of COPY gates is, however, not possible without substantial rewrite of the whole paradigm. The overall estimate of number of qbits used in circuits thus remains O(log(m)log^2(N)) where m is a processed number and N is a modulus. The thesis also proposes optimization of the modular multiplication circuit that, if issues with COPY gates are resolved, allows us to lower the number of used qbits by about O(log(m)) at the price of a longer execution time.
|
|
Design of marketing strategy in the company Imperium Finance
Petrovič, Marko ; Čermák, Radim (advisor) ; Sova, Martin (referee)
Internet marketing is currently one of the most important components of marketing. However, Internet marketing as a whole is much more important than mere webdesign, mere search engine optimization (SEO) or a simple PPC advertising. Most companies have recently made it throught with a website and that was all their presentation on the Internet. However, the internet is one of the fastest growing technology today and the number of its users is growing every year. Constantly there are new technologies that allow us to have a better user experience and also bring us new ways of presentation and promotion. Most of the companies make a mistake early on and underestimate the preparation, don't know their goals, customers or competitors. Internet marketing is the process and the contents of this process is the recognition, analysis, design, implementation, and ultimately verify that you achieve the goals of the organization. In the theoretical part it is defined internet marketing and its advantages over offline marketing. Briefly sum up the history and major milestones of Internet marketing that shaped its present form. Further, it's described current trends in Internet marketing and detail expands upon the selected Internet marketing tools and tools for evaluating the success of campaigns. The practical part deals with the proposal of marketing strategy in the company Imperium Finance. The main objective is to analyze the requirements of the company Imperium Finance, from analysis to draw specific conclusions and devise a marketing strategy that will support the vision and strategy of the company in the following period. All steps were carried out within the company Imperium Finance on real data from active clients and tested in action. The result is a proposal of a marketing strategy that will drive Imperium Finance, and a marketing plan for the company. The biggest benefit of this work is so real use theoretical knowledge in practice.
|
|
The leveling of the newly stabilized elevation points in RA Detmarovice in 2016
Kajzar, Vlastimil ; Waclawik, Petr ; Staš, Lubomír
In the northern area of mining areas Doubrava and Karvina mines on the border RA Detmarovice and Doubrava are implemented, the mining activities. For this reason, in order to detect possible effects of the mine to the surface and surface objects twice a year height focuses, points in this area stable. From 2014 he was a contractor for these works chosen by the Institute of Geonics, v.v.i., Ostrava. The measurement results are annually presented in the final report - elevation measurements in the northern area of mining areas Doubrava and Karviná Mines I. In 2016, the existing network of height points in a cadastral municipality Dětmarovice expanded by 11 new points. New points are stabilized by means of steel bench mark on objects. Elevation point near house No. 713 is a stabilized form of measuring support cast-in steel casing
|
|
Sorption and Stabilization of Metals/Mettalloids by Innovative Synthesized Sorbent Amochar.
Ouředníček, P. ; Trakal, L. ; Komárek, M. ; Pohořelý, Michael
Remediation of contaminated soil which is based on stabilization and immobilization of potential\nhazardous substance by sorption materials has been studied intensively nowadays. Biochar – activated organic carbon belongs to this group of stabilizing agents which can adsorb wide range of contaminants, including metals/metalloids. Surface area of the biochars is quite large in general and functional groups (e.g. COO–) can form chelates or alkaline elements on the surface, which is represented by cation exchange capacity. Altogether with the high pH values (7.00 – 10.00), biochars are quite effective sorbents and can adsorb metals/metalloids from the solution (ground water), especially in acidic soils (in the environments affected by intensive mining activities). Sorption\neffectiveness can be increased (especially for As (V) or Cr (VI) sorption) by modification of biochar by various types of secondary oxides. Innovative sorbent AMOchar (AMO + biochar) has been synthesized currently. The product was prepared by adding of biochar to the reaction solution during amorphous manganese oxide (AMO) synthesis. The AMOchar was formed mainly by Mn-oxalates which had coated surface of the pristine biochar. AMOchar composite was able to remove significantly higher amounts of various metal(loid)s from the solution despite the rather high pH of the material. Sorption effectiveness was high not only in case of Pb (II) sorption (almost 99%), and Cd(II) (51.2%), but also a very high amount of As(V), 91.4%. Additionally, both AMOchar composite was able to reduce Mn leaching. This can avoid potential post-contamination caused by the dissolution of less stable Mn-oxalates as observed in the pure AMO.
Fulltext: content.csg -  PDF
Plný tet: SKMBT_22316111113040 - PDF
|
|
Marketing plan
Nosálová, Lucie ; Štůsek, Jaromír (advisor) ; Ladislav , Ladislav (referee)
The goal of this thesis is to detect errors in the management of small family business, which basically does not use marketing. Following this finding should be to build an effective marketing plan. The diploma thesis is divided into theoretical part, which forms the basis for the analytical part. In the analytical part is described the company and there are also detect errors in the management that are caused by faulty marketing. To achieve results it is important to use several different types of analysis on which it is necessary to set new marketing goals, strategies, changes and projects. The aim is to provide business information and convince him that use of good marketing communication should lead to improve management efficiency and ultimatem increase profitability of the company, without the need to break away from the corporate goal of maximum efforts to build a pro-customer oriented service.
|
|
Tenancy spouses and use of the flat spouses in a new arrangement after January 1, 2014
Prantlová, Soňa ; Kadlecová, Eva (advisor) ; Pavla, Pavla (referee)
The thesis is devoted to the topic of tenancy by the spouses, and its use as is specified in the new adaptation of the Civil Code no. 89/2012 Coll. It replaced until functioning Civil Code from the year 1964. The new legislation is specified series of new institutes, whose primary aim is to protect the weaker party, in the case of tenant. The diploma thesis was divided into theoretical and practical part. In the theoretical part, was attention paid to basic concepts which have been defined. There were characterized rights of tenant and landlord, analyzed housing legislation according to the new Civil Code. The practical part was devoted to the interpretation of survey results. There were approached tenants of several apartment buildings in Kralupy nad Vltavou. Based on the findings, were designed some recommendations to raise awareness about the rights and responsibilities of tenants, as well as about the whole issue of housing legally.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
|
A NEW DAWN OF NAMING, ADDRESSING AND ROUTING ON THE INTERNET
Veselý, Vladimír ; Muntan,, Jordi Perelló (referee) ; Grasa, Eduard (referee) ; Day, John (referee) ; Švéda, Miroslav (advisor)
Internet roku 2015 se potýká s problémy, které jsou důsledky špatného designu pojmenovávání a adresování v TCP/IP a jež mají přeneseny vliv i na škálovatelnost směrování. Problémy jako růst páteřních směrovacích tabulek, neefektivní multihoming sítí či mobilita zařízení a mnohé další zadávají k otázce, jestli není třeba architekturu Internetu pozměnit. V teoretické části je kvantifikován dopad problémů, možná řešení a zejména je formálně definována teorie kompilujicí poznatky významných publikací zabývajících se problematikou pojmenování, adresování a směrování v počítačových sítí. Tato práce se zabývá dvěma konkrétními technologiemi, jež mají ambicí Internet měnit - Locator/Id Separation Protocol a Recursive InterNetwork Architecture. Výstupem práce jsou vylepšení funkcionality obou výše zmíněných technologií. Za účelem praktického ověření dopadů našeho výzkumu jsou vyvinutý a popsány nové simulační modely pro OMNeT++, které jsou věrné úrovni detailu popisu ze specifikací.
|
|
OPTIMIZATION OF ALGORITHMS AND DATA STRUCTURES FOR REGULAR EXPRESSION MATCHING USING FPGA TECHNOLOGY
Kaštil, Jan ; Plíva, Zdeněk (referee) ; Vlček, Karel (referee) ; Kotásek, Zdeněk (advisor)
Disertační práce se zabývá rychlým vyhledáváním regulárních výrazů v síťovém provozu s použitím technologie FPGA. Vyhledávání regulárních výrazů v síťovém provozu je výpočetně náročnou operací využívanou převážně v oblasti síťové bezpečnosti a v oblasti monitorování provozu vysokorychlostních počítačových sítí. Současná řešení neumožňují dosáhnout požadovaných multigigabitových propustností při dodržení všech požadavků, které jsou na vyhledávací jednotky kladeny. Nejvyšších propustností dosahují implementace založené na využití inovativních hardwarových architektur implementovaných v FPGA případně v ASIC. Tato disertační práce popisuje nové architektury vyhledávací jednotky, které jsou vhodné pro implementaci jak v FPGA tak v ASIC. Základní myšlenkou navržených architektur je využití perfektní hashovací funkce pro implementaci přechodové tabulky konečného automatu. Dále byla navržena architektura, která umožňuje uživateli zanést malou pravděpodobnost chyby při vyhledávání a tím snížit paměťové nároky vyhledávací jednotky. Disertační práce analyzuje vliv pravděpodobnosti této chyby na celkovou spolehlivost systému a srovnává ji s řešením používaným v současnosti. V rámci disertační práce byla provedena měření vlastností regulárních výrazů používaných při analýze provozu moderních počítačových sítí. Z provedené analýzy vyplývá, že velká část regulárních výrazů je vhodná pro implementaci pomocí navržených architektur. Pro dosažení vysoké propustnosti vyhledávací jednotky práce navrhuje nový algoritmus transformace abecedy, který umožňuje, aby vyhledávací jednotka zpracovala více znaků v jednom kroku. Na rozdíl od současných metod, navržený algoritmus umožňuje konstrukci automatu zpracovávajícího libovolný počet symbolů v jednom taktu. Implementované architektury dosahují v porovnání se současnými metodami úspory paměti zlepšení až 200MB.
|
|
Security of Biometric Systems
Lodrová, Dana ; Busch, Christoph (referee) ; Provazník, Ivo (referee) ; Drahanský, Martin (advisor)
Hlavním přínosem této práce jsou dva nové přístupy pro zvýšení bezpečnosti biometrických systémů založených na rozpoznávání podle otisků prstů. První přístup je z oblasti testování živosti a znemožňuje použití různých typů falešných otisků prstů a jiných metod oklamání senzoru v průběhu procesu snímání otisků. Tento patentovaný přístup je založen na změně barvy a šířky papilárních linií vlivem přitlačení prstu na skleněný podklad. Výsledná jednotka pro testování živosti může být integrována do optických senzorů. Druhý přístup je z oblasti standardizace a zvyšuje bezpečnost a interoperabilitu procesů extrakce markantů a porovnání. Pro tyto účely jsem vytvořila metodologii, která stanovuje míry sémantické shody pro extraktory markantů otisků prstů. Markanty nalezené testovanými extraktory jsou porovnávány oproti Ground-Truth markantům získaným pomocí shlukování dat poskytnutých daktyloskopickými experty. Tato navrhovaná metodologie je zahrnuta v navrhovaném dodatku k normě ISO/IEC 29109-2 (Amd. 2 WD4).
|
guest ::
