|
|
Beat Grep with Counters, Challenge
Horký, Michal ; Češka, Milan (referee) ; Holík, Lukáš (advisor)
Vyhledávání regulárních výrazů má ve vývoji softwaru nezastupitelné místo. Rychlost vyhledávání může ovlivnit použitelnost softwaru, a proto je na ni kladen velký důraz. Pro určité druhy regulárních výrazů mají standardní přístupy pro vyhledávání vysokou složitost. Kvůli tomu jsou náchylné k útokům založeným na vysoké náročnosti vyhledávání regulárních výrazů (takzvané ReDoS útoky). Regulární výrazy s omezeným opakováním, které se v praxi často vyskytují, jsou jedním z těchto druhů. Efektivní reprezentace a rychlé vyhledávání těchto regulárních výrazů je možné s použítím automatu s čítači. V této práci představujeme implementaci vyhledávání regulárních výrazů založeném na automatech s čítači v C++. Vyhledávání je implementováno v rámci RE2, rychlé moderní knihovny pro vyhledávání regulárních výrazů. V práci jsme provedli experimenty na v praxi používaných regulárních výrazech. Výsledky experimentů ukázaly, že implementace v rámci nástroje RE2 je rychleší než původní implementace v jazyce C#.
|
|
|
Optimization of the Colutron Ion Source
Horký, Michal ; Mach, Jindřich (referee) ; Voborný, Stanislav (advisor)
This bachelor’s thesis concerns with design and assembly of Colutron ion source which produces beam of nitrogen ions with energy from tens to thousand eV. Production of ions and the principle of Colutron ion source is described in the first part. The second part of the thesis is related to the modification and assembly of commercial Colutron ion source. Finally the parameters of the ion beam have been measured for different extraction electrodes and operating parameters in testing apparatus.
|
|
|
Growth of metastable fcc Fe thin films on Cu/Si(100) substrates
Horký, Michal ; Cháb, Vladimír (referee) ; Urbánek, Michal (advisor)
This diploma thesis deals with the preparation of epitaxially grown metastable paramagnetic Fe films alloyed by Ni on Cu/Si(100) substrates at RT. Molecular beam epitaxy of Cu(100) buffer layer was performed on H-Si(100) native SiO2 free samples treated by etching in HF or thermal treatment. The epitaxially grown Cu layers with thickness ranging from 50 up to 130 nm serves as suitable substrate for the deposition of 44-ML-thick paramagnetic Fe78Ni22. The film growth was taking place in CO atmosphere and as well as Ni it led to paramagnetic film stabilization. The structural and magnetic ion-beam-induced transformation of desired Fe-Ni structure was performed and propeties of irradiated films were characterized afterwards by MOKE. Then some specific patterns on Si(100) by e-beam litography were fabricated and they served as suitable matrix for Cu(100) buffer layer and paramagnetic Fe. Prepared Si(100), globally and locally deposited metal films were examined by LEED, XPS, AFM, AES, SEM a STM. The recorded results showed the possibility of paramagnetic films preparation on H-Si(100) where it was possible to make ferromagnetic patterns on paramagnetic background by irradiation of specific ion dose.
|
|
|
Information System of a Floorball Club
Horký, Michal ; Hynek, Jiří (referee) ; Bartík, Vladimír (advisor)
This thesis deals with the creating of an information system to support organization of events organized by floorball club. It concerns a web application based on the Flask framework. The system allows the trainers to get an overview of the participation of players in the individual events. It also offers them the possibility to display graphically a line up for every single tournament. It allows easier management of all necessary statistics to the organizators which will replace current evidence to the text files. These statistics will be avaible immediately after the ending of the tournament to all the fans of the league.
|
|
|
Beat Grep with Counters, Challenge
Horký, Michal ; Češka, Milan (referee) ; Holík, Lukáš (advisor)
Vyhledávání regulárních výrazů má ve vývoji softwaru nezastupitelné místo. Rychlost vyhledávání může ovlivnit použitelnost softwaru, a proto je na ni kladen velký důraz. Pro určité druhy regulárních výrazů mají standardní přístupy pro vyhledávání vysokou složitost. Kvůli tomu jsou náchylné k útokům založeným na vysoké náročnosti vyhledávání regulárních výrazů (takzvané ReDoS útoky). Regulární výrazy s omezeným opakováním, které se v praxi často vyskytují, jsou jedním z těchto druhů. Efektivní reprezentace a rychlé vyhledávání těchto regulárních výrazů je možné s použítím automatu s čítači. V této práci představujeme implementaci vyhledávání regulárních výrazů založeném na automatech s čítači v C++. Vyhledávání je implementováno v rámci RE2, rychlé moderní knihovny pro vyhledávání regulárních výrazů. V práci jsme provedli experimenty na v praxi používaných regulárních výrazech. Výsledky experimentů ukázaly, že implementace v rámci nástroje RE2 je rychleší než původní implementace v jazyce C#.
|
|
|
Information System of a Floorball Club
Horký, Michal ; Hynek, Jiří (referee) ; Bartík, Vladimír (advisor)
This thesis deals with the creating of an information system to support organization of events organized by floorball club. It concerns a web application based on the Flask framework. The system allows the trainers to get an overview of the participation of players in the individual events. It also offers them the possibility to display graphically a line up for every single tournament. It allows easier management of all necessary statistics to the organizators which will replace current evidence to the text files. These statistics will be avaible immediately after the ending of the tournament to all the fans of the league.
|
|
|
Means of efficient public procurement as per the regulation in the Czech Republic
Horký, Michal ; Boháč, Radim (advisor) ; Marková, Hana (referee)
Means of efficient public procurement as per the regulation in the Czech Republic This paper focuses on the awarding of public contracts from the point of view of spending public money by contracting public authorities. In this paper, public procurement is approached not only in a way of common formal compliance with regulation but also in a way of economic balance, the latter being usually overlooked and thus the material point of public procurement, i.e. the efficient disbursement of public funds, is not achieved. There are two groups of mutually interconnected basic principles representing the material grounds of each of these two concepts. The first group is meant to secure fair competition whereas the second group's aim is to provide fundamental rules for the economical public purchasing by public authorities, including public procurement. Public purchase and its individual phases are analyzed and it is stressed that the resulting efficiency of public procurement depends also on the phases previous to the procurement procedure itself as well as on the phases following the conclusion of the contract with selected contractor. The initial theoretical part of this paper is supposed to show public procurement as a complex tool in order to satisfy the needs of a society where the mere compliance with...
|
|
|
Growth of metastable fcc Fe thin films on Cu/Si(100) substrates
Horký, Michal ; Cháb, Vladimír (referee) ; Urbánek, Michal (advisor)
This diploma thesis deals with the preparation of epitaxially grown metastable paramagnetic Fe films alloyed by Ni on Cu/Si(100) substrates at RT. Molecular beam epitaxy of Cu(100) buffer layer was performed on H-Si(100) native SiO2 free samples treated by etching in HF or thermal treatment. The epitaxially grown Cu layers with thickness ranging from 50 up to 130 nm serves as suitable substrate for the deposition of 44-ML-thick paramagnetic Fe78Ni22. The film growth was taking place in CO atmosphere and as well as Ni it led to paramagnetic film stabilization. The structural and magnetic ion-beam-induced transformation of desired Fe-Ni structure was performed and propeties of irradiated films were characterized afterwards by MOKE. Then some specific patterns on Si(100) by e-beam litography were fabricated and they served as suitable matrix for Cu(100) buffer layer and paramagnetic Fe. Prepared Si(100), globally and locally deposited metal films were examined by LEED, XPS, AFM, AES, SEM a STM. The recorded results showed the possibility of paramagnetic films preparation on H-Si(100) where it was possible to make ferromagnetic patterns on paramagnetic background by irradiation of specific ion dose.
|
|
|
Optimization of the Colutron Ion Source
Horký, Michal ; Mach, Jindřich (referee) ; Voborný, Stanislav (advisor)
This bachelor’s thesis concerns with design and assembly of Colutron ion source which produces beam of nitrogen ions with energy from tens to thousand eV. Production of ions and the principle of Colutron ion source is described in the first part. The second part of the thesis is related to the modification and assembly of commercial Colutron ion source. Finally the parameters of the ion beam have been measured for different extraction electrodes and operating parameters in testing apparatus.
|
guest ::
