No (3862)
Number of found documents:
3862
Published from
to
Generovaní šablon změn kódu v jazyce C
Kučma, Tomáš; Pavela, Jiří; Malík, Viktor
2024 - English
Zabezpečenie sémantickej stability softvérových projektov je často nákladnou úlohou. Nástroj DiffKemp automatizuje tento proces so špeciálnym dôrazom na výkon a použiteľnosť v rozsiahlych projektoch. Cenou za jeho efektívnosť je väčšia nepresnosť oproti formálnym nástrojom. Na minimalizáciu tohto problému DiffKemp umožňuje používateľom definovať vlastné vzory zachovávajúce sémantiku, opisujúce, aké zmeny majú byť považované za ekvivalentné. V súčasnosti je táto podpora obmedzená na vzory napísané v internej reprezentácii LLVM, ktorá nie je priateľská pre používateľa. Cieľom tejto práce je rozšíriť túto podporu na vzory napísané v jazyku C, čo výrazne zjednoduší proces ich vytvárania. To zahŕňa návrh reprezentácie vzorov, ktorá musí byť schopná zakódovať všetky potrebné metainformácie, a následný návrh, implementáciu a testovanie rozšírenia DiffKemp, ktoré umožní využívať vzory zapísané v jazyku C. Ensuring the semantic stability of software projects is often a costly task. DiffKemp is a tool that automatizes this process, with a special emphasis placed on performance and usability in large-scale projects. A trade-off for its efficiency is a greater degree of inaccuracy compared to formal tools. To minimize this issue, DiffKemp allows users to define their own semantics-preserving patterns, describing what kind of changes are to be treated as equal. Currently, this support is restricted to patterns written in LLVM internal representation, which is not a user-friendly language. The purpose of this work is to extend this capability to patterns written in C, significantly simplifying the process of their creation. This includes a proposal of a representation of the patterns, which must be able to encode all necessary meta-information, and subsequent design, implementation, and testing of a DiffKemp extension that allows utilization of patterns encoded in C.
Keywords:
code change patterns; DiffKemp; semantic analysis; refactorization; vzory zmien kódu; DiffKemp; sémantická analýza; refaktorizácia
Available in a digital repository NRGL
Generovaní šablon změn kódu v jazyce C
Zabezpečenie sémantickej stability softvérových projektov je často nákladnou úlohou. Nástroj DiffKemp automatizuje tento proces so špeciálnym dôrazom na výkon a použiteľnosť v rozsiahlych projektoch. ...
Lokalizovaná oxidace vanadových vrstev doplněná in-situ analýzou
Spousta, Jiří; Neuman, Jan; Ligmajer, Filip
2024 - English
V předložené diplomové práci se zabýváme popisem a aplikací námi vyvinuté metody lokální oxidace vanadových vrstev v komoře elektronového mikroskopu. K tomuto účelu používáme duté optické vlákno, které na zvolené místo na povrchu vzorku může přivést jak pracovní plyn (O\2), tak i intenzivní laserové světlo ($\lambda=532$\,nm). Po několika iteracích hledání nejvhodnější konfigurace lokálního ovlivňování povrchu vanadu (jednovláknová, případně dvouvláknová verze metody) byla jako nejvhodnější vyhodnocena varianta, ve které bylo planární duté optické vlákno (připevněné k ladičce AFM mikroskopu LiteScope od firmy NenoVision) definovaným způsobem přiblíženo k povrchu vanadové vrstvy. Blízkost povrchu a dostatečný tok pracovního plynu kapilárami dutého vlákna vedly k tomu, že se nám vanadovou vrstvu úspěšně podařilo zoxidovat. V práci jsou rovněž popsány výsledky měření Ramanovy spektroskopie takto lokálně ovlivněných vanadových vrstev, které ukázaly, že zvolená metoda, kterou jsme objevili, byla úspěšná a otevírá nové možnosti přípravy tohoto zajímavého materiálu. V práci jsou rovněž uvedeny a popsány nezbytné konstrukční úpravy stávající experimentální sestavy pro lokální oxidaci (multifunkčního systému vstřikování plynu) a popis přípravy tenkých vanadových vrstev metodou IBAD This diploma thesis deals with development and application of a unique method of locally oxidizing vanadium-based thin films inside the vacuum chamber of a scanning electron microscope. For this purpose, we use photonic crystal fiber to bring both O\2 gas and intense laser light ($\lambda=532$\,nm). After several iterations of finding the optimal configuration for the local modification on the vanadium-based sample surface (single-fiber or dual-fiber version of the method), the configuration deemed most suitable involved bringing a planar photonic crystal fiber, attached to the LiteScope AFM microscope tuning fork from NenoVision, close to the sample surface in a precise manner. Close sample surface-AFM probe proximity and sufficient flow of O\2 molecules lead to a successful local modification of oxidation state in the thin vanadium-based film. The thesis also describes results obtained by measuring Raman fingerpints of locally modified (oxidized) regions, that prove our novel approach of local oxidation successful and open new fabrication procedures of vanadium oxides. The work also contains descriptions of the necessary modifications made to the SEM to accommodate the experimental setup for local oxidation (multifunctional gas injection system), along with details on the fabrication process of thin vanadium-based films by IBAD.
Keywords:
vanadium dioxide; ion beam assisted deposition; local oxidation; AFM; SEM; Raman spectroscopy; oxid vanadičitý; naprašování iontovým svazkem; lokální oxidace; AFM; SEM; Ramanovská spektroskopie
Available in a digital repository NRGL
Lokalizovaná oxidace vanadových vrstev doplněná in-situ analýzou
V předložené diplomové práci se zabýváme popisem a aplikací námi vyvinuté metody lokální oxidace vanadových vrstev v komoře elektronového mikroskopu. K tomuto účelu používáme duté optické vlákno, ...
Efektivní a obecná mezivrstva abstrakce pro vestavěný Linux
Drexler, Filip Emanuel; Košař, Vlastimil; Korček, Pavol
2024 - English
Cieľom tejto práce je návrh a konštrukcia medzivrstvy vo vstavaných zariadeniach s operačným systémom GNU/Linux. Medzivrstva je softwarová vrstva, ktorá pomáha s abstrakciou hardware, medziprocesovou komunikáciou, genericitou kódu a čistejšou softwarovou architektúrou. Bola skonštruovaná s nástrojmi ako D-Bus a modelovacím jazykom YANG, čo viedlo z zmenám v softwarovej architektúre a jasnejšiemu designu. Niektoré nízkoúrovňové časti kódu boli presunuté do procesu, ktorý poskytuje rozhranie pre iné procesy. Výstupom je vhodnosť takejto medzivrstvy, výhody ktoré poskytuje, ale aj nevýhody. The goal of this thesis is middle layer (middleware) design and construction in embedded devices with Linux. Middleware is a layer which can help devices with abstraction from hardware, interprocess communication (IPC), code genericity and cleaner software architecture. It was constructed with tools such as D-Bus and YANG modeling language which lead to architecture changes and cleaner design. Some parts of lower level code were moved to one process which provides interface for communication for other processes. The outcome is the suitability of this middle layer, its advantages and disadvantages.
Keywords:
middle layer; middleware; abstraction; embedded; Linux; YANG; D-Bus; dbus; sdbus-c++; libyang; IPC; inter-process communication; medzivrstva; middleware; abstrakcia; vstavaný; Linux; YANG; D-Bus; dbus; sdbus-c++; libyang; IPC; medziprocesová komunikácia
Available in a digital repository NRGL
Efektivní a obecná mezivrstva abstrakce pro vestavěný Linux
Cieľom tejto práce je návrh a konštrukcia medzivrstvy vo vstavaných zariadeniach s operačným systémom GNU/Linux. Medzivrstva je softwarová vrstva, ktorá pomáha s abstrakciou hardware, medziprocesovou ...
Detection of Anxiety from Brain Electroencephalogram (EEG) Signals
Marko, Július; Shakil, Sadia; Malik, Aamir Saeed
2024 - English
Úzkosť ovplyvňuje ľudské schopnosti, správanie, produktivitu a kvalitu života. Úzkosť nás udržuje v bezpečí ako súčasť systému, ktorý pomáha kontrolovať a odvracať nebezpečenstvo. Tento systém sa však môže narušiť. Keď takéto narušenie nastane, môže to viesť k depresii a dokonca k samovražde. Cieľom tejto práce je vyvinúť novú metódu detekcie úzkosti zo signálov mozgu, konkrétne elektroencefalogramu (EEG), neinvazívnej a nákladovo efektívnej skríningovej metódy. Navrhovaná metóda zahŕňa mikrostavy, ktoré zatiaľ neboli na základe dostupnej literatúry použité na detekciu úzkosti. Extrahované sú aj ďalšie vlastnosti v časovej a frekvenčnej doméne. Nakoniec bol na týchto vlastnostiach natrénovaný a vyhodnotený klasifikátor strojového učenia, ktorý prekonal aktuálne dostupné metódy. Anxiety affects human abilities, behavior, productivity, and quality of life. Anxiety keeps us safe as part of a system that helps to control and avert danger. However, this safety system can go wrong. When such impairment emerges, it can lead to depression and even suicide. This work aims to develop a novel method of anxiety detection from brain signals, in particular electroencephalography (EEG), a non-invasive and cost-effective screening method. The proposed method incorporates microstates, which were not previously utilized for anxiety detection. Additional features in the time and frequency domain are extracted. Finally, a machine learning classifier is trained and evaluated on these features, outperforming other existing methods.
Keywords:
anxiety; anxiety disorder; electroencephalogram; EEG; brain; microstates; machine learning; úzkosť; úzkostná porucha; elektroencefalografia; EEG; mozog; mikrostavy; strojové učenie
Available in a digital repository NRGL
Detection of Anxiety from Brain Electroencephalogram (EEG) Signals
Úzkosť ovplyvňuje ľudské schopnosti, správanie, produktivitu a kvalitu života. Úzkosť nás udržuje v bezpečí ako súčasť systému, ktorý pomáha kontrolovať a odvracať nebezpečenstvo. Tento systém sa však ...
Návrh rozvoje značky v kontextu internacionalizace
Šviha, Richard; Chlebovský, Vít; Zich, Robert
2024 - English
Tato diplomová práce se zaměřuje na mezinárdoní expanzi již existující značky oblečení Pastel Hood, která si klade za cíl dodávat výrobky vysoké kvality s unikátním designem. Majitelé této značky se rozhodli rozšířit svůj obchod do zahraničí a Maďarsko bylo vybráno jako destinace pro tuto expanzi. Cílem této práce je vytvořit vhodný návrh na základě zvoleného teoretického rámce, jak přeformovat značku takovým způsobem, aby bylo možné úspěšně expandovat na tento trh. Tento cíl byl dosažen použitím několika analytických modelů k studiu celkového obchodního prostředí, stávající konkurence, zákazníků a názoru místních odborníků na téma expanze. Výsledkem je návrh ideálního stavu značky Pastel Hood pro zajištění maximální kompatibility a pro úspěch na maďarském trhu. This diploma thesis focuses on the international business expansion of an already existing clothing brand Pastel Hood, which aims to deliver high quality products with unique design aesthetics. The owners of the brand have decided to expand their business internationally and Hungary has been selected as the destination for this expansion. Thus, the goal of this thesis is to craft a suitable proposal based on a chosen theoretical framework to reshape the brand in such a way that a successful expansion into this market can be achieved. The goal was reached by employing several analytical models to study the overall business environment, current competition, customers, and opinion of local experts on the topic of expansion. The end result is a proposal for the Pastel Hood brand to ensure maximum compatibility and position to succeed on the Hungarian market.
Keywords:
International business; Expansion; Clothing brand; Brand Identity; Customers; Competition; Mezinárodní obchod; Expanze; Značka oděvu; Identita značky; Zákazníci; Konkurence; Strategie
Available in a digital repository NRGL
Návrh rozvoje značky v kontextu internacionalizace
Tato diplomová práce se zaměřuje na mezinárdoní expanzi již existující značky oblečení Pastel Hood, která si klade za cíl dodávat výrobky vysoké kvality s unikátním designem. Majitelé této značky se ...
Příprava a charakterizace epitaxních tenkých vrstev NiO a jejich antiferomagnetických domén
Opršal, Jakub; Caha, Ondřej; Staňo, Michal
2024 - English
Antiferomagnetické materiály získaly v posledních letech velkou pozornost díky svému uplatnění ve spintronice. NiO je dobře známý antiferomagnet a jeho Néelova teplota je nad pokojovou teplotou. Díky tomu je ideálním systémem pro studium antiferomagnetických domén. Pomocí reaktivního magnetronového naprašování jsme připravili tenké epitaxní vrstvy NiO na substrátech MgO (001) a safír (0001). Studovali jsme vliv jak substrátu tak depozičních parametrů na výslednou krystalovou a magnetickou strukturu. Použili jsme zobrazování pomocí magneto-optického dvojlomu, které slouží jako přístupnější alternativa k lineárnímu rentgenovému dichroismu pro pozorování T domén. Sestavili jsme laserovou soustavu a pomocí ní provedli experimenty zaměřené na optickou kontrolu antiferomagnetických domén. Antiferromagnets have gained a lot of interest in recent years due to their spintronic applications. NiO is a well-known antiferromagnetic material. Its Néel temperature above room temperature makes it an ideal candidate for study of antiferromagnetic domains. Using reactive magnetron sputtering, NiO thin films are epitaxially grown on MgO (001) and sapphire (0001) substrates under different conditions to study the impact on crystal and antiferromagnetic domain structures. Magneto-optical birefringence imaging is used to observe T (twin) domains, providing an accessible alternative to X-ray linear magnetic dichroism. We developed a laser setup to perform all-optical control of antiferromagnetic domains
Keywords:
NiO; thin films; antiferromagnetic domain imaging; magneto-optical birefringence; domain control; epitaxial growth; crystal structure; laser pulses; all-optical control; NiO; tenké vrstvy; zobrazování antiferomagnetických domén; magneto-optický dvojlom; epitaxní růst; krystalová struktura; ovládání magnetizace laserovými pulzy.
Available in a digital repository NRGL
Příprava a charakterizace epitaxních tenkých vrstev NiO a jejich antiferomagnetických domén
Antiferomagnetické materiály získaly v posledních letech velkou pozornost díky svému uplatnění ve spintronice. NiO je dobře známý antiferomagnet a jeho Néelova teplota je nad pokojovou teplotou. Díky ...
Matematický model rozjezdu závodního vozidla na nezpevněném povrchu
Čech, Tomáš; Porteš, Petr; Svída, David
2024 - English
Tato práce popisuje proces návrhu diskrétního matematického modelu systému kontroly trakce v prostředí programu Simulink, pro rozjezd závodního prototypu třídy Super Buggy. Pravidla této závodní kategorie značně limitují prostředky, které je možné pro zmíněný řídící systém využít, a to hlavně v oblasti povolených senzorů. Aby systém kontroly trakce bylo možné navrhnout i s těmito omezeními, byl pro zmíněný závodní prototyp na míru vytvořen měřící systém, který byl následně využit pro sběr dat nutných k vytvoření virtuálního dvojčete závodního vozidla. To bylo, společně s na míru vytvořeným samostatným algoritmem, využito pro simulaci ideálního startu, kterého je vozidlo schopno dosáhnout. Na základě dat z této simulace byl vytvořen nový referenční model, podle kterého dokázal systém kontroly trakce regulovat vozidlo bez nutnosti využití zakázaných senzorů. Tento systém byl poté s využitím virtuálního vozidla testován, nejprve při akceleraci z místa, proti výsledkům dosažených při rozjezdu na plný plyn a několika dalších uměle vytvořených vstupních signálech na povrchu, pro který byl systém navržen. Dále byla testována nezávislost akcelerace vozidla, řízeného systémem kontroly trakce, na okmažiku přeřazení. Jako poslední byly zkoumány schopnosti fungování systému na površích s koeficienty tření jinými, než pro které byl systém navržen. V kapitole 13 a v závěru byla diskutována potenciální implementace navrženého systému, jeho celkový potenciál, nedostatky a možnosti pro další zlepšení a budoucí vývoj. This thesis describes the process of designing a mathematical model of a launch control system in Simulink for a Super Buggy racing prototype vehicle driving on an unpaved surface. The rules of the Super Buggy class severely limit the resources allowed to be used for vehicle control, mainly in terms of sensors. To be able to design the control system even around those limitations, a bespoke measuring system was created to garner data necessary for building a virtual vehicle twin of the Super Buggy prototype. It was then used, in conjunction with a separate custom-developed algorithm, to simulate a baseline ideal acceleration run, from which more data could be obtained. This data was finally used to create a baseline for the launch control system to follow, which would eliminate the need for the sensors prohibited by the rules. This solution was tested using the virtual vehicle in terms of straight-line acceleration performance against a wide-open throttle driver input and a variety of artificial driver inputs in the surface conditions it was designed for. Furthermore, its independence of gear shift timing was tested, in addition to its performance in friction conditions different from the ones it was designed for. In chapter 13 and the conclusion, the possible future implementation of the launch control system, its overall potential and shortcomings, and the suggestions for improvements are discussed.
Keywords:
Launch control; slip; slip speed; virtual vehicle; virtual tire model; control system; control algorithm; measuring system; Simulink; straight-line acceleration; Kontrola trakce; skluz; skluzová rychlost; virtuální vozidlo; virtuální model pneumatik; řídící systém; řídící algoritmus; měřící systém; Simulink; akcelerace z místa
Available in a digital repository NRGL
Matematický model rozjezdu závodního vozidla na nezpevněném povrchu
Tato práce popisuje proces návrhu diskrétního matematického modelu systému kontroly trakce v prostředí programu Simulink, pro rozjezd závodního prototypu třídy Super Buggy. Pravidla této závodní ...
Vliv rychlosti deformace na mechanické vlastnosti materiálů
Gajdošík, Matej; Forejt, Milan; Jopek, Miroslav
2024 - English
Metóda Taylorovho testu je využívaná na skúmanie vlastností materiálu za podmienok dynamického zaťažovania. Práca predstavuje kompletný proces vývoja, montáže a testovania nového testovacieho zariadenia zameraného na dosiahnutie symetrického nárazu dvoch vzoriek materiálu v pohybe. Zariadenie je testované v dvoch konfiguráciách, pričom sú opísané výsledky oboch. Boli vykonané materiálové testy smrekového dreva, ktoré boli následne porovnané s výsledkami získanými z klasického Taylorovho kanóna. Boli zistené a opísané podstatné rozdiely. Ukázalo sa, že vykonané simulácie symetrického nárazu s využitím modelu smrekového materiálu nezodpovedajú praktickým experimentom, čo naznačuje potrebné zmeny modelu. Taylor Anvil Test method is used for the investigation of material properties under dynamic loading conditions. The thesis presents a complete process of development, assembly, and testing of a new testing apparatus aimed at achieving a symmetric impact of two material samples in motion. The device is tested in two configurations, results of both are described. Material tests of spruce wood were conducted and compared to results obtained from the classic Taylor canon. Substantial differences are observed and described. Conducted simulations of symmetric impact utilizing the spruce material model have not proven to represent practical experiments, hinting at required changes to the model.
Keywords:
Taylor Anvil Test; symmetric; test apparatus; spruce; wood; Taylorova skúška; symetrická; skušobné zariadenie; smrek; drevo
Available in a digital repository NRGL
Vliv rychlosti deformace na mechanické vlastnosti materiálů
Metóda Taylorovho testu je využívaná na skúmanie vlastností materiálu za podmienok dynamického zaťažovania. Práca predstavuje kompletný proces vývoja, montáže a testovania nového testovacieho ...
Aplikace formálních metod v analýze sémantických rozdílů mezi verzemi software
Nečas, František; Vojnar, Tomáš; Malík, Viktor
2024 - English
Cílem této práce je navrhnout integraci formálních metod pro DiffKemp, nástroj pro statickou analýzu sémantických rozdílů v rozsáhlých programech napsaných v jazyce C. Cílem tohoto rozšíření je umožnit analýzu složitějších změn, které by typicky byly analyzovatelné spíše nástroji založenými na formálních metodách, a zároveň zachovat škálovatelnost nástroje DiffKemp na velké projekty. Principem navrženého řešení je při analýze v případě nalezení možné sémantické změny zakódovat problém ekvivalence příslušných instrukcí jako instanci problému SMT. Tím je možné sémantický rozdíl potvrdit, nebo vyvrátit s pomocí SMT solveru. Navržené řešení bylo implementováno v nástroji DiffKemp a experimenty provedené na sadě programů zvané EqBench ukazují, že rozšiřuje schopnosti nástroje DiffKemp, převážně v oblasti přesné analýzy úprav aritmetických výrazů. The goal of this work is to propose an integration of formal methods into DiffKemp, a static analysis tool for analyzing semantic differences of large-scale C projects. The aim of this extension is to facilitate analysis of more complex code changes, which would typically be better handled by a tool based on formal methods, while also maintaining DiffKemp’s scalability to large projects. To achieve this, whenever a possible semantic change is found, the equivalence of the relevant instructions is encoded into an SMT problem instance and the difference is either confirmed or refuted using an SMT solver. The proposed solution has been implemented in DiffKemp and our experiments on a set of benchmarks called EqBench show that it extends the capabilities of DiffKemp, mainly with regards to sound analysis of refactorings of arithmetic expressions.
Keywords:
DiffKemp; static analysis; semantic differences; LLVM IR; formal methods; code change pattern; SMT solving; Z3 solver; Linux kernel; EqBench benchmark; DiffKemp; statická analýza; sémantické rozdíly; LLVM IR; formální metody; vzory změn v kódu; řešení problému SMT; Z3 solver; Linuxové jádro; sbírka programů EqBench
Available in a digital repository NRGL
Aplikace formálních metod v analýze sémantických rozdílů mezi verzemi software
Cílem této práce je navrhnout integraci formálních metod pro DiffKemp, nástroj pro statickou analýzu sémantických rozdílů v rozsáhlých programech napsaných v jazyce C. Cílem tohoto rozšíření je ...
Využití reputačního skóre a skóre anomálií pro hodnocení událostí v logovacích souborech
Zbořil, Jan; Burgetová, Ivana; Matoušek, Petr
2024 - English
Pro administrátory, bezpečnostní inženýry a síťové experty je nemožné sledovat současné množství dat proudící v počítačových sítích. Komplexní systémy jako IDS nebo IPS jsou navrženy tak, aby kromě své primární funkce také ukládaly síťový provoz. Cílem této práce je automaticky redukovat počet záznamů v lozích generovaných těmito systémy tak, aby obsahovaly pouze nejdůležitější informace. Anomální a reputační skóre představují metriky pro rozhodování tohoto problému - zda je záznam v logu důležitý či nikoliv. Cílem práce je prozkoumat současný stav metod běžně používaných pro tyto účely a navrhnout řešení, jak využít data síťových analyzátorů, jako je Suricata, k detekci anomálií v provozu a ohodnocení reputace síťových uzlů. Je vyvinuto kompletní řešení od zpracování dat, výpočtu skóre, redukce velikosti logů výběrem důležitých záznamů, a interpretace výsledků. Řešení je demonstrováno na reálných datech. Jsou diskutovány možnosti využití výsledků a použitých metod, jejich možné vylepšení a možné rozšíření v budoucích pracech. The current amount of data flowing through computer networks cannot be monitored by individuals. This data is also being saved by IDS or IPS systems to logs, which grow ever faster. The goal is thus to automatically reduce the amount of such logs, for them to contain only the most valuable information. Rating scores, such as anomaly score or a reputation scores, are valid metrics for determining whether the information (i.e., log event) is valuable or not. The goal of this thesis is to explore the current state of methods used for anomaly detection and reputation scoring. And to propose a solution on how to use data captured in the logs of network analysers like Suricata to detect anomalies in the traffic and score network nodes. A complete solution from data processing, scoring using methods for computation of reputation score and anomaly detection, and result interpretation, is developed and demonstrated on real-world data. A way of reducing the amount of log events by using the calculated scores is demonstrated. A resulting method of combining both scores to automatically rate the log events is demonstrated and explained on examples of the real scored data. Possible future uses of the results are discussed.
Keywords:
anomaly detection; PCA; Principal Component Analysis; reputation score; network traffic logs; detekce anomálíí; PCA; Analýza hlavních komponent; reputační skóre; logy síťového provozu
Available in a digital repository NRGL
Využití reputačního skóre a skóre anomálií pro hodnocení událostí v logovacích souborech
Pro administrátory, bezpečnostní inženýry a síťové experty je nemožné sledovat současné množství dat proudící v počítačových sítích. Komplexní systémy jako IDS nebo IPS jsou navrženy tak, aby kromě ...
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