|
|
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Gavenda, Daniel ; Smrčka, Aleš (oponent) ; Fiedor, Jan (vedoucí práce)
Simulink diagrams are widely used in industry, where they are used to specify control systems. The specific block used in them is the Stateflow diagram. The specified systems are often critical from the point of view of security, therefore the question of the correctness of the implementation of these systems is important. In this work, we will focus on the design, description and creation of a tool for the reverse reconstruction of the Stateflow diagram from the optimized code in the C language in order to prove the functional equivalence between the model and its corresponding code. Next, a created set of models representing models with Stateflow diagrams and codes generated from them is created, using several optimizations. The created tool will be tested on this set, it can also be used to evaluate other Stateflow analyzes and/or C code.
|
|
| |
|
|
Řízení otvírání okna osobního automobilu
Keprt, Jaroslav ; Vejlupek, Josef (oponent) ; Lamberský, Vojtěch (vedoucí práce)
Tato bakalářská práce se zabývá osazením výkonové elektroniky na DPS a návrhem algoritmu řízení pro danou funkci DC-motoru, který je součástí soustavy ovládání pohybu okna u osobního automobilu. V práci jsou popsány principy funkce stavových automatů, které se jednoduše programují pomocí nástroje Stateflow a implementace řídícího algoritmu do mikrokontrolérů PIC. Řídící program je navržen v prostředí Simulink a jeho nástavbě StateFlow s využitím Kerhuel Toolbox.
|
|
|
Automatizované pracoviště pro měření vzduchotechnických veličin
Smělý, Jakub ; Vejlupek, Josef (oponent) ; Vlach, Radek (vedoucí práce)
Tato práce se zabývá návrhem pracoviště pro měření vzduchotechnických veličin. V první části práce je popsáno proudění vzduchu, vznik tlaku v potrubí a jeho úbytky vlivem ztrát. Také se zde nachází popis ventilátorů a vysvětlení jejich charakteristiky závislosti vytvářeného dopravního tlaku na průtoku. V další části je popsán návrh měřicí komory, elektroniky a řízení pro plně automatické měření vzduchotechnických veličin.
|
|
|
Automatická uzávěrka diferenciálu
Kimlová, Anna ; Kučera, Pavel (oponent) ; Blaťák, Ondřej (vedoucí práce)
Práce je rozdělena do dvou částí. První část je rešerší o rozvodových částech traktoru. Dále popisuje modelování v programu MATLAB, Simulink a Stateflow. Druhá je věnována vytvoření algoritmu automatické uzávěrky diferenciálu a připojení předního pohonu a jeho otestování na modelu traktoru. Dále se zde řeší postup implementace algoritmu do řídící jednotky.
|
|
|
Trasovatelnost optimalizovaného generovaného kódu
Gavenda, Daniel ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práca sa zaoberá vytvorením aplikácie v jazyku Python, ktorá zo zadaného modelu a kódu z neho vygenerovaného poskytne užívateľovi analýzu optimalizácií vykonaných pri automatickom generovaní kódu. Táto analýza bude užitočná pre modelových návrhárov vo firme Honeywell International v oddelení AeroSpace. Umožní im tak jednoduchšie lokalizovanie a odstránenie či upravenie častí modelu, ktoré boli optimalizované.
|
|
|
Bezsensorové řízení BLDC motoru
Križan, Jakub ; Toman, Jiří (oponent) ; Grepl, Robert (vedoucí práce)
Práce se zabývá problematikou řízení bezkartáčového stejnosměrného (BLDC) motoru jak s užitím senzorů natočení, tak i bezsenzorově. Dále pojednává o problematice řízení při výpadku senzoru a zabývá se rovněž odvozením a simulací matematického modelu. První část práce rešerší shrnuje možnosti měření natočení motoru a popisuje používané metody bezsenzorového řízení. Ve druhé části je potom popsána realizace jak senzorového a bezsenzorového řízení na zařízení dSPACE, tak i řízení při výpadku senzoru. Další část práce se zabývá odvozením matematického modelu, jeho simulací v prostředí Matlab Simulink a identifikací jeho parametrů. Poslední část práce shrnuje výsledky a porovnává jednotlivé dílčí metody řízení aplikované na reálné soustavě.
|
|
|
Trasovatelnost optimalizovaného generovaného kódu
Gavenda, Daniel ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práca sa zaoberá vytvorením aplikácie v jazyku Python, ktorá zo zadaného modelu a kódu z neho vygenerovaného poskytne užívateľovi analýzu optimalizácií vykonaných pri automatickom generovaní kódu. Táto analýza bude užitočná pre modelových návrhárov vo firme Honeywell International v oddelení AeroSpace. Umožní im tak jednoduchšie lokalizovanie a odstránenie či upravenie častí modelu, ktoré boli optimalizované.
|
|
|
Automatická uzávěrka diferenciálu
Kimlová, Anna ; Kučera, Pavel (oponent) ; Blaťák, Ondřej (vedoucí práce)
Práce je rozdělena do dvou částí. První část je rešerší o rozvodových částech traktoru. Dále popisuje modelování v programu MATLAB, Simulink a Stateflow. Druhá je věnována vytvoření algoritmu automatické uzávěrky diferenciálu a připojení předního pohonu a jeho otestování na modelu traktoru. Dále se zde řeší postup implementace algoritmu do řídící jednotky.
|
|
|
Automatizované pracoviště pro měření vzduchotechnických veličin
Smělý, Jakub ; Vejlupek, Josef (oponent) ; Vlach, Radek (vedoucí práce)
Tato práce se zabývá návrhem pracoviště pro měření vzduchotechnických veličin. V první části práce je popsáno proudění vzduchu, vznik tlaku v potrubí a jeho úbytky vlivem ztrát. Také se zde nachází popis ventilátorů a vysvětlení jejich charakteristiky závislosti vytvářeného dopravního tlaku na průtoku. V další části je popsán návrh měřicí komory, elektroniky a řízení pro plně automatické měření vzduchotechnických veličin.
|
host ::
RSS.