2024-10-20
01:35 |
Integration of the Predator and Symbiotic Software Analysers
Kinšt, Ondřej ; Malík, Viktor (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis explores the integration of two prominent software analysis tools, Predator and Symbiotic, which are utilised for detecting memory-safety errors in C programs. The research focuses on enhancing the existing integration of these tools by leveraging Predator’s symbolic memory graphs (SMGs) to provide a more precise points-to analysis for the DG library used by Symbiotic. The proposed method involves transforming SMGs into points-to graphs, enabling more accurate analysis of pointer relationships and memory locations. The thesis details the design and implementation of this integration, including the development of new algorithms and modifications to the existing tools. Results of experimental evaluations on benchmarks from the SV-COMP competition and other testing suites are provided.
Úplný záznam
|
2024-10-20
01:35 |
FOTONICKÉ SENZORY S OPTICKÝMI VLÁKNY PRO MĚŘENÍ IONIZUJÍCÍHO ZÁŘENÍ
Jelínek, Michal ; Jančář,, Aleš (oponent) ; Matěj,, Zdeněk (oponent) ; Urban, František (vedoucí práce)
Disertační práce se zaměřuje na výzkum, vývoj, návrh a experimentální ověření optovláknového systému pro měření ionizujícího záření gama. Primárním cílem výzkumu bylo vyvinout systém pro měření v prostředí s vysokou intenzitou záření a silným elektromagnetickým rušením, kde tradiční elektronické dozimetry selhávají. V práci je detailně popsána charakteristika ionizujícího záření a analyzovány různé metody jeho měření. Na základě analýzy dostupných technologií byl navržen modulární optovláknový systém, který se skládá z optické linky s radiačně odolným vícevidovým optickým vláknem, senzoru s krystalovým scintilátorem a vyhodnocovací jednotky s jednofotonovým čítačem. Před návrhem systému byly provedeny simulace a experimentální měření, které se zaměřily na maximalizaci účinnosti přenosu scintilačního světla a minimalizaci vlivu rušivých faktorů. Byla vyvinuta metodika pro výrobu radiačně odolné optické linky a senzoru s optimalizovaným spojením pro maximální zachycení scintilačního světla. Funkčnost a citlivost navrženého systému byly ověřeny experimentálně na školním reaktoru VR-1 a částicovém urychlovači IBA18/9. Výsledky měření prokázaly schopnost systému detekovat gama záření o aktivitách od 10 kBq po jednotky TBq i v náročných průmyslových podmínkách s vysokou intenzitou radiace a elektromagnetickým rušením.
Úplný záznam
|
2024-10-20
01:35 |
Získávání celulózy z městských odpadních vod a její energetické využití
Djordjevićová, Denisa ; Rusník, Igor (oponent) ; Zeleňáková, Martina (oponent) ; Hlavínek, Petr (vedoucí práce)
Celulóza je hojná organická sloučenina s vysokým energetickým potenciálem. V odpadních vodách se celulóza vyskytuje ve formě vláken z toaletního papíru. V západoevropských zemích Evropské unie se ročně spotřebuje až 15 kg toaletního papíru na osobu. Buničina z toaletního papíru, která končí na čistírně odpadních vod, tvoří 30 až 50 % nerozpuštěných látek obsažených v primárním čistírenském kalu. Separace celulózové frakce na primárním stupni čištění přispívá ke zlepšení celkového procesu čištění odpadních vod a tedy snižuje zatížení nerozpustnou organickou frakcí biologického stupně čištění odpadních vod a kalového hospodářství. V rámci své teoretické části výzkumu jsem se zaměřila na popis současných metod získávání celulózy z toaletního papíru, která se vyskytuje v primárním kalu městských splaškových odpadních vod a představuje energeticky atraktivní zdroj. Separace celulózy z odpadních vod směřuje k výrobě recyklovaných zdrojů a obnovitelné energie z bioenergetických zdrojů jako jsou biopalivo z biomasy, bioetanol a bioplyn. V praktické části disertační práce jsem se věnovala způsobu získání celulózy z přítoku odpadní vody na městské čistírně odpadních vod proséváním přes jemná síta s průlinami 0,3 mm. V rámci zpracování procesu bylo nutné primární celulózový kal gravitačně odvodnit a následně solárně usušit. Z připravené filtrační hmoty byly udělány celulózové pelety stlačením získaného celulózového kalu na požadovanou velikost. Pro určení energetické hodnoty celulózových pelet a možností jejich energetického znovupoužití byla použita technologie středně teplotní pyrolýzy. Proces zahrnoval pyrolýzu celulózových pelet na teplotě mezi 500 až 650 °C nad mezí termické stability přítomných organických látek v celulózových peletách. Během tohoto procesu docházelo k štěpení vazeb vysokomolekulárních látek na nízkomolekulární produkty. Při tomto termickém zpracování celulózového kalu pyrolýzou vznikly tři produkty: pevný uhlíkatý produkt, pyrolýzní olej a pyrolýzní plyn. Jedním z hlavních cílů disertační práce bylo definovat možnosti získávání celulózových vláken na přítoku na městských čistírnách odpadních vod. Dalším cílem disertační práce bylo určit potenciál materiálové transformace celulózových vláken a posoudit jejich energetické využití pomocí technologií středně teplotní pyrolýzy. V rámci možných instalací byl dále posouzen vliv separace celulózových vláken na biologický stupeň čištění odpadní vody a na kalové hospodářství.
Úplný záznam
|
2024-10-20
01:35 |
NÁVRH A OPTIMALIZACE ŘÍDICÍCH SEKVENCÍ POMOCÍ EVOLUČNÍCH METAHEURISTIK
Hůlka, Tomáš ; Šenkeřík, Roman (oponent) ; Zelinka, Ivan (oponent) ; Matoušek, Radomil (vedoucí práce)
Předložená práce se věnuje problematice návrhu a optimalizace řídicích sekvencí pro řešení dvou komplexních optimalizačních problémů pomocí evolučních, či obecněji optimalizačních metaheuristik. V práci jsou představeny užité i modifikované optimalizační algoritmy a koncepty jejich použití -- genetické programování, genetický algoritmus, Nelder-Mead metoda. Je diskutována stabilita dynamických systémů a deterministický chaos popsaný formou tzv. chaotických map. Je uveden popis klasických metod stabilizace systémů deterministického chaosu a jsou představeny nové přístupy generování stabilizujících perturbací navržené pomocí genetického programování. Práce zahrnuje popis vybraných chaotických systémů modelovaných pomocí chaotických map, na kterých byly navržené stabilizující perturbace testovány. Klíčovou roli v úspěšnosti optimalizace hrály nově představené účelové funkce, které jsou popsány společně s klasickými kritérii hodnocení kvality regulace. Efektivita navržených přístupů optimalizace je prezentována na úlohách stabilizace deterministického chaosu a na úloze návrhu řídicích parametrů pohybových křivek u modelu hadího robota.
Úplný záznam
|
2024-10-20
01:35 |
Finanční analýza výkonnosti podniku užitím kvantitativních metod
Kurskikh, Veronika ; Pištěková,, Anastasia (oponent) ; Chvátalová, Zuzana (vedoucí práce)
Hlavním cílem této diplomové práce je analýza společnosti pomocí kvantitativních metod. Práce zahrnuje dvě části. První část představí základní teoretické pojmy, které jsou nezbytné pro pochopení problematiky práce. Ve druhé části bude využito vybraných ekonomických ukazatelů k vyhodnocení současného stavu vybrané společnosti. V závěru práce budou uvedeny na základě analýzy současného stavu společnosti návrhy pro zlepšení finanční situace společnosti.
Úplný záznam
|
2024-10-20
01:35 |
Cavitation collapse induced by unsteady pressure field
Burda, Radim ; Sedlář, Milan (oponent) ; Kozubková, Milada (oponent) ; Rudolf, Pavel (vedoucí práce)
This doctoral thesis investigates the interaction of the cavitation structures with the unsteady pressure field induced by the cavitation collapse using experimental measurement and numerical simulations. The numerical research focuses on two case studies – the single bubble collapse near a solid wall and the hydrodynamic cavitation in the converging-diverging Venturi nozzle – to highlight the different aspects of cavitation flow on different length scales. The numerical simulations are complemented with experimental measurements conducted in the hydraulic laboratory of Viktor Kaplan Dept. of Fluid Engineering to capture the behaviour of cavitation structures in a converging-diverging Venturi nozzle. The high-speed camera recordings as well as monitoring of static pressure, dynamic pressure, radial and axial acceleration, and acoustic emission are exploited to capture the dynamics of the cavitation flow.
Úplný záznam
|
2024-10-20
01:35 |
Picobaloon s využitím low-power bezdrátových sítí
Kudera, Matěj ; Peringer, Petr (oponent) ; Janoušek, Vladimír (vedoucí práce)
Cílem této diplomové práce bylo vytvořit malou meteorologickou sondu (PicoBaloon), která bude zaznamenávat svoji polohu a základní meteorologické informace. Tyto získané informace je následně nutné přeposlat uživateli, aby je mohl zhodnotit. Teoretická část této práce popisuje principy, jak tento typ zařízení navrhnou, a technologie, které jsou vhodné pro jeho implementaci. Součástí je také popisy co přesně znamená pojem PicoBaloon, ze kterého jsou následně odvozeny požadavky na tvořený systém. Na základě popsaných technologií a požadavků na tvořený systém byl následně vytvořen návrh, který popisuje, jak toto zařízení implementovat. Výsledkem návrhu je systém o dvou částech. První část je samotná meteorologická sonda, která je implementována na vlastní desce plošných spojů. Sonda je řízena malým mikrokontrolérem a obsahuje komponenty, které jí umožňují provoz na solární energii, určení polohy pomocí GPS, změření meteorologických veličin a získané informace odeslat pomocí bezdrátové technologie. Druhá část systému je internetová aplikace, která odeslaná data načte a zobrazí je uživateli. Závěr této práce obsahuje popis sestavení systému a jeho následné otestování.
Úplný záznam
|
2024-10-20
01:35 |
Efficient Large-scale Collection of Information Related to Domain Names
Ondryáš, Ondřej ; Jeřábek, Kamil (oponent) ; Hranický, Radek (vedoucí práce)
This thesis presents a software solution that provides fast data collection and feature extraction for the purpose of detecting malicious domain names using machine learning. It introduces the FETA DomainRadar research project targeted at developing a system for assessing domain name maliciousness. It discusses various sources of information that proved helpful for the task. It elaborates the system's design and presents its crucial component for collecting and processing data that can be used to evaluate domain names captured in monitored high-traffic networks in real time and to build large training datasets effectively. Based on Apache Kafka, the system is designed to allow horizontal scalability in distributed deployments, with experiments showing massive improvements in throughput when multiple instances cooperate. The system collected data from eight external sources for 400,000 domain names in about 4 hours, reaching the average throughput of 28 domain names per second. It was deployed in the CESNET academic network, where it steadily collected and processed data at 9.56 domain names per second.
Úplný záznam
|
2024-10-20
01:35 |
Chladící okruh pro měření kapalinou chlazených zařízení
Sonbol, Danny ; Toman, Marek (oponent) ; Červinka, Dalibor (vedoucí práce)
Tato diplomová práce se zaměřuje na návrh a realizaci chladicího okruhu dynamometru řízeného pomocí PLC Modicon M241. V úvodu je popsána základní problematika kapalinového chlazení trakčních motorů. Ve další části je popsána struktura chladicího okruhu a je provedna analýza toku tepla v soustavě. V navazující části jsou popsány jednotlivé subsystémy chladicího okruhu. Dále je popsána funkce sběrnice CAN a je popsáno rozkódování dat vysílaných měničem oběhového čerpadla. V další části jsou pak popsány řídicí a regulační algoritmy. Poslední část práce je věnována ověření funkce navrženého okruhu.
Úplný záznam
|
2024-10-20
01:35 |
Lokalizace a řízení pohybu autonomní robotické travní sekačky
Žilka, Jiří ; Beran, Jan (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá návrhem a realizací navigační jednotky pro lokalizaci a řízení pohybu modelu robotické sekačky. Byla provedena rešerše současného stavu v oblasti parametrů komerčně vyráběných robotických sekaček. Byl navržen postup vývoje navigační jednotky a v jednotlivých krocích došlo k specifikaci požadavků, návrhu architektury, výběru HW a SW platformy. Následně byl návrh postupně implementován a testován ve formě dílčích prototypů. Testy probíhaly v simulovaných a následně i reálných podmínkách. Finálním krokem byl přechod na prototyp robotické sekačky a validace funkčních požadavků ve ven- kovním prostředí.
Úplný záznam
|
|
|
|
host ::
