|
|
Obrábění titanových slitin
Müller, Peter ; Sliwková, Petra (oponent) ; Píška, Miroslav (vedoucí práce)
Táto bakalárska práca popisuje najvýznamnejšie vlastnosti a výrobu titánu, uvádza rozdelenie titánových zliatin a ich charakteristiku. V experimentálnej časti bol sústružený polotovar zo zliatiny Ti-6Al-4V a v závislosti od zvolených posuvov na otáčku merané rezné sily. Následne bola vypočítaná merná rezná sila a porovnaná s hodnotami udávanými výrobcami nástrojov.
|
|
|
Corrosion resistance of cast duplex stainless steels
Müller, Peter ; Záděra, Antonín (oponent) ; Pernica, Vítězslav (vedoucí práce)
The master’s thesis deals with corrosion resistance of cast duplex steels. In the first part the corrosion mechanisms and their individual types are described, the second part characterizes the types of stainless steels in terms of their properties, use, structural components, and their impact on mechanical and corrosion properties of steels. Individual chapter is dedicated to duplex steels. In the experimental part the resistance of 1.4517 steel against pitting corrosion depending on the alloy contents and the PREN value was investigated. Four specimens graded according to PREN were cast. Supplemented with sample stirrer blade which was affected by corrosion during service they were subjected to corrosion test according to ASTM G48-11 standard in 6% FeCl3 solution. Cast specimens were subjected to tensile test and impact test.
|
|
|
Výroba a použití odlitků ze zinkových slitin
Odehnal, Pavel ; Müller, Peter (oponent) ; Pernica, Vítězslav (vedoucí práce)
Bakalářská práce se zaměřuje na vypracování literární rešerše zabývající se výrobou zinku a jeho použití. Teoretická část je zaměřena na seznámení se způsoby výroby čistého zinku, používanými slitinami a způsobech zpracování těchto slitin. Dále jsou popsány vybrané odvětví použití odlitků v průmyslu. Práce je doplněna o experiment týkající se vyhodnocení a způsobu nápravy vznikajících vad na součásti.
|
|
|
Výroba a použití odlitků ze zinkových slitin
Odehnal, Pavel ; Müller, Peter (oponent) ; Pernica, Vítězslav (vedoucí práce)
Bakalářská práce se zaměřuje na vypracování literární rešerše zabývající se výrobou zinku a jeho použití. Teoretická část je zaměřena na seznámení se způsoby výroby čistého zinku, používanými slitinami a způsobech zpracování těchto slitin. Dále jsou popsány vybrané odvětví použití odlitků v průmyslu. Práce je doplněna o experiment týkající se vyhodnocení a způsobu nápravy vznikajících vad na součásti.
|
|
|
On the Power of Weak Extensions of V0
Müller, Sebastian Peter ; Krajíček, Jan (vedoucí práce) ; Thapen, Neil (oponent) ; Kolodziejczyk, Leszek (oponent)
Název práce: O síle slabých rozšírení teorie V0 Autor: Sebastian Müller Katedra: Katedra Algebry Vedoucí disertační práce: Prof. RNDr. Jan Krajíček, DrSc., Katedra Algebry. Abstrakt: V predložené disertacní práci zkoumáme sílu slabých fragmentu arit- metiky. Činíme tak jak z modelově-teoretického pohledu, tak z pohledu důkazové složitosti. Pohled skrze teorii modelu naznačuje, že malý iniciální segment libo- volného modelu omezené aritmetiky bude modelem silnější teorie. Jako příklad ukážeme, že každý polylogaritmický řez modelu V0 je modelem VNC. Užitím známé souvislosti mezi fragmenty omezené aritmetiky a dokazatelností v ro- zličných důkazových systémech dokážeme separaci mezi rezolucí a TC0 -Frege systémem na náhodných 3CNF-formulích s jistým poměrem počtu klauzulí vůci počtu proměnných. Zkombinováním obou výsledků dostaneme slabší separační výsledek pro rezoluci a Fregeho důkazové systémy omezené hloubky. Klíčová slova: omezená aritmetika, důkazová složitost, Fregeho důkazový systém, Fregeho důkazový systém omezené hloubky, rezoluce Title: On the Power of Weak Extensions of V0 Author: Sebastian Müller Department: Department of Algebra Supervisor: Prof. RNDr. Jan Krajíček, DrSc., Department of Algebra....
|
|
|
Corrosion resistance of cast duplex stainless steels
Müller, Peter ; Záděra, Antonín (oponent) ; Pernica, Vítězslav (vedoucí práce)
The master’s thesis deals with corrosion resistance of cast duplex steels. In the first part the corrosion mechanisms and their individual types are described, the second part characterizes the types of stainless steels in terms of their properties, use, structural components, and their impact on mechanical and corrosion properties of steels. Individual chapter is dedicated to duplex steels. In the experimental part the resistance of 1.4517 steel against pitting corrosion depending on the alloy contents and the PREN value was investigated. Four specimens graded according to PREN were cast. Supplemented with sample stirrer blade which was affected by corrosion during service they were subjected to corrosion test according to ASTM G48-11 standard in 6% FeCl3 solution. Cast specimens were subjected to tensile test and impact test.
|
|
|
Obrábění titanových slitin
Müller, Peter ; Sliwková, Petra (oponent) ; Píška, Miroslav (vedoucí práce)
Táto bakalárska práca popisuje najvýznamnejšie vlastnosti a výrobu titánu, uvádza rozdelenie titánových zliatin a ich charakteristiku. V experimentálnej časti bol sústružený polotovar zo zliatiny Ti-6Al-4V a v závislosti od zvolených posuvov na otáčku merané rezné sily. Následne bola vypočítaná merná rezná sila a porovnaná s hodnotami udávanými výrobcami nástrojov.
|
|
|
On the Power of Weak Extensions of V0
Müller, Sebastian Peter ; Krajíček, Jan (vedoucí práce) ; Thapen, Neil (oponent) ; Kolodziejczyk, Leszek (oponent)
Název práce: O síle slabých rozšírení teorie V0 Autor: Sebastian Müller Katedra: Katedra Algebry Vedoucí disertační práce: Prof. RNDr. Jan Krajíček, DrSc., Katedra Algebry. Abstrakt: V predložené disertacní práci zkoumáme sílu slabých fragmentu arit- metiky. Činíme tak jak z modelově-teoretického pohledu, tak z pohledu důkazové složitosti. Pohled skrze teorii modelu naznačuje, že malý iniciální segment libo- volného modelu omezené aritmetiky bude modelem silnější teorie. Jako příklad ukážeme, že každý polylogaritmický řez modelu V0 je modelem VNC. Užitím známé souvislosti mezi fragmenty omezené aritmetiky a dokazatelností v ro- zličných důkazových systémech dokážeme separaci mezi rezolucí a TC0 -Frege systémem na náhodných 3CNF-formulích s jistým poměrem počtu klauzulí vůci počtu proměnných. Zkombinováním obou výsledků dostaneme slabší separační výsledek pro rezoluci a Fregeho důkazové systémy omezené hloubky. Klíčová slova: omezená aritmetika, důkazová složitost, Fregeho důkazový systém, Fregeho důkazový systém omezené hloubky, rezoluce Title: On the Power of Weak Extensions of V0 Author: Sebastian Müller Department: Department of Algebra Supervisor: Prof. RNDr. Jan Krajíček, DrSc., Department of Algebra....
|
host ::
RSS.