|
Maska, převlek a autorská hra na role v současném fotografickém autoportrétu u nás a ve světě
Helfertová, Žofie ; SILVERIO, Robert (vedoucí práce) ; DVOŘÁK, Tomáš (oponent)
Bakalářská práce se zabývá rolí masky, převleku a autorskou hrou na role v současném fotografickém autoportrétu u nás i ve světě. V prvních kapitolách sleduje obecný vývoj a stručnou historii autoportrétu ve fotografii a jeho podoby a tendence až po současnost, dále je zaměřena na masku obecně a roli masky a převleku v dějinách fotografie. Stěžejní částí této práce je poslední kapitola, která se věnuje nejmladší generaci současných fotografek. Ty ve svých autoportrétech projevují tendenci používat masku a převlek pro záměnu své identity. Nevytvářejí ovšem identity nové, ale přejímají, či tvoří iluzi již existujících, definovaných identit. Cílem této práce je představit masku jako prostředek hry s identitou skrze autoportrét.
|
|
Činnost a fungování Nové sítě, z.s.
Tyl, Jan ; PROKOP, Petr (vedoucí práce) ; SULŽENKO, Jiří (oponent)
Abstrakt
Bakalářská práce s názvem Činnost a fungování Nové sítě, z. s. si klade za cíl detailní rozbor této kulturní sítě. Jaké cesty volí, jak naplňuje své vize, atd. Popsat vznik organizace, motivace a dílčí kroky, které Nová síť ke svému současnému fungování podnikla. Jak jednotlivé části organismu přemýšlejí a jak spolu kooperují.
Věnuje se organizační struktuře, v jakých podmínkách existuje. Chce souhrnně vypsat přehled činností, kterým se věnuje. Rozkrýt zdroje financování. To vše
v návaznosti na představení jiných evropských kulturních networků. Konkrétně IETM, Trans Europe Halles a IN SITU. V závěru práce nastínit další směřování Nové sítě.
|
|
Etienne Decroux a jeho metoda Le Mime Corporel
Šimon, Lukáš ; VIZVÁRY, Radim (vedoucí práce) ; SOPROVÁ, Jana (oponent)
Tato práce pojednává o životě a díle Etienna Decrouxe, jednoho z nejvýznamnějších francouzských reformátorů divadla a jeho metodě Le Mime Corporel, která dodnes tvoří základ moderní pantomimy. Decroux je známý ve světě jako vynikající mim, režisér, pedagog, teoretik a reformátor divadla. Jeho přínos pro vývoj evropského divadla v minulém století je velmi významný, zejména pro mimické divadelní žánry. Práce přibližuje čtenáři Decrouxovu osobnost a jeho přínos pro pantomimu vytvořením nové metody mimického divadla - Le Mime Corporel. Další náplní práce je zmapovat významné vlivy různých osobností na umělecký vývoj Etienna Decrouxe, popsat základní prvky formující metodu Le Mime Corporel a porovnání s jinými žánry pohybového divadla.
|
|
Nájem bytu manželi a užívání družstevního bytu manželi v nové úpravě po 1.1.2014
Prantlová, Soňa ; Kadlecová, Eva (vedoucí práce) ; Pavla, Pavla (oponent)
Diplomová práce se věnovala tématu nájmu bytu manželi a jeho užívání tak, jak je to zakotveno v nové zákonné úpravě občanského zákoníku č. 89/2012 Sb. Ten nahradil do té doby fungující občanský zákoník z roku 1964. V nové právní úpravě je zakotvena řada nových institutů, jejichž cílem je především ochránit slabší stranu, v tomto případě nájemce. Diplomová práce byla rozčleněna na teoretickou a praktickou část. V teoretické části byla věnována pozornost základním pojmům, které zde byly definovány. Byla zde charakterizována práva nájemce a pronajímatele. Byla rozebrána právní úprava bydlení dle nového občanského zákoníku. Praktická část se věnovala interpretaci výsledků dotazníkového šetření. Byli osloveni nájemci několika bytových domů ve městě Kralupy nad Vltavou. Na základě dosažených zjištění byla navržena některá doporučení pro zvýšení informovanosti o právech a povinnostech nájemců, jakož i o celé problematice bydlení z právního hlediska.
|
|
Dílčí zpráva IV/2016 - Hodnocení monitoringu napěťodeformačního stavu horninového masivu při dobývání sloje 30 (634) v rámci zkušebního provozu dobývací metody chodba - pilíř v OPJ Dolu ČSM - SEVER
Waclawik, Petr ; Ptáček, Jiří ; Kukutsch, Radovan ; Kajzar, Vlastimil ; Koníček, Petr ; Souček, Kamil ; Staš, Lubomír
Monitoring napěťodeformačního stavu horninového masivu je nezbytným předpokladem pro ověření nové neschválené dobývací metody chodba-pilíř a jejího dalšího použití v podmínkách české části hornoslezské uhelné pánve. Tato dobývací metoda je projektována pouze na základě zkušeností a postupů, které jsou ověřeny v odlišných přírodních podmínkách a hloubkách pod povrchem a proto je nezbytná její verifikace pro podmínky české části hornoslezské pánve na základě geotechnického monitoringu. Předkládaná zpráva je zpracována na základě smlouvy o dílo č. 942/50/10, kde se Ústav Geoniky AV ČR, v.v zavazuje provádět pravidelné vyhodnocování dat monitoringu napěťodeformačního stavu horninového masivu. V souladu s výše uvedenou smlouvou, je zpráva zpracována v 6-ti měsíčním intervalu a navazuje tak na dílčí zprávu III/2015 (Waclawik et al. 2015) předanou odběrateli v dubnu tohoto roku. Průběžné výsledky geotechnického monitoringu, tak jak zkušenosti získané v době dobývání první dobývky V, ukazují na specifika přírodních podmínek v lokalitě zkušebního provozu nové neschválené dobývací metody chodba-pilíř.
Plný tet: UGN_0464907 -  PDF
Plný text: content.csg - PDF
|
|
Optické vláknové senzory a svařování optických vláken
Jelínek, Michal ; Mikel, Břetislav
Vyvinuli jsme nové metody a techniky pro svařování a tvarování jednovidových (SM) a mnohavidových (MM) optických vláken a vláken s rozdílnými průměry. Společně s touto technikou jsme připravili techniku pro svařování mikrostrukturních vláken s SM vlákny. Tyto svařovací techniky optických vláken jsme vyvíjeli s ohledem na výzkum a vývoj v oblasti senzorové techniky.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (oponent) ; Vojnar, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.
|
|
Evolutionary Approach to Synthesis and Optimization of Ordinary and Polymorphic Circuits
Gajda, Zbyšek ; Schmidt, Jan (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
This thesis deals with the evolutionary design and optimization of ordinary and polymorphic circuits. New extensions of Cartesian Genetic Programming (CGP) that allow reducing of the computational time and obtaining more compact circuits are proposed and evaluated. Second part of the thesis is focused on new methods for synthesis of polymorphic circuits. Proposed methods, based on polymorphic binary decision diagrams and polymorphic multiplexing, extend the ordinary circuit representations with the aim of including polymorphic gates. In order to reduce the number of gates in circuits synthesized using proposed methods, an evolutionary optimization based on CGP is implemented and evaluated. The implementations of polymorphic circuits optimized by CGP represent the best known solutions if the number of gates is considered as the target criterion.
|
|
Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků
Herrman, Tomáš ; Plíva, Zdeněk (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Dizertační práce se zabývá analýzou číslicových obvodů popsaných na úrovni meziregistrových přenosů. Je v ní zahrnuta pouze problematika související s testovatelností obvodových datových cest, řadičem ovládajícím tok dat těmito cestami se nezabývá. Stěžejní částí práce je návrh konceptu testovatelného bloku (TB), pomocí něhož se obvod rozdělí na části, jež jsou plně testovatelné přes jejich vstupy a výstupy, přes takzvané hraniční registry bloku nebo primární vstupy/výstupy. Přínosem nové metodiky je také redukce počtu registrů v řetězci scan, do něhož jsou zařazeny pouze hraniční registry. Segmentací obvodu dosáhneme také zjednodušení generování testu rozdělením tohoto problému na více menších částí. Navržená metodika pro identifikaci TB v číslicovém obvodu využívá dvou vybraných evolučních algoritmů operujících na formálním modelu obvodu na úrovni RT.
|
host ::
