Skip to main content
Login | Suomeksi | På svenska | In English

Browsing by discipline "Soveltava matematiikka"

Sort by: Order: Results:

  • Talvitie, Topi (2015)
    Finding shortest paths in planar domains bounded by polygons is a well-studied problem in computational geometry. However, in many applications, only finding the shortest path is not sufficient: we need to be able to generate a list of short paths among which we can choose the route. Simple detours to the shortest path are rarely better than the direct path, and therefore we should return paths that are essentially different. To ensure that, we limit our consideration to locally shortest paths, defined as the paths that cannot be made shorter by infinitesimal perturbations, or more intuitively, the paths that are 'pulled taut' around the obstacles of the domain. We use the first half of the thesis to present the definitions and the basic theory of locally shortest paths. We prove that they are always polygonal chains of certain type, and use this to describe a simple visibility graph based algorithm for finding the kth shortest path, i.e. the kth element in the list of locally shortest paths between given points ordered by length. We prove that there is a unique way to change a locally shortest path continuously by moving its endpoints while keeping the path locally shortest. This result is used to show that the set of locally shortest paths with one fixed endpoint forms a covering space of the planar domain. We use this to to prove a connection between homotopy theory and locally shortest paths: each homotopy class contains exactly one locally shortest path, and that path is the shortest path in its homotopy class. The covering space structure formed by locally shortest paths also gives rise to the idea of tracking the lengths of the locally shortest paths between a fixed point s and a point x, and drawing a map of the points x in which the order of lengths of the paths changes or the type of one of the locally shortest paths changes. The resulting map is the kth shortest path map, a subdivision of the domain into components such that the kth shortest path from s to any point within a single component is essentially the same. We analyze the structure and complexity of this map, concluding that we can use it for efficient queries of kth shortest paths from s to any point x.
  • Salminen, Samu (2016)
    Tämä Pro Gradu -tutkielma käsittelee työntekijän eläkelain (TyEL) nykyisin käytössä olevan Gompertz-kuolevuusmallin sopivuutta kuvaamaan TyEL:n selektiä kuolevuutta vanhuuseläkeliikkeessä. Tutkielman tarkoitus on nostaa esiin nykymallin ongelmakohdat ja esitellä Gompertz-kuolevuusmallin laajennus, joka ainakin osin korjaisi nykymallin puutteita pysymällä kuitenkin järjestelmätekniseltä kannalta tarpeeksi yksinkertaisena. Keskeisiksi teemoiksi tutkielmassa nousee elämänvaravakuutuksen yleisen teorian sekä työntekijän eläkelain vanhuuseläkeliikkeen vakuutustekniikan lisäksi toteutuvan kuolevuuden ennustaminen Lee-Miller-mallin sovelluksella ja laajennetun Gompertz-kuolevuusmallin parametrien estimointi havaintoaineistosta. Havaintoaineistona tutkielmassa käytetään sekä Tilastokeskuksen väestökuolevuuksia että TyEL:n riskiperusteanalyysien mukaisia toteutuneita rahapainotettuja kuolevuuksia. Ennustemalli on laadittu käyttäen R- ja Excel-ohjelmistoja (ml. VBA). Kuolevuusmallin laajennusta on kehitetty työeläkejärjestelmässä vuodesta 2014 laskuperusteasiain neuvottelukunnan alaisessa kuolevuusperustejaoksessa, jonka sihteerinä tutkielman kirjoittaja on toiminut vuosina 2014 ja 2015. Puheenjohtajayhtiönä kyseisinä vuosina on toiminut Keskinäinen Työeläkevakuutusyhtiö Elo ja puheenjohtajana tämän tutkielman toinen tarkastaja Tuomas Hakkarainen. Kuolevuusperustejaoksessa on edustus jokaisen työeläkeyhtiön lisäksi eläkekassoilla ja eläkesäätiöillä, Sosiaali- ja terveysministeriöllä, Eläketurvakeskuksella sekä Kevalla (julkisen puolen eläkkeet). Kuolevuusmallin valinnalla ja osuvuudella on merkitystä vanhuuseläkeliikkeessä, sillä se määrää pääoma-arvokertoimet, joilla varaudutaan vastaisten ja alkaneiden vanhuuseläkkeiden suorituksiin tulevaisuudessa. Tutkielmassa esitelty uusi kuolevuusmalli otetaan käyttöön vuoden 2017 eläkeuudistuksen yhteydessä, eli ensimmäisen kerran vanhuuseläkeliikkeen vanhuuseläkevastuut lasketaan sen mukaisina vuoden 2016 lopussa. Vanhuuseläkemaksu määräytyy uuden mallin mukaisesti vuodesta 2017 alkaen.
  • Hietaniemi, Manu (2014)
    Terästeollisuudessa teräsnauhojen valmistuksessa esiintyvät ongelmat tuotannossa aiheuttavat suuria taloudellisia tappioita, joten näiden ongelmien ennustaminen ennen niiden esiintymistä olisi taloudellisesti hyvin merkittävää. Olemassa olevien fysikaalisten mallien avulla ennustaminen ei ole ollut mahdollista, joten tutkimuksessa on hyödynnetty ennustavia matemaattisia luokittimia, joiden avulla näitä ongelmallisia tilanteita ollaan pyritty ennustamaan. Tutkielma käsittelee matemaattista teoriaa ja menetelmiä, joita on hyödynnetty aiemmin julkaistussa tutkimuksessa 'Defect prediction in hot strip rolling using ANN and SVM'. Keskeisinä menetelminä tutkimuksessa on käytetty erilaisia datan esikäsittelymenetelmiä, kuten klassisia tilastollista analyysiä, piirteiden valintamenetelmiä, esimerkikisi itsestäänjärjestäytyviä karttoja, sekä ennustukseen neuroverkkoa ja tukivektorikonetta. Tutkimuksen aineisto on peräisin teräsnauhojen lämpövalssausprosessista Ruukin terästehtaalta Raahesta. Alkuperäinen tutkimus toteutettiin Oulun Yliopiston tietokonetekniikan laboratoriossa yhteistyössä tutkimusryhmän ja Ruukin asiantuntijoiden kanssa. Tutkimuksen pohjalta ollaan pystytty osoittamaan, että tukivektorikoneen ja neuroverkon ennustetarkkuus on hyvin lähellä toisiaan kyseiselle aineistolle.
  • Nivukoski, Tapio Jere Matias (2013)
    Hintakuplat ja talousmarkkinoiden epätasapainot ovat pitkään kiinnostaneet ekonomisteja ja matemaatikoita. Tämän työn tavoitteena on esittää matemaattisia malleja, jotka auttavat mallintamaan näitä epäsäännöllisyyksiä. Työn pohjana on laaja ymmärrys martingaaliteoriasta ja rahoitusteoriasta. Aluksi esittelen keskeisimmät määritelmät ja tulokset martingaaliteoriasta alkaen martingaalin määritelmästä. Lisäksi esittelen Brownin liikkeen ja käytän sitä esimerkeissäni havainnollistaakseni joitain tuloksia. Kolmannessa kappaleessa esittelen matemaattista rahoitusteoriaa ja sen yleisimpiä käsitteitä. Rakennan pala palalta työssä käsiteltävän markkinamallin. Mallin tärkeimpinä osina on No Free Lunch with Vanishing Risk ja ei-dominoivia strategioita -oletukset. Näiden ominaisuuksien pohjalta esitän neljännessä kappaleessa määritelmän arvopaperin fundamentaaliselle hinnalle ja sen jälkeen pystyn määrittelemään hintakuplan käsitteen. Kun hintakupla on määritelty, esittelen sen ominaisuuksia ja siihen liittyviä tuloksia. Viimeisessä kappaleessa tarkastelen hintakuplia erilaisissa optioissa ja muissa johdannaisissa. Päälähteinä tutkielmassa on käytetty teoksia: Dario Gasbarra, Introduction to Stochastic Analysis; Tommi Sottinen, Rahoitustoiminnan matematiikka ja Robert A. Jarrow, Philip Protter, Kazuhiro Shimbo: Asset price bubbles in incomplete markets.
  • Kujala, Tuomas (2012)
    Tutkielmassa tutustutaan Markov-prosesseihin sekä niiden soveltamiseen vakuutusten hinnoittelussa. Sovellusvaiheessa tutkitaan erityisesti kolmitilaista työkyvyttömyysmallia sekä työkyvyttömyysvakuutuksen nettokertamaksua. Tutkielman aluksi on tarpeellista määritellä Markov-prosessi sekä siihen liittyvät siirtymäintensiteetit. Näiden avulla voimme tutkia tarkemmin Markov-prosessin ominaisuuksia sekä esitellä ja määritellä sovellusten kannalta tärkeitä ominaisuuksia kuten Kolmogorovin differentiaaliyhtälöt sekä polkutodennäköisyydet. Teoriaosuuden tavoitteena on konstruoida diskreettiaikaisen Markovketjun ja hyppyhetkien avulla stokastinen prosessi, joka osoitetaan lopulta olevan jatkuva-aikainen Markov-prosessi. Markov-prosesseille löytyy useita käyttömahdollisuuksia, mutta tässä tutkielmassa keskitytään vakuutusalaan ja sovelletaan niitä vakuutusten hinnoittelussa. Markov-prosessien soveltamisessa on kuitenkin oltava aina hyvin kriittinen, sillä Markov-prosesseille ainoastaan nykytila on relevantti ennustettaessa tulevaisuuden tilaa. Historian 'unohtaminen' vaikuttaa väistämättä saatuihin tuloksiin. Pohditaan sitä kuinka realistisia ennusteita saadaan ja kuinka niitä käyttää hyödyksi. Sovellusosiossa tutustutaan työkyvyttömyyseläkevakuutuksen hinnoitteluun nettokertamaksun avulla. Määritetään kolmitilainen markovilainen malli, jonka tiloina ovat 'työkykyinen', 'työkyvytön' ja 'kuollut'. Oletetaan, että vakuutettu on oikeutettu jatkuva-aikaiseen yhden rahayksikön suuruiseen korvaukseen joutuessaan työkyvyttömäksi. Määritellään tämän mallin avulla Kolmogorovin di erentiaaliyhtälöitä hyväksi käyttäen vakuutuksesta aiheutunut nettokertamaksu kahdella tavalla, vakioisten ja ei-vakioisten siirtymäintensiteettien avulla. Tutkitaan nettokertamaksun suuruutta eri pituisille vakuutussopimuksille. Simuloidaan vielä lopuksi nettokertamaksu vakioisten ja ei-vakioisten siirtymäintensiteettien tapauksessa. Tarkastellaan simuloitujen arvojen ja laskettujen tarkkojen arvojen erotuksen suhdetta tarkkoihin arvoihin. Tutkielmassa on tarpeellista esitellä lyhyesti myös simuloimiseen tarvittava teoria sekä simulointialgoritmi, jota on käytetty Markov-prosessien simuloimisessa. Simulointi on toteutettu Matlab-ohjelman avulla. Tutkielman lukemista helpottaa todennäköisyysteorian ja henkivakuutusmatematiikan perusteiden tuntemus. Toisaalta lukemista on yritetty helpottaa muutamilla merkinnöillä sekä havainnollistavilla kuvilla.
  • Selin, Johanna (2013)
    Tutkielmassa käsitellään informaatioteoriaa hevosraveissa ja osakemarkkinoilla. Hevosravien tapauksessa tutkitaan optimaalista vedonlyöntistrategiaa ja yritetään löytää paras tapa kasvattaa uhkapelaajan varallisuutta pitäen riskit mahdollisimman pieninä. Tällöin puhutaan tuplaantumisnopeudesta ja sen maksimoinnista. Tämän yhteydessä todetaan, että optimaalista on hajauttaa panokset samassa suhteessa, kuin mikä on hevosten voittotodennäköisyys. Vedonlyöjä tekee voittoa silloin, kun hänen estimaattinsa hevosten voittotodennäköisyyksille ovat paremmat kuin vedonvälittäjän tekemät estimaatit. Lisäksi tutkitaan, kuinka paljon vedonlyöjän varallisuus kasvaa, jos hänellä on tietoa aiempien kilpailujen tuloksista, eli sivuinformaatiota. Havaitaan, että tuplaantumisnopeuden kasvu on sama kuin ravien ja sivuinformaation yhteisinformaatio. Lopuksi osoitetaan, että entropian ja tuplaantumisnopeuden summa on vakio. Osakemarkkinoiden tapauksessa keskitytään sijoittajan varallisuuden kasvun ja markkinoiden entropian tason väliseen yhteyteen. Kuten ravien tapauksessa, käsitellään tässäkin tuplaantumisnopeutta ja sen maksimointia. Tällöin pyritään löytämään sekä kilpailun että kasvun suhteen optimaalinen osakesalkku. Havaitaan, että maksimoimalla asymptoottista kasvua maksimoituu myös sijoittajan suhteellinen varallisuus. Osakemarkkinoidenkin tapauksessa käsitellään sivuinformaation vaikutusta tuplaantumisnopeuteen, sekä investointistrategioita, jotka ovat riippuvaisia markkinoiden menneistä arvoista. Lopuksi löydetään asymptoottinen tuplaantumisnopeus ergodisille osakemarkkinaprosesseille.
  • Kiviniemi, Annemari (2017)
    Kun käytännön ongelmia kirjoitetaan matematiikan kielelle, törmätään usein integraaliyhtälöihin, eteenkin fysiikan ja tekniikan parissa työskennellessä. Integraaliyhtälössä tuntematon, ratkaistava funktio on integraalin sisällä. Tässä tutkielmassa käsitellään integraaliyhtälöiden teoriaa operaattoriyhtälöiden muodossa. Työskennellessä inversio-ongelmien parissa käytössä oleva informaatio, data voi olla heikkoa tai liian vähäistä, jotta alkuperäisestä, ratkaistavasta ilmiöstä tai asiasta saataisiin riittävän oikeanlainen kuva. Ratkaisu ei välttämättä ole yksikäsitteinen, jolloin ratkaisun löytämiseksi on käytettävä regularisointia. Tässä tutkielmassa johdetaan Tikhonovin regularisointimenetelmä ja esitellään lyhyesti sen käyttöä ilmakehän kaasukoostumuksen määrittämisessä. Tutkielma alussa on kertauksenomaisesti tärkeitä käsitteitä vektori- ja normiavaruuksissa. Sen jälkeen paneudutaan erilaisiin operaattoreihin vektoriavaruuksissa. Viimeisenä asiana operaattoreista esitellään duaalinen systeemi ja todistetaan Fredholmin alternatiivi. Toisessa puoliskossa johdatellaan lukija huonosti määriteltyjen inversio-ongelmien pariin ja johdetaan Tikhonovin regularisointi. Näytetään myös, miten Tikhonovin regularisoinnin avulla voidaan konstruktoida ensimmäinen derivaatta häiriöisistä mittaustuloksista muodostetulle funktiolle. Tutkielman lopussa kerrotaan, miten ilmakehän koostumusta mitataan satelliitissa. Näytetään myös, miten Tikhonovin regularisointia voidaan käyttää kyseisten mittaustulosten analysoinnin yhteydessä.
  • Oksama, Markus (2016)
    Tässä tutkielmassa tarkastellaan intensiteettiprosesseja ja näihin liittyvää estimointiteoriaa. Tarkastelu keskittyy erityisesti moniulotteisiin laskuriprosesseihin ja niiden tulomuotoa λ(t)= α(t)Y(t) oleviin intensiteettiprosesseihin. Tutkielma aloitetaan käymällä läpi todennäköisyyslaskennan perusmääritelmiä ja -tuloksia. Tämän jälkeen määritellään martingaalit ja kompensaattorit. Martingaaleja ja kompensaattoreita käsittelevässä luvussa esitellään joitain estimointiteoriassa hyödynnettäviä tuloksia. Seuraavaksi siirrytään estimointiin. Aluksi tarkastelun kohteena on funktion A(t) = \int_0^t α(s)ds estimointi. Tätä varten määritellään Nelson-Aalen -estimaattori ja osoitetaan estimaattorin asymptoottiseen käyttäytymiseen liittyviä tuloksia. Lopuksi tarkastellaan parametrista riippuvia intensiteettiprosesseja. Estimoinnissa käytetään suurimman uskottavuuden menetelmää. Tämän luvun päätulokset käsittelevät suurimman uskottavuuden estimaattorin tarkentuvuutta ja asymptoottista jakaumaa.
  • Sundius, Tom (1969)
    H. Weyl describes in his book “Gruppentheorie und Quantenmechanik” how the multidimensional representations of the unimodular unitary group in two dimensions can be constructed using polynomials in two complex variables. This “spinor method” was further developed by B. L. van der Waerden 1932 and was later frequently used by H.A. Kramers. In 1962 V. Bargmann showed that these polynomials generate a finite-dimensional subspace of a Hilbert space, which is constructed from analytical functions in two variables. However, using the spinor algebra of P. Kustaanheimo one can restrict the treatment to finite dimensional spinor spaces, and the existence of a Hilbert space need not be presumed. In the previously used spinor methods the spinor components were utilized, while the main point in this description lies on the spinor basis. In chapter I it is shown, how one in this way can construct symmetrical spinor spaces and the corresponding unitary representations. In addition, spinor polynomials with the same transformation properties as the basis spinors are constructed. They are analogous with the spin generating operators that formed the basis for J. Schwinger’s representation of the rotation group in 1952. In chapter II the Clebsch-Gordan series, which describes the complete reduction of two symmetric spinor spaces in irreducible subspaces, will be derived, and in the final chapter irreducible spinor operators are constructed using the spin generation operators.
  • Lappi, Iina (2019)
    Jälleenvakuutus on osa vakuutusketjua. Sen tavoitteena on tarjota vakuutusyhtiölle mahdollisuus pienentää riskiä ja turvata omaa vakavaraisuuttaan. Jälleenvakuutussopimuksessa ensivakuuttaja siirtää osan vakuutuskannastaan toisen vakuutusyhtiön vastuulle. Vastineeksi sopimuksesta ensivakuuttaja maksaa jälleenvakuutusmaksun. Jälleenvakuutussopimukset jaetaan suhteellisiin ja ei-suhteellisiin. Jälleenvakuuttamisella on merkittävä rooli vakuutusyhtiön liiketoiminnassa. Sen laiminlyöminen voi johtaa vakuutusyhtiön konkurssiin. Jälleenvakuutusriskejä ovat esimerkiksi omaisuus-, henkilö- ja vastuuriskit. Riski kuvaa epätietoisuutta tulevasta. Riskiä arvioidaan erilaisten riskimittojen avulla. Varteenotettavalle riskimitalle asetetaan usein siltä vaadittuja ominaisuuksia. Sen on oltava muun muassa monotoninen, subadditiivinen, siirtoinvariantti ja positiivisesti homogeeninen. Nämä ominaisuudet täyttävää riskimittaa sanotaan koherentiksi. Jälleenvakuutuksen kannalta suuret riskit ovat mielenkiintoisia, sillä pienemmät vahingot eivät yleensä kuulu jälleenvakuutussopimukseen. Jälleenvakuuttaminen ei pienennä vahingon toteutumisen mahdollisuutta, vaan se antaa vakuutusyhtiölle mahdollisuuden vahingosta koituvan menoerän jakamisen useamman tahon kesken. Tämän pro gradu –tutkielman tarkoituksena on esitellä malli optimaaliselle jälleenvakuutussopimuksen valinnalle. Tutkielman alussa määritellään tärkeimmät todennäköisyyksiin ja integraalilaskentaan liittyvät peruskäsitteet. Tämän jälkeen käsitellään riskimittojen yleistä teoriaa ja esitellään muutamia yleisesti käytettyjä riskimittoja. Riskimittoja käytetään arvioitaessa vahinkojen aiheuttamia taloudellisia riskejä. Lopuksi päästään tutkielman pääaiheeseen eli jälleenvakuutuksiin. Jälleenvakuutuksista esitellään teoriaa ja muutama tavanomaisesti käytetty sopimustyyppi. Viimeisessä luvussa määritellään tutkielman päätulos, jälleenvakuutussopimuksen valintaongelma. Tavoitteena on valita sellainen jälleenvakuutussopimus, että riski saadaan minimoitua tiettyjen rajoitusten ollessa voimassa. Asiaa tarkastellaan pääosin ensivakuuttajan näkökulmasta. Teoriaa havainnollistetaan esimerkkien avulla. Malliin on mahdollista sovittaa erityyppisiä rajoitettuja jälleenvakuutuksen ongelmia. Tämä malli on ensimmäisiä muunnosriskimittaan pohjautuvia ratkaisuja, jotka ottavat huomioon erilaiset jälleenvakuuttamiseen liittyvät optimointirajoitteet. Tutkielman päälähteenä on Ambrose Lon artikkeli "A unifying approach to risk-measure-based optimal reinsurance problems with practical constrains" (2017), jossa optimaalisen jälleenvakuutussopimuksen valintaongelma todistuksineen on alun perin esitetty.
  • Piilola, Vesa (2018)
    Tässä pro gradu --tutkielmassa perehdytään Calderónin ongelmaan dimension ollessa kolme tai suurempi. Tutkielman päätavoitteena on todistaa Calderónin ongelman yksikäsitteisyys ja stabiilisuus kaikilla positiivisilla ylhäältä ja alhaalta rajoitetuilla johtavuuksilla kun tutkittavan alueen reuna on riittävän sileä. Tutkielman toisessa luvusssa esitellään inversio-ongelmat yleisesti, sekä annetaan Hadamard'n määritelmä huonosti asetetulle ongelmalle. Kolmannessa luvussa esitellään Calderónin ongelma, joka johdetaan sähköstatistiikan perusteista. Luvussa annetaan myös tutkielmassa tarvittavien Sobolev-avaruuksien määritelmät. Lisäksi esitetään ja todistetaan trace-teoreema sekä määritellään Dirichlet-Neumann -kuvaus. Tutkielman neljännessä tutkitaan Calderónin ongelman yksikäsitteisyyttä kun käytettävissä on informaatiota tutkittavan alueen koko reunalta. Tässä luvussa esitellään ekspotentiaalisesti kasvavat ratkaisut, joita hyödynnettän niin Calderónin ongelman yksikäsitteisyyden kuin stabiilisuuden todistuksissa. Tutkielman viidennessä luvussa todistetaan Calderónin ongelman stabiilisuus. Todistusta varten tässä luvussa esitetään lyhyesti myös reunan rekonstruointia käsitteleviä tuloksia. Käänteistä menetelmää Calderónin ongelman ratkaisemiseksi kutsutaan impedanssitomografiaksi. Impedanssitomografialla on lukuisia sovelluskohteita erityisesti lääketieteellisissä kuvantamismenetelmissä. Sitä voidaan soveltaa esimerkiksi rintasyövän aikaisessa diagnostiikassa sekä sydämen ja keuhkojen toimintojen seurannassa. Teollisuudessa impedanssitomografiaa pystytään soveltamaan esimerkiksi maanalaisten vesi- tai öljyvarantojen paikallistamisessa. Tässä tutkielmassa ei tulla käsittelemään mahdollisia sovelluskohteita tämän laajemmin, eikä esitetä numeerista algoritmia ongelman ratkaisemiseksi.
  • Luhtaniemi, Sandra (2016)
    Opinnäytetyössä tarkastellaan ihmisen papilloomavirus- eli HPV-infektion (Human Papillomavirus) kehittymistä simuloiduilla aineistoilla. Infektion kulkua mallinnetaan Markovilaisella mallilla, jonka tilajoukko koostuu infektion eri terveystiloista. Mallista simuloidaan eri simulointiskenaarioilla aineistot, joista estimoidaan infektion paranemisen hasardi. Simulointiskenaarioissa eri HPV-tyyppien aiheuttamat infektiot jaotellaan nopeasti, keskinopeasti ja hitaasti parantuviin infektioihin. Aineistolle muodostetaan eksponenttifunktioon perustuva uskottavuusfunktio, jonka maksimoiva parametri estimoidaan käyttäen Metropolis-Hastings -algoritmia. Työn tavoitteena on tutkia, kuinka paranemisen hasardiin vaikuttaa, että syövän esiasteeksi edenneet infektiot on havaitsemisen jälkeen hoidettu. Työn muita keskeisiä teemoja on Metropolis-Hastings -algoritmin teoriaan ja toimintaperiaatteisiin perehtyminen. Metropolis-Hastings -algoritmi on Markovin ketjun Monte Carlo eli MCMC-algoritmi, jolla voidaan tuottaa näytteitä jostakin halutusta todennäköisyysjakaumasta. Algoritmia käytetään myös erityisesti, kuten tässä opinnäytetyössä tehdään, uskottavuusfunktion maksimin antavien parametrien estimoimiseen silloin, kun uskottavuusfunktion maksimi on analyyttisesti hankalaa ratkaista. Papillomavirusinfektio on yleisin sukupuoliteitse tarttuva tauti. HPV-tyyppejä tunnetaan yli 100 erilaista, joista 14 pidetään korkean riskin tyyppejä, joiden aiheuttama tulehdus pitkittyessään voi aiheuttaa kohdunkaulansyöpään johtavia solumuutoksia. Infektiolta suojaava rokote on nykyisin useissa maissa osa kansallista rokotusohjelmaa. Suomessa käytössä olevan rokotteen tehoa tutkittiin laajalla kansainvälisellä PATRICIA-rokotetutkimuksella. Tutkimusprotokollan mukaan ne henkilöt, joilla seurannassa havaittiin syövän esiaste, lähetettiin jatkotutkimuksiin tai hoitoon. PATRICIA-tutkimuksessa kerätyn havaintoaineiston pohjalta Terveyden ja hyvinvoinnin laitoksella on lähivuosina tehty HPV-infektion kulun väestötason mallinnus, missä esiasteiden hoitoja ei kuitenkaan huomioitu, sillä niiden vaikutus oletettiin pieneksi. Tämän tutkielman keskeisin tehtävää on PATRICIA-aineistoa jäljittelevää simuloitua aineistoa käyttäen arvioida, että oliko oletus perusteltu, vai onko esiasteiden hoidolla merkittävää vaikutusta infektion paranemisen hasardiin.
  • Komulainen, Tiia Hannele (2014)
    Kokonaiskorvauksella tarkoitetaan korvaussummaa, jonka vakuutusyhtiö maksaa kokonaisuudessaan eri asiakkailleen tietyn ajan kuluessa. Vakuutusyhtiöllä on mahdollisuus varautua kokonaiskorvauksen suuruuteen laskemalla sille todennäköisyysjakauma ja kertymäfunktio. Tässä Pro gradu -tutkielmassa esitellään kolme tapaa laskea henkivakuutusyhtiön kokonaiskorvauksen todennäköisyysjakauma kahdessa eri riskimallissa: Panjerin rekursio kollektiivisessa riskimallissa sekä de Pril'in ja Kornyan rekursio individuaalisessa riskimallissa. Luvussa kaksi on esitelty kollektiivinen ja individuaalinen riskimalli. Luvut kolme ja neljä pitävät sisällään rekursioiden määrittelyt ja niiden todistukset. Viimeinen luku sisältää käytännön esimerkin, jossa näillä kolmella laskentamenetelmällä on laskettu kokonaiskorvauksen kertymäfunktio esimerkin vakuutusjoukolle.
  • Raiko, Henriikka (2013)
    Henkivakuuttajan arvioidessa sopimusten hinnoittelua ja mahdollisiin tuleviin menetyksiin liittyviä riskejä on korko- ja kuolevuusoletuksilla suuri merkitys. Tappio tai menetys on määrä, jolla sopimuksen kulut ylittävät tuotot. Korkoriskillä tarkoitetaan korkojen tulevien muutosten aiheuttamaa epävarmuutta eli toteutuvan tuoton tai kulun poikkeamista odotusarvostaan. Henkivakuutussopimukset ovat tyypillisesti pitkäaikaisia sopimuksia, joten korkoriski on merkittävä sopimusten hinnoitteluun, ja vastuuvelan ollessa markkinaehtoinen, sen hallintaan liittyvä riski. Kuolevuusriskillä tarkoitetaan sitä, että kuolevuus ei toteudu niin kuin on mallinnettu. Tutkielmassa tarkastellaan annuiteettien ja henkivakuutusten arvon määrittämiseen vaikuttavia asioita, joista keskeisimpiä ovat kuolevuusriski sekä korkoriski. Tutkielmassa keskitytään pääasiassa korkoriskiin eli tarkastellaan koron vaikutusta henkivakuutusten hinnoitteluun, vakuuttajan mahdollisiin tuleviin menetyksiin sekä sivutaan lyhyesti vaikutusta markkinaehtoiseen vastuuvelkaan. Tutkielman aluksi tarkastellaan korkoutukseen, kuolevuuteen ja jäljellä olevan elinajan mallintamiseen liittyviä asioita sekä käydään läpi pääoma-arvoja ja annuiteetteja. Henkivakuuttajan vastuiden määrittämisessä olennaista on vakuutetun kuolevuuden mallintaminen. Kuolevuuden ennustamista tarvitaan tulevaisuudessa maksettavan etuuden todennäköisen keston estimointiin, jos etuuden maksaminen riippuu siitä, että vakuutettu on elossa. Toisaalta henkivakuutuksessa korvauksen maksaminen voi olla riippuvainen vakuutetun kuolemasta, jolloin kuolevuuden ennustamista tarvitaan mahdollisen korvauksen maksamisen ennustamiseen. Henkivakuutuksessa pääoma-arvokertoimia taas käytetään muun muassa vakuutusmaksujen ja vastuuvelan laskennassa. Pääoma-arvokertoimet lasketaan vakuutusmatemaattisin menetelmin ottaen huomioon korko, kuolevuus sekä etuuden alkamiseen ja päättymiseen mahdollisesti liittyvät muut tekijät. Kahdessa viimeisessä luvussa tarkastellaan koron vaikutusta hinnoitteluun, jos oletetaan, että korko on riippuvainen sijoituksen kestosta. Tässä hyödynnetään tuottokäyrää. Tulevan koron epävarmuutta mallinnetaan stokastisena korkona. Lisäksi tarkastellaan hajautettavissa olevaa ja ei-hajautettavaa riskiä ja käydään läpi oletukset, joiden nojalla kuolevuusriski voidaan ajatella hajautettavaksi. Esitellään ja käytetään Monte Carlo -menetelmää epävarmojen kassavirtojen jakauman ja tulevien menetysten nykyarvon tutkimiseen simuloimalla jäljellä olevaa elinaikaa ja tulevaa korkoa. Tilanteita havainnollistetaan esimerkein. Lisäksi lopuksi sivutaan lyhyesti EU:n Solvenssi II -direktiivin mukaisessa vakavaraisuuskehikossa mitattavia korkoriskejä. Solvenssi II -direktiivissä varojen ohella myös vastuuvelka arvostetaan markkinaehtoisesti käypään arvoon, jolloin vastuuvelan arvo riippuu merkittävästi korkotasosta. Tällöin myös henkivakuuttajan korkoriskin hallinnan merkitys korostuu.
  • Tuisku, Petri (2013)
    The thesis examines the theory of lattice models used in statistical physics from a mathematical perspective, and provides a case study of box-crossing property by proving Russo-Seymour-Welsh estimates in percolation model and the box-crossing property in the critical FK Ising (random cluster) model. The thesis is self-contained in its use of probability theory, but a general measure theory background is assumed.
  • Meyer, Petter (2016)
    Sijoituspäätösten tekeminen on yritysjohdon keskeisimpiä tehtäviä. Sijoituksiin liittyy aina riskejä, ja niiden hahmottaminen, hallitseminen ja minimoiminen ovat onnistuneen sijoituspäätöksen kannalta ydinasemassa. Tavallisimmissa sijoitusanalyyseissä verrataan ulospäin meneviä kassavirtoja sisään tuleviin. Kustannukset ovat usein deterministisiä, kun taas tulevaisuuden tuottoihin liittyy epävarmuutta. Esimerkiksi osakkeiden tuotto riippuu yrityksen menestyksestä kilpailussa ja markkinan yleisestä kehityksestä. Tässä Pro Gradu-tutkielmassa rajoitumme tilanteeseen, jossa pyrimme ennustamaan ja mallintamaan uuden yrityksen liikevaihtoa tietylle tarkastelujaksolle. Käytämme tähän riskiteoreettisia työkaluja ja vertaamme saavutettua mallia Case-yrityksen dataan. Tutkielma on jaettu kuuteen lukuun. Ensimmäinen luku on johdanto. Toisessa luvussa luodaan matemaattinen perusta tutkielman todennäköisyysteorialle ja stokastisille prosesseille. Kolmannessa luvussa esittelemme asiakkaiden lukumäärää kuvaamiseksi sopiva stokastinen prosessi. Tässä luvussa pääroolissa ovat ns. Poisson-prosessit, jotka ovat vakuutusmatematiikassa yleisesti käytetty laskuriprosessi vahinkojen lukumäärien kuvaamiseksi. Neljännessä luvussa käymme liikevaihdon kimppuun yhdistetyn muuttujan avulla. Kappaleessa esitämme menetelmiä sekä yhdistetyn muuttujan tarkoille todennäköisyyksille, että approksimoimiselle. Yhdistetty muuttuja on yleisesti käytetty riskiteoriassa ja vahinkovakuutuksessa. Viides luku muokkaa teoriaa sopivaksi liikevaihdon mallintamiseen. Asiakkaita jaetaan uusiin ja palaaviin asiakkaisiin, jotta eri lailla käyttäytyviin prosesseihin päästään paremmin käsiksi. Molempien prosessien laskuriprosessina on Poisson-prosessi. Viimeisessä luvussa tarkastelemme teorian sopivuutta tosimaailman case-yrityksen dataan. Hahmotamme todennäköisyyksiä approksimaatioiden ja simulaatioiden avulla.
  • Viherä, Leo (2018)
    Sijoitussidonnaisella säästövakuutuksella tarkoitetaan elämänvaravakuutusta, joka on jollain tavalla sidottu finanssimarkkinoihin, vakuutuksen arvo voi riippua esimerkiksi jostain osakkeesta, rahastosta, tai indeksistä. Täten se kilpailee suoraan myös perinteisen sijoittamisen kanssa. Tässä tutkielmassa perehdytään varsinkin yhtiön kannalta sijoitussidonnaisiin säästövakuutuksiin, kuten siihen, kuinka yhtiön tulee varautua tuleviin velvoitteisiinsa ja kuinka se voi minimoida näistä aiheutuvaa riskiä. Ensimmäisessä luvussa kootaan tutkielmassa tarvittavia määritelmiä ja tuloksia todennäkäisyysteoriasta. Tämän luvun tuloksien todistuksia ei esitä tutkielmassa. Toisessa luvussa käsitellään lyhyesti, kuinka kassavirrat arvostetaan, sekä sitä kuinka ja miksi eri aikaan tapahtuvat suoritukset tulee korkouttaa. Korkoa koskeva teoria on tärkeä kaikessa sijoitus- ja vakuutustoimintaa käsittelevässä teoriassa ja käytännössä. Kassavirtojen käsite on hyödyllinen tapa yhtiölle pohtia, kuinka tuleviin menoihin ja tuloihin tulee varautua sekä vakuutus-, että sijoitustoiminnassa. Kolmanneksi tarkastellaan perinteisiä säästövakuutuksia, jossa ei ole sijoituselementtiä. Esitetään, kuinka jäljellä olevaa elinaikaa voidaan käsitellä matemaattisena satunnaismuuttujana ja kuinka tätä hyödynnetään henkivakuutusten yhteydessä. Käsitellään vakuutusten hinnoittelun periaatteena käytettävää ekvivalenssiperiaatetta ja sen taustaa lyhyesti, ja tätä hyödyntäen lasketaan tämän tutkielman kannalta tärkeimmille henkivakuutustyypeille nettokertamaksut sekä osamaksut. Tämän jälkeen määritellän vastuuvelan käsite, joka on vakuutustoiminnassa tapa määrätä kuinka paljon yhtiöllä on syytä olla varallisuutta vakuutettua kohden. Esitetään sekä tulevaisuuteen, että menneisyyteen perustuvat laskutavat. Tämän lisäksi käsitellään korvauksien lisäksi yhtiölle aiheutuvia kuluja ja kuinka nämä tulee ottaa huomioon vakuutusmaksuissa. Viimeisenä tarkastellaan vakuutussopimuksen muuttamista takaisinostoa lyhyesti. Seuraavaksi siirrytään käsittelemään finanssimarkkinoita. Aluksi esitellään pohja, jolla oletaan markkinoiden toimivan, sekä määritellään merkintöjä mitä tulemme käyttämään. Tämän jälkeen esitellään tapa minimoida sopimukseen liittyvä lokaalin riski, sekä todistetaan tähän liittyviä lauseita. Tämän pohjalta määrätään myös riskin minimoinnin suhteen reilu hinta finanssimarkkinoista riippuville sopimuksille. Viidennessä luvussa tutkitaan sopimuksia, jotka yhdistävät henkivakuutuksen sekä rahallisen riskin. Edellisen luvun tulokset yleistetään tähän ympäristöön, nojaten oletukseen, että arvopaperimarkkinat ovat riippumattomia vakuutettujen elinajoista. Viimeiseksi käsitellään erästä sijoitussidonnaista säästövakuutustyyppiä, universal life- vakuutusta. Vakuutuksen elementit käsitellään, johdetaan vastuuvelka, sekä pohditaan, kuinka tässä tapauksessa minimoidaan lokaali riski.
  • Metso, Markus (2018)
    Lokaalin riskin minimoiva sijoitusstrategia on diskreettiaikainen, arvopapereiden hankkimisesta aiheutuvien kustannusten keskineliöpoikkeaman minimointiin perustuva strategia, jonka avulla finanssimarkkinoilla toimiva pystyy suojautumaan kohtuuttoman suuria tappioita vastaan. Luonnollisesti tällaisella suojautumisella on jonkin hinta, ja mikäli tämä hinta on liian suuri tai liian pieni, päädytään helposti arbitraasitilanteisiin. Tässä tutkielmassa esitetään vaatimukset, jotka finanssimarkkinoiden tulee täyttää ja jotka toimijan tulee arvopapereiden kanssa operoidessaan ottaa huomioon, jotta tällaisia tilanteita ei pääsisi muodostumaan. Lokaalin riskin minimoivan sijoitusstrategian arbitraasivapauden keskeinen vaatimus on minimaalisen martingaalimitan, erään riskineutraalien todennäköisyysmittojen erikoistapauksen, olemassaolo. Minimaalisen martingaalimitan olemassaolo finanssimarkkinoilla ei kuitenkaan ole itsestäänselvyys ja tässä tutkielmassa johdetaan edellytykset sen löytymiselle finanssimarkkinoilta, jotka koostuvat yhdesta riskittömästä ja yhdestä riskillisestä arvopaperista, sekä pohditaan, mitä seikkoja toimijan tulee tarkastella arbitraasin välttämiseksi tilanteessa, jossa minimaalisen martingaalimitan olemassaolon kriteerit eivät täyty. Lopuksi tarkastellaan lokaalin riskin minimoivien sijoitusstrategioiden yhteyksiä sijoitussidonnaisten henkivakuutusten suojaamiseen, sekä esitetään vaihtoehtoinen keino suojata toistettavan arvopaperin arvoon sidotun elämänvaravakuutuksen korvaus tilanteessa, jossa finanssimarkkinoilla ei ole olemassa minimaalista martingaalimittaa.
  • Rautiainen, Antti (2016)
    Tämä työ käsittelee loogisten lauseiden automaattista generointia. Työssä tutkitaan sitä, miten tiedon kerääntymistä voisi hyödyttää automaattisessa todistamisessa. Työssä luodaan tiedon kerääntymistä varten algoritmi, jonka avulla voidaan generoida kaikki tietyssä normaalimuodossa olevat suljetut ja syntaktisesti korrektit kaavat mielivaltaisessa ensimmäisen kertaluvun predikaattilogiikan kielessä. Kurt Gödel loi yksinkertaisen numeroinnin ensimmäisen kertaluvun predikaattilogiikan ensimmäisen epätäydellisyyslauseen todistamista vuonna 1931. Gödelin järjestelmässä monia luonnollisia lukuja vastaa syntaktisesti virheellinen kaava. Tässä työssä Gödelin numerointia parannetaan niin, että jokaista numeroa vastaa tietyssä normaalimuodossa oleva suljettu ja syntaktisesti oikea kaava valitussa ensimmäisen kertaluvun predikaattilogiikan kielessä. Tutkielma rakentuu seuraavasti. Ensimmäinen luku on johdanto. Generointia käsitellään toisessa luvussa. Ensimmäisessä liitteessä on lyhyesti ensimmäisen kertaluvun predikaattilogiikan käsitteitä. Toisessa liitteessä todistetaan käytettyjä teoreemoja.
  • Suotsalo, Kimmo (2015)
    Vector or multivariate autoregression is a statistical model for random processes. It is relatively simple yet flexible enough to describe many real-world phenomena. Stochastic processes modelled by multivariate autoregression are called vector autoregressive (VAR) processes. The structure of a VAR process is determined by the conditional independences of the variables and the lag length that describes the duration of direct influence. Structure discovery in VAR processes refers to finding reasonable candidates for these elements. Learning the structure of a VAR process can be realized using graphical models, where nodes represent variables and edges represent absence of conditional independence. This transforms the problem of learning conditional independences of variables into the problem of finding edges between nodes. This thesis extends previous studies to make inference on the structure of VAR processes involving tens or hundreds of variables, without assuming the underlying Granger causality graphs to be decomposable. A scoring function capable of predicting the Markov blankets of the nodes is derived and proved to be consistent. This scoring function is combined with another scoring function to discover VAR structures from multivariate time series. The performance of the proposed method is tested on synthetic data. In all test cases that are considered, given enough samples and some a priori information, the true lag length can be identified, the true positive rate made higher than 0.94, and the false positive rate kept below 0.01.