Ne (2984)
Použitá omezení
(4)
Počet nalezených dokumentů:
2984
Publikováno od
do
Využití zpětnovazebné učení a induktivní syntézy pro konstukci robustních kontroléru v POMDPs
Hudák, David; Holík, Lukáš; Češka, Milan
2024 - anglický
Jednou ze současných výzev při sekvenční rozhodováním je práce s neurčitostí, která je způsobena nepřesnými senzory či neúplnou informací o prostředích, ve kterých bychom chtěli dělat rozhodnutí. Tato neurčitost je formálně popsána takzvanými částečně pozorovatelnými Markovskými rozhodovacími procesy (POMDP), které oproti Markovským rozhodovacím procesům (MDP) nahrazují informaci o konkrétním stavu nepřesným pozorováním. Pro rozhodování v takových prostředích je nutno nějakým způsobem odhadovat současný stav a obecně tvorba optimálních politik v takových prostředích není rozhodnutelná. K vyrovnání se s touto výzvou existují dva zcela odlišné přístupy, kdy lze k problému přistupovat úplnými formálními metodami, a to buď s pomocí výpočtu beliefů či syntézou konečně stavových kontrolérů, nebo metodami založenými na nepřesné aproximaci současného stavu, reprezentované především hlubokým zpětnovazebným učením. Zatímco formální přístupy jsou schopné dělat verifikovatelná a robustní rozhodnutí pro malá prostředí, tak zpětnovazebné učení je schopné škálovat na reálné problémy. Tato práce se pak soustředí na spojení těchto dvou odlišných přístupů, kdy navrhuje různé metody jak pro interpretaci výsledku, tak pro vzájemné předávání nápověd. Experimenty v této práci ukazují, že z této symbiózy mohou těžit oba přístupy, ale také že zvolený přístup ke trénování agentů už sám o sobě řádově překonává současné systémy pro trénování agentů na podobných úlohách. A significant challenge in sequential decision-making involves dealing with uncertainty, which arises from inaccurate sensors or only a partial knowledge of the agent's environment. This uncertainty is formally described through the framework of partially observable Markov decision processes (POMDPs). Unlike Markov decision processes (MDP), POMDPs only provide limited information about the exact state through imprecise observations. Decision-making in such settings requires estimating the current state, and generally, achieving optimal decisions is not tractable. There are two primary strategies to address this issue. The first strategy involves formal methods that concentrate on computing belief MDPs or synthesizing finite state controllers, known for their robustness and verifiability. However, these methods often struggle with scalability and require to know the underlying model. Conversely, informal methods like reinforcement learning offer scalability but lack verifiability. This thesis aims to merge these approaches by developing and implementing various techniques for interpreting and integrating the results and communication strategies between both methods. In this thesis, our experiments show that this symbiosis can improve both approaches, and we also show that our implementation overcomes other RL implementations for similar tasks.
Klíčová slova:
Reinforcement learning; PAYNT; POMDP; interpretability; synthesis; PPO; sequential decision problems; finite state controllers; FSC; DQN; DDQN; Posilované učení; PAYNT; POMDP; interpretovatelnost; syntéza; PPO; sekvenční rozhodovací problémy; konečně stavové kontroléry; FSC; DQN; DDQN
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Využití zpětnovazebné učení a induktivní syntézy pro konstukci robustních kontroléru v POMDPs
Jednou ze současných výzev při sekvenční rozhodováním je práce s neurčitostí, která je způsobena nepřesnými senzory či neúplnou informací o prostředích, ve kterých bychom chtěli dělat rozhodnutí. Tato ...
Vliv AI nástrojů na kvalitu a bezpečnost kódu
Vinarčík, Peter; Holop, Patrik; Malinka, Kamil
2024 - anglický
Táto práca predstavuje novovytvorenú aplikáciu, ktorá je schopná vykonávať large scale výskum pre hodnotenie bezpečnosti a kvality kódu generovaného AI. Tiež bol predstavený nový spôsob vyhodnocovania bezpečnosti kódu generovaného AI, za využitia MITRE's metodológie v kombinácii so SAST toolmi vykonávajúcimi statickú analýzu nad kódom. Aplikácia je navyše rozšírená o vylepšeného AI chatbota, ktorého výstup je obohatený o výsledky statickej analýzy v čase generovania. Užívateľ vloží dataset promptov do aplikácie, a v prípade, že bol pre určitý prompt vygenerovaný kód so zraniteľnosťou, je táto zraniteľnosť ohodnotená zavedenou metodológiou a užívateľ dostáva informáciu nie len o tom, že kód je zraniteľný, ale ako veľmi. Súčasťou riešenia je aj oproti existujúcim výskumom veľké, pilotné testovanie popularných AI ako ChatGPT-4 či Gemini, nad datasetom promptov s využitím novej aplikácie. Výsledky ukázali dominanciu ChatGPT-4 bežiacom na modeli GPT-4, oproti ostatným testovaným AI. This work presents a newly developed application that is able to perform fully automated large-scale research for evaluating the safety and quality of AI-generated code. Also, a new way of evaluating the safety of AI-generated code has been presented, utilizing MITRE's methodology in combination with SAST tools performing static analysis on the code. In addition, the application is enhanced with an improved AI chatbot whose output is enhanced with the results of static analysis at generation time. The user inputs a dataset of prompts into the application, and if code with a vulnerability has been generated for a particular prompt, that vulnerability is scored by the established methodology, and the user is informed not only that the code is vulnerable, but how vulnerable it is. As part of the solution, large-scale, pilot testing of popular AIs, such as ChatGPT-4 or Gemini, is performed over a dataset of prompts using the new application, in contrast to existing studies. The results showed the dominance of ChatGPT-4 running on the GPT-4 model, over the other AIs tested.
Klíčová slova:
generative AI; llm; security; cybersecurity; static analysis; sast; bandit; semgrep; codeql; chatgpt; gpt; gemini; copilot; generatívna umelá inteligencia; llm; bezpečnosť; kyberbezpečnosť; statická analýza; sast; bandit; semgrep; codeql; chatgpt; gpt; gemini; copilot
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Vliv AI nástrojů na kvalitu a bezpečnost kódu
Táto práca predstavuje novovytvorenú aplikáciu, ktorá je schopná vykonávať large scale výskum pre hodnotenie bezpečnosti a kvality kódu generovaného AI. Tiež bol predstavený nový spôsob vyhodnocovania ...
Automaty ve verifikaci
Šmahlíková, Barbora; Holík, Lukáš; Lengál, Ondřej
2024 - anglický
Regulární model checking je technika pro verifikaci nekonečněstavových systémů založená na automatech. Konfigurace systému jsou dány konečným automatem a přechody mezi nimi konečným převodníkem. Algoritmus pro verifikaci libovolných vlastností parametrických systémů specifikovaných v temporální logice LTL(MSO) již existuje. V této práci představíme rozšíření tohoto algoritmu, které umožňuje verifikaci hypervlastností parametrických systémů, tedy vlastností, ve kterých lze explicitně kvantifikovat nad několika cestami v systému. Specifikujeme podmínky, které musí platit pro dvojici tzv. advice bitů (složené z konečného automatu a konečného převodníku), která slouží jako svěděk toho, že je daná vlastnost v systému splněna. Algoritmus představený v této práci je implementovaný v nástroji ParaHyper - jediném existujícím nástroji pro verifikaci hypervlastností parametrických systémů. Tento nástroj využívá SAT solveru pro generování automatů a převodníků. Pokud je nalezen takový pár, který vyhovuje podmínkám pro advice bity, vlastnost je v systému splněna. Bylo provedeno experimentální vyhodnocení představeného algoritmu a bylo zjištěno, že ParaHyper je schopen generovat advice bity pro formule s abecedou až o 4 symbolech, pokud mají automat i převodník nejvýše 2 stavy. Pokud jsou však automat i převodník zadány uživatelem, ParaHyper umí efektivně zkontrolovat, zda vyhovují podmínkám i v případě větších abeced a většího počtu stavů. Regular model checking is an automata-based technique used for verification of infinite-state systems. The configurations of a system are encoded as a finite automaton and transitions between these configurations as a finite transducer. A technique for verifying arbitrary properties of parameterized systems specified in a temporal logic LTL(MSO) has already been introduced. We present an extension of this algorithm allowing verification of hyperproperties of parameterized systems where an explicit quantification over multiple execution traces is allowed. We specify conditions that need to hold for a pair of advice bits (a finite automaton and a finite transducer) that serves as a witness of the fact that the property holds in the system. The technique presented in this work is implemented in our tool ParaHyper - the only existing tool for the verification of hyperproperties of parameterized systems. The tool uses a SAT solver to generate automata and transducers. If a pair satisfying the conditions for advice bits is found, the property holds in the system. We performed an experimental evaluation of our approach and found that ParaHyper is able to generate advice bits for formulae with an alphabet up to 4 symbols if both the automaton and the transducer have at most 2 states. When a candidate pair is given by the user, ParaHyper can, however, efficiently check if it satisfies the conditions for advice bits even for larger alphabets and greater number of states.
Klíčová slova:
regular model checking; hyperproperties; automata; verification; parameterized systems; regulární model checking; hypervlastnosti; automaty; verifikace; parametrizované systémy
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Automaty ve verifikaci
Regulární model checking je technika pro verifikaci nekonečněstavových systémů založená na automatech. Konfigurace systému jsou dány konečným automatem a přechody mezi nimi konečným převodníkem. ...
Generátor krátkých pulsů pro UWB aplikace
Sedláček, Matyáš; Pítra, Kamil; Štumpf, Martin
2024 - anglický
Tato diplomová práce je zaměřena na analýzu a návrh generátoru krátkých pulsů. Při vypracování jsou pro tvarování pulsu využity step recovery diody a reaktanční prvky. Za účelem simulace je odladěn ekvivalentí model SRD. Je proveden návrh tvarovacího obvodu, jehož vlastnosti jsou popsány za pomoci parametrické analýzy. Dále jsou prověřeny možné úpravy zapojení, např. zahrnutí pahýlů přenosových vedení, za účelem zlepšení výstupních parametrů zařízení. Je navržen budící obvod tvarovače a obvod napájení. Aby zařízení vyhovělo požadavkům na přenosnost a energetickou soběstačnost, je napájeno z baterie. Vlastnosti vyrobeného generátoru jsou následně ověřeny měřením. This master's thesis is concerned with the analysis and design of a short-pulse generator. It focuses on the utilization of step recovery diodes and reactance-based circuit elements. A model of the SRD for the use in simulation is tuned. A pulse shaping network (PSN) is designed, the properties of which are described via parametric analysis. Consequently, aiming at improving the output characteristics of the device, possible modifications to the circuit are explored, e.g., the inclusion of transmission line stubs. A PSN driver and supply circuits are designed. The pulse generator is powered by a battery, to comply with portability and energy self-sufficiency requirements. The properties of the manufactured generator are then tested via measurements.
Klíčová slova:
impulse generator; ultra-short voltage pulses; dioda s krokovým zotavením; ultra-wide band; unipolar pulse; impulsní generátor; krátké napěťové pulsy; step-recovery diode; ultra-wide band; unipolární puls
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Generátor krátkých pulsů pro UWB aplikace
Tato diplomová práce je zaměřena na analýzu a návrh generátoru krátkých pulsů. Při vypracování jsou pro tvarování pulsu využity step recovery diody a reaktanční prvky. Za účelem simulace je odladěn ...
Off-shore elektrárny a jejich začlenění do trhu s elektřinou
Souček, Tomáš; Vasil, Tomáš; Radil, Lukáš
2024 - anglický
Tato diplomová práce zkoumá integraci offshore nabídkových zón do evropského trhu s elektřinou, se zaměřením na ekonomické dopady omezení kapacity na pobřežní větrné farmy a roli Transmission Access Guarantee (TAG). Práce prozkoumává strategie integrace trhu a zdůrazňuje výzvy a řešení pro integraci pobřežních větrných farem za podmínek omezení kapacity. Klíčovým zjištěním je vliv kladných Power Transfer Distribution Factors (PTDFs) v nizozemských prvcích na kapacitu přenosu, jak klesají hodnoty Remaining Available Margin (RAM). Naopak zavedení českých prvků, i při vysokých PTDF, nemělo vliv na maximální Net Pozice. To naznačuje, že český provozovatel přenosové soustavy (PPS) nemusí mít obavy z finančních důsledků kompenzací souvisejících s offshore nabídkovými zónami, zatímco TSO blíže k těmto zónám musí být ostražitější. Studie zdůrazňuje význam přesného stanovení objemu a ceny TAG, aby se předešlo potenciálnímu zneužívání a zajistila se spravedlivá kompenzace. Zdůraznuje potřebu strategického řízení sítě, aby vyvážila stabilitu sítě s finančními riziky integrace obnovitelné energie. Tento výzkum poskytuje cenné poznatky pro tvůrce legislativy, provozovatele přenosových soustav a zainteresované strany v optimalizaci integrace zdrojů obnovitelné energie do evropské sítě, přispívajíc k udržitelnější a efektivnější energetické budoucnosti. This thesis examines the integration of offshore bidding zones into the European electricity market, focusing on the economic impacts of capacity constraints on offshore wind farms and the role of Transmission Access Guarantees (TAG). It explores market integration strategies, highlighting the challenges and solutions for integrating offshore wind farms under capacity constraints. A key finding is the influence of positive Power Transfer Distribution Factors (PTDFs) in Dutch elements on transmission capacity as Remaining Available Margin (RAM) values decrease. Conversely, the introduction of Czech elements, even with high PTDFs, did not impact the maximum net positions. This suggests that Czech TSOs need not worry about financial implications of compensations related to offshore bidding zones, while TSOs nearer to these zones must be more vigilant. The study emphasizes the importance of accurately defining TAG's volume and price to prevent potential gaming and ensure fair compensation. It underlines the need for strategic network management to balance grid stability with the financial risks of renewable energy integration. This research provides valuable insights for policymakers, TSOs, and stakeholders in optimizing the integration of renewable energy sources into the European grid, contributing to a more sustainable and efficient energy future.
Klíčová slova:
Offshore Bidding Zones; Electricity Market Integration; Capacity Constraints; Congestion Income; Transmission Access Guarantee (TAG).; Offshore nabídkové zóny; integrace trhu s elektřinou; omezení kapacity; příjem z přetížení; Transmission Access Guarantee (TAG)
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Off-shore elektrárny a jejich začlenění do trhu s elektřinou
Tato diplomová práce zkoumá integraci offshore nabídkových zón do evropského trhu s elektřinou, se zaměřením na ekonomické dopady omezení kapacity na pobřežní větrné farmy a roli Transmission Access ...
Studium chaotických oscilátorů s pasivními fraktálními dvojpóly
Ledvina, Matej; Kaller, Ondřej; Petržela, Jiří
2024 - anglický
Táto semestrálna práca sa zaoberá chaotickými obvodmi s fraktálnymi prvkami. V prvej časti sú prezentované fraktálne prvky, ich vlastnosti a spôsob syntézy. Tri takéto prvky sú navrhnuté, vyhotovené a merané. V druhej časti je krátky úvod do problematiky chaotických obvodov, a spôsobov ich syntézy. Následne sú prezentované dve metódy syntézy chaotických obvodov s názorným príkladom. Na koniec bol vybraný jeden chaotický system ktorý bol syntetizovaný do obvodu, odsimulovaný, zhotovený a experimentálne overený. This thesis deals with chaotic circuits of fractional order. First, an overview of fractal elements and their approximations is presented. Three fractal element approximations are then realized and tested. Next, a short overview of chaotic systems is presented and methods of synthesizing such systems into electrical circuits is discussed. Two methods are selected, and an example of synthesis with both methods is performed. Next, a known system with observed chaotic behavior is synthesized into a circuit, simulated, built. and experimentally verified.
Klíčová slova:
Fractal elements; fractal element approximations; Chua circuit; chaos; fractional order chaotic systems.; Fraktálne prvky; aproximácie fraktálnych prvkov; Chuov obvod; chaos; chaotické systémy fraktálneho rádu.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Studium chaotických oscilátorů s pasivními fraktálními dvojpóly
Táto semestrálna práca sa zaoberá chaotickými obvodmi s fraktálnymi prvkami. V prvej časti sú prezentované fraktálne prvky, ich vlastnosti a spôsob syntézy. Tri takéto prvky sú navrhnuté, vyhotovené a ...
Ztráty v asynchronních strojích napájených z měniče frekvence
Lípa, Miroslav; Vítek, Ondřej; Bárta, Jan
2024 - anglický
Diplomová práce se zabývá měřením asynchronního motoru se dvěma různými zdroji napájení, a to s frekvenčním měničem a generátorem. Tyto dva zdroje napájení byly následně simulovány pomocí metody konečných prvků a porovnány. První kapitola se zabývá popisem asynchronního stroje napájeného frekvenčním měničem a také doporučenými úpravami pro tento druh napájení, aby se předešlo co nejvíce nežádoucím jevům. Druhá kapitola se věnuje ztrátám asynchronního stroje. Třetí kapitola popisuje přístup k měření a vyhodnocování harmonických ztrát způsobených napájením z měniče a také standardizovaný přístup podle mezinárodních norem. Druhá polovina třetí kapitoly také popisuje výpočetní analýzu, která je v této práci použita ve formě analýzy konečných prvků. Nakonec jsou popsány nejistoty měření při použití standardní metody vstup-výstup. Ve čtvrté kapitole je představeno modelování v softwaru ANSYS MAXWELL, kde je nejprve popsána tvorba modelu specifikovaného stroje, poté jeho simulace se sinusovým napájením, a v druhé polovině je vysvětlena simulace s PWM napájením a jak bylo PWM replikováno pomocí naměřených průběhů. V páté kapitole jsou prezentovány všechny výsledky měření s vyhodnocením. Na konci kapitoly je uvedeno srovnání simulace a měření a jeho nedostatečná přesnost. The master's thesis deals with the measurement of an induction motor with two different power supplies, a frequency converter and a generator. Then these two power supplies were simulated using the finite element method and compared. The first chapter deals with the description of the asynchronous machine powered by the frequency converter and also the recommended modifications for this kind of power supply to avoid as many undesirable phenomena as possible. The second chapter deals with the losses of the asynchronous machine. The third chapter discusses the approach to measuring harmonic losses due to inverter power supply and also the standardized approach according to international standards. The second half of the third chapter also describes the computational analysis which is used in this thesis in the form of finite element analysis. Finally, the measurement uncertainties in the standard input-output method are described. In the fourth chapter, the modeling in ANSYS MAXWELL software is presented, where first the creation of a model of the specified machine is described, then its simulation with sinusoidal power supply, and in the second half the simulation with PWM power supply is explained and how the PWM was replicated using the measured waveforms. In the fifth section, all the measurement results are presented with figures to give a better idea of the results. At the end of the chapter, a comparison of the simulation and measurements and its lack of accuracy is presented.
Klíčová slova:
Induction motor; harmonic losses; frequency converter; induction motor losses; measurement of induction motor; electromagnetic model; finite element method; simulation comparison; additional losses.; Asynchronní motor; harmonické ztráty; frekvenční měnič; ztráty indukčního motoru; měření asynchronních motorů; elektromagnetický model; metoda konečných prvků; porovnání simulace; přídavné ztráty.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Ztráty v asynchronních strojích napájených z měniče frekvence
Diplomová práce se zabývá měřením asynchronního motoru se dvěma různými zdroji napájení, a to s frekvenčním měničem a generátorem. Tyto dva zdroje napájení byly následně simulovány pomocí metody ...
Energetické využití parkovacích ploch na VUT v Brně
Al Halabi, Enas; Vrána, Michal; Paar, Martin
2024 - anglický
Diplomová práce se zaměřuje na koncept solárních carportů na parkovištích pro nabíjení elektromobilů (EV), popisuje jejich konstrukci, komponenty, konfiguraci a výhody. Práce zohledňuje potenciál EV pro poskytování služeb energetické síti, jako V2G, zdůrazňuje potřebu techniky inteligentní nabíjení, efekty kontrolovaného nabíjení, dále je přestaven největší realizovaný projekt solárního carportu v České republice. Hlavní částí práce je návrh tři solárních carportů pro vybrané parkovací plochy na VUT v Brně. Návrh a vyhodnocení solárních carportů s dobíjecími stanicemi pro elektromobily je provedená pomocí softwaru PV SOL. The diploma thesis is focused on the concept of solar carports in parking lots for charging electric vehicles (EVs), describes their structure, configuration, and benefits. The thesis considers the potential of EVs to provide services to the power grid such as V2G, it emphasizes the need for smart charging techniques, the effects of controlled charging, and also an overview of the largest implemented project of solar carports in the Czech Republic. The main part of the thesis is the design of three solar carports for selected parking area at Brno University of Technology. The design and evaluation of solar carports equipped with charging stations for EVs are realized by using PV SOL software.
Klíčová slova:
Solar energy; PV; Electric vehicles; Car parking lots; EVs Charging; Smart charging; EVSPLs; Solar carport; V2G.; Solární energie; PV; Elektrická vozidla; Solární Parkoviště; Nabíjení elektromobilů; Chytré nabíjení; EVSPL; Solární carport; V2G.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Energetické využití parkovacích ploch na VUT v Brně
Diplomová práce se zaměřuje na koncept solárních carportů na parkovištích pro nabíjení elektromobilů (EV), popisuje jejich konstrukci, komponenty, konfiguraci a výhody. Práce zohledňuje potenciál EV ...
Využitelnost nízkonákladových pikosatelitů
Roman, Maroš; Zamazal, Michal; Povalač, Aleš
2024 - anglický
Tato práce zkoumá využitelnost platforem picosatelitů nebo femtosatelitů ve vzdělávání. Popisuje se zde návrh femtosatelitové platformy jménem Femtostrat-1, která může sloužit jako vzdělávací nástroj pro univerzitní laboratorní cvičení. Platforma je navržena tak, aby obsahovala všechny systémy, které se očekávají na skutečné satelitní platformě. Jsou probírány možnosti využití této platformy, včetně různých metod vypuštění nebo různých komunikačních standardů. Navíc tato práce práce popisuje návrh a realizaci letového modelu Femtostrat-1. Na závěr je popsán stratosférický testovací let Femtostrat-1 a výsledky tohoto letu. This thesis verifies the applicability of picosatellite or femtosatellite platforms in education. It describes the design of a femtosatellite platform, called Femtostrat-1, that can serve as an educational tool for university laboratory exercises. The platform is designed to contain all of the systems expected to be used on a real satellite platform. The options for usage of this platform are discussed, including multiple launch methods or different communication standards. Additionally, the thesis describes the design and implementation of a Femtostrat-1 flight model. Last, the stratospheric test flight of the Femtostrat-1 is described and its results are detailed.
Klíčová slova:
femtosatellite; stratospheric launch; education; LoRa; LoRaWAN; system engineering; femtosatelity; stratosférický let; vzdělávání; LoRa; LoRaWAN; systémové inženýrství
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Využitelnost nízkonákladových pikosatelitů
Tato práce zkoumá využitelnost platforem picosatelitů nebo femtosatelitů ve vzdělávání. Popisuje se zde návrh femtosatelitové platformy jménem Femtostrat-1, která může sloužit jako vzdělávací nástroj ...
Elektronika pro vyčítání scintilačních detektorů a koaxiální RF vedení pro svazek VITO v zařízení ISOLDE vCERN
Havránek, Daniel; Valúch,, Daniel; Král, Jan
2024 - anglický
VITO (Versatile Ion polarisation Technique Online) beamline experiment se zabývá měřením hyperjemných struktur. Pro jejich měření se využívá RF (Radio Frequency) spektroskopie. Pro RF spektroskopii je nutné navrhnout a simulacemi ověřit aparaturu pro vytvoření interakční oblasti RF a atomového/iontového svazku umožňující RF spektroskopii krátce žijících radioaktivních atomových/iontových svazků s nízkou energií. Důraz je kladen na uniformní rozložení RF pole. Kvůli potřebě uniformního rozložení RF pole je návrh zaměřen na přenosové vedení typu stripline a kvůli nízké energii krátce žijících radioaktivních svazků je jako dielektrikum zvoleno vakuum. VITO beamline se rovněž zabývá -NMR (Nuclear Magnetic Resonance). -NMR je vysoce přesná metoda určení magnetických momentů krátkodobě žijících isotopů s využitím částic vyzářených při při rozpadu izotopů. Tato diplomová práce se rovněž zabývá návrhem elektroniky pro nový detektor, který bude využit pro -NMR beamline VITO v ISOLDE (Isotope mass Separator On-Line facility) zařízení v CERNu (Conseil Européen pour la Recherche Nucléaire). VITO (Versatile Ion polarisation Technique Online) beamline experiment is focused on measuring hyperfine structures. RF (Radio Frequency) spectroscopy is used for the measurement. For performing the RF spectroscopy it is necessary to design an RF interaction region for RF spectroscopy of short-lived radioactive atom/ion beams with low energy and verify its parameters and properties by simulation. An important aspect of the RF interaction region is its uniformity. Therefore a vacuum spaced stripline geometry was employed. VITO beamline also focuses on -NMR (Nuclear Magnetic Resonance). -NMR is a method to determine the magnetic moments of short-lived isotopes with very high precision using particles emitted when the isotopes decay. This master thesis is also focused on the development of electronics for a particle detector to be used at the -NMR beamline VITO at ISOLDE (Isotope mass Separator On-Line facility) facility at CERN (Conseil Européen pour la Recherche Nucléaire).
Klíčová slova:
Transmission line; stripline; coaxial line; impedance matching; amplifier; RF spectroscopy; -NMR; SiPM; AD8001; AD8007; VITO beamline; ISOLDE; CERN.; Přenosové vedení; stripline; koaxiální vedení; impedanční přizpůsobení; zesilovač; RF spektroskopie; -NMR; SiPM; AD8001; AD8007; VITO beamline.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Elektronika pro vyčítání scintilačních detektorů a koaxiální RF vedení pro svazek VITO v zařízení ISOLDE vCERN
VITO (Versatile Ion polarisation Technique Online) beamline experiment se zabývá měřením hyperjemných struktur. Pro jejich měření se využívá RF (Radio Frequency) spektroskopie. Pro RF spektroskopii je ...
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze