Study title

Datasimulering er et viktig verktøy innenfor mange områder av vitenskap. Stadig flere komplekse matematiske modeller blir beregnet gjennom store datasimuleringer, dette utgjør og noen ganger erstatter tradisjonelle eksperimentelle teknikker som hovedverktøy i vitenskapelig forskning. I alle tilfeller med datasimulasjon er det vesentlige at det som er beregnet ut kan bli fastslått. Imidlertidig er vurderingen av kvaliteten på det som er beregnet utfordrende både matematisk og datamessig. Som en konsekvens av dette må kvaliteten på beregningen ofte bedømmes manuelt av forskere eller ingeniøren som holder på med simuleringen. Dette er upålitelig samt tidkrevende, og det hindrer effektiv datasimulering fra å realisere sitt fulle potensiale som verktøy innen forskning og industri. Målet med dette prosjeketet er derfor å utvikle en generell metodikk for automatisert beregning og feilkontroll, med spesiell vekt på problemer i forbindelse med flytende strukturinteraksjon innen biomedisin. Målet er også å forstå fri programvarekomponenter (free software) som er tilgjengelige for leger i praksis og leger. Foreløpig finnes det ikke noe slikt verktøy og derfor er relevansen og den potensielle virkningen av dette foreslåtte prosjektet stort. Prosjektet vil bli gjennomført ved hjelp av forskergrupper i Norge, Sverige, Nederland og USA. Data er fritt tilgjengelig for nedlasting: https://bitbucket.org/fenics-project/ og https://bitbucket.org/simula_cbc/cbcflow