CHARIKHI Mourad
Научны(е)й руководител(и)ь : Jean-Marie CHESNEAUX
Со-руководитель : JÉZÉQUEL Fabienne
Contrôle dynamique du calcul d'intégrales multiples
La fiabilité du calcul des intégrales définies monodimensionnelles
avait fait l'objet de plusieurs études au sein du laboratoire LIP6.
Pour différentes méthodes de quadrature numérique, une stratégie de
calcul avait été proposée afin d'obtenir le résultat pour lequel
l'erreur globale, combinant erreur mathématique et erreur d'arrondi,
est minimale.
Les intégrales multiples peuvent être évaluées en utilisant le
principe des intégrales itérées qui consiste à calculer plusieurs
intégrales monodimensionnelles par une méthode de quadrature. La
première approche traitée dans cette thèse est la validation
numérique de ce type de calcul. Nous avons alors démontré que, pour
chaque dimension du domaine d'intégration, le pas optimal peut être
déterminé de manière dynamique.
Cette thèse a également porté sur la validation numérique des
intégrales évaluées sur un domaine infini. La stratégie de calcul
proposée consiste alors à calculer une suite convergente dont l'itéré
de précision optimale est déterminé dynamiquement.
La deuxième approche étudiée a porté sur les méthodes de cubature qui
permettent l'approximation d'une intégrale multiple par une formule
adaptée au domaine d'intégration considéré. Une stratégie, fondée sur
l'utilisation d'une formule de cubature sur plusieurs sous-domaines, a
été proposée afin d'obtenir un résultat de précision optimale. Le
contrôle dynamique du calcul d'intégrales multiples par méthodes de
cubature a été effectué sur des domaines de type hypercube.
Pour chaque approche étudiée, nous avons montré comment déterminer
quels chiffres significatifs du résultat sont en commun avec la vraie
valeur de l'intégrale.
Nous avons développé un logiciel nommé ACIM (Atelier de Calcul
d'Intégrales Multiples) qui permet un calcul convivial et fiable des
intégrales multiples en utilisant, soit le principe des intégrales
itérées, soit les méthodes de cubature au choix de l'utilisateur.
Защита диссертаций : 14.01.2005
Члены жюри :
ALT René, Professeur, UPMC? Examinateur
BAJARD Jean-Claude, Professeur, Université de Montpellier 2, Rapporteur
CHESNEAUX Jean-Marie, Professeur, UPMC, Directeur de Thèse
JEZEQUEL Fabienne, Maître de conférences, Paris 2, Co-directeur de Thèse
LANGLOIS Philippe, Professeur, Université de Perpignan, Rapporteur
MICHELUCCI Dominique, Professeur, Université de Bourgogne Examinateur
REVOL Nathalie, INRIA Invitée
Публикации 2002-2006
-
2006
- F. Jézéquel, F. Rico, J.‑M. Chesneaux, M. Charikhi : “Reliable computation of a multiple integral involved in the neutron star theory”, Mathematics and Computers in Simulation, vol. 71 (1), pp. 44-61, (Elsevier) (2006)
-
2005
- M. Charikhi : “Contrôle dynamique du calcul d’intégrales multiples”, диссертация, Защита диссертаций 14.01.2005, Научны(е)й руководител(и)ь Chesneaux, Jean-Marie, Со-руководитель : Jézéquel, Fabienne (2005)
-
2003
- F. Jézéquel, F. Rico, J.‑M. Chesneaux, M. Charikhi : “Dynamical control of a multiple integral using Discrete Stochastic Arithmetic”, Dagstuhl Seminar, Dagstuhl, Germany (2003)
-
2002
- M. Charikhi, J.‑M. Chesneaux, F. Jézéquel, F. Rico, L. Villain : “A dynamical computation of a multiple integral involved in the neutron star theory”, SCAN 2002 - 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Paris, France (2002)
- M. Charikhi, J.‑M. Chesneaux, F. Jézéquel : “Dynamical control of computations of multiple integrals”, SCAN 2002 - 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Paris, France (2002)