|
|
Classification of Grammars, Languages and Machines (Basic Types, Use)
Klimešová, Michaela ; Novotný, Jan (oponent) ; Bobalová, Martina (vedoucí práce)
This bachelor's thesis is written as a brief list of fundamental theory on the given topic with extensions of working out methods and solving examples. The thesis is divided into two basic parts. The first part is focused on the essential theoretical pieces of knowledge about languages, grammars and machines. There is a particular explanation of the theory related to formal languages and operations on languages, grammars and their separation, and to finite state machines, together with dividing them into deterministic and nondeterministic ones. The second part is devoted to working out, explanation and calculation of the examples applied to the given topic - from the simple ones to the difficult ones.
|
|
|
Klasifikace jazyků, gramatik a automatů
Mocková, Ľubica ; Zimmerová, Barbora (oponent) ; Bobalová, Martina (vedoucí práce)
Tato práce je stručným přehledem základních typů jazyků, gramatik a automatů, jež jsou součástí teoretické informatiky. Práce obsahuje přehled teorie, vázané k danému tématu a příklady vážící se k teoretické části. Tato práce má sloužit jako studijní materiál pro studenty Fakulty podnikatelské pro předmět Diskrétní matematika. Dále může stejně dobře posloužit i studentům jiných vysokých škol a fakult, kteří mají ve svém studijním plánu předmět týkající se teorie gramatik a automatů.
|
|
|
Zdroj vysokonapěťových pulzů pro elektroporaci buněk
Puczok, Václav ; Martiš, Jan (oponent) ; Červinka, Dalibor (vedoucí práce)
Hlavním cílem této práce je vytvoření řídící desky přístroje určeného pro ireverzibilní elektroporaci a napsání řídícího firmware pro použitý procesor. V první kapitole je pojednáno o samotném principu buněčné elektroporace. Je zde popsán model buňky v elektrickém poli, účinek elektroporace na živou tkáň a také simulace metody. Dále jsou definovány požadavky na parametry pulzů ireverzibilní elektroporace a také požadavky na bezpečí pacienta ve smyslu synchronizace pulzů se signálem EKG. Na konci první kapitoly je vysvětlen princip nové vysokofrekvenční elektroporační metody H-FIRE, při které jsou do tkáně aplikovány dávky bipolárních, vysokonapěťových, velmi krátkých pulzů. Ve druhé kapitole je stručně představeno komerční elektroporační zařízení Nanoknife. Je zde popsána jeho výkonová i řídící část, včetně uvedení mezních parametrů zařízení. Ve třetí kapitole je představen nový přístroj pro ireverzibilní elektroporaci vyvinutý na VUT v Brně a stručně popsáno zapojení jeho výkonové části. Čtvrtá kapitola se týká návrhu řídící desky. Jsou zde popsány jednotlivé schematické bloky celého zapojení. V páté kapitole je charakterizován algoritmus řídícího programu, následuje stručný manuál k přístroji.
|
|
|
Simulace líných konečných automatů
Vrábel, Lukáš ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Táto bakalárska práca popisuje matematický model lenivého konečného automatu a implementáciu jednoduchého simulačného programu postaveného na základoch tohoto automatu, ktorý demonštruje možnosti daného modelu. Taktiež sa zaoberá výhodami a nevýhodami oproti ostatným prístupom a implementáciám. Model lenivého konečného automatu poskytuje určité výhody z hladiska uživateľa, ktorý vďaka nemu dostáva do rúk väčšiu voľnosť pri definovaní pravidiel automatu.
|
|
|
Jabber/XMPP transport pro diskuzní skupiny přístupné protokolem NNTP
Halfar, Patrik ; Weiss, Petr (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá problematikou výměny informací v počítačových sítích. V první části se zabývá úvodem do diskuzních skupin, známých též pod názvem NetNews a shrnutím hlavních informací o nově se rozvíjejícím projektu Jabber/XMPP . V druhé části jsou popsány možnosti propojení těchto dvou protokolů; a detailněji popisuje aplikaci vytvořenou k tomuto účelu. V příloze je pak uvedeno, jak nakonfigurovat nejznámější servery pro spolupráci s touto službou. A pro úplnost jsou uvedena schémata používaných XML souborů.
|
|
|
Teploměr využívající platformu FITKit
Čižinský, Vojtěch ; Šimek, Václav (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Skutečný rozmach v oblasti měření teploty proběhl ve 20. století. Tento obor pronikl téměř do všech oblastí lidské činnosti a usnadnil mnoho výrobních i jiných procesů. Tato bakalářská práce se zabývá návrhem měřícího modulu připojitelného k platformě FITkit a implementací programu, který s modulem komunikuje. Na modulu jsou umístěny senzory pro měření teploty, které se navzájem liší způsoby její prezentace.
|
|
|
Aplikace pro zobrazení struktury konečného automatu
Polcer, Ondřej ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Cílem práce je aplikace, která převádí textovou podobu konečného automatu na tzv. "stavový diagram", který je obecně pro vyjádření vzájemných vazeb názornější, než textová forma. Nejprve se strojová podoba konečného automatu určité syntaxe převede do objektové podoby a doplní se o další udaje. Následuje algoritmizace hledání vhodných umístění pro jednotlivé stavy, aby struktura jejich přechodu byla přehledná a srozumitelná s ohledem na komplexnost zadaného konečného automatu. Aplikace vytvoří sadu ekvivalentních zobrazení v různé formě a dodá vhodné informace pro snadnou interpretaci výsledku.
|
|
|
Lexikální analyzátor pro víceprocesorové počítače
Otáhal, Jiří ; Goldefus, Filip (oponent) ; Čermák, Martin (vedoucí práce)
Cílem práce je vymyslet metodu, která urychlí analýzu zdrojových textů na víceprocesorových počítačích. Pro tento účel aplikace využívá spuštění více procesů pod systémem UNIX. Každý takto vytvořený proces analyzuje předem určený blok ve zdrojovém souboru a poté se ukončí. Výstupem těchto procesů jsou vnitřní struktury, které reprezentují právě daný blok. Ze struktur je již sekvenčně vytvořen mezikód, který se následně interpretuje. Takto provedená paralelní analýza vedla ke zrychlení oproti klasické sekvenční.
|
|
|
Grafická simulace činnosti konečných automatů
Šrajer, Roman ; Goldefus, Filip (oponent) ; Čermák, Martin (vedoucí práce)
Tato bakalářská práce se zabývá teorií převodu regulárního výrazu na konečný automat a zpět. Cílem praktické části je vytvořit webovou aplikaci, která tyto převody zajistí a odsimuluje automat pro vstupní řetězec. Pro převod konečného automatu na regulární výraz je použita algebraická metoda, která spočívá ve vytvoření soustavy rovnic a jejím následném vyřešení. Pro implementaci jsem zvolil jazyk Java a technologie Java Applet a Java Web Start, které umožňují přístup k aplikaci přes webové stránky. Nezbytnou součástí aplikace je možnost pracovat se třemi způsoby reprezentace konečného automatu, možnost ukládát automaty do XML a možnost zcela intuitivně vytvářet vlastní automaty.
|
|
|
Analysis of State Automatas for Embedded Applications
Maťas, Marek ; Blaha, Petr (oponent) ; Václavek, Pavel (vedoucí práce)
This master’s thesis deals with analysis of state machines for embedded applications. The issue of finite-state machine is described theoretically. The document also contains a proposal for funding for modeling finite state machines in Matlab/Simulink. It is designed data representation of finite automaton. Over this data representation algorithm of minimization is applied. Finally, the algorithm is implemented to generate code in C language.
|
host ::
RSS.