Cette thèse présente la conception et la réalisation en VLSI d'un processeur programmable pour une nouvelle architecture MIMD massivement parallèle, intermédiaire entre la connection machine et les hypercubes de processeurs 32 bits. Elle est composée d'une grille 2d de cellules asynchrones communiquant par échanges de messages. Chaque cellule intégré une partie de traitement qui consiste en un petit microprocesseur 8 bits dote d'une mémoire (données et programme), et une partie de routage permettant l'acheminement des messages. A l'issue de l'étude des différents problèmes de communication dans les machines parallèles, nous proposons un routeur original utilisant le principe du Wormhole, et permettant d'acheminer jusqu'à cinq messages en parallèle. Nous décrivons ensuite l'architecture de la partie de traitement, en partant de la définition du jeu d'instructions, du chemin de données et de la partie contrôle jusqu'à la conception au bas niveau. Un premier prototype d'un circuit VLSI de ce processeur a été réalise sur silicium et a permis d'obtenir les mesures des surfaces et des performances

Dans le cadre de cette thèse nous avons étudie l'implantation des algorithmes de l'arithmétique en ligne. En particulier, la réalisation de deux circuits destines aux applications exigeant une précision infinie est exposée. En effet, dans de nombreux domaines tels que la génération de nombres aléatoires, cryptographie, calcul formel, arithmétique exacte, réduction de fraction en précision infinie, calcul modulaire, traitement d'images..., les opérateurs classiques manquent d'efficacité. Face a ce type de problèmes, un remède peut être apporte par le calcul en ligne selon lequel les calculs sont faits en introduisant les opérandes en série chiffre a chiffre en notation redondante. Nous obtenons ainsi un haut degré de parallélisme et une précision variable linéairement. Le premier circuit présenté implante un algorithme de pgcd nomme Euclide offrant, d'après les simulations, le meilleur compromis cout matériel/performance. Il donne également les coefficients de Bezout. Ce circuit est appelé a résoudre les problèmes lies au temps de calcul du pgcd par les méthodes classiques rencontrées dans beaucoup d'applications. Une deuxième application montre la possibilité de fusionner des opérateurs en ligne afin d'obtenir un opérateur complexe. L'exemple traite dans cette thèse est celui de la distance euclidienne: z=x#2+y#2 utilisée, entre autres, pour la resolution du moindre carre des systèmes linéaires

Les courbes de Bezier et les courbes splines ont trouve un cadre de présentation simple et naturel avec la notion de floraison d'une fonction polynomiale, telle qu'elle a été présentée dans les travaux de Lyle Ramshaw (1987). Notre but a consiste a étendre cette présentation au cas des surfaces et aussi des variétés de dimension supérieure. Les splines simpliciales sont une généralisation naturelle des b-splines au cas de plusieurs variables. Nous présentons leurs principales propriétés ainsi qu'une définition de différences divisées pour fonctions de plusieurs variables. Un algorithme d'évaluation d'une spline simpliciale est propose et teste. Floraisons et splines simpliciales sont les éléments essentiels d'un nouveau schéma de b-splines introduit par Dahmen, Micchelli et Seidel (1992). Ce schéma est étudié et ses principales propriétés sont présentées. Une grande similarité avec l'étude des courbes est retrouvée

.

Cette thèse s'intéresse au probleme de la reconnaissance d'objets en présence d'une vaste base de modèles. L'indexation de modèles peut être décrite comme suit: étant donne un groupe d'indices image, extraire rapidement de la base de modèles, les modèles contenant le groupe d'indices. La combinatoire du paradigme classique d'appariement indices-modèles étant prohibitive dans ce cas, nous proposons une methode d'indexation par une technique de hachage de graphes. Nous décrivons d'abord les principes: codage d'image et des modelés sous une forme de graphes, gestion d'une base de modèles par tables hash-codees, comparaison de graphes sur la base de leur caractérisation polynomiale, accès a la base de modèles. Ensuite, nous décrivons le système mis en œuvre selon ces principes, et nous présentons quelques résultats d'expérimentation

Actuellement, l'accélération des opérations de traitement d'images est principalement obtenue par l'utilisation de calculateurs parallèles. De tels processeurs, a flot d'instructions unique et a flots de données multiples (simd), sont développés, mais s'ils s'avèrent efficaces pour les opérations de traitement d'images dites de bas niveau, ou la structure des données reste la même, ils se heurtent a de nombreux problèmes lorsqu'il s'agit des opérations de moyen et de haut niveau. Notamment lors des opérations de moyen niveau, une réorganisation aléatoire des données sur les processeurs doit être effectuée, tache difficilement exécutable sur les structures parallèles synchrones a mémoire distribuée. Le but de cette thèse était d'étendre les capacités d'un calculateur simd, afin qu'il puisse exécuter, efficacement, les opérations de traitement d'images de moyen niveau. L'étude des algorithmes représentatifs de cette classe d'opérations dégage les limites de ce calculateur que des modifications d'architecture permettent d'affranchir. C'est ainsi que Sympatix, le nouveau calculateur SIMD, a été proposé. Afin de le valider, son modèle comportemental décrit en VHDL langage de description de matériel a été élaboré. Grâce a ce modèle, les performances de la nouvelle structure sont ainsi directement mesurées, par simulations d'algorithmes de traitement d'images. L'approche par modélisation VHDL permet, de plus, d'effectuer la conception électronique descendante du système, ce qui, par ailleurs, offre un couplage aise entre les modifications architecturales du système et leur cout électronique. Les résultats obtenus montrent que Sympatix est adapte aux opérations de traitement d'images de bas et de moyen niveau, qu'il est ouvert a un calculateur de haut niveau, et qu'il est capable de supporter d'autres applications de vision. Ce manuscrit présente également, une méthodologie de conception descendante, basée sur le vhdl, et destinée aux architectes de systèmes électroniques

Ce travail porte sur les aspects numériques de la décomposition en ondelettes et quelques applications aux tourbillons océaniques ainsi qu'a l'estimation de densité de probabilité. On présente une synthèse des différents types de transformée en ondelettes. Nous proposons une étude de régularité et de décroissance a l'infini des ondelettes complexes progressives issues d'ondelettes réelles. On s'intéresse au calcul numérique de la transformée en ondelettes dans les cas unidimensionnels et bidimensionnels. Les aspects de l'implémentation, à l'aide de la fft (fast Fourier transform), de l'algorithme général de la transformée en ondelettes sont présentés. Nous montrons une application de l'analyse par ondelettes a des signaux électriques industriels ainsi qu'a des tourbillons océaniques engendres par un modèle numérique du gulf stream. On introduit une approche originale d'analyse spectrale locale par ondelettes fondée sur l'utilisation de la transformée en ondelettes continue. Nous présentons également une methode de filtrage numérique par ondelettes orthogonales qui permet d'extraire une structure spécifique dans un signal. La dernière partie est relative a l'application des ondelettes a l'estimation de densité de probabilité. Nous développons un algorithme de calcul efficace, fonde sur l'utilisation des ondelettes a support compact de Daubechies, pour construire un estimateur d'une densité inconnue de probabilité

L'évaluation de performances est primordiale pour la conception et le développement des systèmes informatiques. Ces derniers sont de plus en plus complexes et leur modèle sont de plus en plus gros. Pour résoudre ces modèles sur un calculateur, nous sommes confrontes a deux problèmes: la capacité mémoire et la rapidité avec laquelle on résout ces modèles. L'avènement des calculateurs parallèles constitue une bonne opportunité pour résoudre ces deux problèmes. Dans cette thèse, nous allons mettre en service le parallélisme pour résoudre les problèmes de l'évaluation de performance. Dans le cadre du calcul parallèle, nous abordons un probleme essentiel qui est le cout des communications dans les machines a mémoires distribuées. Une autre composante importante en parallélisme est le placement des données. Nous verrons l'impact de différents placements de données pour effectuer le produit vecteur-matrice qui constitue la brique de base des méthodes numériques itératives pour résoudre les modèles. Nous proposons des schémas itératives pour résoudre les problèmes markoviens. D'autre part, nous avons développe une parallélisation du solveur de modèles issus des réseaux d'automates stochastiques. En résolvant des problèmes de placement de taches et en réduisant le cout des communications, cette parallélisation nous permet de traiter des modèles de l'ordre de plusieurs millions d'états en un temps de calcul raisonnable

Cette thèse propose des méthodes de synthèse dédiées aux circuits intégrés complexes. Elle concerne l'étape de factorisation algébrique dont le but est de réduire la complexité des expressions booléennes évaluées en terme de littéraux. Les méthodes classiques proposées généralement, amènent une bonne minimisation de la surface active mais peuvent entrainer un mauvais contrôle de la connectique. Cette thèse présente d'abord un état de l'art critique sur les techniques de factorisation algébrique poussées incluant les techniques dites booléennes. Dans les chapitres suivants, deux approches alternatives de factorisation plus restreintes sont proposées. La première est réduite a une division par conoyaux et la deuxième concerne une factorisation dite lexicographique encore plus restrictive, dont le but est de préparer une connectique simplifiée. Les résultats expérimentaux ont permis de définir à partir de quel seuil de complexité, il convient d'appliquer ces deux méthodes pour obtenir une bonne surface globale ainsi qu'un bon facteur de routage

.