|
|
Moderní metody návrhu řídicích systémů s podporou MATLAB/Simulink
Válek, Vít ; Kozovský, Matúš (oponent) ; Blaha, Petr (vedoucí práce)
Obsahem této práce bude představit si nástroje programu MATLAB/Simulink, které umožňují generovat zdrojový kód v jazyce C. Dále bude předvedeno, jak kombinovat zdrojové kódy psané v jazyce C s modely Simulinku a s algoritmy v MATLAB. Pro vybrané funkce bude generován kód a ten pak porovnán s knihovními funkcemi RTCESL. V poslední části bude stručně popsán princip vektorového řízení. Pro zjednodušenou smyčku vektorového řízení bude generován zdrojový kód, který bude následně srovnán s ručně psaným kódem. Pro srovnání je používán mikrokontroler KV46F256 od firmy NXP Semiconductors.
|
|
|
Překladač z Octave do C++
Ševčík, Václav ; Křivka, Zbyněk (oponent) ; Kolář, Martin (vedoucí práce)
Programy vyvinuté v interaktivním programovém prostředí Matlab je náročné využít na zařízeních s malým množstvím paměti a v integraci do projektů bez podpory tohoto jazyka. Proto jsou programy převáděny do jazyka C++. V praxi se používá manuálního převodu, který výrazně prodlužuje dobu nasazení. Tato práce se zaměřuje na automatizování překladu z jazyka Octave/Matlab do C++ s použitím knihovny Eigen umožňující využití maticových a vektorových operací. Překladač umožňuje překlad základních 39 operací a 13 funkcí jazyka Octave. Experimenty ukazují, že se tímto překladem dosáhne snížení požadavku paměti až o 99%.
|
|
|
Modelem řízený vývoj Android aplikací
Bělehrádek, Stanislav ; Burget, Radek (oponent) ; Rychlý, Marek (vedoucí práce)
Tato diplomová práce se věnuje návrhu a implementaci nástroje pro tvorbu Android aplikací, který je založený na modelem řízeném vývoji software (Model Driven Software Development). Nejprve je popsán obecně vývoj softwaru, potom konkrétně se zaměřením na MDD a executable UML. V další části je představena platforma Android, způsoby tvorby aplikací na tuto platformu a existující nástroje s podporou MDD. Následně je ukázán návrh nového MDD nástroje pro tvorbu Android aplikací. Navrhovaný nástroj je realizován jako Gradle plugin a samostatné vývojové prostředí využívající tento plugin. Nástroj k modelování aplikací využívá fUML a jazyk ALF. Funkce a možnosti vyvíjeného nástroje jsou demonstrovány při tvorbě vzorové aplikace.
|
|
|
SIMD code generator
Tuček, Karel ; Bednárek, David (vedoucí práce) ; Arcaini, Paolo (oponent)
Title: SIMD code generator Author: Karel Tuček Department: Department of Software Engineering Supervisor: RNDr. David Bednárek, Ph.D., Department of Software Engineering Abstract: The center of our interest is a problem of pipelined realisation of a special case of data processing networks. These realisations are supposed to realise some computations on series of independent data sets while utilizing SIMD instructions. The aim of this paper is to theoretically investigate the possibilities and the problems of employment of control flow in these networks and also to implement a general framework suitable for generation of these realisations. The main idea is utilisation of an algorithm crawling over partitions of a network factorised with respect to its control flow. Our idea is that SIMD parallelism should take place on the same instruction realised across multiple data sets. We illustrate the problems relevant to employment of branching and loops in these networks. We especially discuss a problem of data ordering and also provide relevant proofs. In the analytical part, we show implementation of a general framework which we believe to be suitable for processing of these networks. We also provide examples utilising Intel's SIMD Streaming Extensions. Keywords: Processing networks SIMD Parallelism iii
|
|
|
.NET library for the MediaWiki API
Onderka, Petr ; Petříček, Tomáš (vedoucí práce) ; Pokorný, Jaroslav (oponent)
.NET library for the MediaWiki API Abstrakt: Wiki běžící na systému MediaWiki poskytují svým uživatelům API, které lze použít k přístupu k dané wiki z počítačového programu. Toto API je rozsáhlé, často se mění a může se lišit wiki od wiki, takže může být náročné napsat knihovnu pro přístup k tomuto API. Tato práce popisuje LinqToWiki, knihovnu pro přístup k MediaWiki API ze C# nebo jiných jazyků na platformě .NET. Díky použití LINQu a generovaní kódu pomocí Roslynu, kód napsaný s použitím této knihovny je čitelný, objevitelný, silně typovaný a flexibilní.
|
|
|
Code Generation from UML State Machine Description
Píš, Ľuboš ; Richta, Karel (vedoucí práce) ; Nečaský, Martin (oponent)
Tato práce se zabývá implementací vhodného algoritmu generování kódu ze stavových diagramů v UML. Práce obsahuje analýzu popisu stavových automatů v jazyce UML, následuje popis formátu vstupního souboru navrhovaného generátoru a návrh generátoru samotného. V rámci práce byl generátor kompletně naimplementovaný spolu s dalšími funkčními požadavky. Popis výsledné implementace uzavírá tuto diplomovou práci.
|
|
|
Pattern matching in compilers
Bílka, Ondřej ; Hubička, Jan (vedoucí práce) ; Mareš, Martin (oponent)
Název práce: Pattern matching in compilers Autor: Ondřej Bílka Katedra: Katedra Aplikované Matematiky Vedoucí diplomové práce: Jan Hubička, Katedra Aplikované Matematiky Abstrakt: V této práci vyvineme nástroje na efektivní a flexibilní pattern matching. Představíme specializovaný programovací jazyk amethyst. Jedna z funkcí amethystu je generatování parserů. Také může sloužit jako alterna- tiva k regulárním výrazum. Naš systém umí generovat dynamické parsery. Jejich hlavní uplatnění je tvorba nástroju do IDE jako např. interaktivní zvýrazňovač syntaxe nebo detektor chyb. Amethyst umí zpracovávat i obecné datové struktury. Plánované využití je implementace kompilátorových optimal- izací jako napřiklad propagace konstant či rozvrhování instrukcí a jiné optimal- izace založené na dataflow analyze. Generované parsery jsou víceméně top-down parsery. Představíme nový algo- ritmus pro parsovaní strukturovaných gramatik v linearním čase. Amethyst používá techniky z kompilatorů pro optimalizovaní generovaných parserů. Klíčová slova: packrat parsování, dynamické parsování, strukturované gramatiky, funkcionální programování 1
|
|
|
Generované peephole optimalizace v překladači LLVM
Melo, Stanislav ; Podivínský, Jakub (oponent) ; Hruška, Tomáš (vedoucí práce)
Jednou z důležitých vlastností aplikačně specifických procesorů je jejich výkon. Aby byl co největší, musí se překladač přizpůsobit potřebám procesoru, pre který bude překládat a generovat co nejefektívnejší kód. Jedním ze způsobů přizpůsobení se je hledání vhodných instrukcií, které je možné implementovat jako jednu instrukci s více výstupy. Následně se dá vygenerovaný kód zefektivnit pomocí peephole optimalizátoru, který vyhledává skupiny instrukcí, které může směnit za jejich efektivnejší varianty. Tato práce popisuje problém nacházení a výběru instrukcí s více výsledky. Taktéž poskytuje stručný přehled několika nejznámějších algoritmů na řešení tohoto problému. Na závěr skoumá uplatnění a začlenění řešení spolu s peephole optimalizacemi, do překladače LLVM.
|
|
|
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í.
|
|
|
Demonstrační program konverzí konečných automatů
Štorek, Vojtěch ; Novotný, Tomáš (oponent) ; Lukáš, Roman (vedoucí práce)
Cílem praktické části této práce je vytvořit program, který aplikuje teorii konečných automatů v praxi a dělá tak tuto teorii snadější k pochopení. Program umožňuje snadné vytváření konečných automatů, nad nimiž následně jednoduše, ale hlavně didakticky demostruje základní teoretické znalosti, jako jsou převody na speciální typy konečných automatů, ilustrace činnosti nebo vyjádření konečného automatu formou zdrojového souboru v jazyce C. V této technické zprávě se pokusím popsat, jak jsou jednotlivé klíčové částí aplikace implementovány.
|
host ::
RSS.