12. Liikenteenhallinta verkkotasolla

Samankaltaiset tiedostot
12. Liikenteenhallinta verkkotasolla

12. Liikenteenhallinta verkkotasolla

j n j a b a c a d b c c d m j b a c a d a c b d c c j

Kuvausta f sanotaan tällöin isomorfismiksi.

Sähkömagneettinen induktio

Neliömatriisin A determinantti on luku, jota merkitään det(a) tai A. Se lasketaan seuraavasti: determinantti on

58131 Tietorakenteet ja algoritmit (kevät 2015) Toinen välikoe, malliratkaisut

3.3 KIELIOPPIEN JÄSENNYSONGELMA Ratkaistava tehtävä: Annettu yhteydetön kielioppi G ja merkkijono x. Onko

S Laskennallinen systeemibiologia

Diskreetin matematiikan perusteet Laskuharjoitus 6 / vko 13

2.4 Pienimmän neliösumman menetelmä

T Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 5 Demonstraatiotehtävien ratkaisut. ja kaikki a Σ ovat säännöllisiä lausekkeita.

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016

763333A KIINTEÄN AINEEN FYSIIKKA Ratkaisut 1 Kevät 2014

4 DETERMINANTTI JA KÄÄNTEISMATRIISI

Vastaa tehtäviin 1-4 ja valitse toinen tehtävistä 5 ja 6. Vastaat siis enintään viiteen tehtävään.

2.6 SÄÄNNÖLLISET LAUSEKKEET Automaattimalleista poikkeava tapa kuvata yksinkertaisia kieliä. Olkoot A ja B aakkoston Σ kieliä. Perusoperaatioita:

6 Kertausosa. 6 Kertausosa

Syksyn 2015 Pitkän matematiikan YO-kokeen TI-Nspire CAS -ratkaisut

ICS-C2000 Tietojenkäsittelyteoria Kevät 2015

Q = {q 1, q 2, q 3, q 4 } Σ = {a, b} F = {q 4 },

OUML7421B3003. Jänniteohjattu venttiilimoottori KÄYTTÖKOHTEET TEKNISET TIEDOT OMINAISUUDET SOPIVAT VENTTIILIT TUOTETIEDOT. i OUV5049 i OUV5050

Automaattimalleista poikkeava tapa kuvata yksinkertaisia kieliä. Olkoot A ja B aakkoston Σ kieliä. Perusoperaatioita:

Demonstraatiot Luento

OUML6421B tilaohjattu venttiilimoottori KÄYTTÖKOHTEET TEKNISET TIEDOT OMINAISUUDET SOPIVAT VENTTIILIT TUOTETIEDOT

Riemannin integraalista

A ja B pelaavat sarjan pelejä. Sarjan voittaja on se, joka ensin voittaa n peliä.

Pythagoraan lause. Pythagoras Samoslainen. Pythagoraan lause

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 8: Integraalifunktio ja epäoleellinen integraali

LINSSI- JA PEILITYÖ TEORIAA. I Geometrisen optiikan perusaksioomat

Algoritmit 1. Luento 9 Ti Timo Männikkö

7.lk matematiikka. Geometria 1

Graafit ja verkot. Joukko solmuja ja joukko järjestämättömiä solmupareja. eli haaroja. Joukko solmuja ja joukko järjestettyjä solmupareja eli kaaria

Harjoitus 1 ( )

EDE Elementtimenetelmän perusteet. Luento vk 1 Syksy Matematiikan ja matriisilaskennan kertausta

Harjoitus 1 ( )

Diskreetin matematiikan perusteet Ratkaisut 4 / vko 11

Malliratkaisut Demot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 22. syyskuuta 2016

MS-A010{2,3,4,5} (SCI, ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 8: Integraalifunktio ja epäoleellinen integraali

VEKTOREILLA LASKEMINEN

T Kevät 2009 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (Predikaattilogiikka )

OSA 1: POLYNOMILASKENNAN KERTAUSTA, BINOMIN LASKUSÄÄNTÖJÄ JA YHTÄLÖNRATKAISUA

Polynomien laskutoimitukset

Runkovesijohtoputket

Painopiste. josta edelleen. x i m i. (1) m L A TEX 1 ( ) x 1... x k µ x k+1... x n. m 1 g... m n g. Kuva 1. i=1. i=k+1. i=1

Digitaalinen videonkäsittely Harjoitus 5, vastaukset tehtäviin 25-30

Matematiikan johdantokurssi, syksy 2017 Harjoitus 6, ratkaisuista. 1. Onko jokin demojen 5 tehtävän 3 relaatioista

OSI-malli. S Tietoliikenneverkot. Miksi kytketään. Välitys ja kytkeminen OSI-mallissa. /XHQWR.\WNHQWlMDUHLWLW\V

Graafinen ohjeisto. Julkis- ja yksityisalojen toimihenkilöliitto Jyty

Kirjallinen teoriakoe

Projektin itsearviointi. Työkirjapohjat

58131 Tietorakenteet ja algoritmit (syksy 2015) Toinen välikoe, malliratkaisut

Johdatus verkkoteoriaan 4. luento

missä t on matkaan raosta varjostimelle kuluva aika. Jos suihkun elektronien liikemäärä x- sunnassa on p x,on min y0min 0min

Laskennan mallit (syksy 2010) 1. kurssikoe, ratkaisuja

Reititys. Tietokoneverkot 2009 (4 op) Syksy Futurice Oy. Reititys. Jaakko Kangasharju.

Pinta-alan laskeminen

10. MÄÄRÄTYN INTEGRAALIN KÄYTTÖ ERÄIDEN PINTA-ALOJEN LASKEMISESSA

Tehtävä 1. Jatka loogisesti oheisia jonoja kahdella seuraavaksi tulevalla termillä. Perustele vastauksesi

VEKTOREILLA LASKEMINEN

( ) Pyramidi 4 Analyyttinen geometria tehtävien ratkaisut sivu 321 Päivitetty Saadaan yhtälö. 801 Paraabeli on niiden pisteiden ( x,

x k 1 Riemannin summien käyttö integraalin approksimointiin ei ole erityisen tehokasta; jatkuvasti derivoituvalle funktiolle f virhe b

Tasogeometriassa käsiteltiin kuvioita vain yhdessä tasossa. Avaruusgeometriassa tasoon tulee kolmas ulottuvuus, jolloin saadaan kappaleen tilavuus.

Kattoeristeet - nyt entistä parempia kokonaisratkaisuja. Entistä suurempi Kuormituskestävyys ja Jatkuva Keymark- Laadunvalvontajärjestelmä

VALTIOTIETEELLINEN TIEDEKUNTA TILASTOTIETEEN VALINTAKOE Ratkaisut ja arvostelu

Kognitiivinen mallintaminen I, kevät Harjoitus 1. Joukko-oppia. MMIL, luvut 1-3 Ratkaisuehdotuksia, MP

YRITYSTEN HENKILÖSTÖKOULUTUS

Johdatus graafiteoriaan

Algoritmi on periaatteellisella tasolla seuraava:

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016

6 Integraalilaskentaa

Näytä tai jätä tarkistettavaksi tämän jakson tehtävät viimeistään tiistaina ylimääräisessä tapaamisessa.

Verkkokerroksen palvelut. 4. Verkkokerros. Virtuaalipiiri (virtual circuit) connection-oriented ~ connectionless. tavoitteet.

58131 Tietorakenteet (kevät 2009) Harjoitus 11, ratkaisuja (Topi Musto)

100 % Kaisu Keskinen Diat

AUTOMAATTIEN SYNKRONISAATIOSTA

Vuokrahuoneistojen välitystä tukeva tietojärjestelmä.

13 Lyhimmät painotetut polut

Verkkokerroksen palvelut. 4. Verkkokerros. Virtuaalipiiri (virtual circuit) connection-oriented ~ connectionless. tavoitteet.

S Tietoliikenneverkot

4. Verkkokerros. sovelluskerros. kuljetuskerros. verkkokerros. siirtoyhteyskerros peruskerros. asiakas. end-to-end

Säännöllisten operaattoreiden täydentäviä muistiinpanoja

Määritelmä Olkoon C R m yksinkertainen kaari ja γ : [a, b] R m sen yksinkertainen parametriesitys, joka on paloittain C 1 -polku.

3 Mallipohjainen testaus ja samoilutestaus

Olkoon. M = (Q, Σ, δ, q 0, F)

Suorat, käyrät ja kaarevuus

Tee B-osion konseptiin etusivulle pisteytysruudukko! Muista kirjata nimesi ja ryhmäsi. Välivaiheet perustelevat vastauksesi!

Ristitulo ja skalaarikolmitulo

Harjoitus 3 ( )

Verkkokerroksen palvelut

R4 Harjoitustehtävien ratkaisut

Olkoon. äärellinen automaatti. Laajennetaan M:n siirtymäfunktio yksittäisistä syötemerkeistä merkkijonoihin: jos q Q, x Σ, merkitään

Sinilause ja kosinilause

3 Integraali ja derivaatta

Euroopan neuvoston puiteyleissopimus kulttuuriperinnön yhteiskunnallisesta merkityksestä

Matematiikan tukikurssi

Sarjaratkaisun etsiminen Maplella

BM20A5800 Funktiot, lineaarialgebra ja vektorit Harjoitus 4, Syksy 2016

Transkriptio:

luento12.ppt S-38.145 - Liikenneteorin perusteet - Kevät 2005 1

Sisältö Verkon topologi Liikennemtriisi Liikenteenhllint verkkotsoll Kuormntsus 2

Topologi Verkko muoostuu joukost solmuj j linkkejä Merk. solmujen joukko N:llä j ineksoin niitä n:llä Merk. linkkien joukko J:llä j ineksoin niitä j:llä Esimerkki: N = {,,,,e} J = {1,2,3,,12} 1 2 9 3 4 6 11 12 8 10 e 5 7 linkki 1 solmust solmuun linkki 2 solmust solmuun Merk. j :llä linkin j kpsiteetti (ps) 3

Polut Määritellään polku (= reitti) joukoksi peräkkäisiä linkkejä, jotk yhistävät kksi verkon solmu toisiins. Merk. polkujen joukko P:llä j ineksoin niitä p:llä Esimerkki: solmust solmuun kolme polku puninen polku käyttää linkkejä 1 j 3 1 2 9 3 4 6 11 12 8 10 e 5 7 vihreä polku käyttää linkkejä 11 j 6 sininen polku käyttää linkkejä 10, 8 j 6 4

Polkumtriisi Jokinen polku siis muoostuu joukost linkkejä Tätä yhteyttä kuv polkumtriisi A, joss komponentti jp = 1, jos j p eli linkki j kuuluu polulle p muuten jp = 0 Esimerkki: polkumtriisin kolme srkett 1 2 3 4 5 6 7 8 9 10 11 12 1 2 3 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 5

Lyhimmät polut Jos kullekin linkille j määritellään linkkipino w j, niin polun p pituus l p sn summn l p = w j j p Jos vkiopinot w j = 1, niin polun pituus = hyppyjen lkm Esimerkki: linkkipinot 1, lsketn siis hyppyjen lukumäärää solmust solmuun kksi lyhintä polku (pituus 2 hyppyä) w = 1 w = 1 w = 1 w = 1 w = 1 w = 1 w = 1 w = 1 w = 1 w = 1 w = 1 w = 1 e 6

Sisältö Verkon topologi Liikennemtriisi Liikenteenhllint verkkotsoll Kuormntsus 7

Liikenteen luonnehint Liikenne Piirikytkentäinen esim. puhelinliikenne Pkettikytkentäinen esim. tliikenne Linkki Verkko Linkki Verkko 8

Liikennemtriisi (1) Liikennettä verkkotsoll kuvtn liikennemtriisill T, joss komponentti t nm kertoo liikennetrpeen (ps) lähesolmust n määränpääsolmuun m Aggregtti kikist voist joill sm lähe j määränpää t Aggregtti myös ik-kselill: liikenteen keskirvo määrätyllä ikjksoll, esim. kiiretunnin ikn ti tyypillisen 5 minuutin jksoss e Esimerkki: Liikennetrve lähteestä määränpäähän on t (ps) 9

Liikennemtriisi (2) Jtkoss esitämme liikennetrpeet myös vektorimuooss Sitä vrten ineksoimme lähemääränpää-prit eli OD-prit. Merk. OD-prien joukko K:llä j ineksoin niitä k:ll Liikennetrpeet voin tällöin esittää vektorin x, missä x k komponentti x k kertoo OD-prin k liikennetrpeen e Esimerkki: jos OD-prin (,) ineksi on k, niin x k = t 10

Sisältö Verkon topologi Liikennemtriisi Liikenteenhllint verkkotsoll Kuormntsus 11

Liikennekuormn hllint j verkon suunnittelu Liikennekuormn hllint (trffi engineering) = Engineer the trffi to fit the topology Jos topologi j linkkien kpsiteetit on kiinnitetty j liikennemtriisi tunnetn, miten nämä liikennetrpeet pitäisi reitittää läpi verkon? Verkon suunnittelu (network esign) = Engineer the topology to fit the trffi 12

Reitityksen vikutus kuormn jkntumiseen Reitityslgoritmi määrää, miten eri liikennetrpeet kuormittvt verkon linkkejä IP-verkkojen reititysprotokollt (RIP, OSPF, BGP) käyttävät lyhimmän polun lgoritmej (Bellmn-For, Dijkstr) MPLS-verkoiss myös muut lgoritmit mhollisi Trkemmin snottun: reitityslgoritmi määrää liikennetrpeien x k jkosuhteet φ pk eri poluille p, φ=1/2 x φ=1/2 φ=0 e p P φ pk =1 kikille k 13

Linkkikuormt OD-pri k yhistävälle polulle p tulev liikenne on siis φ pk x k Liikennetrpeet x k j jkosuhteet φ pk yhessä määräävät eri linkeille j tulevt linkkikuormt y j : y j = p P k K jp φ pk Sm mtriisimuooss: x k x y = 0 e y = 0 y = Aφx 14

MPLS MPLS (Multiprotool Lel Swithing) tukee liikenteen jkmist rinnkkisille poluille MPLS-verkoiss kunkin OD-prin välille voin vpsti luo rinnkkisi polkuj eli LSP:itä (Lel Swithe Pth) Näien polkujen ei trvitse oll lyhimpiä polkuj Kutkin LSP:tä vst tunnus (lel) j kusskin MPLS-pketiss on tällinen polun ilmisev tunnus MPLS-pketit reititetään näitä tunnuksi käyttäen läpi verkon Kuormn jkutumiseen voin vikutt muuttmll suorn jkosuhteit φ pk lähesolmuiss 15

OSPF (1) OSPF (Open Shortest Pth First) on lueen sisäinen (intromin) reititysprotokoll IP-verkoiss Linkkitilprotokoll (Link Stte Protool) Jokinen lueen solmu kertoo etäisyytensä npurisolmuihins Nämä etäisyyet toimivt linkkipinoin lyhimmän polun lgoritmiss Näistä tieoist jokinen solmu rkent itselleen koko lueen topologin Ko. topologi määrää lyhimmät polut kyseisestä solmust kuhunkin kohesolmuun Lyhimmän polun lgoritmin Dijkstr IP-pketit reititetään näitä lyhyimpiä polkuj pitkin 16

OSPF (2) OSPF:ssä yleensä käytössä ECMP (Equl Cost Multipth) Jos solmust n useit lyhimpiä polkuj solmuun m, niin liikenne pyritään jkmn tsn niien solmust n lähtevien linkkien välillä, jotk kuuluvt johonkin näistä lyhimmistä poluist Tästä ei kuitenkn seur, että liikenne jkutuisi tsn rinnkkisten lyhimpien polkujen välille! Kts. seurvn klvon esimerkkiä. Kuormn jkutumiseen voin vikutt vin epäsuorsti muuttmll linkkipinoj jkosuhteit φ pk ei voi suorn muutt ECMP:n vuoksi hluttuj jkosuhteit φ pk ei välttämättä svutet 17

ECMP y = x/4 y = x/4 x y = x/4 e y = x/4 g f φ = 1/4 φ = 1/4 φ = 1/2 e f g 18

Linkkipinojen vikutus kuormn jkntumiseen (1) mksimlinen linkkikuorm w = 1 w = 1 w = 1 w = 1 w = 1 x w = 1 w = 1 x w = 1 w = 1 w = 1 w = 1 w = 1 e φ = 1/2 φ = 1/2 φ = 1 e y = 3x/2 y = x e 19

Linkkipinojen vikutus kuormn jkntumiseen (2) mksimlinen linkkikuorm w = 1 w = 1 w = 1 w = 1 w = 1 x w = 1 w = 1 x w = 2 w = 1 w = 1 w = 1 w = 2 e φ = 1/2 φ = 1/2 φ = 1/2 e φ = 1/2 y = x y = x e linkkipino ksvtettu 20

Sisältö Verkon topologi Liikennemtriisi Liikenteenhllint verkkotsoll Kuormntsus 21

Kuormntsusongelm (1) Jos verkon topologi j liikennemtriisi ovt tieoss, niin miten liikenne knnttisi reitittää verkkoon? Eräs järkevä tp on pyrkiä tsmn eri linkkien suhteellinen kuorm ρ j = y j / j Joskus se onnistuu usellkin eri tvll (kuten yläkuvss) Joskus ts se ei ole ollenkn mhollist (kuten lkuvss) Tällöin voimme kuitenkin pyrkiä niin lähelle tsjko kuin mhollist, esim. minimoimll suhteellisten kuormien mksimi (ns. kuormntsusongelm) x = 1 = 1 = 1 = 1 e = 1 g = 1 = 1 = 1 f = 1 x = 1 = 1 = 1 = 1 = 2 22

Kuormntsusongelm (2) Kuormntsusongelm: Olkoon (N,J) verkon topologi, j linkkikpsiteetit sekä x k liikennetrpeet. Tvoitteen on määrätä jkosuhteet φ pk siten, että suhteellisten linkkikuormien mksimi minimoituu Minimize sujet to y φ mx j J j p P pk = φ y j j 0 = 1 p P k K pk A jp φ pk x k j J k K p P, k K 23

Kuormntsusongelm (3) Kuormntsusongelmll on in rtkisu, mutt rtkisu ei välttämättä ole yksikäsitteinen Esimerkki: sm mksimikuormn minimi svutetn eripituisill reiteillä näistä ylempi rtkisu on tietysti resurssien kokoniskäytön knnlt järkevämpi Järkevään yksikäsitteiseen rtkisuun päästään lisäämällä (häviävän) pieni kustnnus polun jokisest käytetystä hypystä x y = 0 e x y = 0 e y = 0 24

25 Kuormntsusongelm (4) Järkevä yksikäsitteinen kuormntsusongelm: Olkoon (N,J) verkon topologi, j linkkikpsiteetit sekä x k liikennetrpeet. Tvoitteen on määrätä jkosuhteet φ pk siten, että suhteellisten linkkikuormien mksimi minimoituu pienimmällä mhollisell kokonisliikenteellä = = + K k P p K k J j x A y y pk P p pk P p K k k pk jp j J j j y J j j j, 0 1 sujet to mx Minimize φ φ φ ε

Esimerkki (1): optimlinen rtkisu = 2 = 2 = 2 = 2 = 2 x = 2 = 1 = 1 = 2 = 2 = 2 = 2 e φ = 1/2 φ = 1/4 φ = 1/4 e ρ = x/4 ρ = x/4 ρ = x/4 ρ = x/8 e ρ = x/4 ρ = x/8 26

Esimerkki (2): linkkipinot w = 1 w = 1 w = 1 w = 1 w = 1 w = 1 x w = 1 w = 1 w = 1 w = 1 w = 1 w = 1 w = 1 e φ = 1/2 φ = 1/2 e ρ = x/4 ρ = x/4 ρ = x/2 e ρ = x/4 27

Esimerkki (3): optimliset linkkipinot w = 1 w = 2 w = 2 w = 1 w = 1 x w = 1 w = 3 w = 3 w = 1 w = 1 w = 1 w = 1 e φ = 1/2 φ = 1/2 e ρ = x/4 ρ = x/4 ρ = x/4 e ρ = x/4 ρ = x/4 28

THE END 29