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/.
äپٴDz:
Artikkeli (SysBio):
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
Prototyping and Validation Grant: VeinOptima
Aallon opiskelijan kehitteillä oleva tuote auttaa hoitajia löytämään verisuonet nopeammin.
Ensimmäinen suprajohtava kvanttilämpökone osoittaa, että lämpö voidaan valjastaa työksi myös kvanttimaailmassa
Suprajohtava kvanttilämpökone paitsi edistää termodynamiikan perustutkimusta, voi myös merkittävästi pienentää tulevaisuuden kvanttitietokoneiden hintalappua.
Aalto Creatives -esihautomon haku syksylle 2026 on auki
Seuraava Aalto Creatives -esihautomo alkaa syyskuussa. Hakuaika päättyy 7.9.2026. Aalto Creatives järjestää ohjelmasta kiinnostuneille infotilaisuuden torstaina 27.8. Infotilaisuudessa kuullaan ohjelmaan aiemmin osallistuneiden tiimien kokemuksia. Tapahtumassa on mahdollista tavata Aalto Creatives -tiimi ja kysyä hakemuksen jättämisestä.