|
|
Hledání minimálních splňujících ohodnocení Booleovských formulí
Švancara, Jiří ; Balyo, Tomáš (vedoucí práce) ; Trunda, Otakar (oponent)
V této práci zkoumáme algoritmy a techniky pro řešení Booleovské splnitelnosti. Dále se zabýváme možnostmi jejich použití při řešení weighted short SAT, což je zobecnění problému splnitelnosti. Toto zobecnění požaduje nalézt splňující ohodnocení za použití minimálního součtu vah proměnných. K řešení tohoto problému zavádíme tři pravdivostní ohodnocení proměnných - True, False a Unassign. Ukážeme, že ne všechny algoritmy a techniky používané v moderních SAT solverech můžeme aplikovat v našem programu. Ty, které můžeme, převedeme tak, aby používali námi nadefinované pravdivostní ohodnocení. Různou kombinací takto převedených technik dostaneme několik verzí solveru, které mezi sebou na závěr porovnáme. Powered by TCPDF (www.tcpdf.org)
|
|
|
Crustal Structure of the Bohemian Massif Based on Seismic Refraction Data
Hrubcová, Pavla ; Vavryčuk, Václav (vedoucí práce) ; Plomerová, Jaroslava (oponent) ; Švancara, Jan (oponent)
Český masív je jedním z největších souvisle vystupujících fragmentů původně rozsáhlého variského orogenu ve střední Evropě. Na základě současné koncepce deskové tektoniky je možné interpretovat Český masív jako heterogenní celek složený ze čtyř samostatných regionálních jednotek s rozdílným vývojem i tektonickým omezením vůči svému okolí. Ke studiu hlubinné stavby tohoto komplexu byla použita data z mezinárodních seismických reflexních a refrakčních experimentů CELEBRATION 2000, ALP 2002 a SUDETES 2003. Tato data byla interpetována pomocí seismické tomografie a modelována s využitím paprskových metod pro vlny typu P a S. K omezení mnohoznačnosti řešení bylo použito reflektivity, modelování tíhových účinků i interpretace s využitím dalších metod, zejména receiver function. Rozložení seismických rychlostí v kůře Českého masívu bylo studováno podél profilů i doplněno o azimutální, mimoprofilovou závislost. Výsledné rychlostní modely ukazují rozdílné mocnosti kůry i různé typy přechodu na hranici kůra-plášť, což umožňuje vymezit kontakt jednotlivých jednotek ve větších hloubkách. Rozložení rychlostí pak odráží geotektonický vývoj dílčích jednotek Českého masívu.
|
|
|
Návrh výpustných a odběrných objektů vodního díla Nové Heřminovy
Neuvirt, Petr ; Švancara, Jiří (oponent) ; Zachoval, Zbyněk (vedoucí práce)
V rámci této diplomové práce byla představena ve zkratce uvažovaná přehrada Nové Heřminovy se základními parametry hráze. Uvedeny jsou požadavky na spodní výpusti a odběrná zařízení. Provedena byla analýza použitých uzávěrů všech přehrad v rámci celé České republiky. Hlavní náplní byl návrh tří variant spodních výpustí lišících se počtem, rozměry, umístěním a uzávěry. Dále varianta uspořádání odběrných zařízení. Jednotlivé varianty byly slovně popsány a doplněny vypočtenými hodnotami.
|
|
| |
|
| |
|
|
Jaderná elektrárna Dukovany. Seismotektonický model. Geologický a paleoseismický průzkum. Oddíl A – Zhodnocení zlomové zóny Diendorf-Boskovice
Špaček, P. ; Roštínský, Pavel ; Prachař, I. ; Švancara, J. ; Valenta, J. ; Tábořík, P.
Syntéza geologických (strukturních, tektonických, sedimentologických), geofyzikálních (gravimetrických, geomagnetických) a geomorfologických (topografické uspořádání, sklonitost povrchu, topolineamenty, fluviální systém, segementace oblasti podél zlomu) poznatků o hlavním zlomu tektonické zóny Diendorf-Boskovice. Dostupné poznatky byly doplněny novým přímým terénním výzkumem (pozemní geofyzika – ERT, vrtný průzkum, studium odkryvů a geomorfologických poměrů podél hlavního zlomu). Studie byla zpracována na požadavek české energetické společnosti ČEZ, a.s. v souvislosti se zhodnocením sesimického rizika pro blízkou jadernou elektrárnu Dukovany jednak z hlediska obnovení provozní licence stávajícího zařízení (dva výrobní bloky), jednak s plánovaným rozšířením energetické soustavy o třetí výrobní blok. Soustředěna především na nejbližší úsek zlomu Tetčice – Hostěradice v České republice. V závěrečné části byla zhodnocena míra potenciální svrchnokvarterní tektonické aktivity ve vztahu k prokázanému geotektonicky aktivnímu období spodního miocénu. Zpráva bude sloužit jako základní podklad pro vytvoření seismického modelu zóny Diendorf-Boskovice.
|
|
|
SLICE Seismic lithospheric investigation of Central Europe
Akademie věd ČR, Geofyzikální ústav, Praha ; Uličný, David ; Růžek, Bohuslav ; Hubatka, František ; Špaček, Petr ; Švancara, Jan ; Brož, Milan ; Novotný, Miloslav ; Karousová, Olina ; Hrubcová, Pavla ; Špičák, Aleš ; Novotný, Miroslav
Projekt SLICE má za úkol zkoumat hlubinnou stavbu středoevropské oblasti a jeho cílem je přispět k výzkumu stavby zemské kůry a svrchního pláště v oblasti Českého masivu a jeho styku se sousedními tektonickými jednotkami. Pro studium hlubinné stavby je využívána seismická refrakční metoda, kdy se registrují seismické vlny generované uměle vyvolanými odpaly a posléze je zjišťována rychlost šíření seismických vln v různých hloubkách. Tyto údaje pak zprostředkovaně poskytnou informace o strukturních vlastnostech měřeného prostředí až do oblasti svrchního pláště. Je popsáno propojení refrakčních experimentů ALP 2002 a SUDETES 2003 na našem území.
|
|
|
SLICE Seismic lithospheric investigation of Central Europe
Akademie věd ČR, Geofyzikální ústav, Praha ; Švancara, Jan ; Brož, Milan ; Hrubcová, Pavla ; Špičák, Aleš
Projekt SLICE má za úkol zkoumat hlubinnou stavbu středoevropské oblasti a jeho cílem je přispět k výzkumu stavby zemské kůry a svrchního pláště v oblasti Českého masivu a jeho styku se sousedními tektonickými jednotkami. Pro studium hlubinné stavby je využívána seismická refrakční metoda, kdy se registrují seismické vlny generované uměle vyvolanými odpaly a posléze je zjišťtována rychlost šíření seismických vln v různých hloubkách. Tyto údaje pak zprostředkovaně poskytnou informace o strukturních vlastnostech měřeného prostředí až do oblasti svrchního pláště. Je popsáno propojení refrakčních experimentů ALP 2002 a SUDETES 2003 na našem území.
|
|
|
SLICE Seismic lithospheric investigation of Central Europe
Akademie věd ČR, Geofyzikální ústav, Praha ; Špaček, Petr ; Švancara, Jan ; Brož, Milan ; Novotný, Miloslav ; Karousová, Olina ; Hrubcová, Pavla ; Špičák, Aleš ; Novotný, Miroslav
Projekt SLICE má za úkol zkoumat hlubinnou stavbu středoevropské oblasti a jeho cílem je přispět k výzkumu stavby zemské kůry a svrchního pláště v oblasti Českého masivu a jeho styku se sousedními tektonickými jednotkami. Pro studium hlubinné stavby je využívána seismická refrakční metoda, kdy se registrují seismické vlny generované uměle vyvolanými odpaly a posléze je zjišťována rychlost šíření seismických vln v různých hloubkách. Tyto údaje pak zprostředkovaně poskytnou informace o strukturních vlastnostech měřeného prostředí až do oblasti svrchního pláště. Je popsáno propojení refrakčních experimentů ALP 2002 a SUDETES 2003 na našem území.
|
|
| |
host ::
RSS.