ELFI-päättelykone tehostaa simulointia
Tutkijat ovat onnistuneet rakentamaan päättelykoneen, jonka avulla todellisuutta voi mallintaa simulaattoreilla mahdollisimman hyvin, ja joka samalla voi mullistaa alat, joilla käytetään laskennallista simulointia. Kehitystyön tuloksena on syntymässä päättelykone, jonka avulla voidaan merkittävästi vähentää tuntemattomien parametrien arviointiin tarvittavien raskaiden simulaatioajojen määrää ja johon on helppo lisätä uusia päättelymenetelmiä.
”Laskennallinen tutkimus perustuu isolta osin simulointiin, ja simulaattorien parametrien sovittaminen dataan on keskeisen tärkeää, jotta simulaattori saadaan kuvaamaan todellisuutta mahdollisimman hyvin. Kehittämämme ELFI-päättelyohjelmisto tekee tämän aiemmin erittäin vaikean tehtävän mahdollisimman helpoksi: menetelmänkehittäjät saavat pienellä vaivalla uudet päättelymenetelmänsä laajaan käyttöön, ja muiden alojen tutkijat pääsevät hyödyntämään uusimpia ja tehokkaimpia menetelmiä. Avoimet ohjelmistot edistävät toistettavuutta ja avointa tiedettä”, kuvailee Aalto-yliopiston tietotekniikan laitoksen professori, COIN-huippuyksikön johtaja Samuel Kaski.
Avoimesti kaikkien saatavilla olevan ohjelmiston taustalla on bayesilainen päättely ilman uskottavuusfunktiota, jota pidetään yhtenä tilastotieteen tärkeimmistä innovaatioista viime vuosikymmenten aikana. Siinä simulaattorin ulostuloja verrataan todellisiin havaintoihin, ja satunnaisuuden vuoksi simulaatioajot joudutaan tekemään useampaan kertaan. Päättelyohjelmisto tehostaa tuntemattomien parametrien estimointia muun muassa bayesilaisella optimoinnilla, joka vähentää tarvittavien simulaatioajojen määrää useilla kertaluokilla.
Sovelluksia lääketieteessä ja ympäristötieteissä
Päättelykoneen käyttäjiksi kaavaillaan sellaisen alojen tutkijoita, joille perinteisesti käytetyt tilastolliset menetelmät eivät sovellu.
”Simulaattoreita voidaan soveltaa monella alalla. Esimerkiksi taudin simuloimisessa voidaan huomioida, miten tauti tarttuu ihmisestä toiseen, missä ajassa ihminen paranee tai ei parane, miten virus voi mutatoitua tai montako erilaista uniikkia virusmutaatiota on olemassa. Joukko simulaattoriajoja tuottaa siten todellista tilannetta kuvaavan jakauman”, kertoo professori Aki Vehtari.
ELFI-päättelykone on helppokäyttöinen ja skaalautuva, ja itse päättelyongelma voidaan määritellä helposti graafisen mallin avulla.
"Ympäristötieteissä ja sovelletussa ekologiassa käytetään simulaattoreita, tutkimaan ihmistoiminnan vaikutuksia ympäristöön. Esimerkiksi Suomen ympäristökeskuksessa (SYKE) on kehitteillä ekosysteemimalli, jolla tutkitaan ravinteiden kiertoa Saaristomerellä ja esimerkiksi maatalouden tai kalankasvatuksen kuormitusten vaikutusta leväkukintoihin. Näiden mallien parametrisointi ja niiden ennusteisiin liittyvä epävarmuuden arviointi on laskennallisesti haastavaa. Tulemme testaamaan ELFI-päättelykonetta näissä analyyseissa. Toivomme, että mallien parametrisointia pystytään päättelykoneen avulla nopeuttamaan ja parantamaan, jolloin johtopäätökset ovat paremmin perusteltavissa", kertoo apulaisprofessori Jarno Vanhatalo Helsingin yliopiston ympäristötilastotieteen tutkimuksesta.
Päättelykoneen kehittivät yhteistyössä Aalto-yliopiston tutkijat Antti Kangasrääsiö, Jarno Lintusaari, Kusti Skytén, Marko Järvenpää, Henri Vuollekoski, Aki Vehtari ja Samuel Kaski, edustaen sekä Aalto-yliopiston ja Helsingin yliopiston yhteistä tietotekniikan tutkimuslaitosta (HIIT) että laskennallisen päättelyn huippuyksikköä (COIN), Michael Gutmann Edinburghin yliopistolta sekä Jukka Corander, joka edustaa sekä Helsingin yliopiston matematiikan ja tilastotieteen laitosta että Oslon yliopistoa. Suomen Akatemia rahoittaa tutkimushanketta. Päättelykone löytyy verkosta osoitteesta http://elfi.readthedocs.io/.
Lisätietoa:
Artikkeli (SysBio): Fundamentals and Recent Developments in Approximate Bayesian Computation
Aki Vehtari
Professori
Aalto-yliopisto, tietotekniikan laitos
aki.vehtari@aalto.fi
p. 040 533 3747
Henri Vuollekoski
Tutkija
Aalto-yliopisto, tietotekniikan laitos
henri.vuollekoski@aalto.fi
p. 050 599 1024
Lue lisää uutisia
Tutkimus kumoaa myyttejä perheyrityksistä: kantavat taloutta, investoivat ja työllistävät koko Suomessa
Perheyritykset ovat keskimäärin kannattavampia ja vakavaraisempia kuin muut yritykset, ja myös investoivat enemmän.
Kaupunkiluonnosta mitattavaa: uudet luontotyypit ja kriteerit tukevat luontokadon torjuntaa
Tuore raportti tuo käyttöön luontotyyppiluokituksen ja arviointikriteerit, joiden avulla rakennetun ympäristön luonto voidaan tehdä näkyväksi, mitattavaksi ja vertailtavaksi. Työkalut mahdollistavat ekologisen tilan arvioinnin sekä tukevat viherrakenteen kehittämistä ja luontokadon torjuntaa kaupungeissa.
Tutkimus paljastaa uusia tietoja pimeän aineen vaikutuksesta universumiin
Nasan vetämä tutkimusryhmä on kartoittanut James Webb -teleskoopilla pimeän aineen vaikutusta galaksien, tähtien ja jopa planeettojen, kuten Maan syntyyn.