Št. zadetkov: 27
Predavanje na tuji univerzi
Oznake:
diagrami;odločitveni diagrami;
General decision diagram is a loose term for a superset of different types of decision diagrams - we are interested in joining BDDs, FDDs, and different types of suppressed DDs, e.g. ZBDDs. I will present: The current state of our BDD package Biddy (functionalities and details about the original imp ...
Leto:
2016
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
elektronika;digitalna tehnika;računalniški program;sinteza logičnih vezij;simulacija logičnih vezij;
Diplomska naloga predstavlja in ovrednoti prosto dostopna orodja za načrtovanje logičnih vezij. Obravnava tri izbrana orodja; Logisim, Logic.ly in CedarLogic. Predstavljeni sta osnovno delovanje in uporaba. Z vsakim od izbranih orodij smo tvorili preprost projekt. Poiskali smo funkcionalnosti, ki ji ...
Leto:
2012
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
telefonija;IP telefonija;omrežje VoIP;zmogljivost omrežja;orodje OPNET;SIP;
V diplomskem delu opišemo uvajanje in upravljanje omrežja za telefonijo IP (VoIP). Podan je splošen opis VoIP-a in njegove razširjenosti v Sloveniji. Opisani so protokoli, uporabljeni v omrežju VoIP, in modeli telefonskih sistemov v poslovnih okoljih. Jedro diplomskega dela sta metodologija vpeljave ...
Leto:
2012
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
diplomska dela;omrežje Eduroam;brezžična omrežja;strežnik RADIUS;imenik LDAP;dostopovna točka;
Brezžična omrežja v šolah omogočajo nove načine izobraževanja in kaže, da bodo v prihodnjih letih postala nepogrešljiv pripomoček katere koli izobraževalne ustanove. Naloga predstavlja tehnologijo in značilnosti omrežja Eduroam ter opisuje korake izgradnje in vzpostavitve omrežja na primeru osnovne ...
Leto:
2015
Vir:
Fakulteta za naravoslovje in matematiko (UM FNM)
Diplomsko delo
Oznake:
sledenje gostov;igralni avtomati;stikala;diplomske naloge;
V diplomskem delu smo predstavili izdelavo lastnega informacijskega sistema za spremljanje igre na igralnih avtomatih (ISIA), ki je združljiv z že obstoječim sistemom v ostalih Hitovih igralnicah in skupaj s sistemom proizvajalca Bally tvori popoln sistem sledenja igralcev. Da lahko spremljamo igro ...
Leto:
2016
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Objavljeni znanstveni prispevek na konferenci
Oznake:
Binary Decision Diagram;Shannon's expansion;Reed–Muller expansion;Davio expansion;Digital Circuit Design;
Binary decision diagram (BDD) is a very successful data structure for
representation and manipulation of Boolean functions. Various BDD types
have been proposed. In this paper relations between OBDD, OFDD, and
0-sup-BDD are shown in a new way. An universal decomposition rule for them
is introduc ...
Leto:
2016
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Doktorska disertacija
Oznake:
formalne metode verifikacije sistemov;preverjanje modela;temporalna logika;doktorske disertacije;CTL;ACTL;ACTLW;diagnostika;problem medsebojnega izključevanja;
Doktorska disertacija definira in raziskuje akcijsko logiko dreves izvajanj z operatorjem unless (ACTLW). ACTLW je izjavna temporalna logika razvejanega časa. Izhaja iz logike ACTL, ki je bila vpeljana leta 1990 in je ena od uveljavljenih temporalnih logik za izražanje lastnosti modelov, ki temeljij ...
Leto:
2005
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
Boolova algebra;logične funkcije;binarni odločitveni grafi;funkcijski odločitveni grafi;podatkovne strukture;
Odločitveni grafi so uspešna podatkovna struktura za predstavitev logičnih funkcij. V diplomskem delu so podane potrebne matematične osnove za njihovo razumevanje in računalniški algoritmi za njihovo učinkovito realizacijo. Podrobno so opisani urejeni binarni odločitveni grafi (OBDD), urejeni funkci ...
Leto:
1995
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Samostojni znanstveni sestavek ali poglavje v monografski publikaciji
Oznake:
Boolove funkcije;algoritmi;binarni odločitveni diagram;struktura podatkov;Reduced Ordered Binary Decision Diagram;Boolean function;logic functions;logic design verification;hash table;
This paper describes data structures and algorithms for representation of Boolean functions with reduced ordered binary decision diagrams (ROBDDs). A hash table is used for quick search. Additional information about variables and functions is stored in binary trees. Manipulations on functions are ba ...
Leto:
2000
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Diplomsko delo
Oznake:
zlivanje omrežij;konvergenca storitev;konvergenca omrežij;komunikacijski protokol;internetni protokol;
V diplomski nalogi obravnavamo področje zlivanja telekomunikacijskih omrežij. Kot rešitev je v zadani nalogi obravnavan proces zlivanja telekomunikacijskih omrežij v enotno omrežje, v katerem je skupni sloj internetni protokol. V diplomi smo dodali tudi kratka opisa tehnologije MPLS, ter protokola H ...
Leto:
2009
Vir:
Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)