|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Alternative Transformations of Grammars
Havel, Martin ; Křivka, Zbyněk (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis provides an alternative algorithm for the removal of erasing rules from E0S grammars. As opposed to the standard way of eliminating erasing rules in most E0S-like grammars, such as context-free grammars, this method does not require predetermination of symbols that derive the empty string. The proposed algorithm is formally verified. In the application chapter of the thesis, the proposed algorithm is implemented, and the applicability of the algorithm to E0S grammars that work in a semi-parallel way is demonstrated. In the conclusion of the thesis, the algorithm is evaluated and two open problems are formulated.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Trestné činy v bankovním sektoru
Havel, Martin ; Jelínek, Jiří (vedoucí práce) ; Vokoun, Rudolf (oponent)
Tato rigorózní práce se zabývá trestnou činností ve vztahu k bankovnímu sektoru. Na zdůrazněném významu bankovnictví pro národní hospodářství je uchopena nejvýznamnější trestná činnost, zde páchaná. Pachatelé pocházejí z těchto okruhů: jednak působící uvnitř bankovního sektoru - akcionáři, funkcionáři a zaměstnanci, druzí tzv. třetí osoby vně bankovního sektoru. Jejich společným cílem je zmocnit se finančních prostředků v bance pro vlastní obohacení. Převážně jde o finanční prostředky vkladatelů. K tomu dochází specifickou trestnou činností. Cílem práce je ukázat stav de lege lata a rámci prevence kriminality ukázat též možnosti de lege ferenda s cílem zamezit kriminalitě a omezit míru škody.
|
|
|
Početnost vrabce domácího (&-lt;i&-gt;Passer domesticus&-lt;/i&-gt;) a dalších druhů synantropních ptáků ve vesnické zástavbě
Havel, Martin ; Zasadil, Petr (vedoucí práce) ; Musil, Petr (oponent)
Tato práce se zabývá analýzou početnosti jedenácti synantropních druhů ptáků. Sčítanými druhy byly vrabec domácí (Passer domesticus), vrabec polní (Passer montanus), hrdlička zahradní (Streptopelia decaocto), zvonek zelený (Carduelis chloris), zvonohlík zahradní (Serinus serinus), rehek domácí (Phoenicurus ochruros), stehlík obecný (Carduelis carduelis), konopka obecná (Carduelis cannabina), konipas bílý (Motacilla alba), pěnkava obecná (Fringilla coelebs) a špaček obecný (Sturnus vulgaris). Práce je zaměřena zejména na vrabce domácího (Passer domesticus), protože početnost tohoto druhu v České republice dlouhodobě klesá. Sběr analyzovaných dat probíhal v letech 2012, 2014 a 2015 v období od dubna do června. Sčítání provádělo deset osob pomocí modifikované zrychlené mapovací metody. Sčítání bylo prováděno ve sto osmdesáti obcích, které se nacházely v osmi krajích České republiky. Podmínkou výběru obcí bylo, aby tyto obce měly méně než 2000 obyvatel. V těchto obcích byly vytyčeny sčítací plochy dvou typů. Sčítací plochy měly tvar čtverce s rozměry 100 x 100 metrů. Ploch prvního typu, které byly umístěny v běžné zástavbě, bylo celkem 229. Plochy druhého typu byly vytyčeny v areálu velkochovu a bylo jich celkem 151. Hlavním cílem práce bylo zjistit, zda má přítomnost velkochovu hospodářských zvířat vliv na početnost sledovaných druhů ptáků, a také určit, které další faktory prostředí početnost ovlivňují. Sledovanými faktory byly typ biotopu (běžná zástavba nebo velkochov), oblast, ve které sčítání probíhalo, vzdálenost od okraje vesnice a vzdálenost od velkochovu, procentuální zastoupení zastavěné plochy, plochy stromů a keřů a bylinného patra. Dále bylo zjišťováno, zda má na početnost v běžné zástavbě vliv přítomnost drůbeže, a také, zda má na početnost ve velkochovech vliv funkčnost (případně nefunkčnost) velkochovu. Bylo prokázáno, že na celkovou početnost všech sledovaných druhů měly signifikantní vliv faktory typ biotopu, procentuální zastoupení zastavěné plochy a plochy stromů a keřů, a také oblast, ve které sčítání probíhalo. V případě vrabce domácího byla početnost ovlivněna stejnými faktory, pouze se nepodařilo prokázat vliv faktoru typ biotopu. Průměrné početnosti z běžné zástavby a z areálů velkochovů se tedy v případě vrabce domácího od sebe signifikantně nelišily. V případě vrabce polního však byla průměrná početnost ve velkochovech signifikantně vyšší než v běžné zástavbě. Podařilo se také prokázat signifikantní vliv faktoru přítomnost drůbeže v běžné zástavbě na celkovou početnost jedinců všech druhů. Funkčnost velkochovu měla signifikantní vliv na celkovou početnost jedinců všech druhů v areálech velkochovů. Tento vliv byl největší v případě vrabce domácího a konipasa bílého, kdy byla v obou případech zaznamenána ve funkčních areálech podstatně vyšší početnost než v areálech nefunkčních.
|
host ::
RSS.