|
Process analysis of production company
Budovský, Štefan ; Oškrdal, Václav (vedoucí práce) ; Kořínek, Rudolf (oponent)
Tématem této diplomové práce je procesní analýza výrobní společnosti. Hlavním cílem je popsat, namodelovat a zhodnotit současný stav procesů. Vedlejším cílem je návrh opatření a doporučení na základě zjištěných nedostatků. V teoretické části práce je popsané procesní řízení s následujícím vysvětlením metod a metodik modelování procesů. Další část bude věnovaná základním standardům pro vytváření procesních modelů. V praktické části této práce představím analyzovanou společnost a následně aplikuji metodu, jež vzešla z teoretické části. Po namodelování současného stavu navrhnu potřebné opatření a změny vedoucí k odstranění identifikovaných problémů.
|
|
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.
|
|
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.
|
|
Mezinárodní zapojení do procesu budování míru na Srí Lance
Mojžíš, Michal ; Havlová, Radka (vedoucí práce) ; Burešová, Jana (oponent)
Poslední měsíce občanské války na Srí Lance, 26 let trvajícího konfliktu mezi vládními silami a militantní separatistickou organizací Tygři osvobození tamilského Ílamu, jsou charakterizovány spácháním řady zločinů, jako jsou útoky na civilní obyvatelstvo, popravy válečných zajatců, nucená zmizení, odepření přísunu humanitární pomoci a verbování dětských vojáků. Přestože došlo k politickému sjednocení ostrova, napětí mezi etniky trvá a lidská práva menšin jsou nadále porušována. Protože pokusy zařadit téma Srí Lance do agendy Rady Bezpečnosti OSN selhaly na odporu Číny a Ruska, lidskoprávní orgány OSN v Ženevě převzaly vůdčí roli v procesu budování míru na ostrově. Tato diplomová práce se zabývá zapojením lidskoprávních orgánů v Ženevě, především Rady OSN pro lidská práva, do procesu národního usmíření na Srí Lance se zaměřením na určení odpovědnosti a potrestání pachatelů zločinů proti lidským právům v období od skončení konfliktu v roce 2009 až do současnosti. S účelem zařadit činnost Rady pro lidská práva do širšího kontextu se práce bude rovněž zabývat politickým vývojem na Srí Lance od skončení občanské války a neúspěšnými pokusy srílanských vlád nastartovat proces národního usmíření.
|
|
Uzavírání kupní smlouvy podle Úmluvy OSN o smlouvách o mezinárodní koupi zboží v komparaci s českou právní úpravou
Krčálová, Kristýna ; Boháček, Martin (vedoucí práce) ; Levý, Jan (oponent)
Tato diplomová práce se zabývá Úmluvou OSN o smlouvách o mezinárodní koupi zboží, známou také jako Vídeňská úmluva. Hlavním cílem je posoudit samotné podmínky aplikace této mezinárodní smlouvy a zhodnotit proces uzavírání kupní smlouvy v režimu Úmluvy včetně jeho podobností a odlišností s českou právní úpravou. V neposlední řadě práce hledá odpověď na otázku, která z úprav je pro uzavření mezinárodní kupní smlouvy spadající pod aplikaci Vídeňské úmluvy pro českou smluvní stranu výhodnější. Práce je rozdělena do pěti částí. První z nich představuje úvod do problematiky Vídeňské úmluvy a soustřeďuje se na její postupný vznik a vztah ČR k ní. Druhá kapitola mapuje samotné podmínky aplikace Úmluvy a vymezuje tak subjekty mezinárodní kupní smlouvy a její předmět. Třetí a čtvrtá kapitola postupně odkrývají jednotlivé fáze kontraktačního procesu (nabídku a přijetí) a to včetně relevantní judikatury. Poslední kapitola svým pojednáním o vzniku smlouvy kontraktační proces završuje a mimo jiné také zkoumá, jaký vliv na vznik a obsah smlouvy mají obchodní podmínky a to včetně jejich případného konfliktu v podobě tzv. bitvy formulářů.
|
|
Rozhodování o rodinném bydlení
Kačírková, Petra ; Brožová, Helena (vedoucí práce) ; Adam, Adam (oponent)
Tato diplomová práce se zabývá výběrem nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru pro rodinu s dětmi. Rodině měla být vybrána nemovitost v okolí svého momentálního bydliště a poté jí měl být doporučen k této nemovitosti nejvýhodnější hypoteční úvěr. Výběr nemovitosti byl ovlivněn požadavky všech členů rodiny a následný hypoteční úvěr byl vybrán z produktů nabízených na českém trhu v listopadu roku 2016. Práci lze tematicky rozčlenit do tří hlavních částí. První část obsahuje literární rešerši, která je rozdělena do dvou oblastí. Nejprve jsou popsány metody vícekriteriálního rozhodování, které budou použity v procesu rozhodování. Společně s těmito metodami obsahuje literární rešerše i teoretickou část z oblasti programu Super Decisions, který bude využit v praktické části. Dále jsou teoreticky zachyceny pojmy týkající se hypotečních úvěrů, podle nichž jsou poté stanovena kritéria pro hodnocení hypotečních úvěrů. Druhá část práce obsahuje již praktický pohled na problematiku rodiny, což zahrnuje tedy výběr nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru za pomoci programu Super Decisions. Třetí část práce zahrnuje shrnutí práce a interpretaci výsledků získaných díky programu Super Decisions.
|
|
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.
|
|
Mikrobiota trávicího traktu včel a příbuzného hmyzu a faktory ovlivňující její složení
Hroncová, Zuzana ; Havlík, Jaroslav (vedoucí práce) ; Kalous, Lukáš (oponent)
Disertační práce se skládá ze šesti výzkumných kapitol, z nichž pět již bylo publikováno ve vědeckých časopisech, jeden je v oponentském řízení a poslední kapitola představuje originální nepublikovaná data v procesu přípravy rukopisu.
Výzkum prezentovaný v této práci se zabývá složitými mechanismy imunitního systému včel a vos, se zaměřením na mikrobiotu jako součást imunity. Jak je popsáno v úvodu, sociální hmyz, jako včely a čmeláci, hrají klíčovou roli v ekosystémech po celém světě. Nedávné ztráty včel jsou připisovány používání pesticidů, špatné výživě, zvýšenému infekčnímu tlaku a ničení přírodních stanovišť. Během několika posledních let se včelaři i široká veřejnost zabývají úbytky včelstev po celém světě a dožadují se dalšího výzkumu zaměřeného na řešení těchto problémů. Naším hlavním cílem bylo prozkoumat vazby střevní bakteriální populace včel a příbuzných druhů, jejich propojení s imunitou a zjistit možnosti ovlivnění těchto vztahů prostřednictvím suplementace. Součástí cíle bylo charakterizovat střevní mikrobiotu čmeláků a vos pomocí 16S RNA sekvenování, použitého při hledání potenciálně nových bakteriálních druhů.
V práci jsme se snažili objasnit, jak mikrobiom interaguje s hostitelem a prokázat, že hlavní členy těchto komunit ho pozitivně ovlivňují. Bakteriální komunity nacházející se v trávicím traktu včel, jsou ideálním modelem pro zkoumání evolučních a genetických vztahů. Informace založené na našich výsledcích můžou díky objasněným fyziologickým podmínkám v trávicím traktu včel pomoci při vývoji vhodných probiotických preparátů.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
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.
|
host ::
