|
Ověřování asercí kódu pomocí zpětné symbolické exekuce
Husák, Robert ; Kofroň, Jan (vedoucí práce) ; Parízek, Pavel (oponent)
Pro prevenci, odhalování a opravování chyb v softwaru existuje celá řada nástrojů pro programátory, přičemž některé z nich umožňují pracovat přímo se sémantikou programu. V případě jazyka C# jsou hlavními zástupci Microsoft FxCop, Code Contracts a Pex. Použití těchto nástrojů může velkou měrou přispět k vysoké spolehlivosti programů. Jejich úplné zapojení do procesu vývoje software ve firmách je bohužel značně náročné na prostředky. Z tohoto důvodu jsme vytvořili AskTheCode, zjednodušený nástroj pro verifikaci asercí kódu. Jeho hlavním účelem je pomoci uživateli s jedním konkrétním problémem, který v daném okamžiku řeší. Vzhledem k tomuto přístupu jsme jej implementovali pomocí zpětné symbolické exekuce. Přestože je momentálně schopen pracovat pouze se základními konstrukty a typy jazyka C#, srovnání s existujícími nástroji ukázalo, že při dalším rozvoji má potenciál poskytnout uživateli významnou přidanou hodnotu. Powered by TCPDF (www.tcpdf.org)
|
|
"Jeden za všechny, všichni za jednoho!" Role Bund der Deutschen a jeho předchůdců ve veřejném prostoru českých zemí 1918-1938.
Balcarová, Jitka ; Kubů, Eduard (vedoucí práce) ; Jindra, Zdeněk (oponent) ; Šouša, Jiří (oponent)
Předkládaná disertační práce analyzuje německé hospodářské "obranné" spolky zřizované na podporu a rozvoj "hospodářské nacionální državy" v období meziválečného Československa. Jejich institucionální základnou byly tzv. regionální svazy Němců, od roku 1934 Bund der Deutschen. Reprezentují jeden, nicméně z hlediska zkoumaného jevu nejzávažnější typ německých nacionálních "obranných" spolků v českých zemích. Význam těchto spolků tkví v jejich funkci ve veřejném prostoru, kde podporovaly postupnou ideovou a politickou radikalizaci na bázi konfrontačního nacionalismu s antislovanským a antisemitským kontextem. Výzkum odkrývá podstatu jedné z nejdůležitějších organizačních struktur německého nacionálního hnutí, její ideovou platformu, strategie a metody její činnosti. Do popředí vystupuje role spolků jako spolutvůrců nacionální identity. Práce ústí v konstatování, že analyzované spolky velmi významně spoluovlivnily proces formování "sudetoněmecké identity".
|
|
Současné trendy ve vývoji a využití HTML5 a CSS3
Poništ, Ondřej ; Chudán, David (vedoucí práce) ; Sklenák, Vilém (oponent)
Tato bakalářská práce se zabývá připravovanými standardy HTML 5 pro značkovací jazyk webových stránek a CSS 3 kaskádovými styly. Konečná specifikace obou těchto jazyků není plánována dříve než na konci roku 2014, ale již dnes se objevují v praktickém využití na webu. Cílem této bakalářské práce je analyzovat nové možnosti a funkce HTML 5 a CSS3 oproti stávající verzi HTML 4.01 a CSS2, na základě toho pak shrnout jejich výhody, které je v současnosti možné při tvorbě webu použít. Bakalářská práce je rozdělena na teoretickou a praktickou část. Teoretická část obsahuje popis jazyka HTML5 jeho vývoje a funkcí, dále pak popis CSS3 a jeho nových vlastností. Praktická část práce ukazuje využití nových elementů a funkcí HTML5 a CSS3 na vytvořené webové prezentaci.
|
|
Elektronický systém výukové jazykové učebny
Skoumal, Martin ; Bradáč, Zdeněk (oponent) ; Zezulka, František (vedoucí práce)
Tato práce se zabývá tvorbou elektronicky řízeného audio systému jazykové učebny. Porovnává možnosti řešení analogovou a digitální formou. Dále pak popisuje výsledný navržený systém. Výsledný systém je realizován analogovými zesilovači a analogovou křížovou maticí. Řízení hardwaru je realizováno mikrokontrolérem a ten je ovládán z počítače.
|
|
Studium nových materiálů pro generování druhé harmonické frekvence
Brajer, Martin ; Němec, Petr (vedoucí práce) ; Žídek, Karel (oponent)
V této bakalářské práci se zabýváme studiem optických vlastností materiálů cíleně připravovaných pro účinné generování druhé harmonické frekven- ce (SHG) pro použití v optoelektronice. Konkrétně jde o měření první hyperpo- larizibility. Využívat budeme nekoherentního jevu, hyper-Rayleighova rozptylu. Vzhledem k nekoherentnosti tohoto jevu je efekt velmi slabý. Je třeba použít silný zdroj světla, pulzní laser a citlivé detekční zařízení, fotonásobič. Vzorky se připravují ve spolupracujících chemických laboratořích Přírodovědecké fakul- ty Univerzity Karlovy v Praze. Dále nás bude zajímat zastoupení dvoufotonové fluorescence ve výsledné intenzitě, kvůli zaměnitelnosti s SHG.
|
|
Postavy s mentálním hendikepem v české kinematografii 1993 - 2007
Mištová, Jaroslava ; POZZI, Jaroslav (vedoucí práce) ; MRAVCOVÁ, Marie (oponent)
V této bakalářské práci nejprve popisuji změny pohledu společnosti na osoby s mentálním hendikepem v posledních stoletích, následně přibližuji významy slov „mentální hendikep“ a stručně vysvětluji různé druhy klasifikace těchto hendikepů. Dále se zabývám přímo problematikou pojetí postav s mentálním hendikepem v české kinematografii v letech 1993 - 2007. Pro odhalení negativních stereotypů v českých filmech využívám rozboru konkrétních filmů z daného časového období a v závěru nejčastější negativní stereotypy objevující se v těchto filmech stručně shrnuji. Jedním z nejčastějších negativních stereotypů je například prezentace smrti – nebo nějaké formy zneškodnění, umlčení, či uvěznění - postavy s mentálním hendikepem jako jediné možné řešení pro takovou postavu i pro společnost.
|
|
Sledování pohybujících se objektů
Bradáč, František ; Gogol, František (oponent) ; Richter, Miloslav (vedoucí práce)
Předmětem této semestrální práce je nalezení a implementace metod pro detekci objektů v zorném poli kamery, zaznamenání jejich trajektorie a predikce jejich polohy. Vytvořené metody jsou kombinací několika přístupů k řešení problému. Nejprve se tvoří co nejpravděpodobnější model statické části pozorované scény, který je posléze použit pro detekci pohybujících se objektů. Sesouhlasení objektů je provedeno pomocí analýzy pohybu těchto objektů. K analýze pohybu je využita metoda optického toku. Predikce následující polohy objektů je prováděna pomocí Kalmanova filtru. Vytvořené metody jsou za vhodných podmínek schopny sledovat trajektorie pohyblivých objektů v zorném poli kamery a to i v případě, že se tyto objekty těsně míjejí, případně dojde k jejich kolizi. Metody jsou implementovány v jazyce C++ a jejich funkčnost je odzkoušena na pokusném vzorku s nasnímanou pohyblivou scénou.
|
|
Vývoj e-shopu na redakčním systému WordPress
Štencek, Jiří ; Kunstová, Renáta (vedoucí práce) ; Šubrta, Václav (oponent)
Práce se zabývá možností spuštění e-shopu na platformě WordPress a pluginu eShop. Jejím cílem je vytvořit metodiku, podle které by bylo možné při tvorbě e-shopu postupovat. Práce nastíní výhody a možná úskalí tohoto řešení. Výstupem práce jsou také doprogramované doplňky optimalizující funkcionalitu pluginu eShop a rozšíření pro propojení e-shopu s českou e-commerce scénou. Součástí je vypracování české lokalizace pluginu eShop. Psaní metodiky předchází nastudování podkladů technického pozadí WordPressu a vybraného rozšíření eShop. V první kapitole je vymezen cíl práce a jsou definovány podklady. Následuje rešerše, která potvrzuje absenci podobných metodik či návodů jak v českém, tak cizím jazyce. Třetí kapitola představuje používaná řešení a odkrývá technické základy WordPressu a pluginů. Stěžejní částí je čtvrtá kapitola obsahující samotnou metodiku tvorby e-shopu. Ta provádí čtenáře celým procesem od instalace až po spuštění e-shopu. Zahrnuje seznámení s tvorbou šablon, analýzu vhodných pluginů a jejich úpravu, práci s produkty, tvorbu české lokalizace, napojení na e-commerce služby a doprogramování požadovaných funkcí e-shopu. Součástí této kapitoly je v samém závěru souhrn doporučení pro provoz a údržbu e shopu a také podkapitola uživatelského testování s praktickou demonstrací a vyhodnocením závěrů. Přínosem práce je předané know-how v podobě metodiky, rozšíření znalostní báze komunity, naprogramované doplňky a sepsaná doporučení pro provozování e-shopu na WordPressu.
|
|
BBC Radio 7 - veřejná služba dětskému posluchači
Veselá, Veronika ; Osvaldová, Barbora (oponent) ; Moravec, Václav (vedoucí práce)
Bakalářská práce mapuje dětské vysílání na sedmém digitálním rozhlasovém okruhu veřejnoprávního vysílatele British Broadcasting Corporation BBC Radia 7. Představuje BBC Radio 7 obecně jako novou digitální stanici vysílající od prosince 2002, její historii až po současnost, vymezuje formát a zaměření BBC Radia 7, její poslechovost a výši rozpočtu. Charakterizuje programovou skladbu BBC Radia 7 a typ programu. Blíže se věnuje charakteristice pořadů pro děti, které BBC Radio 7 vysílá. Podobně analyzuje zpravodajskou relaci pro děti World News for Children strukturu, žánrovou pestrost, tematickou skladbu zpráv, jazyk, způsob zpracování.
|
|
Bohemika ve fondu zámecké knihovny v Českém Krumlově
ČECHOVÁ, Petra
Diplomová práce Bohemika ve fondu zámecké knihovny v Českém Krumlově se věnuje zpracování českého fondu zámecké knihovny v Českém Krumlově. Výchozím pramenem jsou české knihy, které jsou dnes uložené v zámecké knihovně. Český fond byl rozvíjen šlechtickým rodem Schwarzenbergů. V práci se zabývám nejen celkovým zhodnocením této části fondu, ale také přístupem jednotlivých vlastníků knih k českému jazyku a české literatuře. Práce je rozdělena do pěti kapitol. V první kapitole je uveden stručný vývoj českokrumlovského zámku a zámecké knihovny, druhá kapitola se věnuje obecnému zhodnocení českého fondu v knihovně. Ve třetí kapitole je nastíněn historický vývoj rodu Schwarzenbergů v konceptu zámecké knihovny. Signifikantní je hledisko vlastníka českých knih a přístup jednotlivých členů k českému jazyku a české literatuře. Čtvrtá kapitola se podrobně zaměřuje na oblast umělecké literatury a její výskyt v zámecké knihovně. Pátá kapitola se věnuje českému fondu zámecké knihovny Vrchotovy Janovice a jeho majitelům, především baronce Sidonii Nádherné z Borutína. V závěru jsou knižní fondy obou knihoven porovnány. Součástí práce je také katalog českých knih, který jsem zpracovala a uspořádala.
|
host ::
