No (10759)
Number of found documents:
10759
Published from
to
Porovnání výpočetních možností open source a komerčního nástroje pro CFD analýzu profilů
Řezníček, Tomáš; Zikmund, Pavel; Popela, Robert
2024 - English
Cílem této práce je zjistit schopnosti open-source a komerčních CFD balíků a použít tuto znalost k porovnání jejich využití při analýze aerodynamických profilů ve dvourozměrném prostoru. CFD kody vybrané pro tento účel byly open-source software OpenFOAM a komerční software ANSYS Fluent. Veškeré simulace byly doprovázeny a porovnávány s měřením z aerodynamického tunelu. The purpose of this study is to explore the capabilities of an open-source and commercial CFD solutions, and use that knowledge to compare their use in analyzing airfoils in two-dimensional space. The solutions selected for this purpose were the open-source software OpenFOAM and a commercial product ANSYS Fluent. All simulations are supported and compared to wind tunnel measurements.
Keywords:
CFD; Computational Fluid Dynamics; OpenFOAM; ANSYS; Fluent; Mesh; Lift coefficient; Drag coefficient; Pitching moment coefficient; Wind tunnel; Airfoil; LS-0413; GA(W)-1; CFD; OpenFOAM; ANSYS; Fluent; Výpočetní sít; Koeficient vztlaku; Koeficient odporu; Koeficient klopného momentu; Větrný tunel; Profil; LS-0413; GA(W)-1
Available in a digital repository NRGL
Porovnání výpočetních možností open source a komerčního nástroje pro CFD analýzu profilů
Cílem této práce je zjistit schopnosti open-source a komerčních CFD balíků a použít tuto znalost k porovnání jejich využití při analýze aerodynamických profilů ve dvourozměrném prostoru. CFD kody ...
Využití opakujících se podstruktur pro efektivní reprezentaci automatů
Šedý, Michal; Češka, Milan; Holík, Lukáš
2024 - English
Nedeterministické konečné automaty (NKA) jsou široce využívány napříč mnoha odvětvími počítačové vědy, například pro reprezentaci regulárních výrazů, při monitorování vysoko rychlostních sítí, v abstraktním regulárním model checkingu, k verifikaci programů, k rozhodování procedur logik WS1S a WS2S, lineární aritmetiky celých čísel, temporálních logik, nebo dokonce v bioinformatice při vyhledávání sekvencí nukleotidů v DNA. Automaty s velkým množstvím stavů mohou v řadě algoritmů vést k exponenciálnímu nárůstu stavového prostoru. Tento problém lze zmírnit použitím minimalizačních technik slučování stavů a prořezávání hran přechodů. Tyto metody však mohou i přes svou značnou efektivitu zanechat ve výsledných automatech duplicitní podstruktury s ekvivalentními přechody. Existují dokonce typy automatů, které nelze těmito standardními technikami minimalizovat vůbec. Tato práce představuje nový přístup k minimalizaci automatů založený na transformaci NKA na nedeterministický zásobníkový automat (NZA). Tato transformace identifikuje skupinu podobných podstruktur a nahradí ji jednou společnou strukturou (procedurou). Tímto způsobem jsme byli schopni zredukovat automaty až o dalších 67.3%. Myšlenka transformace NKA na NZA lze přirovnat k transformaci sekvenčního programu na program, který využívá funkce a zásobníkem volání. Nondeterministic finite automata (NFAs) are widely used across almost every field of computer science, such as for the representation of regular expressions, monitoring high-speed networks, in abstract regular model checking, program verification, in decision procedures of WS1S and WS2S logics, linear integer arithmetic, temporal logics, or even in bioinformatics for searching sequences of nucleotides in DNA. Automata with a large number of states can lead to an exponential increase in the state space in many algorithms. To address this issue, minimization techniques, such as state merging and transition pruning, are used. Despite the strong minimization potential of these methods, the resulting automata can still contain duplicate substructures with equivalent transition sequences. There are even types of automata that cannot be minimized by these standard methods at all. This work presents a novel automata minimization approach based on a transformation of an NFA into a nondeterministic pushdown automaton (NPDA). The transformation identifies multiple similar substructures and replaces them with one common structure (called a procedure). By doing so, we were able to further reduce automata by up to 67.3%. The principle of transforming NFA into NPDA can be understood as a transformation of a purely sequential program into a program with functions and a call stack.
Keywords:
Nondeterministic Finite Automata; Nondeterministic Pushdown Automata; Minimization; Network Intrusion Detection Systems; Regular Expressions; Nedeterministické Konečné Automaty; Nedeterministické Zásobníkové Automaty; Minimalizace; Systémy Detekce Průniků v Síti; Regulární Výrazy
Available in a digital repository NRGL
Využití opakujících se podstruktur pro efektivní reprezentaci automatů
Nedeterministické konečné automaty (NKA) jsou široce využívány napříč mnoha odvětvími počítačové vědy, například pro reprezentaci regulárních výrazů, při monitorování vysoko rychlostních sítí, v ...
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 ...
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 ...
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 ...
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é ...
Předání moci v rodinném podniku
Schmidt, Jakub; Chlebovský, Vít; Koráb, Vojtěch
2024 - English
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.
Keywords:
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.
Available in a digital repository NRGL
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 - English
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.
Keywords:
deepfake; neural networks; deepfake detection; diffusion models; biometrics systems; deepfake; neurónové siete; deepfake detekcia; difúzne modely; biometrické systémy
Available in a digital repository NRGL
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 - English
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.
Keywords:
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
Available in a digital repository NRGL
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 ...
Detekce zranitelností v kontejnerových obrazech
Findra, Michal; Malinka, Kamil; Pavela, Jiří
2024 - English
Práca sa zaoberá automatizovaným bezpečnostným rozborom kontajnerových obrazov v distribuovanom prostredí. Popísané sú aktuálne zraniteľnosti v týchto prostrediach a nástojenie, ktoré sa zaoberajú analýzou kontajnerových obraz, slúžiacich ako vzor na vytvorenie daného kontajneru. Popísané je získanie popisu prostredia, následného spracovania do formátu zmysluplného pre vyvíjaný nástroj Vulntron. Vulntron slúži na automatizáciu tohoto procesu, bezpečnostnú analýzu jednotlivých komponentov kontajnerového obrazu a následný report do vizuálnej aj technicky ďalej spracovateľnej podoby. Súčasťou implementácie bude aj praktické nasadenie nástroja do rôznych typov vývojového procesu vrámci firmy Red Hat. The work focuses on the problem of automated security analysis of container images in a distributed environment. It describes present vulnerabilities in these environments and tools that deal with the analysis of container images that serve as a template for deploying a specific container. The process involves acquiring an environment description and subsequently processing it into a format meaningful for Vulntron tool developed as part of this thesis. Vulntron automates this process, performs a security analysis of individual components of the container image, and generates a report in a visually and technically processable format. The thesis also includes practical integration in form of Vulntron deployment into various types of development processes within the Red Hat company.
Keywords:
Vulntron; Container image; Container security; Security analysis; Grype; Syft; SBOM; Vulnerability detection; CI-CD; Vulntron; Kontajnerový obraz; Kontajnerová bezpečnosť; Bezpečnostná analýza; Grype; Syft; SBOM; Detekcia zraniteľností; CI-CD
Available in a digital repository NRGL
Detekce zranitelností v kontejnerových obrazech
Práca sa zaoberá automatizovaným bezpečnostným rozborom kontajnerových obrazov v distribuovanom prostredí. Popísané sú aktuálne zraniteľnosti v týchto prostrediach a nástojenie, ktoré sa zaoberajú ...
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