|
|
Accurate wattmeter for measure power loss in feromagnetic controlled AVR
Smutný, Martin ; Drexler, Petr (referee) ; Roubal, Zdeněk (advisor)
Electronic wattmeters excel in very small (up to negligible) own consumption. The basiccomponents of these devices is the multiplier - a circuit whose output voltage is proportional to the product of input voltage. Wattmeter is a device that contains two coils, one of which is the current coil voltage and the second coil. Current coil is connected in series with the measured electrical circuit and the voltage measuredparallel to the coil circuit. Current flowing through the coil current causes a magnetic field is proportional to the current flowing through the phase shift and. Electromagnetic fields of both coils influence each other in case of measurements in a DC circuit, the resultingdeflection proportional to both voltage and current. When measured in AC electrical powercircuits can be determined using the effective values of current and voltage, and their mutualphase shift. A magnetic induction B can be determined using mean values. An analog multiplier are circuits, that are realized multiplication of two analog signals. They can be made by suitable connection (according to function) discreet parts. Nowadays there are integrated circuits in advance function, whose internal structure is made by complex of circuits with operating ampfliers and other circuits. These circuits have a very high accuracy of arithmetic operation which is mostly better than 1%. The analog multiplier are used in situation, when we need realize multiplication, division, exponentation, square root extraction and logarithmic calculation of analog signals.
|
|
|
Antenna for broadband impulse signal
Smutný, Martin ; Kořínek,, Tomáš (referee) ; Drexler, Petr (advisor)
The thesis describes retrievals of broadband antennas for VHF and UHF. It focuses on a compact antenna, potentially suitable for detecting electromagnetic impulses generated by electrical discharges in the dielectric oil in power transformers. This pulse signals are very steep with hundreds pico seconds rising edge. The thesis presents basic characteristics of antennas and selects those which have a major influence on the possibility of using the antenna in selected application. The appropriate antena is selected and proposal its geometrical parameters is discussed. The geometry of the selected antenna is designed for working bandwidth from about 200 MHz to about 1000 MHz. The newly designed double discon antenna is simulated and dimensions are optimized. Antenna is made and key characteristics of the antenna important for evaluate the ability of detecting the above-identified pulsed signals is measured. Antenna is compared with gain and characteristic of monocone antenna. Acquired knowledge and measured data are evaluated.
|
|
|
Improving Precision of Program Analysis in the 2LS Framework
Smutný, Martin ; Vojnar, Tomáš (referee) ; Malík, Viktor (advisor)
Cílem této práce je navrhnout způsob vedoucí ke zvýšení přesnosti analýzy programů pomocí nástroje 2LS, založený na existujících konceptech, a to hlavně na syntézi invariant na základě šablon. 2LS je nástroj pro statickou analýzu programů napsaných v jazyce C, který využívá SMT solver a abstraktní interpretaci k automatickému odvození invariant. V případě kdy 2LS nedokáže rozhodnout zda je program správný, navrhované řešení analyzuje invarianty vypočítané v různých abstraktních doménách, a identifikuje takové části invariant, které mohou s největší pravděpodobností způsobit nejednoznačnost verifikace. Pomocí těchto získaných informací, dokáže navrhnutá metoda identifikovat proměnné původního programu, na kterých pravděpodobně závisí úspěch verifikace. Výstup tohoto řešení může posloužit jako zpětná vazba indikující proměnné, jejíchž problematické hodnoty by měly být omezeny. Také může být výstup využit vývojáři 2LS pro účely debugování při vývoji nových analýz. Řešení bylo implementováno v nástroji 2LS. Na základě různých experimentů mezinárodní soutěže ve verifikaci programů SV-COMP, dokáže řešení identifikovat proměnné způsobující nejednoznačnost verifikace ve více než polovině programů, na kterých verifikace momentálně selhává.
|
|
|
Rendering of Underwater Scenes
Smutný, Martin ; Vlnas, Michal (referee) ; Milet, Tomáš (advisor)
Cílem této práce je vykreslení podvodních scén a světelných efektů typických pro takové scény interaktivně ve vysoké kvalitě. Práce se konkrétně zaměřuje na fyzikálně založené vykreslování oceanických vod, které mají komplexní a vysoce proměnlivé optické vlastnosti. Vykreslování takových prostředí vyžaduje simulaci simulaci rozptylu světla uvnitř vodního objemu. Byly důsledně prozkoumány relevantní metody pracující v reálném čase. Byla navrhnuta jednoduchá oceanická scéna, které se skládá z procedurálně generovaného terénu, vodního povrchu a atmosferického modelu. Byl navrhnut fyzikálně založený bio-optický model vodního objemu. Rozptyl prvního řádu je aproximován, tím, že jsou vykreslovány fyzikálně založené povrchové a volumetrické kaustiky, vznikající lomem světla skrze vodní povrch. Vícenásobný rozptyl je aproximován na základě vlastností takových vod. Navržené techniky byly implementovány. Scénu je možné vykreslit z pohledu nad i pod povrchem vody. Techniky vykreslují efekty vodního objemu v přijatelné kvalitě a interaktivity bylo dosaženo na GPU nižší třídy.
|
|
|
Rendering of Underwater Scenes
Smutný, Martin ; Vlnas, Michal (referee) ; Milet, Tomáš (advisor)
Tato práce se zabývá vykreslováním realistických podvodních scén pomocí technik v reálném čase. Práce se zaměřuje na vykreslování oceanických vod, které mají komplexní a vysoce proměnlivé optické vlastnosti. Vykreslování takových prostředí je náročnou oblastí v počítačové grafice, která zahrnuje simulaci rozptylu světla uvnitř vodního objemu. Jsou zkoumány metody počítačové grafiky pracující v reálném čase pro vykreslování a simulaci oceánů. Jsou navrhnuty techniky aproximující rozptyl první řádu a vícenásobný rozptyl pro vykreslení vodního objemu za pomocí krokování paprsku. Optické vlastnosti objemu jsou popsány pomocí fyzikálně založeného bio-optického modelu. Navíc, jsou vykresleny povrchové a volumetrické kaustiky odpovídající lomu světla skrze simulovaný vodních povrch pomocí Fourierovy transformace. Navržená technika pro vykreslování scén nebyla implementována v plné podobě. Byly implementovány pouze některé navržené techniky a s nimi byly provedeny experimenty zvlášť.
|
|
|
Measuring Methods and Procedures in Medicine
Smutný, Martin ; Bezrouk, Aleš (advisor) ; Bernard, Vladan (referee) ; Podlesný, Jan (referee)
Measuring methods and procedures in medicine Biodegradable materials and shape memory alloys (SMA) have great potential in medicine, but for their use it is necessary to know their properties thoroughly. This work focused on investigating the mechanical properties of nickel-titanium (NiTi) rotary instruments, NiTi orthodontic coil springs and biodegradable esophageal stents. For NiTi rotary instruments, the aim was to optimize the methodology for testing their cyclic fatigue resistance and shaping ability. For this purpose, 20 copies of resin endoblocks were produced using the 3D JetPrinting method. These copies were then compared with commercially available originals. A statistically significantly lower dimensional variability of printed blocks was found compared to commercial endoblocks, confirming the high reproducibility of their production process. For NiTi orthodontic coil springs, the deactivation plateau is the most important from a clinical point of view. It is the part of the load curve in which the acting force of the spring is independent of its extension and is used to move the treated tooth into the correct position. Therefore, the aim of this work was first to establish a methodology for the unambiguous determination of the deactivation plateau. With the developed methodology, it was...
|
|
|
Improving Precision of Program Analysis in the 2LS Framework
Smutný, Martin ; Vojnar, Tomáš (referee) ; Malík, Viktor (advisor)
Cílem této práce je navrhnout způsob vedoucí ke zvýšení přesnosti analýzy programů pomocí nástroje 2LS, založený na existujících konceptech, a to hlavně na syntézi invariant na základě šablon. 2LS je nástroj pro statickou analýzu programů napsaných v jazyce C, který využívá SMT solver a abstraktní interpretaci k automatickému odvození invariant. V případě kdy 2LS nedokáže rozhodnout zda je program správný, navrhované řešení analyzuje invarianty vypočítané v různých abstraktních doménách, a identifikuje takové části invariant, které mohou s největší pravděpodobností způsobit nejednoznačnost verifikace. Pomocí těchto získaných informací, dokáže navrhnutá metoda identifikovat proměnné původního programu, na kterých pravděpodobně závisí úspěch verifikace. Výstup tohoto řešení může posloužit jako zpětná vazba indikující proměnné, jejíchž problematické hodnoty by měly být omezeny. Také může být výstup využit vývojáři 2LS pro účely debugování při vývoji nových analýz. Řešení bylo implementováno v nástroji 2LS. Na základě různých experimentů mezinárodní soutěže ve verifikaci programů SV-COMP, dokáže řešení identifikovat proměnné způsobující nejednoznačnost verifikace ve více než polovině programů, na kterých verifikace momentálně selhává.
|
|
|
Accurate wattmeter for measure power loss in feromagnetic controlled AVR
Smutný, Martin ; Drexler, Petr (referee) ; Roubal, Zdeněk (advisor)
Electronic wattmeters excel in very small (up to negligible) own consumption. The basiccomponents of these devices is the multiplier - a circuit whose output voltage is proportional to the product of input voltage. Wattmeter is a device that contains two coils, one of which is the current coil voltage and the second coil. Current coil is connected in series with the measured electrical circuit and the voltage measuredparallel to the coil circuit. Current flowing through the coil current causes a magnetic field is proportional to the current flowing through the phase shift and. Electromagnetic fields of both coils influence each other in case of measurements in a DC circuit, the resultingdeflection proportional to both voltage and current. When measured in AC electrical powercircuits can be determined using the effective values of current and voltage, and their mutualphase shift. A magnetic induction B can be determined using mean values. An analog multiplier are circuits, that are realized multiplication of two analog signals. They can be made by suitable connection (according to function) discreet parts. Nowadays there are integrated circuits in advance function, whose internal structure is made by complex of circuits with operating ampfliers and other circuits. These circuits have a very high accuracy of arithmetic operation which is mostly better than 1%. The analog multiplier are used in situation, when we need realize multiplication, division, exponentation, square root extraction and logarithmic calculation of analog signals.
|
|
|
Antenna for broadband impulse signal
Smutný, Martin ; Kořínek,, Tomáš (referee) ; Drexler, Petr (advisor)
The thesis describes retrievals of broadband antennas for VHF and UHF. It focuses on a compact antenna, potentially suitable for detecting electromagnetic impulses generated by electrical discharges in the dielectric oil in power transformers. This pulse signals are very steep with hundreds pico seconds rising edge. The thesis presents basic characteristics of antennas and selects those which have a major influence on the possibility of using the antenna in selected application. The appropriate antena is selected and proposal its geometrical parameters is discussed. The geometry of the selected antenna is designed for working bandwidth from about 200 MHz to about 1000 MHz. The newly designed double discon antenna is simulated and dimensions are optimized. Antenna is made and key characteristics of the antenna important for evaluate the ability of detecting the above-identified pulsed signals is measured. Antenna is compared with gain and characteristic of monocone antenna. Acquired knowledge and measured data are evaluated.
|
guest ::
RSS feed.