Weakly Relational Numerical Abstract Domains

Antoine Mine

Description

Niveau: Supérieur, Doctorat, Bac+8
PhD. Defense Weakly Relational Numerical Abstract Domains Domaines numeriques abstraits faiblement relationnels Antoine Mine Ecole Normale Superieure, Paris December 6-th, 2004

• deterministic choice within


• numerical abstract


• floating-point semantics


• defense - weakly relational


• domaines numeriques abstraits

Informations

• Publié par: profil-zyak-2012
• Nombre de lectures: 24
• Langue: Français

Extrait

L’´equationdeSmoluchowski:existencedesolutionset ph´enome`nedege´lation Romain Joly et Emmanuel Vincent sous la direction de Benoˆıt Perthame 8 juin 2000

Re´sum´e Onconsid`erel’e´quationdeSmoluchowski,quiestunmode`led´ecrivantsimplementlacoagulation departicules.Onde´montrel’existencedesolutions,etonmeten´evidenceleph´enom`enedege´lation. Oneffectueenfindessimulationsnum´eriques. Tabledesmatie`res 1 Introduction 2 2 Existence de solutions 2 2.1 Cas K borne´...........................................2 2.2Casgene´ral............................................5 ´ ` 2.3Aproposduthe´oremedeDunford-Pettis............................9 ` 3Ph´enom`de´elation11 ene g 3.1De´finitiondelage´lation.....................................11 3.2Unexempleder´esultat......................................11 4SimulationsNum´eriques12 4.1Discussionautourdelavalidit´edeladiscre´tisation......................12 4.2 Les programmes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 4.3R´esultats.............................................14 5 Un peu de physique 17 5.1 Un exemple concret de K ( x y ) : la formation des gouttes d’eau . . . . . . . . . . . . . . . 17 5.2Applicationsa`l’astronomie...................................17 6 Conclusion 18

1