|
|
Rozšíření podpory archivů v systému GVFS
Holý, Ondřej ; Charvát, Lukáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá rozšířením démona pro manipulaci s archivy v systému GVFS. Na základě analýzy současného stavu démona, možností knihovny LibArchive a podobných projektů bylo navrženo, implementováno a otestováno rozšíření. Hlavním přínosem tohoto rozšíření je snadná práce se soubory uvnitř archivu pomocí GIO API, které je využíváno množstvím aplikací běžících pod operačním systémem GNU/Linux. Obsažené soubory a složky v archivu lze nyní číst, přejmenovávat, přesouvat, kopírovat nebo mazat, dále lze vytvářet prázdné adresáře. Démon také umožňuje vytvářet nové archivy požadovaného formátu.
|
|
|
Generátor map pro fantasy hry na hrdiny
Pagáč, Antonín ; Charvát, Lukáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je vytvořit generátor map pro fantasy hry na hrdiny. V práci je popsána problematika tvoření map v reálném světě, a jsou rozebrány různé přístupy ke tvorbě map jak v počítačových hrách, tak v myšlenkových a stolových hrách na hrdiny. Dále je navržen program, který je založen na generování Voroného diagramu a slouží k vytváření map. Generátor umožňuje umísťovat objekty na mapu náhodně pomocí uživatelských příkazů, nebo na konkrétní pozici pomocí grafického uživatelského rozhraní. Generátor je implementován v jazyce Javascript, který umožňuje spouštění programu v internetovém prohlížeči na různých zařízeních.
|
|
|
Emulace CPU pro výuku asemblerů
Charvát, Lukáš ; Nagy, Jan (oponent) ; Smrčka, Aleš (vedoucí práce)
Práce řeší tvobu emulátoru počítačové architektury se záměrem pro použití při výuce asemblerů. Zatímco většina dnešních emulátorů je zavislá na specifické architektuře, tato práce popisuje přístup, jak vytvořit emulátor, který by umožnoval uživatelům jednoduše vytvářet vlastní architektury, provádět nad nimi operace a zobrazovat jejich aktuální stav.
|
|
|
Emulace CPU pro výuku asemblerů
Charvát, Lukáš ; Samek, Jan (oponent) ; Smrčka, Aleš (vedoucí práce)
Práce řeší tvorbu emulátoru počítačové architektury a její instrukční sady se záměrem pro použití při výuce asemblerů. Zatímco většina dnešních emulátorů je závislá na specifické architektuře, tato práce popisuje přístup, jak vytvořit emulátor vhodný pro použití ve výuce a pro snadnější pochopení asemblerů. Emulátor se neomezuje pouze na jeden typ procesoru, ale umožňuje uživatelům jednoduše definovat vlastní architektury spolu s jejich instrukčními sadami za účelem možnosti provádět nad nimi operace a především názorně zobrazovat aktuální stav.
|
|
|
Aplikace pro tvorbu sad testů GUI
Melo, Juraj ; Charvát, Lukáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato diplomová práce popisuje systém pro automatizované testování GUI, využívající asistenční technologie pro přístup a manipulaci komponent GUI. Vstupem tohoto systému je popis testovací sady, pro který byl navržen speciální jazyk. Popis testovací sady je tvořen událostmi a aktivitami provedenými v uživatelském rozhrání. Testovací systém automaticky vygeneruje různé sekvence zadaných událostí a aktivit, podle specifikovaného kriteria. Vygenerována testovací sada je pak vykonána interpretem jazyka Python, využívajíc Linux Desktop Testing Project (LDTP). Uvedený systém poskytuje zprávy o průběhu a pokrytí jednotlivých testovacích případů a celé testovací sady.
|
|
|
Interaktivní simulátor pro grafy toku dat
Kovařík, David ; Smrčka, Aleš (oponent) ; Charvát, Lukáš (vedoucí práce)
Grafy toku dat jsou často používány při návrhu hardware. Jsou však vhodné také pro provádění hlubších analýz návrhů (např. funkční a formální verifikace). Simulátor prezentovaný v této práci vzniká jako podpůrný nástroj pro verifikační prostředí HADES. Cílem simulátoru je snížit potřebný čas a zvýšit kvalitu procesu verifikace. Pro efektivní provádění simulace byl navržen a implementován simulační algoritmus, který díky eliminaci nadbytečných vyhodnocení šetří výpočetní čas. Simulátor je vybaven několika výstupními rozhraními, která jsou připojena k simulačnímu jádru. První rozhraní poskytuje přímý výstup simulace v textové podobě. K němu existuje také interaktivní varianta, která dovoluje uživateli řídit běh simulace a manipulovat se stavem modelu. Třetí vytváří plnohodnotné uživatelské rozhraní určené pro vizualizaci průběhu simulace.
|
|
|
Překladač jazyka VHDL pro potřeby formální verifikace
Matyáš, Jiří ; Smrčka, Aleš (oponent) ; Charvát, Lukáš (vedoucí práce)
Cílem této bakalářské práce je navrhnout a implementovat překladač, který umožňuje převod popisu hardware z jazyka VHDL do grafové reprezentace v jazyce VAM (Variable Assignment Language). Program je určen pro potřeby formální verifikace výzkumné skupiny VeriFIT Fakulty informačních technologií VUT Brno. Důvodem vypracování této práce je poskytnutí možnosti formálně verifikovat návrh hardware s využitím vysokoúrovňových návrhových jazyků, jakým je například jazyk VHDL.
|
|
|
Převod výrazů v C do DIMACS formátu
Grim, Pavel ; Charvát, Lukáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se věnuje návrhu převodu výrazů zapsaných v programovacím jazyce C do formátu DIMACS a realizaci programu v jazyce C++ provádějící tento převod. V textu práce se nachází popis programovacího jazyka C a jeho operátorů. Dále obsahuje popis konjunktivní normální formy a popis formátu DIMACS. Následuje návrh vytvoření programu pro uskutečnění převodu z výrazu v programovacím jazyce C do formátu DIMACS a popis realizace programu provádějící tento převod.
|
|
|
Oceňování ocelových konstrukcí
Charvát, Lukáš ; Ing.Jiří Sachl (oponent) ; Marková, Leonora (vedoucí práce)
Diplomová práce se zabývá oceňováním ocelových konstrukcí z pohledu investora. V dnešní době existuje celá řada ocelových konstrukcí, jejichž výroba se částečně provádí v dílně, tzv. mostárně a zbytek montáže je provedeno přímo na stavbě, na rozdíl od stavební výroby. Z toho vzniká velký problém finančního ohodnocení celkové práce, protože montážní firmy mnohdy neuvádějí podrobný rozpis prací. Cílem práce je navrhnout postup oceňování ocelových konstrukcí ve fázi zpracování dokumentace, dílenské výroby, dopravy a montáže na staveništi technologických zařízení.
|
|
|
Mládež v aktivistických konceptech krajní pravice
Charvát, Lukáš ; Rataj, Jan (vedoucí práce) ; Danicz, Štefan (oponent)
První kapitola popisuje základní problémy dnešní mládeže jako jsou drogy, kriminalita či nezaměstnanost. Následují společenské příčiny jako vliv rodiny či její sociální situace a psychologické faktory jako pocit sounáležitosti, snaha identifikace a úloha symbolů. V druhé kapitole je věnována pozornost ideálu a hodnotám krajně pravicové mládeže a způsobu její aktivizace. V poslední kapitole je demonstrován přístup pěti ukázkových organizací. Na závěr jsou nastíněny možnosti řešení problému inklinace mládeže ke krajní pravici.
|
host ::
RSS.