|
|
Symbolická reprezentace konečných automatů
Chromečka, Jiří ; Vojnar, Tomáš (oponent) ; Lengál, Ondřej (vedoucí práce)
V~oblasti formální analýzy se často setkáváme s~konečnými automaty s~velkým množstvím stavů nad velkými abecedami. Jejich explicitní reprezentace může vyústit ve stavovou explozi a~tento problém může být vyřešen použitím symbolické reprezentace schopné pracovat s~celou množinou stavů najednou. Cílem této práce je rozšířit knihovnu libVATA o~podporu této reprezentace včetně algoritmů pro některé operace nad touto reprezentací. Předložený text se v~úvodu zabývá předpoklady nezbytnými pro pochopení konečných automatů a~binárních rozhodovacích diagramů, které se využívají pro jejich symbolickou reprezentaci. Dále jsou uvedeny některé existující knihovny pro práci s~konečnými automaty. Následuje jádro této práce, návrh symbolické reprezentace a~operací nad ní, které jsou poté implementovány jako rozšíření zmíněné knihovny. Výsledky testů dokazují, že symbolická reprezentace je zajímavou alternativou explicitní reprezentace.
|
|
|
The Contemporary System of Fashion
Srbová, Kateřina ; Rozbořil, Blahoslav (oponent) ; Kubíková, Zuzana (vedoucí práce)
Módní průmysl je podmíněný budováním (jednotné) uniformity jedinečnosti jednotlivce skrze ztotožnění se s tím, co symbolicky, obsahově nebo objektově reprezentuje model. [Módní] návrhář operuje se společenským přijímáním konceptů rovnosti, sociální spravedlnosti či feminismu jako s produkty. Výzvou pro něj není přijímání a vytváření skutečných hodnot, ale prodej toho, co by tyto hodnoty mohly reprezentovat, kdyby je společnost přijala. Ztotožnění se s konceptem sebepřijetí tak při sledování catwalkového narativu znamená zírat na materiálovou reprezentaci řvoucí afektovanosti. Společnost ji přijímá tím, že si kupuje to, co by ji mohlo reprezentovat. Kontroverze je manifestovaná skrze to, jak materiálově a osobnostně reprezentovat hodnoty, které většinová společnost zatím nepřijímá. Módní návrhář tyto reprezentační objekty odívá do konkrétních entit/lidí a módní molo tak funguje jako spekulativní model budoucnosti. Postupným prouděním těchto modelů do mainstreamu společnost tyto hodnoty nepřijímá, ale pouze je obléká. V přítomnosti je totiž každá hodnota sezónní. Bakalářská práce se zabývá současným módním systémem.
|
|
|
Kolektivní biografie československé historiografie k roku 1934
Sixta, Václav ; Štaif, Jiří (vedoucí práce) ; Lomíček, Jan (oponent)
Předmětem práce je analýza symbolické reprezentace československé historiografie k roku 1934. Čerpá především z Kulturního adresáře, respektive z kvantifikace a kategorizace dat v něm obsažených. Prostřednictvím kritérií pozice v hierarchii oboru, národnosti, specializace a lokalizace sledujeme způsoby vytváření symbolické reprezentace v historiografii roku 1934. Prvek vývoje a fenomén trendů jsou do práce vtěleny pomocí jediného z hlediska pramene vnějšího kritéria, kterým je generace objektivně formulovaná vždy po deseti letech. Práce tak popisuje utváření symbolické reprezentace z hlediska celého souboru, vymezeného adresářem i jednotlivých generací a nechybí také analýza trendů v historické vědě. Díky množství kritérií dochází práce k faktu plurality symbolických reprezentací. Ty se tak utvářejí v "polích reprezentací", kde teprve tvoří komplexně popsatelné celky. Složitá struktura vztahů a prolínání těchto polí reprezentace pak tvoří symbolickou reprezentaci československé historiografie jakožto celku. Díky práci s kvantitativními prameny dochází práce k závěrům, které by jinými metodami nebylo možné nahlédnout.
|
|
|
The Contemporary System of Fashion
Srbová, Kateřina ; Rozbořil, Blahoslav (oponent) ; Kubíková, Zuzana (vedoucí práce)
Módní průmysl je podmíněný budováním (jednotné) uniformity jedinečnosti jednotlivce skrze ztotožnění se s tím, co symbolicky, obsahově nebo objektově reprezentuje model. [Módní] návrhář operuje se společenským přijímáním konceptů rovnosti, sociální spravedlnosti či feminismu jako s produkty. Výzvou pro něj není přijímání a vytváření skutečných hodnot, ale prodej toho, co by tyto hodnoty mohly reprezentovat, kdyby je společnost přijala. Ztotožnění se s konceptem sebepřijetí tak při sledování catwalkového narativu znamená zírat na materiálovou reprezentaci řvoucí afektovanosti. Společnost ji přijímá tím, že si kupuje to, co by ji mohlo reprezentovat. Kontroverze je manifestovaná skrze to, jak materiálově a osobnostně reprezentovat hodnoty, které většinová společnost zatím nepřijímá. Módní návrhář tyto reprezentační objekty odívá do konkrétních entit/lidí a módní molo tak funguje jako spekulativní model budoucnosti. Postupným prouděním těchto modelů do mainstreamu společnost tyto hodnoty nepřijímá, ale pouze je obléká. V přítomnosti je totiž každá hodnota sezónní. Bakalářská práce se zabývá současným módním systémem.
|
|
|
Kolektivní biografie československé historiografie k roku 1934
Sixta, Václav ; Štaif, Jiří (vedoucí práce) ; Lomíček, Jan (oponent)
Předmětem práce je analýza symbolické reprezentace československé historiografie k roku 1934. Čerpá především z Kulturního adresáře, respektive z kvantifikace a kategorizace dat v něm obsažených. Prostřednictvím kritérií pozice v hierarchii oboru, národnosti, specializace a lokalizace sledujeme způsoby vytváření symbolické reprezentace v historiografii roku 1934. Prvek vývoje a fenomén trendů jsou do práce vtěleny pomocí jediného z hlediska pramene vnějšího kritéria, kterým je generace objektivně formulovaná vždy po deseti letech. Práce tak popisuje utváření symbolické reprezentace z hlediska celého souboru, vymezeného adresářem i jednotlivých generací a nechybí také analýza trendů v historické vědě. Díky množství kritérií dochází práce k faktu plurality symbolických reprezentací. Ty se tak utvářejí v "polích reprezentací", kde teprve tvoří komplexně popsatelné celky. Složitá struktura vztahů a prolínání těchto polí reprezentace pak tvoří symbolickou reprezentaci československé historiografie jakožto celku. Díky práci s kvantitativními prameny dochází práce k závěrům, které by jinými metodami nebylo možné nahlédnout.
|
|
|
Symbolická reprezentace konečných automatů
Chromečka, Jiří ; Vojnar, Tomáš (oponent) ; Lengál, Ondřej (vedoucí práce)
V~oblasti formální analýzy se často setkáváme s~konečnými automaty s~velkým množstvím stavů nad velkými abecedami. Jejich explicitní reprezentace může vyústit ve stavovou explozi a~tento problém může být vyřešen použitím symbolické reprezentace schopné pracovat s~celou množinou stavů najednou. Cílem této práce je rozšířit knihovnu libVATA o~podporu této reprezentace včetně algoritmů pro některé operace nad touto reprezentací. Předložený text se v~úvodu zabývá předpoklady nezbytnými pro pochopení konečných automatů a~binárních rozhodovacích diagramů, které se využívají pro jejich symbolickou reprezentaci. Dále jsou uvedeny některé existující knihovny pro práci s~konečnými automaty. Následuje jádro této práce, návrh symbolické reprezentace a~operací nad ní, které jsou poté implementovány jako rozšíření zmíněné knihovny. Výsledky testů dokazují, že symbolická reprezentace je zajímavou alternativou explicitní reprezentace.
|
host ::
RSS.