|
|
Přesný wattmetr pro měření měrných ztrát ve feromagnetikách řízený AVR
Smutný, Martin ; Drexler, Petr (oponent) ; Roubal, Zdeněk (vedoucí práce)
Elektronické wattmetry vynikají svou velmi malou (až zanedbatelnou) vlastní spotřebou. Základní částí těchto přístrojů je násobička – obvod, jehož výstupní napětí je úměrné součinu vstupních napětí. Wattmetr je zařízení, které obsahuje dvojici cívek, z nichž jedna je tzv. proudová cívka a druhá tzv. napěťová cívka. Proudová cívka je zapojena do série s měřeným elektrickým obvodem a napěťová cívka paralelně s měřeným obvodem. Proud protékající skrz proudovou cívku způsobí vytvoření magnetického pole, které je úměrné protékajícímu proudu a jeho fázovému posunu. Elektromagnetická pole obou cívek se navzájem ovlivňují a v případě měření ve stejnosměrném obvodu je výsledná výchylka úměrná jak napětí, tak proudu. Při měřeních ve střídavých obvodech lze elektrický výkon určit pomocí efektivních hodnot proudu a napětí a jejich vzájemného fázového posunu. A magnetickou indukci B lze určit pomocí středních hodnot. Analogové násobičky jsou obvody, které realizují násobení dvou analogových signálů. Mohou být vytvořeny vhodným zapojením diskrétních součástek (dle požadované funkce). V dnešní době se však z pravidla jedná o integrované obvody, s předem danou funkcí, jejichž vnitřní struktura je tvořena komplexem obvodů s operačními zesilovači a dalšími pomocnými obvody. Tyto obvody se vyznačují vysokou přesností aritmetických operací, která je ve většině případů lepší než 1%. Analogové násobičky se používají v takových případech, kdy je potřeba realizovat násobení, dělení, umocňování, odmocňování a zlogaritmování analogových signálů.
|
|
|
Anténa pro impulzní širokopásmový signál
Smutný, Martin ; Kořínek,, Tomáš (oponent) ; Drexler, Petr (vedoucí práce)
Práce se zabývá rešerší problematiky širokopásmových antén pro pásmo VHF a UHF. Zaměřuje se na kompaktní antény, které by byly potenciálně vhodné pro detekci elektromagnetických impulsů generovaných elektrickými výboji v olejovém dielektriku výkonových transformátorů. Jedná se o velice strmé impulzní signály s náběžnou hranou stovky pikosekund. V práci jsou představeny základní parametry antén a vybrány ty, které mají zásadní vliv na možnost použití antény ve zmíněné aplikaci. Z popsaných antén je vybrána nejvhodnější a je diskutován návrh jejích geometrických parametrů. Geometrie zvolené antény je navrhována tak, aby pracovní šířka pásma antény byla od cca 200 MHz do cca 1000 MHz. Nově navržená dvojitá diskónická anténa je simulována a jsou optimalizovány její rozměry. Posléze je provedena její výroba a změření klíčových vlastností antény důležitých pro zhodnocení schopnosti detekce výše charakterizovaných impulzních signálů. Porovnání je provedeno s příjmem a charakteristikami monokónické antény. Následuje závěrečné zhodnocení získaných poznatků a změřených údajů.
|
|
|
Improving Precision of Program Analysis in the 2LS Framework
Smutný, Martin ; Vojnar, Tomáš (oponent) ; Malík, Viktor (vedoucí práce)
The goal of this work is to propose a way to improve precision of program analysis in the 2LS framework, based on its existing concepts, mainly template-based synthesis of invariants. 2LS is a static analysis framework for analysing C programs which relies on the use of an SMT solver and of abstract interpretation for automatic invariant inference. In a case when 2LS can not decide whether a program is correct, the proposed solution analyses the invariants computed in various abstract domains and identifies parts of the invariants that potentially cause undecidability of the verification. Using the obtained information, the designed method is able to identify variables of the original program that possibly determine whether the verification is successful. The output of our solution can be used as a feedback to indicate variables with problematic values that should be constrained. Also, it can be utilized by the 2LS developers for debugging purposes during development of new analyses. The solution has been implemented in the 2LS framework. Testing our solution on various benchmarks from the International Competition on Software Verification (SV-COMP) shows that it can identify variables that cause undecidability of the verification in more than half of the programs where the verification currently fails.
|
|
|
Rendering of Underwater Scenes
Smutný, Martin ; Vlnas, Michal (oponent) ; Milet, Tomáš (vedoucí práce)
The goal of this thesis is to render underwater scenes and lighting effects typical for such scenes in high quality at interactive frame rates. The focus is specifically on physically-based rendering of oceanic waters because of their complex and highly variable optical properties. Rendering such media requires a simulation of light scattering inside the water body. Relevant real-time methods are thoroughly investigated. A simple oceanic scene is designed that consist of a procedurally generated terrain, water surface and a atmospheric model. A physically-based bio-optical model of the water volume was proposed. Single scattering in the volume is approximated by explicitly rendering physically-based one-bounce surface and volume caustics. Multiple scattering is approximated by exploiting the properties of such waters. The proposed techniques were implemented. The scene can be rendered from above or below the water. The techniques render the effects in the water volume at acceptable quality, and interactive frame rates are obtained at lower-end GPU.
|
|
|
Rendering of Underwater Scenes
Smutný, Martin ; Vlnas, Michal (oponent) ; Milet, Tomáš (vedoucí práce)
This thesis focuses on rendering realistic underwater environments using real-time techniques. Focus is on rendering ocean waters because of their complex and highly variable optical properties. Rendering such media is a challenging field in computer graphics that involves simulation of light scattering inside the water body. Methods in the field of real-time computer graphics for rendering and simulation of oceans are investigated. Single scattering and multi scattering approximation techniques are designed to render a water volume using ray marching. The optical properties of the volume are described by a physically-based bio-optical model. Furthermore, surface and volumetric caustics are rendered as they refract through a simulated ocean surface using Fourier transform. The designed technique to render underwater environments was not implemented in its entirety. Only a certain subset of techniques was experimented with.
|
|
|
Měřící metody a postupy v medicíně
Smutný, Martin ; Bezrouk, Aleš (vedoucí práce) ; Bernard, Vladan (oponent) ; Podlesný, Jan (oponent)
Souhrn Měřící metody a postupy v medicíně Biodegradabilní materiály a materiály s tvarovou pamětí (SMA) mají v medicíně velký potenciál, ale pro jejich využití je potřebné znát důkladně jejich vlastnosti. Tato práce se zaměřila na prozkoumání mechanických vlastností u nikl-titanových (NiTi) rotačních kořenových nástrojů, NiTi ortodontických pružin a biodegradabilních jícnových stentů. U NiTi rotačních kořenových nástrojů bylo cílem optimalizovat metodiku pro testování odolnosti nástrojů vůči cyklické únavě a jejich opracovávací schopnosti. Za tímto účelem bylo vytvořeno 20 kopií pryskyřičných endobločků pomocí 3D JetPrinting metody. Tyto kopie byly následně srovnány s komerčně dostupnými originály. Byla zjištěna statisticky významně nižší rozměrová variabilita tištěných bločků ve srovnání s bločky komerčními, potvrzující vysokou reprodukovatelnost procesu jejich výroby. U NiTi ortodontických pružin je z klinického pohledu nejdůležitější deaktivační plató. Je to část zátěžové křivky, při které je působící síla pružiny nezávislá na jejím prodloužení a využívá se pro posun ošetřovaného zubu do správné polohy. Proto bylo cílem této práce nejdříve stanovit metodiku pro jednoznačné určení deaktivačního plató. S vytvořenou metodikou bylo možné testovat elastické vlastnosti NiTi ortodontických pružin pomocí...
|
|
|
Improving Precision of Program Analysis in the 2LS Framework
Smutný, Martin ; Vojnar, Tomáš (oponent) ; Malík, Viktor (vedoucí práce)
The goal of this work is to propose a way to improve precision of program analysis in the 2LS framework, based on its existing concepts, mainly template-based synthesis of invariants. 2LS is a static analysis framework for analysing C programs which relies on the use of an SMT solver and of abstract interpretation for automatic invariant inference. In a case when 2LS can not decide whether a program is correct, the proposed solution analyses the invariants computed in various abstract domains and identifies parts of the invariants that potentially cause undecidability of the verification. Using the obtained information, the designed method is able to identify variables of the original program that possibly determine whether the verification is successful. The output of our solution can be used as a feedback to indicate variables with problematic values that should be constrained. Also, it can be utilized by the 2LS developers for debugging purposes during development of new analyses. The solution has been implemented in the 2LS framework. Testing our solution on various benchmarks from the International Competition on Software Verification (SV-COMP) shows that it can identify variables that cause undecidability of the verification in more than half of the programs where the verification currently fails.
|
|
|
Přesný wattmetr pro měření měrných ztrát ve feromagnetikách řízený AVR
Smutný, Martin ; Drexler, Petr (oponent) ; Roubal, Zdeněk (vedoucí práce)
Elektronické wattmetry vynikají svou velmi malou (až zanedbatelnou) vlastní spotřebou. Základní částí těchto přístrojů je násobička – obvod, jehož výstupní napětí je úměrné součinu vstupních napětí. Wattmetr je zařízení, které obsahuje dvojici cívek, z nichž jedna je tzv. proudová cívka a druhá tzv. napěťová cívka. Proudová cívka je zapojena do série s měřeným elektrickým obvodem a napěťová cívka paralelně s měřeným obvodem. Proud protékající skrz proudovou cívku způsobí vytvoření magnetického pole, které je úměrné protékajícímu proudu a jeho fázovému posunu. Elektromagnetická pole obou cívek se navzájem ovlivňují a v případě měření ve stejnosměrném obvodu je výsledná výchylka úměrná jak napětí, tak proudu. Při měřeních ve střídavých obvodech lze elektrický výkon určit pomocí efektivních hodnot proudu a napětí a jejich vzájemného fázového posunu. A magnetickou indukci B lze určit pomocí středních hodnot. Analogové násobičky jsou obvody, které realizují násobení dvou analogových signálů. Mohou být vytvořeny vhodným zapojením diskrétních součástek (dle požadované funkce). V dnešní době se však z pravidla jedná o integrované obvody, s předem danou funkcí, jejichž vnitřní struktura je tvořena komplexem obvodů s operačními zesilovači a dalšími pomocnými obvody. Tyto obvody se vyznačují vysokou přesností aritmetických operací, která je ve většině případů lepší než 1%. Analogové násobičky se používají v takových případech, kdy je potřeba realizovat násobení, dělení, umocňování, odmocňování a zlogaritmování analogových signálů.
|
|
|
Anténa pro impulzní širokopásmový signál
Smutný, Martin ; Kořínek,, Tomáš (oponent) ; Drexler, Petr (vedoucí práce)
Práce se zabývá rešerší problematiky širokopásmových antén pro pásmo VHF a UHF. Zaměřuje se na kompaktní antény, které by byly potenciálně vhodné pro detekci elektromagnetických impulsů generovaných elektrickými výboji v olejovém dielektriku výkonových transformátorů. Jedná se o velice strmé impulzní signály s náběžnou hranou stovky pikosekund. V práci jsou představeny základní parametry antén a vybrány ty, které mají zásadní vliv na možnost použití antény ve zmíněné aplikaci. Z popsaných antén je vybrána nejvhodnější a je diskutován návrh jejích geometrických parametrů. Geometrie zvolené antény je navrhována tak, aby pracovní šířka pásma antény byla od cca 200 MHz do cca 1000 MHz. Nově navržená dvojitá diskónická anténa je simulována a jsou optimalizovány její rozměry. Posléze je provedena její výroba a změření klíčových vlastností antény důležitých pro zhodnocení schopnosti detekce výše charakterizovaných impulzních signálů. Porovnání je provedeno s příjmem a charakteristikami monokónické antény. Následuje závěrečné zhodnocení získaných poznatků a změřených údajů.
|
host ::
RSS.