1. Johdanto. Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
|
|
- Pia Laaksonen
- 6 vuotta sitten
- Katselukertoja:
Transkriptio
1 1. Johdanto Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
2 1.1. Lähtökohta Keskeisiä käsitteitä: siirtymäsysteemit spesiointikielet Estelle (vanhempi spesiointikieli, paljon Pascalin piirteitä) Prosessialgebroihin perustuvia: Lotos CCS (A Calculus of Communicating Systems, Milner) CSP (Communicating Sequential Processes, Hoare) Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
3 1.2. Yhteistilaverkko Hajautetun algoritmin yksittäinen prosessi usein yksnkertainen Usean prosessin muodostamaa systeemiä voi olla hankala analysoida Hajautetussa järjestelmässä uudenlaisia virhetilanteita: lukkiumia eläviä lukkiumia Reiluus Lomitusemantiikkaa Yhteistilaverkon tilaräjähdys Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
4 1.3. Ekvivalenssipohjainen veriointi Miten yhteistilaverkosta voi löytää virheitä: Lukkiumat paljastuvat jo yhteistilaverkkoa muodostettaessa Elävät lukkiumat vastaavat yhteistilaverkon komponentteja, joista ei päästä enää takaisin pääsykliin, esimerkiksi alkutilaan. Tällaiset lukkiumat löydetään vaikkapa syvyyssuuntaisen etsinnän avulla. On kuitenkin virhetilanteita, joita on vaikea nähdä pelkästään yhteistilaverkkoa analysoimalla. Esimerkiksi voi olla haitallista, jos tietyt tapahtumat sattuvat väärässä järjestyksessä. Väärän järjestyksen havaitseminen edellyttää, että yhteistilaverkon suoritusjälkiä verrataan sallittuihin suoritusjälkiin. Sallitut suoritusjäljet täytyy esittää jollakin tavalla. Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
5 Ekvivalenssipohjaiseen verioinnin lähtökohta: Systeemin toimintaa voidaan usein kuvata ulkopuolisen havaitsijan kannalta Havaitsija näkee vain sen, mitä tapahtuu systeemin, tai oikeammin tässä yhteydessä protokollan, rajapinnalla sen kommunikoidessa protokollaa käyttävien prosessien kanssa Rajapinnan toimintaa voidaan myös kuvata siirtymäsysteemillä Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
6 Eksivalenssipohjaisessa verioinnissa pyritään osoittamaan, että protokolla täyttää palvelun. Miten? Protokollan toiminta mallinnetaan ensin jollain spesiointikielellä. (Jokainen protokollan prosessi, esimerkiksi lähettäjä, vastaanottaja ja ajastin, kuvataan spesiointikielellä) Muodostetaan systeemiä vastaava yhteistilaverkko (iso siirtymäsysteemi, muodostetaan ohjelmistolla) Yhteistilaverkon kaarissa näkyvät tapahtumat, jotka protokolla suorittaa. (tapahtumista piilotetaan kaikki muut kuin rajapinnan tapahtumat) Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
7 1.4. Mallintarkistus Vaihtoehto ekvivalenssipohjaiselle verioinnille Miten? Aikalogiikan kaavoilla ilmaistaan systeemiltä vaadittavat ominaisuudet Rakennetaan systeemistä malli (siirtymäsysteemi tai verkko) Tutkitaan, pätevätkö logiikan kaavat tuossa mallissa Kaksi tunnetuinta ja useimmiten käytettyä logiikkaa ovat: Lineaarisen ajan logiikka (LTL, Linear Time Logic) Haarautuvan ajan logiikka (CTL, Computation Tree Logic). Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
8 1.5. Käytännön kokemuksia Sovellukset ovat pääsiassa syntyneet yliopistojen tutkimusprojekteissa. Teollisuus on jossain määrin kiinnostunut formaaleista menetelmistä (Intel, piirisuunnittelu) Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
9 2. Tilasiirtymäsysteemit Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
10 2.1. Vuorottelevan bitin protokolla Vuorottelevan bitin protokolla (alternating bit protocol, AB-protokolla): Lähettäjäprosessi S ja vastaanottajaprosessi R vaihtavat sanomia virhealttiin vuorosuuntaisen kanavan välityksellä. Vuorosuuntainen kanava sallii sanomien lähettämisen yhteen suuntaan kerrallaan, mutta ei molempiin suuntiin yhtäaikaa. Kanava voi vääristää tai hukata minkä tahansa sen kautta lähetetyn sanoman. Sanomien järjestys säilyy kanavassa. Kanava ei monista sanomia. Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
11 Sanoman vastaanottaja pystyy erottelemaan vääristyneet sanomat virheettömistä esimerkiksi CRC-kentän avulla niin suurella todennäköisyydellä, että seuraavissa tarkasteluissa voidaan olettaa kaikkien vääristyneiden sanomien paljastuvan. Vastaanottajaprosessi R kuittaa virheettömänä perille saapuneen datasanoman d S:lle kuittauksella a. (Negatiiviset kuittaukset eivät ole käytössä; vääristynyt sanoma ei aiheuta kuittaustoimenpidettä.) Siten protokollan perustoimintaa voidaan kuvata kaaviolla S a a d d.. R Lähettäjän täytyy siis odottaa kuittausta, ennen kuin se lähettää uuden sanoman. Ongelma: Mitä tapahtuu jos kuittaus häviää? Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
12 Lähettäjä ei lähetä enää mitään, vaikka uusia datasanomia olisikin odottamassa lähettämistä Ratkaisu: Ajastin, joka laukeaa, jos kuittausta ei kuulu tietyn ajan kuluessa Eräs protokollaan liittyvä skenaario voisi olla nyt seuraava: a d S timeout a d a d R Tulee kuittaussanomien käytöstä uusia ongelmia? Entä jos kuittaus häviää? Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
13 Monistumisriski: S saattaa lähettää datasanoman d uudestaan arvellen sen tulleen hylätyksi linjavirheen vuoksi, vaikka d onkin tullut virheettömänä perille. Ratkaisu: Numeroidaan sanomat (numerot 0 ja 1 riittää) Siten edellinen skenaario tuleekin kirjoittaa muodossa: d0 a0 S timeout d1 a1 d1 a1 R Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
14 Mallinnetaan seuraavaksi lähettäjä ja vastaanottaja siirtymäsysteemeinä. Mallinnuksessa täytyy ratkaista aluksi muutamia yksityiskohtia: Merkitäänkö kunkin tapahtuman yhteyteen, onko se lähetys- vai vastaanottotapahtuma? Siirtymäsysteemissä ei merkitä tapahtumiin, ovatko ne lähetyksiä vai vastaanottoja. (Vasta spesiointikielessä) Miten ajastin mallinnetaan? Tällä kertaa yhdellä siirtymällä lähettäjäprosessissa. Miten mallinnetaan sanoman katoaminen tai vääristyminen? Sisäisellä tapahtumalla τ Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
15 Lisäksi käytämme epädeterminismiä. Näillä sopimuksilla lähettäjä S ja vastaanottaja R ovat tilasiirtymäkaavioina: d1 R1 a1 τ R4 d1 S1 a1 S4 d0 d1 t d0 τ t d1 τ R2 a0 τ R3 S2 a0 S3 d0 d0 Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
16 2.2. Asiakas/palvelin-systeemi Järjestelmä koostuu: Palvelinprosessista S Asiakasprosesseista C i, i = 1,, n Asiakas C i pyytää palvelua S:ltä sanomalla csi. S lähettää vastauksen sbi puskuriin B i. Asiakas C i voi noutaa vastauksen sanoman bci avulla. Protokolla noudattaa round robin-periaatetta. Tämä tarkoittaa, että vuoromerkki kiertää asiakkaalta toiselle. Aina kun asiakas saa vuoromerkin, se pyytää palvelua. Tämän Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
17 jälkeen se luovuttaa vuoromerkin seuraavalle. Vuoromerkki toteutetaan sanomien avulla. Kun asiakas C i vastaanottaa sanoman ti, se voi pyytää palvelua. Tämän jälkeen se lähettää sanoman t(i + 1) asiakkaalle C i+1. Yhteenlasku tässä tapauksessa tulkitaan niin, että n + 1 = 1. Asiakas C i siirtymäsysteeminä: t(i+1) C4 bci C1 ti C2 csi C3 bci C5 t(i+1) Alkutila on C1 paitsi C 1 :ssä, jossa se on C2. Tällöin round robin alkaa C 1 :stä. Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
18 Palveluprosessi S ja puskuriprosessi B i : S1 cs1 sb1 sbn cs2 Sn S0 S2.. csn sb3. S3 cs3 sb2 B1 sbi bci B2 Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
19 2.3. Tilasiirtymäsysteemin määritelmä Lähtökohtana on malli, jossa hajautettu järjestelmä koostuu kahdesta tai useammasta prosessista. Prosessilla tarkoitetaan tässä yhteydessä suurin piirtein samaa kuin käyttöjärjestelmien yhteydessä: Prosessi on ohjelma, jonka suoritus on alkanut, mutta ei vielä pysähtynyt. Samasta koodista voidaan synnyttää useita prosesseja. Prosessi etenee diskreetein askelin tilasta toiseen; tila määräytyy muuttujien arvoista ja seuraavaksi suoritettavasta käskystä (tai käskyistä sallimme kuvauksissa epädeterminismin). Prosessin eteneminen tapahtuu suorittamalla jokin tapahtuma, joka voi olla esimerkiksi sisäinen laskenta (muuttujien päivitys yms.), Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
20 sanoman lähetys tai vastaanotto, jokin muu tapahtuma, jossa on mukana toisia prosesseja. Esimerkki viimeksi mainitusta on mm. synkronointi. Synkronointia voi tietenkin tapahtua myös lähetyksen ja vastaanoton yhteydessä. Yleensä hajautettujen järjestelmien kuvaus siirtymäsysteemeillä tapahtuu korkealla abstraktiotasolla. Se tarkoittaa käytännössä, että huomiota kiinnitetään ennen kaikkea prosessien keskinäiseen kommunikointiin. Prosessien sisäistä toimintaa pyritään pelkistämään usein mahdollisimman paljon. Spesiointikielet tosin tarjoavat välineitä monipuoliseen sisäisen laskennan kuvaamiseenkin, kun taas tavallisen siirtymäsysteemin yhteydessä sisäinen laskenta täytyy häivyttää melko täydellisesti. Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
21 Määritelmä 1. Siirtymäsysteemi on rakenne (S, A,, s 0 ), missä S on tilojen joukko; A on tapahtumien joukko, joka myös sisältää näkymättömän tai sisäisen tapahtuman τ ; S A S on siirtymärelaatio; s 0 on alkutila. Usein S ja A ovat äärellisiä, mutta periaatteessa ne voivat olla myös numeroituvasti äärettömiä. A:n alkiot edustavat tapahtumia, joiden yhteydessä prosessit eli tässä tilasiirtymäsysteemit vaihtavat tietoa. Huomattakoon, että tässä formalismissa ei yksittäisen prosessin yhteydessä erotella, onko kysymyksessä lähetys vai vastaanotto. Siirtymäsysteemi voitaisiin määritellä niin, että tämä otettaisiin huomioon, mutta tavoitteenamme on Lotosta vastaavat siirtymäsysteemit, joissa riittää yllä esitetty rakenne. Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
22 Siirtymäsysteemistä voidaan lukea, miten prosessi etenee suorituksen aikana. Toiminta lähtee liikkeelle alkutilasta s 0. Siirtymärelaatio määrittelee, mitkä vaihtoehdot tilassa tulevat seuraavaksi suoritusvuoroon. Tilasiirtymäsysteemien käyttö hajautetujen järjestelmien kuvaamisessa käy parhaiten selville esimerkeistä, joista pari on jo esitelty. Ensimmäisen luvun lopuksi esitellään vielä merkintöjä, joita tarvitaan jatkossa. 1. Jos siirtymäsysteemissä (s 1, a, s 2 ), niin tavallisesti kirjoitetaan s 1 a s Jos tilasta s 1 alkaa τ -polku s 1 τ τ τ s 2 s n, ε ε niin merkitään s 1 = s n. Merkintä = käsittää myös tapauksen, että tilasta ei siirrytä mihinkään. Siis aina pätee s 1 ε = s Merkintä s 1 τ = s n tarkoittaa, että s 1 = s k s r = s n. ε τ ε Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
23 4. Tapahtumajono u = a 1 a 2 a n johtaa tilasta r tilaan s, jos on olemassa polku Tällöin merkitään r u = s. r= r ε a 1 ε a 1 s 1 = r 2 ε ε a 2 s 2 = = r n ε n s n = s. Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
Tehtävä 2: Tietoliikenneprotokolla
Tehtävä 2: Tietoliikenneprotokolla Johdanto Tarkastellaan tilannetta, jossa tietokone A lähettää datapaketteja tietokoneelle tiedonsiirtovirheille alttiin kanavan kautta. Datapaketit ovat biteistä eli
Lisätiedot3. Yhteistilaverkko. Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
3. Yhteistilaverkko Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki 2008 1 3.1. Johdanto Koko systeemiäkin voidaan kuvata yhdellä siirtymäsysteemillä, yhteistilaverkolla Yhteistilaverkon tilaksi
LisätiedotJaetun muistin muuntaminen viestin välitykseksi. 15. lokakuuta 2007
Jaetun muistin muuntaminen viestin välitykseksi Otto Räsänen 15. lokakuuta 2007 1 Motivaatio 2 Valtuuden välitys Peruskäsitteitä 3 Kolme algoritmia Valtuuden välitys käyttäen laskuria ilman ylärajaa Valtuuden
LisätiedotT Rinnakkaiset ja hajautetut digitaaliset järjestelmät Prosessialgebra
T-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät Prosessialgebra 19. maaliskuuta 2002 T-79.179: Prosessialgebra 9-1 Petri-verkot vastaan prosessialgebra Petri-verkot esittävät rinnakkaisia
LisätiedotT Rinnakkaiset ja hajautetut digitaaliset järjestelmät Prosessialgebra
T-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät Prosessialgebra 24. maaliskuuta 2003 T-79.179: Prosessialgebra 9-1 Taustaa Rinnakkaiset ja hajautetut järjestelmät koostuvat usein melko irrallisista
LisätiedotMonimutkaisempi stop and wait -protokolla
Monimutkaisempi stop and wait -protokolla Lähettäjä: 0:A vastaanottaja: ajastin lähettäjälle jos kuittausta ei kuulu, sanoma lähetetään automaattisesti uudelleen kuittaus: = ok, lähetä seuraava uudelleenlähetys
LisätiedotKonsensusongelma hajautetuissa järjestelmissä. Niko Välimäki Hajautetut algoritmit -seminaari
Konsensusongelma hajautetuissa järjestelmissä Niko Välimäki 30.11.2007 Hajautetut algoritmit -seminaari Konsensusongelma Päätöksen muodostaminen hajautetussa järjestelmässä Prosessien välinen viestintä
LisätiedotMonimutkaisempi stop and wait -protokolla
Monimutkaisempi stop and wait -protokolla ajastin lähettäjälle jos kuittausta ei kuulu, sanoma lähetetään automaattisesti uudelleen kuittaus: ACK = ok, lähetä seuraava uudelleenlähetys synnyttää kaksoiskappaleita!
LisätiedotItsestabilointi: perusmääritelmiä ja klassisia tuloksia
Itsestabilointi: perusmääritelmiä ja klassisia tuloksia Jukka Suomela Hajautettujen algoritmien seminaari 12.10.2007 Hajautetut järjestelmät Ei enää voida lähteä oletuksesta, että kaikki toimii ja mikään
LisätiedotOngelma 1: Ovatko kaikki tehtävät/ongelmat deterministisiä?
Ongelma 1: Ovatko kaikki tehtävät/ongelmat deterministisiä? 2013-2014 Lasse Lensu 2 Ongelma 2: Milloin ongelmat muuttuvat oikeasti hankaliksi? 2013-2014 Lasse Lensu 3 Ongelma 3: Miten hankalia ongelmia
LisätiedotMonimutkaisempi stop and wait -protokolla
Monimutkaisempi stop and wait -protokolla ajastin lähettäjälle jos kuittausta ei kuulu, sanoma lähetetään automaattisesti uudelleen kuittaus: ACK = ok, lähetä seuraava uudelleenlähetys synnyttää kaksoiskappaleita!
Lisätiedot» multiaccess channel» random access channel LAN (Ethernet) langaton. ongelma: käyttövuoron jakelu Yhteiskäyttöisen kanavan käyttö
4. MAC-alikerros yleislähetys (broadcast)» multiaccess channel» random access channel LAN (Ethernet) langaton ongelma: käyttövuoron jakelu 29.9.2000 1 Mitä käsitellään? Yhteiskäyttöisen kanavan käyttö
Lisätiedot4. MAC-alikerros. yleislähetys (broadcast) ongelma: käyttövuoron jakelu. » multiaccess channel» random access channel LAN (Ethernet) langaton
4. MAC-alikerros yleislähetys (broadcast)» multiaccess channel» random access channel LAN (Ethernet) langaton ongelma: käyttövuoron jakelu 29.9.2000 1 Mitä käsitellään? Yhteiskäyttöisen kanavan käyttö
LisätiedotJohdatus matemaattiseen päättelyyn
Johdatus matemaattiseen päättelyyn Maarit Järvenpää Oulun yliopisto Matemaattisten tieteiden laitos Syyslukukausi 2015 1 Merkintöjä 2 Todistamisesta 2 3 Joukko-oppia Tässä luvussa tarkastellaan joukko-opin
LisätiedotStabiloivat synkronoijat ja nimeäminen
Stabiloivat synkronoijat ja nimeäminen Mikko Ajoviita 2.11.2007 Synkronoija Synkronoija on algoritmi, joka muuntaa synkronoidun algoritmin siten, että se voidaan suorittaa synkronoimattomassa järjestelmässä.
LisätiedotJaetun muistin muuntaminen viestinvälitykseksi
Jaetun muistin muuntaminen viestinvälitykseksi Otto Räsänen Helsinki 10.10.2007 Hajautetut algoritmit -seminaarin kirjallinen työ HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos Sisältö i 1 Johdanto
LisätiedotLogiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.
TIE303 Formaalit menetelmät, kevät 2005 Logiikan kertausta Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, 2005-01-27 p. 1/17 Luento2Luentomoniste
LisätiedotYleistä. Esimerkki. Yhden palvelimen jono. palvelin. saapuvat asiakkaat. poistuvat asiakkaat. odotushuone, jonotuspaikat
J. Virtamo 38.3143 Jonoteoria / Jonojärjestelmät 1 JONOJÄRJESTELMÄT Yleistä Jonojärjestelmät muodostavat keskeisen mallinnuksen välineen mm. tietoliikenne- ja tietokonejärjestelmien suorituskyvyn analysoinnissa.
LisätiedotTuringin koneen laajennuksia
Turingin koneen laajennuksia Turingin koneen määritelmään voidaan tehdä erilaisia muutoksia siten että edelleen voidaan tunnistaa tasan sama luokka kieliä. Moniuraiset Turingin koneet: nauha jakautuu k
LisätiedotT Rinnakkaiset ja hajautetut digitaaliset järjestelmät Aikalogiikka
T-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät Aikalogiikka 24. helmikuuta 2003 T-79.179: Aikalogiikka 5-1 Aikalogiikka Yksinkertaisiltakin näyttävien järjestelmien saavutettavuusgraafeissa
Lisätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2018-2019 1. Algoritmeista 1.1 Algoritmin käsite Algoritmi keskeinen laskennassa Määrittelee prosessin, joka suorittaa annetun tehtävän Esimerkiksi Nimien järjestäminen aakkosjärjestykseen
LisätiedotMS-A0207 Differentiaali- ja integraalilaskenta 2 (Chem) Yhteenveto, osa I
MS-A0207 Differentiaali- ja integraalilaskenta 2 (Chem) Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 21. tammikuuta 2016 G. Gripenberg (Aalto-yliopisto) MS-A0207 Differentiaali- ja integraalilaskenta
LisätiedotKela Kanta-palvelut Terveydenhuollon todistusten välitys Toiminnalliset prosessit
Kela Kanta-palvelut 19.5.2016 Terveydenhuollon todistusten välitys Toiminnalliset prosessit Kela Kanta-palvelut 19.5.2016 Sisällys 1 Johdanto... 2 2 Todistuksen välitys vastaanottokäynnin yhteydessä (perusprosessi)3
LisätiedotOngelma 1: Ovatko kaikki tehtävät/ongelmat deterministisiä?
Ongelma 1: Ovatko kaikki tehtävät/ongelmat deterministisiä? 2012-2013 Lasse Lensu 2 Ongelma 2: Milloin ongelmat muuttuvat oikeasti hankaliksi? 2012-2013 Lasse Lensu 3 Ongelma 3: Miten hankalia ongelmia
Lisätiedotkynnysarvo (threshold) varoitusarvo = tästä lähtien syytä varoa ruuhkaa aluksi 64 K RTT
kynnysarvo (threshold) varoitusarvo = tästä lähtien syytä varoa ruuhkaa aluksi 64 K kynnysarvoon saakka voidaan kasvattaa ruuhkaikkunaa eksponentiaalisesti kynnysarvon saavuttamisen jälkeen kasvatetaan
LisätiedotAlgoritmit 1. Luento 9 Ti Timo Männikkö
Algoritmit 1 Luento 9 Ti 7.2.2017 Timo Männikkö Luento 9 Graafit ja verkot Kaaritaulukko, bittimatriisi, pituusmatriisi Verkon lyhimmät polut Floydin menetelmä Lähtevien ja tulevien kaarien listat Forward
LisätiedotItsestabiloivabysanttilainen yhteisymmärrys. Timo Virkkala
Itsestabiloivabysanttilainen yhteisymmärrys Timo Virkkala Ongelma Päätöksenteko Yksi lähettää arvon Kaikki yrittävät päästä yhteisymmärrykseen Transientit virheet Ratkaisu: Itsestabilointi Bysanttilaiset
Lisätiedot3. Kuljetuskerros 3.1. Kuljetuspalvelu
End- to- end 3. Kuljetuskerros 3.1. Kuljetuspalvelu prosessilta prosessille looginen yhteys portti verkkokerros koneelta koneelle IP-osoite peittää verkkokerroksen puutteet jos verkkopalvelu ei ole riittävän
Lisätiedotkynnysarvo (threshold)
kynnysarvo (threshold) varoitusarvo = tästä lähtien syytä varoa ruuhkaa aluksi 64 K kynnysarvoon saakka voidaan kasvattaa ruuhkaikkunaa eksponentiaalisesti kynnysarvon saavuttamisen jälkeen kasvatetaan
Lisätiedotkynnysarvo (threshold)
kynnysarvo (threshold) varoitusarvo = tästä lähtien syytä varoa ruuhkaa aluksi 64 K kynnysarvoon saakka voidaan kasvattaa ruuhkaikkunaa eksponentiaalisesti kynnysarvon saavuttamisen jälkeen kasvatetaan
LisätiedotOhje EmvCard -ohjelmistoon tehtävistä asetusmuutoksista OP-korttitilityspalvelun siirtyessä OP-Pohjolan lisensseille
Ohje 1 Ohje EmvCard -ohjelmistoon tehtävistä asetusmuutoksista OP-korttitilityspalvelun siirtyessä OP-Pohjolan lisensseille Nets Oy Helsinki 00050 Puh. +358 9 696 41 www.ntes.fi Y-tunnus Nets etunimi.sukunimi@nets.eu
LisätiedotMiten osoitetaan joukot samoiksi?
Miten osoitetaan joukot samoiksi? Määritelmä 1 Joukot A ja B ovat samat, jos A B ja B A. Tällöin merkitään A = B. Kun todistetaan, että A = B, on päättelyssä kaksi vaihetta: (i) osoitetaan, että A B, ts.
LisätiedotKannan vektorit siis virittävät aliavaruuden, ja lisäksi kanta on vapaa. Lauseesta 7.6 saadaan seuraava hyvin käyttökelpoinen tulos:
8 Kanta Tässä luvussa tarkastellaan aliavaruuden virittäjävektoreita, jotka muodostavat lineaarisesti riippumattoman jonon. Merkintöjen helpottamiseksi oletetaan luvussa koko ajan, että W on vektoreiden
LisätiedotTietotekniikan valintakoe
Jyväskylän yliopisto Tietotekniikan laitos Tietotekniikan valintakoe 2..22 Vastaa kahteen seuraavista kolmesta tehtävästä. Kukin tehtävä arvostellaan kokonaislukuasteikolla - 25. Jos vastaat useampaan
Lisätiedot1 Kertaus. Lineaarinen optimointitehtävä on muotoa:
1 Kertaus Lineaarinen optimointitehtävä on muotoa: min c 1 x 1 + c 2 x 2 + + c n x n kun a 11 x 1 + a 12 x 2 + + a 1n x n b 1 a 21 x 1 + a 22 x 2 + + a 2n x n b 2 (11) a m1 x 1 + a m2 x 2 + + a mn x n
LisätiedotRekursiolause. Laskennan teorian opintopiiri. Sebastian Björkqvist. 23. helmikuuta Tiivistelmä
Rekursiolause Laskennan teorian opintopiiri Sebastian Björkqvist 23. helmikuuta 2014 Tiivistelmä Työssä käydään läpi itsereplikoituvien ohjelmien toimintaa sekä esitetään ja todistetaan rekursiolause,
LisätiedotOngelma(t): Miten tietokoneen käyttöjärjestelmä toimii sisäisesti, jotta resurssit saadaan tehokkaaseen käyttöön?
Ongelma(t): Miten tietokoneen käyttöjärjestelmä toimii sisäisesti, jotta resurssit saadaan tehokkaaseen käyttöön? 2013-2014 Lasse Lensu 2 Systeemiohjelmat ovat tietokoneen laitteistoa lähellä olevia ohjelmia,
Lisätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2016-2017 1. Algoritmeista 1.1 Algoritmin käsite Algoritmi keskeinen laskennassa Määrittelee prosessin, joka suorittaa annetun tehtävän Esimerkiksi Nimien järjestäminen aakkosjärjestykseen
LisätiedotLuonnollisten lukujen ja kokonaislukujen määritteleminen
Luonnollisten lukujen ja kokonaislukujen määritteleminen LuK-tutkielma Jussi Piippo Matemaattisten tieteiden yksikkö Oulun yliopisto Kevät 2017 Sisältö 1 Johdanto 2 2 Esitietoja 3 2.1 Joukko-opin perusaksioomat...................
LisätiedotFormalisoimme nyt edellä kuvatun laskennan.
Formalisoimme nyt edellä kuvatun laskennan. Jos M = (Q, Σ, δ, q, F ) on äärellinen automaatti ja w = w... w n on n merkkiä pitkä aakkoston Σ merkkijono, niin automaatti M hyväksyy merkkijonon w, jos on
LisätiedotSähköisten aineistojen välityspalvelu (Liite 2)
Sähköisten aineistojen välityspalvelu (Liite 2) 1. Nykytila...2 1.1 Ostolaskut...2 1.2 Myyntilaskut (tulostuspalvelu)...2 1.3 Palkkalaskelmat (tulostuspalvelu)...2 2. Tavoitetila...2 2.1 Sähköisten ostolaskujen
LisätiedotStabilointi. arvosana. arvostelija. Marja Hassinen
hyväksymispäivä arvosana arvostelija Stabilointi Marja Hassinen Helsinki 28.10.2007 Hajautetut algoritmit -seminaari HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos Sisältö 1 1 Johdanto 1 2 Resynkroninen
LisätiedotLUKUTEORIA johdantoa
LUKUTEORIA johdantoa LUKUTEORIA JA TODISTAMINEN, MAA11 Lukuteorian tehtävä: Lukuteoria tutkii kokonaislukuja, niiden ominaisuuksia ja niiden välisiä suhteita. Kokonaislukujen maailma näyttää yksinkertaiselta,
LisätiedotPANKKILINJAN FTP - KUVAUS
PANKKILINJAN FTP - KUVAUS 2 Sisällysluettelo SISÄLLYSLUETTELO...2 YLEISTÄ...3 YHTEYSKÄYTÄNTÖ...4 YHTEYDEN AVAAMINEN JA FTP-SISÄÄNKIRJAUS...4 ASIAKKAAN JA PANKIN TODENNUS...5 PALVELUN PYYNTÖ...5 AINEISTON
LisätiedotTäydentäviä muistiinpanoja laskennan rajoista
Täydentäviä muistiinpanoja laskennan rajoista Antti-Juhani Kaijanaho 10. joulukuuta 2015 1 Diagonaalikieli Diagonaalikieli on D = { k {0, 1} k L(M k ) }. Lause 1. Päätösongelma Onko k {0, 1} sellaisen
LisätiedotICS-C2000 Tietojenkäsittelyteoria Kevät 2016
ICS-C2000 Tietojenkäsittelyteoria Kevät 206 Kierros 0, 2. 24. maaliskuuta Huom! Perjantaina 25. maaliskuuta ei ole laskareita (pitkäperjantai), käykää vapaasti valitsemassanne ryhmässä aiemmin viikolla.
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 5. marraskuuta 2015
TIEA24 Automaatit ja kieliopit, syksy 205 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 5. marraskuuta 205 Sisällys Käsiteanalyysiä Tarkastellaan koodilukkoa äärellisenä automaattina. Deterministinen äärellinen
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. marraskuuta 2015
TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. marraskuuta 2015 Sisällys Muistathan A B -konstruktion 0 k 1 i 2 s 3 s 4 a 5 0 k 1 o 2 i 3 r 4 a 5 00 k 11 i
LisätiedotPalvelukuvaus. Maksupääte
Palvelukuvaus Maksupääte 15.11.2012 Sisällysluettelo 1 Yleistä...3 2 Käsittely...3 2.1 Aineiston muodostaminen...3 2.2 Aineiston lähetys pankkiin...3 2.3 Aineiston tarkistus pankissa...3 2.4 Lähetyksen
LisätiedotTarkennamme geneeristä painamiskorotusalgoritmia
Korotus-eteen-algoritmi (relabel-to-front) Tarkennamme geneeristä painamiskorotusalgoritmia kiinnittämällä tarkasti, missä järjestyksessä Push- ja Raise-operaatioita suoritetaan. Algoritmin peruskomponentiksi
LisätiedotTuloperiaate. Oletetaan, että eräs valintaprosessi voidaan jakaa peräkkäisiin vaiheisiin, joita on k kappaletta
Tuloperiaate Oletetaan, että eräs valintaprosessi voidaan jakaa peräkkäisiin vaiheisiin, joita on k kappaletta ja 1. vaiheessa valinta voidaan tehdä n 1 tavalla,. vaiheessa valinta voidaan tehdä n tavalla,
LisätiedotAlgoritmi on periaatteellisella tasolla seuraava:
Algoritmi on periaatteellisella tasolla seuraava: Dijkstra(V, E, l, v 0 ): S := { v 0 } D[v 0 ] := 0 for v V S do D[v] := l(v 0, v) end for while S V do valitse v V S jolle D[v] on minimaalinen S := S
LisätiedotTIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 12. tammikuuta 2012
TIEA241 Automaatit ja kieliopit, kevät 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. tammikuuta 2012 Sisällys Sisällys Äärellisiä automaatteja PUSH ON PUSH OFF Q T Q J C C H S C,Q C,Q 0 50s 1e
LisätiedotTestaa: Vertaa pinon merkkijono syötteeseen merkki kerrallaan. Jos löytyy ero, hylkää. Jos pino tyhjenee samaan aikaan, kun syöte loppuu, niin
Yhteydettömien kielioppien ja pinoautomaattien yhteys [Sipser s. 117 124] Todistamme, että yhteydettömien kielioppien tuottamat kielet ovat tasan samat kuin ne, jotka voidaan tunnistaa pinoautomaatilla.
LisätiedotTIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 31. maaliskuuta 2011
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 31. maaliskuuta 2011 Sisällys Sisällys Chomskyn hierarkia kieli säännöllinen kontekstiton kontekstinen rekursiivisesti
LisätiedotOhjelmoinnin perusteet Y Python
Ohjelmoinnin perusteet Y Python T-106.1208 2.3.2011 T-106.1208 Ohjelmoinnin perusteet Y 2.3.2011 1 / 39 Kertausta: tiedoston avaaminen Kun ohjelma haluaa lukea tai kirjoittaa tekstitiedostoon, on ohjelmalle
LisätiedotELEC-C7241 Tietokoneverkot Kuljetuskerros
ELEC-C7241 Tietokoneverkot Kuljetuskerros Pasi Sarolahti (kalvoja Matti Siekkiseltä) 23.1.2018 Laskareista Lisävuoro ke 16-18 U8 Edelleen myös ke 14-16 ja pe 12-14 Ke 14 16 tällä viikolla poikkeuksellisesti
Lisätiedot5. Siirtoyhteyskerros linkkikerros (Data Link Layer) 5.1. Kaksipisteyhteydet. Kehysten kuljetus. Missä virhe hoidetaan? Virheet.
5. Siirtoyhteyskerros linkkikerros (Data Link Layer) yhtenäinen linkki solmusta solmuun bitit sisään => bitit ulos ongelmia: siirtovirheet havaitseminen korjaaminen solmun kapasiteetti vuonvalvonta yhteisen
LisätiedotShorin algoritmin matematiikkaa Edvard Fagerholm
Edvard Fagerholm 1 Määritelmiä Määritelmä 1 Ryhmä G on syklinen, jos a G s.e. G = a. Määritelmä 2 Olkoon G ryhmä. Tällöin alkion a G kertaluku ord(a) on pienin luku n N \ {0}, jolla a n = 1. Jos lukua
LisätiedotVuonohjaus: ikkunamekanismi
J. Virtamo 38.3141 Teleliikenneteoria / Ikkunointiin perustuva vuonohjaus 1 Vuonohjaus: ikkunamekanismi Kuittaamattomina liikkeellä olevien segmenttien (data unit) lkm W (ikkuna) Lähetyslupien kokonaismäärä
LisätiedotHarjoitustyön testaus. Juha Taina
Harjoitustyön testaus Juha Taina 1. Johdanto Ohjelman teko on muutakin kuin koodausta. Oleellinen osa on selvittää, että ohjelma toimii oikein. Tätä sanotaan ohjelman validoinniksi. Eräs keino validoida
LisätiedotJohdatus matematiikkaan
Johdatus matematiikkaan Luento 7 Mikko Salo 11.9.2017 Sisältö 1. Funktioista 2. Joukkojen mahtavuus Funktioista Lukiomatematiikassa on käsitelty reaalimuuttujan funktioita (polynomi / trigonometriset /
Lisätiedot3. Kuljetuskerros 3.1. Kuljetuspalvelu End- to- end
3. Kuljetuskerros 3.1. Kuljetuspalvelu End- to- end lta lle looginen yhteys portti verkkokerros koneelta koneelle IP-osoite peittää verkkokerroksen puutteet jos verkkopalvelu ei ole riittävän hyvä, sitä
LisätiedotYhteydettömän kieliopin jäsennysongelma
Yhteydettömän kieliopin jäsennysongelma Yhteydettömän kieliopin jäsennysongelmalla tarkoitetaan laskentaongelmaa Annettu: yhteydetön kielioppi G, merkkijono w Kysymys: päteekö w L(G). Ongelma voidaan periaatteessa
LisätiedotOhjelmistojen mallintaminen, mallintaminen ja UML
582104 Ohjelmistojen mallintaminen, mallintaminen ja UML 1 Mallintaminen ja UML Ohjelmistojen mallintamisesta ja kuvaamisesta Oliomallinnus ja UML Käyttötapauskaaviot Luokkakaaviot Sekvenssikaaviot 2 Yleisesti
LisätiedotMS-A0004/MS-A0006 Matriisilaskenta Laskuharjoitus 6 / vko 42
MS-A0004/MS-A0006 Matriisilaskenta Laskuharjoitus 6 / vko 42 Tehtävät 1-4 lasketaan alkuviikon harjoituksissa ryhmissä, ja ryhmien ratkaisut esitetään harjoitustilaisuudessa (merkitty kirjaimella L = Lasketaan).
Lisätiedot3. Kuljetuskerros 3.1. Kuljetuspalvelu
3. Kuljetuskerros 3.1. Kuljetuspalvelu End- to- end lta lle looginen yhteys portti verkkokerros koneelta koneelle I-osoite peittää verkkokerroksen puutteet jos verkkopalvelu ei ole riittävän hyvä, sitä
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 16. marraskuuta 2015
ja ja TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho NFA:ksi TIETOTEKNIIKAN LAITOS 16. marraskuuta 2015 Sisällys ja NFA:ksi NFA:ksi Kohti säännöllisiä lausekkeita ja Nämä tiedetään:
Lisätiedot5. Siirtoyhteyskerros linkkikerros (Data Link Layer)
5. Siirtoyhteyskerros linkkikerros (Data Link Layer) yhtenäinen linkki solmusta solmuun bitit sisään => bitit ulos ongelmia: siirtovirheet havaitseminen korjaaminen solmun kapasiteetti vuonvalvonta yhteisen
LisätiedotReaalilukuvälit, leikkaus ja unioni (1/2)
Luvut Luonnolliset luvut N = {0, 1, 2, 3,... } Kokonaisluvut Z = {..., 2, 1, 0, 1, 2,... } Rationaaliluvut (jaksolliset desimaaliluvut) Q = {m/n m, n Z, n 0} Irrationaaliluvut eli jaksottomat desimaaliluvut
Lisätiedot5. Siirtoyhteyskerros linkkikerros (Data Link Layer)
5. Siirtoyhteyskerros linkkikerros (Data Link Layer) yhtenäinen linkki solmusta solmuun bitit sisään => bitit ulos ongelmia: siirtovirheet havaitseminen korjaaminen solmun kapasiteetti vuonvalvonta yhteisen
Lisätiedot58131 Tietorakenteet ja algoritmit (kevät 2014) Uusinta- ja erilliskoe, , vastauksia
58131 Tietorakenteet ja algoritmit (kevät 2014) Uusinta- ja erilliskoe, 10..2014, vastauksia 1. [9 pistettä] (a) Todistetaan 2n 2 + n + 5 = O(n 2 ): Kun n 1 on 2n 2 + n + 5 2n 2 + n 2 +5n 2 = 8n 2. Eli
LisätiedotRinnakkaisuuden hyväksikäyttö peleissä. Paula Kemppi
Rinnakkaisuuden hyväksikäyttö peleissä Paula Kemppi 24.4.2008 Esityksen rakenne Johdantoa Rinnakkaisuus Pelimoottorien rinnakkaisuuden mallit Funktionaalisen rinnakkaisuuden malli Rinnakkaisen tiedon malli
LisätiedotEMCS-järjestelmän sanomarajapinnan toiminnallinen kuvaus asiakkaille 13.6.2008. Meeri Nieminen
EMCS-järjestelmän sanomarajapinnan toiminnallinen kuvaus asiakkaille 13.6.2008 Meeri Nieminen Asiakkaan vaihtoehdot Asiakkaan vaihtoehdot EMCS-järjestelmän käyttöön XML-sanomarajapinta oman järjestelmän
LisätiedotAlgoritmit 2. Luento 13 Ti Timo Männikkö
Algoritmit 2 Luento 13 Ti 30.4.2019 Timo Männikkö Luento 13 Simuloitu jäähdytys Merkkijonon sovitus Horspoolin algoritmi Ositus ja rekursio Rekursion toteutus Algoritmit 2 Kevät 2019 Luento 13 Ti 30.4.2019
LisätiedotRatkaisut 2. KJR-C2001 Kiinteän aineen mekaniikan perusteet, IV/2016. Tehtävä 1 Selitä käsitteet kohdissa a) ja b) sekä laske c) kohdan tehtävä.
Kotitehtävät palautetaan viimeistään keskiviikkoisin ennen luentojen alkua eli klo 14:00 mennessä. Muistakaa vastaukset eri tehtäviin palautetaan eri lokeroon! Joka kierroksen arvostellut kotitehtäväpaperit
LisätiedotLisää reititystä. Tietokoneverkot 2009 (4 op) Syksy Futurice Oy. Lisää reititystä. Jaakko Kangasharju
Tietokoneverkot 2009 (4 op) jaakko.kangasharju@futurice.com Futurice Oy Syksy 2009 (Futurice Oy) Syksy 2009 1 / 39 Sisältö 1 2 (Futurice Oy) Syksy 2009 2 / 39 Sisältö 1 2 (Futurice Oy) Syksy 2009 3 / 39
LisätiedotStabilointi. Marja Hassinen. p.1/48
Stabilointi Marja Hassinen marja.hassinen@cs.helsinki.fi p.1/48 Kertausta ja käsitteitä Sisältö Stabilointi Resynkroninen stabilointi Yleinen stabilointi Tarkkailu Alustus Kysymyksiä / kommentteja saa
LisätiedotT-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät Johdanto
T-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät Johdanto 19. tammikuuta 2004 T-79.179: Johdanto 1-1 Kevään 2003 opintojakso Luennot: Harjoitukset: Suorittaminen: Esitiedot: TkL, Marko.Makela@hut.fi
LisätiedotLisää reititystä. Tietokoneverkot 2008 (4 op) Syksy Teknillinen korkeakoulu. Lisää reititystä. Jaakko Kangasharju
Tietokoneverkot 2008 (4 op) jkangash@cc.hut.fi Teknillinen korkeakoulu Syksy 2008 (TKK) Syksy 2008 1 / 39 Sisältö 1 2 (TKK) Syksy 2008 2 / 39 Sisältö 1 2 (TKK) Syksy 2008 3 / 39 iksi monilähetys? : saman
LisätiedotRajoittamattomat kieliopit (Unrestricted Grammars)
Rajoittamattomat kieliopit (Unrestricted Grammars) Laura Pesola Laskennanteorian opintopiiri 13.2.2013 Formaalit kieliopit Sisältävät aina Säännöt (esim. A -> B C abc) Muuttujat (A, B, C, S) Aloitussymboli
LisätiedotIlmoitus saapuneesta turvasähköpostiviestistä
Tullin turvasähköposti Asiakkaan ohje www.tulli.fi versio 2.2 8.1.2015 Korvaa version 2.1 22.5.2014 Tullin turvasähköposti Tulli lähettää sinulle sähköpostiviestin salattuna silloin, kun viesti tai sen
LisätiedotTodistusmenetelmiä Miksi pitää todistaa?
Todistusmenetelmiä Miksi pitää todistaa? LUKUTEORIA JA TO- DISTAMINEN, MAA11 Todistus on looginen päättelyketju, jossa oletuksista, määritelmistä, aksioomeista sekä aiemmin todistetuista tuloksista lähtien
LisätiedotHahmon etsiminen syotteesta (johdatteleva esimerkki)
Hahmon etsiminen syotteesta (johdatteleva esimerkki) Unix-komennolla grep hahmo [ tiedosto ] voidaan etsia hahmon esiintymia tiedostosta (tai syotevirrasta): $ grep Kisaveikot SM-tulokset.txt $ ps aux
LisätiedotAlgoritmit 2. Luento 13 Ti Timo Männikkö
Algoritmit 2 Luento 13 Ti 2.5.2017 Timo Männikkö Luento 13 Merkkijonon sovitus Horspoolin algoritmi Laskennallinen vaativuus Päätösongelmat Epädeterministinen algoritmi Vaativuusluokat NP-täydellisyys
LisätiedotVasen johto S AB ab ab esittää jäsennyspuun kasvattamista vasemmalta alkaen:
Vasen johto S AB ab ab esittää jäsennyspuun kasvattamista vasemmalta alkaen: S A S B Samaan jäsennyspuuhun päästään myös johdolla S AB Ab ab: S A S B Yhteen jäsennyspuuhun liittyy aina tasan yksi vasen
LisätiedotT Rinnakkaiset ja hajautetut digitaaliset järjestelmät Johdanto
T-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät Johdanto 15. tammikuuta 2002 T-79.179: Johdanto 1-1 Kevään 2002 opintojakso Luennot: Harjoitukset: Suorittaminen: Esitiedot: TkL, 451 3365,
LisätiedotRatkeavuus ja efektiivinen numeroituvuus
Luku 6 Ratkeavuus ja efektiivinen numeroituvuus Proseduurit Olkoon A aakkosto. Proseduuri aakkoston A sanoille on mikä hyvänsä prosessi (algoritmi) P, jolle annetaan syötteeksi sana w A, ja joka etenee
LisätiedotHae sopivin kuljetustapa
Hae sopivin kuljetustapa Syötä etusivulla sijaitsevaan MISTÄ LÄHETÄT -kenttään postinumero tai kadunnimi, josta lähetyksen lähetät, esim. 00880 Helsinki. Valitse oikea vaihtoehto alle avautuvasta valikosta.
LisätiedotAlgoritmit 1. Luento 10 Ke Timo Männikkö
Algoritmit 1 Luento 10 Ke 14.2.2018 Timo Männikkö Luento 10 Algoritminen ongelmanratkaisu Suunnittelumenetelmät Raaka voima Järjestäminen eli lajittelu Kuplalajittelu Lisäyslajittelu Valintalajittelu Permutaatiot
LisätiedotOsakesalkun optimointi. Anni Halkola Turun yliopisto 2016
Osakesalkun optimointi Anni Halkola Turun yliopisto 2016 Artikkeli Gleb Beliakov & Adil Bagirov (2006) Non-smooth optimization methods for computation of the Conditional Value-at-risk and portfolio optimization.
Lisätiedot811312A Tietorakenteet ja algoritmit 2015-2016. I Johdanto
811312A Tietorakenteet ja algoritmit 2015-2016 I Johdanto Sisältö 1. Algoritmeista ja tietorakenteista 2. Algoritmien analyysistä 811312A TRA, Johdanto 2 I.1. Algoritmeista ja tietorakenteista I.1.1. Algoritmien
LisätiedotMS-A0202 Differentiaali- ja integraalilaskenta 2 (SCI) Luento 2: Usean muuttujan funktiot
MS-A0202 Differentiaali- ja integraalilaskenta 2 (SCI) Luento 2: Usean muuttujan funktiot Antti Rasila Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Syksy 2016 Antti Rasila (Aalto-yliopisto)
LisätiedotKombinatorinen optimointi
Kombinatorinen optimointi Sallittujen pisteiden lukumäärä on äärellinen Periaatteessa ratkaisu löydetään käymällä läpi kaikki pisteet Käytännössä lukumäärä on niin suuri, että tämä on mahdotonta Usein
LisätiedotTOIMINNALLINEN MÄÄRITTELY MS
TOIMINNALLINEN MÄÄRITTELY 11.11.2015 MS YLEISTÄ 1/2 jäsennelty etenee yleiskuvauksesta yksityiskohtiin kieliasultaan selkeä kuvaa myös tulevan järjestelmän ympäristöä tarpeellisella tarkkuudella kuvaa
LisätiedotTulevaisuuden Internet. Sasu Tarkoma
Tulevaisuuden Internet Sasu Tarkoma Johdanto Tietoliikennettä voidaan pitää viime vuosisadan läpimurtoteknologiana Internet-teknologiat tarjoavat yhteisen protokollan ja toimintatavan kommunikointiin Internet
Lisätiedot4.5 Kaksivaiheinen menetelmä simplex algoritmin alustukseen
4.5 Kaksivaiheinen menetelmä simplex algoritmin alustukseen Käypä kantaratkaisu löytyy helposti, esimerkiksi tapauksessa Ax b, b 0 x 0 jolloin sen määräävät puutemuuttujat. Tällöin simplex-menetelmän alustus
Lisätiedotsertifikaattiratkaisu Apitamopki
Ilmoitin.fi - tunnistamisen sertifikaattiratkaisu Apitamopki Web Services -rajapinnan muutokset Verohallinnon ja ohjelmistotalojen yhteistyöpäivä 23.5.2019 Esityksen sisällöstä Muutama sana varmenteista
LisätiedotTCP. TCP-optiot. Erilaisia suorituskykyongelmia. Aikaleima (timestamp) TCP:n peruspiirteiden toiminta tarkemmin. TCP:n uusia piirteitä.
TCP TCP:n peruspiirteiden toiminta tarkemmin osin vain harjoitustehtävissä TCP:n uusia piirteitä S Window scaling time stamping RED (Random Early Detection) ECN (Explicit Congestion Notification) Source
Lisätiedot