No (1585)
Used filters
(4)
Number of found documents:
1585
Published from
to
Sledování stavu vozidla prostřednictvím mobilní aplikace
Štěpánek Filip; Zimmerhakl Tomáš; Novotný Martin
2018 - Czech
Tato diplomová práce se zabývá vytvořením mobilní aplikace, která je schopná komunikovat s osobním automobilem přes port OBD-II. Na základě analýzy výhod a nevýhod již existujících aplikací je vypracován návrh vlastní aplikace pro mobilní operační systém Android. Podle návrhu je vytvořena aplikace, která má dva režimy. V základním režimu uživatel sleduje aktuální data z vozidla (např. rychlost, teplota chladící kapaliny, tlak v sacím potrubí), která jsou periodicky obnovována. V pokročilém režimu uživatel odesílá do vozidla libovolné příkazy a čte reakce na ně. Ke zprostředkování komunikace je použit adaptér založený na mikrokontroléru ELM327. S vozidlem komunikuje prostřednictvím diagnostického portu OBD-II a s mobilním telefonem pomocí bezdrátového standardu bluetooth. Součástí práce je výzkum, který se zaobírá možnostmi ovládání nekritických součástí vozidla z mobilní aplikace.This thesis deals with the development of mobile application capable of communicating with personal vehicle via the OBD-II interface. The design of this application is elaborated based on the analysis of advantages and disadvantages of existing applications. The application supports two modes of operation. In the first (basic) mode the current data on the operation of the vehicle (e.g., speed, coolant temperature, intake manifold pressure, etc.) can be monitored. In the second (advanced) mode commands can be sent to vehicle via terminal. Bluetooth OBD-II adapter based on microchip ELM327 serves as the communication interface between the mobile application and the vehicle. Also, there is included research on the possibilities of controlling non-critical parts of vehicle via mobile application.
Keywords:
čtení stavu vozidla,rozhraní pro ovládání vozidla,komunikace jednotek ve vozidle,CAN sběrnice,OBD,UDS,ISO-TP,ELM327,Android aplikace; reading state of the vehicle,car control interface,ECU communication in vehicle,CAN bus,OBD,UDS,ISO-TP,ELM327,Android application
Available at various departments of the ČVUT.
Sledování stavu vozidla prostřednictvím mobilní aplikace
Tato diplomová práce se zabývá vytvořením mobilní aplikace, která je schopná komunikovat s osobním automobilem přes port OBD-II. Na základě analýzy výhod a nevýhod již existujících aplikací je ...
Podpora automatické správy virtualizačního kontejneru Solaris Zones na platformě Solaris
Šoch Michal; Šimáček Tomáš; Trdlička Jan
2018 - Czech
Tato diplomová práce se zabývá problematikou automatické správy virtualizačního kontejneru Solaris Zones na platformě Solaris. Její součástí je podrobný popis tohoto virtualizačního kontejneru a také porovnání běžně využívaných virtualizačních technik. Praktická část této práce je zaměřena na návrh a implementaci nástroje, který podporuje automatickou správu Solaris Zones. Nástroj klade důraz na možnost automatického vytváření zón pomocí šablon, které umožňují předem definovat jejich vlastnosti. Součástí implementace jsou také automatizované procesy zálohy, obnovy nebo migrace zón, které je možné provádět na lokálních i vzdálených serverech.This thesis deals with issues of automatic administrating Solaris Zones virtualization technology on Solaris platform. It provides detailed description of this virtualization technology and compares commonly used techniques of virtualization. The practical part of this thesis is focused on designing and implementation of administrating tool that will serve for automatic management of Solaris Zones. Implementation is focused on automatic installation of zones using templates which allow to define their properties. Routines for automatic backup, recovery and migration of zones are also part of the implementation and can be used on local or remote servers.
Keywords:
Solaris,Solaris Zones,virtualizace,automatická správa,šablony zón,vzdálená správa,administrace; Solaris,Solaris Zones,virtualization,automatic management,zone templates,remote management,administration
Available at various departments of the ČVUT.
Podpora automatické správy virtualizačního kontejneru Solaris Zones na platformě Solaris
Tato diplomová práce se zabývá problematikou automatické správy virtualizačního kontejneru Solaris Zones na platformě Solaris. Její součástí je podrobný popis tohoto virtualizačního kontejneru a také ...
Univerzální agregační modul pro systém NEMEA
Čejka Tomáš; Slabihoudek Michal; Bartoš Václav
2018 - Czech
Tato práce se zabývá návrhem a implementací univerzálního agregačního modulu do existujícího síťového detekčního systému NEMEA. Text práce obsahuje popis systému NEMEA včetně datových formátů využívaných pro komunikační účely. Implementační část práce ukazuje důležité rysy vzniklého agregačního modulu. Výsledky testování potvrzují splnění požadavků a schopnost modulu zpracovat data z vysokorychlostních sítí.The main part of this thesis is about design and implementation of an aggregation module for the existing network detection system NEMEA. The thesis also describes system environment of the module (i.e., related tools and systems) with existing data format used for representation of flow data. The implementation part of the thesis shows important features of the aggregation module. The functionality and performance of the developed module were evaluated and the test results confirm requirements fulfilment and the ability to process data from high-speed networks.
Keywords:
NEMEA,agregace,UniRec,síťové útoky,síťová bezpečnost,analýza síťového provozu,CESNET,LibTrap,modularita,C,C++; NEMEA,aggregation,UniRec,netflow,network security,network traffic analysis,CESNET,LibTrap,modularity,C,C++
Available at various departments of the ČVUT.
Univerzální agregační modul pro systém NEMEA
Tato práce se zabývá návrhem a implementací univerzálního agregačního modulu do existujícího síťového detekčního systému NEMEA. Text práce obsahuje popis systému NEMEA včetně datových formátů ...
Identifikace emočních stavů člověka na základě posloupnosti snímků jeho obličeje
Jiřina Marcel; Endršt Martin; Klán Petr
2018 - Czech
Důležitou součástí komunikace mezi lidmi je i exprese emoce. Pochopení emocionálního rozpoložení jedince pomáhá porozumět řečnickým formám jako je ironie, pochopit vážnost popisované situace a vnímat další informace, které často nejsou obsahem verbální komunikace. Vzhledem k rostoucí popularitě integrovaných rozhraní mezi člověkem a strojem má automatizované rozpoznání emoce potenciál zlepšit způsob jakým se stroji interagujeme. Díky přítomnosti kamerových senzorů téměř ve všech zařízeních je rozpoznání emoce na základě výrazu obličeje nejpřijatelnější formou vhodnou k masovému využití. V rámci této práce bylo navrženo a implementováno několik modelů rozpoznávajících emoci na základě sekvence obrázků obličeje v čelním pohledu. Jelikož je emoce dynamický psychický stav, byly prozkoumány a porovnány tři druhy časového kontextu. Pro zajištění využitelnosti vytvořených modelů s obrazovými toky v reálném čase byl vytvořen framework zapouzdřující funkcionalitu klasifikátoru. Zapouzdřenému celku jsou snímky předávány po jednom. Klasifikátory založené na metodách hlubokého učení i klasifikátory bežného typu byly využity v implementaci. Nejúspěšnější implementovaný model dosáhl přesnosti 95.1% na datové sadě CK+.Emotion expression is an important aspect of human to human communication. Recognizing the emotional state of a person can help us better understand complex rethorical devices such as irony, understand the gravity of described situation and infer other information that is often not expressed as part of the verbal communication channel. With the growing popularity of integrated human-machine interfaces automatic emotion detection has a great potential to improve the way we interact with machines. Since camera sensors are being integrated into almost all devices, emotion recognition based on facial expression is one of the viable methods for widespread use. Several models performing emotion recognition based on sequence of frontal facial images were proposed and implemented in this thesis. Because emotion is a dynamic psychical state, three different types of temporal context information for recognition were examined and compared. To ensure usability with real-time streams a wrapper framework consuming one frame at the time is proposed. Both deep-learning based and conventional types of classifiers were implemented. The best performing model achieved accuracy of 95.1% on the CK+ dataset.
Keywords:
klasifikace video sekvence,rozpoznání emoce,rozpoznání výrazu obličeje,transfer learning,konvoluční rekurentní neuronová síť,support vector machine; video classification,emotion recognition,facial expression recognition,transfer learning,convoluitonal recurrent neural net,support vector machine
Available at various departments of the ČVUT.
Identifikace emočních stavů člověka na základě posloupnosti snímků jeho obličeje
Důležitou součástí komunikace mezi lidmi je i exprese emoce. Pochopení emocionálního rozpoložení jedince pomáhá porozumět řečnickým formám jako je ironie, pochopit vážnost popisované situace a vnímat ...
SAT s diferenciálními rovnicemi
Ratschan Stefan; Kolárik Tomáš; Surynek Pavel
2018 - Czech
Na mnoho dnešnich systémů, např. vestavných, jsou kladeny vysoké nároky na splněni specifikaci, které často závisi na jevech z fyzikálniho okoli. Pro rozsáhlé systémy se osvědčuje použiti formálni verifikace jako nástroje pro garanci splněni specifikaci. Formálni verifikace exaktně ověřuje matematický model systému; jednim z použivaných postupů je např. SAT. Problém nastává, když potřebujeme v mo-delu použit také diferenciálni rovnice (ODE), které jsou pro popis fyzikálnich jevů zcela přirozené. Práce se zabývá ověřenim konceptu, který kombinuje SAT i ODE a lze použit např. pro formálni verifikaci modelů vestavných systémů. Takové řešiče již existuji (např. dReal), ale jsou v praxi těžko použitelné, jelikož při řešeni ODE vice dbaji na přesnost, ale jsou pomalé. Cilem bylo pro ODE použit klasických numerických metod, které mohou být méně přesné, ale jsou rychlejši. Součásti práce je prototyp nástroje nazvaný SOS (SMT+ODE Solver), který kombinuje SMT (rozšiřeni problému SAT) s diferenciálnimi rovnicemi. SMT a ODE řešiče jsou oba nezávislé od ostatnich komponent. Použit byl řešič odeint, a z SMT řešičů to byly CVC4 a z3. Hlavnimi výstupy jsou zjištěni, že použiti klasických numerických metod urychluje celkový výpočet, a dále, že výpočet úloh s přesnými počátečnimi podminkami (IVP) je mnohem rychlejši, než úloh s intervaly (IIVP). Intervaly lze přitom efektivně aproximovat výčty hodnot v logickém součtu. Tato zjištěni potvrzuji náš zvolený koncept, a byla ověřena v některých přikladech, kdy byl náš postup rychlejši, než u stávajiciho řešiče dReal. Tim bylo dosaženo cile v praxi použitelnějšiho přistupu k formálni verifikaci systémů s diferenciálnimi rovnicemi. Práce by měla sloužit jako zdroj inspirace pro vývojáře průmyslových nástrojů, anebo by také mohla být nadále vyvijena a zefektivňována v rámci stávajiciho projektu s otevřenými zdrojovými kódy.Many nowadays systems, namely embedded, are insisted to satisfy high specification requirements, which often depend on physical features of real world. Formal verification showed to be convenient method to guarantee specifications fulfillment in complex systems. Formal verification checks mathematical model of a system exactly; one of used approaches is e.g. SAT. Problem arises when one needs to use another means of modelling--differential equations (ODEs), which describe physical features natively. Goal of this paper is to prove a concept which combines SAT with ODEs and can be used e.g. to formally verify models of embedded systems. Such solvers already exist (e.g. dReal), but their usage in industry is limited due to their preference of accuracy over speed in ODEs. The objective was to apply classic numerical methods for solving ODEs, which are less accurate, but faster. This work includes prototype implementation named SOS (SMT+ODE Solver), which combines SMT (extension of SAT) with ODEs. SMT and ODE solvers are both independent of rest components. Used solvers are odeint and from SMT solvers CVC4 and z3. The major observations are that using classic numerical methods fastens overall computation, and that computation time of tasks with precise initial values (IVP) is much smaller than at tasks with intervals (IIVP). And intervals can be effectively approximated by value enumerations in logical sum. These observations approve our chosen concept and were verified in some examples, where our procedure was faster than in current solver dReal. Thus the goal of a more appropriate method for industry needs, in the field of formal verification with ODEs, has been reached. This work is assumed to serve as a source of inspiration to industry tools' designers. Or, it can be developing and improving henceforth inside the current open-source project.
Keywords:
SAT,SMT,SMT-LIB,numerické metody řešeni ODE,formálniverifikace,vestavné systémy,analýza modelů hybridnich systémů; SAT,SMT,SMT-LIB,numerical methods for ODEs,formalverification,embedded systems,hybrid systems model analysis
Available at various departments of the ČVUT.
SAT s diferenciálními rovnicemi
Na mnoho dnešnich systémů, např. vestavných, jsou kladeny vysoké nároky na splněni specifikaci, které často závisi na jevech z fyzikálniho okoli. Pro rozsáhlé systémy se osvědčuje použiti formálni ...
ROZVOJ NEZASTAVĚNÉHO ÚZEMÍ V KRČI
Kordovský Petr; Česal David; Šabart Jan
2018 - Czech
Nový urbanistický koncept lokality kolem Thomayerovy nemocnice v Praze 4 Krči. Práce obsahuje detailnější zpracování vybrané administrativní budovy a bytovému domu v této lokalitě a pracuje s předpokladem realizace zastávky Nemocnice Krč na plánované trase metra D.The concept of the new urban development around Thomayer's hospital in Prague 4 - Krč. The thesis includes detailed analyses of selected administrative building and apartment building in the area and is based on the assumption of realization of the metro station Hospital Krč on the new metro line D.
Keywords:
urbanismus,soubour staveb,administrativní budova,bytový dům,Krč,nová stanice metra Nemocnice Krč; urban development,administrative building,apartment building,Krč,new metro station Hospital Krč
Available at various departments of the ČVUT.
ROZVOJ NEZASTAVĚNÉHO ÚZEMÍ V KRČI
Nový urbanistický koncept lokality kolem Thomayerovy nemocnice v Praze 4 Krči. Práce obsahuje detailnější zpracování vybrané administrativní budovy a bytovému domu v této lokalitě a pracuje s ...
Lokalizace senzorů v síti LoRaWAN
Smotlacha Vladimír; Pospíšilík Jiří; Moucha Alexandru
2018 - Czech
Tato diplomová práce se zabývá lokalizací senzorů v IoT síti LoRaWAN asoučasně popisuje a připravuje potřebnou infrastrukturu. Řešení si klade zacíl energeticky nenáročný způsob určení pozice, který by nesnižoval životnostinstalovaných senzorů. To je důvodem pro využití pasivní lokalizace, jenž využívá pouze informace získané z běžného provozu senzoru - konkrétně rozdílnédoby šíření signálu k jednotlivým LoRaWAN branám. Navržené a implementované řešení je porovnáno s ostatními metodami lokalizace. Pro měření je využitsenzor vybaven externím zdrojem určení pozice, který slouží jako referenčníhodnota polohy. Experimentální ověření funkčnosti proběhlo na infrastruktuře sdružení CESNET v Praze. Prezentované řešení nedosahuje přesnostitechnologií jako je GPS, nicméně v některých případech nabízí zajímavou aenergeticky přívětivější alternativu.This master's thesis deals with sensor localization in IoT based network calledLoRaWAN and presents (prepares) necessary infrastucture. Final solutionaims to be power efficient in a way that would not degrade sensor lifetime. Thatis reason for using passive localization which utilizes information gathered fromregular sensor operation - specifically using time difference of arrival. Solution,which is proposed and implemented, is compared to other localization techniques. Measurements are made by test sensor equipped with external sourceof position, i. e. GNSS module, which functions as a reference location. Properfunction was verified by field test conducted in Prague, utilizing LoRaWANgateways run by CESNET assocation of legal entities. Presented solution doesnot achieve accuracy of technologies like GPS, however, it can offer an interesting and power friendly alternative, in some use cases.
Keywords:
IoT,LoRaWAN,LoRa,lokalizace senzorů,TDoA,multilaterace,hyperbolické výpočty,pasivní lokalizace; IoT,LoRaWAN,LoRa,sensor localization,TDoA,multilateration,hyperbolic calculations,passive localization
Available at various departments of the ČVUT.
Lokalizace senzorů v síti LoRaWAN
Tato diplomová práce se zabývá lokalizací senzorů v IoT síti LoRaWAN asoučasně popisuje a připravuje potřebnou infrastrukturu. Řešení si klade zacíl energeticky nenáročný způsob určení pozice, který ...
Komunikace skrze Captive portal
Padrta Aleš; Černáč Martin; Moucha Alexandru
2018 - Czech
Captive portál je software, zpravidla nasazován na veřejně dostupných sítích, který typicky omezuje či limituje přístup do sítě Internet. Tato diplomová práce se věnuje problematice obcházení takových limitací pomocí síťových tunelů. V rámci práce jsou vybrané tunelovací techniky implementovány a srovnány s dostupnými řešeními.Captive portal is a piece of software, usually deployed on publicly available networks. The goal of such software is to control or limit access to the Internet. The goal of this thesis is to overcome these limitations by using network tunnels. The main focus of this thesis is to analyze, implement, test and compare selected methods of creating network tunnels.
Keywords:
Captive portál,síťový tunel,firewall,exfiltrace dat; Captive portal,network tunnel,firewall,data exfiltration
Available at various departments of the ČVUT.
Komunikace skrze Captive portal
Captive portál je software, zpravidla nasazován na veřejně dostupných sítích, který typicky omezuje či limituje přístup do sítě Internet. Tato diplomová práce se věnuje problematice obcházení takových ...
Letecké záznamy pro iOS pomocí moderních architektur a FRP
Veselý Dominik; Žid Martin; Žikovský Pavel
2018 - Czech
Tato práce realizuje iOS aplikaci pro evidenci letů. V první části jsou popsány různé možnosti architektur a uložení dat při tvorbě iOS aplikací společně s charakteristikou funkcionálně reaktivního programování. V další části jsou analyzovány obdobné aplikace a předpisy pro piloty České republiky, podle nichž probíhá návrh funkcionality vytvářené aplikace. Podle návrhu je následně zvolena vhodná architektura a frameworky a je navrženo uživatelské rozhraní v podobě wireframů, které slouží jako podklad pro samotnou implementaci aplikace. Aplikace je implementována s použitím zvolené architektury a pomocí principů FRP. V průběhu implementace aplikace jsou realizovány jednotkové testy a na konci jsou provedeny uživatelské testy. Na základě výsledků testů je aplikace upravena do finální podoby. V poslední části práce popisuji výhody a nevýhody, které přinesly postupy FRP. Také hodnotím časovou a implementační náročnost oproti standardním postupům a architektuře MVC. V práci jsem vytvořil funkční iOS aplikaci s využitím moderní architektury a principů FRP. Aplikace bude sloužit pilotům České republiky pro elektronickou evidenci letů a bude jim také ulehčovat administrativu s evidencí spojenou. V příloze této diplomové práce je možné nalézt všechny zdrojové kódy jak aplikace, tak i testů společně s dokumentací, vytvořenými wireframy a záznamy z uživatelského testování.This thesis implements an iOS application for flights recording. In the first part, software architectures and data persistence solutions in the iOS development are analyzed along with the characterization of the functional reactive programming. After that, I conduct the analysis of similar applications and regulations for pilots of the Czech Republic. According to which I design functionalities, choose the appropriate architecture and frameworks, and create the user interface in the form of wireframes. These wireframes provide the basis for an implementation. The application is implemented with the chosen architecture and the FRP. During the implementation, unit tests are created and at the end, user tests are performed. These tests help to adjust the application to its final version. In the last part, I describe advantages and disadvantages caused by FRP procedures. I also evaluate time and implementation difficulties compared to standard procedures and to the classical MVC architecture. In the thesis, I create the functional iOS application using the modern architecture and FRP. This application will help its users to record and manage their flights. In the appendix of the thesis, all source files for both application and tests can be found along with documentation, wireframes and user tests recordings.
Keywords:
mobilní aplikace pro evidenci letů,iOS,Swift,FRP,ReactiveCocoa,MVVM architektura; flight records mobile application,iOS,Swift,FRP,ReactiveCocoa,MVVM architecture
Available at various departments of the ČVUT.
Letecké záznamy pro iOS pomocí moderních architektur a FRP
Tato práce realizuje iOS aplikaci pro evidenci letů. V první části jsou popsány různé možnosti architektur a uložení dat při tvorbě iOS aplikací společně s charakteristikou funkcionálně reaktivního ...
Mobilní aplikace Důchody
Gattermayer Josef; Sekereš Adam; Hunka Jiří
2018 - Czech
Diplomová práca sa zaoberá tvorbou mobilnej aplikácie pre zariadenia s operačným systémom iOS a serverovej časti aplikácie. Práca sa postupne zaoberá analýzou, návrhom, vývojom a testovaním mobilnej aplikácie a serverovej časti. Cieľom výslednej aplikácie je uľahčiť užívateľom získavanie informácií o dôchodkovom systéme v Českej republike. Aplikácia čerpá dáta zo zdrojov otvorených dát o dôchodkovom systéme. Serverová časť je realizovaná v programovacom jazyku Node.js. Mobilná aplikácia je realizovaná v programovacom jazyku Swift.This diploma thesis deals with the creation of a mobile application for devices with iOS operating system and the server part of the application. The work is gradually analyzing, designing, developing and testing the mobile application and the server part. The goal of the resulting application is to make it easier for users to share information about the pension system in the Czech Republic. The application draws data from open data sources on the pension system. The server part is implemented in the programming language Node.js. The mobile application is implemented in the Swift programming language.
Keywords:
mobilná aplikácia,serverová aplikácia,dôchodkový systém,Node.js,Swift,iOS; mobile application,server application,pension system,Node.js,Swift,iOS
Available at various departments of the ČVUT.
Mobilní aplikace Důchody
Diplomová práca sa zaoberá tvorbou mobilnej aplikácie pre zariadenia s operačným systémom iOS a serverovej časti aplikácie. Práca sa postupne zaoberá analýzou, návrhom, vývojom a testovaním mobilnej ...
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