On poursuit l'étude des coefficients de corrélation d'ordre supérieur. On obtient la loi asymptotique des coefficients de corrélation empiriques. On en déduit un test hilbertien d'indépendance. De plus, on exprime les polynômes d'Hermite sous forme de moments. On en déduit la loi de la somme de n vecteurs aléatoires et la loi de leurs formes quadratiques.

Nous étudions la mise en œuvre d'algorithmes parallèles sur des ordinateurs a mémoire distribuée. A travers plusieurs exemples issus de la programmation dynamique, de l'algèbre linéaire et du traitement d'images, nous exposons les problèmes lies a la programmation de ces machines: topologie d'interconnexion, stratégie d'allocation des données, équilibrage des calculs et minimisation du volume de communication inter-processeurs. Les exemples étudiés sont pour la plupart des algorithmes séquentiels couteux en temps de calcul et en place mémoire, et pour lesquels il est très intéressant d'avoir une parallélisation efficace. Nous avons choisi des problèmes dont l'implémentation sur des machines a mémoire distribuée n'est pas aisée, essentiellement a cause de la grande interdépendance entre les différentes taches composant les algorithmes

Ce travail a pour objet l'étude de méthodes de diagnostic d'erreurs de systèmes parallèles communicants, pour des spécifications exprimées dans une logique temporelle arborescente. Sa motivation est l'élaboration de diagnostics d'erreurs détectées par Xesar, outil de vérification de protocoles décrits dans une variante du langage Estelle. Xesar génère a partir du programme décrivant un protocole, un graphe fini dont les séquences représentent les exécutions. Vérifier consiste a comparer ce graphe aux spécifications. En cas de non satisfaction des spécifications, un diagnostic doit etre fourni, permettant de cerner la cause de l'erreur. On s'intéresse aux erreurs dont les diagnostics sont des séquences d'exécution du graphe représentant le comportement du programme. Un prototype d'un système de diagnostics d'erreurs, Cleo, a été réalisé et intégré a Xesar. Générer un diagnostic consiste a calculer un ensemble de séquences d'exécution dont l'existence est la cause de l'erreur. L'utilisation de Cleo nous a conduit a étudier les points suivants: définition d'un critère de minimalité d'un ensemble de diagnostics. Une relation d'ordre dans l'ensemble (éventuellement infini) des diagnostics est définie. Dans le cas des systèmes finis, il existe un sous-ensemble fini de diagnostics minimaux tel que chaque diagnostic a un minorant minimal. Simplification des diagnostics. Les diagnostics sont fournis sous une forme simplifiée, modulo une classe d'actions observables. Nous définissons une relation d'équivalence entre modèles appelée équivalence explicationnelle, qui préserve les diagnostics simplifies, et dont l'originalité est de dépendre de la formule exprimant les spécifications. Les diagnostics simplifies sont calcules dans un modèle réduit équivalent

Cette thèse concerne l'analyse de défaillances de circuits VLSI et plus particulièrement la localisation automatique de défauts sur des circuits a structure non connue a l'aide d'un testeur par faisceau d'électrons. La première partie décrit le problème du point de vue de l'analyste et conclut sur la nécessité de l'emploi des techniques de test sans contact et plus particulièrement du testeur par faisceau d'électrons. La seconde partie décrit la methode employée pour localiser une défaillance au sein d'un circuit intégré, fondée sur la comparaison de l'image en contraste de potentiel du circuit défaillant avec l'image d'un circuit identique réputé bon. Les problèmes lies a l'automatisation complète de la phase de comparaison sont ensuite détaillés et des solutions sont apportées. Les algorithmes de traitement des images sont décrits en détail; certains ayant été spécialement développés pour la nature spécifique des images de circuits intégrés (binarisation et corrélation par recherche des coins). La troisième partie décrit les deux phases expérimentales effectuées sur deux équipements différents et permet de montrer la faisabilité de la methode de comparaison et surtout la fiabilité du processus automatique. La dernière partie conclut par la nécessité de développer les applications informatisées autour de l'outil testeur par faisceau d'électrons

.

Nous présentons les bases de Grobner, leur utilisation et la parallélisation des algorithmes qui les calculent dans le cas de polynômes booléens. Une première partie est consacrée à la présentation théorique des bases de Grobner dans le cas général. Cette présentation se veut accessible a des non-spécialistes. Une étude bibliographique de la complexité est faite. Une deuxième partie concerne les applications des bases de Grobner booléennes en calcul propositionnel et en preuve de circuits combinatoires. Nous proposons un algorithme de preuve formelle de circuits combinatoires hiérarchisés. Dans la troisième partie nous adaptons l'algorithme séquentiel au cas booléen et nous étudions plus en détail la normalisation. Nous proposons deux méthodes de parallélisation a granularité différentes. Nous analysons et comparons plusieurs implantations parallèles et présentons des résultats expérimentaux. Les algorithmes sont généralisables au cas des polynômes a coefficients rationnels. Nous soulignons l'influence de la répartition des données sur le temps d'exécution. Nous présentons une methode de répartition des polynômes basée sur la recherche de chemins de longueur donnée dans un graphe oriente. Cette répartition nous permet d'obtenir des résultats interpretables et de conclure sur les différents algorithmes

On simule l'écoulement de gaz avec arc électrique au moment d'une interruption du courant dans un disjoncteur haute ou moyenne tension. Les équations de Navier Stokes compressible sont résolues pour un gaz réel non visqueux. L'arc électrique est du gaz chaud et conducteur. Le rayonnement est pris en compte. L'équation d'état et les propriétés du gaz sont tabulées. On présente une analyse du problème physique et des équations a résoudre. Deux modélisations numériques monodimensionnelles, par une methode d'éléments finis (avec upwind et capture de choc) et par une methode a pas fractionnaires séparant le traitement des phénomènes de diffusion et de convection, ont été implémentées. Elles ont permis d'affiner le modèle et de mettre en évidence l'importance du rayonnement. La dernière partie est relative au développement d'un code de calcul industriel 2 d plan ou axisymetrique. Seule la methode a pas fractionnaires a été implémentée. Le code permet de résoudre le problème sur des maillages non structures et mobiles. Des tests numériques valident les schémas mis en œuvre

Le problème de la recherche d'un élément dans un ensemble donne est un des problèmes fondamentaux en informatique non numérique, lie, par exemple, aux bases de données, a la compilation, a l'optimisation combinatoire, etc... Dans cette thèse nous abordons le problème de la recherche dans des ensembles ordonnes et quelques problèmes qui lui sont lies. Une matrice est dite triée si elle possédé une relation d'ordre total sur chaque ligne et chaque colonne. Un cas particulier est l'ensemble des matrices définies par x+y, la somme cartésienne de deux vecteurs tries. Après un tour d'horizon des problèmes de la sélection, de la recherche et du tri sur des ensembles de la forme x=y, nous démontrons des bornes inférieures et introduisons des bornes supérieures pour les problèmes de la recherche et de la sélection. Nous proposons, en outre, plusieurs algorithmes parallèles pour la recherche dans x+y. Ensuite nous montrons comment appliquer ces résultats a la resolution en parallèle du problème de décision du sac-a-dos, ou, étant donnes plusieurs objets et un sac de capacité définie a remplir, on veut décider s'il existe une combinaison des objets qui remplit exactement le sac. Des algorithmes avec une accélération optimale sont introduits pour divers modèles de machines parallèles a mémoire partagée et distribuée. Pour ce problème les approches existantes se ramènent soit a la recherche dans x+y, soit a la traversée d'un espace combinatoire a l'aide de la technique du Branch & Bound. Cette dernière technique est aussi discutée dans ce travail, ou nous présentons un algorithme de Branch & Bound en vue de la resolution de problèmes d'optimisation combinatoire sur la connexion machine. Enfin, toujours dans le domaine de l'optimisation combinatoire, nous étudions le comportement de l'algorithme de recuit simule. Nous prouvons que, malgré la confiance qu'il inspire et sa grande utilisation pour des application

Pac est un système de calcul formel dédié a une machine Mind massivement parallèle. Dans une première partie, l'architecture du système est décrite. Elle est illustrée par une modélisation théorique et pratique de la parallélisation du produit de deux polynômes. Le système Pac est implante sur la machine t40 de Fps (32 processeurs). Dans une deuxième partie, l'arithmétique nodale en précision infinie sur les rationnels est étudiée. Différents algorithmes sont dégagés, notamment pour la multiplication, la division et le pgcd d'entiers de taille quelconque. Une vectorisation de l'arithmétique de base est discutée et expérimentée

Présentation d'un outil complet de description interactive et de visualisation en temps réel d'animations. Le système développé implémente des concepts originaux aussi bien au niveau du matériel conduisant a une architecture originale dédiée a l'animation temps réel, qu'au niveau du logiciel