Hledat
Zobrazují se záznamy 1701-1710 z 2274
Strojové ověření Rose-Rosserova důkazu úplnosti Łukasiewiczovy výrokové logiky, Automated proof-checking of the Rose-Rosser's proof of completeness of Łukasiewicz propositional logic
; Vedoucí práce: Lávička Tomáš; Oponent práce: Cerna David M. (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-28)
Tato práce se zabývá formalizací základů Łukasiewiczovy logiky a strojovým ověřením větší části prvního známého důkazu její úplnosti, t.j. za prvé ověřením celkem 23 lemmat s rozsáhlými syntaktickými důkazy, za druhé ...
Isingův model feromagnetizace látek, Ising model of ferromagnetism
; Vedoucí práce: Vybíral Jan; Oponent práce: Hencl Stanislav (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-26)
Tato diplomová práce je rozčleněna do tří částí. V první kapitole jsou vysvětleny základní aspekty Isingova modelu a je představeno řešení jak jednorozměrné, tak dvourozměrné verze tohoto modelu. V případě řešení modelu ...
Monte Carlo simulace léčby radioterapií s laserem urychlenými částicemi, Monte Carlo simulations of radiotherapy treatment with laser accelerated particles
; Vedoucí práce: Grittani Gabriele Maria; Oponent práce: Versaci Roberto (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-04)
Tato práce se zaměřuje na využití laserového plazmového urychlovače ke generaci velmi vysoce energetických elektronů (VHEE) a dalších částic pro radioterapii. S využitím obecně účelového Monte Carlo kódu FLUKA a jeho ...
Modelování ozařovacích experimentů na školním reaktoru VR-1, Modeling of irradiation experiments at training reactor VR-1
; Vedoucí práce: Frýbort Jan; Oponent práce: Košťál Michal (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-04)
Diplomová práce se zabývá počítačovým modelování ozařovacích experimentů na školním reaktoru VR-1. Je popsána problematika normalizace výsledků Monte Carlo transportní kódů a provedena rešerše různých způsobů výkonové ...
Cell-centered lagrangeovský kód pro simulace ve fyzice laserového plazmatu, Cell-Centered Lagrangian Code for Simulations in Laser Plasma Physics
; Vedoucí práce: Váchal Pavel; Oponent práce: Fučík Radek (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-04)
Tato práce je věnována rozšíření stávajícího nestrukturovaného cell-centred lagrangeovského kódu pro hydrodynamické simulace, doposud vyvíjeného v kartézských souřadnicích, do cylindrických souřadnic. Součástí je implementace ...
Regenerativní zesilovač s aktivním prostředím Yb:KYW, Yb:KYW regenerative amplifier
; Vedoucí práce: Smrž Martin; Oponent práce: Švejkar Richard (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-04)
Diplomová práce se zabývá vývojem regenerativního zesilovace na bázi Yb:KYW. V teoretické části jsou shrnuty vlastnosti použitého krystalu a teorie laserového zesilovače. Dále jsou provedeny simulace regenerativního ...
Matematické modelování dvoufázového proudění pomocí mřížkové Boltzmannovy metody, Mathematical modelling of two-phase flow using the lattice Boltzmann method
; Vedoucí práce: Eichler Pavel; Oponent práce: Straka Robert (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-28)
Tato práce se zabývá užitím mřížkové Boltzmannovy metody (LBM) k simulaci vícefázového proudění. V rámci této práce byly popsány dva numerické modely řešící tuto problematiku. První řeší mísitelné proudění a skládá se z ...
Evoluční úlohy pro rovinné křivky a jejich zobecnění, Evolution Equations for Planar Curves and Their Generalization
; Vedoucí práce: Beneš Michal; Oponent práce: Minárik Miroslav (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-28)
Práce se zabývá dynamikou rovinných křivek obecně nazývanou hyperbolický pohyb podle křivosti a jejím porovnáním s běžným pohybem podle křivosti. Jsou zformulovány různé varianty tohoto zákona pro parametricky danou křivku ...
Matematické modelování v elektrokardiologii, Mathematical Modelling in Electrocardiology
; Vedoucí práce: Beneš Michal; Oponent práce: Šembera Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-28)
Boj se zvyšujícím se počtem úmrtí v důsledku kardiovaskulárních chorob vyžaduje interdisciplinární spolupráci kardiologie s dalšími vědními obory včetně matematiky. Matematické modely popisující strukturu a činnost srdce ...
Laserem řízené zdroje elektronů a rentgenového záření v podkritickém plazmatu: teorie a simulace, Laser-driven Sources of Electrons and X-rays in Underdense Plasma: Theory and Simulation
; Vedoucí práce: Klimo Ondřej; Oponent práce: Vrbová Miroslava (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-11)
Disertační práce se zabývá vývojem zdrojů urychlených elektronů a koherentního krátkovlnného záření, převážně v rentgenové části elektromagnetického spektra, založených na interakci vysokovýkonných laserových svazků s ...