| | 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 - 8 / 8
First pagePrevious page1Next pageLast page
1.
2.
3.
4.
POVEZAVA PROGRAMSKE NAROČNIŠKE CENTRALE S SISTEMOM ZA UPRAVLJANJE S STRANKAMI
David Vrečer, 2010, bachelor thesis/paper

Abstract: V diplomskem delu opisujemo izvedbo povezave med programsko naročniško centralo Asterisk in sistemom za upravljanje s strankami SugarCRM. V sistem sugarCRM vgradimo gumba za dodajanje in brisanje uporabnika iz centrale Asterisk, centrali Asterisk pa spremenimo klicni načrt, tako da se med izvajanjem klicev zapisujejo podatki o klicu v podatkovno bazo. Te podatke lahko preverjamo v vmesniku sistema SugarCRM. Na centralo povežemo IP-telefon Swissvoice, telefon VoIP Nokia E72 ter programski telefon X-Lite. Povezavo preizkusimo ter prikažemo delovanje vmesnika sistema SugarCRM in centrale Asterisk.
Keywords: IP-telefonija, programska naročniška centrala Asterisk, protokol SIP, CRM – sistem za upravljanje odnosov s strankami
Published: 05.01.2011; Views: 1604; Downloads: 100
.pdf Full text (2,44 MB)

5.
BREZŽIČNI PRENOS PODATKOV MED MIKROKRMILNIKI
Nikola Ovčar, 2011, undergraduate thesis

Abstract: V okviru diplomskega dela smo razvili prototipni sistem za merjenje temperature in brezžični prenos podatkov s pomočjo infrardeče povezave na bazno enoto. Sistem je razdeljen na bazno enoto in več merilnih enot. Bazna enota, zgrajena okrog mikrokrmilnika PIC16F887, nadzoruje prenose iz merilnih enot ter omogoča prikaz podatkov na grafičnem zaslonu. Merilna enota je implementirana na mikrokrmilniku PIC16F88, in je zadolžena za avtomatsko zaznavanje priključenih senzorjev Dallas DS18x20 ter posredovanje podatkov na zahtevo bazne enote. Sistem samodejno zaznava število aktivnih merilnih enot in iz priključenih senzorjev pridobiva merilne podatke.
Keywords: mikrokrmilnik, infrardeč prenos, protokol 1-wire, temperaturni senzor, IR sprejemnik/oddajnik
Published: 25.09.2011; Views: 1360; Downloads: 137
.pdf Full text (2,61 MB)

6.
ROBOT "MICROMOUSE"
Marko Rman, 2011, bachelor thesis/paper

Abstract: V diplomski nalogi je predstavljena izvedba robota "micromouse" za premagovanje naključnega labirinta. Cilj projekta je bila izdelava avtonomnega robota, ki je sposoben opraviti takšno nalogo. Robot je opremljen z različnimi senzorji za zaznavanje okolice, motorji za pogon, upravljanje pa se izvaja z mikrokrmilnikom podjetja Atmel. V nalogi je podrobno opisana izvedba in delovanje posameznih elektronskih delov. Predstavljeno je tudi delovanje programske opreme za izbran mikrokrmilnik.
Keywords: micromouse, mikrokrmilnik, optični senzor, robot
Published: 29.09.2011; Views: 1302; Downloads: 144
.pdf Full text (2,25 MB)

7.
SENZOR S KOMUNIKACIJO NFC
Gregor Košič, 2014, undergraduate thesis

Abstract: V diplomskem delu je predstavljena izvedba senzorja s komunikacijo v bližnjem polju (Near Field Communication) za merjenje obratov kolesa delovnega stroja (npr. bagra). Cilj diplomskega dela je bil izdelava senzorja s komunikacijo NFC, ki beleži hitrost delovnega stroja in omogoča prikaz podatkov na pametnem telefonu ali tabličnem računalniku s podporo NFC. Naprava je opremljena s tridimenzionalnim merilnikom pospeška, oddajno-sprejemnim integriranim vezjem NFC in mikrokrmilnikom podjetja Texas Instruments, s katerim upravljamo napravo. V delu je podrobno opisano delovanje senzorja, protokol za brezžično komunikacijo v bližnjem polju, izvedba prototipa, vključno z delovanjem programske opreme.
Keywords: NFC, brezžična komunikacija, senzor, protokol, mikrokrmilnik
Published: 06.03.2015; Views: 872; Downloads: 120
.pdf Full text (5,64 MB)

8.
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: 347; Downloads: 168
.pdf Full text (13,46 MB)
This document has many files! More...

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