|
|
Vytváření shaderů pro systém Mental Ray
Dohnal, Jan ; Zuzaňák, Jiří (oponent) ; Herout, Adam (vedoucí práce)
Cílem diplomové práce je zmapovat vývoj počítačové grafiky v oblasti realistických zobrazovacích metod, seznámit se s renderovacím systémem mental ray, seznámit se s grafickým nástrojem Autodesk Maya, vytvořit několik shaderů pro mental ray a vytvořit návod, jak tyto shadery psát a jak je zprovoznit v programu Maya.
|
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
|
Měření znečištění ovzduší
Dohnal, Jan ; Zimáková, Jana (oponent) ; Bača, Petr (vedoucí práce)
Tato bakalářská práce se zabývá metodami měření znečištění ovzduší pro plynné látky. Obsahuje teoretický rozbor jednotlivých druhů znečištění. Klasifikaci jednotlivých zdrojů znečištění podle několika kritérií. Zaměřuje se na vznik, škodlivost, využití oxid uhelnatý a s ním spjatý oxid uhličitý. Rozbor jednotlivých způsobů detekce obou plynů.
|
|
|
Měření koncentrací skleníkových plynů
Dohnal, Jan ; Novák, Vítězslav (oponent) ; Bača, Petr (vedoucí práce)
Tato magisterská práce se zabývá problematikou skleníkového efektu, jednotlivými plyny a metodami měření. Na skleníkový efekt je nahlíženo od jeho historického datování, přes změny v atmosféře její složení a reakce jednotlivých institucí. Obsahuje teoretický rozbor jednotlivých plynů. Zaměřuje se na nejškodlivější skleníkové plyny, jako jsou vodní páry, oxid uhličitý, oxid dusný, metan, ozon, freony a halony. Rozbor způsobů detekce těchto plynných látek. Součástí práce je detekce oxidu dusičitého a chlor-fluorovaného uhlovodíku. Data jsou zpracovávána za pomoci mikrokontroléru a následně odeslána na internetový server thingspeak.com. Pokud se zařízení osvědčí, bude využito jako laboratorní úloha v předmětu Ekologie v elektronice.
|
|
|
Měření koncentrací skleníkových plynů
Dohnal, Jan ; Vyroubal, Petr (oponent) ; Bača, Petr (vedoucí práce)
Tato magisterská práce se zabývá problematikou skleníkového efektu, jednotlivými plyny a metodami měření. Na skleníkový efekt je nahlíženo od jeho historického datování, přes změny v atmosféře a její složení. Obsahuje teoretický rozbor jednotlivých plynů. Zaměřuje se na nejškodlivější skleníkové plyny, jako jsou vodní páry, oxid uhličitý, oxid dusný, metan, ozon, freony a halony. Rozbor způsobů detekce těchto plynných látek. Součástí práce je detekce oxidu dusičitého, chlor-fluorovaného uhlovodíku a metanu. Data jsou zpracovávána za pomoci mikrokontroléru ATmega a následně odeslána na internetový server thingspeak.com. Pokud se zařízení osvědčí, bude využito jako laboratorní úloha v předmětu Ekologie v elektronice.
|
|
|
Měření koncentrací skleníkových plynů
Dohnal, Jan ; Vyroubal, Petr (oponent) ; Bača, Petr (vedoucí práce)
Tato magisterská práce se zabývá problematikou skleníkového efektu, jednotlivými plyny a metodami měření. Na skleníkový efekt je nahlíženo od jeho historického datování, přes změny v atmosféře a její složení. Obsahuje teoretický rozbor jednotlivých plynů. Zaměřuje se na nejškodlivější skleníkové plyny, jako jsou vodní páry, oxid uhličitý, oxid dusný, metan, ozon, freony a halony. Rozbor způsobů detekce těchto plynných látek. Součástí práce je detekce oxidu dusičitého, chlor-fluorovaného uhlovodíku a metanu. Data jsou zpracovávána za pomoci mikrokontroléru ATmega a následně odeslána na internetový server thingspeak.com. Pokud se zařízení osvědčí, bude využito jako laboratorní úloha v předmětu Ekologie v elektronice.
|
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
|
Měření znečištění ovzduší
Dohnal, Jan ; Zimáková, Jana (oponent) ; Bača, Petr (vedoucí práce)
Tato bakalářská práce se zabývá metodami měření znečištění ovzduší pro plynné látky. Obsahuje teoretický rozbor jednotlivých druhů znečištění. Klasifikaci jednotlivých zdrojů znečištění podle několika kritérií. Zaměřuje se na vznik, škodlivost, využití oxid uhelnatý a s ním spjatý oxid uhličitý. Rozbor jednotlivých způsobů detekce obou plynů.
|
|
|
Měření koncentrací skleníkových plynů
Dohnal, Jan ; Novák, Vítězslav (oponent) ; Bača, Petr (vedoucí práce)
Tato magisterská práce se zabývá problematikou skleníkového efektu, jednotlivými plyny a metodami měření. Na skleníkový efekt je nahlíženo od jeho historického datování, přes změny v atmosféře její složení a reakce jednotlivých institucí. Obsahuje teoretický rozbor jednotlivých plynů. Zaměřuje se na nejškodlivější skleníkové plyny, jako jsou vodní páry, oxid uhličitý, oxid dusný, metan, ozon, freony a halony. Rozbor způsobů detekce těchto plynných látek. Součástí práce je detekce oxidu dusičitého a chlor-fluorovaného uhlovodíku. Data jsou zpracovávána za pomoci mikrokontroléru a následně odeslána na internetový server thingspeak.com. Pokud se zařízení osvědčí, bude využito jako laboratorní úloha v předmětu Ekologie v elektronice.
|
|
|
Vytváření shaderů pro systém Mental Ray
Dohnal, Jan ; Zuzaňák, Jiří (oponent) ; Herout, Adam (vedoucí práce)
Cílem diplomové práce je zmapovat vývoj počítačové grafiky v oblasti realistických zobrazovacích metod, seznámit se s renderovacím systémem mental ray, seznámit se s grafickým nástrojem Autodesk Maya, vytvořit několik shaderů pro mental ray a vytvořit návod, jak tyto shadery psát a jak je zprovoznit v programu Maya.
|
host ::
RSS.