Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de l'Ingénierie d'un Système Interactif d'Aide à la Conduite (SIAC) d'un procédé industriel. Nous défendons l'intérêt d'améliorer l'interactivité numérique entre un procédé et un agent (opérateur de conduite, rondier) qui applique des procédures de conduite. L'originalité du SIAC consiste à encapsuler le système physique par un canal d'objets logiques afin de mieux équilibrer la distribution des rôles entre l'humain et le système technique qu'il conduit. Ce SIAC fournit aux opérateurs et aux rondiers des services d'aide à la conduite tels que la localisation des équipements, l'autorisation des actions à exécuter et la validation des actions exécutées, de même que la gestion des contraintes d'exclusion et de dépendances entre actions, imposées par la physique du procédé. La spécification de ce système sociotechnique interprète les travaux des « Problem Frames » en génie in-formatique pour proposer un procédé de modélisation itératif dans le cadre d'une Ingénierie Système Ba-sée sur des Modèles (ISBM). Cette ISBM s'appuie sur le langage SysML, dont la syntaxe et la sémantique sont spécialisées pour supporter le procédé de modélisation proposé. Cette spécialisation met en corres-pondance les artéfacts clés extraits à la fois des bonnes pratiques de l'Ingénierie Système et des bonnes pratiques de SysML.

Les procédés de soudage conduisent à des modifications de microstructure et induisent des contraintes et distorsions résiduelles jouant un rôle important sur la tenue mécanique des assemblages. Cette étude a pour objectif la modélisation des phénomènes thermomécaniques liés à l'opération de soudage du TA6V, ce qui implique d'identifier et de modéliser les sollicitations thermiques imposées par le soudage, le comportement métallurgique et thermomécanique du matériau. L'étude thermique et métallurgique a permis de montrer les principales évolutions de phases de l'alliage, durant le soudage laser. Ainsi, en première approximation, nous pouvons considérer que 3 phases distinctes sont à prendre en compte dans le calcul thermomécanique (la phase a, la phase ß et la phase a'). Afin de caractériser les phases ou mélange de phase en présence, des essais thermomécaniques sont réalisés pour diverses températures et conditions de déformation. Concernant le choix du modèle numérique, on adopte pour chacune des phases un modèle à variables internes de type Lemaître et Chaboche avec écrouissage cinématique non linéaire, un critère de plasticité de type Von Mises et une loi d'écoulement viscoplastique de type Norton, couplé à une loi de transition d'échelle. L'identification de chaque phase se fait par méthode inverse, à partir des essais thermomécaniques, grâce au module d'optimisation de ZSeT/ZMaT. La loi de localisation choisie est basée sur un modèle polycristallin en ß qui permet le passage du comportement microscopique de chaque phase au comportement macroscopique de l'ensemble. La validité de ce modèle décrit précédemment passera par la définition d'un essai expérimental représentatif des différents phénomènes rencontrés lors de l'opération de soudage.

Les bases de données multimédia, aussi bien personnelles que professionnelles, se développent considérablement et les outils automatiques pour leur gestion efficace deviennent indispensables. L'effort des chercheurs pour développer des outils d'indexation basés sur le contenu sont très importants, mais le fossé sémantique est difficile à franchir : les descripteurs de bas niveau généralement utilisés montrent leurs limites dans des cadres applicatifs de plus en plus ouverts. Le texte présent dans les images est souvent relié au contexte sémantique et constitue un descripteur pertinent. Dans cette thèse nous proposons un système de localisation de texte dans des bases d'images génériques, qui tend à être robuste au changement d'échelle et aux déformations usuelles du texte enfoui. Notre système est basé sur un opérateur résiduel numérique, l'ouvert ultime. Dans une première partie nous étudions le comportement de cet opérateur sur des images réelles, et proposons des solutions pour pallier certaines limitations. Dans une seconde partie l'opérateur est inclus dans une chaîne de traitement et complété par différents outils de caractérisation du texte. Les performances de notre approche sont évaluées sur deux bases d'images. Premièrement, nous avons pris part à la campagne d'évaluation ImagEval, remportant la première place dans la catégorie "localisation de texte". Deuxièmement pour situer notre approche par rapport à l'état de l'art, nous avons effectué des tests avec la base d'évaluation I.C.D.A.R. Enfin, un démonstrateur a été réalisé pour EADS. Pour des raisons de confidentialité, ces travaux n'ont pas pu être intégrés à ce manuscrit.

Ce document constitue la synthèse des travaux de recherches effectués pendant les six années suivant mon doctorat --- de 2004 à 2009 --- et de quelques thématiques ayant pris naissance pendant la première moitié de l'année 2010. Ces travaux ont été principalement effectués au sein du secteur Génie Civil et Environnement du LMT--Cachan et impliquent de nombreux doctorants, stagiaires et partenaires industriels, ainsi que d'autres enseignants--chercheurs du laboratoire. Afin de mettre en avant la démarche générale qui sous-tend ce travail et la cohérence des différents développements menés au cours de ces années, j'ai choisi de les mettre en forme au travers d'un manuscrit original. Celui-ci permet également de présenter au lecteur des notations uniformisées et d'avoir ainsi une vision plus synthétique.

This work is dedicated to the control of the accuracy of computational simulations of sound propagation and scattering. Assuming time-harmonic behaviour, the mathematical models are given as boundary value problems for the Helmholtz equation <i>Delta u+k2u=0 </i> in <i>Oméga</i>. A distinction is made between interior, exterior and coupled problems and this work focuses mainly on interior uncoupled problems for which the Helmholtz equation becomes singular at eigenfrequencies. As in other application fields, error control is an important issue in acoustic computations. It is clear that the numerical parameters (mesh size h and degree of approximation p) must be adapted to the physical parameter k. The well known ‘rule of the thumb’ for the h version with linear elements is to resolve the wavelength <i>lambda=2 pi k-1</i> by six elements characterising the approximability of the finite element mesh. If the numerical model is stable, the quality of the numerical solution is entirely controlled by the approximability of the finite element mesh. The situation is quite different in the presence of singularities. In that case, <i>stability</i> (or the lack thereof) is equally (sometimes more) important. In our application, the solutions are ‘rough’, i.e., highly oscillatory if the wavenumber is large. This is a singularity inherent to the differential operator rather than to the domain or the boundary conditions. This effect is called the <i>k-singularity</i>. Similarly, the discrete operator (“stiffness” matrix) becomes singular at eigenvalues of the discretised interior problem (or nearly singular at damped eigenvalues in solid-fluid interaction). This type of singularities is called the <i>lambda-singularities</i>. Both singularities are of global character. Without adaptive correction, their destabilizing effect generally leads to large error of the finite element results, even if the finite element mesh satisfies the ‘rule of the thumb’. The k- and lambda-singularities are first extensively demonstrated by numerical examples. Then, two <i>a posteriori</i> error estimators are developed and the numerical tests show that, due to these specific phenomena of dynamo-acoustic computations, <i>error control cannot, in general, be accomplished by just ‘transplanting’ methods that worked well in static computations</i>. However, for low wavenumbers, it is necessary to also control the influence of the geometric (reentrants corners) or physical (discontinuities of the boundary conditions) singularities. An <i>h</i>-adaptive version with refinements has been implemented. These tools have been applied to two industrial examples : the GLT, a bi-mode bus from Bombardier Eurorail, and the Vertigo, a sport car from Gillet Automobiles. As a conclusion, it is recommanded to replace the rule of the thumb by a criterion based on the control of the influence of the specific singularities of the Helmholtz operator. As this aim cannot be achieved by the <i>a posteriori</i> error estimators, it is suggested to minimize the influence of the singularities by modifying the formulation of the finite element method or by formulating a “meshless” method.

Les modèles de prévision opérationnelle du temps résolvent numériquement les équations de la mécanique des fluides en calculant l'évolution de champs (pression, température, humidité, vitesses) définis comme moyennes horizontales à l'échelle des mailles d'une grille (et à différents niveaux verticaux). Les processus d'échelle inférieure à la maille jouent néanmoins un rôle essentiel dans les transferts et les bilans de chaleur, humidité et quantité de mouvement. Les paramétrisations physiques visent à évaluer les termes de source correspondant à ces phénomènes, et apparaissant dans les équations des champs moyens aux points de grille. Lorsque l'on diminue la taille des mailles afin de représenter plus finement l'évolution des phénomènes atmosphériques, certaines hypothèses utilisées dans ces paramétrisations perdent leur validité. Le problème se pose surtout quand la taille des mailles passe en dessous d'une dizaine de kilomètres, se rapprochant de la taille des grands systèmes de nuages convectifs (systèmes orageux, lignes de grain). Ce travail s'inscrit dans le cadre des développements du modèle à mailles fines ARPÈGE ALADIN, utilisé par une douzaine de pays pour l'élaboration de prévisions à courte échéance (jusque 48 heures). Nous décrivons d'abord l'ensemble des paramétrisations physiques du modèle. Suit une analyse détaillée de la paramétrisation actuelle de la convection profonde. Nous présentons également notre contribution personnelle à celle ci, concernant l'entraînement de la quantité de mouvement horizontale dans le nuage convectif. Nous faisons ressortir les principaux points faibles ou hypothèses nécessitant des mailles de grandes dimensions, et dégageons les voies pour de nouveaux développements. Nous approfondissons ensuite deux des aspects sortis de cette discussion: l'usage de variables pronostiques de l'activité convective, et la prise en compte de différences entre l'environnement immédiat du nuage et les valeurs des champs à grande échelle. Ceci nous conduit à la réalisation et la mise en œuvre d'un schéma pronostique de la convection profonde. A ce schéma devraient encore s'ajouter une paramétrisation pronostique des phases condensées suspendues (actuellement en cours de développement par d'autres personnes) et quelques autres améliorations que nous proposons. Des tests de validation et de comportement du schéma pronostique ont été effectués en modèle à aire limitée à différentes résolutions et en modèle global. Dans ce dernier cas l'effet du nouveau schéma sur les bilans globaux est également examiné. Ces expériences apportent un éclairage supplémentaire sur le comportement du schéma convectif et les problèmes de partage entre la schéma de convection profonde et le schéma de précipitation de grande échelle. La présente étude fait donc le point sur le statut actuel des différentes paramétrisations du modèle, et propose des solutions pratiques pour améliorer la qualité de la représentation des phénomènes convectifs. L'utilisation de mailles plus petites que 5 km nécessite enfin de lever l'hypothèse hydrostatique dans les équations de grande échelle, et nous esquissons les raffinements supplémentaires de la paramétrisation possibles dans ce cas.

La thèse évoque les problématiques liées à la thermique des alternateurs d'automobile. En particulier, un modèle aéro-thermique est mis en place pour la machine. Les transferts thermiques de type conductif, convectif et fluidique sont caractérisés par des méthodes numériques, expérimentales ou encore issus de la bibliographie. Une comparaison avec des essais expérimentaux est proposé pour valider le modèle établi. Puis, une étude sur l'amélioration du refroidissement du stator et du rotor est présentée. Concernant le premier, le travail consiste à augmenter l'évacuation de la chaleur au niveau des têtes de bobine par modifications de paramètres géométiques (tel que la position du ventilateur). Pour le deuxième, l'étude s'est principalement focalisée sur l'augmentation du débit d'air axial et l'impact sur la thermique rotor.

Après avoir examiné les méthodes de résolution de problèmes inverses déterministes et de problèmes direct stochastiques, cette thèse propose une méthode d'identification de paramètres de champ stochastiques basée sur les méthodes stochastiques dites "non intrusives". La méthode retenue est basée sur un plan d'expériences, un code de calcul déterministe et consiste à faire coïncider (via une minimisation), pour un certain nombre de points, une sortie simulée à partir d'une entrée paramétrisée et la sortie mesurée projetée sur le chaos polynomial. La méthode retenue est mise en oeuvre de la méthode sur un exemple complet qui montre qu'elle requiert trop d'approximations pour être immédiatement utilisable. Une autre voie de résolution (en découplant deux minimisations imbriquées) est cependant évoquée, qui pourrait donner de meilleurs résultats.

Cette thèse comporte deux parties. Dans un premier temps, nous allons faire un lien entre des solutions stationnaires de problèmes d'évolutions de frontières par courbure moyenne avec des champs extérieurs et l'existence de minimiseur globaux d'un problème de minimisation de périmètre avec une énergie. Ces solutions stationnaires permettent en outre de fournir des bornes pour les solutions non stationnaires du problème. De plus, en modifiant l'énergie, on montre que les résolutions successives des problème de périmètre permettent de calculer l'évolution d'un ensemble par courbure moyenne. Enfin, on présentera un algorithme permettant de calculer les solutions de viscosité d'un problème de Dirichlet portant sur le Laplacien Infini grâce aux équations d'Aronsson.

.