|
|
Wire Drawing Technology
Štys, Michal ; Císařová, Michaela (referee) ; Řiháček, Jan (advisor)
The paper presents current research on the technology of wire drawing with focusing on the analysis of process factors, their calculation and influence on the process itself. The research describes drawing methods and technological process of wire drawing. The work also deals with geometry and die materials and their effects on process quality and tool wear. Subsequently this thesis analyses currently used machines and their advantages and disadvantages. As well as their suitability for use depending on the materials of the drawn wires and economic profitability. At the end of the thesis, unconventional methods of wire drawing and their future development estimation are presented.
|
|
|
Design of collector
Podhorský, Michal ; Létal, Tomáš (referee) ; Horsák, Libor (advisor)
The aim of this thesis is to make the design of the collector. The work is divided into two parts. The first part will analyze the individual parts of the collector and its analytical calculation using the EN 12 952, ČSN 69 0010 and ASME I. The second part is focuses on the verification of the analytical calculation using the FEM in ANSYS and explore the most dangerous places. The result is also creating drawings documentations.
|
|
|
Optical Character Recognition
Bílek, Jan ; Žák, Pavel (referee) ; Zuzaňák, Jiří (advisor)
This work describes problems of optical character recognition and methods which are used to improve its results. It specializes in problems of image spam and its adjustment for its recognition. This work describes methods of processing an image which leads to better results of text recognition and also some methods used to the character recognition. There is also described a scheme and an implementation of a system which processes an image spam and detects a text within it.
|
|
|
Reduction of the Nondeterministic Finite Automata
Procházka, Lukáš ; Kořenek, Jan (referee) ; Kaštil, Jan (advisor)
Nondeterministic finite automaton is an important tool, which is used to process strings in many different areas of programming. It is important to try to reduce its size for increasing programs' effectiveness. However, this problem is computationally hard, so we need to search for new techniques. Basics of finite automata are described in this work. Some methods for their reduction are then introduced. Usable reduction algorithms are described in greater detail. Then they are implemented and tested. The test results are finally evaluated.
|
|
| |
|
|
Reducing Size of Nondeterministic Automata with SAT Solvers
Šedý, Michal ; Havlena, Vojtěch (referee) ; Holík, Lukáš (advisor)
Nedeterministické konečné automaty (NKA) jsou široce využívány v počítačové vědě, například v oblasti formálních jazyků pro reprezentaci regulárních jazyků, k monitorování vysokorychlostních sítí, rozpoznávání obrazu, modelování hardware, nebo dokonce v bioinformatice pro vyhledávání sekvencí nukleotidových kyselin v DNA. NKA jsou také používány v abstraktním regulárním model checkingu, dále ve verifikaci programů manupulujících s řetězci, ve verifikaci programů využívajících ukazatele, pro konstrukci lineárních rovnic a nerovnic, v rozhodovacích procedurách WS1S a WS2S logiky a mnohých dalších. Minimalizace automatů je základní technikou, která pomáhá snižovat nároky na zdroje (paměť, čas nebo množství hardwarových komponentů) a urychlovat operace prováděné na automatech. Běžně používané minimalizační techniky, jakými jsou slučování stavů, odstraňování hran přechodů nebo saturace, mohou v automatech zanechat potenciální minimalizovatelné podgrafy obsahující duplicitní jazykovou informaci. Tyto fragmenty sestávají ze skupiny stavů, kde je již část jazyka jednoho stavu pokryta jazyky ostatních stavů z této skupiny. Tato práce popisuje novou techniku využívající SAT solver, který poskytuje informaci umožňující minimalizovat tyto doposud neminimalizovatelné části automatů. Nově vyvíjená metoda, která využívá pouze informaci od SAT solveru a slučování stavů minimalizuje automaty podobně efektivně, a v případě automatů s nízkým počtem přechodů dokonce rychleji než nástroj RABIT/Reduce, který využívá slučování stavů a odstraňování hran.
|
|
|
One-Sided Random Context Grammars
Zemek, Petr ; Černá, Ivana (referee) ; Doc. In.g Petr Sosík, Dr. (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce zavádí jednostranné gramatiky s nahodilým kontextem jako řízené gramatiky založené na bezkontextových gramatikách. V těchto gramatikách je ke každému pravidlu přiřazena množina povolujících symbolů a množina zakazujících symbolů a množina pravidel je rozdělena na množinu levých pravidel s nahodilým kontextem a množinu pravých pravidel s nahodilým kontextem . Levým pravidlem s nahodilým kontextem lze přepsat neterminál pokud se všechny povolující symboly vyskytují vlevo od přepisovaného neterminálu a žádný zakazující symbol tam přítomen není. Pravé pravidlo s nahodilým kontextem lze aplikovat analogicky, ale ona kontrola na přítomnost a nepřítomnost symbolů je provedena doprava od přepisovaného neterminálu. Práce je rozdělena na tři části. První část uvádí motivaci za zavedením jednostranných gramatik s nahodilým kontextem a umisťuje materiál pokrytý v této práci do vědeckého kontextu. Poté dává přehled základů teorie formálních jazyků a některých méně známých oblastí, jejichž znalost je nutná pro pochopení studovaného tématu. Druhá část tvoří jádro práce. Formálně definuje jednostranné gramatiky s nahodilým kontextem a studuje je z mnoha pohledů. Mezi studovaná témata patří generativní síla, vztah k jiným typům gramatik, redukce, normální formy, nejlevější derivace, zobecněné a LL verze těchto gramatiky. Třetí část této práce zakončuje diskusi několika poznámkami. Mezi ně patří poznámky týkající se aplikovatelnosti zavedených gramatik v praxi, bibliografie a otevřených problémů.
|
|
|
The Role of Ferrous Sulphate as a Setting Regulator and a Portland Clinker Reduction Agent
Mončeková, Miroslava ; Rovnaníková, Pavla (referee) ; Drábik, Milan (referee) ; Havlica, Jaromír (advisor)
In 2003, the European Community Obligation (directive 2003/5C/EC) regulates a maximal value of soluble hexavalent chromium to 0.0002 % (per weight of dry cement). This limitation leads to modifications of the regular Portland cement by using of suitable reduction agents. Therefore, the possibilities of chromium reduction become a very actual topic. The primary goal of this work is a basic research of the ferrous sulphate influence on hexavalent chromium reduction and also its influence on Portland clinker hydration process. The reduction ability was determined by UV/VIS method. The mechanism and ferrous sulphate influence on Portland clinker hydration process was observed by isothermal calorimetry and mechanical strength tests. XRD method, SEM-EDS analysis and Raman microscopy were used for identification of formed hydration products. Study of hydration mechanism occurring in this system was focused on the divergence observations from the regular Portland cement hydration. Pore solution analysis provided significant information about chromium behavior during the hydration process (substitution and releasing). Chromium incorporation into structure of hydration products during the reduction process was also studied in the pure tricalciumaluminate system with targeted Cr6+ content. This work suggests the possible substitution of the trivalent and hexavalent chromium into structure of monosulphate (AFm) phase.
|
|
|
Visual Representation of Pi-Calculus Expressions
Prokopová, Dagmar ; Křivka, Zbyněk (referee) ; Rychlý, Marek (advisor)
This work deals with the problem of visual representation of Pi-calculus expressions. The theoretical part of this paper discusses general principles of process algebras as well as specific properties of individual models, with a focus on Pi-calculus. Also included is the comparison of several text and graphical representations of expressions. The main part of the thesis deals with the design and implementation of an application for converting text representation of expressions into graphical representation. In addition to the text and graphical representation, an internal tree representation designed to work with expressions within the application is also proposed. The thesis also describes algorithms for finding feasible reductions, performing reductions and expression simplification that operate with the proposed tree representation.
|
|
|
Reduction of CentOS operating system
Kluka, Peter Milan ; Jablončík, Lukáš (referee) ; Komosný, Dan (advisor)
Táto práca slúži ako podporný materiál pre predmet Sieťové operačné systémy a ako pomocný materiál pre realizáciu projektu v rámci tohto predmetu. Účelom tejto práce bolo vykonať redukciu operačného systému z hľadiska jeho veľkosti na disku. Zadaným operačným systémom bola Linuxová distribúcia CentOS Stream 8. Redukovaný operačný systém obsahuje grafický web prehliadač, PDF prehliadač dokumentov a je dostupný pomocou vzdialeného pripojenia SSH. Práca porovnáva veľkosti odporúčaných grafických rozhraní a aplikácií. Na základe analýzy bola vytvorená sada skriptov, ktorá zautomatizovala proces minimalizácie. Výsledná veľkosť redukovaného systému bola 678 MB.
|
guest ::
