|
|
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.
|
|
|
Nástroj pro generováni informančního systému
Falhar, Radek ; Hanáček, Petr (oponent) ; Jurnečka, Peter (vedoucí práce)
Cílem této práce je navrhnout a implementovat nástroj pro pasivní generování zdrojových kódů pro specifický framework informačního systému. Tímto frameworkem je ZeroFramework, který je určen k vývoji klient-server aplikací na platformě .NET. Pro generování je použita knihovna T4Scaffolding, která umožňuje rozdělit logiku generování kódu na separátní části (tzv. scaffoldery). Tato práce se zabývá převážně návrhem a implementací těchto scaffolderů a jejich provázání s knihovnou T4Scaffolding. Výsledkem této práce jsou šablony a logika pro vygenerování souborů a tříd, které implementují logiku potřebnou pro zobrazení, přidání, úpravu a smazání konkrétní databázové entity.
|
|
|
Překladač jazyka C v prostředí Python
Fiedor, Tomáš ; Bidlo, Michal (oponent) ; Vašíček, Zdeněk (vedoucí práce)
V současné době neexistuje žádné výrazné propojení problematiky tvorby překladačů a návrhu procesorů a jejich instrukčních sad ve výuce. Cílem této práce je vytvořit snadno rozšiřitelný modulární překladač, který bude umožňovat experimentovat s instrukční sadou použitého cílového procesoru. Překladač implementuje několik optimalizačních technik, jejichž vliv je v práci diskutován. Jednou z pokročilejších použitých technik je kontextové generování cílového kódu, které vykazuje mnohem lepší metriky výsledného kódu v porovnání s prostým slepým generování.
|
|
|
Generování backendu aplikace z UML modelu
Klikar, Václav ; Očenášek, Pavel (oponent) ; Burget, Radek (vedoucí práce)
Cílem této bakalářské práce je navrhnout a implementovat nástroj umožňující obousměrnou synchronizaci UML diagramu tříd a backendu aplikace kdykoliv v průběhu tvorby aplikace. Práce s UML modelem je umožněna pomocí standardizovaného XMI formátu. Backend aplikace je vytvořen a spravován prostřednictvím webového rámce Django. Pro čtení a zápis programového kódu Djanga je využit syntaktický analyzátor abstraktních syntaktických stromů.
|
|
|
Generování zdrojových kódů aplikací pomocí návrhových vzorů
Hanák, František ; Malinka, Kamil (oponent) ; Jurnečka, Peter (vedoucí práce)
Tato práce se zabývá generováním zdrojových kódů aplikací pomocí návrhových vzorů. Práce popisuje problematiku specifikace návrhových vzorů a jejich užití při generování kódů aplikací. Podstatná část práce se věnuje popisu návrhových vzorů, jejich dělení, účelu použití, ale i způsobům specifikace vzorů. Detailně popisuje nejčastěji používané formální specifikace návrhových vzorů, jejich možnosti využití při generování kódu a návrh algoritmu pro vyhledání podobných struktur vzorů ve zdrojovém kódu.
|
|
|
Generování kódu z Objektově orientovaných Petriho sítí
Hanák, Martin ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá generováním zdrojových kódů z jazyka PNtalk do standardních objektově orientovaných jazyků, např. C++ nebo Java. Rozebírá možnosti zjednodušeného modelování formalismu Objektově orientovaných Petriho sítí (OOPN) v prostředí těchto jazyků. Takový model by měl být jednodušší a efektivnější, než nabízí aktuální implementace v prostředí jazyka Smalltalk. Práce také uvádí návrh abstraktizace generátoru kódu tak, aby byl schopen generovat výsledný kód v různých jazycích.
|
|
|
SW development and testing for engine monitoring module
Sumtsov, Artem ; Sova, Václav (oponent) ; Krejsa, Jiří (vedoucí práce)
The thesis describes Model Based Design process and its application for the design and testing of algorithms. This approach was employed in the development of the Engine Monitoring Module in collaboration with the UNIS, a.s. company. The continuous monitoring of equipment is a current trend in the development of the aerospace industry. The outputs of these algorithms can be used for planning maintenance with respect to operative modes and conditions. Monitoring algorithms are implemented in the Matlab/Simulink environment and are tested on the dSpace platform.
|
|
|
SW development and HIL testing for engine monitoring module
Sumtsov, Artem ; Sova, Václav (oponent) ; Krejsa, Jiří (vedoucí práce)
The thesis describes Model Based Design process and it’s application for design and testing of algorithms. The description of this approach is done on example of practical application for development of the Engine Monitoring Module in collaboration with Unis company. The development of the aerospace industry nowadays is focused on continuous monitoring of equipment. The outputs of these algorithms can be used for planning the maintenance with respect to operative modes and conditions. Monitoring algorithms are implemented in Matlab/Simulink environment and are tested on dSpace platform.
|
|
|
Simulink model code generation for motor control applications
Otava, L.
This article is focused on the embedded software development using code generation. C-code is generated from Simulink model. Article describes hardware interface of Simulink model for AC motor control applications code generation. Results are presented on platform with ARM Cortex-M4 micro-controller, inverter and permanent magnet synchronous machine. Measurements of speed control loop on a real machine are presented and utilization of used micro-controller are discussed in conclusion.
|
host ::
RSS.