No (2712)
Number of found documents:
2712
Published from
to
Délky v řešení řetězcových omezení
Hranička, Jan; Lengál, Ondřej; Havlena, Vojtěch
2024 - English
Ř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.
Keywords:
length constraints; string solving; Z3; SMT solver; délková omezení; řešení řetězcových omezení; Z3; SMT solver
Available in a digital repository NRGL
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 ...
Implementace rozpoznávání gest na ARM jako alternativa tradičního ovládání zařízení
Gajdošík, Richard; Zbořil, František; Kočí, Radek
2024 - English
Cieľom tejto bakalárskej práce je vývoj a implementácia systému na rozpoznávanie gest s využitím architektúry ARM, konkrétne s použitím dosky i.MX 93 a TensorFlow Lite. Projekt sa zameriava na aplikáciu neurónových sietí pre rozpoznávanie gest rúk, čím poskytuje alternatívu k tradičným metódam ovládania zariadení. Dôležitou súčasťou práce je rozsiahla analýza existujúcich riešení rozpoznávania gest, zameraná na identifikáciu ich silných stránok a možných vylepšení. Práca detailne opisuje proces navrhovania, vývoja a optimalizácie modelu na rozpoznávanie gest v reálnom čase, špeciálne prispôsobeného pre čipy ARM s dôrazom na efektivitu a výkon. Okrem toho práca aj obsahuje vytvorenie demonštračnej aplikácie, ktorá vizuálne reprezentuje rozpoznané gestá. Užívateľské testovanie je uskutočnené na hodnotenie praktickosti a užívateľského zážitku systému rozpoznávania gest, čo poskytuje cennú spätnú väzbu pre budúce vylepšenia. This bachelor's thesis focuses on the development and implementation of a gesture recognition system on ARM architecture, utilizing the i.MX 93 board and TensorFlow Lite. The project is grounded in the application of neural networks for the recognition of hand gestures, offering an alternative to traditional device control methods. An integral part of the work involves a comprehensive analysis of existing gesture recognition solutions, identifying their strengths and potential improvements. The thesis elaborates on the design, development, and optimization of a real-time gesture recognition model specifically for ARM chips, emphasizing efficiency and performance. Additionally, the thesis covers the creation of a demonstrative application that visually represents recognized gestures. User testing is conducted to evaluate the practicality and user experience of the gesture recognition system, providing valuable feedback for future enhancements.
Keywords:
i.MX 93; TensorFlow Lite; Machine Learning; Gesture Recognition; Embedded Systems; ARM Architecture; Deep Learning; Neural Networks; Image Processing; Real-time Inference; i.MX 93; TensorFlow Lite; Strojové učenie; Rozpoznávanie gest; Vstavané systémy; ARM Architektúra; Hlboké učenie; Neurónové siete; Spracovanie obrazu; Inferencia v reálnom čase
Available in a digital repository NRGL
Implementace rozpoznávání gest na ARM jako alternativa tradičního ovládání zařízení
Cieľom tejto bakalárskej práce je vývoj a implementácia systému na rozpoznávanie gest s využitím architektúry ARM, konkrétne s použitím dosky i.MX 93 a TensorFlow Lite. Projekt sa zameriava na ...
Využití neoznačenačených dat pro segmentaci sítnice
Shemshur, Andrii; Jakubíček, Roman; Vičar, Tomáš
2024 - English
Tato bakalářská práce se zabývá vývojem a hodnocením pokročilých metod pro segmentaci lékařských snímků v kontextu omezených trénovacích dat. Studie zkoumá techniky učení pod dohledem využívající konvoluční neuronové sítě (CNN), přenosové učení s předtrénovanými modely a strategie učení s částečným dohledem. Jako základní model byl použit model konvoluční neuronové sítě (CNN) s dohledem založený na architektuře U-Net, který dosáhl koeficientu Dice 77,6% a průniku nad sjednocením (IoU) 63,4%. Použití přenosového učení pomocí kodéru ResNet34 předtrénovaného na síti ImageNet vedlo k výraznému zlepšení výkonu s koeficientem Dice 81,9%, IoU 69,3% a přesností 96,7%. Kromě toho byly ke zvýšení výkonu modelu použity strategie učení s částečným dohledem, včetně pseudoznačení a předtrénování denoizace. Přístup pseudoznačení přinesl koeficient Dice 81,7% a IoU 69,1%, čímž prokázal účinnost využití neoznačených dat. Přístup před tréninkem denoizace prokázal robustní výkonnost a dosáhl koeficientu Dice 80,3% a IoU 67,0%, a to i v přítomnosti zašuměných a neoznačených dat. Tyto výsledky podtrhují potenciál transferového učení a poloprovozních metod pro zvýšení přesnosti segmentace při analýze lékařských snímků. Poskytují solidní základ pro budoucí výzkum v této oblasti. This bachelor's thesis is concerned with the development and evaluation of advanced methods for medical image segmentation in the context of limited training data. The study examines supervised learning techniques employing Convolutional Neural Networks (CNNs), transfer learning with pre-trained models, and semi-supervised learning strategies. A supervised convolutional neural network (CNN) model based on the U-Net architecture was employed as the baseline, achieving a Dice coefficient of 77.6\% and an intersection over union (IoU) of 63.4%. The application of transfer learning using a ResNet34 encoder pre-trained on ImageNet led to a notable improvement in performance, with a Dice coefficient of 81.9%, an IoU of 69.3%, and an accuracy of 96.7%. Furthermore, semi-supervised learning strategies, including pseudo-labeling and denoising pretraining, were employed to enhance the model's performance. The pseudo-labeling approach yielded a Dice coefficient of 81.7% and an IoU of 69.1%, thereby demonstrating the efficacy of leveraging unlabeled data. The denoising pretraining approach demonstrated robust performance, achieving a Dice coefficient of 80.3% and an IoU of 67.0%, even in the presence of noisy and unlabeled data. These outcomes underscore the potential of transfer learning and semi-supervised methods to enhance segmentation accuracy in medical image analysis. They provide a robust foundation for future research in this field.
Keywords:
Medical Image Segmentation; Convolutional Neural Networks; Transfer Learning; Semi-supervised Learning; Pseudo-labeling; Denoising Pretraining; U-Net; ResNet34; Retinal Images; Segmentace lékařských snímků; konvoluční neuronové sítě; učení s přenosem; učení s částečným dohledem; pseudoznačení; předtrénování denoisingu; U-Net; ResNet34; snímky sítnice
Available in a digital repository NRGL
Využití neoznačenačených dat pro segmentaci sítnice
Tato bakalářská práce se zabývá vývojem a hodnocením pokročilých metod pro segmentaci lékařských snímků v kontextu omezených trénovacích dat. Studie zkoumá techniky učení pod dohledem využívající ...
Funkcionalita podnikových informačních systémů ERP
Zainutdinov, Ilnaz; Rujbrová, Šárka; Šťastná, Dagmar
2024 - English
Tato bakalářská práce nabízí komplexní analýzu systémů plánování podnikových zdrojů (ERP) s důrazem na jejich architekturu, funkčnost a význam v současném podnikání. Zabývá se vývojem, principy a klíčovými komponentami ERP systémů, včetně modulů pro prodej, marketing, finance, IT a kybernetickou bezpečnost, řízení dodavatelského řetězce a služby. Zvláštní pozornost je věnována zkoumání významných příkladů ERP, jako jsou Microsoft Dynamics 365 a Oracle NetSuite, přičemž jsou zdůrazněny jejich aplikace v různých korporátních oblastech. Dále se studie zabývá integrací Business Intelligence (BI) do ERP systémů, diskutuje jejich roli a dopad prostřednictvím analytiky a reportingu. Významný přínos této práce spočívá ve spojení teoretických poznatků s praktickými zkušenostmi získanými z rozsáhlé studie ve společnosti Tricentis. Tato analýza se věnuje využití systému ERP, přičemž klade důraz na nuance implementace, jako jsou zpožděné reakce, umělá decentralizace a vliv interakce uživatelů na efektivitu systému. Tím, že práce propojuje teoretické znalosti s praktickými zkušenostmi, si klade za cíl doplnit informace týkající se ERP ve smyslu architektury a funkčnosti systémů ERP a jejich soulad s obchodními strategiemi. This thesis offers a comprehensive analysis of Enterprise Resource Planning (ERP) systems, emphasising their architecture, functionalities, and significance in contemporary business. It explores the evolution, principles, and critical components of ERP systems, including modules for sales, marketing, finance, IT and cyber-security, supply chain, and service. Particular attention is given to the examination of prominent ERP examples such as Microsoft Dynamics 365 and Oracle NetSuite, highlighting their application across various business domains. Additionally, this study extends into the realm of Business Intelligence (BI) within ERP systems, evaluating its significance and influence via analytics and reporting mechanisms. A significant contribution of this thesis lies in its integration of practical insights gained from a comprehensive case study at Tricentis. This examination elucidates the real-world challenges and advancements in ERP system utilisation, emphasising the nuances of implementation, such as delayed responsiveness, artificial decentralisation, and the effects of user interaction on system efficiency. By bridging theoretical knowledge with practical experiences, the thesis aims to fill a gap in the existing literature by offering an in-depth look at the architecture and functionality of ERP systems and their alignment with business strategies.
Keywords:
Enterprise Resource Planning (ERP) systems; ERP architecture; organisational processes integration; finance and marketing modules; distribution and supply chain management; ERP system evolution; cloud-based ERP solutions; advanced analytics in ERP; software architecture of ERP; functional dynamics of ERP modules; Microsoft Dynamics 365; Oracle NetSuite; module composition and functionality; ERP systems synergy; organisational objectives in ERP systems; ERP implementation challenges; ERP user interaction; ERP response time; Business Intelligence in ERP; ERP adaptation; ERP training; Systémy plánování podnikových zdrojů (ERP); architektura ERP; integrace organizačních procesů; moduly financí a marketingu; distribuce a správa dodavatelského řetězce; vývoj systémů ERP; cloudová řešení ERP; pokročilá analytika v ERP; softwarová architektura ERP; funkční dynamika modulů ERP; Microsoft Dynamics 365; Oracle NetSuite; kompozice a funkčnost modulů; synergie systému ERP; organizační cíle v systémech ERP; problémy implementace ERP; interakce uživatelů ERP; doba odezvy ERP; Business Intelligence v ERP; adaptace ERP; školení ERP
Available in a digital repository NRGL
Funkcionalita podnikových informačních systémů ERP
Tato bakalářská práce nabízí komplexní analýzu systémů plánování podnikových zdrojů (ERP) s důrazem na jejich architekturu, funkčnost a význam v současném podnikání. Zabývá se vývojem, principy a ...
3D tisk se stříbrem a jeho využití ve šperkařství
Thomas, Marek; Langerová, Petra; Sučková, Magda
2024 - English
Hlavním cílem této práce je najít vhodný typ aditivní tiskárny, která by byla schopna kvalitního 3D tisku stříbrných šperků. Práce seznámí čtenáře s několika typy aditivních tiskáren (FDM, SLA, DMLS a dalších), jejich využitím v praxi a fyzikálním a chemickým chováním stříbra při aditivním tisku. Důraz bude kladen na praktické uplatnění těchto speciálních 3D tiskáren, a to především ve šperkařství. Poslední část práce se pokusí zodpovědět otázku, zda je technicky a ekonomicky proveditelné sestavit a bezpečně provozovat danou 3D tiskárnu v menších firmách či v domácím prostředí. The main goal of this bachelor's thesis is to determine what type of 3D printer is the most suitable for silver jewellery additive printing. The thesis is divided into sections which aim to familiarize the reader with various types of additive printers (FDM, SLA, DMLS, etc.), their practical applications, and the physical and chemical behaviour of silver in additive printing. A particular emphasis is placed on the practical application of these specialized 3D printers, especially in the fields of electronics and jewellery making. The final section discusses the question of whether it is technically and economically feasible to assemble and safely operate such a 3D printer in small businesses or in a household setting.
Keywords:
printing; 3D; silver; additive manufacturing; powder; jewellery; printers; laser; tisk; 3D; stříbro; aditivní výroba; prášek; šperky; tiskárny; laser
Available in a digital repository NRGL
3D tisk se stříbrem a jeho využití ve šperkařství
Hlavním cílem této práce je najít vhodný typ aditivní tiskárny, která by byla schopna kvalitního 3D tisku stříbrných šperků. Práce seznámí čtenáře s několika typy aditivních tiskáren (FDM, SLA, DMLS a ...
Zpracování a vizualizace diagnostických dat z bionické protézy horní končetiny
Mahdalík, Ondřej; Lazúr, Juraj; Hynek, Jiří
2024 - English
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
Keywords:
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
Available in a digital repository NRGL
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í ...
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. ...
Automatizace procesů ve firemním prostředí
Stojanović, Aleksa; Koch, Miloš; Novák, Lukáš
2024 - English
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.
Keywords:
Robotic Process Automation; Automation; RPA; Blue Prism; Business Process; Analysis; Development; Robotická automatizace procesů; Automatizace; firemní proces; Blue Prism; Analýza; Vývoj
Available in a digital repository NRGL
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 - 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