|
|
The Relationships among Members of the Zelenohorské Unit
Černá, Ivana ; Čornej, Petr (advisor) ; Zilynskyj, Bohdan (referee)
Jako téma rigorózní práce jsem si zvolila "Příbuzenské vztahy členů Zelenohorské jednoty", která se ustavila 28. listopadu 1465 na Zelené Hoře u Nepomuku. Touto problematikou jsem se zabývala již ve své diplomové práci, kterou jsem obhájila na katedře dějepisu a didaktiky dějepisu Pedagogické fakulty UK v květnu 2006. Tato práce je rozšířená o nové poznatky získané z dalších pramenů a literatury a některé údaje jsou změněny na základě nově objevených skutečností. Panský odboj, zastřený pod rouškou náboženského boje, proti kališnickému králi Jiřímu z Poděbrad trval až do jeho smrti v březnu 1471. Poděbradovou smrtí se ale situace v Českém království neuklidnila. Novému králi Vladislavu Jagellonskému se katolické panstvo podřídilo až v letech 1478 - 1479 po uzavření dohod mezi Matyášem Korvínem a Vladislavem Jagellonským. Mě ovšem nezajímalo pouze období aktivního odboje katolického panstva proti králi, ale i léta předcházející a zároveň následující, kdy docházelo k uzavírání sňatků mezi členy rodů participujících na vzniku Zelenohorské jednoty. Dá se říci, že jsem se snažila postihnout celé 15. století. Powered by TCPDF (www.tcpdf.org)
|
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
|
|
|
One-Sided Random Context Grammars
Zemek, Petr ; Černá, Ivana (referee) ; Doc. In.g Petr Sosík, Dr. (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce zavádí jednostranné gramatiky s nahodilým kontextem jako řízené gramatiky založené na bezkontextových gramatikách. V těchto gramatikách je ke každému pravidlu přiřazena množina povolujících symbolů a množina zakazujících symbolů a množina pravidel je rozdělena na množinu levých pravidel s nahodilým kontextem a množinu pravých pravidel s nahodilým kontextem . Levým pravidlem s nahodilým kontextem lze přepsat neterminál pokud se všechny povolující symboly vyskytují vlevo od přepisovaného neterminálu a žádný zakazující symbol tam přítomen není. Pravé pravidlo s nahodilým kontextem lze aplikovat analogicky, ale ona kontrola na přítomnost a nepřítomnost symbolů je provedena doprava od přepisovaného neterminálu. Práce je rozdělena na tři části. První část uvádí motivaci za zavedením jednostranných gramatik s nahodilým kontextem a umisťuje materiál pokrytý v této práci do vědeckého kontextu. Poté dává přehled základů teorie formálních jazyků a některých méně známých oblastí, jejichž znalost je nutná pro pochopení studovaného tématu. Druhá část tvoří jádro práce. Formálně definuje jednostranné gramatiky s nahodilým kontextem a studuje je z mnoha pohledů. Mezi studovaná témata patří generativní síla, vztah k jiným typům gramatik, redukce, normální formy, nejlevější derivace, zobecněné a LL verze těchto gramatiky. Třetí část této práce zakončuje diskusi několika poznámkami. Mezi ně patří poznámky týkající se aplikovatelnosti zavedených gramatik v praxi, bibliografie a otevřených problémů.
|
|
|
Changes in gender roles and thein manifestations
Černá, Ivana ; Pauknerová, Daniela (advisor) ; Hubinková, Zuzana (referee)
The main goal of this bachelor thesis is to map situation in families, where man takes a maternity (parental) leave and woman is working. Furthermore, to learn what changes do we notice in comparison to the traditional gender roles in the past, the way that most people imagine them. I find this subject altogether actual, considering, that I myself know some families, where roles and responsibilities in the household care and children nurture are not, as they used to be in the times of our grandparents, when men provided material security and women took care of household and children. In the practical part of my thesis, I used two causuistries and further interviews, in which I found out very interesting opinions of the respondents, even from the point of view where they had their gender roles switched. The results suggest that nowadays, we really can see some shift in gender roles from the traditional view of the society, even though it is still minor. Often it's in families, where woman has higher income, so the roles switch for financial reasons.
|
|
| |
|
|
The effect of landscape context on the restored meadows in the White Carpathians
ČERNÁ, Ivana
Methods suitable for restoration of dry grassland were reviewed. An index of isolation was calculated for each of 34 meadows in the White Carpathians, which were restored by sowing the regional seed mixtures in the course of the past ten years. The relationship between the isolation, the year of regrassing and the number of newly established target species by the spontaneous succesion was studied.
|
|
| |
guest ::
RSS feed.