Ne (546)
Počet nalezených dokumentů:
546
Publikováno od
do
Aplikace PREM modelu na paralelní implementaci algoritmu KCF trackeru
Sojka Michal; Karafiát Vít; Báča Tomáš
2018 - anglický
V posledních letech se mnoho real-time embedded systémů vytváří za pomocí běžně komerčně dostupných (COTS) komponentů kvůli jejich ceně. Celkový výkon komponentů COTS je často mnohem vyšší než komponentů vytvořených speciálně pro real-time systémy. Komponenty COTS jsou však obvykle navrženy pro průměrný scénář a nedostatečná nebo žádná pozornost je věnována zárukám na čas v nejhorším případech vyžadovaných real-time systémy. V této práci realizujeme různé paralelní a rozšířené verze KCF trackeru jak pro CPU, tak i GPU a pokoušíme se otestovat prototyp HERCULES kompilátoru, který dovolí automaticky přeměnit části programu tak, aby odpovídaly PRedictable Execution Model (PREM), který by měl poskytovat silnější záruky na časování v nejhorším případě.In recent years many real-time embedded systems are being built using the Commercial-Off-The-Shelf (COTS) components because of their price. COTS component's overall performance is often much higher than specialized custom-made systems used in real-time systems. However, COTS components are typically designed for average case scenario, and little or no attention is put into worst-case timing guarantees required by real-time systems. In this thesis, we implement various parallel and extended versions of the KCF tracker for both CPU and GPU and try to test out the prototype HERCULES compiler, which allows converting automatically parts of the program to conform to PRedictable Execution Model (PREM), which should provide stronger worst-case timing guarantees.
Klíčová slova:
KCF tracker,PREM,HERCULES kompilátor,Real-time,Běžně komerčně dostupný (COTS); KCF tracker,PREM,HERCULES compiler,Real-time,Commercial-Off- The-Shelf (COTS)
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Aplikace PREM modelu na paralelní implementaci algoritmu KCF trackeru
V posledních letech se mnoho real-time embedded systémů vytváří za pomocí běžně komerčně dostupných (COTS) komponentů kvůli jejich ceně. Celkový výkon komponentů COTS je často mnohem vyšší než ...
DeepRCar: Autonomní model auta
Buk Zdeněk; Ungurean David; Štepanovský Michal
2018 - anglický
Tato práce se zabývá stavbou modelu autonomního vozu na dálkové ovládání a jeho kontrolou pomocí hlubokých neuronových sítí. Vozidlo je schopno zatáčet samo pouze na základě vizuálního vstupu z přední kamery. Text práce popisuje jeho kompletní vývoj od výběru hardwarových komponent, návrhu kontrolního systému, až po selekci a učení konvoluční neuronové sítě, která ovládá nastavení kol. Model se naučil rozeznat okraje jízdního pruhu, přestože měl během učení přístup pouze ke dvojicím vstupní obrázek a příslušný úhel kol pro danou situaci. Finální systém operuje při 20 snímcích za sekundu na jednodeskovém počítači Raspberry Pi 3.I present DeepRCar, a simplified self-driving radio controlled car platform that is controlled by deep neural networks. This car takes images from a front facing camera as its only input and produces steering commands as output. This thesis describes the entire process of its creation from hardware requirements, through the design of the control system, up to the selection and training of a convolutional neural network that manages its driving decisions. The network was trained in an end-to-end manner and learned to recognize useful road features, such as lane markings, when only camera images and corresponding steering angles were presented during training. The final system is capable of running at 20 frames per second on a Raspberry Pi 3.
Klíčová slova:
neuronové sítě,deep learning,konvoluce,autonomní vozidlo,Raspberry Pi,učení s učitelem,strojové vidění; neural network,deep learning,convolution,self-driving car,Rasp- berry Pi,end-to-end,supervised learning,computer vision
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
DeepRCar: Autonomní model auta
Tato práce se zabývá stavbou modelu autonomního vozu na dálkové ovládání a jeho kontrolou pomocí hlubokých neuronových sítí. Vozidlo je schopno zatáčet samo pouze na základě vizuálního vstupu z přední ...
Zacházení s datovými strukturami na haldě ve zpětné symbolické exekuci
Ratschan Stefan; Husák Robert; Tvrdík Pavel
2018 - anglický
Cílem této práce je významně rozšířit AskTheCode, dříve vytvořený doplněk nástroje Microsoft Visual Studio, který využívá zpětnou symbolickou exekuci pro verifikaci asercí v kódu C#. Jedno z největších omezení našeho doplňku byla neschopnost analyzovat objekty na haldě a operace na nich. Pro doplnění této funkcionality jsme nejdříve začali rešerší existujících postupů, ze kterých jsme vybrali tři nejzajímavější: línou inicializaci, symbolickou inicializaci a využití teorie polí. Tyto techniky jsme důkladně analyzovali s přihlédnutím na specifické požadavky našeho nástroje. Díky jejím očekáváným výkonnostním charakteristikám jsme vybrali použití teorie polí. Tuto techniku jsme transformovali, aby ji bylo možné využít ve zpětné symbolické exekuci, včetně efektivního využití zásobníků podmínek v SMT řešičích. Na řadě příkladů v jazyce C# jsme následně ukázali korektnost této implementace.This thesis enhances AskTheCode, a previously created extension of Microsoft Visual Studio which uses backward symbolic execution to verify assertions in C# code. One of the biggest AskTheCode limitations was the inability to reason about heap objects and operations. In order to implement this feature, we started by surveying existing techniques. As the most promising ones were selected lazy initialization, symbolic initialization and the utilization of the theory of arrays. After an analysis driven by the specific requirements of our tool, we decided to utilize the theory of arrays, mainly due to its expected performance benefits. We transformed the technique to be usable for backward symbolic execution, utilizing assertion stacks of SMT solvers as efficiently as possible. Our solution was proven to be correct by an evaluation on several C# examples.
Klíčová slova:
zpětná symbolická exekuce,symbolická halda,líná inicializace,symbolická inicializace,teorie polí; backward symbolic execution,symbolic heap,lazy initialization,symbolic initialization,theory of arrays
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Zacházení s datovými strukturami na haldě ve zpětné symbolické exekuci
Cílem této práce je významně rozšířit AskTheCode, dříve vytvořený doplněk nástroje Microsoft Visual Studio, který využívá zpětnou symbolickou exekuci pro verifikaci asercí v kódu C#. Jedno z ...
Vývoj nástroje pro konceptuální modelování Normalizovaných systémů
Pergl Robert; Uhnák Peter; Verelst Jan
2018 - anglický
Tato práce se zaměřuje na tvorbu modelovacího a diagramovacího nástroje v platformě OpenPonk pro potřeby Normalizovaných Systémů a meta-systému Prime Radiant. Stručně je představena teorie Normalizovaných Systémů, platformy OpenPonk a dalších nástrojů použitých při tvorbě modeláře. Pro potřebu integrace mezi systémem Prime Radiant a implementovaným modelářem jsou analyzovány soubory XML obsahující deskripce Normalizovaných Systémů. Z analýzy je následně zkonstruován vhodný metamodel. Jak proces analýzy, tak i výstupný metamodel je detailně rozebrán. Současná notace používaná pro Normalizované Systémy je obohacena, a mimo jiné čerpá z myšlenek notací jako je diagram databází, UML diagramy tříd či stavových strojů. Jsou probrány různé možnosti, návrhy a přístupy k diagramové tvorbě modelů Normalizovaných Systémů. Dále je představena série validačních pravidel pro modely Normalizovaných Systémů. Téma samotného popisu takových pravidel je probrána, stejně jako i aktuální způsob implementace. Neboť tato práce popisuje softwarový projekt, je modelář zanalyzován a zhodnocen z hlediska testování a testovatelnosti, stejně jako i dlouhodobé údřzby. Na závěr jsou shrunty přínosy této a práce a je navřžena série kroků vhodných k budoucímu prozkoumání.This thesis explores the topic of providing modeling and diagramming support for Normalized Systems constructed in the Prime Radiant tool using the OpenPonk modeling platform. The current state of the art of defining NS systems is summarized. The Normalized Systems theory, Prime Radiant, OpenPonk, and other framework used in the making of the modeler are introduced. The thesis then continues by analyzing the artifacts produced by the Prime Radiant that hold the definitions of NS systems. These artifacts are reverse engineered and a metamodel is constructed; both the process, and the result is discussed. Inspired by existing notations, such as Entity-Relationship diagrams, UML class diagrams, State Machine diagrams, and Flow diagrams, the existing NS diagramming notation is extended. It discusses various aspects not just of the notation itself, but also of the process of diagramming as a natural way to create the models. Several possibilities of forthcoming exploration are introduced. Modeling rules and validations are introduced and explored as a way to guide a user through possible pitfalls, and to raise the quality of the defined models. The implemented rules, the current state, and an approach relevent from mid- and long-term perspective is explored and discussed at length. As the main artifact of this thesis is a software project, testing, error tracking, and operations utilized in construction of the modeler are described. Finally, the achievements of this project are evaluated, and the path forward summarized.
Klíčová slova:
Normalizované Systémy,Prime Radiant,OpenPonk,modelování,diagramování,vizualizace,Pharo,Smalltalk; Normalized Systems,Prime Radiant,OpenPonk,modeling,diagramming,visualizations,Pharo,Smalltalk
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Vývoj nástroje pro konceptuální modelování Normalizovaných systémů
Tato práce se zaměřuje na tvorbu modelovacího a diagramovacího nástroje v platformě OpenPonk pro potřeby Normalizovaných Systémů a meta-systému Prime Radiant. Stručně je představena teorie ...
Inteligentní tlačítko s LoRa komunikací
Šmíd Radislav; Květoňová Šárka; Smutka Jiří
2018 - anglický
Práce se zabývá designem a realizací chytrého tlačítka s e-ink displayem, přídavnými binárními vstupy a komunikačním rozhraním LoRa. Základní hardware se skládá z vývojového kitu Nucleo-L073RZ s 32-bitovým mikrokontrolérem STM32L0 s ultra nízkým výkonem a rozširující deskou I-NUCLEO-SX1272D RF podporující přenos. Zařízení je vybaveno dvěma tlačítky a e-ink diplayem připojeným skrze SPI. Komunikace probíhá pomocí platformy Thingsnetwork společně s programovacím nástrojem Node-RED. Jako jednoduché demo byla použita tiskárna se dvěma zabudovanými senzory sledujícími přítomnost papíru a toneru.This work deals with design and realization of smart button with an e-ink display, additional binary inputs, and LoRa communication interface. The core hardware consists from NUCLEO-L073RZ development kit with an ultra-low-power 32-bit STM32L0 microcontroller and I-NUCLEO-SX1272D RF expansion board. The device is equipped with two push-buttons, e-ink display connected via SPI. The communication is realized using the Thingsnetwork platform together with Node-RED programming tool. As a simple demo application was used a printer with two built-in sensors monitoring the presence of paper and toner.
Klíčová slova:
chytré tlačítko,LoRa,Nucleo-L073RZ,SX1272,e-ink display; smart button,LoRa,Nucleo-L073RZ,SX1272,e-ink display
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Inteligentní tlačítko s LoRa komunikací
Práce se zabývá designem a realizací chytrého tlačítka s e-ink displayem, přídavnými binárními vstupy a komunikačním rozhraním LoRa. Základní hardware se skládá z vývojového kitu Nucleo-L073RZ s ...
Framework pro mobilní aplikace využívající Linked Data a registr RÚIAN
Klímek Jakub; Melka Martin; Dojčinovski Milan
2018 - anglický
Tato diplomová práce se zabývá návrhem a tvorbou frameworku, jenž umožní efektivní vizualizaci a vyhledávání v datech, která jsou propojena s existující sadou lokačních dat za využití principů propojených dat (Linked Data). Pro ověření a demonstraci funkcionality frameworku bude použit český Registr územní identifikace, adres a nemovitostí (RÚIAN). Navrhovaný framework definuje flexibilní způsob propojování entit bez lokačních údajů s městy, domy a jinými objekty z RÚIAN nebo jakéhokoliv jiného vyhovujícího zdroje propojených dat. Práce nejprve definuje RDF slovník, kterým lze popsat metainformace o propojovaných datech. Následně je vytvořena knihovna pro zpracování definic strukturovaných podle tohoto slovníku. Dále je navržen a implementován indexovací server, který zefektivní vyhledávání propojených objektů na základě jejich lokace. Nakonec je vytvořena klientská Android aplikace, využívající tento framework k zobrazování propojených dat na mapě.The aim of this thesis is to design and implement a framework which will allow for effective search and visualization of data linked to an existing geospatial dataset using the Linked Data principles. The functionality of the framework will be validated and demonstrated using geospatial data provided by the Czech registry of territorial identification, addresses and real estate (RÚIAN). The data is publicly accessible and large enough to assess the performance of the framework. The proposed framework defines a flexible mechanism of linking entities with no spatial information to cities, houses and other objects located in RÚIAN or any other Linked Data source. Firstly, an RDF vocabulary used to provide metadata about the data to be linked is defined in the thesis. Then, a parsing library is created that converts data structured according to the vocabulary into Java objects. After that, an indexing server is designed and implemented to speed up spatial queries. Finally, an Android client application leveraging this framework is created.
Klíčová slova:
Propojená data,RÚIAN,Framework,RDF,Android,mapa; Linked Data,RÚIAN,Framework,RDF,Android,map
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Framework pro mobilní aplikace využívající Linked Data a registr RÚIAN
Tato diplomová práce se zabývá návrhem a tvorbou frameworku, jenž umožní efektivní vizualizaci a vyhledávání v datech, která jsou propojena s existující sadou lokačních dat za využití principů ...
Optimalizace zpracování dat z diagnostiky Thomsonova rozptylu na tokamaku COMPASS
Böhm Petr; Šos Miroslav; Jeřáb Martin
2018 - anglický
Diagnostika Thomsonova rozptylu (TS) je jednou z klíčových diagnostik na současných i plánovaných tokamacích do budoucna. Vysoké nároky a složitost diagnostiky vynahrazuje neocenitelná schopnost měřit profil elektronové teploty a hustoty, aniž by docházelo k narušení plazmatu. V první části práce jsou shrnuty teoretické poznatky z teorie TS. Následně je představena realizace diagnostiky na tokamaku COMPASS. Druhá část je věnována procesu zpracování dat a inovativním příspěvkům ke kalibracím diagnostiky. Implementace dílčích segmentů detailně analyzovaného algoritmu zpracování dat, zahrnující komplexní proces souboru kalibrací, fitování hrubých dat z rychlých datových sběrů a vlastní výpočet elektronové teploty a hustoty, je zde popsána. Ověření získaných dílčích i finálních výsledků nově implementovaného systému je provedeno porovnáním s výsledky současného zpracování dat. V rámci závěrečné části zabývající se optimalizací prostorové kalibrace diagnostiky metodou ?split-fibre? byla zjištěna korelace mezi pohybem obrazu laserového pulsu po svazku sběrných optických vláken a vibracemi sběrné optické soustavy.The Thomson scattering (TS) diagnostic is one of the key diagnostics used on both recent and planned for the future tokamaks. Its complexity and high demanding character are balanced by its invaluable ability to measure electron temperature and density profiles without perturbing the plasma. In the first part the theoretical background of TS is covered and the realization is demonstrated on the TS diagnostic on the COMPASS tokamak. Second part is devoted to the data processing system and innovative contributions to the diagnostic?s calibration. The implementation of individual segments of the deeply analysed data processing algorithm, including complex calibration process, fitting of the raw data from the fast data acquisition and the very calculation of electron temperature and density, is described. The system performance is validated comparing both partial and final results with the current processing unit. Within the last section, concerning optimization of the spatial calibration method called ?split-fibre?, the correlation between the movement of laser beam image on the collection fibre bundle and vibrations of the collection optics was found.
Klíčová slova:
Termojaderná fúze,tokamak COMPASS,diagnostika Thomsonova rozptylu,zpracování dat,Python; Thermonuclear fusion,tokamak COMPASS,Thomson scattering diagnostics,data processing,Python
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Optimalizace zpracování dat z diagnostiky Thomsonova rozptylu na tokamaku COMPASS
Diagnostika Thomsonova rozptylu (TS) je jednou z klíčových diagnostik na současných i plánovaných tokamacích do budoucna. Vysoké nároky a složitost diagnostiky vynahrazuje neocenitelná schopnost měřit ...
Simulátor LIN Slave
Novák Jiří; Pereverzeva Aleksandra; Vajtr Jiří
2018 - anglický
Tato bakalářská práce popisuje návrh a proces realizace hardwarového modulu, který se bude používat převážně v automobilovém průmyslu. Hlavní funkcí modulu je simulace několika LIN slavů na základě přijatých požadavků od sběrnice CAN. Dále je popsán postup implementace softwaru. Modul se skládá z procesoru, rozhraní LIN, CAN a SWD. Cílem této práce je implementace funkčního modulu, který by byl schopný odesílat data na sběrnici LIN a pak tato data měnit podle požadavku ze sběrnice CAN. První část této práce se zabývá teoretickými znalostmi, které jsou potřeba vědět při implementaci modulu a pro pochopení jeho fungování, jako například použité technologie. Druhá část se soustředí na popis samotného modulu, použitých součástek, zapojení obvodů, vrstev desky plošných spojů a vysvětlení částí kódu a algoritmů. Výsledkem práce je návrh, samotný modul a programové vybavení pro jeho konfiguraci.This bachelor's thesis describes the process of designing and realization of a hardware module, which will be used mostly in automotive industry. The function of the module is a simulation of several LIN slaves depending on orders and information received through CAN bus. Then the process of implementation of software follows. The module consists of a processor, LIN, CAN and SWD interfaces. The goal of this thesis is an implementation of a working module, which will be able to send data to LIN bus and then change this data on request from CAN bus. The first part of the document focuses on the theoretical knowledge needed to implement and understand the module, such as used technologies. The second part deals with the description of the module itself, used components, the connection of the circuits, PCB layers, the explanation of the code parts and its algorithm. The outcome of the work is the design, the module and the program for configuration of the module.
Klíčová slova:
Local Interconnect Network,Controller Area Network,modul,deska plošných spojů; CAN,module,PCB,Local Interconnect Network
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Simulátor LIN Slave
Tato bakalářská práce popisuje návrh a proces realizace hardwarového modulu, který se bude používat převážně v automobilovém průmyslu. Hlavní funkcí modulu je simulace několika LIN slavů na základě ...
3D simulátor pro trénování autonomních robotů
Buk Zdeněk; Laube Daniel; Štepanovský Michal
2018 - anglický
Tato práce se zabývá návrhem a implementací prostředí vhodného pro učení neuronové sítě k ovládání robotů podobných autům. Neuronová síť se k prostředí může připojit pomocí protokolu TCP a tím pádem nelimituje implementaci neuronové sítě. Druhou částí této práce je skript, který učí neuronovou síť zaparkovat auto na parkovací místo. Parkování probíhá na základě obrazu z kamery na autě. Tato část má sloužit jako důkaz použitelnosti implementovaného prostředí k učení neuronové sítě, jak ovládat autu podobného robota. Finální neuronová síť je rozdělena na dvě části, kde první část lokalizuje parkovací místo na obrazu z kamery. Výstup této sítě je pak zpracován plně rekurentní neuronovou sítí sloužící jako kontroler dávající povely autu. Prostředí je implementováno v herním enginu Unity 3D a skript v Wolfram Mathematica.This work focuses on the design and implementation of an environment suitable for training a neural neural network how to control a robot similar to a car. A neural network can be connected to the environment via TCP protocol and, thus, does not limit the implementation of neural network. The second part of this work is a script that teaches the neural network how to park a car using data from the car's cameras. This part serves as a evidence of the usability of the created environment for the purpose of teaching the neural network how to control a car-like robot. The final neural network consists of two parts, where the convolutional network localizes the parking spot from an image from a camera and output coordinates are fed to the recurrent neural network giving commands to the car. The environment is implemented in the game engine Unity 3D and script in Wolfram Mathematica.
Klíčová slova:
Autonomní auto,neuronová síť,konvoluce,rekurentní neuronová síť,Unity 3D,Wolfram Mathematica,TCP; Autonomous car,neural network,convolution,recurrent neural network,Unity 3D,Wolfram Mathematica,TCP
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
3D simulátor pro trénování autonomních robotů
Tato práce se zabývá návrhem a implementací prostředí vhodného pro učení neuronové sítě k ovládání robotů podobných autům. Neuronová síť se k prostředí může připojit pomocí protokolu TCP a tím pádem ...
Analýza procesů degradace organických extrakčních činidel metodami kvantově mechanických simulací
Kalvoda Ladislav; Koubský Tomáš; Toman Petr
2018 - anglický
V rámci této disertační práce byly provedeny počítačové simulace na bázi metody funkcionálu hustoty za účelem teoretické analýzy chemické stability vybraných organických extraktantů typu DGA a BTBP. S použitím programů Gaussian a DMol3 byly vyhodnoceny deskriptory stability založené na elektronové a orbitalové struktuře. Konkrétně byla studována zejména stabilita vůči nepřímé radiolýze. Sada vypočítaných fyzikálně chemických vlastností vztahujících se ke stabilitě zahrnuje strukturu hraničních orbitalů, Fukuiho funkce, elektrostatické vlastnosti, nebo řády vazeb. Dále jsou prezentovány energetické profiIn this dissertation, computer simulations based on density functional theory (DFT) were performed in order to theoretically analyze the molecular stability of chosen DGA-type and BTBP-type organic extractants. Gaussian and DMol3 computational codes were used to evaluate the stability descriptors based on the electronic and orbital structure. In particular, the stability against indirect radiolysis was predominantly studied. The set of calculated physico-chemical properties related to stability includes structure of frontier orbitals, Fukui functions, electrostatic properties, and bond orders. In addition, energy profiles and reaction energy barriers of degradation reaction pathways are presented. These results will support the further development of the organic extractants, and of the whole sustainable nuclear fuel cycle.
Klíčová slova:
Organické extraktanty,chemická stabilita,ab initio simulační metody,jaderný palivový cyklus,přepracování,metoda funkcionálu hustoty,elektronová struktura; Organic extractants,chemical stability,ab initio molecular simulation,nuclear fuel cycle,reprocessing,density functional theory,electronic structure
Plné texty jsou dostupné na jednotlivých katedrách ČVUT.
Analýza procesů degradace organických extrakčních činidel metodami kvantově mechanických simulací
V rámci této disertační práce byly provedeny počítačové simulace na bázi metody funkcionálu hustoty za účelem teoretické analýzy chemické stability vybraných organických extraktantů typu DGA a BTBP. S ...
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