No (25569)
Number of found documents:
25569
Published from
to
Generování kódu z textového popisu funkcionality
Zobal, Ondřej; Nosko, Svetozár; Smrž, Pavel
2024 - English
Tato práce se zabývá vývojem rozšíření do editoru Visual Studio Code, které pomůže vývojářům udržet kvalitu kódu jazyka Python 3. Rozšíření poskytuje možnost generování komentářů a docstringů, návrhu nových jmen proměnných. Rozšíření využívá velké jazykové modely Transformer s řídkou pozorností pro zpracování výsledků. Výsledky bohužel nekonkurují současné konkurenci, jakou je například GPT-3.5-turbo. This thesis is concerned with the development of an extension for the Visual Studio Code editor that helps developers maintain code quality in Python 3 by generating comments and docstrings and suggesting new names for variables. The extension was also supposed to include a bug fixing system, but unfortunately it failed to become effective. The system uses large Transformer language models with sparse attention for processing results. Unfortunately, the results do not compete with current competition such as GPT-3.5-turbo.
Keywords:
machine learning; natural language processing; ML; NLP; code refinement; comment generation; refactoring; Longformer; PLBART; Visual Studio Code; extension; strojové učení; zpracování přirozeného jazyka; ML; NLP; zlepšení kódu; generování komentářů; refaktorizace; Longformer; PLBART; Visual Studio Code; rozšíření
Available in a digital repository NRGL
Generování kódu z textového popisu funkcionality
Tato práce se zabývá vývojem rozšíření do editoru Visual Studio Code, které pomůže vývojářům udržet kvalitu kódu jazyka Python 3. Rozšíření poskytuje možnost generování komentářů a docstringů, návrhu ...
Vývoj infrastruktury pro testování materiálů při působení vakua – outgassing
Večeřa, Tomáš; Mašek, Jakub; Lazar, Václav
2024 - English
Tato diplomová práce se zabývá návrhem testovacího zařízení pro testování odplyňování (outgassing) materiálů. V teoretické části jsou popsány standarty zabývající se danou tématikou a je provedena rešerše existujících zařízení z veřejně dostupných zdrojů. Výstup teoretické části je seznam celkem sedmnácti požadavků, které musí výsledné zařízení splňovat. V praktické části je vytvořen seznam všech systémů, vstupujících do zařízení a následně je vytvořen detailní model zařízení. Zařízení se skládá z vakuové komory a vnitřního aparátu, ve kterém probíhá daný test. Na závěr je vyhodnoceno splnění všech stanovených požadavků a je představen testovací plán. This master thesis deals with the design of a testing device outgassing properties of materials. In the research part, standards dealing with this topic are described and research of existing devices from publicly available sources is carried out. The output of the theoretical part is a list of a total of seventeen requirements that the resulting device must meet. In the practical part, a list of all systems entering the device is created and then a detailed model of the device is created. The device consists of a vacuum chamber and an inner apparatus in which the test takes place. Lastly, the fulfillment of all set requirements is evaluated, and a test plan is presented.
Keywords:
Outgassing; TML; CVCM; outgassing testing; vacuum testing; vacuum chamber; design; space; vacuum; Odplyňování; TML; CVCM; testování odplyňování; testování ve vakuu; vakuová komora; design; vesmír; vakuum
Available in a digital repository NRGL
Vývoj infrastruktury pro testování materiálů při působení vakua – outgassing
Tato diplomová práce se zabývá návrhem testovacího zařízení pro testování odplyňování (outgassing) materiálů. V teoretické části jsou popsány standarty zabývající se danou tématikou a je provedena ...
Zlepšování interpretu GraalPy
Hrbáč, Adam; Smrčka, Aleš; Kozák, David
2024 - English
GraalPy je implementace jazyka Python pro Java Virtual Machine (JVM), určená pro její vkládání do Java aplikací. Do existujícího kódu Javy lze takto přidávat Python balíčky třetích stran. GraalPy také, ve srovnání s CPython jako referenční implementací Pythonu, často dosahuje vyššího výkonu. Tato práce realizuje dvě významné funkce Pythonu v GraalPy. První, kterou je API pro asynchronní programování, jedna z posledních hlavních funkcí jazyka Python co v GraalPy chyběla, a která se využívá hlavně pro programování webových aplikací, kde umožňuje psaní souběžného kódu bez potřeby vláken použitím takzvaného barevného asynchronního programování, kde programátor musí explicitně anotovat možné změny toku programu. Obsahuje dvě části, knihovnu pro smyčky událostí, v případé této práce asyncio, a syntax pro anotaci změn toku. Druhou funkcí v této práci je trasovací API, tedy API CPythonu pro implementaci ladících nástrojů, nástrojů pro pokrytí kódu testy, apod. Funguje pomocí analýzy bajtkódu Pythonu při kterém se vyhodnocuje zda je spouštěn nový řádek, a pokud ano, je pro něj zavoláno nakonfigurované zpětné volání. Pokud běžící kód vrátí hodnotu, zavolá funkci nebo vyhodí výjimku, použije se znovu toto zpětné volání, což umožní ladícímu nástroji nastavit pro takovouto událost body přerušení. Obě tyto funkce jsou součástí vydané verze GraalPy a mají významný přínos pro kompatibilitu s balíčky třetích stran. GraalPy is a Python implementation for the Java Virtual Machine, designed for easy embedding into Java applications. Such embedding is primarily useful for adopting 3rd party Python packages in existing Java codebases. GraalPy also often has greater performance compared to CPython, the canonical implementation of Python. This work implements two major features. First, the async API, one of the last major missing Python features in GraalPy, used primarily for web development, allowing writing concurrent code without parallelism, using so-called colored async, where each context switch point must be explicitly annotated. It is composed of two major parts, a library providing an event loop, asyncio in this work, as well as the syntactic components of Python, providing the way with which to indicate context switches. The second feature is the tracing API, a CPython API for implementing Python debuggers, used by integrated debuggers in IDEs, coverage tools, etc. It works by analyzing the Python bytecode in order to determine whether a new line is being executed, and if so, invokes a registered callback. This callback is also used when returning a value, calling a function and raising an exception, allowing a debugger to set a breakpoint for these events. Both features are part of the GraalPy releases and have had a notable benefit to compatibility with 3rd party packages.
Keywords:
Python; async; debugger; GraalPy; Python; async; debugger; GraalPy
Available in a digital repository NRGL
Zlepšování interpretu GraalPy
GraalPy je implementace jazyka Python pro Java Virtual Machine (JVM), určená pro její vkládání do Java aplikací. Do existujícího kódu Javy lze takto přidávat Python balíčky třetích stran. GraalPy ...
Integrace FedCM API do systému Keycloak
Vacek, Šimon; Rychlý, Marek; Burget, Radek
2024 - English
Kvůli obavám o bezpečnost, důvěryhodnost a kvůli probíhajícím změnám v bezpečnosti dochází ve webových prohlížečích k zákazu cookies třetích stran. Ty hrají klíčovou roli při federování identit uživatelů v aplikacích jednotného přihlášení, proto se vyvíjí jednotné řešení s důrazem na ochranu soukromí. Federated Credential Management API je v tuto chvíli navržené a prozatím nestandardizované řešení. Tato práce se zabývá implementací specifikace tohoto API do Cloud Native Computing Foundation inkubačního projektu Keycloak. Jde o aplikaci jednotného přihlášení s otevřeným zdrojovým kódem, jejíž hlavní přispěvatel je firma Red Hat. OpenID Connect a OAuth 2.0 jsou popsány společně s tím jak fungují dohromady s FedCM a všemi jeho rozšířeními. Výsledek je implementován jako rozšíření rozhraní poskytovatele služeb Keycloaku. Because of security concerns, trustworthiness, and ongoing privacy-oriented changes, third-party cookies are to be phased out in web browsers. These play a key role in federating user identities in single sign-on applications, so a unified solution with a focus on preserving privacy is being developed. The Federated Credential Management API is the proposed solution; at this time, it is not yet standardized. This thesis deals with implementing the specification of this API to a Cloud Native Computing Foundation incubating project Keycloak. It is an open source single-sign-on application with Red Hat as the main contributor. The OpenID Connect and OAuth 2.0 are discussed together with how they work together with FedCM and all of its extensions. The result is implemented as a service provider interface extension to Keycloak.
Keywords:
Keycloak; single sign-on; third-party cookies; FedCM; federated identity; user identity; social login; Keycloak; jednotné přihlášení; cookies třetích stran; FedCM; federovaná identita; identita uživatele; sociální přihlášení
Available in a digital repository NRGL
Integrace FedCM API do systému Keycloak
Kvůli obavám o bezpečnost, důvěryhodnost a kvůli probíhajícím změnám v bezpečnosti dochází ve webových prohlížečích k zákazu cookies třetích stran. Ty hrají klíčovou roli při federování identit ...
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 ...
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. ...
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