Nous présentons un système de vision utilisant la mesure du mouvement pour extraire des informations tridimensionnelles. Ce système permet de fournir des indices 3-d a partir d'une séquence d'images. Il s'articule en trois modules qui peuvent fonctionner indépendamment: une technique d'extraction de segments de droite a partir d'une image de contours. La caractéristique principale de cette technique est d'utiliser un balayage simple de l'image. Elle est donc particulièrement destinée a être câblée et fonctionner en synchronisation avec le balayage vidéo; un suivi d'indices performant. Notre système est fonde sur l'utilisation d'un modèle des indices observes et d'un filtre de Kalman; une reconstruction de segments 3-d. Cette reconstruction, utilisant l'étiquetage de segments dans une séquence fourni par le suivi d'indices, est fonde sur l'utilisation des équations de la stereovision

.

.

Ce mémoire concerne l'étude et la réalisation d'un code d'éléments finis pour les circulations océaniques engendrées par les vents dans un bassin ferme aux latitudes moyennes. Deux modèles physiques sont examines: 1) la modélisation barotrope océan de densité constante proposée en 1982 par Dumas-Le Provost-Poncet; 2) une extension de cette modélisation a un océan stratifie en densité. Dans les deux cas, une étude théorique démontre l'existence et l'unicité de la solution du système d'équations traite. La methode des éléments finis autorise des domaines a géométrie complexe, ce qui a permis d'expérimenter le modèle barotrope sur un bassin réaliste: l'atlantique nord. Le code de modélisation des circulations barotrope et barocline, écrit pour un ordinateur vectoriel, est teste sur un bassin carre découpé en trois couches de densité variable selon la verticale. Les résultats des simulations effectuées sont compares a ceux obtenus avec un code aux différences finies. Cette modélisation multicouche fournit un système d'équations se prêtant naturellement a l'utilisation d'algorithmes parallèles, un code de calcul a été étudié et implante sur l'hypercube t20 de la société FPS

Les algorithmes les plus récents de traitement numérique de la géométrie ou bien encore de simulation numérique de type CFD (Computational Fluid Dynamics) utilisent à présent de nouveaux types de grilles composées de polyèdres arbitraires, autrement dit des grilles fortement non-structurées. Dans le cas de simulations de type CFD, ces grilles peuvent servir de support à des champs scalaires ou vectoriels qui représentent des grandeurs physiques (par exemple : densité, porosité, perméabilité). La problématique de cette thèse concerne la définition de nouveaux outils de visualisation et de calcul sur de telles grilles. Pour la visualisation, cela pose `a la fois le problème du stockage et de l'adaptativité des algorithmes `a une géométrie et une topologie variables. Pour le calcul, cela pose le problème de la résolution de grands systèmes linéaires creux non-structurés. Pour aborder ces problèmes, l'augmentation incessante ces dernières années de la puissance de calcul parallèle des processeurs graphiques nous fournit de nouveaux outils. Toutefois, l'utilisation de ces GPU nécessite de définir de nouveaux algorithmes adaptés aux modèles de programmation parallèle qui leur sont spécifiques. Nos contributions sont les suivantes : (1) Une méthode générique de visualisation tirant partie de la puissance de calcul des GPU pour extraire des isosurfaces à partir de grandes grilles fortement nonstructurées. (2) Une méthode de classification de cellules qui permet d'accélérer l'extraction d'isosurfaces grâce à une pré-sélection des seules cellules intersectées. (3) Un algorithme d'interpolation temporelle d'isosurfaces. Celui-ci permet de visualiser de manière continue dans le temps l'évolution d'isosurfaces. (4) Un algorithme massivement parallèle de résolution de grands systèmes linéaires non-structurés creux sur le GPU. L'originalité de celui-ci concerne son adaptation à des matrices de motif arbitraire, ce qui le rend applicable `a n'importe quel système creux, dont ceux issus de maillages fortement non-structurés.

La séparation dans le domaine pétrolier consiste a arranger ou déplacer des corps ou des classes d'espèces dans des régions différentes de façon a avoir plus de facilites a évaluer leurs propriétés ou bien a produire d'autres mélanges. Le travail, que nous présentons ici, est une contribution a la resolution numérique de certains problèmes rencontres dans l'étude de séparation du pétrole. Les problèmes étudiés, dans ce travail, concernent deux types de mélanges différents: mélanges complexes et mélanges simples. L'étude effectuée, sur différents problèmes de la gestion des mélanges, a conduit a mettre au point un logiciel interactif et visuel ainsi que plusieurs programmes d'expérimentation; ceci va permettre une exploitation numérique et graphique meilleure

In computer science many data are shaped as trees. In the context of the Web, it is the case for XML formatted data in particular. XML is a markup language that has rapidly become a standard for information storage and data exchange. As query languages for relational databases are not well-suited to XML data, the need to have query languages specific to XML documents has increased. We distinguish unary queries which select a set of subparts of a document from n-ary queries which select a set of n-tuples of subparts of a document. Many logical formalisms for unary queries have been proposed, but less work has been done on logical formalisms for n-ary queries. This thesis is a fundamental study of n-ary queries that proposes two logical formalisms for n-ary queries: an extension of the navigational paradigm of the W3C standard XPath to n-ary queries, called the composition language, and an adapation of the spatial logic TQL introduced by Cardelli and Ghelli. The question of expressive power, the complexity of the query evaluation problem as well as the satisfiability problem are considered. In particular, the satisfiability problem for a TQL fragment is proved to be decidable by reduction to the emptiness test of a new class of tree automata with global constraints that is studied independently.

Cette thèse est consacrée a l'étude de la forme normale d'Hermite et a la conception d'algorithmes parallèles pour son calcul. Nous avons examine deux cas particuliers: le cas entier et le cas polynomial. Ce problème présente de manière intrinsèque une caractéristique du calcul formel: le grossissement des coefficients intermédiaires. Cette particularité en fait un exemple test pour évaluer la parallélisation en calcul formel. La forme normale d'Hermite pour des matrices a coefficients dans un anneau euclidien est présentée. Les concepts et propriétés sur lesquels sont bases les algorithmes sont décrits. Nous introduisons la théorie sur les réseaux et les problèmes qui lui sont attaches, la forme normale d'Hermite étant une forme canonique du réseau engendre par les colonnes de la matrice initiale. Les différents algorithmes séquentiels sont présentes. Nous étudions et comparons leurs complexités. Puis, une approche parallèle est considérée. Après la présentation des résultats théoriques de nc-réductibilité du problème, nous abordons l'étude de la parallélisation sur modèles expérimentaux. Nous définissons différents algorithmes pour les modèles a mémoire partagée et distribuée. Une implantation a été réalisée sur un hypercube fps t40 (32 processeurs). Le calcul de la forme normale d'Hermite d'une matrice 160160 à coefficients entiers a pu etre effectue en 3 heures. Ce travail s'inscrit dans le cadre du projet massivement Parallele Pac (parallel algebraic computing).

Dans cette thèse, nous étudions la dynamique d'un automate a mémoire dont la fonction de transition est une fonction a seuil. Au chapitre 1, on présente différentes propriétés qui permettent de reconnaitre ou de réaliser une fonction a seuil donnée. Au chapitre 2 nous rappelons les résultats essentiels concernant la dynamique des automates a mémoire linéaires. Le chapitre 3 est consacre a l'étude de deux familles d'automates: automates a mémoire palindromiques et automates réversibles. Aux chapitres 4 et 5, on s'intéresse a la dynamique des automates a mémoire géométriques. Au chapitre 6, on ramène l'étude de la dynamique d'un automate a mémoire a seuil a la résolution d'un programme linéaire. On présente un algorithme qui pour un couple (k,p) permet de construire, s'il en existe, un automate a mémoire a seuil de taille de mémoire k admettant un cycle de longueur p. Cet algorithme nous a permis de construire des familles d'automates admettant des cycles de longueurs supérieures au double de la taille de la mémoire

Nautile est un environnement de génération de dessins de masques, adapte aux besoins des compilateurs de silicium. Il permet la réalisation d'outils d'assemblage et de générateurs paramétrés par la technologie. Nautile facilite la décomposition d'un circuit en une hiérarchie de cellules pouvant être formalisées suivant plusieurs niveaux d'abstraction appelés vues. Une cellule possède deux types de vues, les vues physiques et une vue de construction. Celle-ci permet de concevoir des circuits corrects par construction, et met en œuvre des règles de composition paramétrées par la technologie. Enfin, Nautile permet l'intégration d'outils et de cellules développés dans d'autres systèmes