Št. zadetkov: 10
Diplomsko delo
Oznake:
sistemi s sočasnostjo;razvojno okolje Eclipse;vtičnik;Promela;Spin;MSC;
Integracija orodja Spin v razvojno okolje Eclipse : diplomska naloga univerzitetnega študijskega programa
Leto:
2008
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
programsko orodje;telekomunikacijski sistemi;specifikacija;
Študija prenosljivosti SDL specifikacije med izbranimi orodji : diplomsko delo univerzitetnega študijskega programa
Leto:
2009
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
razvojno orodje;telekomunikacijski sistem;specifikacija;
V diplomskem delu so predstavljena izbrana razvojna orodja s podporo jeziku SDL (Specification and Description Language) – Telelogic SDL Suite, ObjectGEODE, Cinderella in Safire Professional. Orodja smo preverjali z uporabo poenostavljenega protokola V.76, ki je namenjen vzpostavitvi podatkovne pove ...
Leto:
2009
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
IP-telefonija;programska naročniška centrala Asterisk;protokol SIP;sistem za upravljanje odnosov s strankami;
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 ...
Leto:
2010
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
aplikacije;grafični vmesniki;knjižnica Qt;avtentifikacija RFID;dinamična knjižnica;povezava TCP;
Diplomsko delo obravnava izdelavo programske opreme sistema za sledenje igralcu. Strojna oprema sistema je bila že predhodno izdelana. Sistem omogoča upravljalcem igralnih salonov sledenje posameznim igralcem na podlagi njihove avtentikacije z uporabo brezkontaktne kartice. Igralcem je omogočeno zbi ...
Leto:
2012
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
mikrokrmilniki;infrardeč prenos;protokol 1-wire;temperaturni senzorji;IR sprejemnik/oddajnik;
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 ...
Leto:
2011
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
heterogeni računalniški sistemi;paralelno procesiranje;presečišče daljic;računalniška arhitektura;orodja za paralelne sisteme;razporejanje mnogokotnikov;
Heterogeni računalniški sistemi pri razporejanju površinskih mnogokotnikov : diplomsko delo
Leto:
2001
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
NCF;brezžična komunicija;senzorji;protokol;mikrokrmilniki;
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 ...
Leto:
2014
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
mikrokrmilniki;optični senzorji;roboti;
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 ...
Leto:
2011
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Izvirni znanstveni članek
Oznake:
formalna specifikacija;avtomatska ektrakcija;simulacija;formalni jeziki;formal specifications;automated extraction;formal languages;simulation;formal verification;model cheking;SDL;Promela;SpinRCP;Sdl2pml;
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-automate ...
Leto:
2017
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)