Number of found documents: 7321
Published from to

Bilingual Guideline
Bilal, Rama; Málek,, Matěj; Ondrík, Jozef
2024 - English
Můj projekt přesahuje rámec pouhého jednorázového “výzkumu pro design” a zasahuje do oblasti “výzkumu prostřednictvím designu”. Rozsáhlá oblast typografické harmonizace zůstává z velké části neprozkoumaná a nabízí otevřený prostor k dalšímu výzkumu a sdílení nových řešení. Zdůraznění otevřenosti projektu je zásadní, zejména ve světle obecné tendence designu vnucovat západní normy designové praxe, čímž dochází k univerzalizaci kulturních odkazů a odsouvání lokálních forem na vedlejší kolej. Význam mého snažení spočívá v jeho roli designérského experimentu, jehož cílem je najít klíč k dynamické harmonizaci arabské a anglické typografie. Důraz není kladen na podřízení prvního z nich normám druhého, ale spíše na jejich zrovnoprávnění. Podstata tohoto cíle je obsažena ve formátu praktického výstupu – příručky pro párování arabsko-anglické bilingvní typografie. The increasing need for effective bilingual design solutions has highlighted the challenges faced by designers in selecting appropriate font pairings that preserve the aesthetics and visual harmony between Arabic and English typography. As the two scripts are in opposite directions, and the glyphs are different in many aspects, it is vital to understand the font design principles in order to design a successful bilingual family. This diploma project aims to develop a concise visual guideline for Arabic-English bilingual typography pairing to facilitate font selection and design, to enhance identity, proficiency, consistency, aesthetics, and effective communication in the field of Graphic Design. By considering the unique characteristics of both Arabic and English scripts and adhering to Arabic font regulations, the manual will provide practical design recommendations, methods, and font pairing choices that align with the intended proficiency and aesthetic goals. The study will employ comparative analyses, and examinations to inform the guideline's development. And the results will benefit designers, educators, and stakeholders involved in bilingual design, leading to improved communication in diverse linguistic contexts. My project extends beyond mere one—off research for design, delving into the realm of research through design. This expansive field of typographic harmonization remains largely unexplored, offering a fertile ground for fellow designers to contribute. Emphasizing the project's openness is crucial, particularly in light of the tendency of Northern—Western design hegemony to impose limited norms, thereby universalizing cultural references while sidelining local ones. The significance of this undertaking lies in its role as a design venture, aiming to unravel the dynamics of harmonizing Arabic and English typography. The focus is not on subsuming the former into the norms of the latter, but rather on equalizing them. The essence of this objective is encapsulated in the format of the practical output—guidelines for pairing Arabic-English bilingual typography. Keywords: Arabic font — Regulations — Calligraphy — Typography – Font anatomy — Font design — Digital Arabic fonts technical issues — Bilingual — Digital typography — Grid system.; arabské písmo – typografické regulativy – kaligrafie – typografie – tvarosloví písma – design písma – technické problémy digitálních arabských písem – dvoujazyčnost – digitální typografie – systém mřížky Available in a digital repository NRGL
Bilingual Guideline

Můj projekt přesahuje rámec pouhého jednorázového “výzkumu pro design” a zasahuje do oblasti “výzkumu prostřednictvím designu”. Rozsáhlá oblast typografické harmonizace zůstává z velké části ...

Bilal, Rama; Málek,, Matěj; Ondrík, Jozef
Vysoké učení technické v Brně, 2024

Vstup podniku na zahraniční trhy
Kovačech, Ján; Chlebovský, Vít; Koráb, Vojtěch
2024 - English
Diplomová práce se zaměřuje na vybranou společnost a její záměr vstoupit na zahraniční trh. Primárním cílem bylo posoudit připravenost společnosti a následně navrhnout strategii pro vstup na zahraniční trh. Teoretický rámec zahrnuje témata jako internacionalizace, strategická analýza a hodnocení rizik. Druhá část analyzuje společnost a profil cizí země, podložená primárním a sekundárním výzkumem trhu, pro posouzení připravenosti společnosti k expanzi. Třetí část představuje návrh vstupu na zahraniční trh spolu s hodnocením rizik. The diploma thesis focuses on the selected company and its intention to enter a foreign market. The primary objective was to evaluate the company's preparedness and subsequently propose a strategy for the foreign market entry. The theoretical background covers topics such as internationalization, strategic analysis, and risk assessment. The second part analyses the company and the foreign country’s profile, supported by primary and secondary market research, to assess the company’s readiness for expansion. The third section presents the proposal for entering the foreign market, along with a risk assessment. Keywords: international expansion; exporting; brewery industry; Czech Republic beer market; small and medium-sized enterprise; mezinárodní expanze; export; pivovarnictví; český pivní trh; malý a střední podnik Available in a digital repository NRGL
Vstup podniku na zahraniční trhy

Diplomová práce se zaměřuje na vybranou společnost a její záměr vstoupit na zahraniční trh. Primárním cílem bylo posoudit připravenost společnosti a následně navrhnout strategii pro vstup na ...

Kovačech, Ján; Chlebovský, Vít; Koráb, Vojtěch
Vysoké učení technické v Brně, 2024

Aplikace pro podporu tréninku silových sportů
Klem, Richard; Tesařová, Alena; Herout, Adam
2024 - English
Tato práce představuje nový přístup k analýze výkonu v silových sportech pomocí modelu strojového učení pro odhad lidské pózy. Implementované řešení využívá model RTMPose k odhadu klíčových bodů lidské pózy, následně odvozuje polohu činky ze souřadnic zápěstí a vypočítává výkonnostní metriky. Konkrétní úhly kamery nebo viditelné kotouče nejsou vyžadovány. Navrhovaná metoda vylepšuje tradiční silový trénink tím, že poskytuje zpětnou vazbu a výkonnostní metriky, jako je průměrná rychlost, a ukazuje se jako účinná ve veřejných posilovnách i v domácím prostředí, a to i pro cvičení s vlastní vahou nebo pomůckami jako je např. odporová guma. Rozsáhlé experimenty potvrzují širokou použitelnost navrhnutého řešení. Srovnání s profesionálním systémem Qualisys prokazuje dostatečnou kvalitu aplikace. This thesis presents a novel approach for strength sports performance analysis using a human pose estimation machine learning model. The implemented solution employs the RTMPose model to estimate keypoints, then derive the barbell position from the wrist coordinates, and compute performance metrics without requiring specific camera angles or visible weight plates. The proposed method enhances traditional resistance training by providing feedback and performance metrics such as mean velocity. The solution was proved effective in both gym and home environments, even without barbells. Extensive experiments demonstrate the robustness and wide usability of the solution. Comparison with the professional system Qualisys confirms the validity of the application results. Keywords: powerlifting; velocity-based training; computer vision; mobile application; human pose estimation; RTMPose; client-server architecture; monocular space calibration; silový trojboj; trénink založený na rychlosti; počítačové vidění; mobilní aplikace; odhad lidské pózy; RTMPose; architektura klient-server; monokulární kalibrace prostoru Available in a digital repository NRGL
Aplikace pro podporu tréninku silových sportů

Tato práce představuje nový přístup k analýze výkonu v silových sportech pomocí modelu strojového učení pro odhad lidské pózy. Implementované řešení využívá model RTMPose k odhadu klíčových bodů ...

Klem, Richard; Tesařová, Alena; Herout, Adam
Vysoké učení technické v Brně, 2024

Platformy pro benchmarking optimalizačních algoritmů pro spojité úlohy
Visingr, Patrik; Shehadeh, Mhd Ali; Kůdela, Jakub
2024 - English
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. Keywords: 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í Available in a digital repository NRGL
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, ...

Visingr, Patrik; Shehadeh, Mhd Ali; Kůdela, Jakub
Vysoké učení technické v Brně, 2024

Hudební kompozice s využitím metod umělé inteligence
Vendrame, Katia; Dvořák, Jiří; Matoušek, Radomil
2024 - English
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. Keywords: 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ě Available in a digital repository NRGL
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 ...

Vendrame, Katia; Dvořák, Jiří; Matoušek, Radomil
Vysoké učení technické v Brně, 2024

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 - English
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. Keywords: 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 Available in a digital repository NRGL
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 ...

Doležel, Daniel; Pavlík, Ondřej; Vosynek, Petr
Vysoké učení technické v Brně, 2024

Kooperativní hra s dualitou času a prostoru
Czakan, Vojtěch; Kapinus, Michal; Polášek, Tomáš
2024 - English
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. Keywords: 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 Available in a digital repository NRGL
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 ...

Czakan, Vojtěch; Kapinus, Michal; Polášek, Tomáš
Vysoké učení technické v Brně, 2024

Vývoj keramického filtračního zařízení pro elektroizolační kapaliny
Havlíková, Tereza; Cihlář, Jaroslav; Maca, Karel
2024 - English
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. Keywords: 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 Available in a digital repository NRGL
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 ...

Havlíková, Tereza; Cihlář, Jaroslav; Maca, Karel
Vysoké učení technické v Brně, 2024

Mobilní aplikace pro decentralizované volby
Pastushenko, Vladislav; Perešíni, Martin; Tamaškovič, Marek
2024 - English
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. Keywords: 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í Available in a digital repository NRGL
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 ...

Pastushenko, Vladislav; Perešíni, Martin; Tamaškovič, Marek
Vysoké učení technické v Brně, 2024

Převodníky v automatové knihovně Mata
Chocholatý, David; Lengál, Ondřej; Holík, Lukáš
2024 - English
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. Keywords: 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 Available in a digital repository NRGL
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é ...

Chocholatý, David; Lengál, Ondřej; Holík, Lukáš
Vysoké učení technické v Brně, 2024

About project

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

http://www.techlib.cz

Facebook

Other bases