|
|
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#.
|
|
|
The Study Efficiency of Utilization of Selected Machines in Operation
Khachatryan, David ; Horký, Martin (referee) ; Jurová, Marie (advisor)
This thesis deals with examination of the efficiency of the use of the selected machine in the company HARTMANN – RICO, and presents proposals of its increase through lean production methods. The introductory section offers a description of the company's business activities. The theoretical part summarizes the most important findings and methods of lean production. The analytical part examines the machine in terms of production process and subsequently offers an analysis of the current state conducted in order to find bottlenecks in production. The practical part presents proposals of lean production methods implementation with the purpose of increasing the efficiency of the machine.
|
|
|
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.
|
|
| |
|
|
Verification of PGP digital signatures
Horký, Matyáš ; Burda, Karel (referee) ; Zeman, Václav (advisor)
This bachelor thesis is focused on the interaction of OpenPGP content inside of e-mail files. It describes the history, changes and properties of PGP and e-mail and connects them into a common context. The goal is to design and implement a program for reading and verifying OpenPGP data in electronic mail, which is available as an open-source tool available as both a the command line and as a library.
|
|
| |
|
|
Minimisation of Logical Functions
Horký, Miroslav ; Davidová, Olga (referee) ; Šeda, Miloš (advisor)
For minimisation of logical functions, laws of the Boolean algebra and the Karnaugh maps are mostly used. However, use of Karnaugh's maps is based on visual recognition of adjacent cells for functions with no more than 6 variables and, therefore, the method is not suitable for automated processing on computers. A direct application of the Boolean algebra laws is not restricted in this way, but there is no general algorithm defining the sequence of their application and thus this approach is not suitable for computer implementation either. The well-known method usable on computers is the algorithm proposed by E. J. McCluskey and W. Orman Quine.
|
|
|
Models of Queueing Systems
Horký, Miroslav ; Dvořák, Jiří (referee) ; Šeda, Miloš (advisor)
The master’s thesis solves models of queueing systems, which use the property of Markov chains. The queueing system is a system, where the objects enter into this system in random moments and require the service. This thesis solves specifically such models of queueing systems, in which the intervals between the objects incomings and service time have exponential distribution. In the theoretical part of the master’s thesis I deal with the topics stochastic process, queueing theory, classification of models and description of the models having Markovian property. In the practical part I describe realization and function of the program, which solves simulation of chosen model M/M/m. At the end I compare results which were calculated in analytic way and by simulation of the model M/M/m.
|
|
|
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.
|
guest ::
RSS feed.