|
|
Optimální rozvrhovací systém pro outdoorové aktivity
Rykala, Kryštof ; Matyáš, Jiří (oponent) ; Češka, Milan (vedoucí práce)
Práce se zabývá technologiemi a přístupy pro vytvoření informačního systému, jehož součástí a motivací je automatické plánování rozvrhu aktivit. Za pomocí smíšeného celočíselného lineárního programování je definován model optimalizačního problému plánování se zdroji a omezeními. Součástí práce jsou programy klientské, serverové a plánovací části, které dohromady tvoří systém pro správu outdoorového centra s podporou automatického plánování.
|
|
|
Generování protipříkladů při analýze Markovových modelů
Molek, Martin ; Matyáš, Jiří (oponent) ; Češka, Milan (vedoucí práce)
Tato práce se zabývá generováním protipříkladů v kontextu verifikace pravděpodobnostních systémů. Protipříklady jsou generovány nad Markovovými modely (přesněji DTMC). Specifikace vlastností modelu jsou zadávány pomocí logiky PCTL, která je v této práci popsána. Pro generování protipříkladů byly použity dva různé algoritmy (Best-first search a Recursive Enumration Algorithm). Práce obsahuje popis implementace algoritmů do verifikačního nástroje STORM. Výsledky experimentů ukazují, že REA je schopen pracovat s modely obsahující miliony stavů.
|
|
|
Využití přibližné ekvivalence při návrhu přibližných obvodů
Matyáš, Jiří ; Lengál, Ondřej (oponent) ; Češka, Milan (vedoucí práce)
Tato práce je zaměřena na využití formálně verifikačních technik pro návrh funkčních aproximací kombinačních obvodů. Jsou zde důkladně prostudovány existující formální přístupy pro zkoumání přibližné ekvivalence a jejich použití při vývoji aproximovaných obvodů. V rámci této práce je navržena nová metoda, která integruje vybrané formální techniky do Kartézského genetického programování. Klíčovým bodem nového přístupu je využití prohledávací strategie, která vede evoluci směrem k řešením, která lze rychleji verifikovat. Navržený algoritmus byl implementován v rámci syntézního nástroje ABC. Jeho výkonnost byla otestována na vývoji funkčních aproximací násobiček a sčítaček s šířkami vstupních operandů 32, respektive 128 bitů. Dosažené výsledky ukazují výjimečnou škálovatelnost navržené metody.
|
|
|
Ochrana krajiny v právu
Matyáš, Jiří ; Stejskal, Vojtěch (oponent) ; Humlíčková, Petra (oponent)
Ochrana krajiny v právu Diplomová práce analyzuje problematiku právní ochrany krajiny a popisuje základní právní instituty mezinárodního, evropského a českého práva, které chrání krajinu. Práce je rozdělena do čtyř kapitol. Úvodní kapitola definuje termín krajina a jeho vědecký a právní význam a představuje nejzávažnější problémy krajiny v přítomnosti. Druhá kapitola charakterizuje hmotné právo na mezinárodní úrovni a podává analýzu mezinárodních smluv vztahujících se k ochraně krajiny. Třetí kapitola zkoumá právní úpravu ochrany krajiny v Evropské unii. Čtvrtá kapitola přináší nástin české právní úpravy, především právních institutů upravených stavebním zákonem a zákonem o ochraně přírody a krajiny.
|
|
|
Zjišťování mokrého sněhu z radarových dat
Matyáš, Jiří ; Kolář, Jan (vedoucí práce) ; Součková, Jana (oponent)
Zjišťování mokrého sněhu z radarových dat Abstrakt Tato práce se zaměřuje na existující metodu pro získávání informací o sněhové pokrývce z družicových radarových dat. Zkoumaná metoda byla navržena Malnesem a Guneriussenem (2002) a je schopná provést subpixelovou klasifikaci mokrého sněhu, a také klasifikovat pixely se suchým sněhem. Klasifikace je založená na detekci změn, takže je potřeba referenční snímek bez sněhové pokrývky. V průběhu zpracování byly v algoritmu objeveny některé nedostatky, které jsou v práci diskutovány, a zároveň je navrženo možné řešení. Navrhnul jsem také modifikaci tohoto algoritmu, která by mohla přispět ke zlepšení jeho přesnosti. Modifikovaný algoritmus jsem pak otestoval. Klíčová slova: SAR, sněhová pokrývka, dálkový průzkum Země, mokrý sníh
|
|
|
Ochrana krajiny v právu
Matyáš, Jiří ; Humlíčková, Petra (vedoucí práce) ; Stejskal, Vojtěch (oponent)
Ochrana krajiny v právu Diplomová práce analyzuje problematiku právní ochrany krajiny a popisuje základní právní instituty mezinárodního, evropského a českého práva, které chrání krajinu. Práce je rozdělena do čtyř kapitol. Úvodní kapitola definuje termín krajina a jeho vědecký a právní význam a představuje nejzávažnější problémy krajiny v přítomnosti. Druhá kapitola charakterizuje hmotné právo na mezinárodní úrovni a podává analýzu mezinárodních smluv vztahujících se k ochraně krajiny. Třetí kapitola zkoumá právní úpravu ochrany krajiny v Evropské unii. Čtvrtá kapitola přináší nástin české právní úpravy, především právních institutů upravených stavebním zákonem a zákonem o ochraně přírody a krajiny.
|
|
|
Využití dálkového průzkumu Země pro určování vodní hodnoty sněhy
Matyáš, Jiří ; Kolář, Jan (vedoucí práce) ; Kopačková, Veronika (oponent)
Zjišťování mokrého sněhu z radarových dat Abstrakt Tato práce se zaměřuje na existující metodu pro získávání informací o sněhové pokrývce z družicových radarových dat. Zkoumaná metoda byla navržena Malnesem a Guneriussenem (2002) a je schopná provést subpixelovou klasifikaci mokrého sněhu, a také klasifikovat pixely se suchým sněhem. Klasifikace je založená na detekci změn, takže je potřeba referenční snímek bez sněhové pokrývky. V průběhu zpracování byly v algoritmu objeveny některé nedostatky, které jsou v práci diskutovány, a zároveň je navrženo možné řešení. Protože tato metoda není schopná klasifikovat pixely ležící na vodních plochách, navrhnul jsem algoritmus, který klasifikuje sněhovou pokrývka na vodních plochách. Zároveň byl navržen možný způsob vylepšení celkové přesnosti klasifikace s využitím optických dat. Klíčová slova: SAR, sněhová pokrývka, dálkový průzkum Země, mokrý sníh
|
|
|
Online plánování nejvýhodnější trasy s využitím open-source aplikací
Matyáš, Jiří ; Schneider, Michal (vedoucí práce) ; Brůha, Lukáš (oponent)
Cílem této práce je vytvoření webové mapové aplikace pro plánování nejvýhodnější trasy při využití open-source nástrojů. Na začátku práce jsou použité nástroje stručně představeny a následuje popis postupu tvorby samotné aplikace. Práce popisuje způsob získání, úpravy i uložení dat použitých pro hledání trasy. Popsán je i postup použitý při tvorbě samotné webové mapové aplikace. Pro uložení dat byl použit databázový systém PostgreSQL a jeho extenze PostGIS. Vyhledání trasy zajišťuje knihovna pgRouting a vizualizace výsedků nad mapou OpenStreetMap je realizována pomocí knihovny OpenLayers. Při tvorbě aplikace byly použity skriptovací jazyky PHP a Javascript.
|
|
|
Emancipační hnutí českého dělnictva na Lounsku v letech 1868-1938. Přispěvek k problematice výzkumu kulturního života dolních vrstev společnosti
Matyáš, Jiří ; Štaif, Jiří (oponent) ; Lacina, Vlastislav (oponent)
Předkládaná rigorózní práce Je částečně přepracovanou diplomovou prací Spolkový, kulturní a politický život českého dělnictva na Lounsku v letech 1868 - 1938, kterou jsem úspěšně obhájil na Ústavu hospodářských a sociálních dějin FF UK v Praze v roce 2003.1 Rigorózní práce se zabývá kulturním vývojem dělnictva na Lounsku v letech 1868- 1938 a její těžiště leží ve výzkumu spolkového života českého dělnictva. Svou práci chápu především jako příspěvek ke sledování emancipačních tendencí dolních vrstev společnosti (pojmy "dělnictvo" a "dolní vrstvy společnosti" v názvu práce ještě dále upřesním, níže - v podkapitole II.3. - bude rozvedeno, které skupiny obyvatel jsou konkrétně pod poJmem dělnictvo myšleny ve specifických podmínkách lounského okresu). Emancipační hnutí se ovšem nedotýká jen kultury, ale přirozeně také politiky, rovněž je nutné si alespoň v základech všímat různých ideových názorů a ideového vývoje dělníků a dolních vrstev vůbec. Ideový vývoj dělnictva však nebude stěžejním tématem této práce, neboť se chci z větší části odlišit od toho způsobu výzkumu dolních vrstev, který byl pro dřívější historiografii z větší části charakteristický - od důrazu na popis hospodářských a sociálních bojů a vývoje politických institucí dělnictva. Naopak je mi sympatičtější ta část tradice české historiografie...
|
|
|
Překladač jazyka VHDL pro potřeby formální verifikace
Matyáš, Jiří ; Smrčka, Aleš (oponent) ; Charvát, Lukáš (vedoucí práce)
Cílem této bakalářské práce je navrhnout a implementovat překladač, který umožňuje převod popisu hardware z jazyka VHDL do grafové reprezentace v jazyce VAM (Variable Assignment Language). Program je určen pro potřeby formální verifikace výzkumné skupiny VeriFIT Fakulty informačních technologií VUT Brno. Důvodem vypracování této práce je poskytnutí možnosti formálně verifikovat návrh hardware s využitím vysokoúrovňových návrhových jazyků, jakým je například jazyk VHDL.
|
host ::
RSS.