Ano (8621)
Ne (2712)
Počet nalezených dokumentů:
11333
Publikováno od
do
Délky v řešení řetězcových omezení
Hranička, Jan; Lengál, Ondřej; Havlena, Vojtěch
2024 - anglický
Řešení řetězcových omezení je v dnešní době základním kamenem formální verifikace s širokým vědeckým i obchodním uplatněním. Přínosem této práce je návrh nové rozhodovací procedury s cílem rozšířit jeden z předních string solverů: Z3-Noodler. Tato rozhodovací procedura je založena na symbolickém zarovnání řetězcových proměnných v rovnicích pomocí generování omezení na jejich délky. Experimenty na standartních benchmarcích ukázaly, že integrace této procedury s nástrojem Z3-Noodler vede ke snížení timeoutů o 32 a na určitých testech snižuje celkovou dobu běhu nástroje více než padesátkrát. Díky těmto přínosům je možné očekávat přidání této procedury do zmíněného nástroje. String solving is currently a fundamental part of formal verification with numerous scientific and business applications. In this thesis, a new decision procedure is proposed with the intend to extend a state-of-the-art string solver Z3-Noodler. This decision procedure is based on symbolically aligning string variables in word equations by generating constraints on their lengths. When experimenting with this procedure on standardized benchmarks, its integration with Z3-Noodler resulted in the reduction of 32 timeouts and in some instances more than 50x time improvement. These benefits make it possible for this decision procedure to be included in a future release of the mentioned solver.
Klíčová slova:
length constraints; string solving; Z3; SMT solver; délková omezení; řešení řetězcových omezení; Z3; SMT solver
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Délky v řešení řetězcových omezení
Řešení řetězcových omezení je v dnešní době základním kamenem formální verifikace s širokým vědeckým i obchodním uplatněním. Přínosem této práce je návrh nové rozhodovací procedury s cílem rozšířit ...
Funkční bezpečnost v procesním průmyslu z pohledu systémového integrátora
Malysa, Matěj; Štohl, Radek; Fiedler, Petr
2024 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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. ...
Automatizace procesů ve firemním prostředí
Stojanović, Aleksa; Koch, Miloš; Novák, Lukáš
2024 - anglický
Práce se zaměřuje na integraci Robotic Process Automation (RPA) do FNZ, přední fintechové společnosti v oblasti financí. Zkoumá využití platformy Blue Prism k vytvoření a implementaci přizpůsobeného systému RPA s cílem optimalizovat konkrétní proces uvnitř FNZ. Hlavním cílem je snížení manuálních úkolů a zlepšení operační efektivity prostřednictvím zavedení automatizace. The thesis focuses on the integration of Robotic Process Automation (RPA) at FNZ, a prominent fintech company in the financial sector. The research delves into the application of the Blue Prism platform to create and execute an RPA system tailored for streamlining a specific process at FNZ. The primary objective is to diminish manual workloads and boost operational productivity through automation.
Klíčová slova:
Robotic Process Automation; Automation; RPA; Blue Prism; Business Process; Analysis; Development; Robotická automatizace procesů; Automatizace; firemní proces; Blue Prism; Analýza; Vývoj
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Automatizace procesů ve firemním prostředí
Práce se zaměřuje na integraci Robotic Process Automation (RPA) do FNZ, přední fintechové společnosti v oblasti financí. Zkoumá využití platformy Blue Prism k vytvoření a implementaci přizpůsobeného ...
Analýza silničního provozu pomocí neuronových sítí
Žárský, Daniel; Musil, Petr; Smrž, Pavel
2024 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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é ...
2D Rogue-Like Hra s Procedurálními Prvky
Vodák, Jindřich; Vlnas, Michal; Polášek, Tomáš
2024 - anglický
Tato bakalářská práce se zabývá rogue-like hrami a procesem a jejich vývoje. Nejprve poskytuje ucelený vhled do rogue-like žánru a jeho specifických mechanik, a porovnává jej s žánrem RPG. Dále je prozkoumán proces herního vývoje, společně s běžnými obchodními modely videoher. Práce představuje některé z běžně používaných metod procedurálního generování ve hrách, jako je například využití šumů či celulární automaty. Práce také poskytuje náhled na téma umělé inteligence ve hrách. Jsou znázorněny dva modely běžně používané k realizaci umělé inteligence nehráčských postav -- konečné stavové automaty a behavior trees. V oblasti umělé inteligence ve hrách je také důležité hledání cesty k cíli, tzv. pathfinding, čímž se práce rovněž zabývá. Práce představuje návrh hry nazvané Per Tenebras, vysvětluje určitá rozhodnutí ve vývojovém procesu hry, a prezentuje implementaci výsledného produktu pomocí herního engine Unity. Výsledná hra byla rovněž vyhodnocena uživateli v rámci uživatelské studie. This bachelor's thesis deals with the topic of rogue-like games and their development process. Firstly, it provides a comprehensive insight into the rogue-like genre and its specific mechanics and compares it with the RPG genre. Next, the game development process is examined, along with common business models of video games. The thesis presents certain commonly used approaches to procedural generation in games, such as noise or cellular automata. It also provides an overview of the topic of artificial intelligence in games. Two models commonly used in creating the artificial intelligence of non-player characters are described -- finite-state machines and behavior trees. The thesis also deals with pathfinding, which is also an important topic in the field of artificial intelligence in games. The thesis introduces the design of the game called Per Tenebras, explains certain decisions in the development process, and presents the implementation of the final product using the Unity game engine. The resulting game was also evaluated by users as a part of a user study.
Klíčová slova:
rogue-like games; game development; procedural generation; artificial intelligence; Unity engine; game design; A* algorithm; rogue-like hry; vývoj her; procedurální generování; umělá inteligence; Unity engine; herní design; A* algoritmus
Plné texty jsou dostupné v digitálním repozitáři NUŠL
2D Rogue-Like Hra s Procedurálními Prvky
Tato bakalářská práce se zabývá rogue-like hrami a procesem a jejich vývoje. Nejprve poskytuje ucelený vhled do rogue-like žánru a jeho specifických mechanik, a porovnává jej s žánrem RPG. Dále je ...
Návrh a simulace prediktoru větvení
Liberda, Dominik; Dvořák, Vojtěch; Fujcik, Lukáš
2024 - anglický
Predikce větvení hraje fundamentální roli ve výkonu procesorů. Predikce výsledku větví umožňuje procesoru spekulativně vykonávat instrukce dřív než je výsledek větve znám. Tato práce navrhuje vylepšený algoritmus pro predikci větvení a zároveň přepracovává simulační framework CBP2016 pro testování prediktorů větvení. Branch prediction plays a fundamental role in processor performance. It allows the processor to speculatively execute instructions by predicting outcomes of branches before they are fully evaluated. This thesis proposes an improved algorithm for branch prediction and also reworks the CBP2016 simulation framework for testing branch predictors.
Klíčová slova:
Branch Prediction; CPU microarchitecture; Simulation; Performance Modeling; Optimization; Computer Architecture; Programming; Predikce Větvení; Mikroarchitektura Procesorů; Simulace; Výkonnostní Modelování; Optimalizace; Architektura počítačů; Programování
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Návrh a simulace prediktoru větvení
Predikce větvení hraje fundamentální roli ve výkonu procesorů. Predikce výsledku větví umožňuje procesoru spekulativně vykonávat instrukce dřív než je výsledek větve znám. Tato práce navrhuje ...
Game Development for Assessment of a Person’s Reasoning, Auditory & Visual skills
Pejchar, Štěpán; Hussain, Yasir; Malik, Aamir Saeed
2024 - anglický
Cílem této bakalářské práce je implementovat hry, které zhodnotí kognitivní schopnosti uživatele, který je hraje. Konkrétně se jedná o schopnosti rozhodovací, audio a vizuální. Tato bakalářská práce je pilotní studie rozshálejšího projektu. První část práce obsahuje teoretický výzkum. Popisuje zmíněné kognitivní schopnosti, jak fungují a jak je můžeme hodnotit. Druhá část popisuje samotnou aplikaci. Popisuje návrh her, a jejich implementaci. Aplikace obsahující hry byla implementována v Unity v jazyce C\#. Pro databázi byl použit Firebase. Tato část také vysvětluje jak hry provádí zhodnocení kognitivních schopností, a jak toto zhodnocení prezentují uživateli. Poslední část bakalářské práce popisuje testování aplikace. Aplikace byla testována na patnácti uživatelích. Jejich odpovědi jsou zdokumentovány a zhodnoceny v poslední části bakalářské práce. The goal of the thesis is to implement games that assess cognitive functions of the users playing them, specifically audio-visual cognitive functions and reasoning cognitive functions. The nature of the thesis is a pilot study of a bigger project. The first part of the thesis is the theoretical research. It explains what these cognitive functions are, how they work, and how we can assess them. The second part of the thesis talks about the actual game. It explains the game design and the implementation. The game was implemented in Unity using C\# and a Firebase database. This part also talks about how the game assesses and presents the assessment of the cognitive functions to the users. The last part of the thesis deals with the testing of the game. The game was tested on fifteen users. Their answers are presented and evaluated in the final part.
Klíčová slova:
game; audio; visual; audio-visual; reasoning; test; cognitive functions; assesment; user; hra; audio; vizuální; audiovizuální; rozhodování; test; kognitivní funkce; evaluace; uživatel
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Game Development for Assessment of a Person’s Reasoning, Auditory & Visual skills
Cílem této bakalářské práce je implementovat hry, které zhodnotí kognitivní schopnosti uživatele, který je hraje. Konkrétně se jedná o schopnosti rozhodovací, audio a vizuální. Tato bakalářská práce ...
Potlačení šumu ve videu pomocí hlubokých neuronových sítí
Naumenko, Maksim; Hradiš, Michal; Španěl, Michal
2024 - anglický
V éře digitálních multimédií kvalita videoobsahu významně ovlivňuje uživatelský zážitek a výkon systému, zejména v oblastech, jako je zábava a zpracování videa a obrazu. Tato práce se zabývá přetrvávajícím problémem šumu ve videu, který zhoršuje jeho kvalitu, a to pomocí pokročilých technik hlubokého učení. Nejprve jsou přezkoumány tradiční přístupy k odstraňování šumu ve videu, aby bylo možné nastínit základní koncepty denoisingu. Následně jsou studovány dva referenční modely, FastDVDNet a ViDeNN, za účelem seznámení se s architekturami neuronových sítí. Hlavním výsledkem této práce je vývoj robustního systému pro odstraňování šumu ve videu, který je založen na architektuře UNet inspirované těmito referenčními modely. V průběhu práce jsou vysvětleny, implementovány a vyhodnoceny navrhované modely UNet Baseline, ResUNet a ResUNet Temporal, aby byla prokázána jejich účinnost v odstraňování šumu ve videu. In the era of digital multimedia, video content quality significantly impacts user experiences and system performance, particularly in domains such as entertainment, and video and image processing. This thesis addresses the persistent challenge of video noise, which degrades video quality, through the use of advanced deep learning techniques. Initially, traditional video denoising approaches are reviewed to establish a foundational understanding of denoising concepts. Subsequently, two state-of-the-art models, FastDVDNet and ViDeNN, are studied to familiarize with neural network architectures. The main product of this work is the development of a robust video denoising pipeline that utilizes a UNet architecture inspired by these state-of-the-art models. Throughout the thesis, the proposed UNet Baseline, ResUNet, and ResUNet Temporal models are explained, implemented, and evaluated to demonstrate their effectiveness in video denoising.
Klíčová slova:
deep learning; deep neural networks; convolutional neural networks; digital noise; video denoising; image denoising; UNet; hluboké učení; hluboké neuronové sítě; konvoluční neuronové sítě; digitální šum; denoising videa; denoising obrazu; UNet
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Potlačení šumu ve videu pomocí hlubokých neuronových sítí
V éře digitálních multimédií kvalita videoobsahu významně ovlivňuje uživatelský zážitek a výkon systému, zejména v oblastech, jako je zábava a zpracování videa a obrazu. Tato práce se zabývá ...
Zpracování a vizualizace diagnostických dat z bionické protézy horní končetiny
Mahdalík, Ondřej; Lazúr, Juraj; Hynek, Jiří
2024 - anglický
Bionické protézy se běžně používají k tomu, aby pacientům pomohly efektivněji vykonávat každodenní činnosti. Zahrnují různé metody získávání vstupu od uživatele a používají elektromotory k ovládání prstů a/nebo jiných částí končetiny. Bohužel míra odmítnutí protézy dosahuje v průměru 44 % [64], což znamená, že téměř polovina pacientů přestane protézu používat. Protéza Z-Arm od společnosti Z-Bionics se pokouší řešit nízkou míru akceptace mimo jiné tím, že zaznamenává diagnostické údaje a pomáhá pacientovi, když detekuje nesprávné používání nebo možnou vadu protézy. Protože však návštěvy pacientů nejsou dostatečně časté, aby specialisté získali aktuální diagnostické údaje, je třeba navrhnout vhodný způsob jejich získávání na dálku. Jako řešení byla implementována mobilní aplikace využívající Bluetooth ke komunikaci s protézou doprovázená rozšířením interní webové aplikace o nové stránky, koncové body API a databázi MongoDB. Ačkoli testování s pacienty stále probíhá, první dojmy zaměstnanců a pacientů jsou vesměs pozitivní a naznačují možné zlepšení komfortu při používání protézy. prosthesis, limb, amputation, healthcare, diagnostic data, mobile application, information system, dashboard, API, visualization, MAUI, Blazor, .NET, Z-Bionics
Klíčová slova:
prosthesis; limb; amputation; healthcare; diagnostic data; mobile application; information system; dashboard; API; visualization; MAUI; Blazor; .NET; Z-Bionics; protéza; končetina; amputace; zdravotnictví; diagnostická data; mobilní aplikace; informační systém; API; vizualizace; MAUI; Blazor; .NET; Z-Bionics
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Zpracování a vizualizace diagnostických dat z bionické protézy horní končetiny
Bionické protézy se běžně používají k tomu, aby pacientům pomohly efektivněji vykonávat každodenní činnosti. Zahrnují různé metody získávání vstupu od uživatele a používají elektromotory k ovládání ...
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