La théorie des intervalles permet de construire des sur-ensembles du domaine de variation d'une fonction réelle. Ainsi, de manière très naturelle, elle permet de construire une approximation extérieure de l'ensemble des solutions d'un système d'équations. Couplée aux théorèmes usuels d'existence (par exemple les théorèmes de Brouwer ou de Miranda) la théorie des intervalles permet aussi de prouver rigoureusement l'existence de solutions pour un système d'équations.<br /> <br />La théorie des intervalles modaux propose des interprétations plus riches que la théorie de intervalles classiques. En particulier, l'interprétation des extensions aux intervalles modaux permet de prouver directement l'existence de solution d'un système d'équations (sans faire intervenir explicitement les théorèmes d'existence). Malgré les récents développements qui ont montré le potentiel applicatif de la théorie des intervalles modaux, l'utilisation de cette théorie reste fort limitée. Cela peut s'expliquer de la manière suivante:<br /><br />A) La théorie des intervalles modaux a une construction originale mais compliquée qui est assez éloignée de la construction de la théorie des intervalles classiques. Cela rend par exemple difficile l'ajout de nouveaux concepts.<br />B) Aucun préconditionnement compatible avec les interprétations offertes par la théorie des intervalles modaux n'a été proposé.<br />C) Aucun protocole de linéarisation compatible avec les interprétations offertes par la théorie des intervalles modaux n'a été proposé.<br /> <br />Dans le cadre de cette thèse, ces trois points sont développés. D'une part, une nouvelle formulation des principaux résultats de la théorie des intervalles modaux est proposée. Cette nouvelle formulation est faite dans le cadre des intervalles généralisés (intervalles dont les bornes ne sont pas contraintes à être ordonnées) et reprend la construction de la théorie des intervalles classiques. D'autre part, un protocole de préconditionnement et un protocole de linéarisation compatibles avec les interprétations des nouvelles extensions aux intervalles généralisés sont proposés. Le protocole de linéarisation proposé aura la forme d'une nouvelle extension de la valeur moyenne aux intervalles généralisés.<br /> <br />Ces développements théoriques aboutissent à deux applications: d'une part, la nouvelle extension de la valeur moyenne aux intervalles généralisés est utilisée pour construire une approximation intérieure du domaine de variation d'une fonction à valeurs vectorielles. Ce problème est aujourd'hui mal traité par la théorie des intervalles classiques. D'autre part, un opérateur généralisé de Hansen-Sengupta dédié à l'approximation extérieure des "AE-solution sets" est proposé. Il est beaucoup plus simple et moins coûteux en temps de calcul que les autres techniques permettant de résoudre ce type de problèmes. Une comparaison de la puissance de résolution de ces différentes techniques nécessitera d'intégrer l'opérateur généralisé de Hansen-Sengupta au sein d'un algorithme de bissection.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00011922 |
Date | 10 November 2005 |
Creators | Goldsztejn, Alexandre |
Publisher | Université de Nice Sophia-Antipolis |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0017 seconds