|
|
Abstraction in Automata Algorithms
Kocourek, Tomáš ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
The goal of this thesis is to implement and experimentally compare antichain-based algorithms with and without abstraction, which decide the emptiness of alternating finite automata. The author also proposes his own algorithms using abstraction and comes up with a few optimizations of existing abstract algorithms. The thesis introduces the theoretical background of studied algorithms and describes efficient ways to implement data structures which are used by these algorithms. The experimental evaluation over random automata shows that the algorithms without abstraction give us better results in general because they do not perform costly evaluation of closed set intersection and complementation. However, in case of automata with high transition density, the algorithms without abstraction tend to decelerate, while the abstract ones accelerate.
|
|
|
Diagnostika rozkladu těkavých organických látek v klouzavém obloukovém plazmatickém výboji
Grossmannová, Hana ; Kapička, Vratislav (oponent) ; Pekárek,, Stanislav (oponent) ; Krčma, František (vedoucí práce)
Předmětem této disertační práce bylo prozkoumat na modelových látkách možnosti jejich rozkladu v klouzavém obloukovém plazmatickém výboji za atmosférického tlaku. Klouzavý obloukový výboj (GlidArc) je dynamicky se rozvíjející metodou generace netermálního plazmatu. Nabízí celou řadu možností průmyslového využití, zejména pro svou vysokou energetickou účinnost, specifickou produktivitu a vysokou selektivitu reakcí. GlidArc je při nízkém až atmosférickém tlaku jednoduchým a finančně nenáročným způsobem generace netermálního plazmatu. V současné době je zkoumáno možné využití tohoto zařízení v několika oblastech, mimo jiné i v oblasti rozkladu různých látek. Využitím netermálních plazmatických metod pro likvidaci těchto látek by mělo být dosaženo např. vyšší účinnosti rozkladu, nižší spotřeby energie, aj. Prezentované experimenty navazují na poznatky získané při vypracovávání diplomové práce, při nichž byly prověřeny některé konstrukční prvky zařízení a spektroskopickými měřeními bylo prostudováno vlastní plazma výboje. Pro potřeby této práce pak byly zvoleny modelové látky z řady aromatických i alifatických sloučenin (toluen, hexan a cyklohexan), v koncentracích set až tisíců ppm. Jsou zde shrnuty výsledky experimentů zabývajících se stanovením elektrických parametrů zařízení, směřujících k optimalizaci provozu reaktoru a stanovení energetických účinností celého rozkladného procesu. Dále byla pomocí záznamů pořízených vysokorychlostní kamerou vyhodnocena některá specifika výboje GlidArc jako jsou tvar, maximální délka nebo doba existence plazmového vlákna v závislosti na podmínkách výboje. Pomocí analyzátoru spalin Testo jsme se pak pokusili kvantitativně popsat nežádoucí nízkomolekulární produkty rozkladných procesů v plazmatu, jako jsou oxidy dusíku, oxid uhelnatý a vodík v závislosti na podmínkách výboje. Pro stanovení vysokomolekulárních produktů rozkladu VOC pak byla využita plynová chromatografie v kombinaci s hmotnostní spektroskopií (GC/MS). Na základě těchto měření bylo možno určit účinnosti rozkladu a konverzi vyšších uhlovodíků v závislosti na konkrétních podmínkách experimentu a sledovat jednotlivé cesty chemické transformace těkavé organické látky v plazmatu.
|
|
|
NA PASNÍKU
Siegelová, Kateřina ; Vlková, Veronika (oponent) ; Klímová, Barbora (vedoucí práce)
Tématem mojí diplomové práce Na Pasníku je čas a rozklad. Vyráběla jsem si malé domečky z přírodnin a ty umístila v lese. Předmětem práce je plynutí času. Výsledkem mojí práce je časová velkoformátová kresba. Domečky na kresbě se postupně rozpadají a mizí. Tímto vytvářím časovou kresbu.
|
|
|
Zvýrazňování statických obrazů pomocí vlnkové transformace
Candrák, Matúš ; Rajmic, Pavel (oponent) ; Smékal, Zdeněk (vedoucí práce)
Pri tomografickom a ultrazvukovom spracovaní signálov je vnášaný do spracovania šum. Bakalárska práca sa zaoberá zvýrazňovaním statických obrazov, pomocou odšumovania za použitia waveletovej transformácie a detekcie hrán pomocou základných operátorov. V tejto práci sú popísané niektoré typy waveltov na odšumovanie obrazu a základné operátory k detekcii hrán v obraze. Posledná časť sa zaoberá vlastnou aplikáciou na spracovanie obrazov, ktorá bola vytvorená v MATLABE.
|
|
|
Redukce obrazového šumu s využitím vlnkové transformace
Holiš, Michal ; Přinosil, Jiří (oponent) ; Malý, Jan (vedoucí práce)
Tato bakalářská práce obsahuje teoretické pojednání o šumech vyskytujících se v digitálních obrazových datech, jejich klasifikaci a možnosti odstranění. V další části je věnována teorii vlnek, vlnkové transformací a jejím využití v práci s jednorozměrnými, ale především dvourozměrnými signály. Hlavně pak s obrazovými daty se zaměřením na odstraňování poruch v těchto datech přítomných. Poslední částí práce je implementace demonstračního programu. Program je vytvořen tak, že na základě uživatelsky zvolených proměnných provede odstranění šumu ze zvolených obrazových dat.
|
|
|
Hodnocení biologicky rozložitelných materiálů v modelových podmínkách skládky, kompostu a půdě
Zourková, Andrea
Tato závěrečná práce se zaměřuje na biologicky rozložitelné materiály. Popisuje legislativní prostředí odpadového hospodářství v České republice, charakteristiku a dělení biologicky rozložitelných odpadů. Dále se věnuje využití materiálů v různých sektorech a na závěr odstranění biologicky rozložitelných materiálů. V praktické části byla zkoumána informace ohledně plastových kelímků na nápoje, u kterých bylo uváděno, že jsou biologicky rozložitelné a stoprocentně kompostovatelné. Vybrány byly čtyři druhy kelímků, které byly dle metodiky šesti měsíců uloženy a pozorovány v polystyrenových boxech, a ty simulovaly podmínky skládky, kompostu a půdy. Výsledkem byl u dvou druhů kelímků částečný rozklad a u dalších dvou nedošlo k žádné změně.
|
|
|
Abstraction in Automata Algorithms
Kocourek, Tomáš ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
The goal of this thesis is to implement and experimentally compare antichain-based algorithms with and without abstraction, which decide the emptiness of alternating finite automata. The author also proposes his own algorithms using abstraction and comes up with a few optimizations of existing abstract algorithms. The thesis introduces the theoretical background of studied algorithms and describes efficient ways to implement data structures which are used by these algorithms. The experimental evaluation over random automata shows that the algorithms without abstraction give us better results in general because they do not perform costly evaluation of closed set intersection and complementation. However, in case of automata with high transition density, the algorithms without abstraction tend to decelerate, while the abstract ones accelerate.
|
|
|
Význam mykorhizních hub v dekompozici kořenů.
Haiclová, Klára ; Kohout, Petr (vedoucí práce) ; Kolaříková, Zuzana (oponent)
Mykorhizní houby jsou známy jako symbionti mnoha druhů rostlin. Poskytují hostitelským rostlinám lepší přístup k minerálním živinám i vodě, a na oplátku od rostlin získávají uhlíkaté látky. Ačkoliv je značný podíl organické hmoty vázán v biomase kořenů, o faktorech ovlivňujících jejich rozklad je známo zatím málo. Pro nás je však důležité pochopit proces rozkladu kořenů i faktory, kterého ho ovlivňují. Znalosti o rozkladech kořenů nám pomáhají s porozuměním cyklu uhlíku a můžeme je využít i v otázkách týkajících se sekvestrace uhlíku v půdě. Tato bakalářská práce se proto zaměřuje na význam a fungování mykorhizních hub během rozkladu kořenů. Popisuje vliv mykorhizních hub na rozklad kolonizovaných jemných kořenů, schopnost mykorhizních hub rozkládat organickou hmotu a ovlivňovat rychlost rozkladu konkurencí se saprotrofními organismy. Klíčová slova: mykorhizní houby, kořeny, rozklad, rychlost, organická hmota, půda, význam, sekvestrace uhlíku
|
|
|
Bacteria associated with decomposing deadwood
Tláskal, Vojtěch ; Baldrian, Petr (vedoucí práce) ; Uhlík, Ondřej (oponent) ; Bárta, Jiří (oponent)
Odumřelé dřevo představuje významný habitat z hlediska biodiverzity a jeho rozklad v lesích mírného pásma přispívá k cyklům uhlíku a dusíku. Historicky doložený význam hub při rozkladu odumřelého dřeva byl v posledních letech doplněn o poznatky o roli bakterií v tomto procesu díky rychlému rozvoji metod založených na analýze nukleových kyselin. Pro studium procesu rozkladu dřeva byl vybrán smíšený temperátní les v Národní přírodní rezervaci Žofínský prales, ke kterému existuje bohatý historickým lesnický záznam o množství dřeva a kde rozklad odumřelého dřeva představuje důležitou součást celkového obratu rostlinné biomasy. Cílem této práce je detailně popsat roli bakterií v procesu rozkladu dřeva vzhledem ke složení bakteriálního společenstva, transkripce enzymů a metabolického potenciálu dominantních bakteriálních zástupců. Vliv stáří odumřelého dřeva spolu s pH a obsahem vody byl pro ovlivnění struktury bakteriálního společenstva důležitější než vliv druhu dřeva. Bakteriální společenstvo na počátku rozkladu se lišilo od pozdní fáze rozkladu. Složení houbového společenstva také významně ovlivňovalo složení bakterií. I přes přímý kontakt dřeva s půdou se bakterie a houby v těchto dvou habitatech lišily. Bakterie ve dřevě přispívaly k cyklu dusíku zejména fixací N2. Dále byly schopné využít uhlík...
|
|
|
Analýza složení a degradace léčivých látek a léčivých přípravků z 18. a 20. století
Kudláček, Karel
Dizertační práce se zaměřila na analýzu dvaceti historických pozůstatků léčivých látek a léčivých přípravků datovaných do 18. a 20. století metodami kapalinové a plynové chromatografie s UV spektrometrickou a hmotnostní detekcí. Analytický přístup byl zvolen s ohledem na stáří a lékovou formu analyzovaného léčivého přípravku. Autenticita historických léčivých látek a léčivých přípravků byla ověřena identifikací účinných látek, jejich možných degradačních produktů a dalších pomocných látek tandemovou hmotnostní spektrometrií a případně porovnáním s novodobými referenčními materiály. Tandemovou hmotnostní spektrometrií byla rovněž studována fragmentace vybraných analytů. Stabilita historických pozůstatků léčiv z 20. století byla hodnocena na základě poklesu koncentrace účinných látek v porovnání s obsahem deklarovaným výrobci nebo v případě historických pozůstatků léčiv z 18. století na základě porovnání koncentrací účinných látek stanovených v historickém pozůstatku a v současném referenčním materiálu. K analýze historických pozůstatků mastí byl použit multianalytický přístup kombinující pět analytických metod, jejichž výsledky se vzájemně doplňují. Zatímco účinné látky identifikované v droze ipekakuanhy byly nalezeny částečně degradované, v extraktu senny byly degradovány zcela. V případě léčivých...
|
host ::
RSS.