No (10759)
Number of found documents:
10759
Published from
to
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í ...
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. ...
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 ...
Možnosti využití magneticky aktivních kapalin v mikrofluidice
Glozigová, Anna; Štigler, Jaroslav; Fialová, Simona
2024 - English
Diplomová práce se zabývá magneticky aktivními kapalinami a jejich aplikacemi v mikrofluidice. V první části práce je provedena rozsáhlá rešerše tématických celků, které se problematiky dotýkají. Tato část zahrnuje podrobný přehled základů magnetismu, magneticky aktivních kapalin a mikrofluidiky s přihlédnutím k tzv. milifluidice a mikromagnetofluidice. V této části jsou i, mimo jiné, představeny aplikace a problematika nestabilit spojených s mazáním hydrodynamických kluzných ložisek. Druhá oblast je zaměřena na praktickou část, je zde popsán návrh a realizace experimentu, stejně jako výpočtové simulace provedené pomocí softwarů FEMM a ANSYS Fluent. Třetí část obsahuje rozpravu koncept potenciálního využití magneticky aktivní kapaliny v milikanálcích za účelem regulace nežádoucích jevů spojenými s nestabilitami mazacího oleje v hydrodynamických ložiscích. The thesis addresses the topic of magnetically active liquids and their applications in microfluidics. The first part of the thesis comprises an extensive examination of the thematic units that address the issue in question. This part includes a detailed review of the fundamentals of magnetism, magnetically active liquids, and microfluidics, with particular mention of the so-called millifluidics and micromagnetofluidics. This part also presents, among other things, applications and problems associated with instabilities in the lubrication of hydrodynamic plain bearings. The second area focuses on the practical aspects of the research, including the design and implementation of the experiment and the computational simulations performed using FEMM and ANSYS Fluent software. The third section discusses the potential use of magnetically active fluids in millichannels to control undesirable phenomena associated with lubricating oil instabilities in hydrodynamic bearings.
Keywords:
Magnetically active liquids; magnetorheological liquid; Bingham; microfluidics; millifluidics; FEMM; journal bearings; lubrication-induced instability; Magneticky aktivní kapaliny; magnetoreologická kapalina; Bingham; mikrofluidika; milifluidika; FEMM; kluzná ložiska; nestability mazacího filmu
Available in a digital repository NRGL
Možnosti využití magneticky aktivních kapalin v mikrofluidice
Diplomová práce se zabývá magneticky aktivními kapalinami a jejich aplikacemi v mikrofluidice. V první části práce je provedena rozsáhlá rešerše tématických celků, které se problematiky dotýkají. Tato ...
Segmentace hyperspektrálních fotografií ještěrek
Kotrys, Kryštof; Parák, Roman; Škrabánek, Pavel
2024 - English
Tato diplomová práce se zaměřuje na tvorbu systému pro segmentaci hyperspektrálních fotografií ještěrek žijících na území České republiky. První část práce obsahuje shrnutí existujících metod segmentace obrazu, informací o hyperspektrálním obrazu a konvolučních neuronových sítí. Druhá část práce navrhuje postup pro zpracování dat, které vede k tvorbě segmentovaných masek pro zadanou datovou množinu a také prezentuje získané výsledky. This master's thesis focuses on creating a data processing system for segmentation of hyperspectral images of lizards living in the Czech Republic. The first part of the thesis contains a survey of existing image segmentation methods, information about hyperspectral imagery and convolutional neural network theory. The second part proposes a data processing pipeline that creates image segmentation masks for the assigned dataset, as well as presents achieved results.
Keywords:
Hyperspectral image; image segmentation; convolutional neural network; U-Net; data processing; Python; Hyperspektrální obraz; segmentace obrazu; konvoluční neuronová síť; U-Net; zpracování dat; Python
Available in a digital repository NRGL
Segmentace hyperspektrálních fotografií ještěrek
Tato diplomová práce se zaměřuje na tvorbu systému pro segmentaci hyperspektrálních fotografií ještěrek žijících na území České republiky. První část práce obsahuje shrnutí existujících metod ...
Funkční bezpečnost v procesním průmyslu z pohledu systémového integrátora
Malysa, Matěj; Štohl, Radek; Fiedler, Petr
2024 - English
Tato práce se zabýva shrnutím požadavků a klíčových konceptů vyplývajících z mezinárodních standardů IEC 61508 a IEC 61511, vztahem mezi nimi a jejich rozdíly. Dále tato práce popisuje rozsah práce z pohledu mezinárodní dodavatelské společnosti. Práce rovněž popisuje vývoj softwaru bezpečnostně přístrojového systému, proces řízení projektu včetně dokumentace a jeho následné testování a verifikaci. This thesis summarizes the requirements and key concepts of international standards IEC 61508 and IEC 61511, the relationship between them and their differences. Furthermore, this thesis describes the scope of supply from the point of view of an international contracting company. The thesis also describes the development of a safety instrumented system, the execution process of a safety project including documentation and its testing and verification.
Keywords:
IEC 61508; IEC 61511; safety instrumented system; safety instrumented function; hazard & risk analysis; safety-related systems; process industry; process automation; functional safety management system; IEC 61508; IEC 61511; bezpečnostně přístrojové systémy; bezpečnostně přístrojové funkce; analýza rizik a nebezpečí; systémy související s bezpečností; průmyslové procesy; procesní automatizace; systém řízení funkční bezpečnosti
Available in a digital repository NRGL
Funkční bezpečnost v procesním průmyslu z pohledu systémového integrátora
Tato práce se zabýva shrnutím požadavků a klíčových konceptů vyplývajících z mezinárodních standardů IEC 61508 a IEC 61511, vztahem mezi nimi a jejich rozdíly. Dále tato práce popisuje rozsah práce z ...
Měření SISO/MISO signálu v systému DVB-T2
Buchta, Šimon; Kratochvíl, Tomáš; Polák, Ladislav
2024 - English
Tato bakalářská práce je zaměřena na měření a analýzu televizního signálu druhé generace digitálního pozemního vysílání (DVB-T2), zahrnujíc různé přenosové techniky a chyby, jež mohou vznikat v tzv. OFDM modulátoru. Pro tento účel bylo navrženo a zrealizováno měřící pracoviště. První část práce je věnována zkoumání a následnému zhodnocení výsledků měření reálného DVB-T2 signálu vysílaného v České republice. Druhá část této práce se zaměřuje na měření signálu DVB-T2 s odlišnou konfigurací, na příklad užití MISO přenosové techniky a přídání vlivu chyb v OFDM modulátoru a výkonového nevyvážení mezi vysílači. Tyto konfigurace jsou zkoumány v různých kanálových modelech pro fixní a mobilní příjem. Získané výsledky jsou zkoumány nejen z pohledu konvenčních objektivních parametrů (MER, BER), ale také z pohledu použitých měřících přístrojů a přijímačů (set-top-boxů). This thesis deals with a measurement-based study of the second-generation Digital Terrestrial Video broadcasting system (DVB-T2), examining various transmission techniques and imperfections within the orthogonal frequency division multiplexing (OFDM) modulator. For this study, a universal measurement setup was proposed and implemented. The first part of this work focuses on the measurement and evaluation of a real singleinput single-output (SISO) DVB-T2 signal broadcasted in the Czech Republic. The second part examines different DVB-T2 signal configurations, considering multiple-input single-output (MISO) transmission and imperfections in the OFDM modulator with combination of power imbalance between transmitters and in various channels for fixed and mobile reception. The results are evaluated using conventional objective metrics, such as bit and modualtion error ratio (BER and MER), as well as from the perspective of the measurement equipment and receivers (set-top boxes – STBs) used.
Keywords:
DVB-T2; SISO and MISO transmission; I/Q-errors; BER; MER; QEF; DVB-T2; SISO a MISO vysílání; chyby I/Q modulátoru; BER; MER; QEF
Available in a digital repository NRGL
Měření SISO/MISO signálu v systému DVB-T2
Tato bakalářská práce je zaměřena na měření a analýzu televizního signálu druhé generace digitálního pozemního vysílání (DVB-T2), zahrnujíc různé přenosové techniky a chyby, jež mohou vznikat v tzv. ...
Automatizace procesů ve firemním prostředí
Stojanović, Aleksa; Koch, Miloš; Novák, Lukáš
2024 - English
Práce se zaměřuje na integraci Robotic Process Automation (RPA) do FNZ, přední fintechové společnosti v oblasti financí. Zkoumá využití platformy Blue Prism k vytvoření a implementaci přizpůsobeného systému RPA s cílem optimalizovat konkrétní proces uvnitř FNZ. Hlavním cílem je snížení manuálních úkolů a zlepšení operační efektivity prostřednictvím zavedení automatizace. The thesis focuses on the integration of Robotic Process Automation (RPA) at FNZ, a prominent fintech company in the financial sector. The research delves into the application of the Blue Prism platform to create and execute an RPA system tailored for streamlining a specific process at FNZ. The primary objective is to diminish manual workloads and boost operational productivity through automation.
Keywords:
Robotic Process Automation; Automation; RPA; Blue Prism; Business Process; Analysis; Development; Robotická automatizace procesů; Automatizace; firemní proces; Blue Prism; Analýza; Vývoj
Available in a digital repository NRGL
Automatizace procesů ve firemním prostředí
Práce se zaměřuje na integraci Robotic Process Automation (RPA) do FNZ, přední fintechové společnosti v oblasti financí. Zkoumá využití platformy Blue Prism k vytvoření a implementaci přizpůsobeného ...
Analýza silničního provozu pomocí neuronových sítí
Žárský, Daniel; Musil, Petr; Smrž, Pavel
2024 - English
Cílem této bakalářské práce je zjednodušit analýzu silničního provozu, která využívá kamerové záznamy, a to poskutnutím prostředku pro automatickou annotaci scény. Práce popisuje obecné technické pricipy využité v kamerovém systému monitorujícím dopravu a navrhuje postup zpracování dat, získaných metodami počítačového vidění, s cílem automatizovaného nasazení systému. Následné zpracování dat využívá klastrovacích algoritmů pro identifikaci a lokalizaci hlavních směrů pohybu účastníků dopravnícho provozu. Na základě těchto výsledků je scéna automaticky annotována. Anotace scény je použitelná jako základ pozdější detekce anomálií v dopravě v reálném čase. The aim of this bachelor thesis is to simplify the analysis of road traffic using camera recordings by providing a mean for automatic scene annotation. The thesis describes the general technical principles used in a traffic monitoring camera system and proposes a procedure for processing the data obtained by computer vision methods with the aim of automated deployment of the system. The subsequent data processing uses clustering algorithms to identify and locate the main directions of movement of traffic participants. Based on these results, the scene is automatically annotated. The scene annotation can be used as the basis for later real-time detection of traffic anomalies.
Keywords:
road traffic flow analysis; traffic camera; object detection; object tracking; clustering; automatic scene annotation; analýza proudů vozidel; dopravní kamera; detekce objektů; sledování objektů; klastrování; automatická anotace scény
Available in a digital repository NRGL
Analýza silničního provozu pomocí neuronových sítí
Cílem této bakalářské práce je zjednodušit analýzu silničního provozu, která využívá kamerové záznamy, a to poskutnutím prostředku pro automatickou annotaci scény. Práce popisuje obecné technické ...
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