|
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ů.
|
|
Optimalizace CRM řešení
Fučík, Ivan ; Mildeová, Stanislava (vedoucí práce)
Tato práce je zaměřena na problematiku CRM řešení v malých a středních organizacích s ohledem na kvalitu jejich vztahů se zákazníky. Cílem této práce je připravit návrh optimalizace CRM řešení v reálné organizaci. Pro naplnění tohoto cíle je nutné porozumět teoretickým východiskům práce, tj. organizacím a jejich vztahům se zákazníky, CRM systémům, jejich funkcím a trendům. Na základě těchto teoretických východisek bylo možné analyzovat současné CRM řešení v dané organizaci. Z údajů, získaných metodami pozorování a řízeného rozhovoru, bylo možné navrhnout optimální CRM řešení v souladu s požadavky organizace a uživatelů CRM systému. Toto nové CRM řešení klade důraz na úsporu času a nákladů, spojených s provozem a obsluhou CRM systému tím, že nahrazuje stávající ne zcela efektivní CRM nástroje.
|
|
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.
|
|
Výšková měření v severní oblasti dobývacích prostorů Doubrava a Karviná Doly I 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 srpnu a listopadu 2016 se uskutečnily měřické kampaně plánované v tomto roce, během kterých bylo prováděno výškové zaměření celkem 4 vzájemně navazujících nivelačních tras, které jsou těmito body tvořeny. Výškové body jsou v zájmové oblasti stabilizovány několika způsoby - nejčastěji v provedení ocelových výškových značek na objektech, dále pak ve formě železných svorníků zabetonovaných v zemi nebo pomocí hřebů zaražených do betonového základu, případně jiným alternativním způsobem. Rozložení bodů v zájmové oblasti je orientačně zachyceno v mapové příloze. Stávající dohledané a zaměřené body jsou označeny zeleně, dohledané nepřístupné body žlutě, nově zaměřené body červeně a fialově body, u kterých došlo k jejich dlouhodobému znepřístupnění či zničení. Každý ze zaměřovaných bodů je za účelem jeho dohledání v terénu pečlivě zdokumentován (GPS souřadnice, fotografie, textový popis) a zaevidován. Tyto podklady jsou k dispozici u zhotovitele.
|
|
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
|
|
Maska, převlek a autorská hra na role v současném fotografickém autoportrétu u nás a ve světě
Helfertová, Žofie ; SILVERIO, Robert (vedoucí práce) ; DVOŘÁK, Tomáš (oponent)
Bakalářská práce se zabývá rolí masky, převleku a autorskou hrou na role v současném fotografickém autoportrétu u nás i ve světě. V prvních kapitolách sleduje obecný vývoj a stručnou historii autoportrétu ve fotografii a jeho podoby a tendence až po současnost, dále je zaměřena na masku obecně a roli masky a převleku v dějinách fotografie. Stěžejní částí této práce je poslední kapitola, která se věnuje nejmladší generaci současných fotografek. Ty ve svých autoportrétech projevují tendenci používat masku a převlek pro záměnu své identity. Nevytvářejí ovšem identity nové, ale přejímají, či tvoří iluzi již existujících, definovaných identit. Cílem této práce je představit masku jako prostředek hry s identitou skrze autoportrét.
|
|
Činnost a fungování Nové sítě, z.s.
Tyl, Jan ; PROKOP, Petr (vedoucí práce) ; SULŽENKO, Jiří (oponent)
Abstrakt
Bakalářská práce s názvem Činnost a fungování Nové sítě, z. s. si klade za cíl detailní rozbor této kulturní sítě. Jaké cesty volí, jak naplňuje své vize, atd. Popsat vznik organizace, motivace a dílčí kroky, které Nová síť ke svému současnému fungování podnikla. Jak jednotlivé části organismu přemýšlejí a jak spolu kooperují.
Věnuje se organizační struktuře, v jakých podmínkách existuje. Chce souhrnně vypsat přehled činností, kterým se věnuje. Rozkrýt zdroje financování. To vše
v návaznosti na představení jiných evropských kulturních networků. Konkrétně IETM, Trans Europe Halles a IN SITU. V závěru práce nastínit další směřování Nové sítě.
|
|
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
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
Subspace Modeling of Prosodic Features for Speaker Verification
Kockmann, Marcel ; Kenny, Patrick (oponent) ; Nöth, Elmar (oponent) ; Černocký, Jan (vedoucí práce)
The thesis investigates into speaker verification by means of prosodic features. This includes an appropriate representation of speech by measurements of pitch, energy and duration of speech sounds. Two diverse parameterization methods are investigated: the first leads to a low-dimensional well-defined set, the second to a large-scale set of heterogeneous prosodic features. The first part of this work concentrates on the development of so called prosodic contour features. Different modeling techniques are developed and investigated, with a special focus on subspace modeling. The second part focuses on a novel subspace modeling technique for the heterogeneous large-scale prosodic features. The model is theoretically derived and experimentally evaluated on official NIST Speaker Recognition Evaluation tasks. Huge improvements over the current state-of-the-art in prosodic speaker verification were obtained. Eventually, a novel fusion method is presented to elegantly combine the two diverse prosodic systems. This technique can also be used to fuse the higher-level systems with a high-performing cepstral system, leading to further significant improvements.
|
host ::
