No (7321)
Number of found documents:
7321
Published from
to
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 - English
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.
Keywords:
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.
Available in a digital repository NRGL
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 ...
Délky v řešení řetězcových omezení
Hranička, Jan; Lengál, Ondřej; Havlena, Vojtěch
2024 - English
Řešení řetězcových omezení je v dnešní době základním kamenem formální verifikace s širokým vědeckým i obchodním uplatněním. Přínosem této práce je návrh nové rozhodovací procedury s cílem rozšířit jeden z předních string solverů: Z3-Noodler. Tato rozhodovací procedura je založena na symbolickém zarovnání řetězcových proměnných v rovnicích pomocí generování omezení na jejich délky. Experimenty na standartních benchmarcích ukázaly, že integrace této procedury s nástrojem Z3-Noodler vede ke snížení timeoutů o 32 a na určitých testech snižuje celkovou dobu běhu nástroje více než padesátkrát. Díky těmto přínosům je možné očekávat přidání této procedury do zmíněného nástroje. String solving is currently a fundamental part of formal verification with numerous scientific and business applications. In this thesis, a new decision procedure is proposed with the intend to extend a state-of-the-art string solver Z3-Noodler. This decision procedure is based on symbolically aligning string variables in word equations by generating constraints on their lengths. When experimenting with this procedure on standardized benchmarks, its integration with Z3-Noodler resulted in the reduction of 32 timeouts and in some instances more than 50x time improvement. These benefits make it possible for this decision procedure to be included in a future release of the mentioned solver.
Keywords:
length constraints; string solving; Z3; SMT solver; délková omezení; řešení řetězcových omezení; Z3; SMT solver
Available in a digital repository NRGL
Délky v řešení řetězcových omezení
Řešení řetězcových omezení je v dnešní době základním kamenem formální verifikace s širokým vědeckým i obchodním uplatněním. Přínosem této práce je návrh nové rozhodovací procedury s cílem rozšířit ...
Mezinárodní marketingová strategie vybraného podniku
Knechtová, Natalie; Zich, Robert; Chlebovský, Vít
2024 - English
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.
Keywords:
international marketing plan; marketing strategy; online marketing; Germany; tattoo; mezinárodní marketingový plán; marketingová strategie; online marketing; Německo; tetování
Available in a digital repository NRGL
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 - English
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.
Keywords:
Gascooler; X-Ray micro computed tomography; CT; Image processing; Fourier transform; Gascooler; rentgenová počítačová tomografie; CT; zpracování obrazu; Fourierova transformace
Available in a digital repository NRGL
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í ...
Využitie Diffusion Modelov v Oblasti Deepfakes
Trúchly, Dominik; Malinka, Kamil; Lapšanský, Tomáš
2024 - English
Deepfake je typ syntetického média vytvoreného pomocou sofistikovaných algoritmov strojového učenia, najmä hlbokých neurónových sietí. Ako príklad možno uviesť generatívne adverzné neurónové siete (GAN), ktoré sú schopné generovať obrázky, ktoré sú pre bežných jednotlivcov takmer nemožné odlíšiť od skutočnej reality. V dôsledku toho boli vyvinuté algoritmy detekcie hlbokých falošných správ, ktoré riešia tento rastúci problém. Tieto algoritmy využívajú pokročilé techniky strojového učenia a analyzujú rôzne funkcie v rámci obrázkov a videí, aby identifikovali nezrovnalosti alebo anomálie svedčiace o manipulácii. Táto práca skúma aplikáciu difúznych modelov, bežne používaných v digitálnom spracovaní obrazu na zvýšenie kvality obrazu znížením šumu a rozmazania, pre posilňovanie realizmu deepfakes. Využitím týchto modelov testujeme ich efekt na odhaľovanie deepfakes obrázkov pomocou deepfake detektorov. A deepfake is a type of synthetic media created through sophisticated machine learning algorithms, particularly deep neural networks. As an example Generative adversarial neural networks (GANs), that are capable of generating images that are almost impossible for ordinary individuals to differentiate from genuine reality. Consequently, deepfake detection algorithms have been developed to address this growing concern. Leveraging advanced machine learning techniques, these algorithms analyze various features within images and videos to identify inconsistencies or anomalies indicative of manipulation. This thesis investigates the application of diffusion models, commonly utilized in digital image processing to enhance image quality by reducing noise and blurring, in bolstering the realism of deepfakes. By using these models, we test their effect on detecting deepfakes images using deepfake detectors.
Keywords:
deepfake; neural networks; deepfake detection; diffusion models; biometrics systems; deepfake; neurónové siete; deepfake detekcia; difúzne modely; biometrické systémy
Available in a digital repository NRGL
Využitie Diffusion Modelov v Oblasti Deepfakes
Deepfake je typ syntetického média vytvoreného pomocou sofistikovaných algoritmov strojového učenia, najmä hlbokých neurónových sietí. Ako príklad možno uviesť generatívne adverzné neurónové siete ...
Dynamické in-situ experimenty s využitím sondové mikroskopie
Patočka, Marek; Frank, Otakar; Kolíbal, Miroslav
2024 - English
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.
Keywords:
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
Available in a digital repository NRGL
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 - English
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.
Keywords:
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
Available in a digital repository NRGL
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 - English
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.
Keywords:
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
Available in a digital repository NRGL
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 - English
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.
Keywords:
FDM; 3D printing; CoreXY; Input shaping; FDM; 3D tlač; CoreXY; Input shaping
Available in a digital repository NRGL
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 - English
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.
Keywords:
volunteer firefighters; mobile application; location tracking; SMS; Firebase; dobrovoľní hasiči; mobilná aplikácia; sledovanie polohy; SMS; Firebase
Available in a digital repository NRGL
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ú ...
NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web
Send your suggestions and comments to nusl@techlib.cz
Provider
Other bases