| |
|
Proposal for methodology of testing sintered carbide cutting tools during high feed milling
Frank, Ondřej ; Binder, Martin (referee) ; Sedlák, Josef (advisor)
The aim of the bachelor thesis is to evaluate and compare the properties of a selected type of milling cutter from the company Dormer Pramet, s.r.o. and several competing milling cutters with replaceable inserts for high feed milling. The first part deals with an introduction to the issue of high feed milling and the characteristics of replaceable inserts made of sintered carbides. The second part of the thesis deals with the description of selected types of milling cutters used in experimental tests, the characteristics of machined materials and used instrments. The third main part deals with the measurement and results of the performed cutting tests. In the end, the results are evaluated in the technical-economic evaluation.
|
|
Spectroscopy of single molecules in STM nanocavity
Doležal, Jiří ; Švec, Martin (advisor) ; Frank, Otakar (referee) ; Roslawska, Anna (referee)
Scanning tunneling microscopy-induced luminescence (STML) combined with high- resolution atomic force microscopy (AFM) is a powerful tool for studying the photophysics of individual molecular emitters on surfaces. However, the mechanism of energy conver- sion between tunneling electrons and photons in decoupled systems placed in a nanocavity of STM is not fully understood as it depends on many variables. This thesis presents a range of proof-of-concept experimental approaches. The vi- ability of CO-terminated tips for STML is demonstrated by performing subnanometer- resolved spectroscopy and mapping of photon intensity acquired over zinc phthalocyanine on NaCl/metal substrate. For the same molecule, time-resolved phase fluorometry is de- vised and is used to reveal the exciton and charge dynamics as a function of the applied bias voltage. Of more fundamental character, the role of the chromophore environment on its exciton emission and binding energy is studied. For the first time, we observed and explained the presence of molecular librations in molecules on the surface from a comb-like emission line resulting from the exciton-libron coupling and the chiral adsorp- tion geometry. Finally, exciton delocalization in molecular aggregates is mapped using the tip nanocavity capable of detecting the dark states,...
|
|
Proposal for methodology of testing sintered carbide cutting tools during high feed milling
Frank, Ondřej ; Binder, Martin (referee) ; Sedlák, Josef (advisor)
The aim of the bachelor thesis is to evaluate and compare the properties of a selected type of milling cutter from the company Dormer Pramet, s.r.o. and several competing milling cutters with replaceable inserts for high feed milling. The first part deals with an introduction to the issue of high feed milling and the characteristics of replaceable inserts made of sintered carbides. The second part of the thesis deals with the description of selected types of milling cutters used in experimental tests, the characteristics of machined materials and used instrments. The third main part deals with the measurement and results of the performed cutting tests. In the end, the results are evaluated in the technical-economic evaluation.
|
|
Reducing Complexity of AI in Open-World Games by Combining Search-based and Reactive Techniques
Černý, Martin ; Brom, Cyril (advisor) ; Dignum, Frank (referee) ; Pilát, Martin (referee)
Open-world computer games present the players with a large degree of freedom to interact with the virtual environment. The increased player freedom makes open-world games a challenging domain for artificial intelligence. In this thesis we present three novel techniques to handle various types of complexity inherent in developing artificial intelligence for open-world games. We developed behavior objects that extend the well-known concept of smart objects and help in structuring codebase for reactive reasoning, we propose and implement constraint satisfaction techniques to specify behavior from a global viewpoint and we have shown how adversarial search techniques can mitigate the need for complex reactive decision mechanisms when a large number of parameters has to be taken into account. The general techniques are implemented and evaluated in the context of a complete open-world game Kingdom Come: Deliverance. Powered by TCPDF (www.tcpdf.org)
|
|
Controlling Virtual People
Gemrot, Jakub ; Brom, Cyril (advisor) ; Dignum, Frank (referee) ; Holeňa, Martin (referee)
Title: Controlling Virtual People Author: Mgr. Jakub Gemrot Department: Department of Software and Computer Science Education Supervisor: Mgr. Cyril Brom, PhD. Abstract: In this thesis, we provide a computational formalization of reactive planning as a paradigm for decision making of intelligent virtual agents and videogame non-player characters. We formalize agent decision-making (ADM) as a process of deciding on which body actions to execute next and differentiate it from agent reasoning as a process of computing facts needed for decision making. We show that imperative programming languages are not suitable for ADM specification and explain why they are not suitable. Thereafter, we create a new computational model that we use as the basis for the definition of Behavior Design Language (BDL). We show that BDL can model decision-making specified by scripting, hierarchical finite-state machines, AgentSpeak(L), GOAL, SPOSH and Behavior trees. Importantly, BDL can model these approaches economically in terms of the number of behavior primitives. The key strengths of the BDL language are: versatility (it can mix decision making patterns of multiple languages together), extensibility (it allows developers to devise new language primitives as they see fit), and generality (it can abstract any computable...
|
|
Oyster bioherms in the Bohemian Cretaceous Basin
Rantuch, Jakub ; Košťák, Martin (advisor) ; Frank, Jiří (referee)
Frustration from shape and size variability of oyster's species Rhynchostreon suborbiculatum (Lamarck) is long known phenomenon. In current state of his systematic it is not possible to consider it fully satisfying. Is it is shown in study of genus Gryphaea by Jones and Gould (1999), that application of modern analytical methods, undoubtly lightens long-darkned places of evolution process. Idea of Videt and Neraudeau (2003), that shape variability of Rhynchostreon suborbiculatum (Lamarck) probably also mirrors heterochronic processes, introduces inspirative and good foundation for future research in this field. Occurence of this oyster is proved from huge range of sites in Bohemian Cretaceous Basin area. It is combination of rich occurance, unique preservation and variability of lithological settings, which gives us unique starting point for next step to solve significant problem. Based on population analyses consisting of biometrical studies supported by oxygen isotope analyses, in future, it will be possible to reach sufficient conclusions of this issue, and progress in our knowledge.
|
| |
|
The Jurassic belemnites of northern Bohemia - stratigraphy, palaeobiogeography and possible isotope record
Geist, Jan ; Košťák, Martin (advisor) ; Frank, Jiří (referee)
4 Abstract The work is based on a revision of collection from several scientific institutions from the Czech Republic and the Federal Republic of Saxony (National Museum in Prague, Chlupáč Museum of Earth History, Senckenberg Natural History Collections Dresden, etc.). The collection is based on samples published by Oskar Lenz and George Bruder from the second half of the 19th century. Both authors also processed the findings of other researchers (e.g. Cotta, Weisse). The belemnite rostra were systematically divided into four families, five genera and seven identifiable genera. One rostrum has not exactly been determined. The age of the samples was established to be the Middle and Upper Jurassic (Bajocian- Kimmeridgian). The length of the expected sedimentation in this area has been prolonged to the past (deeper to the Middle Jurassic), mainly due to the finding of the species Megateuthis gigantea Schlotheim, 1820. Earlier research (especially in the 20th century) assumed the extent of preserved carbonate rocks only in the Oxfordian and Kimmeridgian age, with a not much fossiliferous Callovian Brtníky Formation. The studied sedimentary rocks show a significant influence of Milankovich cycles with repeated alternation of carbonate and non- carbonate layers in the sequence. Preliminary results of isotope...
|
|
Controlling Virtual People
Gemrot, Jakub ; Brom, Cyril (advisor) ; Dignum, Frank (referee) ; Holeňa, Martin (referee)
Title: Controlling Virtual People Author: Mgr. Jakub Gemrot Department: Department of Software and Computer Science Education Supervisor: Mgr. Cyril Brom, PhD. Abstract: In this thesis, we provide a computational formalization of reactive planning as a paradigm for decision making of intelligent virtual agents and videogame non-player characters. We formalize agent decision-making (ADM) as a process of deciding on which body actions to execute next and differentiate it from agent reasoning as a process of computing facts needed for decision making. We show that imperative programming languages are not suitable for ADM specification and explain why they are not suitable. Thereafter, we create a new computational model that we use as the basis for the definition of Behavior Design Language (BDL). We show that BDL can model decision-making specified by scripting, hierarchical finite-state machines, AgentSpeak(L), GOAL, SPOSH and Behavior trees. Importantly, BDL can model these approaches economically in terms of the number of behavior primitives. The key strengths of the BDL language are: versatility (it can mix decision making patterns of multiple languages together), extensibility (it allows developers to devise new language primitives as they see fit), and generality (it can abstract any computable...
|