Cette thèse porte sur la simulation numérique de modèles couplés pour l'écoulement et le transport dans les milieux poreux. Nous présentons une nouvelle méthode de couplage entre les réactions chimiques et le transport en utilisant une méthode de Newton-Krylov, et nous étudions également un modèle d'écoulement en milieu fracturé qui traite l'intersection des fractures par une méthode de décomposition de domaine. <br /> Ce travail est divisé en trois parties : la première partie contient une analyse de différents schémas numériques pour la discrétisation des problèmes d'advection-diffusion, notamment par une technique de séparation d'opérateurs, ainsi que leur mise en oeuvre informatique, dans un code industriel.<br /> La deuxième partie, qui est la contribution majeure de cette thèse, est consacrée à la modélisation et à l'implémentation d'une méthode de couplage globale pour le transport réactif. Le système couplé transport-chimie est décrit, après discrétisation en temps, par un système d'équations non linéaires. La taille du système sous-jacent, à savoir le nombre de points de grille multiplié par le nombre d'espèces chimiques, interdit la résolution du système linéaire par une méthode directe. Pour remédier à cette difficulté, nous utilisons une méthode de Newton-Krylov qui évite de former et de factoriser la matrice Jacobienne. <br /> Dans la dernière partie, nous présentons un modèle d'écoulement dans un milieu fracturé tridimensionnel, basé sur une méthode de décomposition de domaine, et qui traite l'intersection des fractures. Nous démontrons l'existence et l'unicité de la solution, et nous validons le modèle par des tests numériques.

Motivés par la construction de modèles réduits en interaction fluide structure, nous avons étudié l'application de la POD dans ce domaine. Cette méthode a été choisie suite à son utilisation en mécanique des fluides, domaine dans lequel elle a largement fait ses preuves.<br /><br />Nous avons donc dans un premier temps présenté et rappelé les principaux résultats de la POD. Ces résultats ont été illustrés sur l'équation de Burgers monodimensionnelle et un écoulement à faible Reynolds autour d'un cylindre. La décomposition Bi-orthogonale (BOD) a également été testée pour ces deux cas, celle-ci n'améliorant pas les résultats obtenus par la POD. La POD pour l'étude de structures en vibration a également été testée. <br /><br />Ensuite, nous avons étudié son application pour des problèmes d'interaction fluide structure. La complexité tient dans le caractère mobile des domaines alors que la base POD est spatiale et indépendante du temps. Pour remédier à cet inconvénient, on propose d'établir une base POD pour un champ de vitesse global défini sur un domaine fixe. On introduit pour cela un domaine de référence fixe contenant l'ensemble des configurations mobiles sur un intervalle de temps. On obtient ainsi une base POD pour un champ de vitesse fluide et solide. On a ensuite proposé l'écriture d'un modèle réduit pour des problèmes traitant d'interaction entre un fluide et un solide rigide. Pour cela, une formulation multiphasique du type domaine fictifs a été utilisée. Cette méthode est testée avec succès sur un cas monodimensionnel et trois cas bidimensionnels, traitant un fluide initialement au repos, ensuite un écoulement à nombre de Reynolds modéré, et un dernier exemple à fort nombre de Reynold.

.

Nous proposons dans ce travail de nouvelles méthodes de décomposition basées sur l'algorithme du point proximal et ses extensions en optimisation convexe sous contraintes. On y démontre en particulier la sensibilité numérique de ces méthodes au choix d'un certain paramètre utilise pour accélérer la convergence. Ces méthodes sont appliquées a plusieurs modèles, notamment aux problèmes de transports dans les réseaux et aux problèmes de localisation. Les performances ont été validées a la fois du point de vue séquentiel et du point de vue massivement parallèle après une mise en œuvre sur la connection machine cm-2

Etude de l'algèbre des relations en vue d'applications aux bases de données. Choix d'une formalisation générale; opérations de projection, recopie-projection, produit. Etude d'une décomposition simple et d'une décomposition généralisée

.

Les algorithmes de résolution polynomiale sont impliqués dans des outils sophistiqués de calcul en géométrie algébrique aussi bien quen ingénierie. Les plus populaires dentre eux reposent sur des bases de Gröbner, des matrices de Macaulay ou des décompositions triangulaires. Dans tous ces algorithmes, les polynômes sont développés dans une base des monômes et les calculs utilisent essentiellement des routines dalgèbre linéaire. L'inconvénient majeur de ces méthodes est lexplosion exponentielle du nombre de monômes apparaissant dans des polynômes éliminants. De manière alternative, lalgorithme Kronecker manie des polynômes codés comme la fonction qui calcule ses valeurs en tout point.<br />Dans cette thèse, nous donnons une présentation concise de ce dernier algorithme, ainsi qu'une preuve autonome de son bon fonctionnement. Toutes nos démonstrations sont intimement liées aux algorithmes, et ont pour conséquence des résultats classiques en géométrie algébrique, comme un théorème de Bézout. Au delà de leur intérêt pédagogique, ces preuves permettent de lever certaines hypothèses de régularité, et donc d'étendre l'algorithme au calcul des multiplicités sans coût supplémentaire.<br />Ensuite, nous présentons un algorithme de décomposition primaire pour les idéaux de polynômes de dimension nulle. Nous en donnerons également une étude de complexité précise, complexité qui est polynomiale en le nombre de variables, en le coût dévaluation du système, et en un nombre de Bézout.

Les entreprises se focalisent de plus en plus sur les aspects organisationnels qui leur permettent de se structurer en processus complexes. ainsi, de nouveaux besoins apparaissent pour mieux définnir, coordonner et contrôler les équipes et les activités coopératives. L'objet de cette étude est la définition d'un cadre qui permette d'assister le travail coopératif en apportant aux acteurs une aide à la coopération et à l'activité de groupe. La définition de ce cadre s'inspire de la démarche d'amélioration de processus du CMM (Capability Maturity Model), repris par l'ISO 15504 (ISO SPICE). L'approche est décomposée en 4 axes qui correspondent aux actions progressives à mettre en oeuvre pour définir une organisation adéquate des activités coopératives. L'axe 1 concerne la structuration des activités : analyse des dépendances entre activités, regroupement et/ou décomposition en tâches, planification des groupes de travail. L'axe 2 concerne la caractérisation des activités en fonction des interactions dans les groupes de travail : définition des rôles interactionnels et gestion des interfaces entre groupes de travail. L'axe 3 concerne l'évaluation d'une organisation de travail en fonction du nombre d'itérations entre activités : estimation des durées, charges et coûts. L'axe 4 concerne l'optimisation d'une organisation de travail en fonction des résultats d'évaluation : mise en œuvre de différentes solutions d'organisation et d'exécution des activités. Des méthodes principalement issues de la théorie des graphes et des techniques de partitionnement et d'évaluation de performance sont proposées en support dans chaque axe. Un outil logiciel mettant en œuvre ces propositions a été développé. Il permet d'analyser, de décomposer et d'évaluer des processus complexes, ce qui en fait un support efficace pour l'aide à la décision en management, le contrôle dynamique des processus coopératifs, pour la définition et la reconfiguration d'architecture informatique ...

Dans cette thèse, nous nous intéressons aux méthodes permettant de décomposer une image en deux parties: l'une contenant les structures (ou objets) de l'image et l'autre les textures. Le point de départ de ces travaux est le modèle proposé par Yves Meyer en 1999 puis les travaux de Jean-François Aujol pour les aspects algorithmiques.<br />Après une étude théorique de ces approches, nous proposons une extension au cas des images bruitées nous permettant d'obtenir alors une décomposition en trois composantes: structures + textures + bruit.<br />Par ailleurs, nous proposons une méthode spécifique en vue d'évaluer les résultats obtenus à partir des différents alggorithmes. <br />Enfin, nous présentons quelques applications des ces méthodes de décomposition d'image, notamment un algorithme de détection de réseaux routiers en imagerie aérienne ou satellitaire. Cet algorithme combine décomposition d'image, détection d'alignements par la théorie de la Gestalt et modèle déformable.

En calcul de structures, la simulation de la réponse de structures complexes, et dans une encore plus grande mesure, l'optimisation vis à vis de paramètres de plus en plus nombreux dans l'optique de la conception, conduisent à des problèmes de grande taille. L'utilisation du parallélisme est donc un outil important pour pouvoir aborder la simulation de ces modèles.<br />Plus récemment, l'émergence des modélisations multiphysiques couplées requière des capacités de traitement d'autant plus grandes. Une particularité de ce type de modélisations est le caractère multiéchelle marqué, à la fois en temps et en espace, du problème couplé.<br />Dans ce mémoire, les travaux réalisés pour tirer parti du caractère multiéchelle en espace concernent principalement une stratégie de calcul micro / macro située à l'intersection des méthodes de décomposition de domaine, et des stratégies d'homogénéisation. Elle conduit à une stratégie de calcul extensible, et à une homogénéisation automatique, qui ne nécessite pas de traitement particulier des zones bords. Dans un deuxième temps, une stratégie de calcul adaptée aux problèmes multiphysiques, et développée dans le cadre de la poroélasticité, est présentée et sa faisabilité est montrée, sans tirer encore parti des propriétés du problème (multiéchelle à la fois en espace et en temps) pour augmenter ses performances.<br />Outre ce dernier point, pour aller vers des stratégies performantes pour le multiphysique, les perspectives intègrent entre autre, le contrôle et l'adaptivité pour la robustesse de l'approche, et le couplage de codes pour la mise en oeuvre. L'objectif est la construction d'outils permettant la simulation de composants ou de systèmes mettant en jeu des physiques différentes, et, comme c'est aussi souvent leur cas aussi, des procédés d'obtention et de conception.