|
Regulovaný syntaxí řízený překlad
Dvořák, Tomáš ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá formálním pohledem na regulovaný syntaxí řízený překlad. První část obsahuje formální základy teorie jazyků, jejich klasifikaci a analýzu. Jsou uvedeny příklady gramatik generující jazyky, které nejsou bezkontextové, především maticové gramatiky, gramatiky s nahodilým kontextem a programované gramatika. Jsou uvedeny konečné, zásobníkové, hluboké a regulované automaty. Formálně vymezuje převodníky a jejich roli v rámci formálního a syntaxí řízeného překladu. Zavádí regulované převodníky založené na regulovaných automatech. Jádrem práce je návrh algoritmů regulované syntaktické analýzy jako rozšíření tradičních algoritmů prediktivní syntaktické analýzy. Tyto algoritmy jsou navrženy pro všechny uvedené speciální typy gramatik. Závěr práce je věnován návrhu jazyka jako prostředku pro popis těchto gramatik a překladače těchto gramatik na kód syntaktického analyzátoru a jejich grafického analyzátoru.
|
|
Transformace výrazů z Editoru Rovnic do LaTeXu
Šimek, Jiří ; Jirák, Ota (oponent) ; Křivka, Zbyněk (vedoucí práce)
Bakalářská práce se zabývá problémem převodu matematických výrazů z Editoru rovnic do LaTeXu. Uvádí způsob reprezentace výrazů v Editoru rovnic v aplikaci Word 2007 a následně syntaxi konkrétních výrazů s návrhem jejich převodu do LaTeXu. Na základě zjištěné syntaxe výrazů je sestavena gramatika, která byla použita pro implementaci převodníku.
|
|
Měření rychlostních profilů v kapalinách pomocí UVP
Kárník, Jan ; Stejskal, Jiří (oponent) ; Štigler, Jaroslav (vedoucí práce)
Následující bakalářská práce pojednává o jednom z možných způsobů určování rychlostních profilů v kapalinách. Obsah práce je zaměřen zejména na metodu UVP (Ultrasound Velocity Profile), na způsoby a principy měření, její klady a zápory a její srovnání s ostatními konvenčními metodami, jako například PIV (Particle Image Velocimetry) a LDA (Laser Doppler Anemometry). V práci je dále popsáno možné uchycení převodníků k měřicí soustavě. Dále se práce zabývá problémy při zkušebním měření. Úvodem se práce zabývá seznámením s principem a funkcí měřicího zařízení a se samotným zařízením pro metodu UVP. Kromě metody UVP se pak práce zabývá stručným popisem konkurenčních měřicích metod – PIV a LDA, které jsou v současné době využívány k měření rychlostních profilů. Zvláštní pozornost je věnována metodě PIV, jejíž význam v současnosti stále roste. Závěrem je provedeno porovnání jednotlivých měřicích metod s metodou UVP a zhodnocení kroků nutných pro úspěšné měření technikou UVP.
|
|
Pájecí stanice
Golian, Dominik ; Baštán, Ondřej (oponent) ; Macho, Tomáš (vedoucí práce)
Cieľom práce je zhotoviť funkčnú spájkovaciu stanicu ktorá bude dosahovať kvalít komerčných výrobkov. Samotný návrh sa nezaobíde bez potrebných znalostí z tejto oblasti. Preto je v úvode práce poskytnutý rýchli náhľad do problematiky spájkovania. Na základe prieskumu trhu sú určené špecifikácie výrobku. Stanica je riadená mikrokontrolérom, čo umožní implementáciu užitočných funkcií z niekoľkých porovnávaných spájkovačiek. V praktickej časti je podrobne popísané elektrické riešenie s návrhom dosky plošných spojov. Ďalej je tu opísaný program, ktorý sa stará o funkčnosť celého výrobku. Riadiaca štruktúra, ktorá reguluje teplotu pera, bola zvolená na základe identifikácii systému. Výstupom je výrobok, ktorý spĺňa zadané ciele.
|
|
Záznamník přenesených dat pro sériové komunikační linky
Jankech, Tomáš ; Šebesta, Jiří (oponent) ; Dušek, Martin (vedoucí práce)
Cieľom bakalárskej práce je realizácia záznamníku dát zo sériových liniek. Práca popisuje základné pojmy pre sériové komunikácie a bližšie sa zaoberá štandardami RS232 a RS485 pre sériovú komunikáciu. Sú v nej popísané najčastejšie spôsoby záznamu vrátane ich použitia v praxi. Bloková schéma navrhovaného záznamníku prenosov je detailne popísaná po jednotlivých blokoch. Ich bližší popis obsahuje prehľad obvodov, s ktorými je možná realizácia bloku a obvodovú schému s použitým obvodom. V ďalších kapitolách sa práca zaoberá popisu návrhu dosky plošných spojov, ovládacej aplikácie pre PC a tvorbe obslužného firmware-u pre mikroprocesor.
|
|
Externí uživatelské rozhraní s USB
Sládeček, Michal ; Ambrož, Jaromír (oponent) ; Hejátková, Edita (vedoucí práce)
Bakalářská práce se zabývá vývojem uživatelského rozhraní, které komunikuje s hostitelským systémem přes USB. V úvodu práce jsou zmíněny existující alternativy takového zařízení. Následně je probrána základní teorie komunikace přes USB. Hlavním cílem práce je výběr hardwarových částí zařízení, jako je USB komunikátor, displej, LED, tlačítka a kompletní vývoj ovládací knihovny. Výsledkem práce je plně funkční zařízení s ovládací knihovnou.
|
|
Laboratorní přípravek demonstrující sběrnici CAN
Levek, Vladimír ; Fedra, Zbyněk (oponent) ; Frýza, Tomáš (vedoucí práce)
Cílem této semestrální práce je navrhnout laboratorní přípravek demonstrující komunikaci pomocí sběrnice CAN. Laboratorní přípravky, řízené mikroprocesorem, budou posílat stavy vstupů a výstupů mezi sebou. Rovněž bude umožněno vysílat a přijímat zprávy pomocí sériového portu RS-232. Protokolem CAN budou posílány tyto informace: teplota, osvětlení, analogový vstup 0 - 5 V, analogový výstup 0 - 5 V, digitální vstupy úrovně TTL a digitální výstupy typu otevřený kolektor.
|
| |
|
Připojování vestavěných systémů k intranetu
Damborský, Roman ; Ryšavý, Ondřej (oponent) ; Švéda, Miroslav (vedoucí práce)
Práce zkoumá možnosti připojování vestavěných systémů k intranetu. Bere v úvahu možné technologie a prostředky použitelné k řízení a sběru dat vzdálených senzorů. Zabývá se možnostmi standardu IEEE 1451.1, který definuje abstraktní rozhraní převodníku pro připojování čidel k sítím, aniž by specifikoval konkrétní implementaci komunikace mezi těmito entitami. Dále práce pokrývá návrh a implementaci systému založeného na architektuře popsané standardem IEEE 1451.1.
|
|
Řízený výkonový generátor proudových impulsů
Gabriel, Viktor ; Vrba, Kamil (oponent) ; Rampl, Ivan (vedoucí práce)
Cílem práce je návrh a realizace mikroprocesorově řízeného výkonového generátoru proudových impulsů, které jsou přiváděny na indukční zátěž. První část práce se věnuje popisu jednotlivých funkčních částí generátoru, především programového vybavení mikropočítače. Dále se text zaměřuje na návrh toroidní cívky jakožto indukční zátěže a různých variant řešení výkonových částí s výběrem té nejvhodnější. Závěr práce se zabývá realizací výkonového generátoru proudových impulsů na oboustranné desce plošných spojů.
|