|
|
Creepová životnost vysokomolekulárního polyethylenu (HDPE)
Patzelt, Petr ; Přikryl, Zdeněk (oponent) ; Petrůj, Jaroslav (vedoucí práce)
V teoretické části předložené diplomové práce se uvádí popis materiálových vlastností a testovacích parametrů, které mají vliv na průběh SCG. Experimentální část je zaměřená na porovnání vlivů různých podmínek na průběh FNCT a PENT. Zvolené teploty pro PENT byly 70; 80 a 90 °C a nominální napětí byla 2,0; 2,4 a 2,8 MPa. U FNCT bylo zvoleno ligamentální napětí 4 MPa pro všechna zvolená média, kterými byla voda, roztok Arkopalu N110 a roztok Dehytonu PL. Dále byla proměřena řada ligamentálních napětí 3; 4; 5; 6; 8 a 10 MPa v roztoku Arkopalu N110 při teplotě 80 °C. Následovalo studium morfologie lomových ploch těles. Naměřená data byla následně vyhodnocena pomocí pětiparametrické rovnice.
|
|
|
Překlad C++ aplikací pro vestavěná zařízení
Nosterský, Milan ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá přidáním podpory překladu jazyka C++ a jeho standardu C++11 v rámci překladače pro vestavěné systémy. Překladač, založený na projektu LLVM se generuje v rámci prostředí Codasip Studia. Toto prostředí slouží pro návrh procesorů s aplikačně specifickou instrukční sadou, kdy umožňuje na základě popisu sémantiky instrukční sady generovat překladač pro libovolnou cílovou architekturu. Jazyk C++ je jazyk vycházející z jazyka C, rozšířený o objektovou orientaci a několik nových funkcionalit. Jazyk C++ umožňuje psát velmi efektivní kód na vysoké úrovni abstrakce. V rámci testovací fáze je implementace podpory jazyka C++ ověřena na modelech procesorových jader s využitím testovací sady.
|
|
|
Aplikace pro odhalování plagiátů u rozsáhlých projektů
Kačic, Matej ; Přikryl, Zdeněk (oponent) ; Lukáš, Roman (vedoucí práce)
Cieľom práce je vytvoriť aplikáciu, ktorá rozpozná plagiáty v programovom kóde v projektoch bez kostry. Zaoberá sa konštrukciami v jazyku C a C++ a ich následným použitím pri detekcii plagiátov. Projekty prejdú fázami preprocesora, lexikálnej analýzy a tvorby porovnávacej štruktúry. Následne sa porovnávajú štatistickým testom a "Body" testom založeným na Najdlhšej spoločnej podpostupnosti.
|
|
|
Ladicí nástroj generických simulátorů mikroprocesorů
Wilczák, Milan ; Husár, Adam (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Procesory s aplikačně specifickou instrukční sadou se stávají součástí každodenního života, přestože obvykle nejsou na první pohled vidět. Při jejich vývoji je potřeba nějak popsat jejich architekturu, instrukční sadu a chování. Aby jejich vývoj měl smysl, musí být možné pro tyto procesory vytvářet aplikace a při vytváření aplikací se dělají chyby. K jejich objevování slouží debuggery. Tato práce shrnuje některé základní informace pro vytváření debuggerů a popisuje implementaci debuggeru pro procesory vytvářené pomocí projektu Lissom.
|
|
|
Implementace obecného VLIW procesoru v FPGA
Kuběna, Petr ; Přikryl, Zdeněk (oponent) ; Husár, Adam (vedoucí práce)
VLIW procesory jsou paralelní výpočetní zařízení používaná v oblastech od vestavěných systémů po servery. Práce obsahuje popis jejich architektury. Hlavním zaměřením je návrh a následně tvorba vlastního obecného VLIW procesoru s rozsáhlými možnostmi konfigurace. Nedílnou součástí je funkční implementace takového procesoru v jazyce VHDL, kterou je možné vyzkoušet na platformě FITkit.
|
|
|
Implementace obecného zpětného assembleru
Přikryl, Zdeněk ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Tato práce popisuje proces vytváření disassembleru pro nově navrhované procesory. Kritériem při vytváření je jeho automatické vygenerování. Instrukční sada pro procesor je modelována pomocí specializovaného jazyka ISAC, který obsluhuje prostředky pro popis této instrukční sady, jako je například formát instrukce v jazyku symbolických instrukcí, binární zápis instrukce a chování instrukce. Vnitřním modelem je párový konečný automat, který formálně popíše vztah mezi textovou reprezentací instrukce a binárním kódováním instrukce. Z tohoto vnitřního modelu je generován kód překladače - disassembleru. Ten na vstupu přijímá program ve strojovém kódu a generuje ekvivalentní program v jazyce symbolických instrukcí.
|
|
|
Profilovací nástroj pro generické simulátory mikroprocesorů
Wilczák, Milan ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce popisuje návrh a implementaci profilovacího nástroje pro nově vytvářené procesory. K popisu procesoru je použit specializovaný jazyk ISAC, který popisuje zdroje procesoru, instrukční sadu a chování procesoru. Výsledný profiler je rozšířením existujícího simulátoru a lze ho použít pro optimalizaci procesoru i jeho aplikací. Základem je generování událostí simulátorem a jejich následné zpracování do statistik.
|
|
|
Emulátor jednoduchého procesoru
Kuzník, Petr ; Přikryl, Zdeněk (oponent) ; Křoustek, Jakub (vedoucí práce)
Emulátor bude navržen jako obecný, schopný emulovat různorodé architektury. Jednotlivé architektury budou v samostatných modulech implementovaných jako dynamicky linkované dll knihovny. Hlavním cílem je dosáhnout právě obecnosti emulátoru a navrhnout jeho strukturu takovým způsobem, aby bylo možné jednoduše přidávat nové architektury a s použitím již implementovaných abstrakcí tyto architektury vytvářet. Hlavní implementovanou architekturou bude Commodore 64, předchůdce dnešních osobních počítačů, používaný v 80. letech hlavně v USA.
|
|
|
Syntaktická analýza založená na multigenerování
Kyjovská, Linda ; Přikryl, Zdeněk (oponent) ; Lukáš, Roman (vedoucí práce)
Práce se zabývá problematikou syntaktické analýzy založené na multigenerování. Cílem je vytvořit program, který zadaný vstupní řetězec transformuje na n- 1 výstupních řetězců. Vstupem programu je uživatelem vytvořený textový soubor obsahující pravidla n gramatik. Právě jedna gramatika je označena za vstupní a zbývajících n- 1gramatik se stává výstupními gramatikami. Na základě vstupní gramatiky se provede syntaktická analýza uživatelem zadaného řetězce, která nám určí použitá gramatická pravidla. Paralelně s touto analýzou vytváříme výstupní řetězce za použití zbývajících n- 1 gramatik. Implementace bude provedena pomocí technologií C++ a Bison.
|
|
|
Vytvoření modelu procesoru M68000
Adamec, Ondřej ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Cílem této bakalářské práce je vytvoření modelu procesoru Motorola 68000 za použití jazyka pro popis architektur CodAL a integrovaného vývojového prostředí Codasip Studio. V práci jsou použité nástroje představeny. Procesor M68000 se řadí mezi architektury s komplexní instrukční sadou. Architektura procesoru je detailně popsána. Zaměřuji se zejména na programátorský model, formát instrukcí a popis instrukční sady. Struktura vytvořeného modelu je do detailu popsána. Důležitou součástí této práce je také testování výsledného modelu. Je nutné se ujistit, že model je plně funkční a zcela odpovídá reálnému procesoru. K tomu byla použita sada testovacích programů. Pro účely testování byla zprovozněna sada nástrojů pro překlad zdrojových textů z jazyka C do jazyka symbolických adres. Výsledkem je funkční model, který byl otestován aby byla zaručena jehosprávnost.
|
host ::
RSS.