|
|
Variace a další změny závazku podle vzorů FIDIC ve veřejných zakázkách
Müller, Petr ; Klee, Lukáš (vedoucí práce) ; Brodec, Jan (oponent)
Variace a další změny závazku podle vzorů FIDIC ve veřejných zakázkách Abstrakt Tato práce se zaobírá variacemi a dalšími změnovými instituty dle Červené knihy FIDIC (CONS nebo také FIDIC Red book) uplatňovanými v režimu zákona č. 134/2016 Sb., o zadávání veřejných zakázek, ve znění pozdějších předpisů. Hlavním cílem této práce je analýza možnosti efektivně realizovat komplexní výstavbové projekty v českém právním prostředí, a to zejména s ohledem na skutečnost, že se individuální komplexní výstavbové projekty potýkají v jejich realizační fázi s nutností měnit vyprojektované dílo, cenu za dílo, ale i dobu dokončení a předání díla z důvodu výskytu nepředvídatelných nebo nepředvídaných okolností. Právo veřejných zakázek přitom s odkazem na principy volné hospodářské soutěže a z důvodu zajištění efektivity nakládání s veřejnými prostředky, možnost měnit smlouvu na veřejnou zakázku omezuje doktrínou podstatné a nepodstatné změny. Velké výstavbové projekty přitom mnohdy překračují předpokládanou hodnotu veřejné zakázky o více než 100 %, což činí velký tlak na správné a zákonné podřazování změn pod zákonné důvody změny smlouvy na veřejnou zakázku dle § 222 zákona o zadávání veřejných zakázek. Práce je strukturována do čtyř kapitol. První kapitola definuje pojem výstavbový projekt a věnuje se jeho specifikům a...
|
|
|
Metodický postup zavedení doporučovacího systému s využitím nástroje Soyka
Müller, Petr ; Gála, Libor (vedoucí práce) ; Fanta, Michal (oponent)
Tato diplomová práce se zabývá problematikou personalizace obsahu, specificky doporučovacími systémy. Cílem práce je navrhnout metodický postup zavedení doporučovacího systému v prostředí elektronického obchodování s využitím IT nástroje Soyka. Na základě teoretického vymezení doporučovacích systémů a jejich technologických přístupů jsou identifikovány funkce personalizačních nástrojů, které přímo souvisí s doporučovacími systémy. Dle identifikovaných funkcí je vymezena pozice nástroje Soyka, který je předmětem navrženého metodického postupu. Přínosem práce je vytvoření a publikace metodického postupu, který lze využít v praxi, a to všemi osobami, které jsou zainteresované na projektech zavádění nástroje Soyka.
|
|
|
Vznik a formování Jižního Súdánu
Müller, Petr ; Romancov, Michael (vedoucí práce) ; Daniel, Jan (oponent)
Tato bakalářská práce se zabývá formováním a vznikem Jižního Súdánu. Její obecná část si bere za cíl popsat základní instituty mezinárodního práva veřejného týkající se vzniku suverénního státu. Tato tvoří podklad pro zvláštní část, jež se věnuje skutečnostem, díky kterým se Jihosúdánská republika zformovala a následně vznikla secesí v rámci referenda. Zvláštní část práce tak definuje jednotlivé faktory vedoucí ke vzniku tohoto státu, historické souvislosti, otázku koncepce státních hranic v Africe a faktor diverzity obyvatelstva v tehdy jednotném Súdánu. Stěžejní kapitolou je poté kapitola věnující se vůli a motivaci mezinárodního společenství, přesněji tedy států RB OSN a Africké unie. Na základě výše zmíněných faktorů pak vznikla Jihosúdánská republika, jež se potýká s četnými problémy, mezi které patří nedostatečná infrastruktura, nízké procento gramotnosti obyvatel, nedostatečná úroveň zdravotnictví atd. Tento vznik také způsobil značné změny a ekonomické problémy Súdánu. Tato práce by tedy měla jasně definovat motivace a zájmy jednotlivých aktérů na tomto území, které vedly k samotnému vzniku Jižního Súdánu a jeho brzkému přijetí do OSN a AU.
|
|
|
Toskové a Gegové v Albánii a jejich pohled na Albánce v okolních státech
Müller, Petr ; Kokaisl, Petr (vedoucí práce) ; Štolfová, Andrea (oponent)
Tato práce zkoumá etnickou identitu Albánců uvnitř i vně Albánie prostřednictvím kvalitativního výzkumu. Vychází z terénního výzkumu provedeného v Albánii a Kosovu. Práce sleduje několik základních etnodiferenciačních znaků a jejich relevanci při konstruování etnické identity vybrané skupiny žijící v Albánii a Kosovu. Zaměřuje se na otázku jazyka, náboženství, historické paměti, politiky, etnických stereotypů a subjektivního vnímání vlastního etnického vědomí.
|
|
|
Hodnocení účinnosti separačního zařízení při separaci semen z matolin
Müller, Petr
Tato diplomová práce byla zaměřena na hodnocení účinnosti separačního zařízení při separaci semen z matoliny. V první kapitole je popsána charakteristika matoliny a jak se získává. Ve druhé kapitole byla práce zaměřená na možnosti využití matoliny v oblasti odpadového hospodářství a potravinářském průmyslu. V následující kapitole se práce zabývá technologii separace a její technické zabezpečení, kde jsou popsány jednotlivé technologie a postupy separace. Dále práce poukazuje na technologické možnosti sušení semen révy vinné po separaci. V experimentální části je práce zaměřená na hodnocení separace u vybraných odrůd. Toto hodnocení je doplněno tabulky a grafy o výsledcích pokusu. V poslední kapitole se diplomová práce zaměřuje na stanovení nákladů na separaci semen a návrhem technologické linky pro střední a velké vinařské provozy. Technologické provozy jsou doplněné o modelové návrhy mobilní a stacionární linky.
|
|
|
Použití Peltierových článků pro tepelné cyklování
Müller, Petr ; Starý, Jiří (oponent) ; Šandera, Josef (vedoucí práce)
Předkládaná práce se zabývá použitím Peltierových článků pro tepelné cyklování při provádění zrychlených zkoušek na pracovišti pro termomechanické namáhání pájených spojů. Jejím základem je popis jednotlivých částí pracoviště. Je uveden Peltierův jev a jsou popsány Peltierovy články, které tvoří základ pracoviště. Jsou rozebrány možné způsoby řízení pracoviště a shrnuty jejich výhody a nevýhody. Byl sestaven a popsán systém zadávání teplotních cyklů spolu s elektronikou indikující poruchu článku.
|
|
|
Nástroj pro vyhodnocení kvality příspěvků projektů open-source
Špigel, Radim ; Müller, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá zjištěním kvality příspěvků při vývoji open-source projektů napsaných v jazyce Python. Zjištění této kvality je prováděno pomocí nástrojů pro statickou analýzu a hypotetickým algoritmem založeným na době, jakou daný příspěvek vydržel nezměněn. Taktéž se tato práce věnuje verzovacím systémům, zvláště pak distribuovanému systému Git. Dále jsou zde rozebrány základní softwarové metriky a vizualizační knihovna D3.
|
|
|
Studie frameworku Lombok
Paštrnák, Ján ; Müller, Petr (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se věnuje frameworku Lombok a jeho využití pro vývoj Java programů. Framework Lombok umožňuje generování primitivního, často se opakujícího kódu, během překladu anotovaného kódu. Pomoci anotací programátor specifikuje, co a kde má framework při překladu generovat. Tato práce se zabývá vysvětlením základních principů frameworku a návrhem testů, které ukážu praktické aspekty jeho použití při tvorbě Java programů. Důraz je kladen zejména na odhad ušetřeného času vývoje prostřednictvím Lomboku, studium jeho vlivu na proces překladu a testování integrace frameworku se třemi vývojovými prostředími - NetBeans, Eclipse a InteliJ IDEA. Práce tak shrnuje pozitiva i negativa využití tohoto frameworku v praxi.
|
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (oponent) ; Müller, Petr (vedoucí práce)
This thesis engages in detection of undefined behavior in the C language programs. We focus on undefined behavior stemming from incorrect work with sequence points and side effects. We perform a theoretical analysis and put terms like undefined behavior or side effect in context of the paper. Furthermore, we explain dangerousness of the constructs leading to undefined behavior. We propose a method for automated detection of the mentioned kind of undefined behavior. Finally, we design and implement a tool for its automated static detection and show the principles of the tool’s function. While designing the tool, contrary to current solutions, we stress functionality even in cases like accessing the memory via a pointer or from a called function. The thesis contains examples of dangerous constructs, functions of the created tool are demonstrated on some of them.
|
|
|
Webový nástroj pro správu výsledků dlouhodobého testování
Matys, Filip ; Smrčka, Aleš (oponent) ; Müller, Petr (vedoucí práce)
Mnoho softwarových projektů prochází dlouhým vývojem, proto vyžadují rozsáhlé testovací sady pro automatizaci testování. Tyto testovací sady často neprochází celé a je potřeba jejich výsledky s časem shromažďovat a následně analyzovat, jak se daná testovací sada chovala dříve. V rámci bakalářské práce byl implementován webový nástroj, který umožňuje zpracování výsledků testovacích sad, které zařazuje do kontextu vývoje a umožňuje jejich analýzu. Díky své modularitě není závislý na konkrétním formátu výsledků. V práci jsou použity moderní nástroje pro tvorbu uživatelského rozhraní, a to AngularJS a Foundation, pomocí kterých bylo docíleno rychlejší odezvy systému a schopnosti přizpůsobit se obrazovkám mobilních zařízení. Pro demonstraci možností nástroje byly implementovány tři zásuvné moduly různých formátů výsledků testovacích sad. Výsledný nástroj byl nasazen na službu OpenShift, kde byla importována data z výsledkových sad SystemTap a glibc testsuite a na dvou případových studiích byl prezentován jeho přínos.
|
host ::
RSS.