|
Checking Primitive Component Behavior
Klika, David ; Parízek, Pavel (oponent) ; Kofroň, Jan (vedoucí práce)
Software model checking je metoda ověřování vlastností programů a tedy zajišťování jejich vyšší spolehlivosti. Je však stále nutné dělit programy na části ověřované nezávisle, Nebot' úplné programy tvoří často příliš velký stavový prostor, který není možné prozkoumat v rozumném čase. Softwarové komponenty dělí aplikace na čáasti vhodným způsobem. Ale vzhledem k tomu, jak fungují model checkery, je nutné jim poskytnout vhodné prostředí pro ověření každé komponenty. Pro popis chování komponent vznikly behavior protokoly. Umožňují ověřovat kompatibilitu a shodu chování komponent - to se používá již při návrhu aplikací pro odhalení možných nevhodných použití komponent. Protokoly jsou také vhodné jako popis chování komponenty, který může být srovnán s chováním konkrétní implementace komponenty. Cílem této pr¶ace je poskytnout nástroj pro srovnání chování primitivní komponenty oproti její specifikaci. V rámci toho bude implementován generátor prostředí komponent podle frame protokolu, které umožní rozpoznat porušení specifikace chování. Bude použit Java PathFinder a Fractal component model.
|
|
Morální hazard ve správě společností
Mencnarowská, Lucie ; Malý, Milan (vedoucí práce) ; Ježek, Tomáš (oponent)
Diplomová práce se zabývá analýzou morálního hazardu ve správě společností. Uvádí dosavadní teoretické poznatky z dané oblasti nutné pro základní pochopení problematiky. Předmětem studia diplomové práce jsou čtyři příklady společností, které zkrachovaly v důsledku morálního hazardu jejich manažerů: Enron, WorldCom, Parmalat a IPB. Konkrétní případy morálního hazardu top managementu jsou detailně popsány, analyzovány a jsou zmíněny jejich dopady na chod společností. K hodnocení případu jsou použity Zásady OECD pro správu společností. Na závěr práce jsou zmíněny dopady na legislativu upravující správu společností jako návrhy na řešení dané problematiky.
|
|
Problematika osobnosti pachatele v kriminologii
Špiritová, Stanislava ; Novotný, Oto (vedoucí práce) ; Gřivna, Tomáš (oponent)
v českém jazyce Tato diplomová práce se zabývá tématem osobnosti pachatele v kriminologii. První kapitola je zaměřená na základní pojmy jako je kriminologie, pachatel a kriminalita, které je nutné pochopit pro možnost podrobnějšího zkoumání dané problematiky. Následuje kapitola o základních relevantních kriminologických teoriích a na ní navazující pojednání o typologiích pachatelů. V třetí kapitole se zabývám samotným pojmem osobnosti, její struktury, metodu zkoumání osobnosti BASIC ID a motivací trestného činu. Na závěr se věnuji problematice kriminality mládeže. Diplomová práce též obsahuje tabulky a grafy k řešeným problémům.
|
|
Šlikové. Majetková struktura panství a společenské postavení rodu do roku 1487
Novotný, Michal ; Bobková, Lenka (oponent) ; Ledvinka, Václav (vedoucí práce)
Ve své diplomové práci se zabývám dějinami rodu Šliků, hrabat z Pasounu a Holíče, od jeho prvního vystoupení v dějinách od konce 14. století do roku 1489. Hlavním těžištěm zde bude významný společenský vzestup tohoto původně patricijského chebského rodu a s tím spojené konstituování pozemkové držby rodu na historických územích patřících tehdy Českému království: Chebska, Loketska a českých lén na území Míšeňského markrabství. Vzhledem k tomu, že tomuto tématu nebyla v české, ale ani německé, literatuře doposud věnována dostatečná pozornost, bude nutné v rámci úvodu upozornit na metodologická úskalí, která se během práce objevila. Nástup Šliků do dějin je součástí rozsáhlých proměn ve společenské a hospodářské struktuře českých zemí za období husitství. Rozsáhlé majetkové a sociální přesuny jsou běžným pozadím takových politických událostí. Nová šlechta se objevila jako konkurent tradičním panským rodům doby předhusitské a rekrutovala se nejen z řad šlechty nižší (vladyků - rytířů či panošů), I ale i z příslušníků městských patriciátů, a to na úkor církevního a královského majetku. Přes běžnost takových změn přece Šlikové netvoří zcela obvyklý příklad těchto procesů. Příběh Kašpara Šlika, původce slávy rodu, je svým způsobem ojedinělý. Jedná se totiž o případ tak hvězdné kariéry, že vzbuzoval údiv již u...
|
|
Studium adsorpce atomů kovů na povrchu Si(111) 7x7 pomocí STM
Setvín, Martin ; Ošťádal, Ivan (vedoucí práce) ; Nehasil, Václav (oponent)
Cílem práce je studium přeskoků jednoho atomu stříbra mezi adsorpčními pozicemi uvnitř půlcely povrchu Si(111) rekonstrukce 7×7. Z jejich studia je možné určit aktivační energie a frekvenční prefaktory pro přeskoky mezi jednotlivými pozicemi. V rámci přípravy experimentu bylo nutné upravit nízkoteplotní STM (Scanning Tunelling Microscope). Upraven byl zejména systém chlazení vzorku a inerciální motor sloužící pro hrubé přiblížení vzorku ke hrotu. Dále byly zlepšeny vakuové vlastnosti aparatury. Bylo dosaženo výrazného pokroku v metodice přípravy leptaných wolframových hrotůpro STM a dalšího zacházení s nimi. Pozornost byla věnována především vlivu autoemise na hrot. V komoře nízkoteplotního STM se nepodařilo vytvořit rekonstrukci 7×7 - povrch potřebný pro studium adsorpčních pozic. Důvodem je pravděpodobně nedostatečné odplynění vzorku. Tato práce obsahuje podrobný teoretický rozbor problému určování aktivačních energií a frekvenčních prefaktorů. Jsou zde popsány výsledky testu metody studia přeskoků atomů pomocí šumu tunelového proudu.
|
|
Secretory pathway of plants in pathogene defence
Sabol, Peter ; Burketová, Lenka (oponent) ; Kulich, Ivan (vedoucí práce)
Rastliny sú sesilné organizmy a preto sa musia vysporiadať so zmenami v ich bezprostrednom okolí. Medzi takéto zmeny patria rôzne abiotické stresy a disturbancie, ale aj biotické interakcie s inými organizmami. Mnohé biotické interakcie zahrňujú poškodzovanie rastlinných buniek hubovým alebo bakteriálnym patogénom. Rastliny navyše nemajú mobilné bunky imunitného systému. Napriek tomu si vyvinuli iné mechanizmy na potlačenie infekcie. Aktivovanie komponentov sekretorickej dráhy pri napadnutí patogénom predstavuje kľúčový krok obrannej odpovede. Hubové patogény, ako napr. skupina powdery mildews, obvykle penetrujú bunkovú stenu rastlinnej bunky a tak získavajú prístup k živinám poskytovaným protoplastom a zároveň dodávajú virulentné faktory. Patogénne baktérie sa naopak množia v extracelulárnych priestoroch. V obidvoch prípadoch však bola pozorovaná spoločná odpoveď, a to tvorba obrannej papily. V nedávnej dobe boli opísané SNARE proteíny zúčastňujúce sa na obrannej odpovedi súvisiacej s tvorbou papily. Konkrétny záujem je venovaný PEN1 a SNAP33 syntaxínom cytoplazmatickej membrány. Akumulácia týchto proteínov v papile bola potvrdená na základe pozorovaní pomocou transmisnej elektrónovej a fluorescenčnej mikroskopie. Zároveň bol navrhnutý mechanizmus akumulácie PEN1 a SNAP33 syntaxínov v papile...
|
|
Představy o postavě v souvislosti se somatotypem herce
Necpál, Michal ; SOMEŠ, Jaroslav (vedoucí práce) ; PLEŠTILOVÁ, Miroslava (oponent)
Předmětem této práce je poukázat na problém s obsazováním herců podle jejich somatotypu a omezování jejich tvůrčího já. Uvádím problematiku na příkladech herců mně blízkých, jak už filmových, tak divadelních. Zabývám se ve své práci negativy i pozitivy hereckých typů, hlouběji zacházím do komediálního využití vnějších tělesných dispozic a popisuji hereckou techniku přístupu k vytvoření postavy. Hlavní část věnuji vlastní sebereflexi, ve které se snažím odhalit svůj vlastní vývoj s pomocí přidělených postav z průběhu studia činoherního herectví na DAMU
|
|
Marketingová strategie společnosti Vitana,a.s.
Šafaříková, Petra ; Postler, Milan (vedoucí práce) ; Kovářová, Irena (oponent)
Diplomová práce se zabývá marketingovou strategií společnosti Vitana při uvedení řady Natur na český trh a jejím cílem bylo navržení vylepšení této strategie tak, aby došlo ke zlepšení stávajícího postavení řady Natur. V úvodní teoretické části jsou rozebrány základní marketingové pojmy nutné k pochopení části praktické. Dále práce pojednává obecně o značce Vitana, jejím produktovém portfoliu a postavení v rámci konkurence. Stěžejní část je věnována uvedení řady Natur na český trh, analýze její současné situace a vlastnímu výzkumu. V závěru jsou uvedeny výsledky výzkumu spolu s doporučeními a návrhy na vylepšení marketingové strategie.
|
|
Budování a využívání menších počítačových sítí
Straka, Martin ; Pinkas, Otakar (vedoucí práce) ; Šmejkal, Ivo (oponent)
Hlavním účelem této bakalářské práce je popsat postupnou stavbu počítačové sítě a její fungování včetně teorie nutné k určení metodického postupu kroků. Teorie zabývající se takovou funkčností je získaná z internetových zdrojů a literatury popsaných v práci samotné a praktická složka je modelovaná na síti za využití podobných prostředků, které jsou k dispozici na pracovišti, pro které je navržena. Práce samotná se zabývá návrhem a sestavením sítě pro podnik malého rozsahu, který nicméně může využít vyšších funkčností sítě typu klient-server a kontroly provozu na ní. Druhý cíl se týká výběru a nastavení softwarových služeb nutných nebo pomocných k fungování cílů takového podniku a ve finální části jde o rozšíření sítě za použití VPN.
|
|
Psychosomatika a slovní jednání
Hacurová, Eva ; SZYMIKOVÁ, Regina (vedoucí práce) ; PLEŠTILOVÁ, Miroslava (oponent)
Ve své magisterské práci se zaměřuji na psychosomatické, vnitřní a vnější, předpoklady herce, které jsou neodmyslitelnou součástí hereckého talentu. Zabývám se otázkou, do jaké míry je herecký výkon ovlivňován povahou člověka, jeho vlastnostmi a charakterem. Práce je zkoumáním vztahu mezi tělem a psychikou a to především jejího vlivu na vytváření herecké postavy v průběhu zkušebního procesu a celkového mluvního i fyzického jevištního jednání. Pojmenovávám nejen své vlastní herecké předpoklady, ale i problémy, které mě provázely v průběhu studia, ať už v klauzurních, tak i v absolventských rolích v divadle Disk.
Poukazuji na herecké zlozvyky, rizika vztahů s hereckými partnery a tvůrčím kolektivem i na nutnost výkonávat profesi zodpovědně a umělecky, uvědomovat si své přednosti i nedostatky a cíleně pracovat na jejich odstranění.
|
host ::
