Soudabeh Moradi Kappaleiden skeletonin etsiminen binäärikuvista. Kandidaatintyö
|
|
- Satu Järvenpää
- 5 vuotta sitten
- Katselukertoja:
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 Sana morfologia viittaa muotoon ja rakenteeseen eri tieteenaloilla. Kuvanprosessoinnissa se tarkoittaa matemaattista keinoa, jolla irrotetaan kuvasta kiinnostavia
Lisätiedot8 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ätiedotTekijä 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ätiedotS09 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ä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ätiedotSuorista 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ätiedotJoukot. 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ätiedotAlgoritmit 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ä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ätiedot2 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ätiedot10. 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ätiedot2 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ätiedotAlgoritmit 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ätiedotYhtä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ätiedotv 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ätiedotLuku 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ätiedotVastauksia. 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ätiedoty=-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ätiedotMitä 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ätiedotKonformigeometriaa. 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ätiedotValitsemalla 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ätiedotverkkojen 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ätiedotMatematiikan 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ä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ätiedotEllipsoidimenetelmä. 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ätiedotOsoita, 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ätiedotMatematiikan 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ätiedotMatematiikan 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ätiedot2.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ätiedoty 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ätiedotJohdatus 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ätiedotRistitulolle 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ätiedot2.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ätiedotEpä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ätiedotMatematiikan 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ätiedot3 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ätiedotz 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ätiedot4.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ätiedotisomeerejä 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ätiedot2D 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
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ä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ätiedotJOHDATUS 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ätiedotKarteesinen 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ätiedotYhtä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ätiedotLineaarinen 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ätiedotLineaarialgebra 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ätiedotMediaanisuodattimet. 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ätiedotDepartment 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ätiedotMS-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ätiedotMATEMATIIKAN 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ätiedotLukion 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ätiedotJohdatus 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ätiedot5.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ätiedotMatematiikan 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ätiedot2.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ätiedotKokonaislukuoptimointi
Kokonaislukuoptimointi Algebrallisen geometrian sovelluksia Sisältö Taustaa algebrallisesta geometriasta Gröbnerin kanta Buchbergerin algoritmi Kokonaislukuoptimointi Käypyysongelma Algoritmi ratkaisun
LisätiedotVektorien 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ätiedotMatemaatiikan 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ätiedotTenttiin 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ätiedotMatematiikan 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ätiedot8 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ätiedotMatematiikan 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ätiedotLineaarialgebra 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ätiedotOsa 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ätiedotAlgoritmit 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ätiedot3 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ätiedotOlkoon 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ätiedotLisää 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ätiedotja λ 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ätiedotYhtä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ätiedotn! 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ätiedotAlgebra 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ätiedotLuku 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ätiedotSuora 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ätiedotKää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ätiedotS-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ätiedotDatatä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ätiedotVastaus 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ätiedotJOHDATUS 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ätiedotHilbertin 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ätiedotIDL - 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ätiedotKö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ätiedotAlgoritmit 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ätiedotKertaus. 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ätiedotYhtenä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ätiedotTä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ätiedotATK 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ätiedoty 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ätiedotTehtä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ätiedotMiten 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ätiedotMS-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ätiedotIV. 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ätiedotTIEA341 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ätiedotT 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ätiedotjens 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ätiedot3 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ätiedotJatkuvat 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