| | 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 - 10 / 116
First pagePrevious page12345678910Next pageLast page
1.
OBLIČJE ZA SIMULATOR OPTIČNIH OMREŽIJ
Enej Unterajter, 2018, diploma project paper

Abstract: 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.
Keywords: komunikacijsko omrežje, simulacija, programiranje, grafični uporabniški vmesnik
Published: 05.02.2019; Views: 639; Downloads: 40
.pdf Full text (1,34 MB)
This document has many files! More...

2.
Zagotavljanje skladnosti v porazdeljeni krmilni ravnini programsko določenih omrežij
Simon Malek Kuzmič, 2018, master's thesis

Abstract: 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.
Keywords: programsko določeno omrežje, krmilnik, grozd, skladnost
Published: 30.11.2018; Views: 511; Downloads: 51
.pdf Full text (2,78 MB)

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

Abstract: 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.
Keywords: digitalni naročniški vod, televizija IP, kakovost izkušnje
Published: 08.11.2018; Views: 506; Downloads: 45
.pdf Full text (1,69 MB)

4.
Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST
Rok Vogrin, 2018, master's thesis

Abstract: 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.
Keywords: formalne metode, preverjanje modelov, temporalna logika, avtomati prič, simbolične metode
Published: 09.10.2018; Views: 574; Downloads: 85
.pdf Full text (666,65 KB)

5.
IZRECNO OBVEŠČANJE O ZAMAŠITVI V OMREŽJIH IP
Alen Bezenšek, 2018, diploma project paper

Abstract: 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.
Keywords: izrecno obveščanje o zamašitvi, simulacija, analiza prometa, protokol za nadzor prenosa, medmrežni protokol
Published: 24.05.2018; Views: 848; Downloads: 66
.pdf Full text (1,34 MB)

6.
Avtomatizacija analize povezav TCP
Aljaž Gaber, 2017, diploma project paper

Abstract: 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.
Keywords: protokol za nadzor prenosa, analiza omrežnega prometa, protokolni analizator, skript
Published: 26.01.2018; Views: 1032; Downloads: 80
.pdf Full text (1,40 MB)

7.
Simulations of VoIP applications in INET framework
Sebastijan Horvatić, 2017, master's thesis

Abstract: 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.
Keywords: voice over internet protocol, performance analysis, simulation, real-time transport protocol, user datagram protocol
Published: 18.08.2017; Views: 713; Downloads: 88
.pdf Full text (3,86 MB)

8.
Akcijska logika dreves izvajanj z operatorjem unless
Robert Meolic, doctoral dissertation

Abstract: 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.
Keywords: formalne metode verifikacije sistemov, preverjanje modela, temporalna logika, doktorske disertacije, CTL, ACTL, ACTLW, diagnostika, problem medsebojnega izključevanja
Published: 04.08.2017; Views: 901; Downloads: 79
.pdf Full text (1,04 MB)

9.
Preverjanje pravilnosti obnašanja sistemov s sočasnostjo
Robert Meolic, master's thesis

Abstract: 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.
Keywords: formalne metode verifikacije, sistemi s sočasnostjo, procesne algebre, opazovalne ekvivalence, testne ekvivalence, simbolično preverjanje modelov, ACTL, BDD
Published: 04.08.2017; Views: 1647; Downloads: 60
.pdf Full text (1,10 MB)

10.
Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata
Tatjana Kapus, original scientific article

Abstract: 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.
Keywords: wireless personal area network, medium access control, hidden station, formal specification, probabilistic model checking
Published: 15.06.2017; Views: 611; Downloads: 277
.pdf Full text (2,25 MB)
This document has many files! More...

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