|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (oponent) ; Yamamura,, Akihito (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.
|
|
|
Rozšířená synchronizace kontaktů a kalendáře se službami Google
Dohnal, Matěj ; Zelený, Jan (oponent) ; Očenášek, Pavel (vedoucí práce)
Hlavním cílem této bakalářské práce je shrnout problematiku synchronizace osobních dat mezi desktopovou aplikací a službami společnosti Google, na základě zjištěných poznatků a na základě analýzy existujících řešení navrhnout vlastní aplikaci, která bude provádět pokročilou synchronizaci osobních dat, a tuto aplikaci pak implementovat. Poslední částí práce je testování vytvořeného řešení a diskuse dosažených výsledků a možného budoucího vývoje.
|
|
|
Aplikace pro řešení firemních procesů v systému Android
Kalai, Marcel ; Očenášek, Pavel (oponent) ; Smrčka, Aleš (vedoucí práce)
Táto bakalářská práce poskytuje sondu do problematiky vývoje mobilních ERP aplikací. Ilustruje vývoj frameworku, který ulehčí vytváření klientské mobilní aplikace k ERP systému a demonstrační aplikace. Seznámime se s problematikou ERP systémů a platformou Android. Výsledkem bude sada nástrojů, která umožní správu dat, synchronizaci a přidávání modulů, kterých funkčnost bude představena na demostrační aplikaci.
|
|
|
Matematické modely lineárních oscilátorů
Lovas, David ; Opluštil, Zdeněk (oponent) ; Čermák, Jan (vedoucí práce)
Tato bakalářská práce pojednává o matematických modelech lineárních mechanických oscilátorů, které představují jednu ze základních aplikací obyčejných diferenciálních rovnic. Jsou zde vysvětleny harmonické oscilátory, tlumené oscilátory a buzené oscilátory. Dále se práce zabývá skládáním a spřažením oscilátorů, včetně jejich synchronizace.
|
|
|
Rozšířené zálohování pro OS Windows
Šilhán, Jiří ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Digitální informace jsou v dnešní době neodmyslitelnou součástí lidské existence. V elektronické podobě je dnes uloženo stále více informací a to nejen osobních, ale i firemních a státních. Tato bakalářská práce rozebírá možnosti zálohování dat, porovnává existující softwarová řešení a popisuje vytvořený program, který je schopný inteligentně zálohovat a obnovovat data včetně jejich verzování.
|
|
|
Kooperativní plánování projektů v aplikaci Getting Things GNOME
Matušov, Izidor ; Holík, Lukáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce pojednává o rozšíření pro aplikaci Getting Things GNOME, které ji umožní používat pro plánování a správu kooperativních projektů. Čtenář je seznámen se základními principy a vybranými metodami plánování a řízení projektů. V rámci této práce byla identifikovaná cílová skupina uživatelů a jejich potřeb, pro které bylo navrhnuto řešení. Práce obsahuje přehled rozšířeného uživatelského rozhraní pomocí náčrtků. Navrhnuté řešení bylo implementováno a otestováno.
|
|
|
Komunikace USB3.0 čipu s FPGA
Špeťko, Matej ; Viktorin, Jan (oponent) ; Košař, Vlastimil (vedoucí práce)
SEC6NET je zkrácený název pro projekt Moderní prostředky pro boj s kybernetickou kriminalitou na Internetu nové generace. Projekt je zaměřen na výzkum a vývoj prostředků monitorování síťového provozu a analýzu jeho záznamu. V rámci tohoto projektu jsou vyvíjená zařízení - sondy pro monitorování IPv6 sítí. Sondy využívají hardwarovou akceleraci pomocí FPGA. Moje práce spojuje dvě technologie: FPGA a USB. Cílem mojí práce je zabezpečení přenosu dat z FPGA čipu sondy do PC prostřednictvím mikrokontroléru Cypress EZ-USB FX3. V první části řeším přenos dat z FPGA do mikrokontroléru FX3. Druhá část popisuje úpravu firmware mikrokontroléru FX3 pro dosáhnutí maximální propustnosti. Poslední část řeší tvorbu PC aplikace pro operační systém Linux. Aplikace přijímá ze sondy zachycená data přes USB rozhraní a ukládá je na pevný disk ve formátu PCAP.
|
|
|
Synchronizace kontaktů v privátním cloudu
Sendler, Jaroslav ; Očenášek, Pavel (oponent) ; Trchalík, Roman (vedoucí práce)
Tato diplomová práce se zabývá možností vytvoření vlastního synchronizačního nástroje pro zařízení s operačním systémem Android. Jde o možnost synchronizace kontaktů z pře- nosných zařízení v privátním cloudu, který je zde substituován adresářovým serverem. Pro práci s adresářovým serverem je použit protokol LDAP a jeho serverová implementace OpenLDAP. První část práce je zaměřena na popis a strukturu adresářových služeb, ať už jde o způsob uložení dat nebo o nabízené funkce. Následuje analýza a vyčlenění požadavků na samotnou aplikaci. Celou práci ukončují návrhy a implementace týkající se bezpečnosti a pokročilé možnosti synchronizace pouze vybraných kontaktů.
|
|
|
Komunikace měřicích přístrojů s počítačem – návrh laboratorních experimentů
Cigánek, Jan ; Frýza, Tomáš (oponent) ; Jakubová, Ivana (vedoucí práce)
Projekt se zabývá tvorbou programu pro automatizované měření. Zahrnuje hlavní teoretické rady, ukázky a možnosti při tvorbě programu v jazyce C++. Ukazuje komplikace v komunikaci s měřicími přístroji a popis programovacích příkazů. Obsáhlá část je popis vytvořeného programu, jeho řešení, struktura s ukázkou algoritmu měření a zápis ve zdrojovém kódu. Ukazuje možnost zapojení pracoviště pro automatizované měření a návrh jednoduchých laboratorních experimentů. Realizovaný přípravek s analogovou násobičkou jako filtr typu horní a dolní propust je pak součástí přílohy. Použité přístroje pro měření byly Stejnosměrný zdroj Agilent E3631A, multimeter Agilent 34411A nebo osciloskop Tektronix TDS 1012 a generátor Agilent 33220A.
|
|
|
Návrh vícejádrového procesoru ve VHDL
Novotný, Jaroslav ; Straka, Martin (oponent) ; Kaštil, Jan (vedoucí práce)
V rámci práce byl navrhnut a v jazyce VHDL implementován jednoduchý multiprocesor podporující paralelní zpracování programové úlohy. Byla navržena a realizována universální transparentní generická propojovací vrstva určená k připojení libovolného počtu procesorových jader ke sdílenému adresovému prostoru pomocí arbitrované sběrnice. Každému z jader je v rámci vrstvy přidělena vyrovnávací paměť volitelných vlastností. V systému je řešen problém paměťové koherence pomocí protokolu MSI. Dále je dána k dispozici přímá i nepřímá podpora synchronizace. Za účelem ověření činnosti bylo navrženo a realizováno jednoduché procesorové jádro jehož kopie byly spojeny propojovací vrstvou. Funkčnost systému byla ověřena na testovacích úlohách, přičemž bylo prokázáno zrychlení. Celý systém byl odzkoušen na čipu Virtex6.
|
host ::
RSS.