|
|
Pokrytelnosti pro paralelní programy
Turoňová, Lenka ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
Tato diplomová práce se zabývá automatickou verifikací systémů s paralelně běžícími procesy. Práce diskutuje existující metody a možnosti jejich optimalizace. Stávající techniky jsou založeny na hledání induktivního invariantu (například pomocí techniky zjemňování abstrakce řízené protipříklady (CEGAR)). Efektivnost metod závisí na velikosti nalezeného invariantu. V rámci této diplomové práce jsme nalezli možnost zlepšení metod díky zaměření se na hledání invariantů minimální velikosti. Naimplementovali jsme nástroj, který zajišťuje prohledávání prostoru invariantů systému. Naše experimentální výsledky ukazují, že mnoho existujících systémů užívaných v praxi má skutečně mnohem menší invarianty než ty, které lze nalézt stávajícími metodami. Závěry a výsledky této práce budou sloužit jako základ budoucího výzkumu, jehož cílem bude navržení optimální metody pro vypočítání malých invariantů paralelních systémů.
|
|
|
Cesta do nitra Martina H.
Helán, Martin ; Houser, Milan (oponent) ; Stratil, Václav (vedoucí práce)
Hlavním cílem mé diplomové práce bylo znovu navázání na svou dřívější individuální tvorbu. Při ztvárnění obrazů jsem vycházel z mého nitra, které se emotivně podílelo na rozhodování o výsledné konstelaci barev. Výsledný cyklus obrazů je zpracován technikou olejomalby s využitím převážně středních formátů. Kompozice obrazů vychází z geometrické abstrakce a čerpají z předchozích děl zvětšováním detailů z vlastních starších maleb. Dílčím cílem práce bylo hledání barevných variací, které svou podstatou vyjadřují různé emoční stavy. V práci se zaměřuji především na hledání harmonických souhra barevných tónů.
|
|
|
Trendy v současném umění
Janovská, Anna ; Ptáček, Jiří (oponent) ; Stratil, Václav (vedoucí práce)
Diplomová práce obsahuje 4 malby na plátně a cca 10 maleb na papíře. Její abstraktní charakter určuje snovou atmosféru obrazů vytvořených v prostředí ateliéru Intermédia a zachycuje autorčin přístup. Tato práce má ambice řadit se do aktuálního uměleckého diskurzu, a to především v oblasti současné malby. Autorka vnímá uměleckou scénu, je si vědoma tendencí a trendů. Je však otázkou, co jsou současné trendy, kdo je určuje a jakým způsobem je umělečtí kritici vnímají a zachycují, popřípadě zařazují a selektují. Také je otázkou, zda trend přetrvá a zda se z něj stane směr, který bude možné zařadit v kontextu dějin umění. Zároveň autorka vnímá určitou autonomii ateliéru Intermédia a jeho svobodu. Soubor maleb s názvem „JSOU“ vznikl během uvědomování si, že každý může vidět své bytosti jak chce. Autorka je ztvárnila svýma očima a tím tedy říká, že „jsou“.
|
|
|
Zde a nyní
Chlastáková, Barbora ; Artamonov, Vasil (oponent) ; Rathouský, Luděk (vedoucí práce)
V cyklu maleb „ Zde a nyní“ jsem se neodvrátila od metody, ve které využívám prolínání, vynořování a ztrácení se jednotlivých motivů v prostoru obrazu. Vizuálně tak obraz přechází do abstraktnější roviny. V této formě jsem si našla novou cestu svého současného výtvarného projevu folklorní abstrakce. V obraze převážně dominují organické tvary, konkrétně rostlinné tvary, které blízce souvisejí s folklórem. Inspirující prvky pro mě byly předměty pro mě krásné či osobně blízké z babiččiny chalupy, které jsem buď již v životě ztratila či si schovávám do takzvané rodinné výbavy, kterou mi babička připravila a zanechala. Tyto věci vkládám na plátno buď v původní podobě či měním podle osobního vkusu tak jak se fyzicky přitahují. Vzájemný vztah se mění závislosti zobrazené pulzující hranice mezi vztahem zpodobněných předmětů a aplikování formy do blízké abstrakce. Tvary, průhledy a kompoziční hry se formují do čtvrtého rozměru prostoru. Obrazové řešení celého rozčlenění tím boří klasické perspektivní standarty.
|
|
|
"Bez názvu"
Cáb, Martin ; Hodboď, Tomáš (oponent) ; Stratil, Václav (vedoucí práce)
Ve své závěrečné bakalářské práci zpracovávám portrét Ježíše Krista. Vzhledem k historickému vývoji křesťanské ikonografie se jedná o abstraktní pojetí, ve kterém je Kristus znázorněn pouze jednoduchými konkrétními prvky, které jsou signifikantní pro jeho osobnost jak v rovině obecné, tak především v mé osobní.
|
|
| |
|
|
Framework pro rozšiřování funkcionality komponent uživatelského rozhraní v Javě
Herain, Vít ; Šlajchrt, Zbyněk (vedoucí práce) ; Pecinovský, Rudolf (oponent)
V rámci platformy Java existuje množství snadno dostupných GUI knihoven, mezi nimiž si mohou vývojáři zvolit, kterou použijí pro GUI vlastní aplikace. Tyto GUI knihovny mají určité společné rysy, díky nimž lze nad použitím konkrétní knihovny v aplikaci do určité míry abstrahovat. Práce popisuje framework, který byl s touto ideou vyvinut. Framework poskytuje vývojářům možnost rozšíření aplikace obsahující textové komponenty, menu a toolbary o univerzální extenze usnadňující práci s textem. V teoretické části jsou krátce rozebrány knihovny Swing, JavaFX2, Apache Pivot a Google Web Toolkit. Dále jsou rozebrány návrhové vzory, které s frameworkem souvisí, a abstrakce nad GUI knihovnami a aplikacemi.
|
|
|
Testy řízený vývoj na platformě .NET
Bárta, Jan ; Buchalcevová, Alena (vedoucí práce) ; Vít, Jan (oponent)
Testy řízený vývoj softwaru (TDD) je komplexní agilní metodika, která se nezabývá pouze testováním, ale obecně vývojem softwaru. Tato práce představuje obecné principy TDD, ale také konkrétní postupy a praktiky na platformě Microsoft .NET. V práci jsou uvedeny příklady podpůrných aplikací, které jsou pro TDD na této platformě vhodné, a dále prak- tické ukázky kódu v programovacím jazyce C#. Na těchto ukázkách je předváděn apliko- vaný proces testy řízeného vývoje. Práce se dále věnuje nejenom samotnému TDD, ale také pojmům, které s ním souvisí. Jed- na z kapitol je věnována obecně testování softwaru, automatizovaným testům, či agilním metodikám, ke kterým TDD patří. Práce se dále zaměřuje na požadavky, které jsou kladeny na testy i na vyvíjenou a testova- nou aplikaci. Pro úspěšné aplikování TDD je nutné dodržet některé postupy a omezení. Pokud by nebyly dodržovány, může se stát testy řízený vývoj neefektivní a náročný pří- stup. V opačném případě je to ideální nástroj pro produkování kvalitního kódu.
|
|
|
Problematika symbolických funkcí v estetice Nelsona Goodmana
MAJER, Karel
Bakalářská práce se zabývá možností symbolizace ve výtvarném umění. Jako hlavní teoretický nástroj slouží rozlišení základních typů symbolických funkcí, tak jak je ve svých knihách rozpracoval Nelson Goodman. Práce tedy nejprve představí základní motivy Goodmanovy filozofie umění a následně je pokusí využít pro interpretaci vybraných děl Vasilije Kandinského.
|
|
|
Teorie univerzálií u J. Locka a W. Ockhama
BAUER, Lukáš
Bakalářská práce se zabývá univerzáliemi, tak jak je pojímá J. Locke a W. Ockham. Vychází z dvou hlavních spisů: U Willama Ockhama spis ?Ordinatio? a u Johna Locka ?Esej o lidském rozumu?. V první části bakalářské práce jsou shrnuty hlavní body teorií, které se zabývají obecninami. Ockhamova teorie ?fictum?, její kritika a následná teorie ?intellecito?. Kapitola zabývající se teorií J. Locka je založena na teorii obecných idejí. V poslední části práce je srovnání těchto teorií. Zda lze nalézt nějaké podobné rysy. Posledním krokem je aplikování kritiky Ockhamovy teorie fiktivní představy na Lockovu teorii obecných idejí.
|
host ::
RSS.