TANA81: Föreläsning 10 - Matematisk eller Teknisk Forskning. - Exempel på Kandidat eller Magister projekt. - Vad skall dokumenteras? Typeset by FoilTEX 1
Matematisk Grundforskning Definition Avståndet mellan två punkter x och y ges av en avståndsfunktion d(x,y) som uppfyller villkorend(x,x) = 0 (1),d(x,y) = d(y,x) (2),d(x,y) > 0 om x y (3), och d(x,z) d(x,y)+d(y,z) (4). Definition En cirkel med radie r och centrum c ges av mängden C(r,c) = {x så att d(x,c) r}. Exempel I R 2 kan vi använda d(x,y) = (x 1 y 1 ) 2 +(x 2 y 2 ) 2. Alternativt kan vi använda d(x,y) = max(x 1 y 1,x 2 y 2 ). Fråga Är alla cirklar konvexa? Typeset by FoilTEX 2
Vetenskap eller Filosofi? Matematik ingår inte i engelskans Science! Är matematik en vetenskap? Definition Ett axiom är ett grundläggande antagande som accepteras utan något bevis. All matematik bygger på ett antal axiom. Nya begrepp införs via definitioner. Logiska konsekvenser av definitioner och axiom kallas satser. Exempel Ett axiom är urvalsaxiomet som säger att ur varje icke-tom mängd kan man plocka ut ett element. Matematik liknar filosofi mer än naturvetenskap. Typeset by FoilTEX 3
Teknisk Forskning Verklighet Förenklingar Modell Frågor Problem Relevant? Numerisklösning Matematik är det språk som används för att formulera tekniska problem! Typeset by FoilTEX 4
Matematisk Forskning på Nätet Följ SIAM på Facebook genom att gå till www.siam.org. Får då exempel på tekniska tillämpningar av Matematik ungefär en gång i veckan. Går normalt att läsa och förstå som student! Typeset by FoilTEX 5
Exempel på forskningsprojekt Vad forskas det om vid MAI? Mycket information finns på hemsidan eller http://www.mai.liu.se/forskning/ http://www.mai.liu.se/exjobb/aktuella_exjobb.html De flesta lärare erbjuder kandidat- eller magisterprojekt inom sitt forskningsområde. Typeset by FoilTEX 6
Temperaturmätning på ytor Tjock vägg Varm gas eller vätska Mätpunkt 0 1 x Vill uppskatta yttemperaturen f(t) = T(0,t) från mätningar g m (t) T(1,t). Typeset by FoilTEX 7
75 65 70 60 65 60 55 Temperature T(r,t) [ o C] 55 50 45 Temperature T(r,t) [ o C] 50 45 40 40 35 30 35 25 0 200 400 600 800 1000 1200 1400 1600 1800 2000 Time t [s] 30 0 200 400 600 800 1000 1200 1400 1600 1800 2000 Time t [s] Simulering Givet en exakt yttemperatur T(0, t) beräknar vi temperaturen g(t) = T(1,t) vid mätpunkten. Vi lägger även till simulerat brus för att få g m (t). Slutsats Processen är utjämnande med en liten tidsfördröjning. Problemet att uppskatta f(t) från g m (t) blir instabilt. Referens Kandidatarbete utfört av Fredrik Gustafsson, 2014. Masterarbete av Yves Nyalihama, 2010. Typeset by FoilTEX 8
Stabilisera beräkningarna med hjälp av ett lågpassfilter. Använd bara frekvenskomponenter ξ < ξ c. 90 75 80 70 65 70 60 Temperature T(r,t) [ o C] 60 50 40 Temperature T(r,t) [ o C] 55 50 45 40 30 35 20 10 0 200 400 600 800 1000 1200 1400 1600 1800 2000 Time t [s] F F m 30 25 0 200 400 600 800 1000 1200 1400 1600 1800 2000 Time t [s] F F m Beräknad yttemperatur f(t) då ξ c = 600 (vänster) och en bra lösning då ξ c = 100 (höger). Hur skall parametern ξ c väljas? Ger andra filter bättre lösningar? Detta är ett exempel på ett illa-ställt problem. Många liknande exempel finns. Typeset by FoilTEX 9
Bildbehandling Problem Vi har tagit ett foto som blivit suddigt. Kan vi rätta till problemet? Antagande Låt I vara den exakta bilden. Bilden som vi observerar genom kameran är I b = K I, där K är linjär (dvs en matris). Problemet att beräknai fråni b är instabilt. Lägg till en straff term och minimera, Kx I b 2 +λ x 2. Hur skall parametern λ väljas? Hur skall matrisen K väljas (beror på kameran)? Kan minimeringsproblemet lösas effektivt? Typeset by FoilTEX 10
Exempel Vi tittar på en satelit med ett teleskop och får en bild med 32 32 pixlar. 5 5 10 10 15 15 20 20 25 25 30 30 5 10 15 20 25 30 5 10 15 20 25 30 Observerad bild I b (vänster) och återskapad bild I r (höger). Matrisen K är en kombination av att sateliten rör sig och ljusspridning i atmosfären. Typeset by FoilTEX 11
Exempel En liten kamera har inte plats för bra optik. Låt bilder få lite dåligt fokus och kompensera numeriskt. 50 50 100 100 150 150 200 200 250 50 100 150 200 250 250 50 100 150 200 250 En suddig bild I b på 256 256 pixlar (vänster). Efter att minimeringsproblemet lösts får vi bilden I r (höger). Typeset by FoilTEX 12
Formsprutning av plast Smält plast Plastgranulat Form.. Klämma Skruv Värmeelement Flytande plast trycks, under riktigt högt tryck, in i en form för att sedan svalna. För att produkten skall bli snygg måste förloppet simuleras. Typeset by FoilTEX 13
Exempel En platta med ett hål och en region med tunnare gods. Flytfronter då plast trycks in i formen. Problem uppstår om luftfickor skapas. Dessutom fula linjer om två flytfronter möts. Typeset by FoilTEX 14
Matematisk modell Trycket inne i gjutformen beskrivs av, div( p 1 n 1 p) = 0. Där n beskriver plastens viskositet. Ett enklare problem att lösa fås om n 0. Definition Låt Ω vara ett polygonområde. Inre avståndet från x till y är d( x, y) = inf γ γ 1 H ds där H är formens tjocklek, och γ är en kurva från x till y. Definition Låt x Ω ochr > 0. MängdenC r = { y y Ω and d( x, y) < r} kallas en pseudo cirkel. Sats Flytfronterna blir pseudo-cirklar då n 0. Typeset by FoilTEX 15
Exempel Experiment med en realistisk produkt tillverkad med formsprutning 30 equidistant level curves Detected weld lines 140 140 120 120 100 100 80 80 60 60 40 40 20 20 0 0 20 40 60 80 100 120 140 160 180 Thickness ratio 1.5:1 0 0 20 40 60 80 100 120 140 160 180 Thickness ratio 1.5:1 Flytfronter enligt pseudo-cirkel principen. Sammanflytningslinjer och luftfickor kan beräknas. Rerefens Magisteruppsats, Fredrik Berntsson, 1996. Typeset by FoilTEX 16
Animering i Datorspel Vi vill att en karaktär skall röra sig mellan två punkter. Hur skall animeringssekvens som beskriver rörelsen skapas? Vi kan inte i förväg förutsäga alla möjliga rörelser för karaktärerna i spel. Problem När karaktärer ritas i hög upplösning måste även rörelsemönstret vara realistiskt. Referens Examensarbete utfört vid DICE av Anders Andersson, 2012. Typeset by FoilTEX 17
Definition En Trådmodell T består av punkter {x i }, bågar {(i,j)}. Till varje punkt ordnas en hastighet v i. En instans T kallas även stillbild. Trådmodellen innehåller precis den information som behövs för att rita karaktären på en en bildruta i en filmsekvens. Vi kan samla in konkreta exempel T i genom att placera sensorer på skådespelare. Detta kallas Motion Capture. Problem Antag att vi har en databas bestående av stillbilder {T i }. Hur kan vi använda dessa för att bygga upp en ny filmsekvens? Typeset by FoilTEX 18
Definition Antag att {T i } är en samling stillbilder. En Rörelsegraf består av ett antal riktade bågar {(i, j)} som beskriver vilka stillbilder som kan följa på varandra. Exempel Möjliga övergångar mellan två filmklipp Typeset by FoilTEX 19
Exempel Vi har ett antal stillbilder, en rörelsegraf och en väg vi vill att karaktären skall röra sig enligt. Grafsökning Givet de stillbilder T i vi använder ger hastighetsinformationen en väg karaktären kommer att följa. Vi vill hitta en väg genom grafen sådan att karaktären kommer att följa den önskade vägen så bra som möjligt. Typeset by FoilTEX 20
Resultat Filmsekvensen ges av Matematiska frågeställningar: Hur bygga upp rörelsegrafen automatiskt givet ett antal inspelade filmsekvenser? Hur skall målfunktionen i grafsökningen se ut och hur skall sökningen genomföras? Typeset by FoilTEX 21
Värdering och Analys av Väderderivat Definition Ett Väderderivat är ett finansiellt kontrakt som baseras på väderdata vid en viss plats. Exempel Efterfrågan, och priset, på elkraft styrs av hur kallt det är på vintern. Är det kallare än 18 o C innomhus värmer vi upp till 18 o C. För en viss plats och för en viss tidsperiod definierar vi x = t1 t 0 max(18 T(t),0)dt. Det är rimligt att anta att mängden elkraft som går åt för uppvärmning är proportionell mot x. En kraftproducent kan försäkra sig mot låg vinst vid en mild vinter genom att tekna ett kontrakt med x som variabel. Typeset by FoilTEX 22
Exempel Temperaturmätning varje timme vid en mätstation i Malmslätt under perioden 1951 2014. Även några dagar under Juli 1973 40 35 30 20 30 Temperatur T(t) o C 10 0 10 Temperatur T(t) o C 25 20 20 15 30 40 0 1 2 3 Timme t 4 5 6 x 10 5 2.155 2.1555 2.156 2.1565 2.157 2.1575 2.158 Timme t x 10 5 Hur kan denna typ av data användas för att prissätta ett kontrakt? Statistisk analys? Kan väderprognoser användas? Typeset by FoilTEX 23
Frågor att besvara Vad skiljer ett väder derivat kontrakt från andra typer av finansiella derivat? Hur skall kontrakt prissättas? Kan man säga hur mycket kraftproducentens risk reduceras som en följd av kontraktet? Hur skall kontraktet värderas efter att det tecknats? Referens Pågående doktorand projekt. Lämpligt för Kandidat eller Magisteruppsats. Typeset by FoilTEX 24
Sammanfattning Matematik är det språk som används för att formulera problem inom teknik och ekonomi. Avancerad matematik och komplicerade beräkningar används i många viktiga tillämpningar. Frågor? Typeset by FoilTEX 25