Soudabeh Moradi Kappaleiden skeletonin etsiminen binäärikuvista. Kandidaatintyö

Koko: px
Aloita esitys sivulta:

Download "Soudabeh Moradi Kappaleiden skeletonin etsiminen binäärikuvista. Kandidaatintyö"

Transkriptio

1 Soudabeh Moradi Kappaleiden skeletonin etsiminen binäärikuvista Kandidaatintyö Tarkastaja: Lehtori Heikki Huttunen Jätetty tarkastettavaksi 24. toukokuuta 2010

2

3 II TIIVISTELMÄ TAMPEREEN TEKNILLINEN YLIOPISTO Tietotekniikan koulutusohjelma MORADI, SOUDABEH: Kappaleiden skeletonin etsiminen binäärikuvista Kandidaatintyö, 18 sivua, 1 liitesivua Toukokuu 2010 Pääaine: Signaalinkäsittely ja multimedia Tarkastaja: Lehtori Heikki Huttunen Avainsanat: Skeleton, ohennus, binäärikuva, iteraatio Työn tarkoituksena on tutkia binäärikuvan skeletonin laskemiseen toteutettuja menetelmiä ja esittää näiden tuloksena saadun skeletonin ominaisuudet ja päättää niiden mukaan sopiva sovellusalue menetelmälle. Käytännössä digitaalista dataa muutetaan binääriseksi ja skeletonin saamiseksi voidaan soveltaa sopiva menetelmä työssä esiintyvistä menetelmistä. Työssä esitetyt tärkeimmät menetelmät ovat skeletonin laskeminen käyttäen morfologisia operaatioita, ohennusalgoritmit tai skeleton etäisyysmuunnoksen avulla. Jokaisesta menetelmästä esiteltiin tunnetuimmat algoritmit ja havaittiin, että jokainen niistä täyttää tiettyjä vaatimuksia skeletonille ja siten sopii tiettyyn sovellukseen. Algoritmeja ei ole vertailtu tehokkuuden nähden koodin puuttumisen takia.

4 III ALKUSANAT Haluaisin kiittää Heikki Huttusta työn ohjaamisesta ja kommentoinnista. Lisäksi kiitän siskoani Elham Moradi, joka auttoi minua suomen kielellä kirjoittamisessa. Tämä kandidaatintyö toteutettiin osana Tampereen teknillisen yliopiston signaalinkäsittelyn laitoksen kandidaatintyöseminaaria. 24. toukokuuta 2010 Soudabeh Moradi

5 IV Lyhenteet ja merkinnät Adjacency Matlab aapurusto Pikseli Rakennealkio Naapuruus- tai vierekkäisyyssuhde kuvapisteiden välillä. Se on lyhenne sanoista matrix laboratory. Se on numeeriseen laskentaan tarkoitettu ohjelmisto. Kuvapisteiden joukossa pisteen neljä lähintä naapuria kutsutaan sen 4-naapurustoksi ja kahdeksan lähintä naapuria kutsutaan sen 8-naapurustoksi. Pikseli on bittikarttagrafiikassa esiintyvä kuvan pienin osa (engl. pixel). Se on morfologisiin operaatioihin käytetty binäärimaski, jolla määritellään mitkä naapuripisteet otetaan mukaan operaatiota suorittaessa (engl. Structuring element). Morfologinen dilaatio Morfologinen eroosio Morfologinen avaus Morfologinen sulku Morfologinen hit-or-miss operaatio Ohennus

6 V SISÄLLYS 1. JOHDANTO BINÄÄRIKUVAN SKELETON Keskiakselimuunnos Etäisyysmuunnokset Ohennusalgoritmit Naapurusto, adjacency ja yhdistettävyys Morfologiset operaatiot Eroosio ja dilaatio Avaus ja sulku Hit-or-Miss Karsinta SKELETONALGORITMIEN TOTEUTUS Morfologinen skeleton Morfologinen ohennus käyttäen Hit-or-Miss muunnosta Zhang-Suen ohennusalgoritmi Skeleton etäisyysmuunnoksen avulla Karsinta-algoritmi JOHTOPÄÄTÖKSET LÄHTEET LIITTEET... 19

7 1 1. JOHDANTO Tässä työssä käsitellään binäärisen kuvan skeletonia. Skeleton on pääasiallisesti yhden pikselin paksuinen viiva, joka kulkee kappaleen keskeltä eli kappaleen keskiakselin (Medial axis) kautta. Kuvan skeleton on tärkeä työkalu monelle kuvanprosessointisovellukselle. Näihin sovelluksiin kuuluvat mm. hahmojen tunnistus, sormenjäljen tunnistus, kirjainmerkkien tunnistus, kromosomin tutkiminen jne. Kuvan ohentamisella saadaan kätevä ja tiivis esitys kuvan informaatiosta. Se säilyttää kuvan topologiset ominaisuudet ja vähentää muistin tarvetta sen tallentamiseksi [2]. Blum [1967] on määrittänyt kuvan skeletonin keskiakselimuunnoksen (engl. Medial Axis Transformation; MAT) avulla [4, s. 650]. Kuvan keskiakselilla on intuitiivinen määritelmä niin sanotusti prairie fire concept. Kuvitellaan kuva-alue preeriaksi, jossa on yhtenäinen kuiva ruoho ja oletetaan että tulipalo sytytetään kuvan reunoista. Tulipalo etenee kuvan sisään tasaisella nopeudella. Alueen keskiakseli on niiden pisteiden joukko, jossa kahdesta tai useammasta eri suunnasta (reunasta) tulevat tulipalot leikkaavat toisiaan. Kuvan skeletonia on tutkittu laajasti viime kahden kymmenen vuoden aikana. Monia algoritmeja on kehitetty kappaleen skeletonin muodostamiseksi. Ohennus on yhdistettävyyttä (engl. connectivity) säilytettävä prosessi, joka syövyttää kappaleen kerroksittain kunnes jää vain kappaleen skeleton. Toinen tärkeä lähestymistapa on skeletonin määrittäminen euklidisen etäisyysmuunnoksen perusteella. Myös on luotu algoritmeja, joilla saadaan kuvan skeleton morfologisten operaatioiden pohjalta. Kuvan skeletonin määrittelyyn sisältyy useita vaatimuksia [1]. Nämä vaatimukset ovat: (1) yhdistettävyys (connectivity): tuloskuvalla on sama yhdistettävyys kuin alkuperäisellä kuvalla (Ks. kappale 2.3), (2) ohennus: kuvan skeleton on yhden pikselin paksuinen, (3) keskiakseli: kuvan skeleton on keskitetty kuvan reunojen suhteen, (4) uudestaan muodostettavuus: alkuperäinen kuva on saatavissa skeletonista (5) tehokkuus: suoritusaika pitää olla mahdollisimman lyhyt ja muistin tarve pitää olla mahdollisimman pieni. Jokainen algoritmi toteuttaa tiettyjä vaatimuksia paremmin. Joten sovelluksen mukaan on pääteltävä mitkä ominaisuudet ovat tärkeimmät kuvan skeletonille ja siten on valittava sopiva algoritmi. Myös harmaasävykuvien skeleton voidaan määrittää, mutta tässä kandidaatintyössä keskitytetään skeletonin määrittämiseen binäärikuvista. Työssä selvitetään kuvan skeletonin määrittämisen taustalla olevaa teoriaa ja menetelmiä, joilla skeleton voidaan laskea.

8 2 2. BINÄÄRIKUVAN SKELETON Skeleton on määritelty matemaattisesti monella eri tavalla sen jälkeen, kun Blum esitti sille intuitiivisen määritelmän [4, s. 650]. Yleinen määritelmä on maksimaalinen ympyrä (maximal disk) [6]. Määritelmän mukaan oletetaan, että kuvan X R maksimaalinen ympyrä on se ympyrä, joka sisältyy X:ään mutta ei ole minkään toisen X:n sisällä olevan ympyrän sisällä ja leikkaa kuvan reunaa ainakin kahdessa eri pisteessä [4, s. 543]. Eli etsitään ensin kaikki kuvan X sisällä olevat maksimaaliset ympyrät ja määritellään niiden keskipisteet. Seuraavaksi yhdistämällä nämä keskipisteet saadaan kuvan skeleton. Kuva 2.1 havainnollistaa tämän määritelmän. ei maksimaalinen ympyrä kuva kuva maksimaaliset (a) ympyrät (b) kuvan skeleton Kuva 2.1. Skeletonin määritelmä maksimaalisten ympyröiden avulla. (a) Maksimaaliset ympyrät kuvassa, (b) skeleton maksimaalisten ympyröiden keskipisteenä. Tässä luvussa esitellään eri menetelmät, joilla lasketaan kappaleen skeleton. Näistä menetelmistä jotkut täyttävät joitakin skeletonin vaatimuksia ja jotkut toisia, joten valitaan sopiva menetelmä sovelluksen mukaan Keskiakselimuunnos Alueen R reunalla B määritellään keskiakselimuunnos (engl. Medial Axis Transformation; MAT) seuraavasti: jokaiselle R:ssä olevalle pisteelle p etsitään sen lähimmän naapuri B:ssä. Jos p:llä on enemmän kuin yksi tällainen naapuripiste, sanotaan sen kuuluvan R:n keskiakseliin [4, s. 650]. Reunalla olevan lähimmän naapurin määrittely ja siis tuloksena saatu skeleton riippuu etäisyyden määrittelystä (Ks. kappale 2.2). Kuvassa 2.2 on piirretty kappaleiden keskiakseli, kun pisteiden etäisyys

9 3 määritellään euklidisella etäisyydellä. Sama tulos saadaan maksimaalisten ympyröiden avulla. Kuva 2.2. Kuvioiden keskiakselit. Vaikka alueen MAT tuottaa miellyttävän intuitiivisen skeletonin, suora toteutus tästä määritelmästä on laskennallisesti raskas, koska jokaiselle kuvan sisällä olevalle pikselille joudutaan laskemaan sen etäisyys kaikista reunalla olevista pisteistä [4, s. 651]. Keskiakselimuunnos on yksikäsitteinen eli alkuperäinen kuva saadaan muodostetuksi sen keskiakselimuunnoksesta. Tätä varten keskiakselimuunnos on erityisen hyödyllinen kuvan kompressiossa Etäisyysmuunnokset Etäisyysmuunnos määrittää jokaiselle binäärikuvan pikselille arvon, joka on yhtä suuri kuin sen etäisyys lähimmästä taustalla olevasta pikselistä. On olemassa kolme tapaa etäisyyden mittaamiseen: city-block, chessboard ja euklidinen etäisyys [4, s. 68]. Matlabin funktio bwdist laskee binäärikuvan etäisyysmuunnoksen parametrina annetun metodin mukaan. Alkuperäisen kuvan ohennettu osajoukko voidaan saada etäisyysmuunnoksesta poimimalla ne pisteet, jotka ovat etäisyysmuunnoksessa paikallinen maksimi. Tätä ohjattua osajoukkoa kutsutaan etäisyysskeletoniksi (engl. distance skeleton). Alkuperäinen etäisyysmuunnos toisin sanoen alkuperäinen kuva voidaan muodostaa uudestaan sen etäisyysskeletonin avulla. Siksi etäisyysskeletonia voidaan käyttää kuvan kompressioon.[8.] 2.3. Ohennusalgoritmit Ohennusalgoritmit ohentavat kuvaa iteratiivisesti poistamalla kuvan reunapisteet säilyttäen kuvan topologiaa. Siis algoritmin tuloskuvalla pitää olla sama korkeus ja leveys kuin alkuperäisellä eli säilytetään kuvan päätepisteet. Pisteiden poistolla tarkoitetaan kuvapisteiden arvon 1 muunnos taustapisteiden arvoon 0. Pisteiden tarkastamista voidaan tehdä kahdella eri tavalla: peräkkäisesti (sequential) tai rinnakkaisesti (parallel). Sekventiaalisessa algoritmissa pisteet tarkastetaan kiinnitetyssä sekvenssissä jokaisessa iteraatiossa ja p:n poisto n:ssä iteraatiossa riippuu kaikista operaatioista, jotka ovat suoritettu tähän asti. Toisin sanoen p:n poisto riippuu sekä iteraation (n-1) tuloksesta että pikseleistä, jotka ovat käsitelty jo samassa iteraatiossa. Toisaalta rinnakkaisessa algoritmissa pisteen poisto iteraatiossa n riippuu

10 4 vain iteraation (n-1) tuloksesta. Siksi jokaisessa iteraatiossa kaikki pikselit voidaan tarkastaa rinnakkaisesti yhtä aikaa [7]. Peräkkäisille pisteidenpoistoalgoritmeille on olemassa riittävät edellytykset kuvan yhdistettävyyden säilyttämisen kannalta, mutta ne ovat hitaita rinnakkaisiin algoritmeihin nähden. Rinnakkaisalgoritmeissa suuri määrä pikseleitä voi muuttua yhtä aikaa ja tämä vaikeuttaa kuvan yhdistettävyyden säilymistä [5]. Tämän ongelman poistamiseen jaetaan iteraatiot ali-iteraatioihin. Jokaisessa ali-iteraatiossa tutkitaan tietyn joukon pikselin poistamista. Joissakin algoritmeissa on käytetty neljä aliiteraatiota jokaisessa iteraatiossa ja jokaisessa ali-iteraatiossa poistetaan reunasta tietyt pikselit (pohjoinen, itä, etelä ja länsi). Myös joskus on käytetty kaksi ali-iteraatiota niin, että toisessa ali-iteraatiossa poistetaan pohjois- ja itäpikselit ja toisessa jäljelle jääneet pikselit [7] Naapurusto, adjacency ja yhdistettävyys Määritellään muutama termiä, joita tullaan tarvitsemaan ohennusalgoritmeissa. Kuvassa 3.3 (kappale 3.3) pisteen p 4-naapurusto merkitään N 4 (p) ovat p1, p3, p5, p7 ja diagonaaliset naapurit merkitään N D (p) ovat p2, p4, p6, p8. Pisteet N 4 (p) ja N D (p) muodostavat yhdessä sen 8-naapurusto, jota merkitään N 8 (p). Määritellään sitten kahden pikselin adjacency ja connectivity kuvapisteiden joukossa. Huomioidaan kolme eri adjacencytyyppiä [4, s. 66]: (a) 4-adjacency: kaksi piste p ja q arvolla 1 ovat 4-adjacent, jos q on joukossa N 4 (p). (b) 8-adjacency: kaksi piste p ja q arvolla 1 ovat 8-adjacent, jos q on joukossa N 8 (p). (c) m-adjacency (mixed adjacency): kaksi piste p ja q arvolla 1 ovat m-adjacent, jos q on joukossa N 4 (p), tai q on joukossa N D (p) ja joukko N 4 (p) N 4 (q) ei sisällä 1-arvoista pikseliä. Havainnollistetaan tämä asia kuvassa 2.3. Kuvan (b)-kohdassa on piirretty katkoviivoilla keskipisteen 8-adjacent:it. Kuten kuvasta nähdään kuvan kolme ylimmät 1- arvoiset pikselit muodostavat monikertaisen 8-adjacency:n ja muuttamalla se m- adjacency:iin poistetaan monikertaiset reitit kuvasta. (a) (b) (c) Kuva 2.3. (a) Pisteiden järjestys, (b) Pisteet, jotka ovat 8-adjacent keskipisteen suhteen (katkoviivoilla esitetty), (c) m-adjacency. Binäärikuvassa arvoilla 0 ja 1 kahta pikseliä on yhdistetty (connected), jos ne ovat sekä naapureita että samanarvoisia [4, s. 66]. Pisteiden sarjaa y, y,..., y kutsutaan 8- reittiseksi (engl. 8-path) tai 4-reittiseksi (4-path) tai m-reittiseksi (m-path), jos y on

11 5 y :n 8-adjacent tai 4-adjacent tai m-adjacent vastaavasti. Kuvan I osajoukko Q on 8- connected tai 4-connected tai m-connected, jos jokaisella Q:ssa olevalla pisteparilla x, y on 8- tai 4- tai m-reitti x:stä y:hun Q:ssa. Tässä tapauksessa sanotaan, että Q on I:n 8- tai 4- tai m-komponentti [7] Morfologiset operaatiot Morfologian teoriassa kuvaa käsitellään pistejoukkona. Morfologisia operaatioita käytetään useissa sovelluksissa, mm. kuvan segmentointi, kuvan terävöitys, kuvan suodatus jne. Kuvan skeletonin etsimiseen tärkeimmät morfologiset operaatiot ovat eroosio, dilaatio, avaus (engl. opening), sulku (engl. closing) ja hit-or-miss. Kaikki nämä operaatiot tehdään rakennealkion avulla. Rakennealkio on binäärinen maski, jolla määritellään mitkä naapuripisteet otetaan mukaan kun suoritetaan morfologinen operaatio. Jokaisella rakennealkion pikselillä on arvo. Yksinkertaisessa rakennealkiossa, jota käytetään esimerkiksi eroosiossa ja dilaatiossa on vain yksi arvo. Toisaalta monimutkaisemmassa rakennealkiossa, jota käytetään hit-or-miss operaatiossa on molemmat arvot nolla ja yksi. Kun morfologista operaatiota suoritetaan, rakennealkion origo (yleensä keskipiste) asetetaan sen pisteen päälle, joka on muuttumassa ja rakenne-alkion arvot vertaillaan rakennealkion alle jääneiden kuvapisteiden kanssa. Vertailun yksityiskohdat ja sen vaikutus ulostuloon riippuu mikä morfologinen operaatio ollaan suorittamassa [3]. Kuvassa 2.4 esitetään muutama esimerkkiä morfologisiin operaatioihin käytettävistä rakennealkioista. B B B i (90 kierretty), i = 1,2,3,4 B i (45 kierretty), i = 1,2,...,8 Kuva 2.4. Esimerkkejä rakennealkioista. Rakennealkioiden origo on niiden keskipiste. x merkki esittää don t care tilaa, eli niiden alla voi olla 0 tai 1. Morfologiset skeletonit saadaan kahdella eri tavalla [10]: algoritmit morfologisen avausoperaation avulla, joilla alkuperäinen kuva on muodostettavissa skeletonin perusteella ja algoritmit hit-or-miss muunnoksen avulla, joilla kuvan topologia säilyy skeletonissa. Seuraavassa on esitetty lyhyesti morfologiset operaatiot, joita käytetään skeletonin saamiseksi.

12 Eroosio ja dilaatio Eroosio ja dilaatio ovat morfologian perusoperaatiot, joihin monet muut operaatiot perustuvat [10]. Olkoot A ja B joukkoja avaruudessa Z. Joukon A eroosio B:llä määritellään seuraavasti: A B = z (B) A (2.1) Kyseessä on siis pisteiden z joukko, jossa z:lla siirretyt pikselit kuuluvat joukkoon A. Joukko B edustaa rakennealkiota. Operaatio on selitetty tarkemmin kirjassa [4, s. 523]. Joukkojen A ja B ollessa Z :ssa A:n dilaatio B:llä määritellään seuraavalla tavalla: A B = z (B ) A (2.2) Yllä olevassa yhtälössä edustaa tyhjää joukkoa. Myös B edustaa symmetrista joukkoa ja se määritellään seuraavasti: B = w w= b, kun b B (2.3) Avaus ja sulku Avaus- ja sulkuoperaatiot ovat dilaation ja eroosion yhdistelmiä. rakennealkiolla B määritellään seuraavalla tavalla: Joukon A avaus A B = (A B) B. (2.4) Yhtälöstä todetaan, että joukon A avaus rakennealkiolla B määritellään relaatiolla A:n eroosio B:llä ja tämän tuloksen dilaatio B:llä. Samalla tavalla joukon A sulku rakennealkiolla B määritellään seuraavasti: A B = (A B) B. (2.5) Kuten yllä on esitetty joukon A sulku rakennealkiolla B määritellään relaatiolla A:n dilaatio B:llä ja tämän tuloksen eroosio B:llä Hit-or-Miss Hit-or-miss operaatiossa käytetään eroosio-operaatiota ja yhdistettyä rakennealkiota B = (B, B ), jossa B on niiden B:n alkioiden joukko, jotka liittyvät yhteen kuvaobjektiin ja B on niiden B:n alkioiden joukko, jotka liittyvät kuvaobjektin vastaavaan taustaan. Eli tämä rakennealkio eroaa dilaatioon ja eroosioon käytetyistä rakennealkioista siten, että tämä sisältää molempia 1 ja 0 arvoja. Operaatioon liittyvät tarkemmat yksityiskohdat löytyvät kirjasta [4, s. 532]. Operaatio määritellään seuraavasti:

13 7 missä A kuvaa joukon A komplementtijoukkoa Karsinta A B = (A B ) (A B ), (2.6) Karsintametodit (engl. pruning) ovat tärkeitä kuvan ohennus- ja skeletonalgoritmeissa. Kuvan skeleton yleensä sisältää useita oksia, jotka johtuvat kuvan reunoissa olevasta kohinasta. Nämä oksat voivat häiritä tunnistusprosessia. Menetelmällä poistetaan skeletonista oksat, joiden pituus on vähemmän kuin tietty pikselimäärä. Tämä menetelmä ei aina ole toimiva, sillä pienet häiriöt kuvan reunoissa voi johtaa suuriin oksiin skeletoniin. Matlabista löytyy valmis funktio karsintaan. Kuvassa 2.5(a) on esitetty binäärinen ympyröiden kuva, (b)-kohdassa on sen skeleton Matlabin valmiilla funktiolla, joka on toteutettu keskiakselimuunnosalgoritmilla ja (c)-kohdassa on Matlabilla saatu karsinnan tulos. (a) (b) (c) Kuva 2.5. (a) alkuperäinen ympyröiden kuva, (b) skeleton keskiakselimuunnoksella, (c) skeletonista on karsittu ylimääräiset oksat.

14 8 3. SKELETONALGORITMIEN TOTEUTUS Tässä luvussa esitellään muutama skeletonalgoritmia. Näiden algoritmien lopputulokseen vaaditaan seuraavat ominaisuudet: kuvan topologiset ominaisuudet on säilytetty ja skeleton on yhdistetty ja keskitetty alkuperäisen kuvan suhteen. Myös suoritusnopeus on tärkeä ominaisuus algoritmille Morfologinen skeleton Kuvan skeleton käyttäen avaus- ja eroosio-operaatioita voidaan ilmaista seuraavasti [4, s. 543]: missä S(A) = S (A), (3.1) S k (A) = (A kb) (A kb) B, (3.2) missä B on rakennealkio, ja (A kb) tarkoittaa A:n k peräkkäistä eroosiota. Yhtälössä (3.1) K on viimeinen iteratiivinen vaihe ennen kuin A on syövytetty tyhjään joukkoon. Yhtälöstä (3.1) todetaan että S(A) saadaan yhdistämällä skeletonosajoukot S k (A). Myös voidaan näyttää että alkuperäinen kuva A voidaan muodostaa näistä osajoukoista käyttämällä seuraava yhtälö: A = (S (A) kb), (3.3) missä (S (A) kb) viittaa S k (A):n k peräkkäiseen dilaatioon. Algoritmissa skeletonosajoukkojen käyttö takaa alkuperäisen kuvan uudelleen muodostamista. Kuvassa 3.1 on esitetty erään kuvan skeletonin saamiseksi suoritetut vaiheet. Tähän kuvaan käytetty rakennealkio B on 3 3 kokoinen ja sen kaikkien alkioiden arvot ovat 1. Kuvan ensimmäisen sarakkeen ensimmäinen kuva esittää ohennettavaa kuvaa, jota ohennettiin kaksi kertaa B:llä (ensimmäisen sarakkeen toinen ja kolmas rivi). Toisessa sarakkeessa sovelletaan ensimmäisen sarakkeen kuville avausoperaatio. Kolmannessa sarakkeessa esitetään saadut skeletonosajoukot ja viimeisessä sarakkeessa skeletonosajoukot lisätään yhteen. Viimeisen sarakkeen viimeinen kuva esittää algoritmin tuloksen. Tuloksesta havaitaan, että saatu skeleton ei ole yhdistetty ja se on paksumpi kuin yksi pikseli. Myös se toteuttaa keskiakselin edellytyksen.

15 9 k A kb (A kb) B S k (A) S (A) Kuva 3.1. Morfologisen skeletonin saamiseksi suoritetut vaiheet Morfologinen ohennus käyttäen Hit-or-Miss muunnosta Joukon A ohennus rakennealkiolla B määritellään seuraavasti [4, s. 541]: A B=A (A B) = A (A B). (3.4) Joukon A ohentamiseksi symmetrisesti käytetään rakennealkiosarja {B} yhtälön (3.5) mukaan. B = B,B,B,,B, (3.5) missä B on B :n joko 45 tai 90 astetta kierretty versio. Käyttämällä yhtälöä (3.5) ohennusoperaatio määritellään seuraavasti:

16 10 A B = (A B ) B B. (3.6) Prosessissa ohennetaan A rakennealkiolla B, sitten ohennetaan tulosta rakennealkiolla B ja jatketaan samalla tavalla kunnes A on ohennettu rakennealkiolla B. Sitten toistetaan koko prosessia uudestaan niin monta kertaa kuin ei saada enää muutoksia kuvaan. Jokainen yksilöllinen ohennusoperaatio suoritetaan kaavan (3.4) mukaan. Kuvassa 3.2 on esitetty algoritmin suorituksen vaiheet ja niihin käytetty rakennealkiosarja. Tämä menetelmä takaa että saatu skeleton on yhdistetty eli kuvan topologiset ominaisuudet säilyvät skeletonissa. origo B 1 B 2 B 3 B 4 B 5 B 6 B 7 B 8 (a) origo (b) A (c) A B 1 (d) A B 2 (e) A B 3 (f) A B 4 (g) A B 5 (h) A B 6 (I) A B 7,8 (j) A B 1,2,3 (k) A B 4,5,6,7,8,1,2,3 (l) Kuva 3.2. Ohennus käyttäen hit-or-miss operaatiota. Kuvassa on esitetty algoritmin vaiheet.

17 11 Kuvan 3.2 (a)-kohdassa on esitetty käytetyt rakennealkiot ohennukseen ja (b)- kohdassa esitetään ohennettava joukko A. Kuvan (c)-kohdassa ohennetaan kuvaa B :lla ja (d)-(i) kohdat esittävät ohennustulokset muilla rakennealkioilla (ohennuksen tulos B ja B rakennealkioilla on sama). Kuvan (j)-kohdassa kuvaa ohennettiin taas B, B ja B rakennealkioilla. (k)-kohdassa kuvaa ohennettiin toiseksi kertaaksi muilla rakennealkioilla. Kuten havainnoidaan B 4 :n toisen kulun jälkeen ei tapahdu enää muutoksia kuvassa vaikka ohennusoperaatiota suoritetaan sille. Toisin sanoen ohennuksen tulos saatiin B :n toisen kulun jälkeen. Viimeisessä kuvassa ohennettu kuva on muutettu m- connectivity:iin poistamaan monikertaiset reitit kuvasta [Ks. kappale 2.3] Zhang-Suen ohennusalgoritmi Zhang-Suen algoritmi on rinnakkainen ohennusalgoritmi [8]. Algoritmin mukaan poistetaan toistuvasti reunapisteet kuva-alueesta kunnes supistumaton skeleton jää. Kaikki reunapisteet eivät kelpaa poistamiseen, vaan ensin tutkitaan reunapisteen 8-naapurusto ja reunapistettä poistetaan vain, jos 8-naapuruston rakenne toteuttaa tietyn kriteerin. Kuvassa 3.3 on havainnollistettu pisteen p 8-naapurusto. p p p p p p p p p Kuva 3.3. Pisteen p 8-naapurusto. Zhang-Suen algoritmi ohentaa kuvaa 8-yhdistettyyn (8-connected) skeletoniin yhden pikselin paksuudella. Jokaisen algoritmin iteraatioon kuuluu kaksi ali-iteraatiota. Ensimmäisessä ali-iteraatiossa merkitään reunapistettä p poistettavaksi, jos seuraavat ehdot pätevät: (a) 2 N(p) 6 (b) T(p) = 1 (c) p. p. p = 0 (d) p. p. p = 0 (3.7) missä N(p) on p:n 1-arvoisten naapureiden määrä ja T(p) on 0-1 siirtymien määrä järjestetyssä sarjassa p, p,..., p, p, p. Esimerkiksi kuvassa 3.4(a), N(p) = 5 ja T(p) = 3. Siis tässä tapauksessa pikseliä p ei poisteta ensimmäisessä ali-iteraatiossa.

18 12 (a) (b) (c) (d) Kuva 3.4. Esimerkki tapauksista, joissa reunapistettä p ei poisteta. (a) T(p) = 3, (b) (p) = 1, (c) (p) = 0, (d) (p) = 7. Ehdolla (a) varmistetaan että päätepisteet on säilytetty skeletonissa. Ehto (b) estää sen pisteen poistamista, joka on kahden päätepisteen välissä. Ehdot (c) ja (d) valitsevat kaakkoisreunapisteet ja luoteisnurkkapisteet ensimmäiselle ali-iteraatiolle [8]. Ensimmäisessä ali-iteraatiossa jos ainakin yksi ehdoista (a)-(d) ei toteudu, pisteen arvo ei muutu. Jos kaikki ehdot pätevät pikseliä p merkitään poistettavaksi. Kuitenkaan pikseliä ei poisteta ennen kuin kaikki reunapisteet on tutkittu. Tämä estää datan rakenteen muutoksen algoritmin suorituksen aikana. Sen jälkeen kun kaikki reunapisteet on tutkittu, poistetaan ne pisteet, jotka on merkattu poistettavaksi (muutetaan arvoa nollaksi). Sitten seuraava ali-iteraatio suoritetaan tuloksena saadulle datalle tarkalleen samalla tavalla kuin ensimmäisessä ali-iteraatiossa tehtiin. Toisessa ali-iteraatiossa ehdot (a) ja (b) pysyvät samana, mutta ehdot (c) ja (d) muuttuvat seuraavalla tavalla: (c ) p. p. p = 0 (d ) p. p. p = 0 (3.8) Siis algoritmin jokaiseen iteraatioon kuuluu neljä vaihetta: (1) sovelletaan ensimmäisen ali-iteraation reunapisteisiin ja merkataan poistettavat pisteet, (2) poistetaan merkatut pisteet, (3) sovelletaan toisen ali-iteraation jäljelle jääneille reunapisteille ja merkataan poistettavat pisteet, (4) poistetaan merkatut pisteet. Tämä prosessi toistetaan kunnes ei tapahdu enää muutoksia datalle. Jäljelle jäänyt data esittää kuvan skeletonin. Zhang-Suen algoritmi ohentaa kuvaa yhden pikselin paksuiseen skeletoniin. Päätepisteet säilytetään skeletonissa eli kuvan pituutta ei vähennetä. Algoritmi on myös immuuni reunakohinaan. Kahden pikselin paksuiset diagonaaliset viivat on mahdollista syövyttää liikaa. Lisäksi 2 2 lohkot poistetaan täysin. Tästä ominaisuudesta johtuen kuvan topologiset ominaisuudet voivat muuttua, joten alkuperäinen kuva ei ole muodostettavissa skeletonin perusteella. Zhang-Suen algoritmia on paranneltu sillä tavoin, että tuloksena saatuun skeletoniin jäävät diagonaaliset viivat ja 2 2 lohkot [7]. Matlabista löytyy valmis funktio, jolla ohennetaan kuvaa tällä algoritmilla. Algoritmia suoritetaan seuraavalla tavalla:

19 13 1. Jaetaan kuvaa kahteen eri alikenttään. Kuvassa 3.5 on havainnollistettu miten kuvaa jaetaan alikenttiin. 2. Ensimmäisessä ali-iteraatiossa poistetaan piste ensimmäisestä alikentästä, jos ehdot (e), (f) ja (g) pätevät. 3. Toisessa ali-iteraatiossa poistetaan piste toisesta alikentästä, jos ehdot (e), (f) ja (g ) pätevät: (e) T(p) = 1 (f) 2 min n (p), n (p) 3, jossa n (p) = p p ja n (p) = p p (g)(p p p ) p = 0 (g ) (p p p ) p = 0 (3.9) Kuva 3.5. Alkuperäinen kuva jaettu kahteen alikenttään. Kuva 3.6. Ympyröiden kuvan ohennus Matlabin toteutetulla ohennusalgoritmilla Skeleton etäisyysmuunnoksen avulla Automaattinen kuidun tunnistus on tärkeä työkalu kuidun tutkimiseen ja tekstiilin käsittelyyn. Viime vuosina on kehitetty eri algoritmeja luonnollisen kuidun tunnistukseen. Tässä esitellään lyhyesti algoritmi, jota voidaan käyttää tietynmuotoisen tekokuidun tunnistuksessa. Algoritmin mukaan alkuvaiheessa sovelletaan kuidun kuvalle euklidinen etäisyysmuunnos. Kuten kappaleessa (2.2) mainittiin etäisyysmuunnoksen tuloskuvassa,

20 14 jokaisella binäärikuvan pikselillä on arvo, joka on yhtä suuri kuin sen etäisyys lähimmästä taustalla olevasta pikselistä. Kuvassa 3.7 on esitetty alkuperäinen kuva ja sen etäisyysmuunnoskartta. Kuva 3.7. Alkuperäinen binäärikuva (vasemmalla) ja sen etäisyysmuunnoskartta (oikealla). Seuraavassa vaiheessa etsitään maksimaaliset ympyrät etäisyysmuunnoskuvasta. Maksimaalisten ympyröiden keskipisteet muodostavat kuvan skeletonin. Tämän tarkoituksen takia vertaillaan kuvapikselin etäisyysmuunnosarvoa sen 3 3 naapuruston arvoihin. Jos ympyrä ei ole minkään sen 3 3 naapurustoympyrän sisällä, se on paikallinen maksimi (Maximal Disk; MD) [8]. Pikselin p naapurit ovat sen 8-naapurusto ja sen etäisyys vaakasuora- ja pystysuoranaapureihin on 1 ja diagonaalisiin naapureihin on 2. Jokaisen kuvapisteen etäisyysmuunnosarvoa verrataan sen naapureiden etäisyysmuunnosarvojen kanssa ja vähennetään siitä kahden pikselin etäisyyttä. Jos p:n etäisyysmuunnosarvo on suurin, niin p on erään maksimaalisen ympyrän keskipiste. Kaikkien paikallisten maksimaalisten ympyröiden keskipisteet eivät kuitenkaan ole globaalisten maksimaalisten ympyröiden (MD) keskipisteitä, koska ympyrä, joka ei ole minkään sen naapurustoympyröiden sisällä voi olla toisen kaukaisempana olevan ympyrän sisällä [8]. Yan Wan et. al. [8] esittivät algoritmin, jolla poimitaan maksimaalisten ympyröiden keskipisteet paikallisten maksimaalisten ympyröiden keskipisteiden avulla. Tämän algoritmin avulla valitaan paikallisten maksimaalisten ympyröiden keskipisteistä vain ne pisteet, jotka ovat globaalisten maksimaalisten ympyröiden keskipisteitä. Liitteessä 1 on kuva, jossa on esitetty skeletonin saamiseksi suoritetut vaiheet. Kuvan a-kohdassa on esitetty kuvan paikallisten maksimaalisten ympyröiden keskipisteet ja b-kohdassa globaalisten maksimaalisten ympyröiden keskipisteet. Kuvasta havaitaan, että globaalisten maksimaalisten ympyröiden keskipisteet eivät ole yhdistetty ja niiden yhdistämiseen käytetään toinen algoritmi, joka on esitetty tarkasti konferenssissa [8]. Kohinaisen reunan tapauksessa kuvan skeleton voi sisältää lyhyitä oksia, jotka eivät kuulu kuidun struktuuriin ja voivat häiritä kuidun tunnistusta. Karsitaan oksat, jotka ovat tiettyä mittaa lyhyempiä sopivalla karsinta-algoritmilla. Liitteessä 2 on

21 15 esitetty kaksi esimerkkiä, joissa havaitaan algoritmin toteutuksen eri vaiheet ja sen tulokset. Algoritmin saatuun skeletoniin on säilytetty kuidun topologiset ominaisuudet. Myös skeletonin pisteet ovat 8-connected, eli se on yhdistetty Karsinta-algoritmi Melkein kaikilla menetelmillä, joilla saadaan kappaleen skeletonia on oma karsintaalgoritmi. Tässä esitellään eräs algoritmi, joka on perusteltu morfologisiin operaatioihin [4, s. 545]. Tavallinen lähestymistapa käsin kirjoitettujen kirjaimien automaattisessa tunnistuksessa on jokaisen kirjaimen skeletonin analysoiminen. Nämä skeletonit ovat yleensä karakterisoitu oksilla, jotka ovat aiheutettu kirjainta muodostavien epäyhdenmukaisten viivojen eroosion aikana. Esitellään morfologinen tekniikkaa ratkaisemaan tämä ongelma. Oletetaan aluksi, että nämä oksat eivät ylitä tiettyä pikselimäärää. Kuvan 3.8 (a)-kohdassa on esitetty käsin kirjoitetun a kirjaimen skeleton. Kirjaimen vasemmalla oleva oksa on se osa, jota on poistettava. Ongelmaa ratkaistaan poistamalla oksan päätepiste peräkkäisessä prosessissa. Tietysti tämä lyhentää myös skeletonin muut haarat. Tässä muiden rakenteellisten tietojen puutteessa eliminoidaan haarat, jotka ovat kolmen pikselin pituisia tai lyhyempiä. Ohennetaan ensin joukko A rakennealkio-sarjalla {B}, joka on suunniteltu havaitsemaan vain kuvan päätepisteet. Eli X1 = A B, (3.10) missä {B} tarkoittaa kuvan (b)- ja (c)-kohdissa esitetty rakennealkiosarja (Ks. kaava 3.5). Rakennealkiosarja on koostunut kahdesta eri rakenteesta, kukin niistä on kierretty 90, näin ollen saadaan yhteensä kahdeksan alkiota. Rakennealkioiden kuvissa esitetty merkki viittaa don t care tilaan, eli sen alla voi olla 0 tai 1. Soveltamalla yhtälöä (3.10) kolme kertaa joukolle A saadaan joukko X1, joka on esitetty kuvan 3.8 d-kohdassa. Seuraavaksi palautetaan kirjain sen alkuperäiseen muotoon ilman oksia. Saadaksemme tavoitteen ensin muodostetaan joukko X2, joka sisältää kaikki joukon X1 päätepisteet (kuva 3.8(e)): X2 = ( X B ), (3.11) missä B ovat samat rakennealkiot, jotka ovat esitetty kuvan 3.8 (b)- ja(c)-kohdissa. Seuraavaksi dilaatioidaan päätepisteet kolme kertaa käyttäen joukko A erottimena: X3 = ( X2 H ) A, (3.12)

22 16 missä H on 3 3 rakennealkio, jonka kaikkien alkioiden arvot on 1. Lopulta joukkojen X3 ja X1 unioni tuottaa halutun tuloksen. Kuvan 3.8 (g)-kohdassa on esitetty algoritmin tulos, jossa on esitetty alkuperäinen kirjain, josta on poistettu vasemmalla oleva oksa. (a) Alkuperäinen kuva (b)b i, i = 1,2,3,4 (c) B i, i = 5,6,7,8 (d) (e) (f) (g) Kuva 3.8. Karsinta-algoritmin vaiheet.

23 17 4. JOHTOPÄÄTÖKSET Kuvan skeletonin määrittämiseksi mainituista menetelmistä keskiakselimuunnos on havaittu laskennallisesti raskaaksi, mutta se on yksikäsitteinen ja sitä hyödynnetään kuvan kompressiossa. Zhang-Suen algoritmi ohentaa kuvaa yhden pikselin paksuiseen skeletoniin, mutta alkuperäinen kuva ei ole muodostettavissa algoritmilla saadun skeletonin avulla, koska kuvan topologiset ominaisuudet eivät säily skeletonissa. Tämä algoritmi on havaittu tehokkaammaksi kuin keskiakselimuunnosalgoritmit. Tämä osoittautui myös ajamalla Matlabin valmiit funktiot keskiakselimuunnokselle ja ohennusalgoritmille. Tämän testin mukaan havaittiin että kokoiselle kuvalle skeletonin laskeminen keskiakselimuunnosmenetelmällä kestää 1,5269 sekuntia ja ohennusalgoritmilla 0,8346 sekuntia. Etäisyysmuunnoksen avulla saadussa skeletonissa on samat topologiset ominaisuudet kuin alkuperäisessä kuvassa. Myös tällä menetelmällä saatu skeleton on yhdistetty. Tätä algoritmia käytetään tekokuidun tunnistuksessa ja kuidun reunoissa olevien häiriöiden johdosta tuotetut oksat poistetaan karsinta-algoritmilla. Siten tuloskuva on robusti muodon tunnistukseen. Morfologisen skeletonin (eroosio- ja avausoperaatioilla) huonona puolena on se, että se ei ole yhdistetty ja on paksumpi kuin yksi pikseli. Näitä huonoja puolia voidaan poistaa käyttämällä ohennus hit-or-miss operaatiolla. Eli tällä algoritmilla saatu tulos on yhdistetty ja yhden pikselin paksuinen. Näin ollen päätellään, että jokainen menetelmä voisi olla sopiva tiettyyn sovellukseen riippuen saadun skeletonin ominaisuuksista.

24 18 LÄHTEET [1] Changxian, S. & Yulong, M. Morphological Thinning Based on Image s Edges. IEEE International Conference on Communication Technology. Vol. 1, October [2] Fisher, R., Perkins, S., Walker, A., Wolfart, E. Image Processing Learning Resources. [WWW]. [Viitattu ]. Saatavissa: [3] Fisher, R., Perkins, S., Walker, A. & Wolfart, E. Image Processing Learning Resources. [WWW]. [Viitattu ]. Saatavissa: [4] Gonzalez, R. C. & Woods, R. E. Digital Image Processing. 2nd edition. 791 p. India 2003, Pearson Education. [5] Kong, T.Y. & Rosenfeld, A. Topological Algorithms for Digital Image Processing. Vol.19, pp , Elsevier Science [6] Kresch, R. & Malah, D. Skeleton-Based Morphological Coding of Binary Images. IEEE Transactions on Image Processing, Vol. 7, No. 10, pp , October [7] Lam, L., Lee, S.-W & Suen, C.Y. Thinning Methodologies-A Comprehensive Survey. IEEE Transactions on Pattern Analysis and Machine Intelligence. Vol. 14, No. 9, pp , September [8] Ritter, G. X. & Wilson, J. N. Handbook of Computer Vision Algorithms in Image Algebra: Thinning and skeletonization. CRC Press, [9] Wan, Y., Yao, L., Xu, B. & Zeng, P. A Distance Map Based Skeletonization Algorithm and its Application in Fiber Recognition. IEEE Conferences. pp , July [10] Wikipedia. [WWW]. [Viitattu ]. Saatavissa: [11] [WWW]. [Viitattu ]. Saatavissa:

25 19 LIITTEET (a) (b) (c) Liite 1. Kappaleessa 3.4 esitetyn algoritmin suoritusvaiheet (kuva lähteestä [9]). (a) Kuvan paikallisten maksimaalisten ympyröiden keskipisteet, (b) globaalisten maksimaalisten ympyröiden keskipisteet, (c) kuvan skeleton [8]. Liite 2. Tähti- ja trilobal muotoisten kuitujen skeleton käyttäen kappaleessa 3.4 esitettyä menetelmää (kuva lähteestä [9]). (a) Binäärikuva, (b) MD keskipisteet, (c) MD keskipisteet ovat yhdistetty, (d) lyhyet oksat ovat karsittu skeletonista karsinta-algoritmilla.

8. Morfologinen kuvanprosessointi 8.1. Perusteita

8. Morfologinen kuvanprosessointi 8.1. Perusteita 8. Morfologinen kuvanprosessointi 8.1. Perusteita Sana morfologia viittaa muotoon ja rakenteeseen eri tieteenaloilla. Kuvanprosessoinnissa se tarkoittaa matemaattista keinoa, jolla irrotetaan kuvasta kiinnostavia

Lisätiedot

8 Joukoista. 8.1 Määritelmiä

8 Joukoista. 8.1 Määritelmiä 1 8 Joukoista Joukko on alkoidensa kokoelma. Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukkooppi aksiomaattisesti. Näin ei tässä tehdä

Lisätiedot

Tekijä Pitkä matematiikka

Tekijä Pitkä matematiikka K1 Tekijä Pitkä matematiikka 5 7..017 a) 1 1 + 1 = 4 + 1 = 3 = 3 4 4 4 4 4 4 b) 1 1 1 = 4 6 3 = 5 = 5 3 4 1 1 1 1 1 K a) Koska 3 = 9 < 10, niin 3 10 < 0. 3 10 = (3 10 ) = 10 3 b) Koska π 3,14, niin π

Lisätiedot

S09 04 Kohteiden tunnistaminen 3D datasta

S09 04 Kohteiden tunnistaminen 3D datasta AS 0.3200 Automaatio ja systeemitekniikan projektityöt S09 04 Kohteiden tunnistaminen 3D datasta Loppuraportti 22.5.2009 Akseli Korhonen 1. Projektin esittely Projektin tavoitteena oli algoritmin kehittäminen

Lisätiedot

Reaalilukuvälit, leikkaus ja unioni (1/2)

Reaalilukuvä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ätiedot

Suorista ja tasoista LaMa 1 syksyllä 2009

Suorista ja tasoista LaMa 1 syksyllä 2009 Viidennen viikon luennot Suorista ja tasoista LaMa 1 syksyllä 2009 Perustuu kirjan Poole: Linear Algebra lukuihin I.3 - I.4 Esko Turunen esko.turunen@tut.fi Aluksi hiukan 2 ja 3 ulotteisen reaaliavaruuden

Lisätiedot

Joukot. Georg Cantor ( )

Joukot. Georg Cantor ( ) Joukot Matematiikassa on pyrkimys määritellä monimutkaiset asiat täsmällisesti yksinkertaisempien asioiden avulla. Tarvitaan jokin lähtökohta, muutama yleisesti hyväksytty ja ymmärretty käsite, joista

Lisätiedot

Algoritmit 2. Luento 6 To Timo Männikkö

Algoritmit 2. Luento 6 To Timo Männikkö Algoritmit 2 Luento 6 To 28.3.2019 Timo Männikkö Luento 6 B-puun operaatiot Nelipuu Trie-rakenteet Standarditrie Pakattu trie Algoritmit 2 Kevät 2019 Luento 6 To 28.3.2019 2/30 B-puu 40 60 80 130 90 100

Lisätiedot

Algoritmit 1. Luento 10 Ke Timo Männikkö

Algoritmit 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ätiedot

2 Pistejoukko koordinaatistossa

2 Pistejoukko koordinaatistossa Pistejoukko koordinaatistossa Ennakkotehtävät 1. a) Esimerkiksi: b) Pisteet sijaitsevat pystysuoralla suoralla, joka leikkaa x-akselin kohdassa x =. c) Yhtälö on x =. d) Sijoitetaan joitain ehdon toteuttavia

Lisätiedot

10. Esitys ja kuvaus

10. Esitys ja kuvaus 10. Esitys ja kuvaus Kun kuva on ensin segmentoitu alueisiin edellisen luvun menetelmin, segmentoidut pikselit kootaan esittämään ja kuvaamaan kohteita muodossa, joka sopii hyvin jatkokäsittelyä varten.

Lisätiedot

2 Raja-arvo ja jatkuvuus

2 Raja-arvo ja jatkuvuus Juuri 6 Tehtävien ratkaisut Kustannusosakeyhtiö Otava päivitetty 5.7.6 Raja-arvo ja jatkuvuus. a) Kun suorakulmion kärki on kohdassa =, on suorakulmion kannan pituus. Suorakulmion korkeus on käyrän y-koordinaatti

Lisätiedot

Algoritmit 1. Luento 3 Ti Timo Männikkö

Algoritmit 1. Luento 3 Ti Timo Männikkö Algoritmit 1 Luento 3 Ti 17.1.2017 Timo Männikkö Luento 3 Algoritmin analysointi Rekursio Lomituslajittelu Aikavaativuus Tietorakenteet Pino Algoritmit 1 Kevät 2017 Luento 3 Ti 17.1.2017 2/27 Algoritmien

Lisätiedot

Yhtälön oikealla puolella on säteen neliö, joten r. = 5 eli r = ± 5. Koska säde on positiivinen, niin r = 5.

Yhtälön oikealla puolella on säteen neliö, joten r. = 5 eli r = ± 5. Koska säde on positiivinen, niin r = 5. Tekijä Pitkä matematiikka 5 7..017 31 Kirjoitetaan yhtälö keskipistemuotoon ( x x ) + ( y y ) = r. 0 0 a) ( x 4) + ( y 1) = 49 Yhtälön vasemmalta puolelta nähdään, että x 0 = 4 ja y 0 = 1, joten ympyrän

Lisätiedot

v 8 v 9 v 5 C v 3 v 4

v 8 v 9 v 5 C v 3 v 4 Verkot Verkko on (äärellinen) matemaattinen malli, joka koostuu pisteistä ja pisteitä toisiinsa yhdistävistä viivoista. Jokainen viiva yhdistää kaksi pistettä, jotka ovat viivan päätepisteitä. Esimerkiksi

Lisätiedot

Luku 8. Aluekyselyt. 8.1 Summataulukko

Luku 8. Aluekyselyt. 8.1 Summataulukko Luku 8 Aluekyselyt Aluekysely on tiettyä taulukon väliä koskeva kysely. Tyypillisiä aluekyselyitä ovat, mikä on taulukon välin lukujen summa tai pienin luku välillä. Esimerkiksi seuraavassa taulukossa

Lisätiedot

Vastauksia. Topologia Syksy 2010 Harjoitus 1

Vastauksia. Topologia Syksy 2010 Harjoitus 1 Topologia Syksy 2010 Harjoitus 1 (1) Olkoon X joukko ja (T j ) j J perhe X:n topologioita. Osoita, että T = {T j : j J} on X:n topologia. (2) Todista: Välit [a, b) muodostavat R 1 :n erään topologian kannan.

Lisätiedot

y=-3x+2 y=2x-3 y=3x+2 x = = 6

y=-3x+2 y=2x-3 y=3x+2 x = = 6 MAA Koe, Arto Hekkanen ja Jussi Tyni 5.5.015 Loppukoe LASKE ILMAN LASKINTA. 1. Yhdistä kuvaaja ja sen yhtälö a) 3 b) 1 c) 5 d) Suoran yhtälö 1) y=3x ) 3x+y =0 3) x y 3=0 ) y= 3x 3 5) y= 3x 6) 3x y+=0 y=-3x+

Lisätiedot

Mitä on konvoluutio? Tutustu kuvankäsittelyyn

Mitä on konvoluutio? Tutustu kuvankäsittelyyn Mitä on konvoluutio? Tutustu kuvankäsittelyyn Tieteenpäivät 2015, Työohje Sami Varjo Johdanto Digitaalinen signaalienkäsittely on tullut osaksi arkipäiväämme niin, ettemme yleensä edes huomaa sen olemassa

Lisätiedot

Konformigeometriaa. 5. maaliskuuta 2006

Konformigeometriaa. 5. maaliskuuta 2006 Konformigeometriaa 5. maaliskuuta 006 1 Sisältö 1 Konformigeometria 1.1 Viivan esitys stereograasena projektiona............ 1. Euklidisen avaruuden konformaalinen malli........... 4 Konformikuvaukset

Lisätiedot

Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti.

Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti. Joukon määritelmä Joukko on alkioidensa kokoelma. Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti. Näin ei tässä

Lisätiedot

verkkojen G ja H välinen isomorfismi. Nyt kuvaus f on bijektio, joka säilyttää kyseisissä verkoissa esiintyvät särmät, joten pari

verkkojen G ja H välinen isomorfismi. Nyt kuvaus f on bijektio, joka säilyttää kyseisissä verkoissa esiintyvät särmät, joten pari Tehtävä 9 : 1 Merkitään kirjaimella G tehtäväpaperin kuvan vasemmanpuoleista verkkoa sekä kirjaimella H tehtäväpaperin kuvan oikeanpuoleista verkkoa. Kuvan perusteella voidaan havaita, että verkko G on

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 9 1 Implisiittinen derivointi Tarkastellaan nyt yhtälöä F(x, y) = c, jossa x ja y ovat muuttujia ja c on vakio Esimerkki tällaisesta yhtälöstä on x 2 y 5 + 5xy = 14

Lisätiedot

LUKUTEORIA johdantoa

LUKUTEORIA 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ätiedot

Ellipsoidimenetelmä. Samuli Leppänen Kokonaislukuoptimointi. S ysteemianalyysin Laboratorio

Ellipsoidimenetelmä. Samuli Leppänen Kokonaislukuoptimointi. S ysteemianalyysin Laboratorio Ellipsoidimenetelmä Kokonaislukuoptimointi Sovelletun matematiikan lisensiaattiseminaari Kevät 2008 / 1 Sisällys Ellipsoidimenetelmän geometrinen perusta ja menetelmän idea Formaali ellipsoidimenetelmä

Lisätiedot

Osoita, että kaikki paraabelit ovat yhdenmuotoisia etsimällä skaalauskuvaus, joka vie paraabelin y = ax 2 paraabelille y = bx 2. VASTAUS: , b = 2 2

Osoita, että kaikki paraabelit ovat yhdenmuotoisia etsimällä skaalauskuvaus, joka vie paraabelin y = ax 2 paraabelille y = bx 2. VASTAUS: , b = 2 2 8. Geometriset kuvaukset 8.1. Euklidiset kuvaukset 344. Esitä muodossa x = Ax + b se avaruuden E 3 peilauskuvaus, jonka symmetriatasona on x 1 3x + x 3 = 6. A = 1 3 6 6 3, b = 1 1 18. 3 6 6 345. Tason

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 8 Väliarvolause Oletetaan, että funktio f on jatkuva jollain reaalilukuvälillä [a, b] ja derivoituva avoimella välillä (a, b). Funktion muutos tällä välillä on luonnollisesti

Lisätiedot

Matematiikan tukikurssi, kurssikerta 1

Matematiikan tukikurssi, kurssikerta 1 Matematiikan tukikurssi, kurssikerta 1 1 Joukko-oppia Matematiikassa joukko on mikä tahansa kokoelma objekteja. Esimerkiksi joukkoa A, jonka jäseniä ovat numerot 1, 2 ja 5 merkitään A = {1, 2, 5}. Joukon

Lisätiedot

2.2 Muunnosten käyttöön tutustumista

2.2 Muunnosten käyttöön tutustumista 2.2 Muunnosten käyttöön tutustumista Esimerkki Tutki kuinka muunnosten avulla voi selvittää haastavan yhtälön ratkaisun. Vaakamalli Matemaattinen esitys Muunnos x x 7x 8 x + 7x + 8 = x Lx 8 7x 2 V8 8 8

Lisätiedot

y x1 σ t 1 = c y x 1 σ t 1 = y x 2 σ t 2 y x 2 x 1 y = σ(t 2 t 1 ) x 2 x 1 y t 2 t 1

y x1 σ t 1 = c y x 1 σ t 1 = y x 2 σ t 2 y x 2 x 1 y = σ(t 2 t 1 ) x 2 x 1 y t 2 t 1 1. Tarkastellaan funktiota missä σ C ja y (y 1,..., y n ) R n. u : R n R C, u(x, t) e i(y x σt), (a) Miksi funktiota u(x, t) voidaan kutsua tasoaalloksi, jonka aaltorintama on kohtisuorassa vektorin y

Lisätiedot

Johdatus graafiteoriaan

Johdatus graafiteoriaan Johdatus graafiteoriaan Syksy 2017 Lauri Hella Tampereen yliopisto Luonnontieteiden tiedekunta 62 Luku 2 Yhtenäisyys 2.1 Polku 2.2 Lyhin painotettu polku 2.3 Yhtenäinen graafi 2.4 Komponentti 2.5 Aste

Lisätiedot

Ristitulolle saadaan toinen muistisääntö determinantin avulla. Vektoreiden v ja w ristitulo saadaan laskemalla determinantti

Ristitulolle saadaan toinen muistisääntö determinantin avulla. Vektoreiden v ja w ristitulo saadaan laskemalla determinantti 14 Ristitulo Avaruuden R 3 vektoreille voidaan määritellä pistetulon lisäksi niin kutsuttu ristitulo. Pistetulosta poiketen ristitulon tulos ei ole reaaliluku vaan avaruuden R 3 vektori. Ristitulosta on

Lisätiedot

2.2 Muunnosten käyttöön tutustumista

2.2 Muunnosten käyttöön tutustumista 2.2 Muunnosten käyttöön tutustumista Tunnin rakenne: - Esimerkki (min) - Tehtävä -, jokerit tarvittaessa (2 min) - Loppukoonti ja ryhmäarviointi ( min) Tunnin tavoitteet: - Analysoidaan ja pohditaan valmiiksi

Lisätiedot

Epäeuklidista geometriaa

Epäeuklidista geometriaa Epäeuklidista geometriaa 7. toukokuuta 2006 Sisältö 1 Johdanto 1 1.1 Euklidinen geometria....................... 1 1.2 Epäeuklidinen geometria..................... 2 2 Poincarén kiekko 2 3 Epäeuklidiset

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 6 1 Korkolaskentaa Oletetaan, että korkoaste on r Jos esimerkiksi r = 0, 02, niin korko on 2 prosenttia Tätä korkoastetta käytettään diskonttaamaan tulevia tuloja ja

Lisätiedot

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä 1 3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä Lineaarinen m:n yhtälön yhtälöryhmä, jossa on n tuntematonta x 1,, x n on joukko yhtälöitä, jotka ovat muotoa a 11 x 1 + + a 1n x n = b 1 a

Lisätiedot

z 1+i (a) f (z) = 3z 4 5z 3 + 2z (b) f (z) = z 4z + 1 f (z) = 12z 3 15z 2 + 2

z 1+i (a) f (z) = 3z 4 5z 3 + 2z (b) f (z) = z 4z + 1 f (z) = 12z 3 15z 2 + 2 BM20A5700 - Integraauunnokset Harjoitus 2 1. Laske seuraavat raja-arvot. -kohta ratkeaa, kun pistät sekä yläkerran että alakerran muotoon (z z 1 )(z z 2 ), missä siis z 1 ja z 2 ovat näiden lausekkeiden

Lisätiedot

4.3. Matemaattinen induktio

4.3. Matemaattinen induktio 4.3. Matemaattinen induktio Matemaattinen induktio: Deduktion laji Soveltuu, kun ominaisuus on osoitettava olevan voimassa luonnollisilla luvuilla. Suppea muoto P(n) : Ominaisuus, joka joka riippuu luvusta

Lisätiedot

isomeerejä yhteensä yhdeksän kappaletta.

isomeerejä yhteensä yhdeksän kappaletta. Tehtävä 2 : 1 Esitetään aluksi eräitä havaintoja. Jokaisella n Z + symbolilla H (n) merkitään kaikkien niiden verkkojen joukkoa, jotka vastaavat jotakin tehtävänannon ehtojen mukaista alkaanin hiiliketjua

Lisätiedot

2D piirrelaskennan alkeet, osa I

2D piirrelaskennan alkeet, osa I 2D piirrelaskennan alkeet, osa I Ville Tirronen aleator@jyu.fi University of Jyväskylä 18. syyskuuta 2008 Näkökulma Aiheet Tarkastellaan yksinkertaisia 2D kuvankäsittelyoperaattoreita Näkökulmana on tunnistava

Lisätiedot

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120 Tehtävä 1 : 1 Merkitään jatkossa kirjaimella H kaikkien solmujoukon V sellaisten verkkojen kokoelmaa, joissa on tasan kolme särmää. a) Jokainen verkko G H toteuttaa väitteen E(G) [V]. Toisaalta jokainen

Lisätiedot

1 Kertaus. Lineaarinen optimointitehtävä on muotoa:

1 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ätiedot

JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN TEEMU ROOS JOHDATUS TEKOÄLYYN TEEMU ROOS TERMINATOR SIGNAALINKÄSITTELY KUVA VOIDAAN TULKITA KOORDINAATTIEN (X,Y) FUNKTIONA. LÄHDE: S. SEITZ VÄRIKUVA KOOSTUU KOLMESTA KOMPONENTISTA (R,G,B). ÄÄNI VASTAAVASTI MUUTTUJAN

Lisätiedot

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21 säilyy Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla c b a 1 2 3 5 1 / 21 säilyy Esimerkkirelaatio R = {(1, b), (3, a), (5, a), (5, c)} c b a 1

Lisätiedot

Yhtälöryhmät 1/6 Sisältö ESITIEDOT: yhtälöt

Yhtälöryhmät 1/6 Sisältö ESITIEDOT: yhtälöt Yhtälöryhmät 1/6 Sisältö Yhtälöryhmä Yhtälöryhmässä on useita yhtälöitä ja yleensä myös useita tuntemattomia. Tavoitteena on löytää tuntemattomille sellaiset arvot, että kaikki yhtälöt toteutuvat samanaikaisesti.

Lisätiedot

Lineaarinen optimointitehtävä

Lineaarinen optimointitehtävä Lineaarinen optimointitehtävä Minimointitehtävä yhtälörajoittein: min kun n j=1 n j=1 c j x j a ij x j = b i x j 0 j = 1,..., n i = 1,..., m Merkitään: z = alkuperäisen objektifunktion arvo käsiteltävänä

Lisätiedot

Lineaarialgebra ja matriisilaskenta I, HY Kurssikoe Ratkaisuehdotus. 1. (35 pistettä)

Lineaarialgebra ja matriisilaskenta I, HY Kurssikoe Ratkaisuehdotus. 1. (35 pistettä) Lineaarialgebra ja matriisilaskenta I, HY Kurssikoe 26.10.2017 Ratkaisuehdotus 1. (35 pistettä) (a) Seuraavat matriisit on saatu eräistä yhtälöryhmistä alkeisrivitoimituksilla. Kuinka monta ratkaisua yhtälöryhmällä

Lisätiedot

Mediaanisuodattimet. Tähän asti käsitellyt suodattimet ovat olleet lineaarisia. Niille on tyypillistä, että. niiden ominaisuudet tunnetaan hyvin

Mediaanisuodattimet. Tähän asti käsitellyt suodattimet ovat olleet lineaarisia. Niille on tyypillistä, että. niiden ominaisuudet tunnetaan hyvin Mediaanisuodattimet Tähän asti käsitellyt suodattimet ovat olleet lineaarisia. Niille on tyypillistä, että niiden ominaisuudet tunnetaan hyvin niiden analysointiin on olemassa vakiintuneita menetelmiä

Lisätiedot

Department of Mathematics, Hypermedia Laboratory Tampere University of Technology. Roolit Verkostoissa: HITS. Idea.

Department of Mathematics, Hypermedia Laboratory Tampere University of Technology. Roolit Verkostoissa: HITS. Idea. Roolit Tommi Perälä Department of Mathematics, Hypermedia Laboratory Tampere University of Technology 25.3.2011 J. Kleinberg kehitti -algoritmin (Hypertext Induced Topic Search) hakukoneen osaksi. n taustalla

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet

MS-A0402 Diskreetin matematiikan perusteet MS-A040 Diskreetin matematiikan perusteet Osa : Relaatiot ja funktiot Riikka Kangaslampi 017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Relaatiot Relaatio Määritelmä 1 Relaatio joukosta A

Lisätiedot

MATEMATIIKAN KOE, LYHYT OPPIMÄÄRÄ ESITYS pisteitykseksi

MATEMATIIKAN KOE, LYHYT OPPIMÄÄRÄ ESITYS pisteitykseksi MATEMATIIKAN KOE, LYHYT OPPIMÄÄRÄ 3.9.05 ESITYS pisteitykseksi Yleisohje tarkkuuksista: Ellei tehtävässä vaadittu tiettyä tarkkuutta, kelpaa numeerisissa vastauksissa ohjeen vastauksen lisäksi yksi merkitsevä

Lisätiedot

Lukion matematiikkakilpailun alkukilpailu 2015

Lukion matematiikkakilpailun alkukilpailu 2015 Lukion matematiikkakilpailun alkukilpailu 015 Avoimen sarjan tehtävät ja niiden ratkaisuja 1. Olkoot a ja b peräkkäisiä kokonaislukuja, c = ab ja d = a + b + c. a) Osoita, että d on kokonaisluku. b) Mitä

Lisätiedot

Johdatus verkkoteoriaan 4. luento

Johdatus verkkoteoriaan 4. luento Johdatus verkkoteoriaan 4. luento 28.11.17 Viikolla 46 läpikäydyt käsitteet Viikolla 47 läpikäydyt käsitteet Verkko eli graafi, tasoverkko, solmut, välit, alueet, suunnatut verkot, isomorfiset verkot,

Lisätiedot

5.6 Yhdistetty kuvaus

5.6 Yhdistetty kuvaus 5.6 Yhdistetty kuvaus Määritelmä 5.6.1. Oletetaan, että f : æ Y ja g : Y æ Z ovat kuvauksia. Yhdistetty kuvaus g f : æ Z määritellään asettamalla kaikilla x œ. (g f)(x) =g(f(x)) Huomaa, että yhdistetty

Lisätiedot

Matematiikan tukikurssi, kurssikerta 3

Matematiikan tukikurssi, kurssikerta 3 Matematiikan tukikurssi, kurssikerta 3 1 Epäyhtälöitä Aivan aluksi lienee syytä esittää luvun itseisarvon määritelmä: { x kun x 0 x = x kun x < 0 Siispä esimerkiksi 10 = 10 ja 10 = 10. Seuraavaksi listaus

Lisätiedot

2.3 Virheitä muunnosten käytössä

2.3 Virheitä muunnosten käytössä 2.3 Virheitä muunnosten käytössä Esimerkissä 1 yhtälönratkaisuprosessi näytetään kokonaisuudessaan. Yhtälön rinnalla ovat muunnokset ja sanallinen selitys, johon oppilaat täydentävät esimerkissä käytetyt

Lisätiedot

Kokonaislukuoptimointi

Kokonaislukuoptimointi Kokonaislukuoptimointi Algebrallisen geometrian sovelluksia Sisältö Taustaa algebrallisesta geometriasta Gröbnerin kanta Buchbergerin algoritmi Kokonaislukuoptimointi Käypyysongelma Algoritmi ratkaisun

Lisätiedot

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on 13 Pistetulo Avaruuksissa R 2 ja R 3 on totuttu puhumaan vektorien pituuksista ja vektoreiden välisistä kulmista. Kuten tavallista, näiden käsitteiden yleistäminen korkeampiulotteisiin avaruuksiin ei onnistu

Lisätiedot

Matemaatiikan tukikurssi

Matemaatiikan tukikurssi Matemaatiikan tukikurssi Kurssikerta 1 1 Funktiot Funktion määritelmä Funktio on sääntö, joka liittää kahden eri joukon alkioita toisiinsa. Ollakseen funktio tämän säännön on liitettävä jokaiseen lähtöjoukon

Lisätiedot

Tenttiin valmentavia harjoituksia

Tenttiin valmentavia harjoituksia Tenttiin valmentavia harjoituksia Alla olevissa harjoituksissa suluissa oleva sivunumero viittaa Juha Partasen kurssimonisteen siihen sivuun, jolta löytyy apua tehtävän ratkaisuun. Funktiot Harjoitus.

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 10 1 Funktion monotonisuus Derivoituva funktio f on aidosti kasvava, jos sen derivaatta on positiivinen eli jos f (x) > 0. Funktio on aidosti vähenevä jos sen derivaatta

Lisätiedot

8 KANNAT JA ORTOGONAALISUUS. 8.1 Lineaarinen riippumattomuus. Vaasan yliopiston julkaisuja 151

8 KANNAT JA ORTOGONAALISUUS. 8.1 Lineaarinen riippumattomuus. Vaasan yliopiston julkaisuja 151 Vaasan yliopiston julkaisuja 151 8 KANNAT JA ORTOGONAALISUUS KantaOrthogon Sec:LinIndep 8.1 Lineaarinen riippumattomuus Lineaarinen riippumattomuus on oikeastaan jo määritelty, mutta kirjoitamme määritelmät

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 4 Jatkuvuus Jatkuvan funktion määritelmä Tarkastellaan funktiota f x) jossakin tietyssä pisteessä x 0. Tämä funktio on tässä pisteessä joko jatkuva tai epäjatkuva. Jatkuvuuden

Lisätiedot

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141 Lineaarialgebra ja matriisilaskenta II LM2, Kesä 2012 1/141 Kertausta: avaruuden R n vektorit Määritelmä Oletetaan, että n {1, 2, 3,...}. Avaruuden R n alkiot ovat jonoja, joissa on n kappaletta reaalilukuja.

Lisätiedot

Osa IX. Z muunnos. Johdanto Diskreetit funktiot

Osa IX. Z muunnos. Johdanto Diskreetit funktiot Osa IX Z muunnos A.Rasila, J.v.Pfaler () Mat-.33 Matematiikan peruskurssi KP3-i 9. lokakuuta 2007 298 / 322 A.Rasila, J.v.Pfaler () Mat-.33 Matematiikan peruskurssi KP3-i 9. lokakuuta 2007 299 / 322 Johdanto

Lisätiedot

Algoritmit 2. Luento 11 Ti Timo Männikkö

Algoritmit 2. Luento 11 Ti Timo Männikkö Algoritmit 2 Luento 11 Ti 24.4.2018 Timo Männikkö Luento 11 Rajoitehaku Kapsäkkiongelma Kauppamatkustajan ongelma Paikallinen etsintä Lyhin virittävä puu Vaihtoalgoritmit Algoritmit 2 Kevät 2018 Luento

Lisätiedot

3 Suorat ja tasot. 3.1 Suora. Tässä luvussa käsitellään avaruuksien R 2 ja R 3 suoria ja tasoja vektoreiden näkökulmasta.

3 Suorat ja tasot. 3.1 Suora. Tässä luvussa käsitellään avaruuksien R 2 ja R 3 suoria ja tasoja vektoreiden näkökulmasta. 3 Suorat ja tasot Tässä luvussa käsitellään avaruuksien R 2 ja R 3 suoria ja tasoja vektoreiden näkökulmasta. 3.1 Suora Havaitsimme skalaarikertolaskun tulkinnan yhteydessä, että jos on mikä tahansa nollasta

Lisätiedot

Olkoon seuraavaksi G 2 sellainen tasan n solmua sisältävä suunnattu verkko,

Olkoon seuraavaksi G 2 sellainen tasan n solmua sisältävä suunnattu verkko, Tehtävä 1 : 1 a) Olkoon G heikosti yhtenäinen suunnattu verkko, jossa on yhteensä n solmua. Määritelmän nojalla verkko G S on yhtenäinen, jolloin verkoksi T voidaan valita jokin verkon G S virittävä alipuu.

Lisätiedot

Lisää pysähtymisaiheisia ongelmia

Lisää pysähtymisaiheisia ongelmia Lisää pysähtymisaiheisia ongelmia Lause: Pysähtymättömyysongelma H missä H = { w111x w validi koodi, M w ei pysähdy syötteellä x } ei ole rekursiivisesti lueteltava. Todistus: Pysähtymisongelman komplementti

Lisätiedot

ja λ 2 = 2x 1r 0 x 2 + 2x 1r 0 x 2

ja λ 2 = 2x 1r 0 x 2 + 2x 1r 0 x 2 Johdatus diskreettiin matematiikkaan Harjoitus 4, 7.10.2015 1. Olkoot c 0, c 1 R siten, että polynomilla r 2 c 1 r c 0 on kaksinkertainen juuri. Määritä rekursioyhtälön x n+2 = c 1 x n+1 + c 0 x n, n N,

Lisätiedot

Yhtälönratkaisusta. Johanna Rämö, Helsingin yliopisto. 22. syyskuuta 2014

Yhtälönratkaisusta. Johanna Rämö, Helsingin yliopisto. 22. syyskuuta 2014 Yhtälönratkaisusta Johanna Rämö, Helsingin yliopisto 22. syyskuuta 2014 Yhtälönratkaisu on koulusta tuttua, mutta usein sitä tehdään mekaanisesti sen kummempia ajattelematta. Jotta pystytään ratkaisemaan

Lisätiedot

n! k!(n k)! n = Binomikerroin voidaan laskea pelkästään yhteenlaskun avulla käyttäen allaolevia ns. palautuskaavoja.

n! k!(n k)! n = Binomikerroin voidaan laskea pelkästään yhteenlaskun avulla käyttäen allaolevia ns. palautuskaavoja. IsoInt Tietokoneiden muisti koostuu yksittäisistä muistisanoista, jotka nykyaikaisissa koneissa ovat 64 bitin pituisia. Muistisanan koko asettaa teknisen rajoituksen sille, kuinka suuria lukuja tietokone

Lisätiedot

Algebra I, Harjoitus 6, , Ratkaisut

Algebra I, Harjoitus 6, , Ratkaisut Algebra I Harjoitus 6 9. 13.3.2009 Ratkaisut Algebra I Harjoitus 6 9. 13.3.2009 Ratkaisut (MV 6 sivua 1. Olkoot M ja M multiplikatiivisia monoideja. Kuvaus f : M M on monoidihomomorfismi jos 1 f(ab = f(af(b

Lisätiedot

Luku 6. Dynaaminen ohjelmointi. 6.1 Funktion muisti

Luku 6. Dynaaminen ohjelmointi. 6.1 Funktion muisti Luku 6 Dynaaminen ohjelmointi Dynaamisessa ohjelmoinnissa on ideana jakaa ongelman ratkaisu pienempiin osaongelmiin, jotka voidaan ratkaista toisistaan riippumattomasti. Jokaisen osaongelman ratkaisu tallennetaan

Lisätiedot

Suora 1/5 Sisältö ESITIEDOT: vektori, koordinaatistot, piste

Suora 1/5 Sisältö ESITIEDOT: vektori, koordinaatistot, piste Suora 1/5 Sisältö KATSO MYÖS:, vektorialgebra, geometriset probleemat, taso Suora geometrisena peruskäsitteenä Pisteen ohella suora on geometrinen peruskäsite, jota varsinaisesti ei määritellä. Alkeisgeometriassa

Lisätiedot

Käänteismatriisin. Aiheet. Käänteismatriisin ominaisuuksia. Rivioperaatiot matriisitulona. Matriisin kääntäminen rivioperaatioiden avulla

Käänteismatriisin. Aiheet. Käänteismatriisin ominaisuuksia. Rivioperaatiot matriisitulona. Matriisin kääntäminen rivioperaatioiden avulla Käänteismatriisi, L5 1 Tässä kalvosarjassa käsittelemme neliömatriiseja. Ilman asian jatkuvaa toistamista oletamme seuraavassa, että kaikki käsittelemämme matriisit ovat neliömatriiseja. Määritelmä. Olkoon

Lisätiedot

S-114.3812 Laskennallinen Neurotiede

S-114.3812 Laskennallinen Neurotiede S-114.381 Laskennallinen Neurotiede Projektityö 30.1.007 Heikki Hyyti 60451P Tehtävä 1: Virityskäyrästön laskeminen Luokitellaan neuroni ensin sen mukaan, miten se vastaa sinimuotoisiin syötteisiin. Syöte

Lisätiedot

Datatähti 2019 loppu

Datatähti 2019 loppu Datatähti 2019 loppu task type time limit memory limit A Summa standard 1.00 s 512 MB B Bittijono standard 1.00 s 512 MB C Auringonlasku standard 1.00 s 512 MB D Binääripuu standard 1.00 s 512 MB E Funktio

Lisätiedot

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa.

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa. Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa. Vastaus 2. Vertaillaan

Lisätiedot

JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN TEEMU ROOS JOHDATUS TEKOÄLYYN TEEMU ROOS TERMINATOR SIGNAALINKÄSITTELY KUVA VOIDAAN TULKITA KOORDINAATTIEN (X,Y) FUNKTIONA. LÄHDE: S. SEITZ VÄRIKUVA KOOSTUU KOLMESTA KOMPONENTISTA (R,G,B). ÄÄNI VASTAAVASTI MUUTTUJAN

Lisätiedot

Hilbertin aksioomat ja tarvittavat määritelmät Tiivistelmä Geometria-luentomonisteesta Heikki Pitkänen

Hilbertin aksioomat ja tarvittavat määritelmät Tiivistelmä Geometria-luentomonisteesta Heikki Pitkänen Hilbertin aksioomat ja tarvittavat määritelmät Tiivistelmä Geometria-luentomonisteesta Heikki Pitkänen 1. Hilbertin aksioomat 1-3 Oletetaan tunnetuiksi peruskäsitteet: piste, suora ja suora kulkee pisteen

Lisätiedot

IDL - proseduurit. ATK tähtitieteessä. IDL - proseduurit

IDL - proseduurit. ATK tähtitieteessä. IDL - proseduurit IDL - proseduurit 25. huhtikuuta 2017 Viimeksi käsiteltiin IDL:n interaktiivista käyttöä, mutta tämä on hyvin kömpelöä monimutkaisempia asioita tehtäessä. IDL:llä on mahdollista tehdä ns. proseduuri-tiedostoja,

Lisätiedot

Königsbergin sillat. Königsberg 1700-luvulla. Leonhard Euler ( )

Königsbergin sillat. Königsberg 1700-luvulla. Leonhard Euler ( ) Königsbergin sillat 1700-luvun Königsbergin (nykyisen Kaliningradin) läpi virtasi joki, jonka ylitti seitsemän siltaa. Sanotaan, että kaupungin asukkaat yrittivät löytää reittiä, joka lähtisi heidän kotoaan,

Lisätiedot

Algoritmit 1. Luento 7 Ti Timo Männikkö

Algoritmit 1. Luento 7 Ti Timo Männikkö Algoritmit 1 Luento 7 Ti 31.1.2017 Timo Männikkö Luento 7 Järjestetty binääripuu Binääripuiden termejä Binääripuiden operaatiot Solmun haku, lisäys, poisto Algoritmit 1 Kevät 2017 Luento 7 Ti 31.1.2017

Lisätiedot

Kertaus. x x x. K1. a) b) x 5 x 6 = x 5 6 = x 1 = 1 x, x 0. K2. a) a a a a, a > 0

Kertaus. x x x. K1. a) b) x 5 x 6 = x 5 6 = x 1 = 1 x, x 0. K2. a) a a a a, a > 0 Juuri 8 Tehtävien ratkaisut Kustannusosakeyhtiö Otava päivitetty 8.9.07 Kertaus K. a) 6 4 64 0, 0 0 0 0 b) 5 6 = 5 6 = =, 0 c) d) K. a) b) c) d) 4 4 4 7 4 ( ) 7 7 7 7 87 56 7 7 7 6 6 a a a, a > 0 6 6 a

Lisätiedot

Yhtenäisyydestä. Johdanto. Lähipisteavaruus. Tuomas Korppi

Yhtenäisyydestä. Johdanto. Lähipisteavaruus. Tuomas Korppi Solmu 2/2012 1 Yhtenäisyydestä Tuomas Korppi Johdanto Tarkastellaan kuvassa 1 näkyviä verkkoa 1 ja R 2 :n (eli tason) osajoukkoa. Kuvan 2 verkko voidaan jakaa kolmeen osaan niin, että osien välillä ei

Lisätiedot

Täydellisyysaksiooman kertaus

Täydellisyysaksiooman kertaus Täydellisyysaksiooman kertaus Luku M R on joukon A R yläraja, jos a M kaikille a A. Luku M R on joukon A R alaraja, jos a M kaikille a A. A on ylhäältä (vast. alhaalta) rajoitettu, jos sillä on jokin yläraja

Lisätiedot

ATK tähtitieteessä. Osa 3 - IDL proseduurit ja rakenteet. 18. syyskuuta 2014

ATK tähtitieteessä. Osa 3 - IDL proseduurit ja rakenteet. 18. syyskuuta 2014 18. syyskuuta 2014 IDL - proseduurit Viimeksi käsiteltiin IDL:n interaktiivista käyttöä, mutta tämä on hyvin kömpelöä monimutkaisempia asioita tehtäessä. IDL:llä on mahdollista tehdä ns. proseduuri-tiedostoja,

Lisätiedot

y z = (x, y) Kuva 1: Euklidinen taso R 2

y z = (x, y) Kuva 1: Euklidinen taso R 2 Kompleksiluvut. Määritelmä Tarkastellaan euklidista tasoa R = {(, y), y R}. y y z = (, y) R Kuva : Euklidinen taso R Suorakulmaisessa koordinaatistossa on -akseli ja y-akseli. Luvut ja y ovat pisteen z

Lisätiedot

Tehtävä 8 : 1. Tehtävä 8 : 2

Tehtävä 8 : 1. Tehtävä 8 : 2 Tehtävä 8 : 1 Merkitään kirjaimella G tarkasteltavaa Petersenin verkkoa. Olkoon A joukon V(G) niiden solmujen joukko, joita vastaavat solmut sijaitsevat tehtäväpaperin kuvassa ulkokehällä. Joukon A jokaisella

Lisätiedot

Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }?

Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Vastaus

Lisätiedot

MS-A0003/A0005 Matriisilaskenta Laskuharjoitus 2 / vko 45

MS-A0003/A0005 Matriisilaskenta Laskuharjoitus 2 / vko 45 MS-A0003/A0005 Matriisilaskenta Laskuharjoitus / vko 5 Tehtävä 1 (L): Hahmottele kompleksitasoon ne pisteet, jotka toteuttavat a) z 3 =, b) z + 3 i < 3, c) 1/z >. Yleisesti: ehto z = R, z C muodostaa kompleksitasoon

Lisätiedot

IV. TASAINEN SUPPENEMINEN. f(x) = lim. jokaista ε > 0 ja x A kohti n ε,x N s.e. n n

IV. TASAINEN SUPPENEMINEN. f(x) = lim. jokaista ε > 0 ja x A kohti n ε,x N s.e. n n IV. TASAINEN SUPPENEMINEN IV.. Funktiojonon tasainen suppeneminen Olkoon A R joukko ja f n : A R funktio, n =, 2, 3,..., jolloin jokaisella x A muodostuu lukujono f x, f 2 x,.... Jos tämä jono suppenee

Lisätiedot

TIEA341 Funktio-ohjelmointi 1, kevät 2008

TIEA341 Funktio-ohjelmointi 1, kevät 2008 TIEA34 Funktio-ohjelmointi, kevät 2008 Luento 3 Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 2. tammikuuta 2008 Ydin-Haskell: Syntaksi Lausekkeita (e) ovat: nimettömät funktiot: \x

Lisätiedot

T Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )

T Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet ) T-79.144 Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3-3.4) 2 5.11.2005 1. Olkoon R kaksipaikkainen predikaattisymboli, jonka tulkintana on relaatio R A

Lisätiedot

jens 1 matti Etäisyydet 1: 1.1 2: 1.4 3: 1.8 4: 2.0 5: 3.0 6: 3.6 7: 4.0 zetor

jens 1 matti Etäisyydet 1: 1.1 2: 1.4 3: 1.8 4: 2.0 5: 3.0 6: 3.6 7: 4.0 zetor T-1.81 Luonnollisten kielten tilastollinen käsittely Vastaukset 11, ti 8.4., 1:1-18: Klusterointi, Konekääntäminen. Versio 1. 1. Kuvaan 1 on piirretty klusteroinnit käyttäen annettuja algoritmeja. Sanojen

Lisätiedot

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä 3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä Lineaarinen m:n yhtälön yhtälöryhmä, jossa on n tuntematonta x 1,, x n on joukko yhtälöitä, jotka ovat muotoa a 11 x 1 + + a 1n x n = b 1 a 21

Lisätiedot

Jatkuvat satunnaismuuttujat

Jatkuvat satunnaismuuttujat Jatkuvat satunnaismuuttujat Satunnaismuuttuja on jatkuva jos se voi ainakin periaatteessa saada kaikkia mahdollisia reaalilukuarvoja ainakin tietyltä väliltä. Täytyy ymmärtää, että tällä ei ole mitään

Lisätiedot