|
|
Lead-based relaxor ferroelectrics by Raman scattering
Rafalovskyi, Iegor ; Hlinka, Jiří (vedoucí práce) ; Deluca, Marco (oponent) ; Dubroka, Adam (oponent)
Název práce: Ramanuv rozptyl v olovnatých relaxorových ferroelektrikach Autor: Iegor Rafalovskyi Ústav: Fyzikální ústav AV ČR, v. v. i. Vedoucí disertační práce: Ing. Jiří Hlinka, Ph.D., Odděleni Dielektrik, Fyzikální ústav AV ČR, v. v. i. Abstrakt: Předkládaná práce se věnuje měřením a analýzám spektra Ramanova rozptylu různých perovskitových feroelektrik, zejména relaxorů na bázi olova ve formě krystalů a tenkých filmů. Zkoumání monokrystalu PMN-0.32PT se složením odpovídajícím mor- fotropní fázové hranici ukázalo, že při ohřívání vzorku v nulovém poli po předchozím ochlazení vzorku v elektrickém poli dochází ke stabilizaci heterofázové struktury s 10-100 µm rovnoběžnými pruhy střídajících se tetragonálních a trigonálních, nebo jim blízkých fázích. Dále byl v PMN-0.32PT zkoumán přechod z trigonální do tetragonální fáze indukovaný elektrickým polem. V relaxoru PFN-0.38PT byla pozorována doménová struktura s 90◦ doménovými stěnami. Struktura a symetrie sousedních domén byly zkoumány pomocí polarizovaného Ramanova rozptylu. Relaxorové feroelektrikum PSN vykazovalo naprosto odlišné chování v polarizovaných Ramanových spektrech monokrys- talu a epitaxiálního tenkého filmu. Úhlová závislost...
|
|
|
Computational Study of Organometallic Interactions with Models of DNA/RNA and Proteins Using Tools of Quantum Chemistry and Molecular Mechanics.
Šebesta, Filip ; Burda, Jaroslav (vedoucí práce) ; Rulíšek, Lubomír (oponent) ; Urban, Ján (oponent)
Při vývoji nových materiálů či léčiv zaujímají v poslední době kvantově-chemické metody důležitou roli. V rámci této disertační práce jsou využity při studiu platinových komplexů představujících potencionální protirakovinná léčiva. Interakce pěti hydratovaných Pt(II) komplexů s guaninem je studována pomocí DFT metod. U cytostatik na bázi Pt(IV) komplexů je však pozorováno méně vedlejších účinků a zároveň překonávají rezistenci některých nádorů vůči cisplatině. Obecně jsou ale vysoce kinecky inertní, a proto musí být v organismu redukovány, aby bylo dosaženo jejich protirakovinné aktivity. Z tohoto důvodu jsou stanoveny redukční potenciály pro jedenáct Pt(IV) komplexů pomocí DFT výpočtů a post-Harteeho-Fockových metod. Kinetika však hraje zásadní roli v případě redukce těchto sloučenin, a proto je zkoumán reakční mechanismus odpovídající redukci tetraplatiny v přítomnosti deoxyguanosin monofosfátu a redukci satraplatiny pomocí kyseliny askorbové. Jelikož se uvažovaná redukční činidla vyskytují při neutrálním pH v různých protonačních stavech, efektivní rychlostní konstanty jsou stanoveny pomocí vztahů pro boční reakce. Při interakci kovových kationtů s thyminem představují přenosy protonů velmi důležitou část reakce. Přítomnost hydratovaných Mg2+ , Zn2+ , Hg2+ kationtů vede k výraznému snížení aktivační...
|
|
| |
|
|
Controlling Virtual People
Gemrot, Jakub ; Brom, Cyril (vedoucí práce) ; Dignum, Frank (oponent) ; Holeňa, Martin (oponent)
Název práce: Řízení virtuálních lidí Autor: Mgr. Jakub Gemrot Katedra / Ústav: Katedra software a výuky informatiky Vedoucí rigorózní práce: Mgr. Cyril Brom, PhD., Kabinet software a výuky informatiky Abstrakt: V této práci předkládáme výpočetní formalizaci reaktivního plánování jako paradigmatu pro modelování rozhodování inteligentních virtuálních agentů a nehráčských postav z počítačových her. V práci formalizujeme rozhodování agentů jako rozhodování vybírající akce, které tělo agenta bude vykonávat v následujícím cyklu simulace. Rozhodování oddělíme od usuzování, které slouží agentovi pro výpočet faktů, která jsou pro rozhodování nutná. Ukážeme, že imperativní programovací jazyky nejsou vhodné pro specifikaci rozhodování agentů a vysvětlíme proč. Následně vytvoříme nový výpočetní model, který použijeme jako základ pro definici Behavior Design Language (BDL). Ukážeme, že BDL dokáže modelovat rozhodování specifikované pomocí skriptovacích programovacích jazyků, hierarchických konečných automatů, stromů chování a jazyků AgentSpeak(L), GOAL, SPOSH. Navíc ukážeme, že BDL dokáže tyto jazyky modelovat ekonomicky vzhledem k počtu primitiv nutných k tvorbě rozhodování v tom kterém formalismu. Hlavní výhody BDL jsou: všestrannost (jazyk umožňuje používat rozhodovací vzory různých jazyků), rozšiřitelnost (je...
|
|
|
Efficient Representation of Program States
Jančík, Pavel ; Kofroň, Jan (vedoucí práce) ; Gargantini, Angelo (oponent) ; Barnat, Jiří (oponent)
Při verifikaci programů se snažíme rozhodnout, zda program obsahuje či neobsahuje chyby. Základním předpokladem všech verifikačních postupů je efektivní reprezentace a manipulace se stavy programů. V této práci představujeme techniky pro nalezení nepodstatných informací ve stavech programů a pro jejich odstranění. Tato práce obsahuje redukce vhodné pro explicitní i symbolickou reprezentaci stavů. Naše postupy vhodné pro explicitní reprezentaci byly speciálně navrženy pro vícevláknové programy. Naše analýzy dokáží nalézt takové hodnoty v dynamicky alokovaných objektech, tedy na haldě, které program již nebude v následujících krocích číst. Logické formule v predikátové nebo výrokové logice jsou převažující symbolickou reprezentací množin stavů programu. Craigovy interpolanty jsou jedním z obvyklých postupů pro získání formulí s požadovanými vlastnostmi. V této práci představujeme nový způsob jejich výpočtu, který používá přiřazení proměnných pro zmenšení jejich velikosti. Pomocí přiřazení proměnných můžeme zablokovat ty cesty v programu, které nechceme, aby interpolant bral v potaz a tím zmenšit jejich velikost.
|
|
|
Two- neutrino double beta decay of 150Nd in the NEMO-3 experiment and scintillator characterization for the SUPER NEMO
Žukauskas, Aivaras ; Vorobel, Vít (vedoucí práce) ; Lokajíček, Miloš (oponent) ; Wagner, Vladimír (oponent)
NEMO-3 experiment, jenž fungoval r. 2003-2011 v podzemní laboratoři Modane (Francie), byl věnován hledání hypotetického bezneutrinového dvojného beta roz- padu. Také jako nejpřesnějí ve světě naměřil poločas dvojného beta rozpadu s emisí dvou neutrin pro sedm izotopů. Jedným z výsledků této práci je hodnota poločasu dvouneutrinového dvojného beta rozpadu izotopu 150 Nd, získána po 1918,5 dnů měření 36,55 g vzorku tohoto izotopu: T2ν 1/2 = (8.99 ± 0.18 (stat.) ± 0.71 (syst.)) × 1018 y. SuperNEMO je experiment patřící do nové generace experimentů, hledající bez- neutrinový dvojný beta rozpad. Za cíle si klade stanovit poločas rozpadu izotopu 82 Se s citlivostí 1026 r., odpovídající effektivní hmotě neutrína ⟨mββ⟩ < 50 - 100 meV. Příspěvkem ke konstrukci detektoru a k dosažení tohoto cíle byla vybu- dována testovací stanice pro charakterizaci scintilačních detektorů, které budou tvořit boční stěny (X-walls) kalorimetru v tzv. demonstrátoru, prvním modulu SuperNEMO. Pomocí této stanice bylo stanoveno, že žádný ze 140 testovaných scintilátorů nepřekročuje kritérium uniformity (±3% energetického rozlišení na 1 MeV). Průměrná uniformita testovaných scintilačních bloků je 0,7%. Průměrné energetické rozlišení je 12%. Vizuální test odhalil, že ve 23 blocích je více než 20 viditelných částic prachu, což...
|
|
|
Belieavable decision making in large scale open world games for ambient characters
Plch, Tomáš ; Brom, Cyril (vedoucí práce) ; Hindriks, Koen (oponent) ; Čertický, Michal (oponent)
Název práce: Uvěřitelné rozhodování virtuálních postav ve hrách s velkým otevřeným světem Autor: Tomáš Plch Katedra / Ústav: Katedra softwaru a výuky informatiky Vedoucí doktorské práce: Mgr. Cyril Brom, Ph. D., Katedra softwaru a výuky informatiky Abstrakt: Hry s velkým otevřeným světem jsou obydleny populacemi s velkým počtem virtuálních bytostí, které se účastní na herním příběhu a obohacují virtuální svět svojí přítomností. Realizmus tohoto prostředí a uvěřitelnost chování jeho obyvatelstva je klíčová pro hráčův imerzivní zážitek. V první části naší práce prezentujeme vylepšení jazyka pro specifikaci chováni virtuálních bytostí tak, aby bylo možné specifikovat komplexní uvěřitelné chování jednoduchou a udržitelnou formou. Specifika jazyka jsme založili na kombinaci principů objektového programování a paradigmatu behaviorálních stromů. V druhé části práce popisujeme koncept Inteligentního prostředí schopného adaptivně reagovat na chování virtuálních bytostí i na hráčovy akce tak, abychom hráči prezentovali uvěřitelný svět. V třetí části specifikujeme koncept Smart konstruktů, které poskytují virtuálním bytostem kontextově správné chování, aby bylo ve specifických oblastech uvěřitelnější. Dále Smart konstrukty poskytují chování spjaté s používáním předmětů a účastí v příběhu hry tak, aby nedocházelo k...
|
|
|
Diversity of the land snail genus Helix and its relatives (Gastropoda: Pulmonata: Helicidae) from Mediterranean origins to postglacial Central Europe
Korábek, Ondřej ; Juřičková, Lucie (vedoucí práce) ; Hausdorf, Bernardt (oponent) ; Cameron, Robert A.D. (oponent)
6 ABSTRAKT Čeleď Helicidae (hlemýžďovití) zahrnuje největší a nejznámější suchozemské plže západního Pa- learktu, nicméně až donedávna se znalost její diverzity opírala převážně o práce z počátku dva- cátého století. Řešení řady taxonomických problémů a pochopení biogeografické historie čeledi si přitom žádalo uplatnění molekulárně-fylogenetických analýz. Tato práce se zaměřuje na skupi- nu východostředomořských rodů hlemýžďovitých, především přímo na typový rod Helix Linnae- us, 1758 (hlemýžď). Počínaje zkoumáním diverzity a příbuzenských vztahů linií ve východním Středomoří a Anatolii sleduje jejich cestu od místa jejich diverzifikace až po jejich výskyt v post- glaciální fauně střední Evropy. Předkládané výsledky jsou převážně založené na analýzách sekvencí mitochondriálních genů, konchologických pozorováních a radiokarbonovém datování holocenních subfosilních nálezů. Porovnávali jsme diverzitu mitochondriálních linií v rodě Helix se závěry nové, na morfologii založené taxonomické revize rodu. Podařilo se nám shromáždit re- prezentativní data, pokrývající téměř všechny v současnosti uznávané druhy, stejně jako po- tenciálně příbuzné rody a podrody. Revidovali jsme vymezení rodu a upozornili na zřejmě rozdílný přístup k vymezování druhů v rodě Helix oproti některým jeho příbuzným. Centrem hluboké...
|
|
|
Scattering and spectroscopic studies of polyelectrolytes and associating block copolymers
Škvarla, Juraj ; Štěpánek, Miroslav (vedoucí práce) ; Špírková, Milena (oponent) ; Humpolíčková, Jana (oponent)
Tato dizertace se zaměřuje na aplikaci rozptylových a spektroskopických experimentálních metod na studium samouspořádaných systémů amfifilních molekul (jak polymerních tak nízkomolekulárních) ve vodných roztocích. Zvláštní pozornost byla věnována optickým metodám, a to statickému, dynamickému a elektroforetickému rozptylu světla a fluorescenční spektroskopii, které byly podpořeny řadou dalších technik, jako jsou například maloúhlový rozptyl rentgenového záření nebo transmisní elektronová mikroskopie. Dizertační práce přináší nové výsledky týkající se micelizačního chování perfluorovaných povrchově aktivních látek, samouspořádání a stability termoresponzivních amfifilních blokových kopolymerů a kondenzace protiiontů na polyelektrolytech ve vodných roztocích.
|
|
|
Morfostrukturní analýza Etiopské vysočiny pomocí dálkového průzkumu Země
Kusák, Michal ; Vilímek, Vít (vedoucí práce) ; Klimeš, Jan (oponent) ; Novotný, Ján (oponent)
- Morfostrukturní analýza Etiopské vysočiny pomocí dálkového průzkumu Země Soubor morfometrických analýz údolních sítí, lineamentů a zlomů získaných z digitálního modelu reliéfu (DEM) umožnil nejen potvrdit většinu závěrů o morfotektonickém vývoji Etiopské vysočiny z dosavad publikovaných výsledků stratigrafických, strukturně-geologických, petrologických, tektonických a geochronologických studií realizovaných v Etiopské vysočině, ale umožnil jejich rozšíření o nové poznatky. Údolní segmenty i lineamenty jsou orientované ve směrech odpovídajících orientaci zlomů a odpovídajících publikovaným konceptům tektonického vývoje území. Nejvíce zastoupené jsou lineární prvky reliéfu odrážející pliocenní změnu tektonického napětí ze směru SV-JZ do SSV-JJZ směru (rotace napěťového pole o ~40ř) související se vznikem a vývojem Hlavního Etiopského Riftu (HER). Nejvýraznější morfologické projevy rozšiřování HER a Afarské deprese jsou dobře patrné na hranici Etiopské vysočiny a HER, kde dominance toků prvního řádu poukazuje na krátké působení napětí v tomto směru a aktivní zpětnou erozi. Paleogenní SZ-JV a ZSZ-VJV směry tektonického napětí tvoří nejstarší části Etiopské vysočiny, tj. nejvyvinutější údolí vysokých řádů (nejnižší hodnoty SOLR) a relikty radiální paleo-údolní sítě. Ta byla před pozdním miocénem...
|
host ::
RSS.