|
|
Kongruence pro stromové automaty
Žufan, Petr ; Janků, Petr (oponent) ; Holík, Lukáš (vedoucí práce)
Tento článek pojednává o testování ekvivalence stromových automatů (TA). Přináší nový algoritmus vycházející z algoritmu Bonchiho a Pouse pro slovní automaty. Tento nový algoritmus spojuje bisimulaci s determinizací za běhu. Pomocí optimalizace založené na kongruenčním uzávěru se snaží vyhýbat extrémnímu zvětšování stavového prostoru. Z tohoto hlediska je lepší než jiné metody pro tento problém.
|
|
|
Porovnání vlastností senzorového a bezsenzorového řízení 3 fázového BLDC motoru
Drápal, Michal ; Šťastný, Jiří (oponent) ; Roupec, Jan (vedoucí práce)
Předkládaná diplomová práce se zaměřuje na porovnání senzorového a bezsenzorového řízení 3fázového BLDC motoru. Tato práce byla sestavena a konzultována s odborníky z firmy Honeywell, spol. s r. o. a NXP Semiconductors Czech republic, s. r. o. Rešeršní část popisuje princip fungování BLDC motoru a také jednotlivé způsoby řízení. V praktické části je testována senzorová a bezsenzorová aplikace poskytnutá firmou NXP. Vzhledem k poskytnutým aplikacím je k práci navíc přiložen i stavový automat pro bezsenzorové řízení na základě původní bezsenzorové aplikace od firmy NXP. Závěr obsahuje zhodnocení spolupráce s firmou NXP a zamyšlení se nad možnou budoucí spoluprací.
|
|
|
SIMULATION AND IMPLEMENTATION ANALYSIS OF THE AUTOSYNCHRONOUS SUBSYSTEMS IN VLSI DEVICE
Kováč, Michal ; Kostka,, František (oponent) ; Jalovecký, Rudolf (oponent) ; Kolouch, Jaromír (vedoucí práce)
This thesis focuses on problem-solution analysis of synchronous digital circuits; the results of which are autosynchronous circuit design methodology, timing parameter definitions based on simulation models and constraint settings. The RTL transformation of the synchronous state machine in VHDL language to an autosynchronous state machine was created with minimal modifications for the simple design of these circuits. Following this, a comparison of the transformed state machines with their synchronous originals in parameters such as chip area, current consumption and timing specification domain is introduced. The summation of this thesis displays a theoretical comparison of several types of synchronization (synchronous, autosynchronous, fundamental asynchronous, EAIC, Bundled-data, Dual-rail) which are presented on the single state machine example with the same technology parameters.
|
|
|
Prohlížečová hra s umělou inteligencí
Moravec, Michal ; Volf, Tomáš (oponent) ; Bartík, Vladimír (vedoucí práce)
Práce se zabývá návrhem a implementací webové hry, kterou může hrát více hráčů přes síť internet. Stěžejním prvkem hry je budování ekonomiky, hráči však spolu mohou i spolupracovat (obchodování) a hrát proti sobě (souboje). Pro perzistentní úložiště postupu je použita NoSQL databáze, kde v práci je popsán její návrh a implementace. Mimo reálných hráčů se ve hře vyskytují agenti/boti, kteří hru hrají automatizovaně pomocí stavových automatů vygenerovaných genetickými algoritmy. V práci je popsán princip návrhu a fungování jak genetických algoritmů, tak samotných stavových automatů.
|
|
|
Návrh a implementace SW pro řízení robotické buňky
Mbontar, Patrik ; Pochylý, Aleš (oponent) ; Kubela, Tomáš (vedoucí práce)
Diplomová práca pojednáva o návrhu softwaru pre ovládanie robotickej bunky, ktorá pozostáva z dvoch robotov KUKA a pásového dopravníku. Roboty budú vykonávať robotické operácie podobné operáciám v priemyselnej praxi. Na začiatku práce bude stav súčasného poznania a rozbor riešenej problematiky. Kľúčovou častou bude návrh softwaru pre riadenie robotickej bunky v prostredí TwinCAT od firmy Beckhoff. Roboty a dopravník budú riadene nadradeným PLC, ktoré bude povelované z navrhnutého softwaru pomocou HMI. Cieľom je úspešne implementovať navrhnutý software na riadenie robotickej bunky a monitorovanie pomocou unikátnej vizualizácie, ktorá bude navrhnutá presne pre danú robotickú bunku a jej prisluhujúcim manipulačným operáciám.
|
|
|
Ří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.
|
|
|
Funkční HIL testy univerzální elektronické řídicí jednotky
Štramberský, Jan ; Appel, Martin (oponent) ; Brablc, Martin (vedoucí práce)
Tato práce se zabývá funkčním HIL testováním univerzální elektronické řídicí jednotky. Řídicí jednotka je graficky programována v aplikaci, v níž je možné vytvářet stavové automaty s předprogramovanými funkcemi. V rámci práce byl vytvořen HIL test jednotky. Signály jsou vyměňovány mezi jednotkou a PC za pomocí vstupně/výstupní karty. Na PC běží skript HIL testu v programu Matlab. Tento test ověřuje firmware jednotky za pomocí kontroly očekávaného chování jednotlivých funkcí a podmínek přechodů.
|
|
| |
|
|
Nejistota měření rozměrů vozidel pomocí 2D lidaru
Želinský, David ; Richter, Miloslav (oponent) ; Šedivá, Soňa (vedoucí práce)
Tato diplomová práce se zabývá vysvětlením pojmů chyba měření a nejistota měření. Také představuje pojem LiDAR, popisuje jeho konstrukci, jak pracuje, a k čemu se dá použít. Informace z teoretické části této práce jsou pak použity pro analýzu nejistot měření rozměrů vozidel pomocí 2D LiDARu. Jednotlivé nejistoty měření jsou vysvětleny a na vzorovém příkladu vypočítány. Dále je vytvořen program v LabVIEW, který z naměřených dat rozměry vozidla a nejistoty těchto rozměrů počítá. Na závěr jsou srovnány výsledky programu s reálnými rozměry. Práce je vypracována pro firmu Cross Zlín.
|
|
|
Řízení krokových motorů s CPLD
Daněk, Jan ; Kolouch, Jaromír (oponent) ; Kováč, Michal (vedoucí práce)
Tématem mé bakalářské práce je řízení krokových motorů s CPLD. Vytvoření radiově řízeného anténního rotátoru. Řízení je prováděno osobním počítačem pomocí RF obvodů. Práce obsahuje objasnění konstrukce a principu krokových motorů. Základní strukturu CPLD obvodů a její aplikaci pro vytvoření řídícího obvodu. Probrány jsou možnosti snímání polohy, uložení dat obvodem CPLD a radiového spojení. Výsledkem práce je návrh řídícího programu v jazyku VHDL, vytvoření zařízení realizovaného pomocí vývojové desky. K vývojové desce je připojen radiový přijímací obvod a budící obvod krokového motoru. Vysílací část je samostatně připojená k osobnímu počítači nebo jinému zařízení pomocí rozhranní RS232. V práci jsou navrženy desky plošných spojů vysílací a přijímací části. Pro osobní počítač je vytvořen program pro přenos dat komunikující s RS232.
|
host ::
RSS.