|
|
Generování kódu optimalizovaných matematických operací
Beneš, Vojtěch ; Horáček, Petr (oponent) ; Čermák, Martin (vedoucí práce)
Bakalářská práce se zabývá vytvořením jednoduchého programovacího jazyka pro práci s matematickými operacemi. Hlavním cílem práce je vytvořit kompilátor tohoto jazyka, který pro generování instrukcí cílového kódu využívá instrukční sadu technologie MMX. Generování optimalizovaného kódu probíhá na základě upraveného algoritmu kontextového generování.
|
|
|
Gramatické systémy aplikované v překladačích
Reš, Jakub ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je navrhnout metodu konstrukce kompilátoru založenou na konceptu gramatických systémů, která umožní uživateli libovolně kombinovat dílčí existující konstrukční metody. Řešení zvoleného problému spočívá ve využití kooperujících distribuovaných gramatických systémů. Z těch byl převzán princip členění na komponenty, sekvenčně spolupracující na společné výsledné větě dle derivačního módu. Vzniká nám tedy konstrukce menších, úzce specifikovaných jednotek, schopná vzájemně předávat řízení a společně tak analyzovat složité jazyky. Každá z těchto komponent využívá jedné z existujících metod analýzy a její libovolné implementace. Přínosem této práce je navržení a ukázání užití principu gramatických systémů, které nám umožňuje konstruovat kompilátor užitím libovolných metod a zároveň, díky gramatickým systémům, zvýšit jeho celkovou generativní sílu.
|
|
|
Využití procesorů ARM pro zpracování signálů
Vonička, Miloš ; Frýza, Tomáš (oponent) ; Mego, Roman (vedoucí práce)
Cílem bakalářské práce je seznámit čtenáře s problematikou ARM procesorů na vybraném vzorku od společnosti STMicroelectronics. Práce má dále čtenáři připomenout základní principy analýzy signálů a snaží se o jejich demonstraci na zvolené platformě. Zájemcům o programování vlastního zařízení v jazyce C a JSA nabídne stručný návod na nastavení desky, vývojového studia a kompilátoru. Práce srovnává oba programátorské přístupy z hlediska technického a ekonomického. Důležitým bodem práce je porovnání rychlosti zpracování signálů při různých nastaveních kompilátoru a při použití operací v pohyblivé řádové čárce.
|
|
| |
|
|
Optimalizace agentního kódu
Hemala, Luboš ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Tato práce navazuje na předchozí snahu o vylepšování překladače agentního jazyka AHLL. Integrované optimalizace se zaměřují především na snížení velikosti cílového kódu v ALLL, proto je v této verzi rozšířena implementace o alokaci registrů barvením grafů. Prezentovány jsou také změny jazyka AHLL, které ovšem vyžadují složitější strukturu překladače. Celkové dosažené výsledky nového překladače potom vykazují průměrně o 35 % menší velikost výsledného kódu pro vyhodnocované komplexní agenty.
|
|
|
Regulovaný syntaxí řízený překlad
Dvořák, Tomáš ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá formálním pohledem na regulovaný syntaxí řízený překlad. První část obsahuje formální základy teorie jazyků, jejich klasifikaci a analýzu. Jsou uvedeny příklady gramatik generující jazyky, které nejsou bezkontextové, především maticové gramatiky, gramatiky s nahodilým kontextem a programované gramatika. Jsou uvedeny konečné, zásobníkové, hluboké a regulované automaty. Formálně vymezuje převodníky a jejich roli v rámci formálního a syntaxí řízeného překladu. Zavádí regulované převodníky založené na regulovaných automatech. Jádrem práce je návrh algoritmů regulované syntaktické analýzy jako rozšíření tradičních algoritmů prediktivní syntaktické analýzy. Tyto algoritmy jsou navrženy pro všechny uvedené speciální typy gramatik. Závěr práce je věnován návrhu jazyka jako prostředku pro popis těchto gramatik a překladače těchto gramatik na kód syntaktického analyzátoru a jejich grafického analyzátoru.
|
|
|
Generická obfuskace na úrovni bajtkódu
Kollát, Samuel ; Křoustek, Jakub (oponent) ; Ďurfina, Lukáš (vedoucí práce)
V této práci je popsána definice obfuskace a metody její realizace. Následuje popis projektu LLVM a možnosti jeho využití při vytváření obfuskace na úrovni bajtkódu se zaměřením na generickost vzhledem k cílové architektuře. Jádro práce tvoří podrobný návrh metod obfuskace s cílem jejich implementace v zadní části překladače LLVM. Závěrečná sekce se věnuje ověření funkčnosti na různých architekturách pomocí automatizovaných testů.
|
|
|
Syntaktická analýza založená na gramatických systémech
Sedmík, Adam ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce se zabývá problematikou gramatických systémů a syntaktické analýzy. V práci jsou představeny kooperačně distribuované a paralelně komunikující gramatické systémy. Na základě znalostí o gramatických systémech je navrhnut nový typ gramatických systémů se zaměřením na modularizaci syntaktické analýzy. Jsou předvedeny metody syntaktické analýzy, metoda rekurzivního sestupu a precedenční syntaktická analýza. Navržené gramatické systémy jsou předvedeny na syntaktické analýze vlastního programovacího jazyka.
|
|
|
Překladač pro víceprocesorové systémy
Barteček, Jakub ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato bakalářská práce se zabývá podporou paralelního vykonávání programů na platformě EdkDSP. Nejdůležitější části práce tvoří analýza cílové platformy a návrh překladače. Návrh je zaměřen na překlad OpenMP pragmat do vícevláknového kódu a transformování specifických typů cyklů. Překladač byl implementován pomocí frameworku ROSE compiler a následně otestován.
|
|
|
Modelování dynamiky části tiskařského stroje
Junek, Jiří ; Šolc, František (oponent) ; Václavek, Pavel (vedoucí práce)
Tato diplomová práce se zabývá modelováním dynamiky tiskařského stroje firmy SOMA Engineering v toolboxu SimScape simulačního programu Matlab/Simulink. Jsou zde popsány vlastnosti, postup, důležité principy a zákonitosti při modelování v tomto toolboxu. První část práce se zabývá vytvořením modelů, které obsahují jak mechanické, tak i elektrické a řídící části. V druhé části práce je vysvětlen postup vytvoření uživatelského rozhraní k ovládání modelů a vytvoření samostatně spustitelných (tzv. stand-alone) aplikací, které běží nezávisle na prostředí Matlab/Simulink.. V poslední části je vysvětlen princip identifikace parametrů materiálu z naměřených dat, pomocí optimalizačního algoritmu Nelder-Mead. Vytvořené modely a identifikační algoritmus jsou ovládány uživatelským rozhraním.
|
host ::
RSS.