|
Draft business strategy at the selected organization
Suska, Karel ; Regnerová, Olga (advisor) ; Zdeněk, Zdeněk (referee)
This diploma thesis deals with business strategy of company Autocentrum Elán, Ltd. which should strengthen its competitiveness and provide direction and possibilities for the following period. This work is based on theoretical knowledge and describes analyses of company environment and mainly internal sources and company capabilities. The analytical part deals with the preparation of a company business strategy draft based mainly on analysis of current situation and its evaluation. The greatest emphasis is on development of operating leases when selling the new Škoda cars on which other stages and points of proposed strategy are based on.
|
|
Design of Experiment for Non-Stationary Processes of Production
Jadrná, Monika ; Macák, Tomáš (advisor)
The doctoral thesis is concerned with the services sector and the area of mass production. Particularly, the optimization of the product portfolio of the travel agency and the optimization of production rounds of ammunition.
The theoretical part deals with the current overview of discussed topic. Further, the terminology and methods of the decision-making process are defined to support decision making. The theoretical basis of research focused on the choice of appropriate input variables in the area of services, and on the choice of a particular material option in the production area and appropriate equipment for the production. The theoretical part forms the basis for the practical part of the thesis.
For the doctoral thesis was chosen an enterprise operating in the defined sector. Product portfolio for the services sector is optimised using Fuzzy logic and Fuzzy sets so that the enterprise can maintain its competitiveness in todays highly ambitious market. Product portfolio for manufacture is optimised for achieving desired properties of the product.
The main aim of the thesis is to propose a new methodological approach for the management of selected business processes in their nonstationary time course. The aim of the practical implementation is to verify the functionality of the proposed methodological approach, both in the area of services and in the field of mass production.
|
|
Subsidy Support of the Sustainable Waste Management
BEDNÁŘOVÁ, Renata
The subject of the dissertation is the issue of the waste management with special emphasis on the recycling of the construction and demolition waste. The recourse is an analysis of the key instruments regulating the activities and behaviour of market operators in this field toward fulfilling all-society priorities and principles of the sustainable development, where special accent is put on the area of subsidy policies and programmes. The aim of the dissertation is to analyse and evaluate the setting of the selected subsidy programme in terms of economic and ecological efficiency with the emphasis on the assessment of the impact on the recipient. The subject of the research will be a priority axis 4 "Improvement of Waste Management and Removal of Old Environmental Burdens" within the Operational Programme Environment 2007 - 2013. In the literature review basic concepts and important definitions are defined, followed by the comprehensive and complex searches of the problematics from different angles of view. First of all, the global aspect of environmental protection is discussed, broader historical, legal, economic and political contexts, that are essential fundament for understanding the current and future challenges both globally regionally, are summarized. Hereafter, a more detailed description of the situation of the European Union is followed, then the overview is completed by a detailed view at the state of the problematics in the Czech Republic. Subsequent chapters are devoted to a detailed analysis of the waste management sector, again in terms of global, European and national standpoint, in the end the view is focused on the key issue of the dissertation problematics of construction and demolition waste. In the application part the fulfilling of the stated objective of the dissertation through four defined hypothesis is solved. Hypotheses verify the efficiency and appropriateness of the setting of the system of subsidies in the frame of the monitored programme. The emphasis is imposed on the assessment of the impact of the allocated subsidies to the private entities on their economic and environmental efficiency.
|
|
Opera and new media
Gattringerová, Eliška ; KUSNJER, Ivan (advisor) ; PŘÍVRATSKÁ, Jiřina (referee)
The author is focusing on issues of opera in new media in her work. The introduction defines and decribes the concept of new medias. After that, author is especially focusing on presentation of operas which are broadcasted live into Czech cinemas, history of this relatively young phenomenon and its gradual develepment. As a next topic mentioned in the author's work is possibility to watch live broadcasts or records via particular websites of theatres. Finally, the author is describing internet websites, which are dealing with the opera issues, history, content and specifics. The author is summarizing other options how to present opera.At the end of the work, the author is trying to characterize meaning and benefits of the new medias for today's opera and opera audience.
|
|
Provision of alternative refuse collection for a real estate surrounded by foreign property
Kvapil, Radek ; Štindl, Michal (referee) ; Klika, Pavel (advisor)
The thesis deals with possible ways of drainage and wastewater disposal. The issue of wastewater discharge to the environment has been closely monitored in recent years, and there is an apparent effort to improve the current situation.The dissertation discusses and compares three selected options – access to improved sanitation, building reservoirs and domestic wastewater treatment plant.The final section is dedicated to a comparison of acquisition and operating costs over time and to subsequent evaluation of the most suitable option. For the sake of clarity and assessment of potential solutions, the locality in the administrative area Vysoké Mýto - Domoradice has been selected as a model. The local authorities have been designing a public storm sewer, and given that it is surrounded by land, this issue will need to be addressed.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
|
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.
|
|
Optimization of network flow monitoring
Žádník, Martin ; Lhotka,, Ladislav (referee) ; Matoušek, Radomil (referee) ; Sekanina, Lukáš (advisor)
The thesis deals with optimization of network flow monitoring. Flow-based network traffic processing, that is, processing packets based on some state information associated to the flows which the packets belong to, is a key enabler for a variety of network services and applications. The number of simultaneous flows increases with the growing number of new services and applications. It has become a challenge to keep a state per each flow in a network device processing high speed traffic. A flow table, a structure with flow states, must be stored in a memory hierarchy. The memory closest to the processing is known as a flow cache. Flow cache management plays an important role in terms of its effective utilization, which affects the performance of the whole system. This thesis focuses on an automated design of cache replacement policy optimized to a deployment on particular networks. A genetic algorithm is proposed to automate this process. The genetic algorithm generates and evaluates evolved replacement policies by a simulation on obtained traffic traces. The proposed algorithm is evaluated by designing replacement policies for two variations of the cache management problem. The first variation is an evolution of the replacement policy with an overall low number of state evictions from the flow cache. The second variation represents an evolution of the replacement policy with a low number of evictions belonging to large flows only. Optimized replacement policies for both variations are found while experimenting with various encoding of the replacement policy and genetic operators. The newly evolved replacement policies achieve better results than other tested policies. The evolved replacement policy lowers the overall amount of evictions by ten percent in comparison with the best compared policy. The evolved replacement policy focusing on large flows lowers the amount of their evictions two times. Moreover, no eviction occurs for most of the large flows (over 90%). The evolved replacement policy offers better resilience against flooding the flow cache with large amount of short flows which are typical side effects of scanning or distributed denial of service activities. An extension of the replacement policy is also proposed. The extension complements the replacement policy with an additional information extracted from packet headers. The results show further decrease in the number of evictions when the extension is used.
|
|
Surface modification of glass fibers for polymer composites
Knob, Antonín ; Marek,, Aleš (referee) ; Burša, Jiří (referee) ; Čech, Vladimír (advisor)
The doctoral thesis is aimed at preparation of glass fiber reinforced polymer composites with controlled interphase formed by plasma-polymerized tetravinylsilane and tetravinylsilane/oxygen thin films. The thin polymer films of specific physico-chemical properties and thickness were deposited to improve interfacial adhesion of glass fiber/polyester composites. The fiber surface modification was performed by using plasma enhanced chemical vapor deposition in low-temperature RF plasma operating in an various effective power range and different treatment time. Test results were examined in relation to the interlayer thickness and different treatment conditions. The prepared interlayers were analyzed to evaluate physico-chemical composition and properties (XPS, RBS, ERDA, FTIR and spectroscopic elipsometry). Selected mechanical properties were evaluated by AFM. Mechanical response of plasma interlayers was evaluated by short beam shear test and direct method of testing the interfacial shear strength using microindentation. The interphase shear failure was controlled by the shear strength at the interlayer/fiber interface as follows from experimental and model data.
|
guest ::
