No (25309)
Number of found documents:
25309
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í ...
Rozšíření aplikace Locus Map pro komunikaci jednotek na bojišti
Bukas, Jozef Michal; Rychlý, Marek; Hranický, Radek
2024 - English
Existuje mnoho systémov riadenia bojiska, ale nie sú dostupné pre širokú verejnosť. Mnohé používateľské základne by však takýto systém mohli využiť. Napríklad nadšenci milsimu, záchranné služby, prípadne poľovníci počas organizovaných poľovačiek. Cieľom tejto bakalárskej práce je vytvoriť open-source rozšírenie systému riadenia bojiska pre aplikáciu Locus Map. Samotný klient bol implementovaný ako Android aplikácia ktorá využíva Locus API na integráciu do aplikácie Locus Map ktorá dopĺňa klienta mapou a funkciamy s ňou spojenými. Samotný system používa architektúru klient-server kde komnukácia medzi serverom a klientom používa protokol WebSocket pre skoro okamžitú propagáciu dát zo serveru ku klientom. Nakoniec bol tento systém otestovaný priamo v akcií napríklad na dvoj-dňovej airsoftovej akcií. There are many battlefield management systems, but they are not available to the general public. However, many user bases could use such a system. For example, milsim enthusiasts, emergency services, or hunters during organized hunts. This bachelor's thesis aims to create an open-source extension of the battlefield management system for the Locus Map application. The client has been implemented as an Android application that uses the Locus API to integrate into the Locus Map application, which complements the client with a map and map-related features. The system uses a client-server architecture where the communication between server and client uses the WebSocket protocol for near-instantaneous data propagation from the server to the clients. Finally, the system has been tested directly in action, for example, at a two-day airsoft event.
Keywords:
Battle management system; Situational awareness; Geographical information system; Add-on; Extension; Military; Coordinate system; Military Grid Reference System; Universal Traverse Mercator; Location sharing; Chat; Android; Location based services; C4I; Command; Control; Communication; Application; Systém riadenia boja; Geografický informačný systém; Situačné povedomie; Rozšírenie; Armáda; Koordinačný systém; MGRS; Univerzálny travérzny merkátor; Zdielanie polohy; správy; Android; Služba založená na polohe; C4I; Riadenie; Kontrola; Komunikácia; Aplikácia
Available in a digital repository NRGL
Rozšíření aplikace Locus Map pro komunikaci jednotek na bojišti
Existuje mnoho systémov riadenia bojiska, ale nie sú dostupné pre širokú verejnosť. Mnohé používateľské základne by však takýto systém mohli využiť. Napríklad nadšenci milsimu, záchranné služby, ...
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 ...
Fúze obrazových a nemřížkových dat pro segmentaci objektů
Repka, Samuel; Nosko, Svetozár; Zemčík, Pavel
2024 - English
Objekt záujmu sa často dá popísať viacerými dátovými zdrojmi. Napríklad, z obrazu auta sa dá zistiť farba, značka, alebo aj jeho typ. Čo sa ale najskôr nedá, je zistiť stav motora, či beží alebo nie. Táto informácia sa ale dá zistiť inak, sluchom alebo aj dotykom. Aj keď je možné, že jeden dátový zdroj poskytuje všetky potrebné informácie, pridanie modality môže zlepšiť riešenie, kvôli možnej komplementarite dát. Tento proces dátovej fúzie môže byť ale pomerne komplikovaný proces. Rôzne dáta majú rôzne vlastnosti, štruktúry a rôzne výzvy, ktoré s nimi súvisia. Existuje veľké množstvo rôznych metód dátovej fúzie, ktoré sú ale často aplikovateľné len na konkrétne modality. Táto práca prezentuje nový prístup k dátovej fúzii dvoch modalít, primárne za účelom segmentácie obrazu. Jedna z modalít je obraz, druhá je ľubovoľná neštrukturovaná modalita. Prezentovaná metóda využíva graf na spoločnú reprezentáciu oboch modalít, dizajnovanú tak, aby čo najpresnejšie zachytila závislosti v modalitách aj medzi nimi. Graf je potom spracovaný, výsledkom čoho je graf so spojenými dátami, alebo aj priama segmentácia. Prezentované riešenie bolo otestované na dvoch datasetoch (z oblasti mineralógie a drevárskeho priemyslu) a porovnané s inými metódami. Výsledky ukazujú, že riešenie má veľký potenciál ale aj svoje limitácie. V prípade datasetu z mineralógie, výsledky boli výborné a ukazujú, že metóda je schopná dátovej fúzie a dokáže prekonať aj súčasné metódy vo viacerých metrikách. V druhom prípade, výsledky až tak jednoznačné neboli, pretože metóda nevylepšila výsledky v porovnaní s iným riešením, čo ale mohlo byť spôsobené aj ťažkým datasetom. Quite often, a phenomenon of interest can described by more than one data source. For example, a car's appearance shows its colour and brand, but not its engine status. However, other data sources do provide us with this information, be it a sound or mere touch. Such data source is often referred to as a modality. While using a single data source to extract the needed information may be sufficient, the addition of more modalities can be beneficial, because of their complementary nature. This data fusion, however, may be a quite challenging process. Different kinds of data have different properties, structures and various challenges connected to them. A plethora of different methods has been proposed, but usually, the methods are very data-dependent. This thesis presents a new approach to the fusion of two modalities, primarily for the purpose of image segmentation. One of the modalities is image, and the second one is any non-grid-like modality. The method uses a graph to jointly represent both modalities, aiming to capture the intra and inter-modalities relationships as accurately as possible. The graph is then processed, producing a graph with fused data, or a direct segmentation. The proposed method was evaluated on two datasets (from the fields of mineralogy and timber processing) and compared to another solution, showing both the potential and limitations of the method. In case of the mineralogy dataset, the results are very encouraging, showing that the method is capable of data fusion, even outperforming a contemporary method. In case of the timber dataset, the results were not as conclusive, as the method failed to improve the results when compared to a baseline solution, which may have been caused by a challenging dataset.
Keywords:
computer vision; multimodal data; data fusion; image segmentation; počítačové videnie; multimodálne dáta; dátová fúzia; segmentácia obrazu
Available in a digital repository NRGL
Fúze obrazových a nemřížkových dat pro segmentaci objektů
Objekt záujmu sa často dá popísať viacerými dátovými zdrojmi. Napríklad, z obrazu auta sa dá zistiť farba, značka, alebo aj jeho typ. Čo sa ale najskôr nedá, je zistiť stav motora, či beží alebo nie. ...
Zabezbečení IoT aplikací pomocí mikrokontrolerů řady Arm Cortex-M33
Tonka, Marek; Zeman, Václav; Slavíček, Karel
2024 - English
Bakalárska práca analyzuje vlastnosti moderných mikrokontrolérov s architektúrou ARM Cortex-M33 a ich prínos pre zabezpečenie IoT aplikácií. Teoretická časť je zameraná na predstavenie spoločnosti ARM spolu s charakteristikou architektúry ARMv8, na ktorej sú procesory Cortex-M33 postavené. Taktiež sa kladie dôraz na predstavanie novej technológie TrustZone, ktorá je klúčovým zabezpečovacím prvkom týchto procesorov. Následne je predstavený výber mikrokontrolérov a ich vlastností od piatich popredných polovodičových spoločností. Praktická časť zahŕňa inštaláciu a nastavenie dvoch IDE pre nasledovnú prácu s doskami NUCLEO-575-ZI-Q a LPC55S69-EVK. Na základe týchto vývojových dosiek sa testujú štyri jedinečné funkcie, ktoré poukazujú na výhody používania procesorov ARM na zabezpečenie aplikácií internetu vecí. The bachelor thesis analyses the characteristics of modern microcontrollers with ARM Cortex-M33 architecture and their contribution to securing IoT applications. The theoretical part focuses on the introduction of ARM along with the characteristic of the ARMv8 architecture on which the Cortex-M33 processors are built. Emphasis is also placed on the introduction of the new TrustZone technology, which is a key security feature of these processors. Subsequently, a selection of microcontrollers and their features from five leading semiconductor companies is presented. The practical part covers the installation and setup of the two IDEs for the following work with the NUCLEO-575-ZI-Q and LPC55S69-EVK boards. Based on these development boards, four unique features are tested to demonstrate the benefits of using ARM processors to secure IoT applications.
Keywords:
ARM Cortex-M33; ARM Microcontrollers; IoT Security; TrustZone; Secure Boot; NUCLEO-575-ZI-Q; LPC55S69-EVK; ARMv8-M Architecture; Cybersecurity; Embedded Systems; STMicroelectronics; NXP Semiconductors; ARM Cortex-M33; mikrokontroléry ARM; bezpečnosť IoT; TrustZone; Secure Boot; NUCLEO-575-ZI-Q; LPC55S69-EVK; architektúra ARMv8-M; kybernetická bezpečnosť; vstavané systémy; STMicroelectronics; NXP Semiconductors
Available in a digital repository NRGL
Zabezbečení IoT aplikací pomocí mikrokontrolerů řady Arm Cortex-M33
Bakalárska práca analyzuje vlastnosti moderných mikrokontrolérov s architektúrou ARM Cortex-M33 a ich prínos pre zabezpečenie IoT aplikácií. Teoretická časť je zameraná na predstavenie spoločnosti ARM ...
Vyhodnocení vhodnosti polovodičového zdroje IR záření pro fotoakustický senzor plynů
Miškov, Alexander; Smísitel, Petr; Hubálek, Jaromír
2024 - English
Táto práca je zameraná na hodnotenie vhodnosti polovodičového zdroja svetla v strednej infračervenej oblasti pre fotoakustický senzor plynu. Teoretická časť práce bude venovaná známym technikám detekcie plynov, fyzikálnym zákonom, ktoré je potrebné pochopiť, a známym zdrojom infračerveného žiarenia, ktoré budú porovnané s predmetným polovodičovým zdrojom infračerveného žiarenia. V praktickej časti bude vysvetlená metodika hodnotenia IR zdroja svetla a budú prezentované výsledky. This thesis is focused on the evaluation of semiconductor mid-infrared light source suitability for photoacoustic gas sensor. The theoretical part of the thesis will be devoted to known gas detection techniques, physics laws that need to be comprehended and known infrared sources that will be compared with the semiconductor IR source in question. In the practical part, the methodology of the IR light source evaluation will be explained and the results will be presented.
Keywords:
Gas; gas detection; LED; infrared light source; semiconductor; photoacoustic; sensor.; Plyn; detekcia plynu; LED; zdroj infračerveného svetla; polovodič; fotoakustický; senzor.
Available in a digital repository NRGL
Vyhodnocení vhodnosti polovodičového zdroje IR záření pro fotoakustický senzor plynů
Táto práca je zameraná na hodnotenie vhodnosti polovodičového zdroja svetla v strednej infračervenej oblasti pre fotoakustický senzor plynu. Teoretická časť práce bude venovaná známym technikám ...
Influence of ball material on the resulting fatigue life of thermal sprayed HVOF coatings in dynamic impact testing
Duliškovič, J.; Daniel, Josef; Houdková, Š.
2024 - English
Dynamic impact wear, i.e. contact between two components in the presence of high cyclic local loads, is a challenging failure mode that occurs in many mechanical applications. Many previous studies have confirmed that dynamic impact testing is suitable for evaluating the contact fatigue of thermal sprayed coatings. However, the effect of the test parameters on the resulting lifetime is unclear. The aim of this study describes the effect of the ball material used in the dynamic impact test on the resulting fatigue life of the HVOF thermal sprayed coating. Three test balls made of WC/Co alloy, Si3N4 silicon nitride and 440 C steel were chosen for this study. Dynamic impaction testing was carried out on the Cr3C2-NiCr coating, which was sprayed by HVOF on a 1.2376 high-speed steel substrate. The impact lifetime was described by the number of critical impacts, i.e. the number of impacts before coating fatigue occurs. Furthermore, the depth and volume of impact craters were measured. Using scanning electron microscopy (SEM), the surface of the impacts as well as the microstructure of the coating on the cross-section in the region of the impacts were observed. Furthermore, the mechanism of crack propagation in the coating and the microstructure of the indentor were investigated.
Keywords:
dynamic impact test; HVOF; Cr3C2-NiCr; fatigue
Available at various institutes of the ASCR
Influence of ball material on the resulting fatigue life of thermal sprayed HVOF coatings in dynamic impact testing
Dynamic impact wear, i.e. contact between two components in the presence of high cyclic local loads, is a challenging failure mode that occurs in many mechanical applications. Many previous studies ...
Functional Tungsten-based thin films and their characterization
Košelová, Zuzana; Horáková, L.; Sobola, Dinara; Burda, Daniel; Knápek, Alexandr; Fohlerová, Z.
2024 - English
Anodizing is a technique by which thin oxide layers can be formed on a surface. Thin oxide layers have been found to be useful in a variety of applications, including emitters of electrons. Tungsten is still a common choice for cold field emitters in commercial microscopy applications. Its suitable quality can be further improved by thin film deposition. Not only the emission characteristic can be improved, but also the emitter operating time can be extended. Tungsten oxide is known for its excellent resistance to corrosion and chemical attack due to its stable crystal structure and strong chemical bonds between tungsten and oxygen atoms. Many techniques with different advantages and disadvantages have been used for this purpose. Anodization was chosen for this work because of the controllable uniform coverage of the material and its easy availability without the need for expensive complex equipment. The anodizing process involves applying an electrical potential to tungsten while it is immersed in an electrolyte solution. This creates a thin layer of tungsten oxide on the surface of the metal. The thickness and properties of the resulting oxide layer can be controlled by adjusting the anodization conditions, such as the electrolyte solution, voltage, and the duration of the process. In this work, H3PO4 was used as the electrolyte to test whether these tungsten oxide layers would be useful for electron emitters, for use in electron guns and other devices that require high-quality electron emitters. The properties were evaluated using appropriate techniques. In general, anodization of tungsten to form thin layers of tungsten oxide layers is a promising technique for producing high quality electron emitters.
Keywords:
cold-field emission; thin layer deposition; tungsten oxide; resonance enhanced tunneling; anodization
Available at various institutes of the ASCR
Functional Tungsten-based thin films and their characterization
Anodizing is a technique by which thin oxide layers can be formed on a surface. Thin oxide layers have been found to be useful in a variety of applications, including emitters of electrons. Tungsten ...
Microstructure modifications of Al-Si-coated press-hardened steel 22MnB5 by laser welding
Šebestová, Hana; Horník, Petr; Mika, Filip; Mikmeková, Šárka; Ambrož, Ondřej; Mrňa, Libor
2024 - English
Weld microstructure depends on the characteristics of welded materials and parameters of welding technology, especially on the heat input that determines the peak temperature and the cooling rate. When the coated sheets are welded, the effect of the chemical composition of the coating must be also considered even though its thickness is only a few tens of microns. During 22MnB5+AlSi laser welding experiments, the ferrite-stabilizing elements of coating modified the weld metal microstructure. Ferrite appeared in a quenched weld metal. The rapid cooling rate accompanying welding with a focused beam limited the homogenization of the weld metal which resulted in the formation of ferritic bands in the regions rich in Si and especially in Al. On the other hand, a high level of homogenization was reached when welding with the defocused beam. The ferritic islands uniformly distributed in the weld metal were formed at 0.4 wt% and 1.6 wt% of Si and Al, respectively. The doubled heat input reduced the Al content to 0.7 wt% insufficient for the ferrite formation at still relatively high cooling rates. Predicting the distribution of ferrite in the weld metal is challenging due to its dependence on various factors, such as cooling rate and the volume of dissolved coating, which may vary with any modifications made to the welding parameters.
Keywords:
laser welding; high-strength steel; microstructure; heat input; ferrite stabilization
Available at various institutes of the ASCR
Microstructure modifications of Al-Si-coated press-hardened steel 22MnB5 by laser welding
Weld microstructure depends on the characteristics of welded materials and parameters of welding technology, especially on the heat input that determines the peak temperature and the cooling rate. ...
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