|
|
Mobilní systém pro podporu cestování
Blatný, Petr ; Zelený, Jan (oponent) ; Očenášek, Pavel (vedoucí práce)
Tato diplomová práce se zabývá popisem návrhu a implementace mobilního systému pro podporu cestování. Aplikace, pojmenovaná TravelHelper, je implementována pro platformu Android, a je tedy napsána v programovacím jazyce Java. Text proto popisuje práci s použitou platformou a její základní části. Hlavní funkcí aplikace je cestovní deník, umožňující uživateli zaznamenávat významné body cest. Aplikace umožňuje tyto cesty sdílet na sociální sítě a zálohovat do souboru. Dalšími funkcemi aplikace jsou vyhledávání míst v okolí, správa cestovních výdajů, překladač, převodník měn a seznam pro balení.
|
|
|
Překladač podmnožiny jazyka Python
Falhar, Radek ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Python je dynamicky typovaný, interpretovaný programovací jazyk. Díky dynamickému typovému systému je tedy obtížné jej zkompilovat do statického zdrojového kódu. Tedy kódu, kde je přesně dáno, jaké typy existují a jaká je jejich struktůra. Existuje několik způsobů jak tohoto dosáhnout a jedním z primárních je typová inference. Tento přístup se snaží určit struktura typů ze zdrojového kódu. V případě jazyka Python je však tento přístup obtížný, protože výsledný typový systém je velice komplexní a jazyk samotný není k typové inferenci navržen. V této práci jsem se zaměřil na identifikaci podmnožiny tohoto jazyka, aby byla možná typová inference při zachování co nejpřirozenějšího použití jazyka. Následně jsem implementoval překladač, který tuto podmnožinu přeloží do staticky typovaného jazyka, který pak lze přeložit do nativního kódu.
|
|
|
Specializovaný interpret jazyka JavaScript
Borůvka, Jan ; Rychnovský, Lukáš (oponent) ; Peringer, Petr (vedoucí práce)
Cílem diplomové práce je navrhnout a implementovat interpret jazyka JavaScript, který je vytvářen pro potřebu obcházení zatemňovacích obálek některých druhů počítačových virů. Součástí práce je podrobný rozbor vnitřních mechanismů, pomocí kterých je v ECMAScript standardu přesně definováno chování jazyka.
|
|
|
Převod binárního kódu x86 do vyššího programovacího jazyka
Jurík, Marián ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Cílem diplomové práce je navrhnutí a implementace programu na převod binárního kódu do vyššího programovacího jazyka. Práce je zaměřena na binární soubory pro operační systém MS Windows. Je zde podrobně popsán souborový formát PE, který definuje způsob ukládání binárního kódu do souboru. Také je popsána instrukční sada IA-32, kde byl hlavně kladen důraz na způsob dekódování binárního kódu do jazyka symbolických adres. Součástí práce jsou popsány typické konstrukce používané při překladu a návrh vyššího programovacího jazyka. Návrh vychází z existujících jazyků C, C++ a jazyka symbolických adres. Předposlední kapitola pojednává o návrhu programu a samotné implementace. V závěru práce jsou zhodnoceny její výhody a nevýhody.
|
|
|
Jazyk vyšší úrovně abstrakce pro programování mobilních inteligentních agentů
Kalmár, Róbert ; Horáček, Jan (oponent) ; Zbořil, František (vedoucí práce)
Cílem této práce je návrh jazyka vyšší urovně abstrakce pro programování mobilních inteligentních agentů a implementace překladače pro tento jazyk. Bude představen nástroj ANTLR pro generování syntaktických a lexikálnych analyzátorů. Čtěnář bude seznámen s teoretickou i praktickou stránkou implementace překladače tak jako s programovaním v tomto jazyce. V závěre práce bude představeno prostredí pro programování spomínaném jazyce a příklady agentních kódů.
|
|
|
Lexikální analyzátor pro víceprocesorové počítače
Otáhal, Jiří ; Goldefus, Filip (oponent) ; Čermák, Martin (vedoucí práce)
Cílem práce je vymyslet metodu, která urychlí analýzu zdrojových textů na víceprocesorových počítačích. Pro tento účel aplikace využívá spuštění více procesů pod systémem UNIX. Každý takto vytvořený proces analyzuje předem určený blok ve zdrojovém souboru a poté se ukončí. Výstupem těchto procesů jsou vnitřní struktury, které reprezentují právě daný blok. Ze struktur je již sekvenčně vytvořen mezikód, který se následně interpretuje. Takto provedená paralelní analýza vedla ke zrychlení oproti klasické sekvenční.
|
|
| |
|
|
Virtuální platformy pro simulaci instrukčních sad
Ministr, Martin ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce se zabývá vytvořením generátorů kódu pro existující virtuální platformy QEMU a OVP. Práce se skládá ze studie technik, které používají ke své práci virtuální stroje. Hlavní částí práce je návrh procesu transformace vstupních instrukčních sad na kód, který používají tyto virtuální platformy. Výsledkem práce jsou funkční programy, které provádí generování kódu pro tyto virtuální platformy.
|
|
|
Překladač jazyka stavového diagramu do jazyka CHILL
Goldmannová, Zuzana ; Matoušek, Petr (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Tato práce se zabývá gramatikou existujícího proprietárního jazyka stavových diagramů, který se používá k modelaci stavových automatů použitých v pobočkových ústřednách. Cílem práce byla analýza gramatiky a stávajícího překladače z tohoto jazyka do jazyka CHILL a návrh a implementace překladače nového. Tento překladač bude lépe udržovatelný a odstraňovat chyby a nedostatky stávajícího řešení. Závěrem je tento překladač otestován za použití jak již existujících souborů, které byly dříve vytvořeny pro stávající překladač, tak souborů, které jsem vytvořila pro testovací účely.
|
|
|
Model překladače
Jílek, Roman ; Fiedler, Petr (oponent) ; Štohl, Radek (vedoucí práce)
Obsahem této diplomové práce je popis programovatelných automatů a průmyslové sběrnice AS-Interface, montáž komponent na konstrukci modelu překladače a programování modelu. První část práce je soustředěna na popis programovatelných automatů, jejich charakterizaci a rozdělení a na průmyslovou sběrnici AS-Interface a její součásti. Druhá část popisuje komponenty a jejich umístění na modelu. Třetí část je zaměřena na software. Čtvrtá popisuje programování, pátá vizualizaci a poslední pak obsahuje zadání laboratorní úlohy.
|
host ::
RSS.