Ne (8391)
Počet nalezených dokumentů:
8391
Publikováno od
do
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Gavenda, Daniel; Smrčka, Aleš; Fiedor, Jan
2024 - slovenský
Simulink diagramy majú široké využitie v priemysle, kde sa používajú na špecifikáciu riadiacich systémov. Konkrétnym blokom, ktorý sa v nich používa je Stateflow (stavový) diagram. Špecifikované systémy sú často kritické z hľadiska bezpečnosti, preto je otázka správnosti implementácie týchto systémov dôležitá. V tejto práci sa zameriame na návrh, popis a vytvorenie nástroja na spätnú rekonštrukciu Stateflow diagramu z optimalizovaného kódu v jazyku C za účelom preukázania funkčnej ekvivalencie medzi modelom a jemu odpovedajúcim kódom. Ďalej je vytvorená sada modelov reprezentujúcich modely so Stateflow diagramami a z nich vygenerované kódy pomocou viacerých optimalizácií. Na tejto sade bude vytvorený nástroj otestovaný, tiež je možné túto využiť pre evaluáciu iných analýz Stateflow a/alebo C kódu. Simulink diagrams are widely used in industry, where they are used to specify control systems. The specific block used in them is the Stateflow diagram. The specified systems are often critical from the point of view of security, therefore the question of the correctness of the implementation of these systems is important. In this work, we will focus on the design, description and creation of a tool for the reverse reconstruction of the Stateflow diagram from the optimized code in the C language in order to prove the functional equivalence between the model and its corresponding code. Next, a created set of models representing models with Stateflow diagrams and codes generated from them is created, using several optimizations. The created tool will be tested on this set, it can also be used to evaluate other Stateflow analyzes and/or C code.
Klíčová slova:
Simulink; Stateflow; optimizations; translation validation; finite state automata; automatic code generation; reverse reconstruction; Honeywell
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Simulink diagramy majú široké využitie v priemysle, kde sa používajú na špecifikáciu riadiacich systémov. Konkrétnym blokom, ktorý sa v nich používa je Stateflow (stavový) diagram. Špecifikované ...
Multiplatformní správce hesel s vícefaktorovou autentizací
Bilka, Tomáš; Frolka, Jakub; Člupek, Vlastimil
2024 - slovenský
Táto bakalárska práca sa zaoberá autentizáciou užívateľa ako kľúčovým prvkom informačnej bezpečnosti. Predstavuje rôzne metódy ochrany a autentizácie používateľov. Prvá kapitola sa venuje rôznym typom autentizácie, ako je jednofaktorová, dvojfaktorová a viacfaktorová autentizácia. Dôraz sa kladie na ochranu hesiel a možné útoky na heslá. Popisuje ďalšie bezpečnostné metódy ako sú bezpečnostné tokeny a biometrické systémy, ktoré je možné využiť na autentizáciu používateľa. Druhá kapitola sa zameriava na správcov hesiel. Popisuje konkrétne na aplikácie LastPass, KeePassXC a Bitwarden. Tretia opisuje návrh správcu hesiel s viacfaktorovou autentizáciou, jeho rozhranie a funkcie ako sú manipulácia so záznamami, generovanie hesla a synchronizácia medzi zariadeniami. Následne je rozoberaná bezpečnosť správcu hesiel. Štvrtá kapitola je venovaná implementácii správcu hesiel. Jej zabezpečeniu, synchronizácii, výhodám, limitom a možným vylepšeniam. V závere sú zhrnuté hlavné zistenia a výsledky práce. This bachelor thesis deals with the authentication of user with key element of information security. It presents various methos of user protection and authentication. The first chapter is dedicated to diverse types of authentications, such as single-factor, two-factor, and multi-factor authentication, with emphasis on password protection and possible attacks on passwords. It also describes other security methos, such as security tokens and biometric systems. Which can be used for user authentication. The second chapter focuses on passwords managers, specifically the applications LastPass, KeePassXC and Bitwarden. The third chapter describes the design of a password manager with multi-factor authentication, its interface, and functions such as record manipulation, password generation and synchronization between devices. The security of the password manager is also discussed. The fourth chapter is devoted to the implementation of the password managers. Its security, synchronization, advantages, limitations, and possible improvements. The conclusion summarizes the main findings and results of the thesis.
Klíčová slova:
Password manager; Multifactor Authentication; Password protection; Security tokens; Biometric system.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Multiplatformní správce hesel s vícefaktorovou autentizací
Táto bakalárska práca sa zaoberá autentizáciou užívateľa ako kľúčovým prvkom informačnej bezpečnosti. Predstavuje rôzne metódy ochrany a autentizácie používateľov. Prvá kapitola sa venuje rôznym typom ...
Numerická simulace tuhosti záběru ozubených kol
Rackovský, Daniel Milan; Prokop, Aleš; Řehák, Kamil
2024 - slovenský
Táto diplomová práca sa zaoberá simuláciou tuhosti záberu ozubených kolies s priamym čelným ozubením. Úvodná časť práce uvádza podrobný prehľad poznatkov z oblasti teórie ozubených prevodov, chyby prevodu, a taktiež vibrácií a hluku ozubených prevodov. Ďalšia časť práce obsahuje popis základných princípov funkcie parametrického MKP modelu záberu ozubených kolies, ktorý bol vytvorený pre potreby tejto práce. Posledná časť práce uvádza výsledky MKP simulácií, v ktorých bol skúmaný vplyv výrobných odchýlok zubov na priebeh statickej chyby prevodu. Podstatu zjednodušeného modelu výrobnej chyby tvorila funkcia sínus, pričom bol skúmaný vplyv počtu periód tejto funkcie a veľkosti amplitúdy na priebeh STE. Taktiež bolo overené, aký vplyv má na priebeh STE súkolesia s výrobnou chybou veľkosť záťažového momentu. Veľkosť amplitúd funkcie sínus bola stanovená tak, aby zodpovedala dovoleným odchýlkam tvaru kolies podľa normy ČSN ISO 1328-1. Riešenie úlohy prebiehalo v programe Ansys Mechanical APDL pomocou parametrického MKP modelu založeného na jazyku APDL. The diploma thesis deals with the simulation of the spur gears mesh stiffness. The introductory part of the thesis presents a detailed review of the knowledge in the field of gear theory, gear error and also NVH of gears. The next part of the thesis describes the basic principles of the function of the parametric FEM model of gear mesh, which was developed for the purpose of this thesis. The last part of the thesis presents the results of FEM simulations in which the effect of manufacturing error of the gears on the STE waveform was investigated. The basis of the simplified production error model was the sine function. The effect of the number of periods of this function and the magnitude of the amplitude on the STE waveform was investigated. The effect of the magnitude of the load torque on the STE of the production-error gear was also verified. The magnitude of the amplitudes of the sine function was determined to match the allowable wheel shape tolerances according to ISO 1328-1. The problem was solved in Ansys Mechanical APDL using a parametric FEM model based on APDL language.
Klíčová slova:
static transmission error; manufacturing error; spur gears; finite element method; parametric FEM model; vibration; noise; gear accuracy
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Numerická simulace tuhosti záběru ozubených kol
Táto diplomová práca sa zaoberá simuláciou tuhosti záberu ozubených kolies s priamym čelným ozubením. Úvodná časť práce uvádza podrobný prehľad poznatkov z oblasti teórie ozubených prevodov, chyby ...
Informační systém organizace Mensa
Madunický, Andrej; Rychlý, Marek; Bartík, Vladimír
2024 - slovenský
Cieľom tejto práce je navrhnúť informačný systém pre organizáciu Mensa Slovensko, ktorej aktuálny informačný systém nie je pre jej potreby dostačujúci. Navrhovaný informačný systém má za cieľ zjednodušiť prácu ako vedeniu organizácie, tak aj záujmovým skupinám a~ďalším užívateľom. Táto bakalárska práca analyzuje požiadavky organizácie, venuje sa návrhu systému a sumarizuje testovanie systému užívateľmi. Informačný systém bol navrhnutý v jazyku PHP, pričom frontend bol navrhnutý v jazyku HTML za pomoci šablónovacieho jazyka Twig a CSS frameworku Tailwind CSS. Databáza bola implementovaná za pomoci relačného databázového systému MySQL. Hlavným výsledkom práce je funkčný prototyp informačného systému pre organizáciu Mensa Slovensko. This bachelor’s thesis aims to design an information system for the organization Mensa Slovakia, whose current information system is insufficient for its needs. The proposed information system aims to simplify work for the organization's management, groups within the~organisation, and other users. This thesis analyzes the organization's requirements, focuses on system design, and summarizes user testing of the system. The information system was designed in PHP, with the front end designed in HTML using the template engine Twig and the CSS framework Tailwind CSS. The database was implemented using the relational database system MySQL. The main outcome of the work is a functional prototype of~the~information system for the organization Mensa Slovakia.
Klíčová slova:
information system; PHP; MySQL; framework; Symfony; Twig; data management; non-profit organization; Mensa; database design
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Informační systém organizace Mensa
Cieľom tejto práce je navrhnúť informačný systém pre organizáciu Mensa Slovensko, ktorej aktuálny informačný systém nie je pre jej potreby dostačujúci. Navrhovaný informačný systém má za cieľ ...
Implementace Table Top cvičení do univerzitního prostředí
Juricová, Sára; Zápotočný, Matej; Sedlák, Petr
2024 - slovenský
This thesis deals with the creation of simulation exercises based on a provided cyber incident, using techniques employed in the gaming environment for top management in order to test their response and collaboration skills. The work presents the objectives, strategy, and creation of the simulation exercise. It analyzes the university environment, risks, a specific incident, and evaluates the financial plan of the project. table top exercise, simulation exercises, cyber security, cyber incident, risk, top management
Klíčová slova:
table top cvičenie; simulačné cvičenia; kybernetická bezpečnosť; kybernetický incident; riziko; vrcholový manažment
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Implementace Table Top cvičení do univerzitního prostředí
This thesis deals with the creation of simulation exercises based on a provided cyber incident, using techniques employed in the gaming environment for top management in order to test their response ...
Pořízení podrobné a gigantické fotografie a lokalizace v ní
Dubovec, Pavol; Vaško, Marek; Herout, Adam
2024 - slovenský
Cieľom tejto práce bolo vytvoriť veľký obrázok a novú techniku na lokalizáciu fotografie vo väčšom obrázku, aby sa zvýšila rýchlosť a presnosť bežných metód. Navrhovaná technika využíva architektúru CNN na extrakciu embeddings z dopytovaného obrázka, ktoré sa použijú na vyhľadávanie v databáze embeddings z veľkej fotografie. Boli natrénované dva modely na veľkom súbore údajov: klasifikačný (CE) a dištančný (triplet). Na určenie umiestnenia obrázkov a na generovanie veľkého obrázka sa použili konvenčné metódy. Databáza vkladov sa vytvorila rozdelením veľkej fotografie pomocou natrénovaného modelu. V databáze sa vyhľadá K-najbližších embeddings výrezov query obrázka. Tieto embeddings sa generujú rozdelením query fotografie na rovnako veľké časti ako vstupy CNN. Optimálny model homografie sa určí náhodným výberom na základe pozícií štyroch výrezov query obrazov a ich zodpovedajúcich pozícií vo veľkom obraze. Ako výsledná pozícia sa vyberie model homografie s najnižším harmonickým priemerom embedding vzdialenosti. Homografia sa optimalizuje pomocou párovania šablón, kde je to možné. Metóda vykazuje dostatočnú presnosť a vysokú rýchlosť na testovacích súboroch údajov. Najlepší model dosiahol presnosť top-1 97.71% a presnosť top-3 99.67 %. V ďalšom výskume sa budú zisťovať výsledky metódy pri zvyšujúcej sa heterogenite povrchu, možnosti automatizácie vyhľadávania videí na získanie veľkého súboru údajov s fotografiami a jej účinnosť pri lokalizácii fotografií, keď bežné metódy zlyhávajú. The goal of this work was to create a large image and a new technique to localize the photo in the larger image to increase the speed and accuracy of conventional methods. The proposed technique uses CNN architecture to extract embeddings from the queried image which will be used to search the database of embeddings from the large photo. Two models have been trained on a large dataset: based on classification (CE) and distance (triplet) Conventional methods were used to determine the location of the images and to generate the large image. A database of embeddings was created by partitioning the large image using the trained model. The database is searched for the K-nearest embeddings of the cutouts of the query image. These embeddings are generated by dividing the query photo into the same size parts as the CNN inputs. The optimal homography model is determined by random selection based on the positions of the four query image cutouts and their corresponding positions in the big picture. The homography model with the lowest harmonic mean of the embedding distance is selected as the final position. The homography is optimized using template matching where possible. The method shows sufficient accuracy and high speed on test datasets. The best model achieved a top-1 accuracy of 97.71% and a top-3 accuracy of 99.67%. Future research will investigate the performance of the method under increasing surface heterogeneity, the possibility of automating video retrieval to obtain a large dataset with photos, and its effectiveness in locating photos when conventional methods fail.
Klíčová slova:
Image Localization; Homography Estimation; Approximate Search; CNN
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Pořízení podrobné a gigantické fotografie a lokalizace v ní
Cieľom tejto práce bolo vytvoriť veľký obrázok a novú techniku na lokalizáciu fotografie vo väčšom obrázku, aby sa zvýšila rýchlosť a presnosť bežných metód. Navrhovaná technika využíva architektúru ...
Revitalizácia tradičnej chalupy na Kopaniciach
Černák, Jakub; Formánek, Marian; Počinková, Marcela
2024 - slovenský
V mojej bakalárskej práci sa zaoberám revitalizáciou tradičnej chalupy na Kopaniciach. Práca je rozdelená na dve časti. Prvá časť práce sa zaoberá dokumentáciou pre stavebné povolenie a druhá časť návrhom obnoviteľných zdrojov energie pre tento objekt. Pri vypracovaní projektovej dokumentácie bol kladený dôraz na energetickú hospodárnosť objektu, použité materiály a kvalitu vnútorného prostredia objektu. Dom sa nachádza na západnom Slovensku v malej dedine Vaďovce. Svojím tvarom a osadením do terénu vytvára átrium. Svojím architektonickým riešením sa snaží rešpektovať tradičnú okolitú zástavbu. Dom sa rozdelí na dve časti, na časť hosťovskú na prízemí a časť pre trvalé bývanie štvorčlennej rodiny v podkrovnom byte. Obe so samostatným vstupom. Hosťovská časť na prízemí zahŕňa kuchyňu, kúpeľňu, obývaciu izbu a spálňu. Podkrovný byt obsahuje dve detské izby, spálňu, šatník, kuchyňu s obývačkou a dve kúpeľne. Vedľa vstupu do podkrovného bytu sa umiestni technická miestnosť. Pôvodná časť domu má kamenné základy a steny z nepálenej tehly. Novonavrhované stropy sú drevo-betónové a nadstavba podkrovia bude z keramických tvárnic. Dom sa zateplí prírodnou konopnou izoláciou. Vykurovanie objektu zaistí nízkoteplotné podlahové vykurovanie. Tepelný komfort počas tropických letných dní zabezpečia chladiace stropy. Reverzibilné tepelné čerpadlo zem voda sa postará o dodávku tepla a chladu. Záložným zdrojom tepla budú krbové kachle s vodným výmenníkom. Vetranie objektu zaistí mechanická ventilácia so spätným získavaním tepla. Vetracia jednotka sa doplní o vodný výmenník na úpravu teploty vzduchu. Obnoviteľným zdrojom elektrickej energie bude malá veterná turbína o výkone 5 kW, ktorá bude domu dodávať elektrickú energiu. Objekt sa napojí na verejný vodovod a kanalizáciu. Zrážková voda sa zachytí do akumulačnej nádrže a využije sa na zalievanie. Prebytočná zrážková voda bude vsakovaná. Neoddeliteľnou súčasťou práce je preukaz energetickej náročnosti budovy. The aim of my bachelor´s thesis is revitalization of the traditional cottage in Kopanice region. The project is divided into two parts. The first part contains the documentation for building permission and the second part contains the design of the renewable energy source. During the development of the project documentation, emphasis was placed on the energy efficiency of building, the material used in the project and quality of indoor environment. The house is situated in Slovakia in the village Vaďovce. Revitalization respects the original appearance of the building. House is going to be divided into two parts, one part for guest on ground floor and the second part for family of four in the attic flat. Both flats have a separate entrance. In the guest part is the kitchen, two bedrooms and bathroom with toilet. In the attic flat are two kids rooms, bedroom, living room with kitchen and bathroom. Utility room is situated next to the entrance hall of the attic flat. The original part of the house has stone and mudbrick walls. The ceilings are made of wood concrete. New parts of walls are made of blocks. The house is insulated with natural hemp insulation. The house will be heated by floor heating. The thermal comfort during tropical summer days will be provided by ceiling cooling. Source of heat/cold will be a reversible heat pump, type air-water. Auxiliary heat source will be fireplace with water coil. The ventilation of the house is going to be mechanical with heat recovery. Mechanical ventilation unit will have water coil to adjust the air temperature. Renewable source of energy is going to be a small wind power plant with power 5 kW. The wind turbine will be producing electric energy for this house. The house is connected to water main and sewer system. Rainwater will be accumulated and reused for watering. Spare water will be infiltrated into ground. The energy performance certificate is necessary part of this bachelor thesis.
Klíčová slova:
traditional cottage; mud bricks; indoor environment; renewable source of energy; heat pump; floor heating; wind power plant
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Revitalizácia tradičnej chalupy na Kopaniciach
V mojej bakalárskej práci sa zaoberám revitalizáciou tradičnej chalupy na Kopaniciach. Práca je rozdelená na dve časti. Prvá časť práce sa zaoberá dokumentáciou pre stavebné povolenie a druhá časť ...
Zvukový dizajn elektrických vozidiel
Panáček, Erik; Otipka, Václav; Láštic, Daniel
2024 - slovenský
Táto bakalárska práca zhŕňa informácie ohľadom zvukového dizajnu v elektrickom auto-mobile. Práca sa venuje vysvetleniu zvukového dizajnu v elektrickom automobile, dôvo-dom pre potrebu zvukového dizajnu v elektrickom automobile, popisuje technológie a princípy používané pri dizajne zvuku v interiéri a exteriéri. Ďalej je opísaný aspekt zvu-kovej identity pri dizajne zvuku v EV a na záver sú zhrnuté získané poznatky s implikáciou na vývoj do budúcnosti. This bachelor´s thesis summarizes information about sound design in electric vehicles. This thesis explains sound design in electric vehicles, gives reasons for needing sound design in electric vehicle, describes technologies and principles used in sound design of interior and exterior. Described next is aspect of sound identity in sound design of electric vehicle and the conclusion summarizes results, and gives implications for future work.
Klíčová slova:
Sound; Sound design of electric vehicle; electric vehicle; electromobility; silence of EV; AVAS; sound identity
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Zvukový dizajn elektrických vozidiel
Táto bakalárska práca zhŕňa informácie ohľadom zvukového dizajnu v elektrickom auto-mobile. Práca sa venuje vysvetleniu zvukového dizajnu v elektrickom automobile, dôvo-dom pre potrebu zvukového ...
Detekce anomálií v temporálních datech
Ondria, Jozef; Burget, Radek; Bartík, Vladimír
2024 - slovenský
Cieľom tejto práce je výber moderných techník a algoritmov pre detekciu anomálií v temporálnych dátach. Vybrané algoritmy je potrebné implementovať a následne experimentálne overiť a porovnať ich funkčnosť na vhodnej dátovej sade. This thesis aims to select modern techniques and algorithms for anomaly detection in temporal data. It is necessary to implement the selected algorithms and then experimentally verify and compare them on a suitable dataset.
Klíčová slova:
knowledge discovery in databases; data mining; anomaly detection; outlier detection; temporal data; time series
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Detekce anomálií v temporálních datech
Cieľom tejto práce je výber moderných techník a algoritmov pre detekciu anomálií v temporálnych dátach. Vybrané algoritmy je potrebné implementovať a následne experimentálne overiť a porovnať ich ...
Metody rozkladu hudebních signálů na harmonickou a transientní složku
Guľas, Matej; Rajmic, Pavel; Mokrý, Ondřej
2024 - slovenský
Témou tejto práce je skúmanie separácie zvukového signálu na harmonickú a transientnú zložku, pričom sa bude zameriavať na dve metódy separácie, a to separácia pomocou mediánového filtru a separácia pomocou fázovo korigovanej konvexnej optimalizácie. V prvej časti sú zahrnuté teoretické informácie a koncepty potrebné k spracovaniu tejto úlohy a v druhej sú dané metódy a ich varianty implementované a taktiež je spracovaná porovnávacia štúdia za pomoci subjektívneho posluchu a objektívnych metrík. The topic of this thesis is to investigate the separation of an audio signal into harmonic and transient components, and will focus on two separation methods, namely separation using a median filter and separation using phase-corrected convex optimization. In the first part, the theoretical information and concepts necessary to handle this task are covered and in the second part, the given methods and their variants are implemented and also a comparative study using subjective listening and objective metrics is elaborated.
Klíčová slova:
HPSS; median filter; phase correction; konvex optimalization
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Metody rozkladu hudebních signálů na harmonickou a transientní složku
Témou tejto práce je skúmanie separácie zvukového signálu na harmonickú a transientnú zložku, pričom sa bude zameriavať na dve metódy separácie, a to separácia pomocou mediánového filtru a separácia ...
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