|
|
Beat Grep with Counters, Challenge
Horký, Michal ; Češka, Milan (oponent) ; Holík, Lukáš (vedoucí práce)
Regular expression matching has an irreplaceable role in software development. The speed of the matching is crucial since it can have a significant impact on the overall usability of the software. However, standard approaches for regular expression matching suffer from high complexity computation for some kinds of regexes. This makes them vulnerable to attacks based on high complexity evaluation of regexes (so-called ReDoS attacks). Regexes with counting operators, which often occurs in practice, are one of such kind. Succinct representation and fast matching of such regexes can be archived by using a novel counting-set automaton. We present a C++ implementation of a matching algorithm based on the counting-set automaton. The implementation is done within the RE2 library, which is a fast state-of-the-art regular expression matcher. We perform experiments on real-life regexes. The experiments show that implementation within the RE2 is faster than the original C# implementation.
|
|
|
Optimalizace iontového zdroje typu Colutron
Horký, Michal ; Mach, Jindřich (oponent) ; Voborný, Stanislav (vedoucí práce)
Bakalářská práce se zabývá návrhem a konstrukcí iontového děla typu Colutron, který vytváří svazek iontů dusíku o energii od desítek až po tisíce eV. V první části práce je stručně popsána problematika tvorby iontů a princip fungování iontového zdroje. Druhá část je věnována úpravě komerčního iontového zdroje americké společnosti Colutron a jeho kompletaci. Parametry iontového svazku pro různé tvary extrakčních elektrod a hodnot provozních parametrů byly experimentálně ověřeny v testovací aparatuře.
|
|
|
Studium růstu metastabilních tenkých vrstev fcc Fe na Cu/Si(100) substrátech
Horký, Michal ; Cháb, Vladimír (oponent) ; Urbánek, Michal (vedoucí práce)
Tato diplomová práce se zabývá přípravou epitaxně narostlých metastabilních paramagnetických vrstev Fe legovaných Ni na Cu/Si(100) substrátech za RT. Na povrch H-Si(100) bez nativního SiO2, který byl odstraněn leptáním v roztoku HF, anebo termální úpravou, byla pomocí molekulární svazkové epitaxe (MBE) provedena depozice Cu(100). Pravidelně uspořádané vrstvy mědi o tloušťce od 50 nm do 130 nm pak sloužily jako vhodný substrát pro depozici 44 ML paramagnetického Fe78Ni. Růst vrstev železa probíhal v CO atmosféře umožňující společně s niklem stabilizaci paramagnetických vrstev. Povrch požadovaných Fe-Ni struktur byl poté pomocí dopadu svazku iontů strukturně transformován a vlastnosti těchto ozářených vrstev byly poté charakterizovány pomocí MOKE. Dále pak byly elektronovou litografií na Si(100) vyrobeny specifické vzory, které po odstranění oxidu sloužily jako vhodná matrice pro tvorbu měděné mezivrtvy a pak i paramagnetického Fe78Ni22. Připravený Si(100), globálně i lokálně narostlé kovové vrstvy byly zkoumány pomocí technik LEED, XPS, AFM, AES, SEM a STM. Zaznamenané výsledky dokazují možnost přípravy paramagnetických vrstev na H-Si(100), na kterých lze po ozáření specifickou dávkou iontů vytvořit libovolné feromagnetické vzory na paramagnetickém pozadí.
|
|
|
Informační systém florbalového klubu
Horký, Michal ; Hynek, Jiří (oponent) ; Bartík, Vladimír (vedoucí práce)
Tato práce se zabývá vytvořením informačního systému pro podporu organizace akcí pořádaných florbalovým klubem. Jedná se o webovou aplikaci postavenou na frameworku Flask. Systém umožňuje trenérům získat přehled o účasti hráčů na jednotlivých akcích. Dále jim nabízí možnost graficky si zobrazovat sestavu pro jednotlivé turnaje. Organizátorům umožní jednodušší vedení všech potřebných statistik, které nahradí stávající zapisování do textových souborů. Tyto statistiky budou okamžitě po ukončení turnaje dostupné všem příznivcům ligy.
|
|
|
Beat Grep with Counters, Challenge
Horký, Michal ; Češka, Milan (oponent) ; Holík, Lukáš (vedoucí práce)
Regular expression matching has an irreplaceable role in software development. The speed of the matching is crucial since it can have a significant impact on the overall usability of the software. However, standard approaches for regular expression matching suffer from high complexity computation for some kinds of regexes. This makes them vulnerable to attacks based on high complexity evaluation of regexes (so-called ReDoS attacks). Regexes with counting operators, which often occurs in practice, are one of such kind. Succinct representation and fast matching of such regexes can be archived by using a novel counting-set automaton. We present a C++ implementation of a matching algorithm based on the counting-set automaton. The implementation is done within the RE2 library, which is a fast state-of-the-art regular expression matcher. We perform experiments on real-life regexes. The experiments show that implementation within the RE2 is faster than the original C# implementation.
|
|
|
Informační systém florbalového klubu
Horký, Michal ; Hynek, Jiří (oponent) ; Bartík, Vladimír (vedoucí práce)
Tato práce se zabývá vytvořením informačního systému pro podporu organizace akcí pořádaných florbalovým klubem. Jedná se o webovou aplikaci postavenou na frameworku Flask. Systém umožňuje trenérům získat přehled o účasti hráčů na jednotlivých akcích. Dále jim nabízí možnost graficky si zobrazovat sestavu pro jednotlivé turnaje. Organizátorům umožní jednodušší vedení všech potřebných statistik, které nahradí stávající zapisování do textových souborů. Tyto statistiky budou okamžitě po ukončení turnaje dostupné všem příznivcům ligy.
|
|
|
Možnosti efektivního zadávání veřejných zakázek z hlediska právní regulace v České republice
Horký, Michal ; Boháč, Radim (vedoucí práce) ; Marková, Hana (oponent)
Shrnutí Možnosti efektivního zadávání veřejných zakázek z hlediska právní regulace v České republice Práce se zaměřuje na oblast zadávání veřejných zakázek, a to zejména z pohledu efektivity nakládání s veřejnými prostředky veřejnými zadavateli. Na veřejnou zakázku je tak kromě klasického ryze formálně-právního pohledu nahlíženo i pohledem ekonomicko-právním. Právě druhý zmiňovaný bývá v praxi často přehlížen a skutečného smyslu veřejných zakázek, totiž efektivního nakládání s veřejnými prostředky, tak nebývá dosahováno. V práci jsou popsány dvě skupiny principů, na kterých jsou oba zmíněné pohledy založeny a které se vzájemně ovlivňují. První skupina se vztahuje k zajištění volné hospodářské soutěže a tvoří jádro velice detailní úpravy zadávacího řízení. Druhá skupina představuje základy ekonomicky racionálního veřejného nakupování, kam spadají právě i veřejné zakázky. Právě veřejný nákup je dále rozebrán na jednotlivé fáze, u kterých je třeba si uvědomit, že výsledná efektivita nákupu spočívá i ve fázích samotnému zadávacímu řízení předcházejících, a na fázích následujících po uzavření smlouvy s vybraným dodavatelem. Úvodní část práce by tak měla umožnit komplexní chápání veřejné zakázky jako nástroje k uspokojování potřeb společnosti, který by neměl být užíván pouze ve formálním souladu s právní úpravou...
|
|
|
Studium růstu metastabilních tenkých vrstev fcc Fe na Cu/Si(100) substrátech
Horký, Michal ; Cháb, Vladimír (oponent) ; Urbánek, Michal (vedoucí práce)
Tato diplomová práce se zabývá přípravou epitaxně narostlých metastabilních paramagnetických vrstev Fe legovaných Ni na Cu/Si(100) substrátech za RT. Na povrch H-Si(100) bez nativního SiO2, který byl odstraněn leptáním v roztoku HF, anebo termální úpravou, byla pomocí molekulární svazkové epitaxe (MBE) provedena depozice Cu(100). Pravidelně uspořádané vrstvy mědi o tloušťce od 50 nm do 130 nm pak sloužily jako vhodný substrát pro depozici 44 ML paramagnetického Fe78Ni. Růst vrstev železa probíhal v CO atmosféře umožňující společně s niklem stabilizaci paramagnetických vrstev. Povrch požadovaných Fe-Ni struktur byl poté pomocí dopadu svazku iontů strukturně transformován a vlastnosti těchto ozářených vrstev byly poté charakterizovány pomocí MOKE. Dále pak byly elektronovou litografií na Si(100) vyrobeny specifické vzory, které po odstranění oxidu sloužily jako vhodná matrice pro tvorbu měděné mezivrtvy a pak i paramagnetického Fe78Ni22. Připravený Si(100), globálně i lokálně narostlé kovové vrstvy byly zkoumány pomocí technik LEED, XPS, AFM, AES, SEM a STM. Zaznamenané výsledky dokazují možnost přípravy paramagnetických vrstev na H-Si(100), na kterých lze po ozáření specifickou dávkou iontů vytvořit libovolné feromagnetické vzory na paramagnetickém pozadí.
|
|
|
Optimalizace iontového zdroje typu Colutron
Horký, Michal ; Mach, Jindřich (oponent) ; Voborný, Stanislav (vedoucí práce)
Bakalářská práce se zabývá návrhem a konstrukcí iontového děla typu Colutron, který vytváří svazek iontů dusíku o energii od desítek až po tisíce eV. V první části práce je stručně popsána problematika tvorby iontů a princip fungování iontového zdroje. Druhá část je věnována úpravě komerčního iontového zdroje americké společnosti Colutron a jeho kompletaci. Parametry iontového svazku pro různé tvary extrakčních elektrod a hodnot provozních parametrů byly experimentálně ověřeny v testovací aparatuře.
|
host ::
RSS.