|
Integration of Biomass Gasification with High Temperature Fuel Cells
Svoboda, Karel ; Hartman, Miloslav ; Baxter, D. ; Hunter, Ch.
This contribution gives information about possibilities of efficient production of fuel gas for high temperature fuel cells (SOFC or MCFC) by biomass gasification, esp. in fluidized beds, about efficient fuel gas cleaning, requirements and practical limits of fuel gas purity and effects of basic operating parameters on the efficiency of fuel gas production. The overall efficiency of power production based on biomass gasification with steam cycle, combined cycle and cycles exploiting high temperature fuel cells is estimated.
|
|
Application of art therapy elements for students at high special school (practical)
Koubská, Patricie ; Valešová Malecová, Barbara (advisor) ; Šiška, Jan (referee)
Application of art therapy elements for students at high special school (practical) The theme of this bachelor thesis is the use of art therapy procedure for pupils from practical two-year high school. The aim of this thesis is to consider the possibilities of using elements of group art therapy for the development of self-knowledge, communication, for strengthening of prosocial ties and increasing of a sense of group belonging. In the narrower sense, art therapy is underwood as a fine art therapy. Theoretical basis of the thesis will be the methods of art therapy, their possibilities and procedures, developmental aspects of maturing, specifics of maturing for pupils with handicaps (mental retardation issues, specific disorders of behavior problems of pupils with social and physical handicaps). In the practical part of the thesis there is described the use of these methods in my own art lessons.
|
|
Migration to selected EU countries: Labor market integration
Kaclíková, Roberta ; Šaroch, Stanislav (advisor) ; Němcová, Ingeborg (referee)
The aim of this master thesis is to analyse the labor market of European Union and its certain countries in relation to the immigration with the backgound of various social welfare models. The paper is analysing the topic of labor market of European Union, integration of immigrants on this market, with focus on economies and labour markets of Sweden, United Kingdom and Germany as countries with high level of immigration that are representing three different social welfare models, such as Nordic model, Liberal model and Conservative model. The main objective of this thesis is the analysis of labor markets in selected countries of the European Union in relation to immigration and their subsequent comparison using the background of different social welfare models. The result is the evaluation of effectivness of the various social models based on statistical data, acquired knowledge and performed comparisons. The thesis is divided into four chapters and contains 13 tables and 8 charts.
|
|
San Minn (or) An Artist who prefer creating and paintings than his life
Zeya, Pyin Nyar ; JANEČEK, Vít (advisor) ; VOJTĚCHOVSKÝ, Miloš (referee)
No one can control a painter artist’s freely thoughts and ideas and although his paintings were under the high pressure and banned by force, the artistic value of his materials never go down. So that I am writing this paper.
He, San Minn has broken out the mainstream of Burmese painting field, he never made business paintings as well. He keeps his belief on the art of paints and he is always finding for the new way to make his paintings. His materials are very different from other Burmese painter artists’ materials. His style is unique in Burmese paintings. So I can get a chance to study of his style, ideas, ways of thinking and his determination on the art works.
My paper can show a painter artist’s life who grew up under the military rule for 50 years and the situation and history of Burmese painting field. Then not only people who are studying the painting subject, but also other people can know about the subject of Burmese painting and field of artists. I dare say that my paper must be colorful and fruitful.
As a painter artist, it seems that he wants his audience to feel his materials but he rare to show his real life behind the pictures. For me, I can get a chance to know about his real life for my thesis paper.
xxxxxxxxxx
Thesis Statement
My thesis can be useful for everybody who is interested in Burmese contemporary art field.
This is the biggest chance to read about one of the most famous, important and significant artists and art movements of Burma. His paintings are reflecting his journey through over 40 years of censorship, but he was not afraid to tackle political and social issues.
Many of San Minn's art works are based on autobiographical, making sharp social commentary on the popular culture, social values and scenario circumstances where he has lived in.
xxxxxxxxxx
|
|
Frequency stabilized semiconductor laser source for high-resolution interferometry
Řeřucha, Šimon ; Hucl, Václav ; Holá, Miroslava ; Čížek, Martin ; Pham, Minh Tuan ; Pravdová, Lenka ; Lazar, Josef ; Číp, Ondřej
We have assembled an experimental iodine stabilized Distributed Bragg Reflector (DBR) diode based laser system lasing at a wavelength that is in a close proximity to the wavelength of a stabilized He-Ne lasers traditionally used for metrological applications (λ=632.9 nm in vacuum). The aim was to verify whether such a system could be used as an alternative to the He-Ne laser while yielding wider optical frequency tuning range, higher output power and high frequency modulation capability. We have measured the basic characteristics of the laser source and then we have compared the performance of the laser system with that of a traditional frequency stabilized He-Ne laser with a series of experimental arrangements similar to those usually found in laser interferometry and displacement metrology applications. The results indicate that DBR diode laser system provides a good laser source for applications in dimensional (nano)metrology since it provides more output power and advanced tunability options than stabilized He-Ne lasers while maintaining fundamental requirements such as the frequency stability, coherence length and also a defined traceability.\n\n
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Exploitation of GPU in graphics and image processing algorithms
Jošth, Radovan ; Svoboda, David (referee) ; Trajtel,, Ľudovít (referee) ; Herout, Adam (advisor)
Táto práca popisuje niekoľko vybraných algoritmov, ktoré boli primárne vyvinuté pre CPU procesory, avšak vzhľadom k vysokému dopytu po ich vylepšeniach sme sa rozhodli ich využiť v prospech GPGPU (procesorov grafického adaptéra). Modifikácia týchto algoritmov bola zároveň cieľom nášho výskumu, ktorý bol prevedený pomocou CUDA rozhrania. Práca je členená podľa troch skupín algoritmov, ktorým sme sa venovali: detekcia objektov v reálnom čase, spektrálna analýza obrazu a detekcia čiar v reálnom čase. Pre výskum detekcie objektov v reálnom čase sme zvolili použitie LRD a LRP funkcií. Výskum spektrálnej analýzy obrazu bol prevedný pomocou PCA a NTF algoritmov. Pre potreby skúmania detekcie čiar v reálnom čase sme používali dva rôzne spôsoby modifikovanej akumulačnej schémy Houghovej transformácie. Pred samotnou časťou práce venujúcej sa konkrétnym algoritmom a predmetu skúmania, je v úvodných kapitolách, hneď po kapitole ozrejmujúcej dôvody skúmania vybranej problematiky, stručný prehľad architektúry GPU a GPGPU. Záverečné kapitoly sú zamerané na konkretizovanie vlastného prínosu autora, jeho zameranie, dosiahnuté výsledky a zvolený prístup k ich dosiahnutiu. Súčasťou výsledkov je niekoľko vyvinutých produktov.
|
|
Subspace Modeling of Prosodic Features for Speaker Verification
Kockmann, Marcel ; Kenny, Patrick (referee) ; Nöth, Elmar (referee) ; Černocký, Jan (advisor)
Předložená disertační práce se zabývá ověřováním mluvčího pomocí prozodických příznaků zahrnujících hodnoty základního tónu, energie a délek řečových úseků. Studovali jsme dvě rozdílné techniky pro parametrizaci: první vede k dobře definované sadě menšího počtu příznaků, druhá k vysoko-dimenzionální sadě heterogenních prozodických příznaků. První část práce se věnuje vývoji příznaků reprezentujících prozodické kontury, zde jsme vyvinuli a ověřili několik modelovacích technik, s důrazem na modelování v reprezentativních podprostorech. Druhá část práce se zaměřuje na nové pod-prostorové modelovací techniky pro heterogenní prozodické parametry s velkou dimenzionalitou. Model je teoreticky odvozen a experimentálně ověřen na oficiálních datech z NIST evaluací ověřování mluvčího (NIST Speaker Recognition Evaluation). Ve srovnání s ostatními současnými prozodickými jsme dosáhli podstatně lepších výsledků. Na konci práce presentujeme také novou techniku pro elegantní kombinaci dvou prozodických systémů. Tato technika může být použita rovněž pro fúzi prozodického systému se standardním přesným cepstrálním systémem, což vede k dalšímu podstatnému zvýšení úspěšnosti verifikace.
|
|
High-Quality Shadow Rendering from Complex Light Sources
Navrátil, Jan ; Sochor, Jiří (referee) ; Navrátil, Jan (referee) ; Zemčík, Pavel (advisor)
V interaktivních aplikacích jsou stíny tradičně zobrazovány s pomocí algoritmu založeným na stínových mapách. Nevýhodou toho algoritmu je, že stínová mapa, reprezentovaná texturou, má pouze omezené rozlišení. To může vést k nepěkným vizuálním artefaktům objevujících se na hranách stínů. Tato práce představuje postup, který je založen na vylepšené deformaci textury. To umožní zobrazit scénu obsahující složité světelné zdroje, zredukovat artefakty na hranicích stínů a také vylepšit kvalitu stínů bez ohledu na typu scény a její konfiguraci.
|
|
OPTIMIZATION OF ALGORITHMS AND DATA STRUCTURES FOR REGULAR EXPRESSION MATCHING USING FPGA TECHNOLOGY
Kaštil, Jan ; Plíva, Zdeněk (referee) ; Vlček, Karel (referee) ; Kotásek, Zdeněk (advisor)
Disertační práce se zabývá rychlým vyhledáváním regulárních výrazů v síťovém provozu s použitím technologie FPGA. Vyhledávání regulárních výrazů v síťovém provozu je výpočetně náročnou operací využívanou převážně v oblasti síťové bezpečnosti a v oblasti monitorování provozu vysokorychlostních počítačových sítí. Současná řešení neumožňují dosáhnout požadovaných multigigabitových propustností při dodržení všech požadavků, které jsou na vyhledávací jednotky kladeny. Nejvyšších propustností dosahují implementace založené na využití inovativních hardwarových architektur implementovaných v FPGA případně v ASIC. Tato disertační práce popisuje nové architektury vyhledávací jednotky, které jsou vhodné pro implementaci jak v FPGA tak v ASIC. Základní myšlenkou navržených architektur je využití perfektní hashovací funkce pro implementaci přechodové tabulky konečného automatu. Dále byla navržena architektura, která umožňuje uživateli zanést malou pravděpodobnost chyby při vyhledávání a tím snížit paměťové nároky vyhledávací jednotky. Disertační práce analyzuje vliv pravděpodobnosti této chyby na celkovou spolehlivost systému a srovnává ji s řešením používaným v současnosti. V rámci disertační práce byla provedena měření vlastností regulárních výrazů používaných při analýze provozu moderních počítačových sítí. Z provedené analýzy vyplývá, že velká část regulárních výrazů je vhodná pro implementaci pomocí navržených architektur. Pro dosažení vysoké propustnosti vyhledávací jednotky práce navrhuje nový algoritmus transformace abecedy, který umožňuje, aby vyhledávací jednotka zpracovala více znaků v jednom kroku. Na rozdíl od současných metod, navržený algoritmus umožňuje konstrukci automatu zpracovávajícího libovolný počet symbolů v jednom taktu. Implementované architektury dosahují v porovnání se současnými metodami úspory paměti zlepšení až 200MB.
|
guest ::
