Yes (13619)
No (3862)
Number of found documents:
17481
Published from
to
Víceúrovňový měnič s aktivními hradlovými budiči pro Fault Ride-Through
Klement, Dominik; Holain, Martin; Götthans, Tomáš
2024 - English
Tato práce se zabývá víceúrovňovými měniči, popisuje jejich výhody a současné/potenciální budoucí aplikace. Zaměřuje se na „Nested Neutral Point Piloted (NNPP)“ topologii a vývoj algoritmu řízení s aktivním vyrovnáváním napětí kondenzátoru a pokročilou vektorovou modulací pro tuto topologii. Tento algoritmus je ověřen pomocí simulací. Součástí práce je i návrh prototypu pro experimentální ověření. Práce je uzavřena porovnáním vyvinutého algoritmu s již existujícími metodami. This thesis explores multilevel converters, highlighting their benefits and current/potential future applications. It focuses on the Nested Neutral Point Piloted (NNPP) topology and develops a fault ride-through control algorithm with active capacitor voltage balancing and space vector modulation. The algorithm is validated through simulation. A prototype is designed for experimental validation. The thesis concludes by comparing the proposed fault-tolerant algorithm with existing methods.
Keywords:
Nested Neutral Point Piloted Converter; Fault Ride-through; Active gate driver; Multilevel converters; SiC MOSFET; Power Electronics; Stacked Multicell Topology; High reliability; Nested Neutral Point Piloted měnič; Fault Ride-through; Aktivný hradlový budič; Víceúrovňový měnič; SiC MOSFET; Výkonová elektronika; Stacked Multicell topologie; Vysoká spolehlivost
Available in a digital repository NRGL
Víceúrovňový měnič s aktivními hradlovými budiči pro Fault Ride-Through
Tato práce se zabývá víceúrovňovými měniči, popisuje jejich výhody a současné/potenciální budoucí aplikace. Zaměřuje se na „Nested Neutral Point Piloted (NNPP)“ topologii a vývoj algoritmu řízení s ...
Energetická bilance UWC spoje
Bartoň, Jan; Látal,, Jan; Hudcová, Lucie
2024 - English
Tato semestrální práce je zaměřená na popis šíření optického svazku podvodním prostředím se zaměřením na vliv turbulentního proudění na odsměrování svazku. V první části práce je poskytnut popis vlastností podvodního prostředí a jejich vliv na optický svazek. V druhé části jsou prezentovány metody použitelné pro výpočet útlumu podvodního prostředí, zaměřující se na popis turbulentního prostředí. Ve třetí části je představena softwarová implementace algoritmu popsaného ve druhé části. Výsledkem práce je postup výpočtu síření optického svazku podvodním prostředím a jeho softwarová implementace. This semestral thesis is aimed at the description of the optical ray propagation through underwater environment, focusing mainly on the optical beam’s deflection by a turbulent space. In the first part of the thesis, the description of the properties of underwater environment and their impact on the optical beam is presented. In the second part, methods usable for the calculation of attenuation of an underwater environment are presented, focusing on the turbulent environment. In the third part, the software implementation of the algorithm presented in the second part is presented. The outcome of this thesis is a procedure for calculating the propagation of the optical beam through an underwater environment and its software implementation.
Keywords:
Turbulence; underwater environment; optical beam; attenuation; deflection; noise; chlorophyll; absorption; scattering; ABCD matrices; extinction coefficient.; Turbulence; podvodní prostředí; optický svazek; útlum; odsměrování; šum; chlorofyl; absorpce; rozptyl; ABCD matice; koeficient extinkce.
Available in a digital repository NRGL
Energetická bilance UWC spoje
Tato semestrální práce je zaměřená na popis šíření optického svazku podvodním prostředím se zaměřením na vliv turbulentního proudění na odsměrování svazku. V první části práce je poskytnut popis ...
Softwarově definovaná anténní řada
Sedláček, David; Prokopec, Jan; Maršálek, Roman
2024 - English
Hlavným cieľom tejto práce bolo vyvinúť demonštračnú platformu pre implementáciu algoritmov na odhad smeru príchodu signálu. Celkovo bolo opísaných šesť techník, ktoré boli následne implementované v Pythone spolu so simuláciami príchodu signálov. Bola vykonaná štúdia dostupného hardvéru, v ktorej boli porovnané rozdiely medzi na mieru prispôsobenými a voľne dostupnými riešeniami. Navrhli sa konkrétne hardvérové a softvérové konfigurácie pre praktickú implementáciu metód odhadu príchodu signálu. Na záver boli navrhnuté experimentálne merania na overenie účinnosti implementovaných metód. Vykonali sa testovacie merania a ich výsledky boli kriticky zhodnotené. The main objective of this thesis was to develop a demonstrator platform implementing signal processing algorithms for signal direction of arrival estimation. In total, six estimation techniques were described, and simulations of discussed beamforming and subspace-based methods were implemented in Python. A study was conducted on available hardware, comparing trade-offs between customised and off-the-shelf solutions. Specific hardware and software configurations were proposed for practical implementation of the estimation methods. Finally, a testbed was constructed to verify the performance of the implemented estimation methods. Tests were performed, and the results were critically evaluated.
Keywords:
Antenna array; digital signal processing; direction-of-arrival estimation; MUSIC; software-defined radio; KrakenSDR; Python; Anténne pole; digitálne spracovanie signálov; odhad smeru príchodu; MUSIC; softvérovo definované rádio; KrakenSDR; Python
Available in a digital repository NRGL
Softwarově definovaná anténní řada
Hlavným cieľom tejto práce bolo vyvinúť demonštračnú platformu pre implementáciu algoritmov na odhad smeru príchodu signálu. Celkovo bolo opísaných šesť techník, ktoré boli následne implementované v ...
Vstup podniku na zahraniční trhy
Kovačech, Ján; Chlebovský, Vít; Koráb, Vojtěch
2024 - English
Diplomová práce se zaměřuje na vybranou společnost a její záměr vstoupit na zahraniční trh. Primárním cílem bylo posoudit připravenost společnosti a následně navrhnout strategii pro vstup na zahraniční trh. Teoretický rámec zahrnuje témata jako internacionalizace, strategická analýza a hodnocení rizik. Druhá část analyzuje společnost a profil cizí země, podložená primárním a sekundárním výzkumem trhu, pro posouzení připravenosti společnosti k expanzi. Třetí část představuje návrh vstupu na zahraniční trh spolu s hodnocením rizik. The diploma thesis focuses on the selected company and its intention to enter a foreign market. The primary objective was to evaluate the company's preparedness and subsequently propose a strategy for the foreign market entry. The theoretical background covers topics such as internationalization, strategic analysis, and risk assessment. The second part analyses the company and the foreign country’s profile, supported by primary and secondary market research, to assess the company’s readiness for expansion. The third section presents the proposal for entering the foreign market, along with a risk assessment.
Keywords:
international expansion; exporting; brewery industry; Czech Republic beer market; small and medium-sized enterprise; mezinárodní expanze; export; pivovarnictví; český pivní trh; malý a střední podnik
Available in a digital repository NRGL
Vstup podniku na zahraniční trhy
Diplomová práce se zaměřuje na vybranou společnost a její záměr vstoupit na zahraniční trh. Primárním cílem bylo posoudit připravenost společnosti a následně navrhnout strategii pro vstup na ...
Kvantová informace a supravodivé obvody
Stloukalová, Kateřina; Pazderka, Michal; Bělín, Jakub
2024 - English
Snaha o stabilní qubity v kvantovém zpracování informací přitahuje značnou pozornost, zejména v supravodivých obvodech známých svým potenciálem zvýšit koherenční čas. Projekt ``Numerická optimalizace supravodivých obvodů" řeší problémy nákladného experimentování a využívá software Scoptimization. Testování na známých qubitech jako Transmon a Fluxonium byly identifikovány optimální hodnoty s vylepšeným časem. Obecné testování obvodů navíc odhalilo, že Fluxonium (T4) se ukázalo jako vítěz s nejdelším časem, což dále zdůraznilo jeho potenciál pro pokrok ve výzkumu qubitů. Fluxonium zejména dosáhlo koherenční doby 2,7 milisekundy, čímž překonalo dříve pozorovanou experimentální hodnotu 1,48 milisekundy. The pursuit of stable qubits in quantum information processing garners significant attention, particularly in superconducting circuits known for their potential to enhance coherence time. Addressing the challenges of costly experimentation, the "Numerical optimization of superconducting circuits" project utilizes Scoptimization software. The Python package identifies optimal circuit values when testing established qubits like Transmon and Fluxonium. General circuit testing revealed that Fluxonium (T4) emerged as the winner, further highlighting its potential for advancing qubit research. Additionally, Fluxonium notably achieved a coherence time of 2.7 milliseconds, surpassing the previously observed experimental value of 1.48 milliseconds.
Keywords:
Quantum information and superconducting circuits; Transmon; Fluxonium; SQUID; Flux Qubit; Scoptimization; Numerical optimization of qubits; general superconducting circuit optimization; qubit's optimized Hamiltonian energy parameters; qubits defined anharmonicity; comparison of coherence time for different superconducting circuit parameters.; Kvantová informace a supravodivé obvody; Transmon; Fluxonium; SQUID; Flux Qubit; Scoptimization; Numerická optimalizace qubitů; optimalizace různých variací supravodivých obvodů; qubitově optimalizované Hamiltonovské parametry; qubity definovaná anharmonicita; porovnání koherenční doby pro různé supravodivé obvody.
Available in a digital repository NRGL
Kvantová informace a supravodivé obvody
Snaha o stabilní qubity v kvantovém zpracování informací přitahuje značnou pozornost, zejména v supravodivých obvodech známých svým potenciálem zvýšit koherenční čas. Projekt ``Numerická optimalizace ...
Graph Neural Networks in Epilepsy Surgery
Hrtoňová, Valentina; MSc, Daniel Uher,; Filipenská, Marina
2024 - English
Úspěch epileptochirurgického zákroku závisí na přesné lokalizaci epileptogenní zóny (EZ), avšak pouze 60% pacientů je po operaci bez záchvatů, což je často způsobeno nepřesnou identifikací EZ. Tato práce představuje novou metodu lokalizace EZ využívající grafové neuronové sítě (GNN) k analýze interiktálních biomarkerů - konkrétně interiktálních spiků a relativní entropie. Modely GNN byly využity pro lokalizaci kontaktů elektrod v resekované zóně vzniku záchvatu na základě dat z interiktální stereoelektroencefalografie a validovány na souboru klinických dat 37 pacientů ze dvou institucí. Nejlépe hodnocený model GNN - Graph Attention Network - dosáhl mediánu Area Under the Receiver Operating Characteristic (AUROC) 0,971 a mediánu Area Under the Precision-Recall Curve (AUPRC) 0,525 v souboru 19 pacientů s dobrým pooperačním výsledkem, přičemž v obou metrikách statisticky významně překonal referenční model založený na četnosti spiků (Wilcoxon Signed Rank test, p Successful epilepsy surgery relies on precise localization of the epileptogenic zone (EZ), yet only about 60% of patients become seizure-free post-surgery often due to inaccurate EZ identification. This thesis presents a novel method for EZ localization using Graph Neural Networks (GNNs) to analyze interictal biomarkers, specifically interictal spikes and relative entropy. The GNN models were used to localize resected seizure-onset zone electrode contacts based on interictal stereoelectroencephalography data, validated on a clinical dataset of 37 patients from two institutions. The best-performing GNN model - Graph Attention Network - scored a median Area Under the Receiver Operating Characteristic (AUROC) of 0.971 and a median Area Under the Precision-Recall Curve (AUPRC) of 0.525 across a cohort of 19 patients with a good surgical outcome, significantly outperforming a benchmark model based on spike rates (Wilcoxon Signed Rank test, p
Keywords:
graph neural networks; deep learning; signal processing; intracranial EEG; epilepsy; epileptogenic zone; seizure-onset zone; postsurgical outcome prediction; grafové neuronové sítě; deep learning; zpracování signálů; intrakraniální EEG; epilepsie; epileptogenní zóna; zóna počátku záchvatu; predikce pooperačního výsledku
Available in a digital repository NRGL
Graph Neural Networks in Epilepsy Surgery
Úspěch epileptochirurgického zákroku závisí na přesné lokalizaci epileptogenní zóny (EZ), avšak pouze 60% pacientů je po operaci bez záchvatů, což je často způsobeno nepřesnou identifikací EZ. Tato ...
Optimalizace difuzoru vodní turbíny s využitím adjoint řešiče
Pham, Jakub; Štefan, David; Rudolf, Pavel
2024 - English
Tato práce se zabývá tvarovou optimalizací difuzoru vírového generátoru, který napodobuje oběžné kolo Francisovy turbíny. Optimalizace je založena na použití adjoint řešiče v programu ANSYS Fluent. Hlavním cílem bylo potlačení vírového copu v mimooptimálních režimech. Byla vytvořena metodika iterativní optimalizace pro adjungovaný řešič. Cílová funkce pro adjungovaný řešič byla zvolena s cílem minimalizovat moment hybnosti proudění kolem osy difuzoru. Byl představen a analyzován nový návrh difuzoru. Poté bylo provedeno srovnání chování vírového copu a proudového pole uvnitř nového a starého návrhu difuzoru. Bylo zjištěno, že optimalizace tvaru nevedla k žádnému významnému zlepšení chování vírového copu, přičemž energie vírového copu se pouze přenesla dále od náboje vírového generátoru. V závěru této práce byla formulována doporučení pro budoucí metody zmírnění vírového copu. This work deals with the shape optimization of the draft tube of a swirl generator that mimics the runner of a Francis turbine. The optimization is based on the use of the adjoint solver in ANSYS Fluent. The primary objective was to suppress the vortex rope in off-design regimes. An iterative optimization methodology for the adjoint solver was established. The objective function for the adjoint solver was selected with the goal of minimizing swirl around the diffuser axis. A new diffuser design was presented and analyzed, after which a comparison was made between vortex rope behaviour and flow field characteristics inside the new and old diffuser designs. It was found that shape optimization had not resulted in any significant improvement in vortex rope behaviour, with the energy of the vortex rope being only transferred further away from the hub of the swirl generator. Recommendations for future methods of vortex rope mitigation were made at the conclusion of this work.
Keywords:
vortex rope; shape optimization; adjoint method; CFD; draft tube; diffuser; vírový cop; tvarová optimalizace; adjoint metoda; CFD; savka; difuzor
Available in a digital repository NRGL
Optimalizace difuzoru vodní turbíny s využitím adjoint řešiče
Tato práce se zabývá tvarovou optimalizací difuzoru vírového generátoru, který napodobuje oběžné kolo Francisovy turbíny. Optimalizace je založena na použití adjoint řešiče v programu ANSYS Fluent. ...
Evaluating Reliability of Static Analysis Results Using Machine Learning
Beránek, Tomáš; Fiedor, Jan; Vojnar, Tomáš
2024 - English
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.
Keywords:
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.
Available in a digital repository NRGL
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 - English
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.
Keywords:
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
Available in a digital repository NRGL
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 ...
Využití opakujících se podstruktur pro efektivní reprezentaci automatů
Šedý, Michal; Češka, Milan; Holík, Lukáš
2024 - English
Nedeterministické konečné automaty (NKA) jsou široce využívány napříč mnoha odvětvími počítačové vědy, například pro reprezentaci regulárních výrazů, při monitorování vysoko rychlostních sítí, v abstraktním regulárním model checkingu, k verifikaci programů, k rozhodování procedur logik WS1S a WS2S, lineární aritmetiky celých čísel, temporálních logik, nebo dokonce v bioinformatice při vyhledávání sekvencí nukleotidů v DNA. Automaty s velkým množstvím stavů mohou v řadě algoritmů vést k exponenciálnímu nárůstu stavového prostoru. Tento problém lze zmírnit použitím minimalizačních technik slučování stavů a prořezávání hran přechodů. Tyto metody však mohou i přes svou značnou efektivitu zanechat ve výsledných automatech duplicitní podstruktury s ekvivalentními přechody. Existují dokonce typy automatů, které nelze těmito standardními technikami minimalizovat vůbec. Tato práce představuje nový přístup k minimalizaci automatů založený na transformaci NKA na nedeterministický zásobníkový automat (NZA). Tato transformace identifikuje skupinu podobných podstruktur a nahradí ji jednou společnou strukturou (procedurou). Tímto způsobem jsme byli schopni zredukovat automaty až o dalších 67.3%. Myšlenka transformace NKA na NZA lze přirovnat k transformaci sekvenčního programu na program, který využívá funkce a zásobníkem volání. Nondeterministic finite automata (NFAs) are widely used across almost every field of computer science, such as for the representation of regular expressions, monitoring high-speed networks, in abstract regular model checking, program verification, in decision procedures of WS1S and WS2S logics, linear integer arithmetic, temporal logics, or even in bioinformatics for searching sequences of nucleotides in DNA. Automata with a large number of states can lead to an exponential increase in the state space in many algorithms. To address this issue, minimization techniques, such as state merging and transition pruning, are used. Despite the strong minimization potential of these methods, the resulting automata can still contain duplicate substructures with equivalent transition sequences. There are even types of automata that cannot be minimized by these standard methods at all. This work presents a novel automata minimization approach based on a transformation of an NFA into a nondeterministic pushdown automaton (NPDA). The transformation identifies multiple similar substructures and replaces them with one common structure (called a procedure). By doing so, we were able to further reduce automata by up to 67.3%. The principle of transforming NFA into NPDA can be understood as a transformation of a purely sequential program into a program with functions and a call stack.
Keywords:
Nondeterministic Finite Automata; Nondeterministic Pushdown Automata; Minimization; Network Intrusion Detection Systems; Regular Expressions; Nedeterministické Konečné Automaty; Nedeterministické Zásobníkové Automaty; Minimalizace; Systémy Detekce Průniků v Síti; Regulární Výrazy
Available in a digital repository NRGL
Využití opakujících se podstruktur pro efektivní reprezentaci automatů
Nedeterministické konečné automaty (NKA) jsou široce využívány napříč mnoha odvětvími počítačové vědy, například pro reprezentaci regulárních výrazů, při monitorování vysoko rychlostních sítí, v ...
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