Ne (546)
Počet nalezených dokumentů:
546
Publikováno od
do
Indexování XML dokumentů pomocí automatů: výběr neznámých uzlů
Šestáková Eliška; Karzhenkova Maria; Pecka Tomáš
2018 - anglický
Tato práce je součástí projektu "Indexování XML dokumentů pomocí automatů". Popisuje existující metody pro indexování XML dokumentů, které jsou založeny na teorii automatů, a jejich rozšíření, za účelem umožnění efektivního zpracování XPath dotazů skládajících se z libovolné kombinace child (/), descendant-or-self (//) os a asterisk (*) a nodename node testů, sloužících k navigaci v XML dokumentu. Ke konstrukci indexu pro daný XML dokument D s n elementy je využít odpovídající XML stromový model T. Zpracování dotazu Q o velikosti m proběhne v čase O(m) nezávislém na n. Tato práce obsahuje též diskuzi ohledně časové a paměťové složitosti pro každou z navržených metod. Všechny nově popsané algoritmy jsou implementovány a otestovány na reálních datech.Being a part of the "Automata Approach to XML Data Indexing" project, this thesis is concerned with studying the existing methods of indexes creation algorithms based on the automata theory and extending them to deal with more significant fragment of XPath queries. The presented methods allow us to construct XML data indexes that support evaluation of all XPath queries using any combinations of child (/), descendant-or-self (//) axes, asterisk (*) and nodename node tests. Given an XML document D and its corresponding XML tree model T with n nodes, the tree is preprocessed and the index for the document D is constructed. The searching phase time of each of the constructed indexes for a query Q is bounded by O(m), where m is size of the query Q, and does not depend on the indexed XML document size n. Moreover, the space and time complexities for each of the proposed indexes are discussed, all the introduced algorithms are implemented and tested over the real-life datasets.
Klíčová slova:
XML,XPath,strom,konečný automat,index,neznámé uzly; XML,XPath,tree,finite automaton,index,unknown nodes
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Indexování XML dokumentů pomocí automatů: výběr neznámých uzlů
Tato práce je součástí projektu "Indexování XML dokumentů pomocí automatů". Popisuje existující metody pro indexování XML dokumentů, které jsou založeny na teorii automatů, a jejich rozšíření, za ...
Navrh detekce anomalií pro obchodování na burze
Kopp Martin; Karpenko Aleksandr; Jusko Jan
2018 - anglický
Detekce anomálií v datech z akciových trhů v reálném čase je skutečně náročná úloha. Tato práce představuje první veřejný výzkum v této oblasti, který se nezaměřuje na cenu akcií. Nástroj pro konverzi záznamů obchodních dat ve FIX formátu do CSV formátu, vhodného pro další analýzu, byl vytvořen a použit v průběhu výzkumu. Příznaky jsou extrahovány z dat, analyzovány a klasifikovány pomocí různých technik detekce, a porovnána kvalita jednotlivých modelů. Na základě tohoto měření je vybrán model, který je nejoptimalnější vzhledem k četnostem false positive a true positive. Dále byly otestovány metody na zkrácení odezvy, které se ukázaly nepraktické, pokud jsou použity samostatně, a vyžadují ještě další zpracování. Navržený model na detekci anomálií je dostatečne přesný, že může být použit v praxi.Detection of anomalies in trading data flow in real-time is a challenging task. This thesis presents the first public research in that area, which does not focus on stock price. A tool converting FIX traffic logs into CSV format, which is suitable for analysis, is developed and used during the research. Features are extracted from the data, analyzed and classified with various anomaly detection techniques applied, and performance of different models is measured. Model which performs best in terms of false positive rate and true positive rate is proposed. Response time reduction methods are investigated and proven to be impractical when used alone and require additional post-processing. As a result, brokers can use proposed model to detect anomalies with high confidence.
Klíčová slova:
FIX,detekce anomalií,tradování,HBOS; FIX,anomaly detection,trading,HBOS
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Navrh detekce anomalií pro obchodování na burze
Detekce anomálií v datech z akciových trhů v reálném čase je skutečně náročná úloha. Tato práce představuje první veřejný výzkum v této oblasti, který se nezaměřuje na cenu akcií. Nástroj pro konverzi ...
Predikce výkonu fotovoltaické elektrárny z předpovědi počasí
Schaefer Martin; Lupenko Nikita; Krupanský Petr
2018 - anglický
V rámci své bakalářské práce, jsem přezkoumal důležité aspekty předpovědi sluneční energie, několika bezplatných zdrojů dat nutných či užitečných pro tuto předpoved'. Také jsem vytvořil dva demonstrativní modely předpovědi, které byly založené na různých technologiích. První model byl postaven na předpovědi slunečního záření a oblačnosti. Druhý model byl založen na historických datech. Druhý model se prokázal jako lepší a dosáhl řady přesnosti rovné koeficientu determinace 0.89 a hodnoty absolutní chyby 47.465 kWh, když střední hodnota byla stanovená 256 kWh.In my thesis, I have explored essential aspects of the solar power forecasting. I have reviewed several publickly available sources of data and services which are useful or necessary for the forecast. Furthermore, I created two demonstrations of the forecasting models that both represent different approaches for the solar power forecast. The first model was based on the Sun irradiation and cloudiness forecast, whereas the second model was built on the historical data. The second model was more precise than first, and achieved the range of performance equal to 0.89 of The Coefficient of Determination and 47.465 kWh of the Mean Absolute Error, whereas the mean value of the power observations is 258 kWh.
Klíčová slova:
Předpověd' výkonu solárního panelu,Data pro předpověd' výkonu solárního panelu,SVM regrese; Solar panel power forecast,Data for solar plant power forecast,SVM regression
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Predikce výkonu fotovoltaické elektrárny z předpovědi počasí
V rámci své bakalářské práce, jsem přezkoumal důležité aspekty předpovědi sluneční energie, několika bezplatných zdrojů dat nutných či užitečných pro tuto předpoved'. Také jsem vytvořil dva ...
Reaktivní plánování bezkolizního letu helikoptéry s využitím dat z onboard stereo kamery
Spurný Vojtěch; Novotný Aleš; Hurych David
2018 - anglický
Cílem této práce je navrhnout systém, který detekuje překážky pro bezpilotní letadla vybavené hloubkovou kamerou. Především navrhujeme metody pro filtrování vstupního obrazu, automatická detekce překážek v reálném čase a nezávisle na prostředí, ve kterém se bezpilotní letadlo pohybuje a algoritmus pro vyhýbání se překážkám založený na metodě vector field histogram, která se používá pro reaktivní bezkolizní plánování letu. Navržený systém je modulární a může být použit pro zpracování dat z různých typů kamer založených na stejném principu funkce. Funkčnost systému byla testována v několika simulacích a experimentech v reálném světě.The aim of this work is to design obstacle detection system for Unmanned Aerial Vehicle (UAV) equipped with a depth camera. Especially, we propose methods for image filtering, real-time automatic detection of obstacles in a forest-like environment in which the UAV fly, and obstacle avoidance algorithm based on Vector Field Histogram (VFH) which is used for reactive collision-free motion planning. The proposed system is modular and it can be used for processing of data from different types of cameras with the same function principle. The functionality of the system has been tested in several simulations and real-world experiments
Klíčová slova:
bezpilotní letadlo,hloubková kamera,vector field histogram,reaktivní plánování letu,vyhýbání se překážkám; unmanned aerial vehicle,depth camera,vector field histogram,reactive motion planning,obstacle avoidance
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Reaktivní plánování bezkolizního letu helikoptéry s využitím dat z onboard stereo kamery
Cílem této práce je navrhnout systém, který detekuje překážky pro bezpilotní letadla vybavené hloubkovou kamerou. Především navrhujeme metody pro filtrování vstupního obrazu, automatická detekce ...
Sledování letící helikoptéry kompaktním týmem malých bezpilotních prostředků
Walter Viktor; Šenkeřík Jan-Jakub; Selecký Martin
2018 - anglický
Cílem této bakalářské práce je implementovat algoritmus, jehož úkolem je pronáslednování pohybující se helikoptéry formací relativně lokalizovaných bezpilotních helikoptér. Tento algoritmus má za úkol řídit formaci bezpilotních helikoptér pouze pomocí dat obržených z kamer, které jsou připevněny na každé bezpilotní helikoptéře. Algoritmus je implementován a přizpůsoben použití v rámci skupiny MRS na ČVUT. Algoritmus je následně otestován v realistickém simulátoru Gazebo a částečně vyzkoušen ve skutečném experimentu.The goal of this thesis is to implement an algorithm for pursuing a moving helicopter by a team of unmanned aerial vehicles localized relative to each other and the target. This algorithm aims to control a formation of unmanned aerial vehicles using only data obtained from cameras mounted on each member. The algorithm is implemented and adapted for deployment with the multi-MAV system of MRS group at CTU. The algorithm is verified in a realistic Gazebo simulator and then partially tested in a real-world experiment.
Klíčová slova:
Bezpilotní helikoptéry,Autonomní řízení,Sledování cíle,Multi-robotické systémy,Roboti,Kamery,Simulace,Experimenty; Autonomous control,Unmanned aerial vehicles,Pursuing of a target,Multi-robot systems,Robots,Cameras,Simulation,Experimentation
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Sledování letící helikoptéry kompaktním týmem malých bezpilotních prostředků
Cílem této bakalářské práce je implementovat algoritmus, jehož úkolem je pronáslednování pohybující se helikoptéry formací relativně lokalizovaných bezpilotních helikoptér. Tento algoritmus má za úkol ...
Lokalizace ARFID čipů skupinou helikoptér využívajících principu Multilaterace
Spurný Vojtěch; Němec Michal; Vojtěch Lukáš
2018 - anglický
V této práci je řešen problém lokalizace neznámého ARFID čipu na bázi Bluetooth low energy technologie. K lokalizaci jsou použity metody využívající principu multilaterace. V práci jsou všechny multilaterační algoritmy popsány obecně a jsou použitelné s libovolnou technologií která umožňuje měřit vzdálenosti mezi objekty. Nejdříve jsou popsány postupy měření vzdáleností pomocí technologie BLE a získané výsledky jsou použity v multilateračních metodách. Všechny popsané algoritmy pracují v libovolném dimenzionálním světě a nejsou limitovány počtem bezpilotních helikoptér. Lokalizovaná poloha je poté zpřesněna zavedením nepřesnosti měření vzdálenosti.This thesis deals with localization of unknown ARFID devices by a group of unmanned aerial vehicles (UAVs) in a space using multilateration methods and Bluetooth low energy (BLE) technology. Methods described in this work are formulated in a general way, therefore they can be used with any technology that allows distance measurements. At the beginning of this work we are discussing how to measure distance using BLE and then how to apply this knowledge for multilateration algorithms. Multilateration algorithms are presented from general perspective for arbitrary dimensional space and arbitrary number of deployed UAVs. Furthermore these algorithms are extended by a knowledge about uncertainty of a measurements and their functionality is verified in simulations and by real-world deployment.
Klíčová slova:
multilaterace,bluetooth low energy,bezpilotní helikoptéra,radio frequency identification,lokalizace,metoda nejmenších čtverců,received signal strength indicators; multilateration,bluetooth low energy,unmanned aerial vehicle,radio frequency identification,localization,least squared method,received signal strength indicators
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Lokalizace ARFID čipů skupinou helikoptér využívajících principu Multilaterace
V této práci je řešen problém lokalizace neznámého ARFID čipu na bázi Bluetooth low energy technologie. K lokalizaci jsou použity metody využívající principu multilaterace. V práci jsou všechny ...
Implementace větvících regulárních výrazů
Polách Radomír; Sochor Miroslav; Trávníček Jan
2018 - anglický
Větvící regulární výrazy jsou regulární výrazy rozšířené o unární operátor Fork. Tento operátor přidává souběžnou složku k výrazům. Cílem práce je tyto Větvící regulární výrazy implementovat, aby se daly využít k analýze paralelních programů. V práci jsou Větvící regulární výrazy rozšířeny o operátory Atomic, Sync a Async a převedeny metodou Brzozowského derivátů na konečný automat. Tento automat reprezentuje chování programu popsaného výrazem.Forkable regular expressions are regular expressions extended with unary operator Fork. Fork adds concurrent part to the expressions. The goal of this thesis is to implement Forkable regular expressions, so that they can be used to analyze parallel programs. This thesis extends Forkable regular expressions with operators Atomic, Sync and Async. These extended Forkable regular expressions are transformed into a finite-state machine using Brzozowski derivatives. This automaton represents effects of a program described by the expression and its behavior.
Klíčová slova:
větvící výrazy,deriváty,souběžnost,regulární výrazy,automaty; forkable expressions,derivatives,concurrency,regular expressions,automata
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Implementace větvících regulárních výrazů
Větvící regulární výrazy jsou regulární výrazy rozšířené o unární operátor Fork. Tento operátor přidává souběžnou složku k výrazům. Cílem práce je tyto Větvící regulární výrazy implementovat, aby se ...
Indexování XML dokumentů pomocí automatů: implementace a experimentální vyhodnocení
Šestáková Eliška; Renc Lukáš; Trávníček Jan
2018 - anglický
Tato práce se zabývá implementací a experimentálním vyhodnocením metod pro indexování XML dokumentů. Konkrétně se jedná o metody Tree String Path Automaton (TSPA), Tree String Path Subsequence Automaton (TSPSA) a Tree Path Automaton (TPA). Tyto metody jsou založeny na teorii konečných automatů a umožňují nalezení odpovědi pro omezenou podmnožinu XPath dotazů (obsahující pouze ${/,//}$ přechody a jejich kombinaci) v lineárním čase délky dotazu. Jednotlivé metody jsou v této práci implementovány jako Java knihovna. K předzpracování XML dokumentu je použita knihovna SAX. Hlavní část práce se venuje popisu, implementaci a podmínkám behu experimentu. V práci jsou prezentovány provedené experimenty. Tyto experimenty zkoumají, jak závisí vlastnosti indexu na velikosti (hloubce, šírce) vstupního XML souboru. Při tvorbě indexu měříme spotřebu RAM a čas. Proto XML dokumenty použity pro experimenty tvoří set s navzájem různými klíčovými parametry (např. průměrná hloubka, maximální hloubka, velikost, počet listů). V závěru práce jsou graficky prezentovány výsledky experimentů. Ve výsledné knihovně je zabudována podpora pro spuštění výše zmíněného experimentálního prostředí.This thesis deals with implementation and an experimental evaluation of some XML data indexing methods. The methods are as follows:Tree String Path Automaton (TSPA), Tree String Path Subsequence Automaton (TSPSA) and Tree Path Automaton (TPA). All of these methods are based on the theory of finite automata and answer a limited subset of XPath query (limited to ${/,//}$ transitions and their combination) in linear time to the length of the query. They are implemented as a Java library. SAX library is used to preprocess an XML document. The main part of the thesis is dedicated to a description, an implementation and conditions under which experiments are conducted. In the thesis experiments are run to clarify relations between Size/Depth/Width of an XML document and RAM consumption/Time to build an index. The chosen XML documents, which are presented in this thesis, form a set of mutually different documents in crucial aspects (average depth, maximal depth, size, number of leaves). Results of the conducted experiments are described in the end of the thesis. There is built-in support for experimental environment in the resulting Java library.
Klíčová slova:
XML,indexování dat,automat,konečný automat,XPath,index; XML,data indexing,automaton,finite state machine,XPath,index
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Indexování XML dokumentů pomocí automatů: implementace a experimentální vyhodnocení
Tato práce se zabývá implementací a experimentálním vyhodnocením metod pro indexování XML dokumentů. Konkrétně se jedná o metody Tree String Path Automaton (TSPA), Tree String Path Subsequence ...
Internet věcí pro kancelář
Šedivý Jan; Formánek Mikuláš; Borecký Jaroslav
2018 - anglický
Bakalářská práce se zabývá návrhem moderní kanceláře z hlediska ulehčení administrativy a běžnýh úkonů v kanceláři. Cílem bylo navrhnout a implementovat docházkový systém, systém aktuátorů a vhodné komunikační rozhraní. V rámci řešení bylo využito rozpoznávání obličeje, docházkový systém byl napojen na hlasový asistent s komunikačním protokolem HTTP.Bachelor thesis looks for the design of modern office from saving administrative tasks point of view. The main goal was to design and implement attendance system, set of actuators and find proper communication protocol. Attendance solution is using face recognition and the whole system has been connected with voice assistant.
Klíčová slova:
Hlasový asistent,Vestavěné systémy,Raspberry Pi,Rozpoznávání obličeje,rozpoznávání hlasu,intent,docházkový systém,biomentrické senzory,autentifikace,cloud computing,Turris Omnia; Voice Assistant,Embedded system,Raspberry Pi,Face recognition,Speech to text,intent,Attendance monitoring,Authentication,Cloud Computing,Turris Omnia
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Internet věcí pro kancelář
Bakalářská práce se zabývá návrhem moderní kanceláře z hlediska ulehčení administrativy a běžnýh úkonů v kanceláři. Cílem bylo navrhnout a implementovat docházkový systém, systém aktuátorů a vhodné ...
Útok Stack Clash
Kokeš Josef; Heřmánek Petr; Zahradnický Tomáš
2018 - anglický
Stack Clash je označení pro nedávno objevenou slabinu programové paměti na několika operačních systémech. Současné výchozí ochrany nejsou dostačující a Stack Clash tak představuje závažnou hrozbu ve formě svévolného spuštění kódu, úniku informací a elevace oprávnění. Cílem této práce je vysvětlit základy paměti procesu, včetně útoků a dostupných ochran s následnou demonstrací slabiny Stack Clash. Principy zneužití slabiny jsou vysvětleny a předvedeny v útoku na jednoduchou demonstrační aplikaci. Práci uzavírá diskuze vlastností operačních systémů, konkrétně jejich vliv na proveditelnost a zmírnění následků útoku.Stack Clash is a software memory vulnerability recently exposed on a variety of operating systems. Current default Stack Clash protections are not satisfactory and pose a serious threat, such as arbitrary code execution, information disclosure and privilege escalation. In this thesis we demonstrate the Stack Clash attack as well as explain the necessary process memory background along with possible exploitation techniques and protections. Stack Clash principles are then explained and demonstrated on a proof of concept. We then discuss the operating system features which make the attack possible and propose mitigation techniques.
Klíčová slova:
Stack Clash,paměť procesu,útoky na paměť,ochrana paměti,Linux,zásobník,halda,počítačová bezpečnost,automatické rozšíření zásobníku; Stack Clash,process memory,memory attacks,memory protection,Linux,stack,heap,computer security,automatic stack expansion
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Útok Stack Clash
Stack Clash je označení pro nedávno objevenou slabinu programové paměti na několika operačních systémech. Současné výchozí ochrany nejsou dostačující a Stack Clash tak představuje závažnou hrozbu ve ...
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