Ne (7321)
Počet nalezených dokumentů:
7321
Publikováno od
do
Kooperativní hra s dualitou času a prostoru
Czakan, Vojtěch; Kapinus, Michal; Polášek, Tomáš
2024 - anglický
Tato práce detailně popisuje vývoj kooperativní videohry, ve které dva hráči, každý ve své dimenzi, manipulují časem k postupu úrovněmi a současně se potýkají s nebezpečnými překážkami. Hra byla vyvinuta pomocí enginu Unity, rozšířeného o Netcode for GameObjects a Unity Relay. Řešení nabízí jedinečný multiplayerový zážitek, který klade důraz na komunikaci, strategii a koordinaci mezi hráči. Implementace prokázala proveditelnost kombinace složitých mechanik manipulace časem s robustní podporou multiplayeru pro zlepšení herního zážitku. This thesis details the development of a cooperative video game where two players, each in a separate dimension, manipulate time to progress through levels while contending with dangerous obstacles. The game was developed using the Unity engine, enhanced by Netcode for GameObjects and Unity Relay. The solution offers unique multiplayer experience that emphasizes communication, strategy, and timely coordination between players. The implementation demonstrated the feasibility of combining complex time manipulation mechanics with robust multiplayer support to enhance interactive gameplay.
Klíčová slova:
Unity; game; cooperative; multiplayer; time control; game design; Netcode for GameObjects; Unity Relay; Unity; hra; kooperativní; pro více hráčů; ovládání času; herní design; Netcode for GameObjects; Unity Relay
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Kooperativní hra s dualitou času a prostoru
Tato práce detailně popisuje vývoj kooperativní videohry, ve které dva hráči, každý ve své dimenzi, manipulují časem k postupu úrovněmi a současně se potýkají s nebezpečnými překážkami. Hra byla ...
Vývoj keramického filtračního zařízení pro elektroizolační kapaliny
Havlíková, Tereza; Cihlář, Jaroslav; Maca, Karel
2024 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
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í
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
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.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 ...
Využitie Diffusion Modelov v Oblasti Deepfakes
Trúchly, Dominik; Malinka, Kamil; Lapšanský, Tomáš
2024 - anglický
Deepfake je typ syntetického média vytvoreného pomocou sofistikovaných algoritmov strojového učenia, najmä hlbokých neurónových sietí. Ako príklad možno uviesť generatívne adverzné neurónové siete (GAN), ktoré sú schopné generovať obrázky, ktoré sú pre bežných jednotlivcov takmer nemožné odlíšiť od skutočnej reality. V dôsledku toho boli vyvinuté algoritmy detekcie hlbokých falošných správ, ktoré riešia tento rastúci problém. Tieto algoritmy využívajú pokročilé techniky strojového učenia a analyzujú rôzne funkcie v rámci obrázkov a videí, aby identifikovali nezrovnalosti alebo anomálie svedčiace o manipulácii. Táto práca skúma aplikáciu difúznych modelov, bežne používaných v digitálnom spracovaní obrazu na zvýšenie kvality obrazu znížením šumu a rozmazania, pre posilňovanie realizmu deepfakes. Využitím týchto modelov testujeme ich efekt na odhaľovanie deepfakes obrázkov pomocou deepfake detektorov. A deepfake is a type of synthetic media created through sophisticated machine learning algorithms, particularly deep neural networks. As an example Generative adversarial neural networks (GANs), that are capable of generating images that are almost impossible for ordinary individuals to differentiate from genuine reality. Consequently, deepfake detection algorithms have been developed to address this growing concern. Leveraging advanced machine learning techniques, these algorithms analyze various features within images and videos to identify inconsistencies or anomalies indicative of manipulation. This thesis investigates the application of diffusion models, commonly utilized in digital image processing to enhance image quality by reducing noise and blurring, in bolstering the realism of deepfakes. By using these models, we test their effect on detecting deepfakes images using deepfake detectors.
Klíčová slova:
deepfake; neural networks; deepfake detection; diffusion models; biometrics systems; deepfake; neurónové siete; deepfake detekcia; difúzne modely; biometrické systémy
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Využitie Diffusion Modelov v Oblasti Deepfakes
Deepfake je typ syntetického média vytvoreného pomocou sofistikovaných algoritmov strojového učenia, najmä hlbokých neurónových sietí. Ako príklad možno uviesť generatívne adverzné neurónové siete ...
Dynamické in-situ experimenty s využitím sondové mikroskopie
Patočka, Marek; Frank, Otakar; Kolíbal, Miroslav
2024 - anglický
V této práci je uvedeno několik případových studií dynamických in-situ experimentů s využitím skenovací sondové mikroskopie. Nejprve je zkoumána elektrodepozice lithia v baterii s pevným elektrolytem bez kladné elektrody. Na tento experiment navazuje obdobné měření, při kterém jsou jako materiál kladné elektrody použity částice MXene. Druhá část práce se zabývá grafenem plovoucím na kapalném kovu. Je zde prezentováno zkoumání přítomnosti menisku okolo grafenových vloček. In this thesis, several case-studies of dynamic in-situ scanning probe microscopy experiments are presented. First, the electrodeposition of lithium in a solid state battery without a positive electrode is investigated. This experiment is followed by a similar measurement in which MXene particles are employed as a positive electrode material. The second part of the thesis deals with the graphene-on-liquid-metal system. An investigation into the presence of a meniscus surrounding the graphene flakes is presented.
Klíčová slova:
In-situ; Atomic force microscopy; Graphene; Solid state batteries; MXene; LiteScope; In-situ; Mikroskopie atomárních sil; Grafen; Baterie s pevným elektrolytem; MXene; LiteScope
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Dynamické in-situ experimenty s využitím sondové mikroskopie
V této práci je uvedeno několik případových studií dynamických in-situ experimentů s využitím skenovací sondové mikroskopie. Nejprve je zkoumána elektrodepozice lithia v baterii s pevným elektrolytem ...
Detekce zranitelností v kontejnerových obrazech
Findra, Michal; Malinka, Kamil; Pavela, Jiří
2024 - anglický
Práca sa zaoberá automatizovaným bezpečnostným rozborom kontajnerových obrazov v distribuovanom prostredí. Popísané sú aktuálne zraniteľnosti v týchto prostrediach a nástojenie, ktoré sa zaoberajú analýzou kontajnerových obraz, slúžiacich ako vzor na vytvorenie daného kontajneru. Popísané je získanie popisu prostredia, následného spracovania do formátu zmysluplného pre vyvíjaný nástroj Vulntron. Vulntron slúži na automatizáciu tohoto procesu, bezpečnostnú analýzu jednotlivých komponentov kontajnerového obrazu a následný report do vizuálnej aj technicky ďalej spracovateľnej podoby. Súčasťou implementácie bude aj praktické nasadenie nástroja do rôznych typov vývojového procesu vrámci firmy Red Hat. The work focuses on the problem of automated security analysis of container images in a distributed environment. It describes present vulnerabilities in these environments and tools that deal with the analysis of container images that serve as a template for deploying a specific container. The process involves acquiring an environment description and subsequently processing it into a format meaningful for Vulntron tool developed as part of this thesis. Vulntron automates this process, performs a security analysis of individual components of the container image, and generates a report in a visually and technically processable format. The thesis also includes practical integration in form of Vulntron deployment into various types of development processes within the Red Hat company.
Klíčová slova:
Vulntron; Container image; Container security; Security analysis; Grype; Syft; SBOM; Vulnerability detection; CI-CD; Vulntron; Kontajnerový obraz; Kontajnerová bezpečnosť; Bezpečnostná analýza; Grype; Syft; SBOM; Detekcia zraniteľností; CI-CD
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Detekce zranitelností v kontejnerových obrazech
Práca sa zaoberá automatizovaným bezpečnostným rozborom kontajnerových obrazov v distribuovanom prostredí. Popísané sú aktuálne zraniteľnosti v týchto prostrediach a nástojenie, ktoré sa zaoberajú ...
Detekce klíčových informací v hovorech na tísňové linky
Sarvaš, Marek; Plchot, Oldřich; Schwarz, Petr
2024 - anglický
Tiesňové volania sa zvyčajne uskutočňujú v extrémne stresujúcich podmienkach, kde volajúci často poskytuje dôležité informácie rýchlo, čo sťažuje operátorom tiesňovej linky presne zachytiť všetky podrobnosti. To môže viesť k opakovaným otázkam o už poskytnutých informáciách a oneskoreniu reakcie pohotovostnej služby. Cieľom tejto práce je zmierniť tento problém a potenciálne urýchliť reakciu pohotovostných služieb nasadením neurónovej siete na extrakciu informácií, konkrétne so zameraním na úlohu Rozpoznávania pomenovaných entít (NER). Táto práca skúma rôzne prístupy založené na architektúre typu Transformers, ako sú predtrénované enkodér modely, enkodér-dekodér (sequence-2-sequence) a veľké jazykové modely. Vybrané modely dosiahli zatiaľ najlepšie výsledky na verejne dostupných českých NER datasetoch. Okrem toho boli vytvorené nové NER datasety z poskytnutých nahrávok skutočných tiesňových volaní a odpovedajúcich metadát. Predstavené modely boli natrénované a vyhodnotené na týchto novovytvorených datasetoch a úspešne dosiahli rozumné výsledky pre extrakciu mien a polohy. Emergency calls are usually made under extremely stressful conditions, where callers often provide crucial information rapidly, making it difficult for emergency line agents to capture all details accurately. This can result in repeated questions about information that was already provided and cause delays in response times from emergency services. This work aims to mitigate this problem and potentially speed up the response of emergency services by deploying a neural network models for information extraction, specifically targeting the Named Entity Recognition (NER) task. This work explores various Transformer-based approaches for NER task, such as pre-trained encoder-only, encoder-decoder (sequence-2-sequence) and Large Language Models. The best models achieved state-of-the-art results on publicly available Czech NER datasets. In addition, new NER datasets were created from available recordings of real emergency calls and the corresponding metadata. The models were trained and evaluated on the created datasets successfully achieving reasonable performance in name and location extraction.
Klíčová slova:
natural language processing; Named Entity Recognition; emergency line calls; Large Language Models; spracovanie prirodzeného jazyka; rozpoznávanie menných entít; hovory tiesňovej linky; veľké jazykové modely
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Detekce klíčových informací v hovorech na tísňové linky
Tiesňové volania sa zvyčajne uskutočňujú v extrémne stresujúcich podmienkach, kde volajúci často poskytuje dôležité informácie rýchlo, čo sťažuje operátorom tiesňovej linky presne zachytiť všetky ...
Návrh a výroba FDM tiskárny pro testování pokročilých tiskových funkcí
Haris, Kristián; Slabý, Vojtěch; Kšica, Filip
2024 - anglický
Táto bakalárska práca sa zaoberá procesom navrhovania a zostavovania FDM tlačiarne, na ktorej budú otestované pokročilé tlačové funkcie. Prvá časť pokrýva teoretické podklady pre mechaniku a software, ktorý bude použitý. Druhá časť prechádza samotným návrhom a zostavením tejto tlačiarne, vrátane ladenia a sprevádzkovania. Práca je zakončená porovnaním s komerčnou tlačiarnou. This bachelor thesis describes the process of designing and building an FDM printer to test advanced printing functions. The first part covers the theoretical background for the mechanics and software involved. The second part explains the design and build process, including calibration and tuning. Lastly, the work is concluded by a comparison with a commercial printer.
Klíčová slova:
FDM; 3D printing; CoreXY; Input shaping; FDM; 3D tlač; CoreXY; Input shaping
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Návrh a výroba FDM tiskárny pro testování pokročilých tiskových funkcí
Táto bakalárska práca sa zaoberá procesom navrhovania a zostavovania FDM tlačiarne, na ktorej budú otestované pokročilé tlačové funkcie. Prvá časť pokrýva teoretické podklady pre mechaniku a software, ...
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze