Ce travail est une contribution à l'étude de la limite singulière des équations et des systèmes de Réaction-Diffusion. Ces derniers modélisent des problèmes issus de la physique, de la chimie, de la biologie et des sciences de la technologie. En effet, ce type de problème se présente dans la nature et sont caractérisés par la présence de paramètres qui, lorsqu' ils sont suffisamment grands, donnent lieu généralement à un phénomène appelé couches limites. Cette thèse est composée de cinq chapitres traitant les limites singulières des équations et des systèmes de Réaction Diffusion ainsi que l' existence et l'unicité de solution pour un problème d'obstacle et de quelques EDPs elliptique-parabolique doublement non linéaire avec un opérateur de type Leray Lions. Dans le premier chapitre, nous présentons des résultats théoriques et abstraits sur les limites singulières, où nous traitons aussi la compétition entre deux ou plusieurs opérateurs. Nous appliquons ces résultats dans le contexte des équations aux dérivées partielles et nous étudions le comportement de la solution d'un modèle, lorsque les coefficients de diffusion et/ou de réaction deviennent très grands. Dans les deux chapitres qui suivent, nous considérons un système de réaction diffusion intervenant dans des modèles (macroscopiques) de diffusion dans un milieu hétérogène. Nous présentons d'abord une analyse mathématique (existence et unicité de la solution), ensuite nous étudions le comportement de la solution lorsque le paramètre d'homogénéité devient très grand sur un sous domaine. Le chapitre trois est dédié à l'analyse numérique d'un modèle linéaire, nous prouvons l' existence d'une solution approchée satisfaisant des propriétés de stabilité et de convergence vers la solution du problème continu indépendamment du paramètre d'homogénéité. Le chapitre quatre a pour objet l'étude de l'existence et l'unicité de la solution d'un problème d'obstacle doublement non linéaire avec des contraintes bilatérales, dépendantes de l'espace. Enfin, dans le cinquième chapitre, nous présentons une généralisation des résultats du chapitre trois au cas d'un opérateur de type Leray-Lions et une réaction qui dépend de l'espace.

Nous étudions la densité de niveaux du problème à N-corps (rho_MB) pour des gaz de fermions et de bosons en fonction de la température et du nombre de particules. Nous avons discuté des termes correctifs dus aux effets de nombre fini de particules : alors que le cas des bosons est très riche, il semble qu'un seul comportement apparaisse pour des fermions. Une expression semiclassique de rho_MB pour deux types de particules avec un moment angulaire a été proposé. Celle-ci se compose d'une partie lisse provenant de la méthode du point de col avec des termes correctifs dus au développement de l'expression exacte du nombre de partition pour deux types de particules, et d'une partie oscillante issue des fluctuations de la densité de niveaux à une particule. Une étude numérique pour valider notre modèle a été menée. Dans le cas du noyau atomique, la partie oscillante de rho_MB est contrôlée par un facteur de température qui dépend de la dynamique du système (chaotique ou intégrable) et de la partie oscillante de l'énergie du fondamental. Nous donnons alors l'expression générale de la valeur moyenne de l'énergie pour des potentiels fixes. Le cas auto-cohérent est abordé via l'oscillateur harmonique à trois dimensions (HO3D). L'homologue bosonique de la partie oscillante de rho_MB à basse température a été discuté pour des billards et pour le HO3D isotrope. Dans ce cas il n'y a plus d'oscillation, mais une correction en loi d'échelle. Dans le cas de HO3D isotrope, ces corrections sont de l'ordre de la partie lisse. Dans la limite haute température, nous montrons que la partie oscillante de rho_MB est exponentiellement négligeable comparée au terme lisse.

Nous étudions le problème de diffusion inverse et un problème inverse de valeurs au bord pour l'équation de Newton-Einstein pluridimensionnelle décrivant le mouvement d'une particule classique relativiste dans un champ externe électromagnétique <br />(ou gravitationnel) statique. Le cas d'une particule classique non relativiste est aussi considéré. Nous supposons que le champ externe est suffisamment régulier et suffisamment décroissant à l'infini. Tout d'abord on rappelle (et on développe) des résultats donnant l'existence et des propriétés de l'opérateur de diffusion. Puis on obtient, en particulier, l'asymptotique aux hautes énergies de l'opérateur de diffusion, et on montre que cette asymptotique détermine de manière unique (par des formules explicites) le champ externe. Enfin on obtient un théorème d'unicité à énergie fixée pour le problème inverse de valeurs au bord, et on en déduit, en particulier, qu'à énergie fixée suffisamment grande l'opérateur de diffusion détermine de manière unique le champ externe lorsque celui-ci est aussi supposé à support compact. Les résultats de cette thèse ont été obtenus en développant, en particulier, des méthodes de [Gerver-Nadirashvili, 1983] et [R. Novikov, 1999].

Le but de cette thèse s'est inscrit dans le développement des formulations électromagnétiques 3D adaptées à la modélisation des dispositifs fonctionnant en fréquences élevées. La modélisation de ces appareils s'est heurtée à des difficultés liées :<br />- à leur géométrie complexe 3D. Circuit magnétique non simplement connexe, problème de connexité en cas d'utilisation de formulation en potentiel scalaire magnétique.<br />- À l'effet de peau prononcé du à leur fréquence de fréquence de fonctionnement élevée. Dans ce cas, l'évaluation de perte par courant de Foucault et en particulier les pertes par effet de proximité, est très difficile.<br />Compte tenu de ces difficultés, nous avons mis au point des développements adaptés, qui permettent :<br />- dans un premier temps, de détecter automatiquement tout problème éventuel lié au circuit magnétique fermé. En particulier, nous avons développé un algorithme qui génère automatiquement des coupures nécessaires pour résoudre le problème de connexité.<br />- Dans un deuxième temps, de prendre en compte des pertes par effet de proximité en utilisant une perméabilité complexe équivalente. Cette dernière permet de réduire considérablement les inconnues utilisées dans la modélisation des pertes par courant de Foucault. Ceci apporte de grands intérêts économiques en terme de mémoire et de temps de calcul. Différents méthodes de détermination de la perméabilité complexe ont été investis et ont donnés des résultats très prometteur.<br />Ces développements ont été validés dans un code de calcul scientifique avec succès. Ils permettent une utilisation de la formulation en potentiel scalaire magnétique plus convivial et s'ouvrent à un champ d'application plus grand. Ils envisagent des simulations difficiles qui sont jusqu'à l'heur actuelle non accessibles.

Cette thèse est consacrée à la résolution de trois types de problèmes fondamentaux qui apparaissent en analyse fonctionnelle hilbertienne non-linéaire et dans ses applications : les problèmes d'équilibre pour les bifonctions monotones, les problèmes de point fixe pour les contractions, et les problèmes d'inclusion pour les opérateurs monotones. Notre objectif est d'élaborer de nouvelles méthodes d'approximation et de construction de solutions pour ces problèmes et d'étudier leur comportement asymptotique. Dans un premier temps, nous proposons de nouvelles perturbations visqueuses et visco-pénalisées de ces problèmes, et étudions le comportement asymptotique des courbes d'approximation associées quand la perturbation devient évanescente. Nous étudions ensuite les propriétés de divers systèmes dynamiques discrets et continus associés à ces courbes. Cette étude débouche en particulier sur de nouveaux algorithmes, dont la convergence est établie. Des applications numériques à des problèmes de restauration en traitement de l'image sont fournies pour illustrer la mise en œuvre et les performances de certains des algorithmes proposés.

Cette thèse porte sur la méthode dite « méthode multipôle rapide » qui résout hiérarchiquement le problème à N-corps avec une complexité linéaire pour n'importe quelle précision. Dans le cadre de l'équation de Laplace, nous souhaitons pouvoir traiter efficacement toutes les distributions de particules rencontrées en astrophysique et en dynamique moléculaire.<br /> Nous étudions tout d'abord deux expressions distinctes du principal opérateur (« multipôle-to-local ») ainsi que les bornes d'erreur associées. Pour ces deux expressions, nous présentons une formulation matricielle dont l'implémentation avec des routines BLAS (Basic Linear Algebra Subprograms) permet d'améliorer fortement l'efficacité de calcul. Dans la gamme de précisions qui nous intéresse, cette approche se révèle plus performante que les améliorations existantes (FFT, rotations et ondes planes), pour des distributions uniformes ou non.<br /> Outre une nouvelle structure de données pour l'octree sous-jacent et des contributions algorithmiques à la version adaptative, nous avons aussi efficacement parallélisé notre méthode en mémoire partagée et en mémoire distribuée. Enfin, des comparaisons avec des codes dédiés justifient l'intérêt de notre code pour des simulations en astrophysique.

Dans ce travail nous nous intéressons à la résolution du problème d'évolution de Navier-Stokes incompressible totalement discrétisé en temps et en espace, en dimension deux par une méthode à deux grilles. Dans un premier temps, nous étendons la méthode à deux grilles, appliquée par V. Girault et J.-L. Lions au problème de Navier-Stokes instationnaire semi-discrétisé au problème de Navier-Stokes totalement discrétisé en temps (par un schéma d'ordre un) et en espace (par une méthode d'éléments finis d'ordre un). Dans la première étape, le problème non-linéaire est discrétisé en espace et en temps sur une grille grossière de pas d'espace H avec un pas de temps Delta t. Puis dans la deuxième étape, le problème, linéarisé autour de la vitesse u_H calculée à l'étape précédente, est discrétisé en espace sur une grille fine de pas d'espace h et le même pas de temps. L'idée de la méthode à deux grilles est que, sous des hypothèses adéquates, la contribution de u_H à l'erreur dans le terme non-linéaire en espace, est mesurée en norme L^2 en espace et en temps et a un ordre plus élevé que si elle était mesurée en norme H^1. Dans un deuxième temps, vu que le but est de gagner en ordre de convergence de l'erreur totale du schéma ainsi qu'en complexité nous étudions un schéma à deux grilles d'ordre deux en temps du problème totalement discrétisé en temps et en espace de Navier-Stokes. Nous présentons les résultats suivants: dans le cas de la résolution du schéma d'ordre un en temps, si h = H^2 = Delta t, alors l'erreur globale de l'algorithme à deux grilles est de l'ordre de h. Dans le cas du schéma d'ordre deux en temps, si h^2 = (Delta t)^2 = H^3, alors l'erreur globale de l'algorithme à deux grilles est de l'ordre de h^2: résultats identiques à ceux de la résolution directe du problème non-linéaire sur une grille fine.

Les objectifs de la thèse sont d'élaborer des systèmes d'instrumentation électronique qui permettent une analyse et un diagnostic fins de l'état d'intégrité et du processus de vieillissement des composants de puissance à semi-conducteur. Ces travaux visent à évaluer la variation de la conductivité de la métallisation à l'aide de capteurs à Courant Foucault (CF) mais aussi à estimer l'effet du vieillissement des puces et de leur assemblage sur la distribution de courant dans les puces afin de mieux comprendre les mécanismes de défaillance. Des éprouvettes simplifiées mais également des modules de puissance représentatifs ont été vieillis par les cyclages thermique. Les capteurs développés ont été utilisés afin, d'une part de suivre le vieillissement, mais aussi d'autre part afin de comprendre l'effet de ce vieillissement sur le comportement des puces de puissance. Un banc d'instrumentation dédié a été élaboré et exploité pour la mesure locale de la conductivité électrique par le capteur à courants de Foucault, et l'estimation de la distribution de courants à partir de la mesure de cartographies de champ magnétique par capteurs de champ, ou à partir de la cartographie de la distribution de tension sur la métallisation de source. Ce banc a permis en premier lieu d'évaluer la pertinence et les performances de différents types de capteurs exploitables. Le travail s'est également appuyé sur des techniques de traitement de signal, à la fois pour estimer de manière quantitative les informations de conductivité des métallisations issues des capteurs à courant de Foucault, mais aussi pour l'analyse de la distribution de courant à partir des informations fournies par des capteurs de champ magnétiques. Les modèles utilisés exploitent des techniques de modélisation comportementale (le modèle approché de " transformateur analogique " modélisant capteurs à CF ou bien d'inversion de modèle semi-analytique dans le cas l'estimation de la distribution de courant). Les résultats obtenus à partir de ces modèles nous permettrons, d'une part de mieux comprendre certains mécanismes de défaillance, mais également de proposer une implantation et des structures de capteurs pour le suivi " in situ " de l'intégrité des composants.

Les systèmes décrits par les équations aux dérivées partielles, appartiennent à la classe des systèmes dynamiques impliquant des fonctions dépendantes de plusieurs variables, comme le temps et l'espace. Déjà fortement répandus pour la modélisation mathématique de phénomènes physiques et environnementaux, ces systèmes ont un rôle croissant dans les domaines de l'automatique. Cette expansion, provoquée par les avancées technologiques au niveau des capteurs facilitant l'acquisition de données et par les nouveaux enjeux environnementaux, incite au développement de nouvelles thématiques de recherche. L'une de ces thématiques, est l'étude des problèmes inverses et plus particulièrement l'identification paramétrique des équations aux dérivées partielles. Tout abord, une description détaillée des différentes classes de systèmes décrits par ces équations est présentée puis les problèmes d'identification qui leur sont associés sont soulevés. L'accent est mis sur l'estimation paramétrique des équations linéaires, homogènes ou non, et sur les équations linéaires à paramètres variant. Un point commun à ces problèmes d'identification réside dans le caractère bruité et échantillonné des mesures de la sortie. Pour ce faire, deux types d'outils principaux ont été élaborés. Certaines techniques de discrétisation spatio-temporelle ont été utilisées pour faire face au caractère échantillonné des données; les méthodes de variable instrumentale, pour traiter le problème lié à la présence de bruit de mesure. Les performances de ces méthodes ont été évaluées selon des protocoles de simulation numérique reproduisant des situations réalistes de phénomènes physique et environnementaux, comme la diffusion de polluant dans une rivière.

Le Programme de formation de l’école québécoise situe l’élève au cœur de ses apprentissages. L’enseignant peut faciliter le développement des compétences en offrant une rétroaction permettant à l’élève de progresser dans ses apprentissages. Il est difficile pour les enseignants de faire des annotations pertinentes et efficaces en mathématique, car l’accent est mis sur le concept travaillé et non sur la démarche mathématique. C’est pourquoi, nous avons porté notre regard sur l’incidence que peut avoir l’enseignement explicite des stratégies ainsi que sur les annotations faites par l’enseignant sur les copies des élèves en ce qui a trait au développement de leurs compétences à résoudre des problèmes complexes en mathématique. Nous avons opté pour une recherche qualitative et collaborative pour vivre un échange avec l’enseignant et vivre une interinfluence entre le praticien et le chercheur. La qualité des sujets a été favorisée. La technique d’échantillonnage retenue pour le choix de l’enseignant a été celle de cas exemplaires, tandis que celle que nous avons choisie pour les élèves était l’échantillonnage intentionnel critérié. La recherche a duré du mois de novembre au mois de mai de l’année scolaire 2008-2009. Comme instruments de cueillette de données, nous avons opté pour des entrevues avec l’enseignant et des mini-entrevues avec les élèves à deux moments de la recherche. Nous avons consulté les travaux corrigés des élèves dans leur portfolio. Notre étude fait ressortir l’apport de l’enseignement stratégique de la démarche mathématique. Les résultats précisent que les annotations de type méthodologique ont été celles qui ont été les plus utilisées et ont permis une meilleure compréhension chez l’élève. De plus, elles favorisent le transfert d’une situation à l’autre et permettent à l’élève d’obtenir de meilleurs résultats. / The Programme de formation de l’école québécoise (PFEQ) places the student in the center of his learning. The teacher can facilitate the development of the student’s skills by offering a feedback that allows the student to progress in his learning. It is difficult for the teacher’s to make relevant and effective annotations in math, because the emphasis is placed on the concept that was worked on and not on the mathematical process. This is the reason why we decided to concentrate our research on the incidence the teacher’s annotations can have on the development of the student’s mathematical skills. We opted for a qualitative and collaborative research to experiment an exchange with the teacher and live an inter influence between the practitioner and the researcher. The quality of the subjects was favoured. The teacher was chosen according to the sampling of exemplary case techniques and the students were chosen according to the intentional criteria sampling technique. The research lasted from november till may of the school year 2008-2009. Interviews with the teacher and mini interviews with the students at two moments of the research were used to collect data. We also consulted the corrected work placed in the pupil’s portfolios. Our study highlights the contribution of strategic teaching of the mathematical approach. The results specify that methodological annotation was mostly used and aims at a better understanding of the student. Furthermore, this type allows the transfer from a situation to another and allows the student to obtain better results.