| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Iskanje po katalogu digitalne knjižnice Pomoč

Iskalni niz: išči po
išči po
išči po
išči po
* po starem in bolonjskem študiju

Opcije:
  Ponastavi


1 - 10 / 164
Na začetekNa prejšnjo stran12345678910Na naslednjo stranNa konec
1.
Deep Learning on Low Power Embedded Devices Using RISC-V Cores with an Extended Instruction Set
Jure Vreča, 2020, magistrsko delo

Opis: This thesis explores the possibility of running neural networks on microcontrollers and how to optimize their performance using instruction set extensions. Microcontrollers are seen as too weak to run neural networks. We challenge this view and show that stripped-down neural networks can run and be useful for some applications. We used an open-source microcontroller called PULPino to run our neural network. The benefit of various instructions and optimizations for minimizing energy consumption to run deep learning algorithms was evaluated. Hardware loops, loop unrolling, and the dot-product unit were implemented and tested. We developed an FPGA-based testing system to evaluate our hardware. We also developed a deep learning library and a test neural network for our hardware. We wrote two versions of the deep learning library. One version is the reference code, and the other is the optimized code that uses the dot product unit. Using the testing system, we tested the performance of the two versions. The synthesis was run to determine the power and energy consumption. We also tried out various optimizations to see if the performance could be improved. Using instruction set extensions and algorithmic optimizations we reduced the clock cycle count by 72% for the convolutional layers and by 78% for fully-connected layers. This reduced power consumption by 73%. We compare our results with related research.
Ključne besede: deep learning, embedded system, instruction set, RISC-V
Objavljeno: 03.11.2020; Ogledov: 330; Prenosov: 72
.pdf Celotno besedilo (2,69 MB)

2.
Programska knjižnica vhodno/izhodnega razširitvenega modula vodila I2C za tehtalno napravo DPA7-R
Oskar Žveglič, 2020, diplomsko delo

Opis: V diplomski nalogi smo razvili programsko knjižnico za vhodno/izhodni razširitveni modul, ki komunicira s tehtalno napravo DPA7-R prek komunikacije I2C. V knjižnici se nahaja več funkcij za upravljanje z vhodi in izhodi. Narejena in predstavljena sta tehtalna naprava DPA7-R in vhodno/izhodni razširitveni modul ter njuna komunikacija prek vodila I2C. Razširitveni modul vhodov/izhodov s programsko knjižnico je namenjen za uporabo v večjih tehtalnih sistemih.
Ključne besede: tehtalna naprava, vhodno/izhodni modul, LPC1768, PCA9555, I2C
Objavljeno: 03.11.2020; Ogledov: 65; Prenosov: 10
.pdf Celotno besedilo (1,47 MB)

3.
Design of an Embedded Position Sensor with Sub-mm Accuracy
Matej Nogić, 2019, magistrsko delo

Opis: This master’s thesis presents the development of a machine-vision based localization unit developed at Robert Bosch GmbH, Corporate Sector Research and Advance Engineering in Renningen, Germany. The localization unit was developed primarily for position detection purposes with three degrees of freedom in highly versatile manufacturing systems but has an immense potential to be used anywhere where a precise, low-cost localization method on a two-dimensional surface is required. The complete product development cycle was carried out, from the components selection, schematic and optical system design, to the development of machine vision algorithms, four-layer Printed Circuit Board design and evaluation using an industrial robot. Thanks to the use of a patented two-dimensional code pattern, the localization unit can cover a surface area of 49 km2. The size and speed optimized, self-developed machine-vision algorithms running on a Cortex-M7 microcontroller allow achieving an accuracy of 100 µm and 60 Hz refresh rate.
Ključne besede: localization, machine-vision, code pattern, image sensor, embedded system
Objavljeno: 14.01.2020; Ogledov: 301; Prenosov: 0

4.
Samovozeči sobni sesalnik
Peter Vrbančič, 2019, diplomsko delo

Opis: Namen diplomskega dela je čiščenje prostora s pomočjo sestavljenega samovozečega sobnega sesalnika. Razvili smo tiskano vezje, ki vsebuje mikrokrmilnik in vso potrebno periferijo. Za procesiranje podatkov smo uporabili mikrokrmilnik STM32L152RC. Sesanje smo realizirali z BLDC-motorjem. Za zaznavo ovir smo uporabili dva ultrazvočna senzorja HC-SR04. Programsko kodo s knjižnico vseh potrebnih funkcij smo napisali v jeziku C. Razvili smo aplikacijo za Android za vnos dneva, časa in trajanja sesanja. Sistem se je med sesanjem v prostoru izkazal za učinkovitega.
Ključne besede: vgrajeni sistem, samovozeči sesalnik, brezkrtačni enosmerni motor, ultrazvočni senzor
Objavljeno: 25.11.2019; Ogledov: 531; Prenosov: 108
.pdf Celotno besedilo (3,12 MB)

5.
Upgrading the Management of Electronic Systems in a Passenger Car
Josip Sučec, 2019, magistrsko delo

Opis: The master's thesis introduces the process of modernizing an older model of a passenger car. The mechanical, electrical and programming solutions were required to upgrade the existing car. Upgrades have been made to improve safety, comfort and performance. The safety upgrades contain the development and implementation of the brake temperature and the tire pressure monitoring system, respectively. The comfort upgrades include the car’s light system and accessory improvements, such as “follow me home” function and automatic window closing. The performance upgrades include installation of racing coilovers and the development of remote damping ratio adjustment system. For the central logic unit, a vehicle specific Android device was installed. It controls the local electronic control units made for each specific task and displays tire pressures and brake temperatures. The Android device communicates with the electromechanical car systems by using several serial buses. The communication protocols and their messages in the original car had to be reverse engineered to establish proper communication among the systems in the upgraded car.
Ključne besede: passenger car, serial buses, reverse engineering, adjustable suspension, sensors
Objavljeno: 02.08.2019; Ogledov: 456; Prenosov: 91
.pdf Celotno besedilo (6,95 MB)

6.
Tridimenzionalna ponazoritev gibanja modela izdelka z uporabo inercijske merilne enote
Gašper Košak Pevec, 2018, diplomsko delo

Opis: V diplomskem delu smo razvili sistem za določanje orientacije tridimenzionalnega modela v navideznem okolju. Temelji na principu delovanja inercijske merilne enote, ki zaznava svojo orientacijo v prostoru. Slednjo v našem primeru predstavlja razvojna plošča STM32L476 Discovery Board z vgrajenim žiroskopom in merilnikom pospeška. Razvojno ploščo smo povezali z računalnikom, kjer smo s tridimenzionalnim modelom prikazovali orientacijo inercijske merilne enote v realnem času.
Ključne besede: tridimenzionalni model, merilnik pospeška, žiroskop, inercijska merilna enota
Objavljeno: 07.11.2018; Ogledov: 473; Prenosov: 59
.pdf Celotno besedilo (4,49 MB)

7.
Izvedba visokonivojskih programskih funkcij za razvojno ploščo STM32L4
Gregor Gorjup, 2017, diplomsko delo

Opis: V diplomskem delu smo razvili knjižnice visokonivojskih programskih funkcij za mikrokrmilniško razvojno ploščo STM32L4. Knjižnice vsebujejo funkcije za izbiro in nastavitev sistemske ure, za konfiguracijo in izbiro vhodnih/izhodnih priključkov, za realizacijo časovnih funkcij, za pretvorbo analognega signala v digitalnega in komunikacijo prek komunikacijskih vmesnikov UART, SPI ter serijskega vodila I2C. Za vsako funkcijo smo napisali kratek testni program in navodila za njeno uporabo.
Ključne besede: mikrokrmilnik, programski jezik C, UART, SPI, I2C
Objavljeno: 16.11.2017; Ogledov: 1055; Prenosov: 135
.pdf Celotno besedilo (4,91 MB)

8.
Digitalni navigacijski instrument z dolgo avtonomijo
Gregor Hudin, 2017, magistrsko delo

Opis: V magistrski nalogi je predstavljen priročni digitalni navigacijski instrument, ki omogoča prikaz strani neba, časa, nadmorske višine in temperature. Njegov uporabniški vmesnik vsebuje le eno tipko, piskača in 12 digitalnih barvnih svetlečih diod. Omogočena je serijska komunikacija z računalnikom, konfiguriranje instrumenta prek krmilnih sporočil ter prikaz izmerjenih podatkov na računalnik. Razvili, sestavili in sprogramirali smo prototip instrumenta ter z meritvami preverili pravilnost njegovega delovanja.
Ključne besede: navigacija, digitalni instrument, vgrajeni sistem, senzor temperature in tlaka, magnetometer
Objavljeno: 16.11.2017; Ogledov: 419; Prenosov: 50
.pdf Celotno besedilo (6,63 MB)

9.
Preverjanje pravilnosti obnašanja sistemov s sočasnostjo
Robert Meolic, magistrsko delo

Opis: Magistrsko delo obravnava metode preverjanja pravilnosti obnašanja sistemov, ki temeljijo na opisu sistema s procesno algebro. Podana je definicija procesne algebre in primeri opisov sistemov s procesi. Predstavljeno je ugotavljanje ekvivalence sledi, stroge, vejitvene in šibke opazovalne ekvivalence, ugotavljanje testne ekvivalence ter simbolično preverjanje modelov z izjavno vejitveno temporalno logiko ACTL. Vse obravnavane metode se med seboj odlično dopolnjujejo in skupaj tvorijo močno orodje za formalno verifikacijo sistemov. V magistrskem delu je opisana izvedba takšnega orodja z BDD-ji. Uporaba orodja je ponazorjena na primeru verifikacije komunikacijskega protokola BRP.
Ključne besede: formalne metode verifikacije, sistemi s sočasnostjo, procesne algebre, opazovalne ekvivalence, testne ekvivalence, simbolično preverjanje modelov, ACTL, BDD
Objavljeno: 04.08.2017; Ogledov: 1490; Prenosov: 59
.pdf Celotno besedilo (1,10 MB)

10.
Applying automated model extraction for simulation and verification of real-life SDL specification with spin
Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, 2017, izvirni znanstveni članek

Opis: Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements’ specification. This paper presents semi-automated system abstraction, automated model extraction, simulation, and formal verification of real-life complex SDL specification. Sound algorithms implemented in our sdl2pml automated model extraction tool preserve all properties of the SDL system. Sdl2pml includes our model of discrete time, abstraction, and support for all relevant SDL functionality and constructs such as dynamic process creation, rational data types, and communication with more than one process instance. To the best of our knowledge, most of them are not supported by any other known approach. We use our SpinRCP tool for simulation and formal verification of the extracted model with the Spin model checker. We demonstrate the applicability of our approach on ISDN User adaptation protocol from SI3000 Softswitch. The extracted Promela model is the largest one ever processed by Spin. We have shown that Spin simulation and model checking can be applied successfully to such huge models.
Ključne besede: formal specifications, automated extraction, formal languages, simulation, formal verification, model cheking, SDL, Promela, SpinRCP, Sdl2pml
Objavljeno: 03.08.2017; Ogledov: 668; Prenosov: 302
.pdf Celotno besedilo (13,46 MB)
Gradivo ima več datotek! Več...

Iskanje izvedeno v 0.25 sek.
Na vrh
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici