|
|
Úspěšnost dokončených peacekeepingových misí OSN v Africe
Vlasáková, Kateřina ; Karlas, Jan (vedoucí práce) ; Vlček, Václav (oponent)
Diplomová práce se zabývá úspěšností dokončených peacekeepingových misí OSN v Africe, , které byly vyslány během let 2000 až do současnosti a zároveň vyhovují autorkou nastaveným kritériím pro výběr misí. Nejprve práce krátce shrnuje vývoj mírových operací a jejich členění a následně se, v teoreticko-metodologické části, zabývá rozborem odborné literatury, definicemi vybraných proměnných (ne)úspěšnosti misí a kritérii výběru mírových operací coby případových studií práce. První výzkumná otázka se tedy bude zabývat závislou proměnnou - úspěšnosti mírové operace. Druhá výzkumná otázka bude zodpovězena prostřednictvím výzkumu skupiny nezávislých proměnných (faktorů), které se zabývají dílčími aspekty úspěchu či neúspěchu mise. Závislá proměnná bude zkoumána na základě reportů generálních tajemníků týkajících se konkrétní mírové operace. Nejprve bude zjištěno, zdali byla mírová operace úspěšná a posléze se bude diplomová práce zabývat jednotlivými nezávislými proměnnými (ne)úspěchu mírových operací. Na základě vytyčených kritérií pro výběr misí bylo zvoleno 5 mírových operací OSN, a to v Etiopii a Eritree (UNMEE), v Pobřeží Slonoviny (MINUCI, UNOCI), v Libérii (UNMIL) a v Burundi (ONUB).
|
|
|
Třídy Booleovských formulí s efektivně řešitelným SATem.
Vlček, Václav
Práce se zabývá třídami Booleovských formulí, pro které je problém splnitelnosti (SAT) řešitelný v polynomiálním čase. Zkoumá chování těchto tříd vzhledem k základním operacím s formulemi (komplementaci literálu, komplementaci proměnné, odebrání literálu nebo klauzule, částečné dosazení a spojení formulí). Dále se zabývá problémem rozpoznávání náležení formule do dané třídy, rozpoznávání splnitelnosti dané formule a vzájemnými vztahy těchto tříd vzhledem k inkluzi.
|
|
|
U. S. Presidential War Rhetoric - QCA
Kopečný, Ondřej ; Ludvík, Jan (vedoucí práce) ; Vlček, Václav (oponent)
Spojené státy americkév yšlyzrozkláda jícíhosebi polárníhouspořádání Studenéválkyjakojedinásupervelmoc. To USA umožnilo konataktivníkrokyknapl něnísvýchzahraničně -politickýchcílůbez většíhoodporu .Ačje v americkém hodnotovém systému válka obecně vnímána jako negativ ní praxe , administrativy amerických prezidentůjsouschopnyprosváválečná taženízískatpodporuveřejnosti. Uživání rétoriky je vnímánojako zásadní pro proces přesvědčováníveřejnostiolegitimitěanutnostiválky.Diplomovápráceprotocílína zkoumáníjazyka, který američtí pre zidenti už ívají při ospravedlňování vojenských misí ve svých projevech. Pro každý ze zkoumaných konfliktů byl vybrán jeden projev. Celkem tak bylo vybráno osm projevů, čtyři pronesené republíkánskými prezidenty ačtyři pronesenéprezidenty zřad Demokratů. Zvolenýmčas ovýmobdobímpakbyla doba mezi roky 1989 a 2011. Jako metoda byla zvolenakvalitativníobsahováanalýza,kteráposloužilakextrakci důkazůveforměpředdefinovanýchkódů.Prác e vprvnířadě vážíužitírámcea deklarativníplněníkritériípro spravedlivou válku jako způsob legitimizace konfliktů americkými prezidenty. Práce dále zkoumá užítí polarizujících obrazů s ohledem na lingvistickou produkci. Následně je zhodnocen vývoj válečné rétoriky v časovém ohledu, tak jako role stranické příslušnosti při užívání vybraných kategorií...
|
|
|
Self-excited oscillation properties of the profile NACA0015 in subsonic flow
Zolotarev, Igor ; Vlček, Václav ; Kozánek, Jan
Self-excited oscillations of the profile NACA0015 in subsonic flow were realized in the wind tunnel. The plunge support had the same elasticity for all experiments, the pitch support had seven different elasticity parameters. During our experiments different types of selfexcited vibration (flutter, stall flutter) were observed. Range of Mach numbers was M = 0.08–0.45, corresponding range of Reynolds numbers is Re = (1–5)·105, when the chord length is used as the characteristic dimension of the profile.\n
|
|
| |
|
|
Some experimentally determined properties of a profile in case of self-excited oscillations in subsonic flow
Vlček, Václav ; Zolotarev, Igor ; Kozánek, Jan ; Šidlof, Petr ; Štěpán, M.
In the wind tunnel of the Institute of Thermomechanics of the AS CR,v .v. i., experiments were realized with the profile NACA0015 in the presence of the self-excited oscillation. The oscillation of the profile with pitch and plunge degrees of freedom was excited by the subsonic air flow. The plunge support had the same elasticity for all experiments, the pitch support had seven different values of elasticity. Within experiments different types of self-excited vibration (flutter, stall flutter, deep stall flutter) were realized. Range of Mach numbers were M=0.08–0.45, when the chord length is used as the characteristic dimension of the profile. The frequency and amplitude characteristics of the oscillating profile were experimentally determined.\n
|
|
|
Transformace švédské zahraniční politiky na přelomu 80. a 90. let
Vlček, Václav ; Brunclík, Miloš (vedoucí práce) ; Riegl, Martin (oponent)
Tématem této bakalářské práce je transformace švédské zahraniční a bezpečnostní politiky na přelomu 80. a 90. let 20. století. Hlavním cílem studie je prozkoumat vliv geopolitických změn na tuto transformaci a odhalit další příčiny (zejména ty vnitřní), jež jsou často přehlíženy právě na úkor konce studené války. Speciální pozornost je také věnována švédské neutralitě a jejímu vývoji. Jedná se o jednopřípadovou studii. Z teoretického hlediska vychází práce z analýzy zahraniční politiky. Rozlišuje několik hladin zkoumání - vnější (systémové) a vnitřní (veřejnost, společenské skupiny, vláda, konkrétní jednotlivci). K těmto úrovním přistupuje individuálně, aplikuje rozlišné teorie a až na konci je vyvinuta snaha o určitou syntézu veškerých poznatků. Neutralita je po teoretické stránce uchopena koncepty mezinárodního práva i mezinárodních vztahů. Práce dochází k závěrům, že hlavním posunem švédské zahraniční a bezpečnostní politiky bylo přistoupení k EU a přehodnocení dosavadní politiky neangažovanosti. Hlavní příčinou transformace byl konec studené války. Jako vedlejší, avšak stále významné, vlivy lze určit ekonomickou krizi ve Švédsku, nástup nesocialistické vlády či přesvědčení jejího předsedy - Carla Bildta. Vůči změnám se naopak vymezovala značná část švédské veřejnosti a některé politické strany.
|
|
|
Třídy Booleovských formulí s efektivně řešitelným SATem.
Vlček, Václav
Práce se zabývá třídami Booleovských formulí, pro které je problém splnitelnosti (SAT) řešitelný v polynomiálním čase. Zkoumá chování těchto tříd vzhledem k základním operacím s formulemi (komplementaci literálu, komplementaci proměnné, odebrání literálu nebo klauzule, částečné dosazení a spojení formulí). Dále se zabývá problémem rozpoznávání náležení formule do dané třídy, rozpoznávání splnitelnosti dané formule a vzájemnými vztahy těchto tříd vzhledem k inkluzi.
|
|
|
Classes of Boolean Formulae with Effectively Solvable SAT
Vlček, Václav ; Čepek, Ondřej (vedoucí práce) ; Kullmann, Oliver (oponent) ; Savický, Petr (oponent)
Práce studuje třídy booleovkských formulí pro které je problém splnitelnosti řešitelný v polynomiálním čase. Zaměřuje se na třídy založené jednotkové rezoluci; popisuje třídy unit refutation complete formulí, unit propagation complete formulí a specialně se zaměřuje na třídu SLUR. Shrnuje její vlastnosti a poslední výsledky dosažené v této oblasti. Hlavním výsledkem je coNP-úplnost testování zda daná formule patří do třídy SLUR. V závěru je třída SLUR rozvinuta do několika různých hierarchií a jsou studovány jejich vlastnosti a vzájemný vztah vzhledem k inkluzi. Powered by TCPDF (www.tcpdf.org)
|
|
|
Třídy Booleovských formulí s efektivně řešitelným SATem.
Vlček, Václav ; Kučera, Petr (oponent) ; Čepek, Ondřej (vedoucí práce)
Práce se zabývá třídami Booleovských formulí, pro které je problém splnitelnosti (SAT) řešitelný v polynomiálním čase. Zkoumá chování těchto tříd vzhledem k základním operacím s formulemi (komplementaci literálu, komplementaci proměnné, odebrání literálu nebo klauzule, částečné dosazení a spojení formulí). Dále se zabývá problémem rozpoznávání náležení formule do dané třídy, rozpoznávání splnitelnosti dané formule a vzájemnými vztahy těchto tříd vzhledem k inkluzi.
|
host ::
RSS.