No (25309)
Number of found documents:
25309
Published from
to
Vývoj keramického filtračního zařízení pro elektroizolační kapaliny
Havlíková, Tereza; Cihlář, Jaroslav; Maca, Karel
2024 - English
Cílem této diplomové práce byla příprava makroporézních keramických filtrů na bázi mullitu a oxidu křemičitého, které by byly vhodné pro filtraci elektroizolačních kapalin v distribučních transformátorech. První část této práce tvoří literární rešerše, která se zabývá tématem elektroizolačních kapalin a jejich degradace, metodami přípravy makroporézní keramiky a jejího využití pro filtraci, včetně přehledu používaných materiálů. Experimentální část se zabývá přípravou porézních filtrů pomocí dvou vybraných metod, replikační metody a přímého pěnění. U filtrů připravených pomocí optimalizovaných parametrů bylo vyhodnoceno fázové složení, mikrostruktura a pevnost v tlaku. Filtry připravené replikační metodou byly tvořeny otevřenými propojenými póry o velikosti 150 až 350 µm, dosahovaly porozity kolem 80 % a pevnosti v tlaku až 2,4 MPa. Keramické pěny získané přímým pěněním dosahovaly porozity 68-73 % a otevřených propojených pórů menších než 100 µm. Filtry bylo nutné zvětšit na rozměry dané filtračním zařízením. Přímé pěnění se ukázalo jako nevhodné pro přípravu filtrů ve větším měřítku, nicméně filtry připravené replikační metodou byly úspěšně zvětšeny a jsou připraveny pro testování jejich filtrační schopnosti. Tyto filtry s otevřenými propojenými póry, unimodálním rozložením velikosti pórů a dostatečnou mechanickou pevností jsou potenciálními kandidáty pro použití v prvním kroku filtrace elektroizolačních kapalin a mohou tak představovat udržitelnější alternativu k v současnosti používaným papírovým filtrům. The aim of this master’s thesis was to prepare macroporous ceramic filters based on mullite and silica, suitable for the filtration of electro-insulating liquids in distribution transformers. The first part of this thesis is a literature review, which addresses the topic of electro-insulating liquids and their degradation, processing techniques of macroporous ceramics and their use in filtration, including an overview of the materials used. The experimental part describes the preparation of porous filters using two selected methods, the replica template method and direct foaming. Filters prepared with optimised processing parameters were evaluated for phase composition, microstructure and compressive strength. Filters prepared using the replica template method consisted of open interconnected pores ranging from 150 to 350 µm, achieved a porosity of around 80 % and compressive strength up to 2.4 MPa. Ceramic foams obtained using direct foaming achieved a porosity of 68–73 % and open interconnected pores up to 100 µm. Due to the requirements of the filtration equipment, the dimensions of the filters had to be scaled up. Direct foaming was found to be unsuitable for the large-scale preparation of filters, however, filters prepared by the replica template method were successfully scaled up and are ready for the testing of their filtration capacity. These filters with open interconnected pores, unimodal pore size distribution and sufficient mechanical strength are potential candidates for use in the first stage of filtration of electro-insulating liquids, offering a more sustainable alternative to the currently used paper filters.
Keywords:
macroporous ceramics; ceramic filters; mullite; silica; replica template method; direct foaming; electro-insulating liquid; makroporézní keramika; keramické filtry; mullit; oxid křemičitý; replikační metoda; přímé pěnění; elektroizolační kapalina
Available in a digital repository NRGL
Vývoj keramického filtračního zařízení pro elektroizolační kapaliny
Cílem této diplomové práce byla příprava makroporézních keramických filtrů na bázi mullitu a oxidu křemičitého, které by byly vhodné pro filtraci elektroizolačních kapalin v distribučních ...
Mobilní aplikace pro decentralizované volby
Pastushenko, Vladislav; Perešíni, Martin; Tamaškovič, Marek
2024 - English
Tato práce popisuje vývoj decentralizované mobilní aplikace pro operační systém Android, která využívá protokol hlasování v zasedací místnosti založený na blockchainu. Článek popisuje motivaci k napsání práce, obecné pojmy spojené s vývojem decentralizovaných aplikací, popisuje plán vývoje, popisuje zvolené technologie, implementace a testování aplikace, zvláštnosti při práci s Flutterem při interakci s chytrými kontrakty Solidity. This paper describes the development of a decentralized mobile application for the Android operating system, using the 1-out-of-k Blockchain-Based Boardroom Voting protocol. The paper describes the motivation for writing the work, the general concepts associated with the development of decentralized applications, describes the development plan, describes the selected technology, implementation and testing of application, peculiarities when working with Flutter when interacting with Solidity smart contracts.
Keywords:
Blockchain; Decentralized application (dApp); Mobile application; Elections; Voting; Security; Transparency; Accessibility; Blockchain technology; Smart contracts; Ethereum; DApp development; Web3; Mobile app development; Decentralized systems; Peer-to-peer networking; P2P; Cryptography; Flutter; Metamask; Truffle; WalletConnect; Decentralizované aplikace; volby; hlasování; bezpečnost; chytré smlouvy; peer-to-peer sítě; vývoj mobilních aplikací
Available in a digital repository NRGL
Mobilní aplikace pro decentralizované volby
Tato práce popisuje vývoj decentralizované mobilní aplikace pro operační systém Android, která využívá protokol hlasování v zasedací místnosti založený na blockchainu. Článek popisuje motivaci k ...
Převodníky v automatové knihovně Mata
Chocholatý, David; Lengál, Ondřej; Holík, Lukáš
2024 - English
Implementujeme konečné převodníky do nové rychlé a jednoduché automatové knihovny Mata. Konečné převodníky jsou konečné stavové stoje modelující regulární relace. Naše hlavní použití pro konečné převodníky je kódovaní operací nahrazení (nahrazení slova nebo regulárního vzoru řetězcem). Nový SMT nástroj pro řešení formulí s omezeními nad řetězci Z3-Noodler používá knihovnu Mata jako základ pro jeho rozhodovací proceduru. Noodler potřebuje konečné převodníky k analýze programů manipulujících s řetězci s operacemi nahrazení. Analýzou zmíněných programů používaných ve webových aplikacích se zabrání útokům jako cross-site scripting (XSS) nebo vložení kódu. Hlavní odlišující vlastnosti knihovny Mata zahrnují jednoduchost (jednoduchá k užívání, úpravě a rozšíření) a efektivitu (pracuje rychle). Reprezentaci a algoritmy pro konečné převodníky jsme navrhli s ohledem na tyto vlastnosti knihovny. K reprezentaci konečných převodníků a jejich algoritmů znovupoužijeme a rozšíříme existující datové struktury a algoritmy pro konečné automaty v knihovně Mata. Reprezentace pro konečné převodníky slouží jako společná reprezentace pro konečné převodníky a budoucí reprezentaci automatů využívajících multi-terminálních binárních rozhodovacích diagramů pro práci s velkými abecedami. Navíc rozšíříme návrh o algoritmy pro konstrukci konečných převodníků modelujících operace nahrazení definovaných v SMT-LIB. Nakonec experimentálně vyhodnotíme efektivitu konečných převodníků v knihovně Mata na nové sadě příkladů s operacemi nahrazení z běhů nástroje Z3-Noodler a z řešení problémů nalezení vzoru. We implement finite transducers in a new fast and simple automata library Mata. Finite transducers are finite state machines modelling rational relations. Our primary use case for finite transducers is encoding replace operations (replacing a word or a regular pattern with a string literal). A recent automata-based SMT string solver Z3-Noodler uses Mata as a backbone of its decision procedure. Z3-Noodler needs finite transducers to analyse string manipulating programs with replace operations. The analysis of said programs used in web applications prevents software attacks such as cross-site scripting (XSS) or code injection. The distinctive features of Mata include simplicity (simple to use, modify and extend) and efficiency (fast to run). We design the representation and algorithms for finite transducers to fit the simplicity and efficiency requirements. We inherit and extend the existing data structures and algorithms for finite automata in Mata to represent the finite transducers and their operations. The representation for finite transducers serves as a common data structure and interface for the finite transducers and future representation of automata using multi-terminal binary decision diagrams to handle large alphabets. We further extend the design with algorithms to construct finite transducers modelling replace operations defined in SMT-LIB. Finally, we run an experimental evaluation of performance of finite transducers in Mata on a new benchmark with replace operations from runs of Z3-Noodler and from solving problems in pattern matching.
Keywords:
finite transducers; finite automata; replace operations; string solving; string constraints; SMT; efficiency; simplicity; verification; cross-site scripting; code injection; browser transductions; composition; projection; application; nondeterminism; konečné převodníky; konečné automaty; operace nahrazení; řešení řetězcových problémů; řetězcová omezení; SMT; efektivita; jednoduchost; verifikace; cross-site scripting; vložení kódu; prohlížečové transdukce; kompozice; projekce; aplikace; nedeterminismus
Available in a digital repository NRGL
Převodníky v automatové knihovně Mata
Implementujeme konečné převodníky do nové rychlé a jednoduché automatové knihovny Mata. Konečné převodníky jsou konečné stavové stoje modelující regulární relace. Naše hlavní použití pro konečné ...
Předání moci v rodinném podniku
Schmidt, Jakub; Chlebovský, Vít; Koráb, Vojtěch
2024 - English
Bakalářská práce se zaměřuje na řízení předání moci v malém rodinném podniku Schmidt Reality. Nejdříve definuje a vysvětluje základní pojmy související s procesem předání moci a řízením rodinných podniků. Dále se podrobně zaměřuje na specifika a výzvy spojené s předáním vedení v malých rodinných podnicích, zejména v realitním sektoru. V práci jsou prováděny strategické analýzy zaměřené na optimální přístupy k předání moci, s cílem zajistit hladký přechod a udržet kontinuitu a stabilitu podniku v rámci realitního odvětví. The bachelor thesis focuses on the succession management of Schmidt Reality s.r.o., a family-owned real estate company. It begins by defining and explaining key issues related to succession planning in family businesses. The study then delves into the specifics of succession processes, challenges, and strategies within the context of family-run real estate enterprises. Detailed strategic analyses are conducted, utilizing the gathered data to formulate a comprehensive succession plan. This plan aims to ensure a smooth leadership transition, maintain business continuity, and reinforce the company's position in the real estate market.
Keywords:
Entrepreneurship; family business; real estate; succession management; small business; company analysis of internal and external environment; SWOT analysis; risk analysis.; Podnikání; rodinný podnik; realitní kancelář; řízení nástupnictví; malý podnik; analýza vnitřního a vnějšího prostředí společnosti; SWOT analýza; analýza rizik.
Available in a digital repository NRGL
Předání moci v rodinném podniku
Bakalářská práce se zaměřuje na řízení předání moci v malém rodinném podniku Schmidt Reality. Nejdříve definuje a vysvětluje základní pojmy související s procesem předání moci a řízením rodinných ...
Prostředky pro zajištění interoperability Arduino/ESP a ROS2
Fabo, Matúš; Beran, Jan; Janoušek, Vladimír
2024 - English
Táto práca skúma integráciu nízkonákladovej rady mikrokontrolérov ESP32 s Robot Oper- ating System 2 (ROS2), populárnym frameworkom v oblasti robotiky. Primárnym cieľom je vyvinúť metódy a nástroje, ktoré uľahčia bezproblémovú integráciu mikrokontrolérov ESP32 do vývojového ekosystému ROS2 s využitím existujúcich middleware riešení posky- tovaných tretími stranami. Zameraním sa na začlenenie projektov ESP-IDF do nástrojov ROS2 sa výskum zameriava na zefektívnenie nasadenia a riadenia systémov založených na ESP32 v robotických aplikáciách. Tento prístup zvyšuje dostupnosť a užitočnosť ROS2, čo umožňuje efektívnejšie využitie mikrokontrolérov ESP32 v rôznych robotických kontextoch. This thesis explores the integration of the low-cost ESP32 line of microcontrollers with the Robot Operating System 2 (ROS2), a widely-used framework in the field of robotics. The primary goal is to develop methods and tools that facilitate seamless integration of ESP32 microcontrollers into the ROS2 development ecosystem, leveraging existing middleware solutions provided by third parties. By focusing on the incorporation of ESP-IDF projects into ROS2 tooling, the research aims to streamline the deployment and management of ESP32-based systems within robotics applications. This approach enhances the accessibility and utility of ROS2, enabling more efficient and effective use of ESP32 microcontrollers in various robotic contexts.
Keywords:
ESP-IDF; ESP32; ROS2; CMake; Interoperability; Microcontrollers; Integration; Tooling; Middleware; IoT; Robotics; ESP-IDF; ESP32; ROS2; CMake; Interoperabilita; Mikrokontroléry; Integrácia; Nástroje; Middleware; IoT; Robotika
Available in a digital repository NRGL
Prostředky pro zajištění interoperability Arduino/ESP a ROS2
Táto práca skúma integráciu nízkonákladovej rady mikrokontrolérov ESP32 s Robot Oper- ating System 2 (ROS2), populárnym frameworkom v oblasti robotiky. Primárnym cieľom je vyvinúť metódy a nástroje, ...
Vylepšení RISC-V procesoru pro automobilový průmysl
Gallo, Jiří; Jaroš, Jiří; Šimek, Václav
2024 - English
Cílem této práce je úprava existujícího RISC-V procesoru pro použití v automobilovém průmyslu - konkrétně ovládání motorů. Tyto úpravy jsou založeny na ukázkovém kódu pro řízení motoru využívajícím aritmetiku s pevnou řádovou čárkou. Tento kód byl profilován a analyzován, na základě čehož byly vytvořeny nové instrukce. Vliv těchto instrukcí byl zanalyzován jak z pohledu zrychlení běhu, tak z pohledu dopadu na parametry procesoru. The aim of this thesis is to modify existing RISC-V processor for automotive applications - specifically motor control. These modifications are based on a sample motor control code that uses fixed-point arithmetic. This code was profiled, analyzed, and new instructions were created. The impact of these instructions was analyzed both in terms of execution time improvement and impact on processor parameters.
Keywords:
RISC-V; CPU; instruction set architecture; improvement; fixed-point arithmetic; RISC-V; CPU; instrukční sada; vylepšení; frakční aritmetika
Available in a digital repository NRGL
Vylepšení RISC-V procesoru pro automobilový průmysl
Cílem této práce je úprava existujícího RISC-V procesoru pro použití v automobilovém průmyslu - konkrétně ovládání motorů. Tyto úpravy jsou založeny na ukázkovém kódu pro řízení motoru využívajícím ...
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 ...
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