|
Návrh procesů obchodního oddělení v IT společnosti a měření jejich výkonnosti
Schütz, Martin ; Oškrdal, Václav (vedoucí práce) ; Bruckner, Tomáš (oponent)
Práce se zabývá návrhem nových procesů obchodního oddělení v IT společnosti poskytující služby serverhostingu, webhostingu a registrace domén. Tyto procesy vycházejí z identifikace a analýzy stávajících procesů a z teorie řízení obchodního oddělení. U vybraných procesů jsou stanoveny klíčové indikátory jejich výkonnosti (KPIs) využitelné pro řízení organizace jako celku. Modely procesů jsou vytvořeny dle notace EPC. Nové procesy jsou navrženy tak, aby při jejich průběhu vznikala v informačním systému CRM data poskytující evidenční a informační podporu nezbytnou pro řízení obchodního oddělení včetně možnosti měření jeho výkonnosti. Procesy také automatizují často se opakující činnosti a poskytují relevantní informace dalším dotčeným organizačním jednotkám společnosti. Přínosem práce jsou výsledky analýzy identifikovaných stávajících procesů, obsahující návrhy řešení objevených problémů a modely nových procesů. Mohou posloužit jako vzor pro optimalizaci stávajících procesů v již existujících organizacích nebo pro tvorbu nového procesního modelu v nových organizacích ze stejného nebo podobného oboru.
|
|
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ů.
|
|
Strategie specifického podnikatelského projektu
Bartáková, Iva ; Zeman, Jiří (vedoucí práce) ; Filipová, Alena (oponent)
Diplomová práce na téma strategie specifického podnikatelského projektu pojednává o vzniku společné evropské hokejové ligy a jejím pronikání na evropský trh. Na základě analýzy strategie nově vzniklého projektu, dotazníkového šetření s fanoušky českého hokejového týmu a informací získaných od zainteresovaných stran byly stanoveny největší výzvy pro soutěž a navržena opatření ke zlepšení.
|
|
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
|
|
Č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ě.
|
|
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.
|
|
Kontrast života a smrti v díle J. K. Šlejhara
Krčálová, Tereza ; Heczková, Libuše (vedoucí práce) ; Mravcová, Marie (oponent)
Práce se zaměřuje na dílo J. K. Šlejhara ze dvou hledisek. Nejprve představuje Šlejharovo dílo v dobovém literárním kontextu jako výsledek syntézy nových literárních stylů, ve druhé části se věnuje textové analýze a rekonstrukci "uměleckého světa". V první části práce jsou představeny dobové diskuse, které měly přehodnotit a znovu teoreticky ozřejmit funkci umění s ohledem na nově se vyvíjející společnost a nové potřeby člověka. Uvádíme také reflexi v té době velmi aktivního přejímání nových vlivů z cizích literatur a kritické ohlasy realismu a naturalismu. Pro srovnání uvádíme dobové a současné studie pojednávající o díle J. K. Šlejhara, čímž chceme poukázat na měnící se požadavky literatury a umění a na proměnu vnímání literárního díla v časovém odstupu. Druhá část práce se věnuje textové analýze vybraných děl J. K. Šlejhara s použitím metodiky sémiologické literární vědy a rekonstrukce tzv. uměleckého světa autora. Takový přístup nám umožňuje vést paralely s ruskou literaturou 19. století, především s tvorbou N. V. Gogola a F. M. Dostojevského a odhalit styčné body jak v tvoření specifického uměleckého světa, tak v chápání duchovnosti. Klíčová slova: naturalismus, symbolismus, realismus, umělecký svět, duchovnost, tvar, ornament, estetično, smrt
|
|
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.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (oponent) ; Sekanina, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.
|
|
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.
|
host ::
