No (7321)
Number of found documents:
7321
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 ...
Mezinárodní marketingová strategie vybraného podniku
Knechtová, Natalie; Zich, Robert; Chlebovský, Vít
2024 - English
Záměrem této diplomové práce je provedení marketingového plánu pro vybranou společnost vstupující na zahraniční trh. Autorka uvede základní teoretická východiska práce, prozkoumá současný stav trhu, důkladně vysvětlí existující problémy, a nakonec navrhne nové marketingové aktivity pro společnost expandující na mezinárodní trh. The focus of this diploma thesis is a conducting marketing plan for a selected company entering a foreign market. The author will provide the essential theoretical foundation of the thesis, examine the current market condition, providing a thorough explanation of the existing challenges, and ultimately suggest new marketing activities for a company expanding internationally.
Keywords:
international marketing plan; marketing strategy; online marketing; Germany; tattoo; mezinárodní marketingový plán; marketingová strategie; online marketing; Německo; tetování
Available in a digital repository NRGL
Mezinárodní marketingová strategie vybraného podniku
Záměrem této diplomové práce je provedení marketingového plánu pro vybranou společnost vstupující na zahraniční trh. Autorka uvede základní teoretická východiska práce, prozkoumá současný stav trhu, ...
Privacy Preserving Smart-Contract Platforms and E-Voting
Žiška, Marek; Homoliak, Ivan; Perešíni, Martin
2024 - English
Táto práca analyzuje platformy na ochranu súkromia ako Secret, Phala a Oasis Network, ktoré poskytujú nástroje pre vývoj smart kontraktov s možnosťou privátneho úložiska a dôverných výpočtových schopností. Platformy porovnávame na základe ich vlastností, ako je výkon, použiteľnosť a ďalšie faktory v kontexte prípadu použitia v elektronickom hlasovaní. Najprv predstavíme teoretické základy v oblasti volebných systémov, blockchainové technológie, smart kontrakty, technológie dôverného výpočtu a v neposlednom rade jednotlivé platformy na ochranu súkromia. Na základe zistení navrhneme volebný proces nášho smart kontraktu elektronického hlasovania, ktorý budeme implementovať na všetkých platformách. Následne analyzujeme možnosti a schopnosti vývoja každej z platforiem, najmä pokiaľ ide o definíciu štruktúry úložiska. Okrem toho navrhneme aj scenár hodnotenia, ktorý budeme vykonávať na každom z vyvinutých smart kontraktov. Po návrhu kľúčových častí smart kontraktov prechádzame k implementácií, kde diskutujeme o našich skúsenostiach, o použitých nástrojoch, o spôsobe zbere a vyhodnotenia štatistík a o metódach testovania. V rámci tejto fázy sme taktiež vyvinuli aj skripty, ktoré zbierajú štatistiky z navrhnutého scenára hodnotenia elektronického volebného systému, ktoré použijeme na vyhodnotenie a porovnanie týchto platforiem. Na záver zhrnieme dosiahnuté výsledky, kľúčové poznatky, úvahy a potenciálne oblasti pre budúce zlepšenia. This work examines privacy-preserving platforms Secret, Phala, and Oasis Network, which provide frameworks for development of smart contracts with confidential storage and computation capabilities. We compare these platforms based on their features such as performance, usability, and additional factors within the context of an electronic voting use case. Firstly, we establish the theoretical foundations by introducing Voting Systems, then Blockchains, Smart Contracts, Trusted Computing, and Privacy-Preserving Platforms. We analyze the development capabilities, storage options, and other features of the selected platforms and propose the design of smart contracts for the e-voting application. Following this, we implement given smart contracts, detailing our experience, the tools used, testing procedures, contruct structure, and statistics collection methods. Proposed collected statistics allow us to estimate the vote-casting throughput of our implementations. Using this metric, along with other aspects, such as the development experience, storage options, community activity, documentation quality, we evaluate and compare these platforms. At the end we conclude the achieved results, key insights, reflections, and potentional areas for future improvements.
Keywords:
blockchain; cryptography; smart-contracts; security; e-voting; Secret; Oasis; Phala; Web3; Solidity; Rust; performance analysis; gas usage; blockchain; kryptografia; smart-contract; bezpečnosť; elektronické hlasovanie; Secret; Oasis; Web3; Solidity; Rust; analýza výkonnosti; spotreba gasu
Available in a digital repository NRGL
Privacy Preserving Smart-Contract Platforms and E-Voting
Táto práca analyzuje platformy na ochranu súkromia ako Secret, Phala a Oasis Network, ktoré poskytujú nástroje pre vývoj smart kontraktov s možnosťou privátneho úložiska a dôverných výpočtových ...
Hledání informací v nahrávkách řeči pomocí sémantických vektorů
Boboš, Dominik; Karafiát, Martin; Schwarz, Petr
2024 - English
V současné době přetížené informacemi jsou efektivní metody vyhledávání informací velice žádané. Tato práce shrnuje metody pro získávání vektorových reprezentací pro text a zvuk, známé také jako sémantické vektory. Podívali jsme se hlouběji na multimodální mo\-de\-ly, jako jsou SpeechT5 a SeamlessM4T, které transformují tyto typy vstupu do jednoho sdíleného vektorového prostoru. Na základě těchto modelů jsme vybudovali systém, který nám umožňuje vyhledávat v datech bez ohledu na modalitu. Abychom mohli vyhodnotit navrhované řešení, kromě standardního rozpoznávání klíčových slov, také pro úlohy sémantického vyhledávání, manuálně jsme označili datovou sadu pro zachycení podobných sémantických významů klíčových slov nebo frází. Nakonec jsme provedli několik experimentů, kde jsme prozkoumali možnosti modelů omezením pozorovaného kontextu během dotrénovaní neuronové sítě nebo zapojením systémů převodu textu na řeč (TTS) ke zlepšení celkového výkonu. In the current era of information overload, efficient methods for information retrieval are crucial. This thesis summarises methods for obtaining vector representations for text and audio, also known as semantic vectors. We took a deeper look at joint-representation models such as SpeechT5 and SeamlessM4T, which transform these various forms of input into one shared vector space. Based on these models, we built a system which allows us to search in data regardless of the modality. In order to evaluate the proposed solution on semantic search tasks, apart from standard keyword spotting tasks, we labelled a dataset to capture similar semantic meanings of the keywords or phrases. Finally, we conducted several experiments, where we explored the possibilities of the models used by limiting the context seen during finetuning or involving text-to-speech (TTS) systems to improve overall performance.
Keywords:
shared embedding space; semantic vectors; audio embeddings; word vectors; transformers; SSL models; Joint-representation models; multimodal models; keyword spotting; semantic search; information retrieval; sdílený vektorový prostor; sémantické vektory; vektorová reprezentace audia; slovní vektory; transformery; SSL modely; multimodální modely; detekce klíčových slov; sémantické prohledávání; vytěžování informací
Available in a digital repository NRGL
Hledání informací v nahrávkách řeči pomocí sémantických vektorů
V současné době přetížené informacemi jsou efektivní metody vyhledávání informací velice žádané. Tato práce shrnuje metody pro získávání vektorových reprezentací pro text a zvuk, známé také jako ...
Vliv tepelných fluktuací na stabilitu samouspořádaných Casimirových mikrodutin
Hošková, Michaela; Antosiewicz, Tomasz; Shegai, Timur
2024 - English
Casimir self-assembly (CaSA) je interdisciplinární obor, který kombinuje koloidní chemii, nanofotoniku a kvantovou elektrodynamiku. Při pokojové teplotě ve vodných roztocích se mikronové vločky samy sestavují a vytvářejí Fabry-Pérotovy rezonátory s laditelnou optickou odezvou ve viditelném spektrálním rozsahu. Navzdory nedávným pokrokům chybí přímé důkazy spojující tyto systémy s kvantovými efekty. V této studii byly k řešení tohoto problému použity experimentální a teoretické techniky zkoumající vliv teplotních fluktuací (TF) na tyto systémy. K měření TF a experimentálnímu mapování Casimirova elektrostatického potenciálu byla použita optická mikroskopie a reflexní spektroskopie, zatímco pravděpodobnostní model zahrnující Boltzmannův faktor poskytl teoretická vysvětlení interakčního potenciálu. Tento přístup potvrzuje přítomnost kvantově atraktivní Casimirovy síly v dutinách a odhaluje mechanismy stability a limity laditelnosti CaSA v roztocích povrchově aktivních látek a solí. Dále tato studie představuje novou optickou metodu pro analýzu interakcí v nanoměřítku a rozšiřuje potenciál aplikací CaSA v pokročilých nanofotonických systémech a koloidní a polaritonické chemii. Casimir self-assembly (CaSA) is an interdisciplinary field that combines colloid chemistry, nanophotonics, and quantum electrodynamics. At room temperature in aqueous solutions, the micron flakes self-assemble to form Fabry-Pérot resonators with a tunable optical response in the visible spectral range. Despite recent advances, direct evidence linking these systems to quantum effects has been lacking. In this study, experimental and theoretical techniques investigating the effect of thermal fluctuations (TF) on these systems were used to address this issue. Optical microscopy and reflection spectroscopy were used to measure TF and experimentally map the Casimir-electrostatic potential, while a probabilistic model involving the Boltzmann factor provided theoretical explanations of the interaction potential. This approach confirms the presence of a quantum attractive Casimir force within the cavities and reveals the stability mechanisms and limits of CaSA tunability in surfactant-salt solutions. In addition, this study introduces a new optical approach for analyzing nanoscale interactions and broadens the potential of CaSA applications in advanced nanophotonic systems and colloidal and polaritonic chemistry.
Keywords:
Casimir effect; self-assembly; thermal fluctuations; Lifshitz formalism; quantum trapping; surfactant-salt solution; surface charge density.; Casimirův jev; samouspořádání; tepelné fluktuace; Lifshitzův formalismus; kvantové zachycení; roztok povrchově aktivní látky a soli; hustota povrchového náboje.
Available in a digital repository NRGL
Vliv tepelných fluktuací na stabilitu samouspořádaných Casimirových mikrodutin
Casimir self-assembly (CaSA) je interdisciplinární obor, který kombinuje koloidní chemii, nanofotoniku a kvantovou elektrodynamiku. Při pokojové teplotě ve vodných roztocích se mikronové vločky samy ...
Možnosti využití magneticky aktivních kapalin v mikrofluidice
Glozigová, Anna; Štigler, Jaroslav; Fialová, Simona
2024 - English
Diplomová práce se zabývá magneticky aktivními kapalinami a jejich aplikacemi v mikrofluidice. V první části práce je provedena rozsáhlá rešerše tématických celků, které se problematiky dotýkají. Tato část zahrnuje podrobný přehled základů magnetismu, magneticky aktivních kapalin a mikrofluidiky s přihlédnutím k tzv. milifluidice a mikromagnetofluidice. V této části jsou i, mimo jiné, představeny aplikace a problematika nestabilit spojených s mazáním hydrodynamických kluzných ložisek. Druhá oblast je zaměřena na praktickou část, je zde popsán návrh a realizace experimentu, stejně jako výpočtové simulace provedené pomocí softwarů FEMM a ANSYS Fluent. Třetí část obsahuje rozpravu koncept potenciálního využití magneticky aktivní kapaliny v milikanálcích za účelem regulace nežádoucích jevů spojenými s nestabilitami mazacího oleje v hydrodynamických ložiscích. The thesis addresses the topic of magnetically active liquids and their applications in microfluidics. The first part of the thesis comprises an extensive examination of the thematic units that address the issue in question. This part includes a detailed review of the fundamentals of magnetism, magnetically active liquids, and microfluidics, with particular mention of the so-called millifluidics and micromagnetofluidics. This part also presents, among other things, applications and problems associated with instabilities in the lubrication of hydrodynamic plain bearings. The second area focuses on the practical aspects of the research, including the design and implementation of the experiment and the computational simulations performed using FEMM and ANSYS Fluent software. The third section discusses the potential use of magnetically active fluids in millichannels to control undesirable phenomena associated with lubricating oil instabilities in hydrodynamic bearings.
Keywords:
Magnetically active liquids; magnetorheological liquid; Bingham; microfluidics; millifluidics; FEMM; journal bearings; lubrication-induced instability; Magneticky aktivní kapaliny; magnetoreologická kapalina; Bingham; mikrofluidika; milifluidika; FEMM; kluzná ložiska; nestability mazacího filmu
Available in a digital repository NRGL
Možnosti využití magneticky aktivních kapalin v mikrofluidice
Diplomová práce se zabývá magneticky aktivními kapalinami a jejich aplikacemi v mikrofluidice. V první části práce je provedena rozsáhlá rešerše tématických celků, které se problematiky dotýkají. Tato ...
Segmentace hyperspektrálních fotografií ještěrek
Kotrys, Kryštof; Parák, Roman; Škrabánek, Pavel
2024 - English
Tato diplomová práce se zaměřuje na tvorbu systému pro segmentaci hyperspektrálních fotografií ještěrek žijících na území České republiky. První část práce obsahuje shrnutí existujících metod segmentace obrazu, informací o hyperspektrálním obrazu a konvolučních neuronových sítí. Druhá část práce navrhuje postup pro zpracování dat, které vede k tvorbě segmentovaných masek pro zadanou datovou množinu a také prezentuje získané výsledky. This master's thesis focuses on creating a data processing system for segmentation of hyperspectral images of lizards living in the Czech Republic. The first part of the thesis contains a survey of existing image segmentation methods, information about hyperspectral imagery and convolutional neural network theory. The second part proposes a data processing pipeline that creates image segmentation masks for the assigned dataset, as well as presents achieved results.
Keywords:
Hyperspectral image; image segmentation; convolutional neural network; U-Net; data processing; Python; Hyperspektrální obraz; segmentace obrazu; konvoluční neuronová síť; U-Net; zpracování dat; Python
Available in a digital repository NRGL
Segmentace hyperspektrálních fotografií ještěrek
Tato diplomová práce se zaměřuje na tvorbu systému pro segmentaci hyperspektrálních fotografií ještěrek žijících na území České republiky. První část práce obsahuje shrnutí existujících metod ...
Funkční bezpečnost v procesním průmyslu z pohledu systémového integrátora
Malysa, Matěj; Štohl, Radek; Fiedler, Petr
2024 - English
Tato práce se zabýva shrnutím požadavků a klíčových konceptů vyplývajících z mezinárodních standardů IEC 61508 a IEC 61511, vztahem mezi nimi a jejich rozdíly. Dále tato práce popisuje rozsah práce z pohledu mezinárodní dodavatelské společnosti. Práce rovněž popisuje vývoj softwaru bezpečnostně přístrojového systému, proces řízení projektu včetně dokumentace a jeho následné testování a verifikaci. This thesis summarizes the requirements and key concepts of international standards IEC 61508 and IEC 61511, the relationship between them and their differences. Furthermore, this thesis describes the scope of supply from the point of view of an international contracting company. The thesis also describes the development of a safety instrumented system, the execution process of a safety project including documentation and its testing and verification.
Keywords:
IEC 61508; IEC 61511; safety instrumented system; safety instrumented function; hazard & risk analysis; safety-related systems; process industry; process automation; functional safety management system; IEC 61508; IEC 61511; bezpečnostně přístrojové systémy; bezpečnostně přístrojové funkce; analýza rizik a nebezpečí; systémy související s bezpečností; průmyslové procesy; procesní automatizace; systém řízení funkční bezpečnosti
Available in a digital repository NRGL
Funkční bezpečnost v procesním průmyslu z pohledu systémového integrátora
Tato práce se zabýva shrnutím požadavků a klíčových konceptů vyplývajících z mezinárodních standardů IEC 61508 a IEC 61511, vztahem mezi nimi a jejich rozdíly. Dále tato práce popisuje rozsah práce z ...
Měření SISO/MISO signálu v systému DVB-T2
Buchta, Šimon; Kratochvíl, Tomáš; Polák, Ladislav
2024 - English
Tato bakalářská práce je zaměřena na měření a analýzu televizního signálu druhé generace digitálního pozemního vysílání (DVB-T2), zahrnujíc různé přenosové techniky a chyby, jež mohou vznikat v tzv. OFDM modulátoru. Pro tento účel bylo navrženo a zrealizováno měřící pracoviště. První část práce je věnována zkoumání a následnému zhodnocení výsledků měření reálného DVB-T2 signálu vysílaného v České republice. Druhá část této práce se zaměřuje na měření signálu DVB-T2 s odlišnou konfigurací, na příklad užití MISO přenosové techniky a přídání vlivu chyb v OFDM modulátoru a výkonového nevyvážení mezi vysílači. Tyto konfigurace jsou zkoumány v různých kanálových modelech pro fixní a mobilní příjem. Získané výsledky jsou zkoumány nejen z pohledu konvenčních objektivních parametrů (MER, BER), ale také z pohledu použitých měřících přístrojů a přijímačů (set-top-boxů). This thesis deals with a measurement-based study of the second-generation Digital Terrestrial Video broadcasting system (DVB-T2), examining various transmission techniques and imperfections within the orthogonal frequency division multiplexing (OFDM) modulator. For this study, a universal measurement setup was proposed and implemented. The first part of this work focuses on the measurement and evaluation of a real singleinput single-output (SISO) DVB-T2 signal broadcasted in the Czech Republic. The second part examines different DVB-T2 signal configurations, considering multiple-input single-output (MISO) transmission and imperfections in the OFDM modulator with combination of power imbalance between transmitters and in various channels for fixed and mobile reception. The results are evaluated using conventional objective metrics, such as bit and modualtion error ratio (BER and MER), as well as from the perspective of the measurement equipment and receivers (set-top boxes – STBs) used.
Keywords:
DVB-T2; SISO and MISO transmission; I/Q-errors; BER; MER; QEF; DVB-T2; SISO a MISO vysílání; chyby I/Q modulátoru; BER; MER; QEF
Available in a digital repository NRGL
Měření SISO/MISO signálu v systému DVB-T2
Tato bakalářská práce je zaměřena na měření a analýzu televizního signálu druhé generace digitálního pozemního vysílání (DVB-T2), zahrnujíc různé přenosové techniky a chyby, jež mohou vznikat v tzv. ...
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 ...
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