|
|
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.
|
|
|
Studie efektivnosti využití vybraného stroje v provozu
Khachatryan, David ; Horký, Martin (oponent) ; Jurová, Marie (vedoucí práce)
Tato diplomová práce je zaměřena na zkoumání efektivnosti využití vybraného stroje ve společnosti HARTMANN – RICO a návrhy na její zvýšení pomocí metod štíhlé výroby. V úvodní části je charakterizován popis podnikání společnosti. V teoretické části jsou shrnuty nejdůležitější poznatky a metody štíhlé výroby. V analytické části je zkoumán stroj z hlediska procesu výroby a následně je provedena analýza současného stavu a nalezení úzkých míst ve výrobě. Praktická část obsahuje návrhy a implementace metod štíhlé výroby pro zvýšení efektivnosti stroje.
|
|
|
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.
|
|
| |
|
|
Ověřování digitálních podpisů systému PGP
Horký, Matyáš ; Burda, Karel (oponent) ; Zeman, Václav (vedoucí práce)
Bakalářská práce se zaměřuje na práci s OpenPGP obsahem v e-mailových souborech. Prochází historii, změny a vlastnosti PGP a e-mailu a zasazuje je do společného kontextu. V rámci této práce je navrhnut a implementován program pro čtení a ověřování OpenPGP dat v elektronické poště, který je dostupný jako open-source nástroj pro použití z příkazové řádky i ve funkci knihovny.
|
|
| |
|
|
Minimalizace logických funkcí
Horký, Miroslav ; Davidová, Olga (oponent) ; Šeda, Miloš (vedoucí práce)
Pro minimalizaci logických funkcí se často využívají Booleova algebra a Karnaughovy mapy. Aplikace Karnaughových map je však založena na vizuálním rozpoznání sousedních buněk pro funkce s max. 6 proměnnými, a proto metoda není vhodná pro automatizované zpracování na počítačích. Přímá aplikace zákonů Booleovy algebry není omezena v tomto směru, ale neexistuje algoritmus, který by definoval posloupnost jejich použití, a tak rovněž není vhodná pro výpočet na počítači. Uvedené nevýhody odstraňuje metoda, kterou navrhli E. J. McCluskey a W. Orman Quine.
|
|
|
Modely hromadné obsluhy
Horký, Miroslav ; Dvořák, Jiří (oponent) ; Šeda, Miloš (vedoucí práce)
V diplomové práci se zabývám modely hromadné obsluhy s využitím Markovových řetězců. Systém hromadné obsluhy je takový systém, kde požadavky přicházejí do tohoto systému v náhodných okamžicích a vyžadují obsluhu. Tato práce se zabývá konkrétně takovými modely hromadné obsluhy, v nichž intervaly mezi příchody požadavků a doby obsluhy požadavků mají exponenciální rozdělení. V teoretické části diplomové práce se věnuji problematice stochastických procesů, systému hromadné obsluhy, klasifikaci systémů hromadné obsluhy a popisu exponenciálních modelů Markovova typu. V praktické části popisuji tvorbu a funkci programu, který řeší simulaci vybraného modelu M/M/m. Na závěr srovnávám výpočty získané analyticky a simulací daného modelu M/M/m.
|
|
|
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.
|
host ::
RSS.