| | 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


21 - 30 / 116
Na začetekNa prejšnjo stran12345678910Na naslednjo stranNa konec
21.
ACTLW - an action-based computation tree logic with unless operator
Robert Meolic, Tatjana Kapus, Zmago Brezočnik, 2008, izvirni znanstveni članek

Opis: Model checkers for systems represented by labelled transition systems are not as extensively used as those for systems represented by Kripke structures. This is partially due to the lack of an elegant formal language for property specification which would not be as raw as, for example, HML yet also not as complex as, for example, -calculus. This paper proposes a new action-based propositional branching-time temporal logic ACTLW, which enhances popular computation tree logic (CTL) with the notion of actions in a similar but more comprehensive way than action-based CTL introduced by De Nicola and Vaandrager [R. De Nicola, F.W. Vaandrager, Action versus logics for transition systems, in: Semantics of Systems of Concurrent Processes, Proceedings LITP Spring School on Theoretical Computer Science, LNCS 469, 1990, pp. 407-419]. ACTLW is defined by using temporal operators until and unless only, whereas all other temporal operators are derived from them. Fixed-point characterisation of the operators together with symbolic algorithms for globalmodel checking are shown. Usage of this new logic is illustrated by an example of verification of mutual-exclusion algorithms.
Ključne besede: formal verification, model checking, action-based temporal logic, fixed point, mutual-exclusion algorithm
Objavljeno: 01.06.2012; Ogledov: 1597; Prenosov: 84
URL Povezava na celotno besedilo

22.
NADZOROVANA JAVNO DOSTOPNA BREZŽIČNA OMREŽJA
Matija Božiček, 2010, diplomsko delo

Opis: Diplomska naloga prikazuje nastanek in širitev brezžičnih omrežij ter s tem povezana tveganja. V prvem delu so predstavljeni standardni načini zaščite, njihove prednosti in slabosti. V drugem delu je prikazan individualno razvit sistem nadzora, ki omogoča večjo dostopnost ob sprejemljivi zaščiti.
Ključne besede: WiFi, brezžična, omrežja, varnost, zaščita, nadzor, upravljanje, 802.11, siel
Objavljeno: 02.02.2012; Ogledov: 1835; Prenosov: 158
.pdf Celotno besedilo (1,83 MB)

23.
PRENOS PODATKOV V KABELSKIH DOSTOPOVNIH OMREŽJIH PO STANDARDIH DOCSIS
Franc Dešman, 2012, diplomsko delo

Opis: Namen diplomske naloge je bil proučiti in predstaviti najpomembnejše postopke in rešitve, ki so del mednarodnih standardov za kabelske sisteme DOCSIS. Vsaka nova verzija standardov DOCSIS nadgrajuje obstoječe z novostmi, tako da kabelski operaterji v kabelskem omrežju lahko hkrati uporabljajo naprave, ki podpirajo različne verzije. V nalogi je najprej opisana zgradba hibridnih vlakensko- kabelskih omrežij. Nadaljujemo s prenosom podatkov v kabelskih dostopovnih omrežjih po standardu DOCSIS 1.1, kjer damo največ poudarka razlagi krmiljenja dostopa do prenosnega sredstva. Za DOCSIS 2.0 je omenjen novi, sinhroni kodno porazdeljeni sodostop, za DOCSIS 3.0 pa so prikazane metode združevanja kanalov, ki povečajo zmogljivost rešitev iz starejših verzij standardov DOCSIS. V zadnjem delu je prikazan primer registracije kabelskih modemov, ki smo ga izvedli s pomočjo strežnikov in datotek z nastavitvami, ki temeljijo na standardu DOCSIS 1.0.
Ključne besede: podatkovne komunikacije, sodostop, zaključni sistem za kabelske modeme, kabelski modem, krmiljenje dostopa do prenosnega sredstva
Objavljeno: 27.01.2012; Ogledov: 1852; Prenosov: 190
.pdf Celotno besedilo (9,49 MB)

24.
KAKOVOST STORITEV V OMREŽJIH IP/MPLS
Zala Paradiž, 2011, diplomsko delo

Opis: V diplomskem delu obravnavamo kakovost storitev (QoS) kot čedalje pomembnejši dejavnik pri načrtovanju paketno usmerjenih telekomunikacijskih omrežij. Najprej je predstavljen pojem omrežja naslednje generacije. Nadaljujemo s podajo definicij QoS ter z opisom konceptov zagotavljanja QoS, problemov, ki se pri tem pojavljajo, in metod QoS. Nato je opisano delovanje omrežij IP/MPLS ter nekatere možnosti uvedbe QoS s pomočjo tehnologije MPLS. V praktičnem delu je podan primer skripta, s katerim želimo prikazati uvedbo QoS-ja za optično ploščo večstoritvenega dostopovnega vozlišča v omrežju Telekoma Slovenije. Opisali smo to vozlišče in njegovo vlogo v tem omrežju. Podrobno smo si ogledali konfiguriranje optične plošče ter predstavili pomen posameznih ukazov vmesnika z ukazno vrstico.
Ključne besede: kakovost storitve, internetni protokol, večprotokolno preklapljanje z oznakami, vlakno do doma, večstoritveno dostopovno vozlišče, razred storitve
Objavljeno: 29.09.2011; Ogledov: 2005; Prenosov: 260
.pdf Celotno besedilo (1,38 MB)

25.
KONFIGURIRANJE NAROČNIŠKE CENTRALE IP 3CX
Luka Mlaker, 2011, diplomsko delo

Opis: V diplomskem delu opisujemo konfiguriranje naročniške telefonske centrale 3CX kot učinkovitega telekomunikacijskega sistema za manjše podjetje. Centrala je nastavljena tako, da omogoča interne klice med zaposlenimi, kakor tudi povezavo s ponudnikom telefonije IP, kar omogoča dohodne in odhodne klice, vezane na številke ponudnika. V delu so najprej predstavljene funkcije, ki jih omogoča brezplačna različica 3CX-a. V nadaljevanju so opisane nastavitve terminalov ter vmesnikov PSTN in ISDN, ki smo jih uporabili, nato pa se osredotočimo na konfiguriranje same centrale. Na koncu prikazujemo in opisujemo grafe, ki nam jih je izrisal program Wireshark za primere klicev,kateri so bili izvedeni preko naše naročniške centrale.
Ključne besede: telekomunikacije, telefonija IP, naročniška centrala IP, konfiguriranje, protokol za zagon seje
Objavljeno: 12.07.2011; Ogledov: 2144; Prenosov: 155
.pdf Celotno besedilo (3,15 MB)

26.
KONVERGENCA ENUM IN SIP PRI MEDOPERATERSKIH POVEZAVAH
Matej Lugarič, 2011, diplomsko delo

Opis: Dandanes se komunikacije izvajajo preko omrežij različnih vrst, na primer iz omrežja TDM v omrežje IP in obratno, ter različnih operaterjev. Ob tem se kopiči vedno več kontaktnih informacij, ki jih je treba shraniti. Zato so razvili ENUM, ki naj bi olajšal komunikacijo preko različnih omrežij in vključeval vse kontaktne informacije. Ta diplomska naloga vsebuje opis delovanja, zmogljivosti, uporabnosti ter načinov implementacije ENUM-a. Predstavljene so rešitve za usmerjanje klicev in prenosljivost številk z uporabo ENUM v kombinaciji s protokolom SIP preko različnih vrst omrežij (PSTN, NGN in IMS).
Ključne besede: javno preklapljano telefonsko omrežje, omrežje naslednje generacije, IP multimedijski podsistem, usmerjanje, prenosljivost številk, preslikava telefonskih številk
Objavljeno: 12.07.2011; Ogledov: 1906; Prenosov: 123
.pdf Celotno besedilo (2,21 MB)

27.
MODELIRANJE IN SIMULACIJA V OKOLJU OMNeT++
Sandra Sitar, 2010, diplomsko delo

Opis: V diplomskem delu opisujemo okolje OMNeT++, ki omogoča modeliranje in simulacijo telekomunikacijskih omrežij. Najprej je opisana sestava modelov OMNeT++ in kako sploh deluje simulacijski sistem. Sledi okvirna predstavitev jezika NED ('NEtwork Description' — opis omrežja), s katerim opisujemo topologijo modelov. Nato je obširno poglavje o integriranem razvojnem okolju, ki ga ponuja OMNeT++. Da bi čim bolje predstavili OMNeT++, smo za konec naredili še primer modela in simulacijo protokola z mirovanjem z implicitno ponovno oddajo. S primerom smo želeli praktično prikazati, kako se sploh gradijo modeli v okolju OMNeT++, kako se z njim simulira in kako lahko z orodji, ki jih ponuja, pridobimo željene statistike o delovanju modela.
Ključne besede: simulacija omrežij, opis omrežja, integrirano razvojno okolje, uporabniški vmesnik, zapisovanje rezultatov.
Objavljeno: 04.04.2011; Ogledov: 3210; Prenosov: 234
.pdf Celotno besedilo (1,77 MB)

28.
USMERJANJE IN DODELJEVANJE VALOVNIH DOLŽIN V OPTIČNIH OMREŽJIH WDM
Matej Podkrižnik, 2011, diplomsko delo

Opis: To diplomsko delo predstavlja problematiko usmerjanja in dodeljevanja valovnih dolžin v optičnih omrežjih z valovnodolžinskim multipleksiranjem in z zmožnostjo optičnega obvoda. Začetek dela opisuje delovanje, zgradbo in lastnosti takšnih omrežij ter izpostavi nekatere pomembne dejavnike, s katerimi se v njih pogosto soočamo, na primer regeneracijo, združevanje prometa ter zaščito poti. V jedru dela je obravnavan problem usmerjanja in dodeljevanja valovnih dolžin za statičen in dinamičen promet. Predstavljene so hevristične metode, s katerimi problem najpogosteje rešujemo. Opisan je simulacijski program Hegons ter kako smo z njim opravili simulacijo in primerjavo posameznih hevrističnih metod.
Ključne besede: optično omrežje, valovnodolžinsko multipleksiranje, optični obvod, regeneracija, združevanje prometa, zaščita poti, usmerjanje in dodeljevanje valovnih dolžin
Objavljeno: 14.02.2011; Ogledov: 2832; Prenosov: 250
.pdf Celotno besedilo (2,63 MB)

29.
ZAGOTAVLJANJE KAKOVOSTI STORITEV V OMREŽJU IP/MPLS TELEKOMA SLOVENIJE
Boštjan Lapornik, 2010, diplomsko delo

Opis: Diplomsko delo vsebuje opise mehanizmov za zagotavljanje kakovosti storitev v omrežjih IP/MPLS. Opisali smo stanje v omrežjih pred konvergenco in po njej ter razloge, ki so privedli do uvedbe mehanizmov za zagotavljanje kakovosti storitev. Jedro diplomske naloge je predstavitev uvedbe mehanizmov za zagotavljanje kakovosti storitev v omrežju IP/MPLS Telekoma Slovenije. Najprej smo predstavili nekatera izhodišča, ki so bila vodilo za nadaljnje konfiguracijske predloge. Nato smo za vsak omrežni element našega vzorčnega omrežja predstavili izbrani mehanizem za zagotavljanje kakovosti storitev in način, kako se ga uvede na omrežni napravi.
Ključne besede: telekomunikacije, omrežje IP, kakovost storitev, diferencirane storitve, varnost, konfiguriranje
Objavljeno: 09.06.2010; Ogledov: 3412; Prenosov: 342
.pdf Celotno besedilo (4,19 MB)

30.
VARNI GOVORNI KLICI PREKO OMREŽIJ IP
Uroš Bandelj, 2009, diplomsko delo

Opis: IP-telefonija omogoča cenovno ugodno in ustrezno kakovostno komunikacijo preko podatkovnih omrežij z uporabo medmrežnega protokola (IP). Tema te diplomske naloge je varen prenos govora preko podatkovnih omrežij z uporabo tega protokola. To dosežemo z uporabo varnostnih protokolov, ki ne povzročajo nepotrebnega dodatnega prometa, in s hitrimi algoritmi za šifriranje. Na začetku diplomske naloge je opisan osnovni koncept IP-telefonije. V nadaljevanju so opisane varnostne tehnologije, uporabljene v IP-telefoniji. Poseben poudarek je na varnostnih protokolih, ki so uporabljeni v testnem primeru na koncu diplomske naloge.
Ključne besede: IP-telefonija, zaupnost, celovitost, varnostni protokol, šifriranje, overjanje
Objavljeno: 30.11.2009; Ogledov: 2039; Prenosov: 164
.pdf Celotno besedilo (2,29 MB)

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