|
|
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.
|
|
|
Projektové řízení v internetové firmě a jeho podpora
Ježek, Lukáš ; Svoboda, Jiří (vedoucí práce) ; Novák, Jan (oponent)
Tato práce se snaží popsat možnosti a konkrétní případ zavedení projektového řízení v internetové společnosti. V první části této práce jsou uvedeny různé pohledy na téma projektového řízení ve formě konkrétních metodik. Zároveň se snaží zhodnotit výchozí stav konkrétní internetové společnosti před samotným aplikováním projektového řízení do interního fungování společnosti. Na základě provedené analýzy výchozího stavu se zde autor zaměřuje především na nejproblematičtější oblasti všech dnešních společností v projektovém řízení, jako jsou: řízení změn, řízení zdrojů, řízení rizik, řízení financí a čerpání interních zdrojů. V těchto oblastech je uveden pohled na samotnou problematiku, zda vůbec je vhodné nasazovat jednotlivé metodiky projektové řízení do tak turbulentního prostředí, jakým je internetová společnost.
|
host ::
RSS.