|
Design of processes of business department in IT company and measuring their performance
Schütz, Martin ; Oškrdal, Václav (advisor) ; Bruckner, Tomáš (referee)
The thesis deals with design of new processes of business department in IT company which provides server hosting, web hosting and domain registration services. These processes come from identification and analysis of current processes and the theory of business department management. Key Performance Indicators (KPIs) were set for selected processes which can be used for managing the company as a whole. Models of processes were created due to EPC notation. New processes were designed to continuously create data in CRM information system providing evidential and information support necessary for business department management, including the possibility of measuring its performance. Processes also automatize often repetitive activities and provide relevant information to other affected business units within the company. Contribution of the thesis lies in results of analysis of current identified processes containing solution proposals of discovered problems and newly created process models. Both can be used as a pattern for optimization of current processes in already existing organization or for designing new process models in new organization in the same or similar field of business.
|
|
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.
|
|
Strategy of a specific business project
Bartáková, Iva ; Zeman, Jiří (advisor) ; Filipová, Alena (referee)
Diploma thesis on strategy of a specific business project discusses a formation of the common European hockey league and its penetration into the European market. Based on an analysis of the newly created project strategy, survey with fans of the Czech hockey team and information obtained from the stakeholders, biggest challenges for the competition were set and recommendations for improvement were proposed.
|
|
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
|
|
Activities and functioning of New web organization
Tyl, Jan ; PROKOP, Petr (advisor) ; SULŽENKO, Jiří (referee)
Abstract
Bachelor thesis Activities and functioning of New Web organisation aims to detailed analysis of this culture network. What paths choose, how fulfills its visions, etc. Describe the formation of the organization, motivations and partial steps, which New web takes for its funcioning. How partial sections of this organism thinks and how cooperate.
Also this thesis deals with organization structure of New web. Collectively write an overview of activities this network. Uncover sources of funding. All in relation with functioning of another culture networks in Europe. Concretely IETM, Trans Europe Halles and IN SITU organizations. In conclusion wants to outline future direction of New web organization.
|
|
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.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
|
|
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.
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (referee) ; Vojnar, Tomáš (referee) ; Meduna, Alexandr (advisor)
V této disertační práci jsou studovány teoretické vlastnosti gramatik s omezenými derivačními stromy. Po uvedení současného stavu poznání v této oblasti je výzkum zaměřen na tři základní typy omezení derivačních stromů. Nejprve je představeno zcela nové téma, které je založeno na omezení řezů a je zkoumána vyjadřovací síla takto omezené gramatiky. Poté je zkoumáno několik nových vlastností omezení kladeného na cestu derivačních stromů. Zejména je studován vliv vymazávacích pravidel na vyjadřovací sílu gramatik s omezenou cestou a pro tyto gramatiky jsou zavedeny dvě normální formy. Následně je popsána nová souvislost mezi gramatikami s omezenou cestou a některými pseudouzly. Dále je prezentován protiargument k vyjadřovací síle tohoto modelu, která byla dosud považována za dobře známou vlastnost. Nakonec je zavedeno zobecnění modelu s omezenou cestou na ne jednu, ale několik cest. Tento model je následně studován zejména z hlediska vlastností vkládání, uzávěrových vlastností a vlastností syntaktické analýzy.
|
guest ::
