|
|
Kongruence pro stromové automaty
Žufan, Petr ; Janků, Petr (oponent) ; Holík, Lukáš (vedoucí práce)
Tento článek pojednává o testování ekvivalence stromových automatů (TA). Přináší nový algoritmus vycházející z algoritmu Bonchiho a Pouse pro slovní automaty. Tento nový algoritmus spojuje bisimulaci s determinizací za běhu. Pomocí optimalizace založené na kongruenčním uzávěru se snaží vyhýbat extrémnímu zvětšování stavového prostoru. Z tohoto hlediska je lepší než jiné metody pro tento problém.
|
|
|
Využití evolučních algoritmů v kvantovém počítání
Žufan, Petr ; Mrázek, Vojtěch (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce implementuje evoluční systém pro nelezení kvantového operátoru ve formě unitární matice. Cílem je ověření různých přístupů reprezentace kandidátních řešení a nastavení evolučního algoritmu. V práci byly použity dva evoluční algoritmy: genetický algoritmus a evoluční strategie. Dále je zde představen způsob generovaní unitární matice založený na QR dekompozici, který je pro tuto úlohu použit poprvé. Ten je v některých směrech lepší než předešlé. Na závěr je na experimentech ukázáno srovnání všech použitých technik.
|
|
|
Využití evolučních algoritmů v kvantovém počítání
Žufan, Petr ; Mrázek, Vojtěch (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce implementuje evoluční systém pro nelezení kvantového operátoru ve formě unitární matice. Cílem je ověření různých přístupů reprezentace kandidátních řešení a nastavení evolučního algoritmu. V práci byly použity dva evoluční algoritmy: genetický algoritmus a evoluční strategie. Dále je zde představen způsob generovaní unitární matice založený na QR dekompozici, který je pro tuto úlohu použit poprvé. Ten je v některých směrech lepší než předešlé. Na závěr je na experimentech ukázáno srovnání všech použitých technik.
|
|
|
Kongruence pro stromové automaty
Žufan, Petr ; Janků, Petr (oponent) ; Holík, Lukáš (vedoucí práce)
Tento článek pojednává o testování ekvivalence stromových automatů (TA). Přináší nový algoritmus vycházející z algoritmu Bonchiho a Pouse pro slovní automaty. Tento nový algoritmus spojuje bisimulaci s determinizací za běhu. Pomocí optimalizace založené na kongruenčním uzávěru se snaží vyhýbat extrémnímu zvětšování stavového prostoru. Z tohoto hlediska je lepší než jiné metody pro tento problém.
|
|
|
Potenciál zemědělsky méně příznivých oblastí pro produkci cíleně pěstované biomasy v Česku
Holub, Vít ; Jančák, Vít (vedoucí práce) ; Žufan, Petr (oponent)
Hlavním cílem práce je analyzovat možnosti pěstování biomasy v méně příznivých oblastech (LFA) v Česku. Nejprve je zhodnocen současný stav a očekávané trandy ve využívání biomasy. Významný je vzrůstající zájem Evropské unie a Česka na využívání obnovitelných zdrojů energie. V Česku je nejvýhodnějším zdrojem biomasa )a energetické generátory druhé generace). Nejlepší je využívání tohoto produktu pro získávání tepla. V méně příznivých oblastech jsou v EU (a v Česku po roce 1989) využívány dotace na zatravňování. Zatravnění je přirozený proces s nízkou ekonomickou rentabilitou. Existují však také další varianty využití území. Jenou z variant je využití LFA pro pěstování biomasy. Přínosy totoho využití jsou jak v ekologické stabilitě, tak v řadě sociálních důsledků. Vzhledem k velkým rozdílů mezi jednotlivými LFA (zejména v socioekonomické oblasti) však není možné určit nejvýhodnější region pro pěstování rychle rostoucích dřevin. To je otázka pro další případové studie.
|
host ::
RSS.