|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (oponent) ; Vojnar, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (oponent) ; Yamamura,, Akihito (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.
|
|
Optimalizace sledování síťových toků
Žádník, Martin ; Lhotka,, Ladislav (oponent) ; Matoušek, Radomil (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato disertační práce se zabývá optimalizací sledování síťových toků. Sledování síťových toků spočívá ve sledování jejich stavu a je klíčovou úlohou pro řadu síťových aplikací. S každým příchodem paketu je nutné aktualizovat hodnoty stavu, což zahrnuje přístupy do paměti. Vzhledem k vysoké propustnosti linek a obrovskému množství souběžných toků hraje přístup do paměti kritickou roli ve výkonnosti stavového zpracování síťového provozu. Tento problém se řeší různými technikami. Tyto techniky ale ve výsledku vždy požadují, aby nejblíže zpracování provozu byla nasazena paměť s nízkou odezvou, cache toků, schopná vyřídit všechny přístupy. Cache toků má proto omezenou kapacitu a její efektivní správa má zásadní vliv na výkonnost a výsledky zpracování síťového provozu. Vzhledem ke specifikům síťového provozu nemusí být stávající správy vhodné pro správu cache toků. Disertační práce se proto zabývá automatizovaným vývojem správy cache na základě reálného provozu dané sítě. Automatizace vývoje správy cache toků je realizována pomocí genetického algoritmu. Genetický algoritmus vyvíjí nová řešení a hodnotí je simulací nad vzorkem provozu z různých sítí. Navržený postup je ověřen na vývoji správ pro dva problémy. Prvním problémem je vývoj správy, která bude vykazovat celkově nízký počet výpadků stavů z cache toků. Druhým problémem je vývoj správy, která bude vykazovat velmi nízký počet výpadků u velkých toků. Optimalizace zakódování správy a experimenty s parametry genetického algoritmu ukázují, že je možné nalézt správy cache toků, které jsou optimalizované pro specifika daného nasazení. Nově vyvinuté správy poskytují lepší výsledky než ostatní testované správy. Z hlediska snížení celkového počtu výpadků je vyvinuta správa, která snižuje počet výpadků na konkrétní datové sadě až o deset procent vůči nejlepší porovnávané správě. Z pohledu snížení počtu výpadků u velkých toků je dosaženo vyvinutou správou až dvojnásobného snížení výpadků. Většina velkých toků (více než 90%) nezaznamenala při použití vyvinuté správy dokonce ani jeden výpadek. Rovněž během záplav nových toků, které se v síťovém provozu vyskytují v souvislosti se skenováním sítí a útoky, se ukazují velmi dobré vlastnosti vyvinuté správy. V rámci práce je rovněž navrženo rozšíření správy o využití doplňkové informace ze záhlaví příchozích paketů. Výsledky ukazují, že kombinací této informace lze počet výpadků u správ dále snižovat.
|
|
Čerpadlo s difuzorem s použitím stochastických lopatek (oběžné kolo i difuzor)
Dobšáková, Lenka ; Melichar, Jan (oponent) ; Veselý, Jindřich (oponent) ; Haluza, Miloslav (vedoucí práce)
Tato dizertační práce se zabývá studiem nerovnoměrné lopatkové mříže u odstředivých čerpadel. Vliv nerovnoměrné lopatkové mříže je zkoumána u oběžného i rozváděcího kola. Nerovnoměrné lopatkování kol čerpadla je v této práci zkoumáno z hlediska vlivu na účinnostní charakteristiku. Myšlenkou použití nerovnoměrného lopatkování je získání ploché účinnostní charakteristiky. Odstředivé čerpadlo by pak mohlo být používáno na větším rozsahu výkonů při dosažení dostatečně velké účinnosti. Práce je založena na experimentální měření a numerické simulaci nerovnoměrných hydraulických prvků čerpadla. Nerovnoměrné oběžné kolo a rozvaděč byli pro tento výzkum nově navrženy. Pro měření bylo v rámci této práce potřeba navrhnout a sestavit novou měřící trať malých ponorných čerpadel. Měřeny byly různé sestavy čerpadla s kombinacemi běžných návrhů hydraulik na jeden pracovní bod a hydraulik s nerovnoměrnou lopatkovou mříží. Všechna měření byla vyhodnocena a byly získány charakteristiky účinnosti, dopravní výšky a příkonu pro každou měřenou kombinaci. Část sestav měřených experimentálně byla také numericky vypočtena pomocí programu Ansys Fluent. Z numerických výpočtů byla sbírána data potřebná pro vyhodnocení charakteristiky účinnosti a měrné energie pro každou řešenou sestavu. Teoretické úvahy se týkají vlivu nerovnoměrné mříže u rozvaděče a vzniká tak doporučení, jak by bylo možné významně snížit ztráty v kanálech. Bylo také provedeno teoretické odvození způsobu, jak získat plochou charakteristiku účinnosti oběžného kola.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
Česká republika, jako signatář Úmluvy o právech dítěte, svěřila výkon státní správy na úseku péče o nezletilé děti obecním úřadům obcí s rozšířenou působností, kde ochranu práv a oprávněných zájmů nezletilých dětí vykonávají orgány sociálně právní ochrany dětí (dále jen OSPOD), které jsou začleněny do systému výkonu státní správy v územním členění tak, aby byla zajištěna komplexní péče o nezletilé děti v rozsahu stanoveném zákonem o sociálně právní ochraně dětí. Postavení a úloha OSPOD, který je pověřen výkonem státní správy na úseku ochrany nezletilých dětí, jsou upraveny zák. č. 359/1999 Sb., o sociálně právní ochraně dětí, v platném znění. Stejně důležité je zakotvení postavení lidí pracujících na těchto úřadech. Z hlediska odbornosti jsou na ně kladeny vysoké nároky z hlediska znalostního profilu zejména z oboru práva. Jedná se o velice náročnou práci, která klade vysoké nároky na osobnostní profil zaměstnance. ČR provedla v posledních třech letech rozsáhlé zásahy do právní úpravy problematiky sociálně právní ochrany dětí, kde došlo k posílení ochrany práv nezletilých dětí a stanovení nových nástrojů k jejich ochraně. Přijetím nové právní úpravy rodinného práva, které je komplexně upraveno v zák. č. 89/2012 Sb., občanském zákoníku, následovala nová právní úprava procesních předpisů spojených s ochranou práv nezletilých dětí, kde vedle zák. č. 99/1963, občanský soudní řád platí také zák. č. 292/2013 Sb., o zvláštních řízeních soudních. Rozhodování o nezletilých dětech stát svěřil převážně do pravomoci soudů, které jmenují místně příslušný OSPOD opatrovníkem k zastupování zájmů nezletilých dětí. Na základě provedeného rozboru základních pojmů bylo cílem zjistit názory vybraných vedoucích pracovníků OSPOD a soudců okresních soudů na vydefinované problémy vyskytující se v postupech činnosti OSPOD a soudů při ochraně zájmu nezletilých dětí. Ve výzkumné části práce byly rozborem kazuistik vytipovány problémy v činnosti OSPOD. Z návrhů soudců i vedoucích pracovníků OSPOD vyplynula nezbytnost sjednocení místní příslušnosti. Soudy navrhují sjednocení dle místa, kde se nezletilé dítě zdržuje; OSPOD dle místa trvalého pobytu. Všech 10 oslovených vedoucích pracovníků OSPOD označilo za problém dožádání, kde tento institut není zahrnut do hodnocení výkonů, nelze jej odmítnout. Podjatost činí problémy v různých fázích řízení - je zde patrný rozdílný přístup soudů k řešení dané problematiky (některé vznesenou námitku podjatosti u soudu řeší a jiní nikoliv) a pro pracovníky OSPOD je obtížné odhadnout - jak se zachovat, je-li vůči nim námitka podjatosti vznesena (z tohoto důvodu bylo téma "podjatosti zpracováno komplexně včetně výkladu právního postupu pro pracovníky OSPOD). Vzdělávání pracovníků OSPOD je zákonem stanovenou povinností. Ne všem OSPOD se daří zajistit školení v požadovaném rozsahu - a to z finančních důvodů (průměrné náklady na školení na jednoho zaměstnance je od 9167,-- do 13400 Kč ročně - tyto náklady odpovídají cca 6 dnům školení). Pracovní vytíženost způsobená nedostatečným počtem zaměstnanců OSPOD neumožňuje absolvovat tato povinná školení. V rámci zkoumání "účasti kolizního opatrovníka při jednání u soudu" bylo zjištěno - nepravidelná účast kolizního opatrovníka u soudu (neúčast při odvolacím řízení); nedostatek zkušeností pracovníků OSPOD v této oblasti; neúplné zprávy z šetření v rodině, které jsou určené pro soud. Na základě vyhodnocení rozhovorů vyplynuly návrhy na zlepšení organizace školení OSPOD, na základě povedeného komplexního rozboru řešení problematiky místní příslušnosti bylo doporučeno řešení samostatné evidence dožádání a finanční kompenzace činnosti OSPOD při dožádání provedení zastupování nezletilých u soudu, vypracování návrhů předběžných opatření, návrh možného řešení začlenění OSPOD v jiné organizační struktuře.
|
|
Pracují v českých knihovnách digitální kurátoři?
Římanová, Radka ; Melichar, Marek
K rozvoji českých digitálních repozitářů se váže i potřeba nové české terminologie. Jedním z nových termínů je název pracovní pozice, specializace, „digitální kurátor“. Tento termín označuje specialistu, který je odpovědný za sbírku digitálních objektů. V rámci dostupné literatury se v kompetenčním modelu digitálního kurátorství snoubí technické, organizační i komunikační/marketingové dovednosti a znalosti. Z hlediska odborné přípravy se předpokládají znalosti z informatiky, ale i informační vědy a knihovnictví. Průzkum mezi několika správci českých digitálních knihoven hledá odpověď na otázku, jak lze profesně označit tuto skupinu zaměstnanců knihoven vzhledem k tomu, jaké činnosti tito lidé reálně vykonávají – digitální kurátoři, správci digitálních knihoven nebo digitální knihovníci? Význam označení pracovní pozice má pevné vazby nejen do systému studijních programů, ale i do oblasti managementu institucí a koordinovaného systému odměňování zaměstnanců knihoven, akademických a výzkumných institucí.
Plný text: idr-1041_3 -  PDF; idr-1041_4 - PDF
Prezentace: idr-1041_1 - PDF; idr-1041_2 - PDF
Videozáznam: idr-1041_5 -  MP4
|
|
Hra jako prostředek učení v hodinách čtení a literární výchovy ve 2. a 3. ročníku ZŠ
NÁPRAVNÍKOVÁ, Veronika
Diplomová práce se bude zabývat uplatněním tvořivých metod a forem práce v hodinách čtení a literární výchovy ve 2. a 3. ročníku ZŠ. Těžištěm práce bude dobrá orientace v současné odborné literatuře, v alternativních učebnicích a metodických příručkách. Práce bude rozdělena na část teoretickou a část praktickou. Teoretická část práce představí vyučování čtení z pedagogicko-psychologického pohledu, zaměří se na aspekty didakticko-metodické, na otázky intenzifikace vyučování v hodinách čtení a literární výchovy - možnosti modernizace, optimalizace, racionalizace a efektivnosti. V praktické části práce budou uvedeny zajímavé metody a formy práce, nové netradiční modelové přístupy a efektivní metodická řízení vyučovacího procesu. Práce bude obohacena přitažlivými postupy při procvičování a prohlubování poznatků. Praktická část práce tak nabídne sborník hravých forem práce využitelných v hodinách čtení a literární výchovy. Některé hry budou ověřeny v praxi.
|
|
Nové postupy biomonitoringu cizorodých látek ve vodním prostředí
ČERVENÝ, Daniel
V rámci disertační práce byly studovány a hodnoceny různé přístupy biomonitoringu. Metoda hodnocení zdravotních rizik byla v minulosti dobře popsána a používá se k hodnocení složek potravy v lidské výživě. V rámci této práce byla metoda aplikována na hodnocení rizik spojených s konzumací masa volně žijících ryb ve významných rybářských revírech v České republice. Tato studie byla zaměřena na skupinu populace věnující se sportovnímu rybolovu, která často ryby z volných vod konzumuje. Z tohoto důvodu nebyly výsledky práce publikovány pouze ve vědeckém časopise, ale také byly zájemcům z řad rybářů distribuovány ve formě brožury prostřednictvím Českého rybářského svazu. Zdravotní rizika spojená s konzumací ryb z volných vod závisí na druhu ryby a lokalitě. Zatímco zcela bez rizik je na všech sledovaných lokalitách konzumace masa kapra obecného (Cyprinus carpio), častou konzumaci většího množství masa dravých ryb nelze na některých lokalitách doporučit. Použití pasivních vzorkovačů se stává v posledních dvou desetiletích stále atraktivnější. Vzhledem k tomu, že tyto zařízení dokáží napodobit absorpci kontaminantů, která probíhá v živých organismech, mají v rutinních programech monitorujících výskyt cizorodých látek značný potenciál, neboť jsou schopné nahradit ryby jako bioindikátory znečištění. V rámci naší práce byla tato teorie potvrzena v případě PFASs, kdy koncentrace těchto polutantů byly na vybraných lokalitách porovnány v tkáních ryb a v extraktech z pasivních vzorkovačů. V porovnání s živými organizmy neprobíhá v pasivních vzorkovačích metabolická přeměna kontaminantů vyskytujících se ve vodním prostředí, a proto výsledky analýz lépe odpovídají reálné situaci na dané lokalitě. Použití pasivních vzorkovačů navíc naplňuje mezinárodně uznávané principy Replacement, Reduction, Refinement (3R). Dalším slibným přístupem se jeví použití juvenilních (tohoročních) ryb jako bioindikátorů znečištění. Směsné vícedruhové vzorky homogenátu ryb této věkové kategorie byly v rámci práce vyhodnoceny jako lepší indikátor širokého spektra polutantů, než dospělé ryby jednoho druhu odlovené ve stejné lokalitě. Vzhledem k tomu, že homogenát tvořený celými těly vzorkovaných jedinců obsahuje veškeré vnitřní orgány, je možné v těchto vzorcích detekovat širší spektrum kontaminantů, než ve svalovině dospělců. Kromě nižších hodnot limitů detekce a kvantifikace přináší tato metoda značné praktické a ekonomické výhody. Využití juvenilních ryb částečně naplňuje principy 3R, protože odlovem této věkové kategorie dochází k menšímu ovlivnění rybích populací, než při využití ryb v reprodukčním věku. V případě rtuti, která je limitujícím kontaminantem pro konzumaci ryb z volných vod v ČR, je možné pro posouzení kontaminace vodního prostředí použít metodu založenou na analýze ústřižků ploutví, která nevyžaduje usmrcení vzorkovaných jedinců. Kromě monitoringu výskytu rtuti na monitorovaných lokalitách, je možné tento přístup využít také k odhadu koncentrace rtuti ve svalovině ryb. Rozdíl mezi skutečnou a odhadnutou průměrnou koncentrací rtuti ve svalovině ryb činil při použití námi optimalizované metody na většině posuzovaných lokalit méně než 10%. Přesto, že bentos představuje významný článek potravního řetězce ve vodním prostředí, informace ohledně kontaminace cizorodými látkami jsou značně omezené. V další studii zařazené do této práce se podařilo poprvé prokázat kumulaci některých léčiv v bentických organismech, které jsou významnou složkou potravních řetězců ve vodním prostředí. Ačkoliv léčiva jsou obecně považována za látky, které se nekumulují v organismech, naše studie prokázala, že u některá farmaka mají bioakumulační potenciál a tedy existuje i reálné riziko kontaminace vyšších organismů (ryb) prostřednictvím přijímané potravy.
|
|
Inovativní metody v chovu a reprodukci candáta obecného (Sander lucioperca)
BLECHA, Miroslav
Celou disertační práci dohromady tvoří 10 kapitol, které jsou popsány na 146 stranách. Kapitoly 2-9 jsou specifickými částmi této práce a popisují praktické aspekty reprodukční biologie a chovu candáta. V kapitole 2 je popsán vliv různě dlouhé chladové periody na kvalitativní a kvantitativní ukazatele spermatu candáta. Tyto výsledky mohou zásadně napomoci k optimalizaci managementu generačních mlíčáků candáta za účelem získání co možná nejkvalitnějšího spermatu v průběhu sezonního i mimosezonního výtěru. V kapitole 3 jsou popsány výhody hormonálního ošetření obou pohlaví při poloumělém výtěru candáta pro efektivní produkci larev. V kapitole 4 je popsáno použití roztoku alkalázi pro eliminaci lepivosti jiker candáta. Kapitola 5 popisuje vliv přezrání jiker candáta na životaschopnost a oplození schopnost jiker, výskyt deformací a ploidních anomálií u larev candáta. V kapitole 6 jsou prezentovány výsledky první úspěšné triploidizace candáta za použití teplotního šoku a produkce kompletně triploidní populace candáta. Kapitola 7 popisuje vliv ošetření vodní hladiny na přežití, naplnění plynového měchýře a růst larev candáta s cílem optimalizovat jejich intenzivní chov. Kapitoly 8 a 9 popisují metody chovu a adaptace juvenilních candátů v kombinaci rybniční a intenzivní akvakultury či intenzivní a rybniční akvakultury jakožto nové a efektivní metody produkce candátů pro jejich následný odchov. V této disertační práci jsou celkem diskutovány čtyři odborné články, jedna metodika, jeden článek akceptovaný k publikování a dva manuskripty připravené k publikování.
|
|
Veřejné zakázky na dodávky
Holzäpfelová, Vlasta ; Civínová, Denisa (vedoucí práce)
Diplomová práce se zabývá tématikou veřejných zakázek na dodávky v ČR od počátků až po současnost z hlediska právně ekonomického vývoje. Současný stav je analyzován na základě zákona o veřejných zakázkách, v souvislosti s monitoringem přípravy a přijetím nové legislativní úpravy a dalších souvisejících právních předpisů. Práce předkládá vyhodnocení problematiky při vytváření zadávacích dokumentací na dodávky a posouzení plnění z rámcových smluv z hlediska dodržování zásad stanovených právním předpisem o finanční kontrole ve veřejné správě. Téma se v aplikační části dále profiluje na veřejné zakázky se zaměřením na rámcové dohody, jejichž předmětem je pořizování opakujících se dodávek. Námět diplomové práce je doplněn o praktické zkušenosti z oblasti zadávání veřejných zakázek na základě zadavatelem obecně nastavených podmínek a platně uzavřených rámcových smluv, přináší analýzu pozitivních a negativních stránek tohoto způsobu zadávání veřejných zakázek včetně navrhovaných řešení. Praktická část diplomové práce je zpracována na základě komparace konkrétní zadávací dokumentace s platnou legislativou, kvalitativního výzkumu a analýzy sekundárních dat ze zadávacích dokumentací k veřejným zakázkám na dodávky a platně uzavřených rámcových smluv vybranou organizací v letech 2012 - 2016.
|
host ::
