|
| |
|
|
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.
|
|
|
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.
|
|
|
Noise of Aircraft Jet Engines
Szelke, Ludvík ; Vacula, Jiří (referee) ; Novotný, Pavel (advisor)
In my bachelor's thesis I try to present the noise sources of aero-jet engines. First, I introduce the reader to a brief history of the development of jet engines and the principle of jet engine function. Then I continue with general knowledge about noise itself, what it is measured by and what effects it has on our lives. This is followed by an analysis of the sources of jet engine noise, both theoretical and using a computer model. At the end of my thesis, I mainly discuss the possibilities of noise reduction for the sources, and also possible future developments.
|
|
|
Interactions of essential amino acids with iron ions
Nadějová, Jana ; Karlíčková, Jana (advisor) ; Siatka, Tomáš (referee)
Charles University Faculty of Pharmacy in Hradec Králové Department of Pharmacognosy and Pharmaceutical Botany Candidate: Jana Nadějová Supervisor: PharmDr. Jana Karlíčková, Ph.D. Title of Thesis: Interaction of essential amino acids with iron ions Iron is an important trace element that is needed for the proper functioning of the body. Lack of iron, as well as an excess of iron, can lead to pathological conditions, so it is necessary to control the level of iron in the blood and in case of overloading the body with iron, its chelation can be considered a possible therapeutic tool. Chelators for these therapeutic purposes should be the body's own substance. Amino acids are therefore ideal candidates for the regulation of iron homeostasis in the body, so this thesis focuses on some of them. The individual amino acids are linked by a peptide bond to form proteins. Proteinogenic amino acids are divided into essential, which must be ingested through food, and nonessential, which the body can create on its own. The aim of this study was to compare the iron-chelating and iron-reducing activity of the essential amino acids L-histidine, L-methionine, and the nonessential amino acids L- cysteine, its dimer L-cystine, L-aspartic and L-glutamic acid. The research also included a substance derived from...
|
|
|
Interaction of chalcones with transition metals II.
Šulcová, Martina ; Macáková, Kateřina (advisor) ; Mladěnka, Přemysl (referee)
Charles University in Prague Faculty of Phramacy in Hradec Králové Department of Pharmaceutical Botany Candidate: Martina Šulcová Supervisor: Assoc. Prof. Ing. Kateřina Macáková, Ph.D. Title of the diploma thesis: Interaction of chalcones with transition metals II. Copper is one of the essencial elements in human body which is involved in the functioning of many enzymes and metabolic pathways. Although it appears in trace amounts in the body, its functions are irreplaceable. However, the ion level must be kept in balance by the various mechanisms of the body. If there is an excess or deficiency of copper in the body, this condition can lead to the development of health issues. Chalcones are substances belonging to the group of flavonoids. Their polyphenolic structure does not have a closed ring C. Studies describe their anticancer, anti-inflammatory, antiviral, antidiabetic, antibacterial, antioxidant, immunosuppressive and other properties. Chosen substances in the group of dihydrochalcones (naringin dihydrochalcone, neohesperidin dihydrochalcone, phloretin, phlorizin) and chalcones (isoliquiritigenin, licochalcone A) were tested for their chelation and reduction activity of the copper ions in this diploma thesis. The activity was measured at different pH environments (7.5; 6.8; 5.5 and 4.5) and...
|
guest ::
