| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font

Search the digital library catalog Help

Query: search in
search in
search in
search in
* old and bologna study programme

Options:
  Reset


1 - 10 / 164
First pagePrevious page12345678910Next pageLast page
1.
Deep Learning on Low Power Embedded Devices Using RISC-V Cores with an Extended Instruction Set
Jure Vreča, 2020, master's thesis

Abstract: 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.
Keywords: deep learning, embedded system, instruction set, RISC-V
Published: 03.11.2020; Views: 416; Downloads: 82
.pdf Full text (2,69 MB)

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

Abstract: 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.
Keywords: tehtalna naprava, vhodno/izhodni modul, LPC1768, PCA9555, I2C
Published: 03.11.2020; Views: 97; Downloads: 10
.pdf Full text (1,47 MB)

3.
Design of an Embedded Position Sensor with Sub-mm Accuracy
Matej Nogić, 2019, master's thesis

Abstract: 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.
Keywords: localization, machine-vision, code pattern, image sensor, embedded system
Published: 14.01.2020; Views: 336; Downloads: 0

4.
Samovozeči sobni sesalnik
Peter Vrbančič, 2019, undergraduate thesis

Abstract: 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.
Keywords: vgrajeni sistem, samovozeči sesalnik, brezkrtačni enosmerni motor, ultrazvočni senzor
Published: 25.11.2019; Views: 578; Downloads: 111
.pdf Full text (3,12 MB)

5.
Upgrading the Management of Electronic Systems in a Passenger Car
Josip Sučec, 2019, master's thesis

Abstract: 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.
Keywords: passenger car, serial buses, reverse engineering, adjustable suspension, sensors
Published: 02.08.2019; Views: 486; Downloads: 93
.pdf Full text (6,95 MB)

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

Abstract: 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.
Keywords: tridimenzionalni model, merilnik pospeška, žiroskop, inercijska merilna enota
Published: 07.11.2018; Views: 535; Downloads: 63
.pdf Full text (4,49 MB)

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

Abstract: 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.
Keywords: mikrokrmilnik, programski jezik C, UART, SPI, I2C
Published: 16.11.2017; Views: 1092; Downloads: 135
.pdf Full text (4,91 MB)

8.
Digitalni navigacijski instrument z dolgo avtonomijo
Gregor Hudin, 2017, master's thesis

Abstract: 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.
Keywords: navigacija, digitalni instrument, vgrajeni sistem, senzor temperature in tlaka, magnetometer
Published: 16.11.2017; Views: 463; Downloads: 50
.pdf Full text (6,63 MB)

9.
Preverjanje pravilnosti obnašanja sistemov s sočasnostjo
Robert Meolic, master's thesis

Abstract: 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.
Keywords: formalne metode verifikacije, sistemi s sočasnostjo, procesne algebre, opazovalne ekvivalence, testne ekvivalence, simbolično preverjanje modelov, ACTL, BDD
Published: 04.08.2017; Views: 1563; Downloads: 59
.pdf Full text (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, original scientific article

Abstract: 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.
Keywords: formal specifications, automated extraction, formal languages, simulation, formal verification, model cheking, SDL, Promela, SpinRCP, Sdl2pml
Published: 03.08.2017; Views: 712; Downloads: 316
.pdf Full text (13,46 MB)
This document has many files! More...

Search done in 0.32 sec.
Back to top
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica