Ne (3862)
Počet nalezených dokumentů:
3862
Publikováno od
do
Vývoj keramického filtračního zařízení pro elektroizolační kapaliny
Havlíková, Tereza; Cihlář, Jaroslav; Maca, Karel
2024 - anglický
Cílem této diplomové práce byla příprava makroporézních keramických filtrů na bázi mullitu a oxidu křemičitého, které by byly vhodné pro filtraci elektroizolačních kapalin v distribučních transformátorech. První část této práce tvoří literární rešerše, která se zabývá tématem elektroizolačních kapalin a jejich degradace, metodami přípravy makroporézní keramiky a jejího využití pro filtraci, včetně přehledu používaných materiálů. Experimentální část se zabývá přípravou porézních filtrů pomocí dvou vybraných metod, replikační metody a přímého pěnění. U filtrů připravených pomocí optimalizovaných parametrů bylo vyhodnoceno fázové složení, mikrostruktura a pevnost v tlaku. Filtry připravené replikační metodou byly tvořeny otevřenými propojenými póry o velikosti 150 až 350 µm, dosahovaly porozity kolem 80 % a pevnosti v tlaku až 2,4 MPa. Keramické pěny získané přímým pěněním dosahovaly porozity 68-73 % a otevřených propojených pórů menších než 100 µm. Filtry bylo nutné zvětšit na rozměry dané filtračním zařízením. Přímé pěnění se ukázalo jako nevhodné pro přípravu filtrů ve větším měřítku, nicméně filtry připravené replikační metodou byly úspěšně zvětšeny a jsou připraveny pro testování jejich filtrační schopnosti. Tyto filtry s otevřenými propojenými póry, unimodálním rozložením velikosti pórů a dostatečnou mechanickou pevností jsou potenciálními kandidáty pro použití v prvním kroku filtrace elektroizolačních kapalin a mohou tak představovat udržitelnější alternativu k v současnosti používaným papírovým filtrům. The aim of this master’s thesis was to prepare macroporous ceramic filters based on mullite and silica, suitable for the filtration of electro-insulating liquids in distribution transformers. The first part of this thesis is a literature review, which addresses the topic of electro-insulating liquids and their degradation, processing techniques of macroporous ceramics and their use in filtration, including an overview of the materials used. The experimental part describes the preparation of porous filters using two selected methods, the replica template method and direct foaming. Filters prepared with optimised processing parameters were evaluated for phase composition, microstructure and compressive strength. Filters prepared using the replica template method consisted of open interconnected pores ranging from 150 to 350 µm, achieved a porosity of around 80 % and compressive strength up to 2.4 MPa. Ceramic foams obtained using direct foaming achieved a porosity of 68–73 % and open interconnected pores up to 100 µm. Due to the requirements of the filtration equipment, the dimensions of the filters had to be scaled up. Direct foaming was found to be unsuitable for the large-scale preparation of filters, however, filters prepared by the replica template method were successfully scaled up and are ready for the testing of their filtration capacity. These filters with open interconnected pores, unimodal pore size distribution and sufficient mechanical strength are potential candidates for use in the first stage of filtration of electro-insulating liquids, offering a more sustainable alternative to the currently used paper filters.
Klíčová slova:
macroporous ceramics; ceramic filters; mullite; silica; replica template method; direct foaming; electro-insulating liquid; makroporézní keramika; keramické filtry; mullit; oxid křemičitý; replikační metoda; přímé pěnění; elektroizolační kapalina
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Vývoj keramického filtračního zařízení pro elektroizolační kapaliny
Cílem této diplomové práce byla příprava makroporézních keramických filtrů na bázi mullitu a oxidu křemičitého, které by byly vhodné pro filtraci elektroizolačních kapalin v distribučních ...
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é ...
Vývoj infrastruktury pro testování materiálů při působení vakua – outgassing
Večeřa, Tomáš; Mašek, Jakub; Lazar, Václav
2024 - anglický
Tato diplomová práce se zabývá návrhem testovacího zařízení pro testování odplyňování (outgassing) materiálů. V teoretické části jsou popsány standarty zabývající se danou tématikou a je provedena rešerše existujících zařízení z veřejně dostupných zdrojů. Výstup teoretické části je seznam celkem sedmnácti požadavků, které musí výsledné zařízení splňovat. V praktické části je vytvořen seznam všech systémů, vstupujících do zařízení a následně je vytvořen detailní model zařízení. Zařízení se skládá z vakuové komory a vnitřního aparátu, ve kterém probíhá daný test. Na závěr je vyhodnoceno splnění všech stanovených požadavků a je představen testovací plán. This master thesis deals with the design of a testing device outgassing properties of materials. In the research part, standards dealing with this topic are described and research of existing devices from publicly available sources is carried out. The output of the theoretical part is a list of a total of seventeen requirements that the resulting device must meet. In the practical part, a list of all systems entering the device is created and then a detailed model of the device is created. The device consists of a vacuum chamber and an inner apparatus in which the test takes place. Lastly, the fulfillment of all set requirements is evaluated, and a test plan is presented.
Klíčová slova:
Outgassing; TML; CVCM; outgassing testing; vacuum testing; vacuum chamber; design; space; vacuum; Odplyňování; TML; CVCM; testování odplyňování; testování ve vakuu; vakuová komora; design; vesmír; vakuum
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Vývoj infrastruktury pro testování materiálů při působení vakua – outgassing
Tato diplomová práce se zabývá návrhem testovacího zařízení pro testování odplyňování (outgassing) materiálů. V teoretické části jsou popsány standarty zabývající se danou tématikou a je provedena ...
Fyzika magnetického polárního kruhu v umělém spinovém ledu na čtvercové mřížce
Ondříšková, Martina; Lacour, Daniel; Rougemaille, Nicolas
2024 - anglický
Za specifických okrajových podmínek vykazuje tento model ledu na čtvercové mřížce fázovou separaci s neuspořádaným jádrem a uspořádanou vnější oblastí, známou jako jev ’polárního kruhu’. Inspirováni nedávnými experimentálními realizacemi s využitím programovatelných mřížek se snažíme pozorovat a zkoumat tyto vlastnosti ve čtvercové mřížce interagujících nanomagnetů, dosáhnout doménových okrajových podmínek (DWBC) nezbytných pro arktický kruh a zkoumat jejich celkový dopad na systém. V této práci použijeme mikroskopii magnetických sil na litograficky vyrobených mřížkách k přímému pozorování topologické povahy Coulombovy fáze a mechanismu segregace monopólu. S využitím inovativního přístupu budeme konstruovat okrajové podmínky mřížky prostřednictvím specifického zapojení nanomagnetů na okrajích. Naše práce se zaměří nejen na spinově kapalnou povahu neuspořádané oblasti uvnitř arktické křivky a segregaci monopólu podle magnetického náboje a momentu, ale také na šíření omezení z DWBC a jejich celkový dopad na systém. Under specific boundary conditions, the square ice model exhibits phase separation, with a disordered core and an ordered outer region, known as the ’arctic circle’ phenomenon. Inspired by recent experimental realizations using programmable lattices, we aim to observe and investigate these properties in a square lattice of interacting nanomagnets, achieving the domain wall boundary conditions (DWBC) necessary for the arctic circle and exploring their overall impact on the system. In this work, we will use magnetic force microscopy on lithographically fabricated arrays to directly observe the topological nature of the Coulomb phase and the monopole segregation mechanism. Employing an innovative approach, we will engineer the boundary conditions of the lattice through specific wiring of the nanomagnets at the edges. Our work will not only focus on the spin liquid nature of the disordered region within the arctic curve and monopole segregation by magnetic charge and moment but also on the propagation of constraints from the DWBC and their overall impact on the system.
Klíčová slova:
Artificial spin ice; artificial magnetic spin systems; square lattice; vertex model; magnetic force microscopy; Coulombic spin liquid; magnetic arctic circle; domain wall boundary conditions.; Umělé systémy spinového ledu; umělé magnetické spinové systémy; čtvercová mřížka; vertex modely; mikroskopie magnetických sil; Coulombická spinová kapalina; magnetický polární kruh; doménové okrajové podmínky.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Fyzika magnetického polárního kruhu v umělém spinovém ledu na čtvercové mřížce
Za specifických okrajových podmínek vykazuje tento model ledu na čtvercové mřížce fázovou separaci s neuspořádaným jádrem a uspořádanou vnější oblastí, známou jako jev ’polárního kruhu’. Inspirováni ...
Mezinárodní marketingová strategie vybraného podniku
Knechtová, Natalie; Zich, Robert; Chlebovský, Vít
2024 - anglický
Záměrem této diplomové práce je provedení marketingového plánu pro vybranou společnost vstupující na zahraniční trh. Autorka uvede základní teoretická východiska práce, prozkoumá současný stav trhu, důkladně vysvětlí existující problémy, a nakonec navrhne nové marketingové aktivity pro společnost expandující na mezinárodní trh. The focus of this diploma thesis is a conducting marketing plan for a selected company entering a foreign market. The author will provide the essential theoretical foundation of the thesis, examine the current market condition, providing a thorough explanation of the existing challenges, and ultimately suggest new marketing activities for a company expanding internationally.
Klíčová slova:
international marketing plan; marketing strategy; online marketing; Germany; tattoo; mezinárodní marketingový plán; marketingová strategie; online marketing; Německo; tetování
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Mezinárodní marketingová strategie vybraného podniku
Záměrem této diplomové práce je provedení marketingového plánu pro vybranou společnost vstupující na zahraniční trh. Autorka uvede základní teoretická východiska práce, prozkoumá současný stav trhu, ...
Automatizace vyhledávání abnormalit z tomografických dat
Semerák, Petr; Zemek, Marek; Bazala, Jiří
2024 - anglický
Předložená diplomová práce se zabývá automatizací procesu skenování a vyhodnocování abnormalit gascoolerů, které vznikají při jejich výrobě. Nedestruktivní testování využívá technologii CT skenování jejímž výstupem jsou obrazová data. Cílem práce je nahradit zdlouhavý proces ručního procházení dat spolehlivou algoritmizovatelnou metodou a ověřit, zda je tento směr vývoje perspektivní. V teoretické části se práce zabývá chladícími systémy v automobilech, nedestruktivním testování s těžištěm v CT technologii a rešerší softwarů pro prohlížení a analýzu CT dat. Praktická část diplomové práce se zaměřuje na problematiku ucpaných kanálků gascoolerů. Jsou popsány příčiny vzniku této abnormality, dosavadní přístup k jejímu odhalení a nový automatický přístup kontroly. Navržený algoritmus spolu s aplikaci vytvořenou pomocí Matlabu jsou testovány na konkrétních datech. Spolehlivost výsledků je v závěru porovnávána ručním hodnocením CT snímků. Pro hodnocení kvality obrazových dat je trénována hluboká neuronová síť. The presented thesis concerns the automation of the process of scanning and evaluating abnormalities of gascoolers that occur during their production. Non-destructive testing employs CT scanning technology, which generates image data as an output. The objective of the work is to replace the time-consuming manual data scanning process with a reliable algorithmic method and to assess the potential of this direction of development. The theoretical part of the thesis deals with cooling systems in cars, non-destructive testing with a focus on CT technology and a search for software for viewing and analysing CT data. The practical part of the thesis focuses on the problem of clogged gascooler ducts. The causes of this abnormality, the current approach to its detection and a new automatic inspection approach are described. The proposed algorithm together with an application developed using Matlab are tested on concrete data. Finally, the reliability of the results is evaluated by manual inspection of the CT images. A deep neural network is trained to assess the quality of the image data.
Klíčová slova:
Gascooler; X-Ray micro computed tomography; CT; Image processing; Fourier transform; Gascooler; rentgenová počítačová tomografie; CT; zpracování obrazu; Fourierova transformace
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Automatizace vyhledávání abnormalit z tomografických dat
Předložená diplomová práce se zabývá automatizací procesu skenování a vyhodnocování abnormalit gascoolerů, které vznikají při jejich výrobě. Nedestruktivní testování využívá technologii CT skenování ...
Dynamické in-situ experimenty s využitím sondové mikroskopie
Patočka, Marek; Frank, Otakar; Kolíbal, Miroslav
2024 - anglický
V této práci je uvedeno několik případových studií dynamických in-situ experimentů s využitím skenovací sondové mikroskopie. Nejprve je zkoumána elektrodepozice lithia v baterii s pevným elektrolytem bez kladné elektrody. Na tento experiment navazuje obdobné měření, při kterém jsou jako materiál kladné elektrody použity částice MXene. Druhá část práce se zabývá grafenem plovoucím na kapalném kovu. Je zde prezentováno zkoumání přítomnosti menisku okolo grafenových vloček. In this thesis, several case-studies of dynamic in-situ scanning probe microscopy experiments are presented. First, the electrodeposition of lithium in a solid state battery without a positive electrode is investigated. This experiment is followed by a similar measurement in which MXene particles are employed as a positive electrode material. The second part of the thesis deals with the graphene-on-liquid-metal system. An investigation into the presence of a meniscus surrounding the graphene flakes is presented.
Klíčová slova:
In-situ; Atomic force microscopy; Graphene; Solid state batteries; MXene; LiteScope; In-situ; Mikroskopie atomárních sil; Grafen; Baterie s pevným elektrolytem; MXene; LiteScope
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Dynamické in-situ experimenty s využitím sondové mikroskopie
V této práci je uvedeno několik případových studií dynamických in-situ experimentů s využitím skenovací sondové mikroskopie. Nejprve je zkoumána elektrodepozice lithia v baterii s pevným elektrolytem ...
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 ...
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ú ...
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