|
Návrh obchodní strategie ve vybrané organizaci
Suska, Karel ; Regnerová, Olga (vedoucí práce) ; Zdeněk, Zdeněk (oponent)
Diplomová práce se zabývá návrhem obchodní strategie firmy Autocentrum Elán, s. r. o., která by měla posílit její konkurenceschopnost a udávat směr a možnosti pro následující období. Práce je zpracována na základě teoretických poznatků a popisuje analýzy okolí podniku a zejména vnitřních zdrojů a schopností podniku. Analytická část práce se zabývá zpracováním návrhu obchodní strategie společnosti vycházející zejména z analýzy současného stavu a jejího zhodnocení. Největší důraz je kladen na rozvoj operativního leasingu při prodeji nových vozů značky Škoda, ze kterého vycházejí ostatní etapy a body navrhované obchodní strategie.
|
|
Navrhování experimentů pro nestacionární produkční procesy
Jadrná, Monika ; Macák, Tomáš (vedoucí práce)
Disertační práce se zaměřuje na oblast služeb a oblast hromadné výroby. Konkrétně se jedná o optimalizaci produktového portfolia cestovní kanceláře a optimalizaci výroby nábojů.
V literárních východiscích je vysvětlena terminologie z oblasti rozhodování a popsány metody, které jsou používány pro podporu rozhodování. Jedná se o aktuální přehled řešené problematiky a definování základních pojmů. Teoretická východiska výzkumu jsou v oblasti služeb zaměřena na volbu vhodných vstupních proměnných. V oblasti výroby pak na volbu konkrétního materiálu a vhodného vybavení pro danou výrobu. Literární východiska a teoretická východiska výzkumu současně tvoří základ pro praktickou část práce.
V praktické části disertační práce je zvolen konkrétní podnik působící v daném odvětví. V oblasti služeb je optimalizováno produktové portfolio pomocí Fuzzy logiky a Fuzzy množin, tak aby firma působící v dané oblasti byla schopna se uplatnit a fungovat na současném vysoce konkurenčním trhu. V oblasti výroby je nastaveno optimální složení produktu tak, aby bylo dosahováno jeho požadovaných vlastností.
Hlavním cílem disertační práce je návrh metodického přístupu pro řízení vybraných podnikových procesů při jejich nestacionárním časovém průběhu. V praktické realizaci je cílem verifikovat funkčnost navrženého metodického přístupu, jak v oblasti služeb, tak v oblasti hromadné výroby.
|
|
Dotační podpora trvale udržitelného odpadového hospodářství
BEDNÁŘOVÁ, Renata
Předmětem práce je problematika odpadového hospodářství se zvláštním zřetelem na oblast recyklace stavebních a demoličních odpadů a nakládání s nimi. Východiskem je rozbor klíčových nástrojů usměrňování činnosti a chování tržních subjektů v dané oblasti směrem k naplňování celospolečenských priorit a principů trvale udržitelného rozvoje, kdy zvláštní důraz je v textu kladen na oblast dotačních politik a programů. Cílem dizertační práce je u vybraného dotačního programu analyzovat a vyhodnotit nastavení systému dotační podpory v ČR z hlediska ekonomické a ekologické efektivnosti s akcentem na posouzení dopadu na příjemce. Předmětem zkoumání bude prioritní osa 4 "Zkvalitnění nakládání s odpady a odstraňování starých ekologických zátěží" v rámci Operačního programu Životní prostředí 2007 - 2013. V literární rešerši jsou definovány základní pojmy a důležité definice, načež následuje zevrubná a komplexní rešerše problematiky z různých úhlů pohledu. Nejprve je pojednáno o globálním hledisku ochrany životního prostřední, jsou zde shrnuty širší historické, legislativní, ekonomické i politické souvislosti, jež jsou nezbytným fundamentem pro pochopení aktuálních i budoucích problémů v celosvětovém měřítku i v jednotlivých regionech. V dalším textu následuje podrobnější deskripce situace Evropské unii, načež přehled je završen detailním náhledem na stav problematiky v České republice. Následné kapitoly jsou věnovány podrobnému rozboru oblasti odpadového hospodářství, a to opět z hlediska globálního, evropského i národního, kdy na závěr je pohled zaostřen na z hlediska zaměření práce klíčovou problematiku stavebních a demoličních odpadů. V aplikační části je prostřednictvím čtyř stanovených hypotéz řešeno naplnění stanoveného cíle dizertační práce. Hypotézy ověřují účinnost a vhodnost nastavení systému dotačních titulů v rámci sledovaného programu. Důraz je kladen na posouzení dopadu přidělených dotací soukromým subjektům na jejich ekonomickou a ekologickou efektivnost.
|
|
Opera a nová média.
Gattringerová, Eliška ; KUSNJER, Ivan (vedoucí práce) ; PŘÍVRATSKÁ, Jiřina (oponent)
Autorka se ve své práci zaměřuje na problematiku opery v nových médiích. V úvodu práce definuje a charakterizuje pojem nová média. Dále se pak zaměřuje především na prezentaci oper prostřednictvím satelitních přenosů do kin v České republice, historií tohoto relativně mladého fenoménu a jeho postupným vývojem. Dalším tématem je pak možnost sledovat přímé přenosy či záznamy oper prostřednictvím internetu na stránkách jednotlivých divadel a jeho možnosti. V neposlední řadě se autorka zabývá také internetovými webovými stránkami, které se v České republice věnují operní problematice, jejich historii, obsahu i specifikům. Shrnuje i další možnosti prezentace opery. V závěru práce se autorka pokouší charakterizovat význam a přínos nových médií pro operu a operní publikum v současnosti.
|
|
Zajištění náhradního způsobu odvodů odpadu obklíčené nemovité věci v cizím areálu
Kvapil, Radek ; Štindl, Michal (oponent) ; Klika, Pavel (vedoucí práce)
V diplomové práci jsou řešeny možné způsoby odvádění a likvidace odpadních vod. Problematika odvádění odpadních vod vzhledem k životnímu prostředí je v posledních letech důkladně sledována a je zde patrná snaha o zlepšení současného stavu. Mezi vybrané, porovnávané varianty patří připojení na veřejnou kanalizaci, vybudování jímky nebo domovní čistírny odpadních vod. Závěr diplomové práce je věnován porovnání pořizovacích a provozních nákladů v čase a následnému vyhodnocení nejvhodnější varianty. Pro názornost a posouzení řešení, byla vybrána lokalita v katastrálním území Vysoké Mýto–Domoradice. V této lokalitě je plánovaná veřejná oddílná kanalizace a vzhledem k tomu, že se jedná o obklíčený pozemek, bude nutné tuto problematiku řešit.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (oponent) ; Křetínský, Mojmír (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a~sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improving the current state of the art in several dimensions. Our approach is based on using tree automata, but it is also partially inspired by some ideas taken from the methods based on separation logic. Apart from that, we also present multiple advancements within the implementation of various tree automata operations, crucial for our verification method to succeed in practice. Namely, we provide an optimised algorithm for computing simulations over labelled transition systems which then translates into more efficient computation of simulations over tree automata. We also give a new algorithm for checking inclusion over tree automata, and we provide experimental evaluation demonstrating
|
|
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
|
|
Optimalizace sledování síťových toků
Žádník, Martin ; Lhotka,, Ladislav (oponent) ; Matoušek, Radomil (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato disertační práce se zabývá optimalizací sledování síťových toků. Sledování síťových toků spočívá ve sledování jejich stavu a je klíčovou úlohou pro řadu síťových aplikací. S každým příchodem paketu je nutné aktualizovat hodnoty stavu, což zahrnuje přístupy do paměti. Vzhledem k vysoké propustnosti linek a obrovskému množství souběžných toků hraje přístup do paměti kritickou roli ve výkonnosti stavového zpracování síťového provozu. Tento problém se řeší různými technikami. Tyto techniky ale ve výsledku vždy požadují, aby nejblíže zpracování provozu byla nasazena paměť s nízkou odezvou, cache toků, schopná vyřídit všechny přístupy. Cache toků má proto omezenou kapacitu a její efektivní správa má zásadní vliv na výkonnost a výsledky zpracování síťového provozu. Vzhledem ke specifikům síťového provozu nemusí být stávající správy vhodné pro správu cache toků. Disertační práce se proto zabývá automatizovaným vývojem správy cache na základě reálného provozu dané sítě. Automatizace vývoje správy cache toků je realizována pomocí genetického algoritmu. Genetický algoritmus vyvíjí nová řešení a hodnotí je simulací nad vzorkem provozu z různých sítí. Navržený postup je ověřen na vývoji správ pro dva problémy. Prvním problémem je vývoj správy, která bude vykazovat celkově nízký počet výpadků stavů z cache toků. Druhým problémem je vývoj správy, která bude vykazovat velmi nízký počet výpadků u velkých toků. Optimalizace zakódování správy a experimenty s parametry genetického algoritmu ukázují, že je možné nalézt správy cache toků, které jsou optimalizované pro specifika daného nasazení. Nově vyvinuté správy poskytují lepší výsledky než ostatní testované správy. Z hlediska snížení celkového počtu výpadků je vyvinuta správa, která snižuje počet výpadků na konkrétní datové sadě až o deset procent vůči nejlepší porovnávané správě. Z pohledu snížení počtu výpadků u velkých toků je dosaženo vyvinutou správou až dvojnásobného snížení výpadků. Většina velkých toků (více než 90%) nezaznamenala při použití vyvinuté správy dokonce ani jeden výpadek. Rovněž během záplav nových toků, které se v síťovém provozu vyskytují v souvislosti se skenováním sítí a útoky, se ukazují velmi dobré vlastnosti vyvinuté správy. V rámci práce je rovněž navrženo rozšíření správy o využití doplňkové informace ze záhlaví příchozích paketů. Výsledky ukazují, že kombinací této informace lze počet výpadků u správ dále snižovat.
|
|
Povrchové úpravy skleněných vláken pro polymerní kompozity
Knob, Antonín ; Marek,, Aleš (oponent) ; Burša, Jiří (oponent) ; Čech, Vladimír (vedoucí práce)
Dizertační práce je zaměřena na přípravu polymerních kompozitů vyztužených skleněnými vlákny s řízenou mezifází tvořenou plazmově polymerovanými mezivrstvami na bázi tetravinylsilanu a směsí tetravinylsilanu s kyslíkem. Tenké polymerní vrstvy se specifickými fyzikálně-chemickými vlastnostmi a tloušťkou byly deponovány se záměrem zlepšení adheze na kompozitním rozhraní skleněné vlákno/polyesterová matrice. Povrchová modifikace skleněných vláken byla provedena s využitím plazmochemické depozice z plynné fáze (PECVD) využívající nízkoteplotního RF plazmatu. Proces byl kontrolován pomocí efektivního výkonu a depozičního času a výsledky vyhodnoceny ve vztahu k tloušťce mezivrstvy a různým depozičním podmínkám. Připravené mezivrstvy byly analyzovány z hlediska chemického složení fyzikálně-chemických vlastností za použití metod XPS, RBS, ERDA, FTIR a spektroskopické elipsometrie. Vybrané mechanické vlastnosti byly charakterizovány pomocí AFM. Mechanická odezva plazmových mezivrstev byla vyhodnocena pomocí testu krátkých trámečků a přímé metody testování smykové pevnosti na rozhraní využívající mikroindentaci. Smykové selhání mezifáze bylo kontrolováno dle experimentálních a modelových dat pomocí smykové pevnosti na rozhraní mezivrstva/vlákno.
|