|
|
Systém pro automatickou regulaci vytápění v rekreačních objektech
Ježek, Lukáš ; John, Petr (oponent) ; Hynek, Jiří (vedoucí práce)
Cílem této bakalářské práce bylo navrhnout a implementovat systém pro ovládání vytápění a ohřevu vody v objektech rozdělených do více zón s více zdroji vytápění. Typicky větší a starší rekreační objekty, jako jsou statky či větší chalupy, které nemají pouze jeden zdroj tepla, systém bude ale použitelný i do novějších objektů. Tento systém může být ovládaný jak dálkově, tak i lokálně. Jako platforma z odvětví IoT byla zvolena RaspberryPi 4B. Tento systém řeší například zapojení krbové vložky do topného okruhu společně s kotlem, kombinovaným bojlerem, či jiným zdrojem tepla. Z existujících řešení žádné nedovoluje efektivně využívat více zdrojů s rozdělením do zón, případně je řešení drahé a neefektivní. Systém navíc nabízí rozšiřitelnost do dalších okruhů IoT.
|
|
|
Paralelní lexikální analyzátor
Ježek, Lukáš ; Koutný, Jiří (oponent) ; Čermák, Martin (vedoucí práce)
Tato práce se zabývá generováním lexikálního analyzátoru, který analyzuje soubor paralelně, tj. několika vlákny. Analyzátor je vygenerován na základě regulárního jazyka a reprezentován konečným automatem s potřebnými funkcemi. Důraz je zde kladen právě na paralelní zpracování. Diskutuje možnost zpracování dopřednými a zpětnými vlákny. V implementaci byla zvolena metoda dopředných vláken. Rozebírá problémy, které se vyskytly při implementaci a způsobily, že výsledný program nedosáhl téměř žádného zrychlení.
|
|
|
Mapování síťových prefixů v IPv6
Ježek, Lukáš ; Polčák, Libor (oponent) ; Grégr, Matěj (vedoucí práce)
Tato práce se zabývá testováním mapování síťových prefixů v prostředí protokolu IPv6. Testování algoritmu je prováděno nad existujícími implemetacemi, které jsou mezi sebou porovnány. Implementace, které jsou nepřeložitelné se snaží opravit nebo portovat na novou verzi jádra operačního systemu. Výkonnost implementací je pak ověřena pomocí hardware generátoru paketů Spirent.
|
|
|
Metody řešení problému přiřazování frekvencí
Ježek, Lukáš ; Nejedlý, Pavel (vedoucí práce) ; Lidický, Bernard (oponent)
Bezdrátová komunikace je používána ve stále více situacích, například v mobilní telefonii, televizním a rádiovém vysílání, komunikaci satelitů, bezdrátových sítích (WLAN) nebo vojenských operacích. V každé z těchto situací je nutné řešit problém přiřazení frekvencí, aby se spolu komunikující strany domluvily (někdo jim zprostředkoval službu) a při "rozhovoru" nebyly rušeny jinými komunikujícími subjekty. Vzhledem k tomu, že počet způsobů a hlavně účastníků bezdrátové komunikace velmi rychle roste, je tento problém stále více aktuální a důležitý a je nutné jej umět kvalitně řešit. V této práci se nachází zadání problému spolu s přehledem používaných technik pro jeho řešení. Vybrané postupy jsou popsány detailněji a je u nich představen konkrétní algoritmus řešící problém přiřazování frekvencí. Tyto algoritmy jsou taktéž implementovány v přiloženém programu, který slouží k řešení zadaných problémů a také k porovnávání jednotlivých použitých algoritmů. V programu je implementován sekvenční algoritmus, algoritmus simulovaného žíhání, algoritmus tabu vyhledávání a dva genetické algoritmy.
|
|
|
C-language code generator for SOFA 2
Ježek, Lukáš ; Bureš, Tomáš (vedoucí práce) ; Bulej, Lubomír (oponent)
SOFA 2 je komponentový systém založený na hierarchickém komponentovém modelu. K návrhu aplikace slouží jazyk ADL, chování komponent je popsáno behaviorálními protokoly, dále systém umožňuje dynamickou rekonfiguraci komponet a modeluje propojení mezi jednotlivými komponentami pomocí softwarových konektorů. Ty umožňují transparentní rozdistribuování vyvíjené aplikace mezi více počítačů. Implementace konektorů může být automaticky generována, SOFA 2 je primárně vyvíjena pro jazyk Java, proto obsahuje generátor Javovských konektorů. Cílem této magisterské práce je navrhnout generátor kódu pro jazyk C a zaintegrovat tento generátor do stávající struktury generátoru konektorů v systému SOFA 2. Automatické generování konektorů v jazyce C by mělo umožnit transparentní propojení komponent implementovaných v jazyce C. Navržený generátor C kódu je založený na konceptu transformace šablon, kde je vstupní šablona, která obsahuje kombinaci cílového C kódu a speciálně vyvinutého skriptovacího jazyka, převedena na čistý C kód. Pro vyhodnocení šablon je použito strategické přepisování abstraktních syntaktických stromů poskytnuté frameworkem Stratego/XT.
|
|
|
C-language code generator for SOFA 2
Ježek, Lukáš ; Bureš, Tomáš (vedoucí práce) ; Bulej, Lubomír (oponent)
SOFA 2 je komponentový systém založený na hierarchickém komponentovém modelu. K návrhu aplikace slouží jazyk ADL, chování komponent je popsáno behaviorálními protokoly, dále systém umožňuje dynamickou rekonfiguraci komponet a modeluje propojení mezi jednotlivými komponentami pomocí softwarových konektorů. Ty umožňují transparentní rozdistribuování vyvíjené aplikace mezi více počítačů. Implementace konektorů může být automaticky generována, SOFA 2 je primárně vyvíjena pro jazyk Java, proto obsahuje generátor Javovských konektorů. Cílem této magisterské práce je navrhnout generátor kódu pro jazyk C a zaintegrovat tento generátor do stávající struktury generátoru konektorů v systému SOFA 2. Automatické generování konektorů v jazyce C by mělo umožnit transparentní propojení komponent implementovaných v jazyce C. Navržený generátor C kódu je založený na konceptu transformace šablon, kde je vstupní šablona, která obsahuje kombinaci cílového C kódu a speciálně vyvinutého skriptovacího jazyka, převedena na čistý C kód. Pro vyhodnocení šablon je použito strategické přepisování abstraktních syntaktických stromů poskytnuté frameworkem Stratego/XT.
|
|
|
Metody řešení problému přiřazování frekvencí
Ježek, Lukáš ; Lidický, Bernard (oponent) ; Nejedlý, Pavel (vedoucí práce)
Bezdrátová komunikace je používána ve stále více situacích, například v mobilní telefonii, televizním a rádiovém vysílání, komunikaci satelitů, bezdrátových sítích (WLAN) nebo vojenských operacích. V každé z těchto situací je nutné řešit problém přiřazení frekvencí, aby se spolu komunikující strany domluvily (někdo jim zprostředkoval službu) a při "rozhovoru" nebyly rušeny jinými komunikujícími subjekty. Vzhledem k tomu, že počet způsobů a hlavně účastníků bezdrátové komunikace velmi rychle roste, je tento problém stále více aktuální a důležitý a je nutné jej umět kvalitně řešit. V této práci se nachází zadání problému spolu s přehledem používaných technik pro jeho řešení. Vybrané postupy jsou popsány detailněji a je u nich představen konkrétní algoritmus řešící problém přiřazování frekvencí. Tyto algoritmy jsou taktéž implementovány v přiloženém programu, který slouží k řešení zadaných problémů a také k porovnávání jednotlivých použitých algoritmů. V programu je implementován sekvenční algoritmus, algoritmus simulovaného žíhání, algoritmus tabu vyhledávání a dva genetické algoritmy.
|
|
|
Generation of computer program for specific-heat analysis
Majer, Peter ; Ježek, Lukáš (oponent) ; Javorský, Pavel (vedoucí práce)
Práca popisuje návrh a riešenie programu určeného na spracovanie dát, získaných meraním tepelnej kapacity skúmaných vzoriek. Program má dve časti: spracovanie dát a vykreslovanie grafov. Časť spracúvajúca dáta je vzhladovo podobná tabulkovému procesoru - každý stlpec v tabulke reprezentuje jedno meranie. Zo stlpcov reprezentujúcich meranie teplôt je možné spočítať tepelnú kapacitu podla niekolkých modelov (uvažujúcich: merné teplo vodivostných elektrónov, fonónový príspevok, Schottkyho príspevok), príp. zo základných matematických operácií zostaviť vlastný výpočet. Spatne je možné fitovať namerané tepelné kapacity na zvolený model. Na nelineárne fitovanie sa používajú simplexová a Marquardtova metóda. Súčasťou programu je aj časť počítajúca Hamiltonián využitelný pri výpočte energetických hladín. Program je napísaný v jazyku C#.
|
|
|
Paralelní lexikální analyzátor
Ježek, Lukáš ; Koutný, Jiří (oponent) ; Čermák, Martin (vedoucí práce)
Tato práce se zabývá generováním lexikálního analyzátoru, který analyzuje soubor paralelně, tj. několika vlákny. Analyzátor je vygenerován na základě regulárního jazyka a reprezentován konečným automatem s potřebnými funkcemi. Důraz je zde kladen právě na paralelní zpracování. Diskutuje možnost zpracování dopřednými a zpětnými vlákny. V implementaci byla zvolena metoda dopředných vláken. Rozebírá problémy, které se vyskytly při implementaci a způsobily, že výsledný program nedosáhl téměř žádného zrychlení.
|
|
|
Mapování síťových prefixů v IPv6
Ježek, Lukáš ; Polčák, Libor (oponent) ; Grégr, Matěj (vedoucí práce)
Tato práce se zabývá testováním mapování síťových prefixů v prostředí protokolu IPv6. Testování algoritmu je prováděno nad existujícími implemetacemi, které jsou mezi sebou porovnány. Implementace, které jsou nepřeložitelné se snaží opravit nebo portovat na novou verzi jádra operačního systemu. Výkonnost implementací je pak ověřena pomocí hardware generátoru paketů Spirent.
|
host ::
RSS.