|
|
Verifikace programů s ukazateli založená na detekci vzorů
Kubíček, Jan ; Erlebach, Pavel (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce navazuje na výsledky studií v oblasti verifikace nekonečně stavových systémů. Konkrétně se jedná o oblast abstraktního model checkingu. Seznámili jsme se s metodou založenou na abstrakci paměťové konfigurace pomocí paměťových vzorů. Tato metoda byla navržena pro verifikaci programů pracujících s dynamickými paměťovými strukturami jako například seznamy. Na dynamické paměťové struktury je nahlíženo jako na orientované grafy. Verifikace na základě paměťových vzorů abstrahuje obecně libovolné množství vytvořených uzlů do jednoho sumarizovaného uzlu. Tím se dosáhne reprezentace obecně neukončeného grafu konečným zápisem. Poté je možno efektivně provést verifikaci nad tímto abstrahovaným grafem. V naší práci se zabýváme tvorbou modelu pro nástroj implementující verifikaci na základě paměťových vzorů. Model programu je vytvořen z podmnožiny jazyka C. Hlavním přínosem práce je automatizace tvorby modelu pro verifikaci a tím dosáhnutí úplné automatizovanosti procesu verifikace. Je tak možné verifikovat programy napsané v běžném programovacím jazyce. V této práci je diskutována syntaxe vstupního jazyka i implementační detaily překladu.
|
|
|
Diversity of iris coloration during evolution of geckos (Gekkota)
Ozerskyi, Serhii ; Brejcha, Jindřich (vedoucí práce) ; Šmíd, Jiří (oponent)
Iris je anatomická struktura, která plní funkci bránice ve vizuálním systému oka. Kromě hlavní funkce - nenechat světlo projít žákem, může duhovka hrát mnoho různých rolí kvůli velké variabilitě jejího zbarvení. Iris může být součástí kamufláže nebo aposematické barvy, hrát jinou roli ve vnitrodruhové nebo mezidruhové komunikaci. U některých druhů se jeho barva mění v závislosti na věku, ročním období, biologických cykolech nebo se dokonce rychle mění barvu v reakci na podněty. Gekoni (Gekkota) se vyznačují obzvláště velkou rozmanitostí barvy duhovky. A v mnoha z nich se vzor duhovky podobá větvícím se žilám. Jaký význam a historii evoluce má tento vzorec, je zajímavé. Použil jsem různé modely evoluční rekonstrukce v programu R ke studiu vývoje žilkovaného vzoru zbarvení duhovky, stejně jako fylogenetické srovnávací metody a binární model evoluce znaků k identifikaci jeho spojení s fúzí života a kontrastem jasu mezi okem a očním prstencem. Bylo zjištěno, že žilnatý vzor je podmínkou předků gekonů a je přítomen u většiny moderních druhů. Nejpřesněji je vývoj vzoru žíly popsán modelem all rates different (ARD). žilnatý vzor je spojen s nočním životním stylem a pravděpodobně se objevil po přechodu předků gekonů na noční životní styl v období křídy. Žilnatý vzor má tendenci mizet ve skupinách s denním životním...
|
|
|
PATTERN PAINT ROLLER LAB
Giacintová, Zdeňka ; Arndt, Jan (oponent) ; Ondrík, Jozef (vedoucí práce)
Ve své práci se věnuji technice válečkování neboli dekoračním malířským válečkům a jejich historickému kontextu. Práce pro mne představuje především možnost zabývat se fenoménem, který byl ve své době velmi populární, a prozkoumat jeho potenciál nad rámec tradičního vnímání. Prostřednictvím řady testů jsem experimentovala s vytvářením nových vzorů a zkoumala jsem možnosti této technologie, což zahrnovalo například také testy materiálu a velikosti válečkové matrice nebo přenesení dekoru z pro něj typického interiérového prostředí do prostředí exteriéru.
|
|
|
no noon on
Janechová, Lucia ; Houser, Milan (oponent) ; Štindlová, Marie (vedoucí práce)
Práca spracováva tému slnka. To v nímame inak v závislosti od jeho polohy na oblohe, toho kde sa zrovna nachádzame či proste podľa toho, akú máme práve náladu. V obrazoch hľadám spôsoby jeho zobrazenia či stopy pocitov, ktoré je schopné vyvolávať. Využívam k tomu rozvetvené obrazce ako variácie tvaru lúčov, ťažiskom obrazov je príznačne zväčša kruh. Akryl a olej kombinujem s pastelom, ktorý umožňuje voľnejšiu kresbu. V snahe rozšíriť škálu médií pracujem aj s meďou či betónom. Sériu teda dopĺňajú aj reliéfne poloobjekty a medená "brána", ktorou slnko pomyselne prechádza na pravé poludnie.
|
|
|
Diverzita a funkce vzorů v mikrosvětě
Hirnerová, Anna ; Škaloud, Pavel (vedoucí práce) ; Němcová, Yvonne (oponent)
Tato práce shrnuje dosavadní poznatky o vzorech a strukturách v různých měřítcích s důrazem na využití daných vzorů v mikrosvětě a materiálů, z kterých jsou tvořeny. Vzory se uplatňují ve všech oblastech přírodních dějů i lidské činnosti a existuje velmi mnoho analogických modelů v různých měřítcích, nevíme ale, zda mají stejné sebeorganizační mechanismy vzniku. Mnoho vzorů tvořených mikroorganismy umíme připravit bez jejich přítomnosti na základě čistě fyzikálních a chemických metod, vznikají tedy pravděpodobně za určitých parametrů ovlivnitelných daným protistem. Tyto vzory jsou pro mikroorganismy evolučně výhodné, protože jim poskytují řadu funkčních adaptací, hlavně v souvislosti s obranou proti predátorovi a pohybem ve vodním sloupci, který se odvíjí od životní strategie organismu. Matematický popis vzoru je nesmírně důležitý pro jeho další zkoumání a určování zákonitostí, které organismu umožnily těžit z jeho parametrů. Klíčová slova: vzor, struktura, konvekce, reakčně - difuzní model, geometrie, protista, mikroorganismy, kostry, schránky, šupiny
|
|
| |
|
|
Rodová a osobní prezentace Zachariáše z Hradce v zámecké rezidenci v Telči.
Salava, Jan ; Zlatohlávek, Martin (vedoucí práce) ; Nespěšná Hamsíková, Magdaléna (oponent)
Zámek v Telči je jednou z několika staveb v České republice, jejichž interiéry se z druhé poloviny 16. století dochovaly téměř v původní podobě. Majitel dominia Zachariáš z Hradce nechal hrad rozšířit a bohatě vyzdobit. Výzdoba odráží především osobní vkus hradního pána. První předlohy pro výzdobu pocházejí z Norimberských dílen. Později převládly holandské vlivy. Prokázána je inspirace dílem holandských rytců Cornelise Corta a Franse Huyse a Švýcara Rudolfa Wyssenbacha. Neméně důležitým zdrojem inspirace je kniha Imagines gentis austriacae od Italského malíře Francesco Terzia. Reprezentaci lze připsat nejrůznější kryptoportréty, zejména v prostorách, které byly přístupné veřejnosti. Specifickou formou reprezentace jsou medvědí štítonoši v pohřební kapli, kteří nesou znaky hradního pána a jeho první ženy Kateřiny z Valdštejna. Medvědi poukazují na legendu, podle níž pochází rodina Zachariáše z Hradce ze starobylé italské rodiny Ursini. Reprezentaci sloužil i císařský sál, který je vyzdoben medailony, nesoucími portréty římských králů a královen a několika neidentifikovatelnými podobiznami. I když se mi nepodařilo prokázat existenci jednotného ikonografického program pro celý zámecký areál, je tato otázka stále otevřená. Ve výzdobě převládá prezentace zámeckých majitelů, před prezentací rodovou s...
|
|
|
Vztah počítačové hry a její audiovizuální předlohy
Šírová, Tereza ; Šlerka, Josef (vedoucí práce) ; Šisler, Vít (oponent)
Diplomová práce Vztah počítačové hry a její audiovizuální předlohy se zabývá společnými a odlišnými znaky počítačových her a audiovizuálních děl. Prezentuje některé teorie, které reflektují různé názorové proudy na ovlivňování nebo prolínání uvedených mediálních forem. Z těchto teorií vychází návrh kategorizace herních a filmových adaptací vzniklých podle předloh. Do každé ze tří navrhovaných kategorií jsou zařazeny konkrétní příklady počítačových her vzniklých na motivy filmů či seriálů i méně časté příklady filmů, inspirovaných počítačovými hrami. Závěrečnou část práce tvoří obsáhlá případová studie, porovnávající počítačovou hru Lost: Via Domus s její předlohou - seriálem Ztraceni.
|
|
|
Vliv vzoru, velikosti a kontrastu kořisti vůči podkladu na diskriminační učení ptačích predátorů
Kuncová, Aneta ; Exnerová, Alice (vedoucí práce) ; Komárek, Stanislav (oponent)
Tématem předložené diplomové práce byl vliv vzoru, velikosti a kontrastu kořisti vůči podkladu na diskriminační učení ptačích predátorů. Cílem práce bylo zjistit vliv vybraných komponent výstražného zbarvení na averzivní diskriminační učení ptačích predátorů různého věku a pohlaví. Jako modelový druh byla vybrána sýkora koňadra (Parus major). Porovnávána byla odchovaná ptáčata s odchycenými dospělými ptáky různého věku a pohlaví. Experimenty probíhaly v pokusné kleci s jednostranným zrcadlovým sklem a bylo využito experimentálního designu simultánního předložení dvou variant kořisti, pozitivní a negativní, lišící se v jednom prvku zbarvení (pattern, velikost, kontrast s pozadím). Rozdíl ve schopnosti averzivního diskriminačního učení byl zaznamenán pouze mezi odchycenými dospělými ptáky a odchovanými ptáčaty. Lepších výsledků dosahovali odchycení dospělí ptáci. Pohlaví ani věk odchycených dospělých ptáků neměl na averzivní diskriminační učení vliv. Jedinou statisticky významnou komponentou zbarvení, podle které si ptáci dokázali diskriminační úlohu zapamatovat, byl pattern. Klíčová slova: averzivní učení, nejedlá kořist, vzor, velikost, pozadí, kontrast
|
|
|
Evoluční význam vizuálních znaků květů a jejich vliv na věrnost opylovačů
Haveldová, Alice ; Štenc, Jakub (vedoucí práce) ; Klečka, Jan (oponent)
Věrností se rozumí chování, při kterém opylovač navštěvuje v řadě květy stejného druhu rostliny častěji, než by odpovídalo jeho preferenci pro danou rostlinu. Toto chování je pro rostlinné druhy výhodné, protože prostřednictvím něho lze zefektivnit přenos pylu mezi jedinci stejného druhu, což pozitivně působí na jejich biologickou zdatnost. Zefektivnění přenosu pylu může vést k selekci takových (vizuálních i olfaktorických) květních znaků, které věrnost opylovačů podporují. Mezi hlavní vizuální znaky květu, které mají na věrnost vliv, patří barva, vzor, tvar a velikost. Tyto znaky jsou ale pro opylovače při rozhodování, jaký květ navštívit, různě důležité, a tudíž se i jejich efekt na věrnost opylovačů liší. Zároveň se liší mezi funkčními skupinami opylovačů i míra věrnosti jako takové. Věrnost je obecně nízká u obratlovců, zato hmyz, a především zástupci řádu blanokřídlých se často chovají věrně.
|
host ::
RSS.