Ne (7494)
Počet nalezených dokumentů:
7494
Publikováno od
do
Převodníky v automatové knihovně Mata
Chocholatý, David; Lengál, Ondřej; Holík, Lukáš
2024 - anglický
Implementujeme konečné převodníky do nové rychlé a jednoduché automatové knihovny Mata. Konečné převodníky jsou konečné stavové stoje modelující regulární relace. Naše hlavní použití pro konečné převodníky je kódovaní operací nahrazení (nahrazení slova nebo regulárního vzoru řetězcem). Nový SMT nástroj pro řešení formulí s omezeními nad řetězci Z3-Noodler používá knihovnu Mata jako základ pro jeho rozhodovací proceduru. Noodler potřebuje konečné převodníky k analýze programů manipulujících s řetězci s operacemi nahrazení. Analýzou zmíněných programů používaných ve webových aplikacích se zabrání útokům jako cross-site scripting (XSS) nebo vložení kódu. Hlavní odlišující vlastnosti knihovny Mata zahrnují jednoduchost (jednoduchá k užívání, úpravě a rozšíření) a efektivitu (pracuje rychle). Reprezentaci a algoritmy pro konečné převodníky jsme navrhli s ohledem na tyto vlastnosti knihovny. K reprezentaci konečných převodníků a jejich algoritmů znovupoužijeme a rozšíříme existující datové struktury a algoritmy pro konečné automaty v knihovně Mata. Reprezentace pro konečné převodníky slouží jako společná reprezentace pro konečné převodníky a budoucí reprezentaci automatů využívajících multi-terminálních binárních rozhodovacích diagramů pro práci s velkými abecedami. Navíc rozšíříme návrh o algoritmy pro konstrukci konečných převodníků modelujících operace nahrazení definovaných v SMT-LIB. Nakonec experimentálně vyhodnotíme efektivitu konečných převodníků v knihovně Mata na nové sadě příkladů s operacemi nahrazení z běhů nástroje Z3-Noodler a z řešení problémů nalezení vzoru. We implement finite transducers in a new fast and simple automata library Mata. Finite transducers are finite state machines modelling rational relations. Our primary use case for finite transducers is encoding replace operations (replacing a word or a regular pattern with a string literal). A recent automata-based SMT string solver Z3-Noodler uses Mata as a backbone of its decision procedure. Z3-Noodler needs finite transducers to analyse string manipulating programs with replace operations. The analysis of said programs used in web applications prevents software attacks such as cross-site scripting (XSS) or code injection. The distinctive features of Mata include simplicity (simple to use, modify and extend) and efficiency (fast to run). We design the representation and algorithms for finite transducers to fit the simplicity and efficiency requirements. We inherit and extend the existing data structures and algorithms for finite automata in Mata to represent the finite transducers and their operations. The representation for finite transducers serves as a common data structure and interface for the finite transducers and future representation of automata using multi-terminal binary decision diagrams to handle large alphabets. We further extend the design with algorithms to construct finite transducers modelling replace operations defined in SMT-LIB. Finally, we run an experimental evaluation of performance of finite transducers in Mata on a new benchmark with replace operations from runs of Z3-Noodler and from solving problems in pattern matching.
Klíčová slova:
finite transducers; finite automata; replace operations; string solving; string constraints; SMT; efficiency; simplicity; verification; cross-site scripting; code injection; browser transductions; composition; projection; application; nondeterminism; konečné převodníky; konečné automaty; operace nahrazení; řešení řetězcových problémů; řetězcová omezení; SMT; efektivita; jednoduchost; verifikace; cross-site scripting; vložení kódu; prohlížečové transdukce; kompozice; projekce; aplikace; nedeterminismus
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Převodníky v automatové knihovně Mata
Implementujeme konečné převodníky do nové rychlé a jednoduché automatové knihovny Mata. Konečné převodníky jsou konečné stavové stoje modelující regulární relace. Naše hlavní použití pro konečné ...
Detekce zranitelností v kontejnerových obrazech
Findra, Michal; Malinka, Kamil; Pavela, Jiří
2024 - anglický
Práca sa zaoberá automatizovaným bezpečnostným rozborom kontajnerových obrazov v distribuovanom prostredí. Popísané sú aktuálne zraniteľnosti v týchto prostrediach a nástojenie, ktoré sa zaoberajú analýzou kontajnerových obraz, slúžiacich ako vzor na vytvorenie daného kontajneru. Popísané je získanie popisu prostredia, následného spracovania do formátu zmysluplného pre vyvíjaný nástroj Vulntron. Vulntron slúži na automatizáciu tohoto procesu, bezpečnostnú analýzu jednotlivých komponentov kontajnerového obrazu a následný report do vizuálnej aj technicky ďalej spracovateľnej podoby. Súčasťou implementácie bude aj praktické nasadenie nástroja do rôznych typov vývojového procesu vrámci firmy Red Hat. The work focuses on the problem of automated security analysis of container images in a distributed environment. It describes present vulnerabilities in these environments and tools that deal with the analysis of container images that serve as a template for deploying a specific container. The process involves acquiring an environment description and subsequently processing it into a format meaningful for Vulntron tool developed as part of this thesis. Vulntron automates this process, performs a security analysis of individual components of the container image, and generates a report in a visually and technically processable format. The thesis also includes practical integration in form of Vulntron deployment into various types of development processes within the Red Hat company.
Klíčová slova:
Vulntron; Container image; Container security; Security analysis; Grype; Syft; SBOM; Vulnerability detection; CI-CD; Vulntron; Kontajnerový obraz; Kontajnerová bezpečnosť; Bezpečnostná analýza; Grype; Syft; SBOM; Detekcia zraniteľností; CI-CD
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Detekce zranitelností v kontejnerových obrazech
Práca sa zaoberá automatizovaným bezpečnostným rozborom kontajnerových obrazov v distribuovanom prostredí. Popísané sú aktuálne zraniteľnosti v týchto prostrediach a nástojenie, ktoré sa zaoberajú ...
Detekce klíčových informací v hovorech na tísňové linky
Sarvaš, Marek; Plchot, Oldřich; Schwarz, Petr
2024 - anglický
Tiesňové volania sa zvyčajne uskutočňujú v extrémne stresujúcich podmienkach, kde volajúci často poskytuje dôležité informácie rýchlo, čo sťažuje operátorom tiesňovej linky presne zachytiť všetky podrobnosti. To môže viesť k opakovaným otázkam o už poskytnutých informáciách a oneskoreniu reakcie pohotovostnej služby. Cieľom tejto práce je zmierniť tento problém a potenciálne urýchliť reakciu pohotovostných služieb nasadením neurónovej siete na extrakciu informácií, konkrétne so zameraním na úlohu Rozpoznávania pomenovaných entít (NER). Táto práca skúma rôzne prístupy založené na architektúre typu Transformers, ako sú predtrénované enkodér modely, enkodér-dekodér (sequence-2-sequence) a veľké jazykové modely. Vybrané modely dosiahli zatiaľ najlepšie výsledky na verejne dostupných českých NER datasetoch. Okrem toho boli vytvorené nové NER datasety z poskytnutých nahrávok skutočných tiesňových volaní a odpovedajúcich metadát. Predstavené modely boli natrénované a vyhodnotené na týchto novovytvorených datasetoch a úspešne dosiahli rozumné výsledky pre extrakciu mien a polohy. Emergency calls are usually made under extremely stressful conditions, where callers often provide crucial information rapidly, making it difficult for emergency line agents to capture all details accurately. This can result in repeated questions about information that was already provided and cause delays in response times from emergency services. This work aims to mitigate this problem and potentially speed up the response of emergency services by deploying a neural network models for information extraction, specifically targeting the Named Entity Recognition (NER) task. This work explores various Transformer-based approaches for NER task, such as pre-trained encoder-only, encoder-decoder (sequence-2-sequence) and Large Language Models. The best models achieved state-of-the-art results on publicly available Czech NER datasets. In addition, new NER datasets were created from available recordings of real emergency calls and the corresponding metadata. The models were trained and evaluated on the created datasets successfully achieving reasonable performance in name and location extraction.
Klíčová slova:
natural language processing; Named Entity Recognition; emergency line calls; Large Language Models; spracovanie prirodzeného jazyka; rozpoznávanie menných entít; hovory tiesňovej linky; veľké jazykové modely
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Detekce klíčových informací v hovorech na tísňové linky
Tiesňové volania sa zvyčajne uskutočňujú v extrémne stresujúcich podmienkach, kde volajúci často poskytuje dôležité informácie rýchlo, čo sťažuje operátorom tiesňovej linky presne zachytiť všetky ...
Návrh a výroba FDM tiskárny pro testování pokročilých tiskových funkcí
Haris, Kristián; Slabý, Vojtěch; Kšica, Filip
2024 - anglický
Táto bakalárska práca sa zaoberá procesom navrhovania a zostavovania FDM tlačiarne, na ktorej budú otestované pokročilé tlačové funkcie. Prvá časť pokrýva teoretické podklady pre mechaniku a software, ktorý bude použitý. Druhá časť prechádza samotným návrhom a zostavením tejto tlačiarne, vrátane ladenia a sprevádzkovania. Práca je zakončená porovnaním s komerčnou tlačiarnou. This bachelor thesis describes the process of designing and building an FDM printer to test advanced printing functions. The first part covers the theoretical background for the mechanics and software involved. The second part explains the design and build process, including calibration and tuning. Lastly, the work is concluded by a comparison with a commercial printer.
Klíčová slova:
FDM; 3D printing; CoreXY; Input shaping; FDM; 3D tlač; CoreXY; Input shaping
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Návrh a výroba FDM tiskárny pro testování pokročilých tiskových funkcí
Táto bakalárska práca sa zaoberá procesom navrhovania a zostavovania FDM tlačiarne, na ktorej budú otestované pokročilé tlačové funkcie. Prvá časť pokrýva teoretické podklady pre mechaniku a software, ...
Svolávací systém pro dobrovolný hasičský sbor
Čajka, Peter; Firc, Anton; Malinka, Kamil
2024 - anglický
Proces zhromažďovania dobrovoľných hasičov pri vzniknutej pohotovosti je častokrát neoptimálny. V kritických situáciach je každá sekunda dôležitá. Cieľom tejto diplomovej práce je vytvoriť mobilnú aplikáciu, ktorá zjednoduší dobrovoľným hasičom proces informovania o nežiaducej udalosti. Výsledný produkt bude mobilná aplikácia pre operačný systém Android, ktorá v prípade pohotovosti dokáže urýchlene rozoslať SMS správy všetkým členom v zbore a v zápätí obdržať ich odpoveď. The process of gathering volunteer firefighters in case of an emergency is often not optimal. In critical situations, every second counts. The goal of this thesis is to create a mobile application that simplifies the process of informing volunteer firefighters about an emergency event. The resulting product will be a mobile application for the Android operating system, capable of rapidly sending SMS messages to all members of the volunteer fire department in case of an emergency and subsequently receiving their responses.
Klíčová slova:
volunteer firefighters; mobile application; location tracking; SMS; Firebase; dobrovoľní hasiči; mobilná aplikácia; sledovanie polohy; SMS; Firebase
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Svolávací systém pro dobrovolný hasičský sbor
Proces zhromažďovania dobrovoľných hasičov pri vzniknutej pohotovosti je častokrát neoptimálny. V kritických situáciach je každá sekunda dôležitá. Cieľom tejto diplomovej práce je vytvoriť mobilnú ...
Fúze obrazových a nemřížkových dat pro segmentaci objektů
Repka, Samuel; Nosko, Svetozár; Zemčík, Pavel
2024 - anglický
Objekt záujmu sa často dá popísať viacerými dátovými zdrojmi. Napríklad, z obrazu auta sa dá zistiť farba, značka, alebo aj jeho typ. Čo sa ale najskôr nedá, je zistiť stav motora, či beží alebo nie. Táto informácia sa ale dá zistiť inak, sluchom alebo aj dotykom. Aj keď je možné, že jeden dátový zdroj poskytuje všetky potrebné informácie, pridanie modality môže zlepšiť riešenie, kvôli možnej komplementarite dát. Tento proces dátovej fúzie môže byť ale pomerne komplikovaný proces. Rôzne dáta majú rôzne vlastnosti, štruktúry a rôzne výzvy, ktoré s nimi súvisia. Existuje veľké množstvo rôznych metód dátovej fúzie, ktoré sú ale často aplikovateľné len na konkrétne modality. Táto práca prezentuje nový prístup k dátovej fúzii dvoch modalít, primárne za účelom segmentácie obrazu. Jedna z modalít je obraz, druhá je ľubovoľná neštrukturovaná modalita. Prezentovaná metóda využíva graf na spoločnú reprezentáciu oboch modalít, dizajnovanú tak, aby čo najpresnejšie zachytila závislosti v modalitách aj medzi nimi. Graf je potom spracovaný, výsledkom čoho je graf so spojenými dátami, alebo aj priama segmentácia. Prezentované riešenie bolo otestované na dvoch datasetoch (z oblasti mineralógie a drevárskeho priemyslu) a porovnané s inými metódami. Výsledky ukazujú, že riešenie má veľký potenciál ale aj svoje limitácie. V prípade datasetu z mineralógie, výsledky boli výborné a ukazujú, že metóda je schopná dátovej fúzie a dokáže prekonať aj súčasné metódy vo viacerých metrikách. V druhom prípade, výsledky až tak jednoznačné neboli, pretože metóda nevylepšila výsledky v porovnaní s iným riešením, čo ale mohlo byť spôsobené aj ťažkým datasetom. Quite often, a phenomenon of interest can described by more than one data source. For example, a car's appearance shows its colour and brand, but not its engine status. However, other data sources do provide us with this information, be it a sound or mere touch. Such data source is often referred to as a modality. While using a single data source to extract the needed information may be sufficient, the addition of more modalities can be beneficial, because of their complementary nature. This data fusion, however, may be a quite challenging process. Different kinds of data have different properties, structures and various challenges connected to them. A plethora of different methods has been proposed, but usually, the methods are very data-dependent. This thesis presents a new approach to the fusion of two modalities, primarily for the purpose of image segmentation. One of the modalities is image, and the second one is any non-grid-like modality. The method uses a graph to jointly represent both modalities, aiming to capture the intra and inter-modalities relationships as accurately as possible. The graph is then processed, producing a graph with fused data, or a direct segmentation. The proposed method was evaluated on two datasets (from the fields of mineralogy and timber processing) and compared to another solution, showing both the potential and limitations of the method. In case of the mineralogy dataset, the results are very encouraging, showing that the method is capable of data fusion, even outperforming a contemporary method. In case of the timber dataset, the results were not as conclusive, as the method failed to improve the results when compared to a baseline solution, which may have been caused by a challenging dataset.
Klíčová slova:
computer vision; multimodal data; data fusion; image segmentation; počítačové videnie; multimodálne dáta; dátová fúzia; segmentácia obrazu
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Fúze obrazových a nemřížkových dat pro segmentaci objektů
Objekt záujmu sa často dá popísať viacerými dátovými zdrojmi. Napríklad, z obrazu auta sa dá zistiť farba, značka, alebo aj jeho typ. Čo sa ale najskôr nedá, je zistiť stav motora, či beží alebo nie. ...
Evaluating Reliability of Static Analysis Results Using Machine Learning
Beránek, Tomáš; Fiedor, Jan; Vojnar, Tomáš
2024 - anglický
Statický analyzátor Meta Infer je nástrojem pro hledání různých typů chyb ve zdrojovém kódu. Jeho výsledky však obsahují více než 95 % falešných hlášení. Tato teze navrhuje řešení, které řadí hlášení od Meta Inferu pomocí grafových neuronových sítí (GNN) podle pravděpodobnosti, že se jedná o skutečnou chybu, a redukuje tak problém s falešnými hlášeními. Systém se skládá z trénovací části, která převádí datovou sadu D2A – sadu roztříděných hlášení z Meta Inferu – na rozšířené grafy vlastností kódu (ECPG) a z modelů GNN natrénovaných na ECPG grafech. Výsledky experimentů ukazují, že vytvořené modely GNN mohou konkurovat a v některých případech dokonce překonat existující řešení vyvíjené silnými průmyslovými týmy. Tato existující řešení mají navíc uzavřený zdrojový kód, a tak řešení vytvořené v této tezi poskytuje slibnou alternativu s otevřeným zdrojovým kódem. The Meta Infer static analyzer is a tool for detecting various types of errors in source code. However, its results contain more than 95 % of false alarms. This thesis proposes a solution that ranks Infer’s reports using Graph Neural Networks (GNNs) based on the likelihood of being a real error, thus mitigating the issue with false alarms. The system consists of a training pipeline, which converts the D2A dataset – a set of labeled reports from Meta Infer – into Extended Code Property Graphs (ECPGs) and GNN models trained on these ECPGs. Experimental results indicate that the developed GNN models can match, and in some cases even surpass, existing models developed by strong industrial teams. Moreover, these existing solutions are closed source, making the solution developed in this thesis a promising open-source alternative.
Klíčová slova:
Static analysis; Meta Infer; deep learning; graph neural networks; false alarm detection; vulnerability detection; code property graphs; LLVM internal representation; Joern; LLVM Slicer; program slicing; graph representation construction; source code analysis; D2A dataset; graph D2A dataset; extended code property graphs.; Statická analýza; Meta Infer; hluboké učení; grafové neuronové sítě; detekce falešných hlášení; detekce zranitelností; grafy vlastností kódu; interní reprezentace LLVM; Joern; LLVM Slicer; prořezávání programů; konstrukce grafové reprezentace; analýza zdrojového kódu; dataset D2A; grafový D2A; rozšířené grafy vlastností kódu.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Evaluating Reliability of Static Analysis Results Using Machine Learning
Statický analyzátor Meta Infer je nástrojem pro hledání různých typů chyb ve zdrojovém kódu. Jeho výsledky však obsahují více než 95 % falešných hlášení. Tato teze navrhuje řešení, které řadí hlášení ...
Dělení textu do logických celků
Kostelník, Martin; Kišš, Martin; Beneš, Karel
2024 - anglický
Cílem projektu bylo vytvořit systém pro automatickou segmentaci textu do logických celků. Práce staví na systému PERO-OCR a cílí na zlepšení zpracovávání českých historických dokumentů a jejich vyhledávačů používaných knihovníky a vědci. Práce zahrnovala vytvoření a anotace vlastní datové sady složené celkem z 4044 stránek z knih, slovníků a novin. K problému segmentaci textu je přistoupeno inovativních přístupem, kdy je brán jako shlukovací problém jednotlivých řádků textu. Metoda je dvoufázová: nejprve probíhá detekce regionů textu pomocí modelu YOLOv8 a následuje jejich spojení grafovou neuronovou sítí. Vyhodnocení je provedeno pomocí shlukovací metriky V-measure a na testovacím datasetu dosahuje hodnot 77.93 % pro knihy, 95.79 % pro slovníky a 90.23 % pro noviny. The goal of this project is the topic segmentation of text into coherent units. It builds on the PERO-OCR software, aiming to improve the processing of Czech historical documents and information retrieval for librarians and scientists. This included the creation and annotation of a custom dataset comprised of 4044 pages from books, dictionaries, and periodicals. I propose an innovative approach treating segmentation as a line clustering problem. The method involves a two-stage process: initial detection of regions of interest containing text lines using the YOLOv8 model, followed by joining them using a graph neural network. This method achieves a V-measure of 77.93 %, 95.79 % and 90.23 % for books, dictionaries and periodicals, respectively.
Klíčová slova:
text segmentation; machine learning; optical character recognition; OCR; language models; graph neural networks; object detection; BERT; YOLOv8; historical documents; segmentace textu; strojové učení; optické rozpoznávání znaků; OCR; jazykové modely; grafové neuronové sítě; detekce objektů; BERT; YOLOv8; historické dokumenty
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Dělení textu do logických celků
Cílem projektu bylo vytvořit systém pro automatickou segmentaci textu do logických celků. Práce staví na systému PERO-OCR a cílí na zlepšení zpracovávání českých historických dokumentů a jejich ...
Procedurální herní prvky na základě zvuků
Ješko, Patrik; Milet, Tomáš; Polášek, Tomáš
2024 - anglický
Táto bakalárska práca sa zaoberá manipuláciou objektov v hernom prostredí Unity na báze hudby. V tomto projekte sa pozrieme na Rýchlu Fourierovu Transformáciu, detekciu nástupov, generáciu dôb a vhodnú funkcionalitu v Unity. Testovanie s uživateľmi a experimentácia demonstrujú potenciál navrhnutej implementácie a funkcionalite pluginu. Zámer tohto projektu je inšpirovať inováciu v tejto sfére a využiť hudbu ako kreatívny nástroj do nie len hier ale aj ostatných digitálnych medii. This thesis explores music-driven object manipulation in the Unity game engine, which offers a versatile toolset for artists and creators looking to integrate dynamic elements based on background music. This project implements Fast Fourier Transform using an external library, Onset Detection, beat generation, and related functionalities within Unity. Consumer testing and experimentation demonstrate the potential of the plugin's implementation and functionality. By creating this proof of concept, the intention is to inspire further innovation in this area and leverage music as a creative tool in not only game design but other media as well.
Klíčová slova:
Fast Fourier Transform; Beat Generation; Unity Game Engine; Onset Detection; Dynamic environment; Sound analysis; Rýchla Fourierova Transformácia; Generovanie dôb; Herné prostredie Unity; Detekcia nástupov; Dynamické prostredie; Analýza zvukou
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Procedurální herní prvky na základě zvuků
Táto bakalárska práca sa zaoberá manipuláciou objektov v hernom prostredí Unity na báze hudby. V tomto projekte sa pozrieme na Rýchlu Fourierovu Transformáciu, detekciu nástupov, generáciu dôb a ...
Vývoj infračervené spektroskopie s Fourierovou transformací v silných magnetických polích
Dubnická Midlíková, Jana; Marsik, Přemysl; Schnegg, Alexander; Neugebauer, Petr
2024 - anglický
Infračervená spektroskopie s Fourierovou transformací (FTIR) v silných magnetických polích, zkráceně FTIR magnetospektroskopie, je výkonná spektroskopická technika používaná ke zkoumání mnoha důležitých jevů v materiálech, např. elektronové paramagnetické rezonance, cyklotronové rezonance a přechodů mezi Landauovými hladinami. Navzdory svému obrovskému potenciálu ve fyzice pevných látek jsou infračervené magnetospektrometry stále poměrně vzácné a vyráběné na zakázku, protože takové systémy obvykle vyžadují složitou infrastrukturu. Tato disertační práce podrobně popisuje návrh a realizaci univerzálního FTIR magnetospektroskopického zařízení pracujícího v rozsahu 50 – 10 000 cm-1, silném magnetickém poli až 16 T a teplotách mezi 2 – 320 K umístěné na Středoevropském technologickém institutu VUT v Brně. Toto zařízení nám umožňuje provádět různá magnetooptická měření v rozsahu od THz/vzdálené infračervené oblasti (FIR) až po blízkou infračervenou oblast (NIR). Skládá se z komerčního FTIR spektrometru spojeného s 16 T bezkryogenním supravodivým magnetem pomocí na míru navržené optické spojky a přenosových sond určených pro experimenty s více detektory a vzorky ve Faradayově geometrii. Novinka tohoto uspořádání spočívá v použití supravodivého magnetu bez kryogenu. Optimalizovali jsme a otestovali výkonnost FTIR magnetospektroskopického zařízení pro různé konfigurace a určili použitelný rozsah zařízení. Funkčnost FTIR magnetospektroskopického zařízení byla prokázána magnetooptickými měřeními štěpení při nulovém poli v jednoiontovém magnetu na bázi kobaltu(II) v oblasti FIR, nepřímých mezipásmových přechodů mezi Landauovými hladinami (LLs) v germániu v NIR oblasti a mezipásmových přechodů mezi LLs v grafenu v oblasti FIR. Kromě toho jsme změřili volt-ampérové charakteristiky grafenových bolometrických zařízení. Fourier-transform infrared (FTIR) spectroscopy in high magnetic fields, concisely FTIR magneto-spectroscopy, is a powerful spectroscopic technique used to investigate many important effects in materials, e.g., electron paramagnetic resonance, cyclotron resonance, and transitions between Landau levels. Despite their enormous potential in solid-state physics, infrared magneto-spectrometers are still relatively rare and custom-made since such systems generally require complex infrastructure. This doctoral thesis describes in detail the design and implementation of a versatile FTIR magneto-spectroscopic setup operating in the range of 50 – 10 000 cm-1, high magnetic field up to 16 T and temperatures between 2 – 320 K located at the Central European Institute of Technology of Brno University of Technology. This setup allows us to perform a variety of magneto-optical measurements spanning the range from THz/far-infrared (FIR) to near-infrared (NIR). It consists of a commercial FTIR spectrometer coupled to a 16 T cryogen-free superconductive magnet by the custom-designed optical coupling and transmission probes designed for experiments with multiple detectors and samples in Faraday geometry. The novelty of the setup lies in the usage of a cryogen-free superconducting magnet. We have optimized and tested the performance of the FTIR magneto-spectroscopic setup for various configurations and determined a workable setup range. The functionality of the FTIR magneto-spectroscopic setup was demonstrated by the magneto-optical measurements of the zero-field splitting in cobalt(II)-based single ion magnet in the FIR region, indirect inter-band transitions between Landau levels (LLs) in germanium in the NIR region, and inter-band transitions between LLs in graphene in the FIR region. Moreover, we measured the I-V characteristics of graphene bolometer devices.
Klíčová slova:
Fourier-transform infrared (FTIR) magneto-spectroscopy; FTIR magneto-spectroscopic setup; cryogen-free superconducting magnet; single-molecule magnets; electron paramagnetic resonance; Landau levels; infračervená magnetospektroskopie s Fourierovou transformací (FTIR); FTIR magnetospektroskopické zařízení; supravodivý magnet bez kryogenu; jednomolekulové magnety; elektronová paramagnetická rezonance; Landauovy hladiny
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Vývoj infračervené spektroskopie s Fourierovou transformací v silných magnetických polích
Infračervená spektroskopie s Fourierovou transformací (FTIR) v silných magnetických polích, zkráceně FTIR magnetospektroskopie, je výkonná spektroskopická technika používaná ke zkoumání mnoha ...
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