|
|
Shaders for the Mental Ray Renderin System
Dohnal, Jan ; Zuzaňák, Jiří (referee) ; Herout, Adam (advisor)
Goal of this diploma thesis is to get knowledge about history and evolution of computer graphic in area of realistic image synthesis, get knowledge about rendering system mental ray and about writing shader for it and write several shader. Create manual about writing shaders for mental ray. Get knowledge about program Maya and create a tutorial hot to get the shader into it.
|
|
|
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.
|
|
|
Measurement of of atmospheric pollution
Dohnal, Jan ; Zimáková, Jana (referee) ; Bača, Petr (advisor)
This thesis deals with methods of measuring air pollution for gaseous substances. It contains a theoretical analysis of various types of pollution. Classification of pollution sources according to several criteria. It focuses on the creation, harm, use of carbon monoxide and carbon dioxide associated therewith. Analysis of various methods of detection for both gases.
|
|
|
Measurement of greenhouse gas concentrations
Dohnal, Jan ; Novák, Vítězslav (referee) ; Bača, Petr (advisor)
This semester thesis deals with the greenhouse effect, various gases and methods of measurement. On the greenhouse effect is viewed from its historical dating, despite changes in atmospheric composition and reactions of individual institutions. It contains a theoretical analysis of the individual gases. It focuses on the most harmful greenhouse gases such as water vapor, carbon dioxide, nitrous oxide, methane, ozone, chlorofluorocarbons and halons. Analysis methods for detection of gaseous substances. Part of this work is focus on the detection of nitrogen dioxide and chloro-fluorocarbon. The data is processed using a microcontroller and then sent to an Internet server thingspeak.com. If the device proves successful, will be used as a laboratory exercise in the course Ecology in electronics.
|
|
|
Measurement of greenhouse gas concentrations
Dohnal, Jan ; Vyroubal, Petr (referee) ; Bača, Petr (advisor)
This master thesis deals with the greenhouse effect, various gases and methods of measurement. On the greenhouse effect is viewed from its historical dating, despite changes in atmospheric composition. It contains a theoretical analysis of the individual gases. It focuses on the most harmful greenhouse gases such as water vapor, carbon dioxide, nitrous oxide, methane, ozone, chlorofluorocarbons and halons. Analysis methods for detection of gaseous substances. Part of this work is focus on the detection of nitrogen dioxide, chloro-fluorocarbon and methane. The data is processed using a ATmega’s microcontroller and then sent to an Internet server thingspeak.com. If the device proves successful, will be used as a laboratory exercise in the course Ecology in electronics.
|
|
|
Measurement of greenhouse gas concentrations
Dohnal, Jan ; Vyroubal, Petr (referee) ; Bača, Petr (advisor)
This master thesis deals with the greenhouse effect, various gases and methods of measurement. On the greenhouse effect is viewed from its historical dating, despite changes in atmospheric composition. It contains a theoretical analysis of the individual gases. It focuses on the most harmful greenhouse gases such as water vapor, carbon dioxide, nitrous oxide, methane, ozone, chlorofluorocarbons and halons. Analysis methods for detection of gaseous substances. Part of this work is focus on the detection of nitrogen dioxide, chloro-fluorocarbon and methane. The data is processed using a ATmega’s microcontroller and then sent to an Internet server thingspeak.com. If the device proves successful, will be used as a laboratory exercise in the course Ecology in electronics.
|
|
|
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.
|
|
|
Measurement of of atmospheric pollution
Dohnal, Jan ; Zimáková, Jana (referee) ; Bača, Petr (advisor)
This thesis deals with methods of measuring air pollution for gaseous substances. It contains a theoretical analysis of various types of pollution. Classification of pollution sources according to several criteria. It focuses on the creation, harm, use of carbon monoxide and carbon dioxide associated therewith. Analysis of various methods of detection for both gases.
|
|
|
Measurement of greenhouse gas concentrations
Dohnal, Jan ; Novák, Vítězslav (referee) ; Bača, Petr (advisor)
This semester thesis deals with the greenhouse effect, various gases and methods of measurement. On the greenhouse effect is viewed from its historical dating, despite changes in atmospheric composition and reactions of individual institutions. It contains a theoretical analysis of the individual gases. It focuses on the most harmful greenhouse gases such as water vapor, carbon dioxide, nitrous oxide, methane, ozone, chlorofluorocarbons and halons. Analysis methods for detection of gaseous substances. Part of this work is focus on the detection of nitrogen dioxide and chloro-fluorocarbon. The data is processed using a microcontroller and then sent to an Internet server thingspeak.com. If the device proves successful, will be used as a laboratory exercise in the course Ecology in electronics.
|
|
|
Shaders for the Mental Ray Renderin System
Dohnal, Jan ; Zuzaňák, Jiří (referee) ; Herout, Adam (advisor)
Goal of this diploma thesis is to get knowledge about history and evolution of computer graphic in area of realistic image synthesis, get knowledge about rendering system mental ray and about writing shader for it and write several shader. Create manual about writing shaders for mental ray. Get knowledge about program Maya and create a tutorial hot to get the shader into it.
|
guest ::
RSS feed.