|
|
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.
|
|
|
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.
|
|
|
Automatické generování projektu v prostředí TIA portal
Halata, Roman ; Jirgl, Miroslav (oponent) ; Štohl, Radek (vedoucí práce)
Diplomová práce se zabývá automatickým generováním kódu pro PLC od firmy Siemens. První část se zaměřuje na aktuálně dostupné nástroje pro generování kódu a možnosti C# knihovny Siemens TIA Openness. Dále je vytvořen návrh struktury projektu v TIA portal. Nakonec je navržena a vytvořena uživatelská aplikace pro automatické generování kódu v TIA portal v15, vhodná především pro větší projekty s rozdělením na jednotlivé stanice.
|
|
|
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í.
|
|
|
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.
|
|
|
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.
|
|
|
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í.
|
|
|
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%.
|
|
|
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.
|
host ::
RSS.