Ne (25309)
Počet nalezených dokumentů:
25309
Publikováno od
do
Platformy pro benchmarking optimalizačních algoritmů pro spojité úlohy
Visingr, Patrik; Shehadeh, Mhd Ali; Kůdela, Jakub
2024 - anglický
Tato práce zkoumá platformy pro benchmarking algoritmů, které se zaměřují na metodu black-box. Začíná přehledem optimalizačních algoritmů a zkoumáním tří významných srovnávacích platforem: COCO, IOHprofiler a Nevergrad. Tyto platformy mají zásadní význam pro hodnocení optimalizačních algoritmů, protože poskytují standardizované rámce, komplexní výkonnostní metriky a zajišťují reprodukovatelnost experimentů. Tento kolektivní přístup pomáhá identifikovat nejlepší algoritmy pro konkrétní aplikace a optimalizovat jejich výkon prostřednictvím ladění parametrů. Zmiňuje také na výhody a nevýhody jednotlivých platforem a jejich schopnosti spolupráce. This thesis explores benchmarking platforms for comparing algorithms using black-box methods. It begins with an overview of optimization algorithms and detailed examination of three prominent benchmarking platforms: COCO, IOHprofiler, and Nevergrad. These platforms are instrumental in evaluating optimization algorithms by providing standardized frameworks, comprehensive performance metrics, and ensuring reproducibility of experiments. This collective approach aids in identifying the best algorithms for specific applications and optimizing their performance through parameter tuning. It also highlights the advantages and disadvantages of each platform and their cooperative capabilities.
Klíčová slova:
numerical optimization; comparisonmethodologies; black-box optimization; derivative- free optimization; benchmarking; performance assessment; početní optimalizace; porovnávací metodika; black-box optimalizace; bezderivační optimalizace; benchmarking; výkonnostní zhodnocení
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Platformy pro benchmarking optimalizačních algoritmů pro spojité úlohy
Tato práce zkoumá platformy pro benchmarking algoritmů, které se zaměřují na metodu black-box. Začíná přehledem optimalizačních algoritmů a zkoumáním tří významných srovnávacích platforem: COCO, ...
Hudební kompozice s využitím metod umělé inteligence
Vendrame, Katia; Dvořák, Jiří; Matoušek, Radomil
2024 - anglický
Tato studie se věnuje metodám automatické kompozice hudby (AMC), s kon- krétním zaměřením na evoluční algoritmy a neuronové sítě. Potenciální dialog mezi muzikologickými teoriemi a AMC jsou analyzovány, spolu s otázkou jejího základu v hudební tradici. Byly zkoumány tři algoritmy pro tvoření krátkých jednohlasých melodií založených na stylu daného datasetu nebo požadavcích uživatele: pravdě- podobnostní gramatická evoluce, genetické algoritmy a LSTM modely. Praktická část práce představuje aplikace těchto algoritmů a výsledky testování jejich výhod a předností. Dále je představena implementace pro analýzu MIDI datasetů z hudební perspektivy. V poslední řadě jsou představeny možnosti budoucího vylepšení a roz- šiření zkoumaných algoritmů v oblasti automatické hudební analýzy a kompozice. This research delves into methods for automatic music composition, with a spe- cific emphasis on evolutionary algorithms and neural networks. It examines the potential correlation and discourse between musicology theories and automatic mu- sic composition, as well as its foundation in musical tradition. The study focuses on three algorithms utilized for generating short monophonic melodies stylistically based on given datasets or the user’s requirments: probabilistic grammar evolution, genetic algorithms, and LSTM models. The practical part of this work showcases the application of these algorithms and presents results from testing their efficacy and capabilities. Furthermore, it introduces an implementation for analyzing MIDI datasets from a musical perspective. Ultimately the study highlights the potential for future enhancements and broader applications in the field of automatic music analysis and composition.
Klíčová slova:
Automatic music composition; probabilistic grammar evolution; automatic music analysis; genetic algorithm; LSTM neural networks; Automatická hudební kompozice; pravděpodobnostní gramatická evoluce; automa- tická hudební analýza; genetický algoritmus; LSTM neuronové sítě
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Hudební kompozice s využitím metod umělé inteligence
Tato studie se věnuje metodám automatické kompozice hudby (AMC), s kon- krétním zaměřením na evoluční algoritmy a neuronové sítě. Potenciální dialog mezi muzikologickými teoriemi a AMC jsou ...
Analýza postupu zjištění potenciálně nebezpečných míst svarových spojů tenkostěnných kovových konstrukcí při posouzení životnosti
Doležel, Daniel; Pavlík, Ondřej; Vosynek, Petr
2024 - anglický
Hodnocení únavy svarů u tenkostěnných kovových konstrukcích je klíčové pro zajištění integrity navrhovaných konstrukcí. Navzdory zavedeným kritériím a S-N křivkám může být analýza životnosti svařovaných spojů u geometricky komplexních součástí značně komplikovaná. Hlavní překážkou je identifikace kritických míst z hlediska únavy pro detailní výpočet, což může být časově náročné i při využití metody konečných prvků (MKP). Tato práce podrobně zkoumá hodnocení únavy svarů, zahrnuje vhled do relevantní literatury, komerčních řešení a praktický kontext norem železničního průmyslu a směrnice FKM. Významným přínosem práce je vývoj automatizovaných FEMAP API programů pro MKP software Siemens FEMAP, které usnadňují proces analýzy. Tyto programy šetří čas a úsilí tím, že umožňují zjednodušenou analýzu založenou na konceptu lokálního nominálního napětí (local nominal stress) v souladu se směrnicí FKM. Metodika, podpořená vyvinutými programy, je v této práci popsána a prakticky demonstrována. Praktické přínosy této práce spočívají v poskytnutí alternativy ke komerčním softwarům, za účelem zvýšení efektivity analýzy životnosti svarů v kontextu konstukčních návrhů. The fatigue assessment of welds in thin-walled metal structures is vital for ensuring structural integrity in proposed designs. Despite established criteria and S-N curves, fatigue analysis of welded joints for geometrically complex structures presents inherent challenges. The primary obstacle lies in identifying the fatigue-critical locations for detailed assessment, a task that can be highly time-consuming, even with finite element modeling (FEM). This thesis thoroughly examines weld fatigue assessment, encompassing a review of the relevant literature, commercial solutions, and the practical context of railway industry standards and the FKM Guideline. A significant contribution is the development of automated FEMAP API programs for Siemens FEMAP software, aimed at streamlining the analysis process. These programs reduce time and effort by employing a simplified analysis approach based on local nominal stress assessment, in accordance with the FKM Guideline. The methodology, supported by the developed programs, is described and demonstrated in this thesis. The practical implications of this work extend to providing an efficient alternative to commercial software, ultimately enhancing the efficiency of weld fatigue analysis in structural engineering applications.
Klíčová slova:
welds; weld joints; weld fatigue; critical location identification; thin-walled structures; life assessment; FKM Guideline; local nominal stress; FEM; FEMAP; FEMAP API; automation; svary; svarové spoje; únava svarů; identifikace kritického místa; tenkostěnné konstrukce; životnost; směrnice FKM; lokální nominální napětí; MKP; FEMAP; FEMAP API; automatizace
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Analýza postupu zjištění potenciálně nebezpečných míst svarových spojů tenkostěnných kovových konstrukcí při posouzení životnosti
Hodnocení únavy svarů u tenkostěnných kovových konstrukcích je klíčové pro zajištění integrity navrhovaných konstrukcí. Navzdory zavedeným kritériím a S-N křivkám může být analýza životnosti ...
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 ...
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