|
|
Exact spacetimes and their physical properties
Veselý, Jiří ; Žofka, Martin (vedoucí práce) ; Hennigar, Robie (oponent) ; Tahamtan, Tayebeh (oponent)
Motivováni snahou najít zobecnění Bonnorova-Melvinova prostoročasu, v této di- zertační práci zkoumáme sedm statických, cylindricky symetrických a elektrova- kuových přesných řešení Einsteinových-Maxwellových rovnic. Tyto prostoročasy obsahují magnetické pole a šest z nich také kosmologickou konstantu. Nejprve diskutujeme některé postupy, které využíváme při průzkumu jednotlivých řešení, a poté uvádíme základní vlastnosti všech studovaných prostoročasů. Nadto pro každý z nich také zkoumáme pohyb nabitých testovacích částic a přípustné slup- kové zdroje tvořené proudy částic. Pomocí numerických výpočtů zjišt'ujeme, jestli rovnice připouští i obecnější řešení. 1
|
|
|
Aplikace temporálních logik ve fyzice
Švarný, Petr ; Majer, Ondrej (vedoucí práce) ; Pudlák, Pavel (oponent)
Práce představuje v krátkosti tři hlavní obory zabývající se zkoumáním času: fyziku, filosofii a logiku. Je podán úvod do obecné teorie relativity, termodynamiky a kvantové fyziky. Jsou vyjmenovány i základní filosofické přístupy k času a jsou probrány ústřední duality této filosofie, jakými jsou např.: eternalismus a presentismus, determinismus a indeterminismus či reálnost a nereálnost času. S ohledem na velkou škálu možných logik, jsou zde popsány různé základní přístupy v nich obsažené, jsou provedeny pro ně typické důkazy či předvedeny jejich zvláštnosti oproti jiným logikám. Zvláště je poté diskutováno užití temporálních logik při formalizaci ve fyzice, však zmíněny jsou i jejich aplikace v jiných oblastech. Následně jsou uvedeny podrobněji systémy zvané Branching space-times (Prostoročasové stromy) a z nich nově odvozené Branching continuations (Stromy pokračování). Tyto logické systémy byly již užitečné v kvantové fyzice. Zde je však vzata základní terminologie spojená s obecnou teorií relativity a také topologie A, P a T. Spolu se zmíněnými logickými systémy jsou užity ke zkoumání možnosti jejich složení.
|
host ::
RSS.