|
Metody zvyšování rozlišení digitálních snímků
Franěk, Pavel ; Fedra, Petr (oponent) ; Mézl, Martin (vedoucí práce)
Cílem této bakalářské práce je se seznámit s metodami, které umožňují zvýšení rozlišení digitálních snímků. Také realizovat jednotlivé interpolační metody i Super-rozlišení pomocí programu Matlab a poukázání na zhodnocené výsledky. Diskutovat o možnostech použití metod Super-rozlišení pro obrazy s lékařských modalit.
|
| |
|
Software pro návrh konfigurace kamer panoramatického systému
Jílek, Michal ; Grenar, David (oponent) ; Kříž, Petr (vedoucí práce)
Tato práce se zabývá návrhem softwaru v jazyce C++ a grafickým výstupem pomocí OpenGL pro snímání tribun objektivy kamer s různými parametry tak, aby byly předem známy výstupy uživatelské konfigurace objektivů s cílem vytvořit panoramatické pokrytí tribun stadionu. Rozebírá se princip snímání obrazu, parametry objektivů a vzorce pro výpočty jejich vhodného rozvržení na stadionu tak, aby snímaly dohromady panoramatický obraz. Jde o parametry: ohnisková vzdálenost, zorné úhly, výpočty pokrytí, obrazové rozlišení. Dále návrh programu realizujícího danou problematiku.
|
| |
|
The EU response to the development in Belarus in 2021: the human rights scope
Kotielnikova, Olha ; Kolenovská, Daniela (vedoucí práce) ; Góra, Magdalena (oponent)
European Politics and Society: Václav Havel Joint Master Programme Charles University The EU response to the development in Belarus in 2021: the human rights scope Master's Thesis Abstract Author: Olha Kotielnikova Supervisor: Mgr. Daniela Kolenovská, Ph.D. Year of defence: 2022 Length of the thesis: 18892 words Abstract Human rights abuse in Belarus has again become a topical issue on the European Union's agenda alongside political rights violations since 2020. The Union sees its role in influencing the internal policy of the proclaimed Belarusian government for it to start respecting human rights. As a united body, it has instruments to exercise its foreign policy instruments, such as restrictive measures, negotiations, and communication. The dynamics of their usage have been changing, but there is still potential to review and adapt possible European responses. Keywords European Union, Belarus, foreign policy, human rights, human rights defence, resolution, sanctions, restrictive measures.
|
|
Ozdravné postupy a řešení krize bank
Půlpánová, Karolína ; Vybíral, Roman (oponent)
Ozdravné postupy a řešení krize bank Abstrakt a klíčová slova Tato diplomová práce systematicky představuje evropský regulatorní rámec Ozdravných postupů a řešení krize úvěrových institucí a investičních podniků (BRRD), mající podobu směrnice, a do českého právního řádu provedený v zákoně č. 374/2015 Sb., o ozdravných postupech a řešení krize na finančním trhu. Přitom je do této práce zapracována první větší novela této směrnice tzv. BRRD2, která zejména implementuje mezinárodního standard FSB pro specifikaci celkové kapacity pro absorpci ztrát do unijního práva. Práce je členěna do 5 částí. Část prvá sleduje, co stálo na pozadí vzniku BRRD, probírá, jaké byly příčiny Globální finanční krize, a co z nich vyvozujeme a následně probírá světovou regulatorní reakci na tuto krizi. Druhá kapitola zařazuje BRRD do širšího kontextu v rámci Bankovní unie a představuje její strukturu. Bankovní unie je vystavěna na jednotném souboru pravidel a člení se do dvou (v budoucnosti tří) pilířů. Těmi jsou jednotný mechanismus dohledu a jednotný mechanismus pro řešení krize. Třetí částí začíná představení vlastní právní úpravy, kdy v této třetí kapitole jsou uvedeny obecné náležitosti postupů dle tohoto regulatorního rámce. Je řešena působnost, cíle a zásady těchto postupů, posléze rozlišen režim řešení krize od běžného...
|
|
SMV-2021-43: Návrh a simulace elektronově optických systémů
Radlička, Tomáš
V rámci smluvního výzkum bylo zpracováno několik studií proveditelnosti týkajících se optických vlastností elektronově optických elementů, optimalizace jejich designu a jejich možné integrace do elektronového mikroskopu. Výzkum také zahrnoval vývoj programů, které se používají na elektronově optický design a jejich integrace do programového prostředí Julia.
|
|
DPLL algorithm and propositional proofs
Hrnčiar, Maroš ; Krajíček, Jan (vedoucí práce) ; Koucký, Michal (oponent)
Dôkazová zložitosť je zaujímavá súčasť matematiky nachádzajúca sa na pomedzí obrovskej oblasti logiky a teórie zložitosti. Skúma aké dôkazové systémy sú potrebné na efektívne dokazovanie rôznych matematických tvrdení. Predmetom tejto práce je spojenie medzi dôkazovými systémami a algoritmami na SAT. Uvidíme, že beh algoritmu na nesplniteľnej formule môže byť nahliadnutý ako výrokový dôkaz jej nesplniteľnosti, čím samotný algoritmus prakticky definuje celý dôkazový systém. Práca je určená najmä čitateľom so záujmom o dôkazovú zložitosť, ale dokáže aj samostatne objasniť princíp rezolúcie, či ponúknuť menej obvyklý pohľad na SAT, no zároveň predpokladá čitateľovu znalosť základov výrokovej logiky, teórie grafov a zložitosti.
|
|
Implementace mandátu mise UNPROFOR v Bosně a Hercegovině v letech 1992-1995
Lalić, Jan ; Tejchman, Miroslav (vedoucí práce) ; Pikal, Kamil (oponent)
Neochota mezinárodního společenství zapojit se do bosenské občanské války v letech 1992- 1995 vojenskou intervencí, vytvořila z mise United Nations Protection Force (UNPROFOR) náhražku rozhodné akce. Absence jakékoliv naděje na dohledné příměří, které by mohly mírové jednotky svojí přítomností podporovat, vedla v první fázi války k vytvoření ryze humanitárního mandátu pro jednotky OSN. Ty měly ve spolupráci s Úřadem vysokého komisaře OSN pro uprchlíky (UNHCR) zajistit chod sarajevského letiště pro humanitární účely a postarat se o bezpečnost UNHCR a jeho konvojů s humanitární pomocí. Práce "Implementace mandátu mise UNPROFOR v Bosně a Hercegovině v letech 1992-1995" se zabývá právě problematikou implementace tohoto čistě humanitárního mandátu. Pomocí deskriptivní analýzy nejdříve vysvětlí motivy, které vedly mezinárodní společenství k nasazení lehce vyzbrojených mírových jednotek s netypickým mandátem do oblasti, která se ukáže být naprosto nevhodnou pro působení mírových sil. Následně prozkoumá samotný průběh implementace a problémy, se kterými se jednotky OSN potýkaly. Cílem práce je dokázat, že mise UNPROFOR nebyla absolutním selháním, za jaké je pokládána, avšak prokáže se neadekvátnost jejího nasazení v daném prostředí a budou představeny příčiny neúspěchů.
|
|
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)
|