Une représentation connaissances centrées objets, déclarative et uniforme, est présentée. Elle permet de construire une base d'objets dynamique. Le mécanisme d'exploitation associé est fondé sur un processus élémentaire de filtrage flou. De façon générale, il permet l'exploitation d'une base d'objets dans laquelle les traitements sont aussi spécifiés de façon déclarative. Il permet aussi la manipulation de termes du langage naturel définis à l'aide d'outils mathématiques extraits de la théorie des ensembles flous. Le processus manipule la sémantique des objets à l'aide d'informations typées. Il calcule des distances entre objets variant entre 0 et 1 au lieu de rendre de simples réponses binaires. Deux stratégies de filtrage permettent des raisonnements nuancés et de diverses natures. Ces outils sont manipulés pour élaborer un système intelligent d'aide à la modélisation mathématique en biologie

La prise en compte de la thermique couplée au modèle mécanique continue à poser des défis à la modélisation numérique, et plus particulièrement lors de la simulation du procédé de forgeage à chaud (déformations importantes de la pièce chaude au contact d'outils plus froids). Cette thématique d'actualité encore peu ou mal traitée dans les codes de calculs classiques (présence de problèmes de stabilité et de convergence dus aux fortes non linéarités des modèles thermomécaniques) nous amène à mettre au point une méthodologie numérique satisfaisante de l'équilibre thermique en vue de simuler un tel couplage, avec un bon compromis entre la précision de l'estimation du champ de température et le temps de résolution. Ainsi, trois modèles numériques sont introduits et intégrés dans le code éléments finis Forge 3 tous basés sur une formulation mixte à deux champs en température/flux de chaleur pour décrire le problème thermique instationnaire. - Deux modèles basés sur la méthode de Galerkin Discontinue et l'élément fini constant P0 sont d'abord présentés: # le schéma explicite Taylor Galerkin Discontinu (TGD) associé à des éléments finis mixtes discontinus P0/P0 et à un développement de Taylor explicite, le modèle Galerkin Discontinu Implicite (GDIMP), notre première méthode qui est une amélioration du schéma TGD avec une formulation plus précise pour l'estimation du flux (éléments finis mixtes P0/P+0 ) et une convergence plus rapide (schéma d'Euler implicite). - Notre nouvelle formulation, la formulation Mixte continue basée sur l'élément fini mixte linéaire P1/P1 et sur un schéma temporel implicite. Tout au long de ce travail, ces méthodes numériques sont décrites, évaluées, validées (solutions analytiques ou résultats expérimentaux) comparées et soumises à des discussions critiques quant à leur efficacité et leur robustesse.

Cette thèse concerne le développement et la mise en œuvre d'un environnement pour le calcul scientifique et la modélisation. L'approche retenue est celle d'une décomposition stratifiée des problèmes, ceci dans un double but: marquer le cheminement progressif des étapes de description, allant de l'énoncé informel vers un langage cible en passant par des langages intermédiaires plus ou moins formalisés ; et, d'obtenir une décomposition structurée, modulaire, pour aller du problème initial vers le programme. Dans le but de vérifier la cohérence des descriptions, des schémas de résolutions, des décompositions, nous associons à tout énoncé des conditions logiques dépendant du langage de description. Pour cela, il nous a paru nécessaire d'étudier les formulations logiques décrites par des systèmes polynômiaux sur les corps finis de la forme Z/pZ. L'étude de ces systèmes nous conduisent à traiter le problème de l'élimination des quantificateurs sur un corps fini, le problème du calcul du résultat sur Z/pZ: des algorithmes sont proposés, ainsi qu'une généralisation de la méthode de Dixon-Biard. Le problème de la déduction est aussi abordé. Ces algorithmes nous permettent de vérifier localement la cohérence d'un énoncé mais aussi d'une décomposition de problème. Ceci rend envisageable une vérification globale. Un éditeur de strates sous Grif est présenté

La géophysique interne est une discipline riche en enseignements sur la structure de la Terre à différentes échelles, et sur les phénomènes passés liés à sa lente évolution. Elle constitue de plus un enjeu présent et d'avenir de première importance dans notre société, à l'heure où les ressources de toutes sortes se font de plus en plus rares, et dans le cadre d'une meilleure gestion de l'aménagement du territoire. La méthode d'inversion des formes d'ondes complètes, fondée sur un processus d'optimisation local, se distingue des autres méthodes d'imagerie sismique par sa vocation à extraire de manière aussi complète que possible l'intégralité de l'information sismique, afin de construire une image quantitative haute résolution d'un ou plusieurs paramètres physiques. Je discute dans ma thèse de plusieurs problématiques liées à cette méthode, en les illustrant par des applications à des données multicomposantes enregistrées par des câbles de fond de mer (OBC) sur le champ pétrolier de Valhall en mer du nord. Je discute tout d'abord de l'empreinte de l'anisotropie engendrée par des milieux transverses isotropes à axe de symétrie vertical sur les données du champ de Valhall. J'illustre cette empreinte sur les résultats de l'imagerie en comparant les modèles du sous-sol obtenus lorsque l'anisotropie est prise en compte ou pas dans la modélisation sismique. Je mets en évidence un biais dans les vitesses reconstruites par une méthode d'inversion isotrope, ce biais induisant un mauvais positionnement des réflecteurs en profondeur. %Les vitesses n'ont pas la même signification près de la surface et en profondeur, où elles sont représentatives des vitesses horizontales et NMO respectivement. J'aborde ensuite le problème de la construction du modèle initial nécessaire à l'inversion des formes d'ondes à partir de données à grands déports. L'approche sélectionnée est une extension de la stéréotomographie, une méthode de tomographie de pente, où les attributs temps de trajet+pente des ondes réfractées et réfléchies sont inversées au sein d'un algorithme hiérarchique multi-échelle. Le potentiel de la méthode est discuté à partir d'un cas synthétique représentatif du champ pétrolier de Valhall, avant l'application aux données réelles du champ de Valhall.

Dans les disciplines de l'intelligence artificielle et de la recherche opérationnelle, on rencontre de nombreux problèmes comme l'allocation de ressources, l'ordonnancement, la, conception, le diagnostic automatisé. Ces problèmes se formulent aisément comme des problèmes de satisfaction de contraintes (CSP). Un CSP est défini comme étant un ensemble de contraintes impliquant un certain nombre de variables. L'objectif consiste simplement à trouver un ensemble de valeurs à affecter aux variables, de sorte que toutes les contraintes soient satisfaites. Dans le cas le plus général, les problèmes de satisfaction de contraintes ont un aspect fortement combinatoire qui leur confère une grande complexité. Nous nous intéressons dans le cadre de cette thèse aux problèmes de satisfaction de contraintes binaires en domaines finis. Les méthodes auxquelles nous nous intéressons pour résoudre un CSP sont, les méthodes dites incomplètes : elles font une réparation d'une configuration en parcourant de manière non systématique l'espace des configurations. Dans cette catégorie de méthodes, notre intérêt s'est plus particulièrement tourné vers les Algorithmes Evolutionnistes. Ce sont des méthodes générales d'optimisation combinatoire qui sont inspirées de la théorie de l'évolution. Dans un CSP classique, on recherche une solution, sans avoir à optimiser de fonction. Pour entrer dans le cadre des Algorithmes Évolutionnistes, on se doit de définir une fonction d'évaluation pour les CSP qui prend ses valeurs minimales sur les solutions du problème. Cette fonction pourrait être utilisée par toutes méthodes incomplètes, telles que les techniques min-conflits, GSAT et leurs variantes. Nous montrons dans cette thèse l'application de notre fonction d'évaluation pour la méthode min-conflits ainsi que pour un algorithme évolutionniste. D'un autre côté, dans le contexte plus spécifique des algorithmes génétiques, nous souhaitons guider l'évolution (i.e. recherche d'une solution), en faisant des transformations sur la population plus orientées vers le problème de satisfaction de contraintes. Nous définissons ainsi des opérateurs de mutation et de croisement spécialisés pour les CSP qui sont basés sur la structure du graphe de contraintes. Ensuite, nous incorporons le concept d'adaptation dans l'opérateur de croisement, afin d'améliorer la recherche de l'algorithme. Dans ce mémoire, nous décrivons et justifions les algorithmes mis en oeuvre, en illustrant les techniques implémentées par la résolution de problèmes de coloriage de graphe avec trois couleurs, et de CSP générés aléatoirement.