|
|
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ů.
|
|
|
Poloautomatická diagnostika síťových protokolů
Svoboda, Ondřej ; Ryšavý, Ondřej (oponent) ; Holkovič, Martin (vedoucí práce)
Tato práce se zabývá poloautomatickou diagnostikou síťových protokolů. Řeší se zde, jak z příkladů komunikace sestavit obecný popis protokolů. Nejprve jsou představeny různé techniky odposlechu síťového provozu spolu s programy, které se často k odchytávání komunikace používají. Také budou popsány některé známé síťové protokoly se zaměřením na jejich komunikační zprávy. V další části budou popsány již existující metody získávání popisu z příkladů a definovány vlastnosti těchto metod. Následuje návrh architektury vyvíjeného nástroje společně s návrhem metod tvorby popisu protokolu. Další část se věnuje implementaci vytvářeného nástroje a na závěr je tento nástroj otestován a jsou s ním prováděny experimenty.
|
|
|
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í.
|
|
|
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.
|
|
|
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.
|
|
|
Softwarový framework pro standardizaci PLC programu
Hrubý, Otto ; Benešl, Tomáš (oponent) ; Jirgl, Miroslav (vedoucí práce)
Tato práce se zabývá standardizací softwaru pro PLC v rámci firemního využití. Cílem práce bylo navrhnout a implementovat program pro jednoúčelová zařízení používané v assembly procesu a program pro komunikaci umožňující nasazení zařízení v Master-Slave systému v roli slave. Program využívá prvky z normy IEC 61131-3, aby byla zabezpečena snadná přenositelnost programu pro různá vývojová prostředí. Software byl navržen tak, aby se dal lehce používat a měnit pro různá zařízení.
|
|
| |
|
|
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ů.
|
|
|
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.
|
|
|
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.
|
host ::
RSS.