|
|
Gravitační perturbace v NP/GHP formalismu
Pospíšil, Marek ; Kofroň, David (vedoucí práce) ; Ledvinka, Tomáš (oponent)
Práce seznamuje čtenáře s tetrádovými přístupy v obecné teorii relativity (OTR), jmenovitě s Newman - Penroseovým (NP) a a Geroch - Held - Penroseovým (GHP) for- malismem. Ty jsou následně vztaženy k běžnějším souřadnicovým vyjádřením. Následně se práce věnuje technikám perturbací v OTR, a to jak běžné perturbaci metriky, tak k metodě superpotenciálu, která je pro GHP formalismus běžnější. Dále jsou zde zrekapi- tulovány důležité výsledky z této metody vycházející. Těžištěm vlastní práce je zobecnění některých dosavadních výsledků na prostoročasy s akcelerací (tzv. C-metrika) a kontrola výsledků existujících, a to pomocí výpočtů v programu Wolfram Mathematica. Aby nešlo pouze o výpočty v poněkud neprůhledných GHP a NP formalismech, je následně hlavní výsledek zkontrolován rovněž pomocí přepisu do souřadnicových derivací. 1
|
|
|
Numerické řešení Ernstovy rovnice
Pospíšil, Marek ; Ledvinka, Tomáš (vedoucí práce) ; Svítek, Otakar (oponent)
Tato práce se zabývá řešením Ernstovy rovnice pomocí numerických technik, jmeno- vitě pseudospektrálních metod. V teoretických kapitolách napřed shrnujeme vlastnosti některých černoděrových prostoročasů. Práce dále cituje odvození Ernstovy rovnice a podobu Kerrova řešení. Následně představujeme pseudospektrální techniky na příkladu numerického řešení Laplaceovy rovnice s okrajovou podmínkou v nekonečnu. Nakonec řešíme nelineární diferenciální rovnici, čímž dokládáme, že pseudospektrálními metodami je možné řešit i přímo Ernstovu rovnici. 1
|
|
|
Microscopic sets and drops in Banach spaces
Pospíšil, Marek ; Lukeš, Jaroslav (vedoucí práce) ; Fabian, Marián (oponent)
Nejprve definujeme mikroskopické množiny na reálné ose a zkoumáme jejich vztah k množinám Hausdorffovy a Lebesgueovy míry nula a k množinám první kategorie. V druhé části dokazujeme Bishop-Phelpsovu větu a její ekvivalenci s Ekelandovým variačním principem, větou o okvětních plátcích, Danešovou větou o kapce, Brézis-Browderovou větou a Caristi- Kirkovou větou. Přitom definujeme pojem kapky jako konvexní obal množiny a bodu. V části třetí dokazujeme, že vlastnost kapky je v jistém smyslu ekvivalentní reflexivitě. Prostor má vlastnost kapky, pokud kapku z Danešovy věty lze najít i v obecnějším případě, než zaručuje věta samotná. Dále tuto vlastnost charakterizujeme pomocí aproximativní kompaktnosti. V poslední části se zabýváme mikroskopickou vlastností kapky, která je oproti původní vlastnosti kapky méně přísná. Zjistíme však, že tyto dva pojmy jsou pro nekompaktní množiny v reflexivních prostorech ekvivalentní. Powered by TCPDF (www.tcpdf.org)
|
|
|
Microscopic sets and drops in Banach spaces
Pospíšil, Marek ; Lukeš, Jaroslav (vedoucí práce) ; Zelený, Miroslav (oponent)
Nejprve definujeme mikroskopické množiny na reálné ose a zkoumáme jejich vztah k množinám Hausdorffovy a Lebesgueovy míry nula a k množinám první kategorie. V druhé části dokazujeme Ekelandův variační princip a jeho ekvivalenci s větou o okvětních plátcích, Danešovou větou o kapce, Brézis-Browderovou větou, Phelpsovým lemmatem a Caristi-Kirkovou větou. Dále zkoumáme jeho vztah k Bishop-Phelpsově větě. Přitom definujeme pojem kapky jako konvexní obal množiny a bodu. V části třetí dokazujeme, že vlastnost kapky je v jistém smyslu ekvivalentní reflexivitě. Prostor má vlastnost kapky, pokud kapku z Danešovy věty lze najít i v obecnějším případě, než zaručuje věta samotná. Dále tuto vlastnost charakterizujeme pomocí aproximativní kompaktnosti. V poslední části se zabýváme mikroskopickou vlastností kapky, která je oproti původní vlastnosti kapky méně přísná. Zjistíme však, že tyto dva pojmy jsou pro jisté množiny v reflexivních prostorech ekvivalentní.
|
|
|
Metodika projektů zajištění kvality a testování datových migrací Deloitte ČR
Pospíšil, Marek ; Bruckner, Tomáš (vedoucí práce) ; Šedivý, Josef (oponent)
Cílem této práce je sestavení metodiky pro zajištění kvality nebo testování úplnosti a přesnosti datových migrací, která se stane součástí znalostní báze Deloitte Česká republika pro projekty v oddělení Enterprise Risk Services. Projekty zajištění kvality dat při datové migraci prováděné společností Deloitte v ČR nesou svá specifika. Přestože existuje metodika "Systems Development Playbook", jejíž součástí je i metodika datové migrace, problémem zejména pražské pobočky je fakt, že postupy a metody pro poradenské projekty v oblasti datových migrací nejsou v současných metodických dokumentacích zachyceny včetně specifik projektů v ČR a SR. To představuje riziko nekonzistence při provádění tohoto typu poradenských projektů v případě odchodu klíčových zaměstnanců. Zlepšování postupů a optimalizace zapojení lidských zdrojů v projektech datové migrace navíc nemůže být měřitelně srovnáváno mezi jednotlivými projekty, pokud neexistuje základní metodický postup, vůči kterému je možné specifické projekty měřit. Cíle této práce, tedy sestavení metodiky pro zajištění kvality je dosaženo konsolidací zkušeností z minulých projektů týkajících se datových migrací v rámci Deloitte Česká republika, návrhem zlepšení dosavadních postupů na základě integrace informací z externích zdrojů a z interních zdrojů globální společnosti Deloitte Touche Tohmatsu.
|
|
|
Pojištění pohledávek
Pospíšil, Marek ; Ducháčková, Eva (vedoucí práce) ; Daňhel, Jaroslav (oponent)
Tématem práce je pojištění pohledávek. Cílem je analyzovat tento specifický typ pojištění, vymezit jeho postavení v rámci pojistného systému a při krytí úvěrového rizika. Pozornost je věnována jak komerčnímu pojištění, tak pojištění se státní podporou. Část práce je taktéž věnována analýze domácího a světového pojistného trhu v kontextu hospodářské recese. V závěru práce jsou představeny alternativní formy zajištění úvěrového rizika a jejich porovnání s pojistnými produkty.
|
|
|
Eclipse Process Framework Composer
Pospíšil, Marek ; Buchalcevová, Alena (vedoucí práce) ; Balada, Jakub (oponent)
Cílem této práce je vytvořit uživatelskou příručku v českém jazyce pro začínající uživatele nástroje Eclipse Process Framework Composer. Čtenář je nejprve seznámen s nástrojem Eclipse Process Framework Composer a základy problematiky metodiky vývoje softwaru se zaměřením na metodiku OpenUp. V druhé části jsou postupně popsány možnosti a způsob použití tohoto nástroje od jeho instalace po publikaci vytvořených procesů. Popis je také doplněn názornými příklady.
|
|
|
Analýza pojištění pohledávek na českém pojistném trhu
Pospíšil, Marek ; Ducháčková, Eva (vedoucí práce)
Tématem práce je analýza pojištění pohledávek. Hlavním cílem je analýza tohoto specifického druhu pojištění, vymezení pojistitelů a charakteristika jimi nabízených produktů. Práce je členěna do tří částí. V první části je zařazení do pojistného systému, vymezení rizik, důvody existence a význam tohoto pojištění. Druhá část práce je zaměřena na jednotlivé konstrukční prvky pojištění. Ve třetí části je potom rozbor jednotlivých pojistitelů a jejich produktů.
|
host ::
RSS.