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


1 - 10 / 116
Na začetekNa prejšnjo stran12345678910Na naslednjo stranNa konec
1.
OBLIČJE ZA SIMULATOR OPTIČNIH OMREŽIJ
Enej Unterajter, 2018, delo diplomskega projekta/projektno delo

Opis: V sklopu projekta smo napisali program v programskem jeziku C++, ki omogoča uporabniku lažje delo s simulatorjem optičnih omrežij Hegons. Program smo pisali v okolju Microsoft Visual Studio. Za izvedbo smo se natančneje seznanili z delovanjem in uporabo programa Hegons, spoznali pa smo še knjižnico FLTK in program gnuplot, ki smo ju uporabili za izvedbo grafičnega vnosa podatkov oziroma prikaza rezultatov. V poročilu bomo v začetku predstavili težave, ki so se pojavljale pri uporabnikih programa Hegons, nato pa predstavili uporabljene programe ter izvedbo in delovanje izdelanega programa.
Ključne besede: komunikacijsko omrežje, simulacija, programiranje, grafični uporabniški vmesnik
Objavljeno: 05.02.2019; Ogledov: 544; Prenosov: 38
.pdf Celotno besedilo (1,34 MB)
Gradivo ima več datotek! Več...

2.
Zagotavljanje skladnosti v porazdeljeni krmilni ravnini programsko določenih omrežij
Simon Malek Kuzmič, 2018, magistrsko delo

Opis: Magistrsko delo zajema kratek opis konceptov in arhitekture programsko določenih omrežij. Sledita opis porazdeljene izvedbe krmilne ravnine in predstavitev glavnih pristopov zagotavljanja skladnosti v omrežjih s tako ravnino. Magistrsko delo se osredotoča na zagotavljanje skladnosti v omrežjih s krmilniki ONOS. Namen je predstavitev delovanja teh krmilnikov v grozdu in način zagotavljanja skladnosti njihovih informacij o topologiji omrežja. Delovanje grozda smo preizkusili v različnih scenarijih v navideznih omrežjih, tvorjenih z emulatorjem Mininet.
Ključne besede: programsko določeno omrežje, krmilnik, grozd, skladnost
Objavljeno: 30.11.2018; Ogledov: 432; Prenosov: 50
.pdf Celotno besedilo (2,78 MB)

3.
Izboljšanje uporabniške izkušnje IPTV z daljinsko prilagoditvijo parametrov povezave xDSL
Gregor Pavlovič, 2018, diplomsko delo

Opis: V teoretičnem delu diplomske naloge so predstavljene tehnologije DSL in storitev televizije IP ter orodja in postopki, s katerimi telekomunikacijski operater zazna težave pri storitvi televizije IP, ponujani preko DSL. V praktičnem delu je poudarek na konfiguriranju linijskih parametrov povezave DSL za zagotovitev kakovosti izkušnje storitve televizije IP. Uporabljena sta testna priključka DSL Telekoma Slovenije. Prvi testni priključek je uporabljen za predstavitev operaterjevih orodij, drugi pa za predstavitev konfiguriranja naročniškega priključka.
Ključne besede: digitalni naročniški vod, televizija IP, kakovost izkušnje
Objavljeno: 08.11.2018; Ogledov: 433; Prenosov: 40
.pdf Celotno besedilo (1,69 MB)

4.
Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST
Rok Vogrin, 2018, magistrsko delo

Opis: Magistrsko delo obravnava tvorjenje avtomatov linearnih končnih prič veljavnosti formul akcijske logike dreves izvajanj z operatorjem unless (ACTLW -- Action-based Computation Tree Logic with Unless operator) v modelih realnih sistemov, imenovanih označeni sistemi prehajanja stanj. Namen dela je tvorjenje avtomatov prič, ki kažejo, kako so v takem modelu prisotne lastnosti, opisane z veljavno formulo ACTLW. V prvem delu naloge so predstavljeni ključni elementi za tvorjenje avtomatov prič. Vpeljana sta pojma karakteristična funkcija in binarni odločitveni graf. Definirani so označeni sistemi prehajanja stanj, končni avtomati ter logika ACTLW. V drugem delu je na podlagi definicij razvit postopek in opisana implementacija tvorjenja avtomatov linearnih končnih prič z orodjem EST. Tvorjenje avtomatov je prikazano na primeru modela komunikacijskega protokola z omejenim številom ponovnih oddaj in biološkega sistema uravnavanja laktoznega operona.
Ključne besede: formalne metode, preverjanje modelov, temporalna logika, avtomati prič, simbolične metode
Objavljeno: 09.10.2018; Ogledov: 487; Prenosov: 81
.pdf Celotno besedilo (666,65 KB)

5.
IZRECNO OBVEŠČANJE O ZAMAŠITVI V OMREŽJIH IP
Alen Bezenšek, 2018, delo diplomskega projekta/projektno delo

Opis: V projektu smo se ukvarjali z izrecnim obveščanjem o zamašitvi v omrežjih IP. Najprej smo proučili delovanje te metode in kako je podprta v različnih operacijskih sistemih. V nadaljevanju smo s pomočjo analizatorja prometa Wireshark zajemali promet pri dostopanju do spletnih strani in ga analizirali glede izrecnega obveščanja o zamašitvi. V programskem okolju Rivebed Modeler smo modelirali in simulirali omrežja z uporabo izrecnega obveščanja o zamašitvi in brez njega. Rezultate smo primerjali ter razlike komentirali in grafično prikazali. Nazadnje so na kratko podane še ključne ugotovitve projekta.
Ključne besede: izrecno obveščanje o zamašitvi, simulacija, analiza prometa, protokol za nadzor prenosa, medmrežni protokol
Objavljeno: 24.05.2018; Ogledov: 767; Prenosov: 62
.pdf Celotno besedilo (1,34 MB)

6.
Avtomatizacija analize povezav TCP
Aljaž Gaber, 2017, delo diplomskega projekta/projektno delo

Opis: V projektu smo se ukvarjali z avtomatizacijo analize povezav protokola TCP. Za analizo smo uporabili program tshark, ki je terminalska različica analizatorja protokolov Wireshark. Analiza je avtomatizirana s pomočjo skripta, napisanega v lupini Windows PowerShell. Za izvedbo projekta smo se podrobneje seznanili z delovanjem protokola TCP. V programskem delu je bilo treba spoznati tshark in principe pisanja skriptov v PowerShellu. Celoten razvoj skripta je potekal v razvojnem okolju Windows PowerShell ISE. V tem poročilu je najprej predstavljen problem, nato na kratko protokol TCP, Wireshark in PowerShell. Nazadnje je razložena celotna izvedba in delovanje našega skripta.
Ključne besede: protokol za nadzor prenosa, analiza omrežnega prometa, protokolni analizator, skript
Objavljeno: 26.01.2018; Ogledov: 932; Prenosov: 77
.pdf Celotno besedilo (1,40 MB)

7.
Simulations of VoIP applications in INET framework
Sebastijan Horvatić, 2017, magistrsko delo

Opis: This master's thesis describes the support for modelling Voice over Internet Protocol (VoIP) applications in the INET Framework. First, it briefly presents the VoIP technology and factors responsible for the VoIP quality of service. Next, the thesis moves on to discuss the OMNeT++ environment and the INET Framework, their installation and usage. Following this, it examines all of the INET packages and modules available for VoIP modelling, with all VoIP-related INET examples then shortly described and tested. By using INET, our own network and application models are created and simulated using different parameters. Comparisons of the simulation results are carried out and some of the best-found parameters for the VoIP communications are presented. At last, the calculation of jitter by using the obtained simulation results and Excel program is described, because jitter is not shown in the simulation results in INET.
Ključne besede: voice over internet protocol, performance analysis, simulation, real-time transport protocol, user datagram protocol
Objavljeno: 18.08.2017; Ogledov: 619; Prenosov: 85
.pdf Celotno besedilo (3,86 MB)

8.
Akcijska logika dreves izvajanj z operatorjem unless
Robert Meolic, doktorska disertacija

Opis: 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 temeljijo na dogodkih. ACTLW je fleksibilnejša od ACTL, saj ne vsiljuje uporabe notranjega dogodka T pri izražanju lastnosti. ACTLW je tudi nekoliko izraznejša od ACTL, saj vsebuje temporalni operator unless (W), katerega pomena v ACTL ni možno v celoti izraziti. Nasprotno pa lahko vse formule ACTL izrazimo z uporabo operatorjev ACTLW. ACTLW omogoča učinkovito izvedbo preverjanja modelov s podobnimi algoritmi kot pri preverjanju modela s CTL, kar je pomembna izboljšava glede na logiko ACTL. Doktorska disertacija podaja definicijo logike ACTLW, izpeljave vseh standardnih temporalnih operatorjev in algoritme za globalno preverjanje modela z ACTLW s simboličnim računanjem. Predstavljeni so tudi algoritmi za tvorjenje diagnostike pri ACTLW, za tvorjenje lineamih prič in protiprimerov pri ACTLW ter za tvorjenje avtomatov prič in proti primerov pri ACTLW. Doktorska disertacija je v celoto zaokrožena z vzorci formul ACTLW in dvema večjima praktičnima primeroma: verifikacijo več različnih algoritmov za medsebojno izključevanje in verifikacijo dveh asinhronih vezij za porazdeljeno medsebojno izključevanje.
Ključne besede: formalne metode verifikacije sistemov, preverjanje modela, temporalna logika, doktorske disertacije, CTL, ACTL, ACTLW, diagnostika, problem medsebojnega izključevanja
Objavljeno: 04.08.2017; Ogledov: 757; Prenosov: 71
.pdf Celotno besedilo (1,04 MB)

9.
Preverjanje pravilnosti obnašanja sistemov s sočasnostjo
Robert Meolic, magistrsko delo

Opis: 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.
Ključne besede: formalne metode verifikacije, sistemi s sočasnostjo, procesne algebre, opazovalne ekvivalence, testne ekvivalence, simbolično preverjanje modelov, ACTL, BDD
Objavljeno: 04.08.2017; Ogledov: 1531; Prenosov: 59
.pdf Celotno besedilo (1,10 MB)

10.
Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata
Tatjana Kapus, izvirni znanstveni članek

Opis: This paper concerns the formal modelling of medium access control in nonbeacon-enabled IEEE 802.15.4 wireless personal area networks with probabilistic timed automata supported by the PRISM probabilistic model checker. In these networks, the devices contend for the medium by executing an unslotted carrier sense multiple access with collision avoidance algorithm. In the literature, a model of a network which consists of two stations sending data to two different destination stations is introduced. We have improved this model and, based on it, we propose two ways of modelling a network with an arbitrary number of sending stations, each having its own destination. We show that the same models are valid representations of a star-shaped network with an arbitrary number of stations which send data to the same destination station. We also propose how to model such a network if some of the sending stations are not within radio range of the others, i.e. if they are hidden. We present some results obtained for these models by probabilistic model checking using PRISM.
Ključne besede: wireless personal area network, medium access control, hidden station, formal specification, probabilistic model checking
Objavljeno: 15.06.2017; Ogledov: 538; Prenosov: 257
.pdf Celotno besedilo (2,25 MB)
Gradivo ima več datotek! Več...

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