|
|
Stochastické meteorologické generátory a regionální klimatické modely: konkurence či spojenci?
Dubrovský, Martin ; Štěpánek, Petr ; Meitner, Jan ; Zahradníček, Pavel
Článek demonstruje 'spolupráci' prostorového stochastického meteorologického generátoru SPAGETTA (WG) a regionálních klimatických modelů (RCM) při analýze dopadů změny klimatu (ZK). V první části je porovnán generátor se sadou 19 RCM modelů prostřednictvím jejich schopnosti reprodukovat 11 prostorových teplotních a srážkových indexů v osmi evropských regionech: indexy jsou založeny na registraci dnů a období s prostorově významným výskytem sucha, srážek, horka, zimy, a možných teplotněsrážkových kombinací. Na základě získaných výsledků je konstatováno, že obě metodologie dávají srovnatelně kvalitní výsledky. V druhé části experimentu (ta je provedena pouze pro oblast Střední Evropy) je generátor, jehož parametry jsou modifikovány scénáři změny klimatu odvozenými z RCM simulací, použit ke generování syntetických řad reprezentujících změněné klima. V experimentu je použita sada scénářů, které zahrnují změny vybraných kombinací následujících charakteristik: (1) průměrná teplota, (2) variabilita teploty, (3) průměrný úhrn srážek (průměr pouze ze srážkových dnů), (4) četnost výskytu srážkových dnů a (5) prostorové korelace a autokorelace teplotních i srážkových časových řad. Syntetické řady pro každý scénář jsou analyzovány prostřednictvím výše uvedených indexů, přičemž je sledován (mimo jiné) vliv změn jednotlivých charakteristik zahrnutých ve scénářích změny klimatu na jednotlivé indexy. V souladu s očekáváním bylo zjištěno, že výrazně největší vliv mají změny průměrných teplot – samozřejmě vyjma ryze srážkových indexů. Druhou nejvýznamněší charakteristikou, která významně ovlivňuje validační indexy, jsou změny korelací, které dle scénářů ZK pro Střední Evropu budou převážně pozitivní.
|
|
|
Těžké tautologie
Pich, Ján ; Krajíček, Jan (vedoucí práce) ; Pudlák, Pavel (oponent)
Skoumáme nedokazatelnost tvrzení NP$\not\subseteq$P/poly v různých fragmentech aritmetiky. Ta se obvykle dosahuje ukázáním těžkosti výrokových formulí kódujících superpolynomiální spodní odhady pro booleovské obvody. Nejprve prezentujeme několik známých technik a tvrzení. Přirozené důkazy, efektívní interpolaci, KPT větu, iterovatelnost, gadget generátory atd. Pak dokážem několik původních výsledků. Ukážeme nedokazatelnost superpolynomiálních spodních odhadů na booleovské obvody v systémech s efektívní interpolaci (modulo složitostní předpoklad) a v systémech podobajících se stromovým Frege systémům manipulujícím s formulemi, které obsahují jen málo proměnných dokazovaného tvrzení. Tyto výsledky jsou založeny na dokazování těžkosti Nisan-Wigdersonových generátorů v príslušných důkazových systémech.
|
|
|
Těžké tautologie
Pich, Ján ; Krajíček, Jan (vedoucí práce) ; Pudlák, Pavel (oponent)
Skoumáme nedokazatelnost tvrzení NP$\not\subseteq$P/poly v různých fragmentech aritmetiky. Ta se obvykle dosahuje ukázáním těžkosti výrokových formulí kódujících superpolynomiální spodní odhady pro booleovské obvody. Nejprve prezentujeme několik známých technik a tvrzení. Přirozené důkazy, efektívní interpolaci, KPT větu, iterovatelnost, gadget generátory atd. Pak dokážem několik původních výsledků. Ukážeme nedokazatelnost superpolynomiálních spodních odhadů na booleovské obvody v systémech s efektívní interpolaci (modulo složitostní předpoklad) a v systémech podobajících se stromovým Frege systémům manipulujícím s formulemi, které obsahují jen málo proměnných dokazovaného tvrzení. Tyto výsledky jsou založeny na dokazování těžkosti Nisan-Wigdersonových generátorů v príslušných důkazových systémech.
|
|
|
Konstrukce a realizace generátoru funkcí a jeho aplikace
CHALOUPEK, Pavel
Bakalářská práce se zabývá problematikou generátorů tvarových signálů. Je popsán princip generátoru tvarového signálu po obvodové stránce z hlediska principu a tvaru tvoření tvarového signálu, jeho generování a případné užití. Dále je vytvořen návrh obvodového řešení realizovaného generátoru a následně je provedena praktická realizace generátorů tvarového signálu, jejich stavba, oživení, nastavení a změření výstupních parametrů. Na závěr je uvedeno užití realizovaného generátoru v navržené laboratorní úloze a aplikace úlohy včetně zadání a vyřešení aplikační laboratorní úlohy pro žáky středních škol.
|
host ::
RSS.