|
|
Machine learning through geometric mechanics and thermodynamics
Šípka, Martin ; Pavelka, Michal (advisor) ; Monmarché, Pierre (referee) ; Maršálek, Ondřej (referee)
30. prosinec 2023 This thesis studies novel approaches to learning of physical models, incorporat- ing constraints and optimizing path dependent loss functions. Recent advances in deep learning and artificial intelligence are connected with established knowl- edge about dynamical and chemical systems, offering new synergies and improv- ing upon existing methodologies. We present significant contributions to sim- ulation techniques that utilize automatic differentiation to propagate through the dynamics, showing not only their promising use case but also formulating new theoretical results about the gradient behavior in long evolutions controlled by neural networks. All the tools are carefully tested and evaluated on exam- ples from physics and chemistry, thus proposing and promoting their further applications. 1
|
|
|
Obesity and bariatric surgery
Fajmonová, Natálie ; Matoulek, Martin (advisor) ; Záhora, Tomáš (referee)
Introduction: Obesity is a chronic metabolic disease that is often associated with a number of serious health complications such as DM2, cardiovascular disease, certain cancers, hypertension and many others. In order to treatment of obesity is successful a comprehensive and individualised approach is required. Bariatrics is currently considered the most effective method of treating obesity and associated comorbidities such as diabetes mellitus. Objective: The aim of the bachelor thesis was to evaluate the average weight loss one year after surgery, to evaluate the average weight loss from maximum weight, to compare the changes weight loss in men and women and the same in diabetic and non-diabetic patients. Method: The study sample consisted of 38 patients of the Obesity Center of the 3rd Internal Medicine Clinic of the VFN in Prague. Patients underwent bariatric surgery during 2019- 2022. I retrospectively collected data from medical evidence about the weight development of patients from their maximum weight to one year after surgery. Results: The mean EWL of the patients one year after surgery was 30, 39 ± 16, 96 %. The patients reduced their maximum excess weight (EWMAX) by 50, 65 ± 26, 52 and the maximum BMI decreased from 51, 1 ± 7, 987 (obese class III) to 36, 93 ± 7, 623 (obese class II)....
|
|
| |
|
|
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.
|
guest ::
