Nous nous intéressons à une classe particulière de problèmes, les systèmes d´équations de distance avec des incertitudes, qui apparaissent fréquemment en robotique (et dans d´autres domaines). Nous considérons les valeurs entachées d´incertitudes comme des valeurs qui ne sont pas exactement connues mais sont dans des limites bien définies. Ces valeurs sont représentées par des intervalles, et représentent fréquemment les mesures de quantités physiques. Résoudre un problème avec des incertitudes signifie trouver les solutions en considérant les inexactitudes des données, afin d´obtenir des réponses certifiées. Le but est de résoudre des systèmes d´équations de distance avec des incertitudes dans leurs paramètres de la manière la plus précise possible, en combinant différentes techniques d´analyse par intervalles et de programmation par contraintes. Nous proposons un algorithme spécifique de type Branch and Prune combiné avec une bissection conditionnelle qui permet de calculer une approximation grossière des différents continuums de solutions. Le calcul d´une approximation plus précise décrivant chaque continuum a été aussi étudié. Nous montrons que pour calculer cette approximation, il faut considérer un test de boîte intérieure, afin de détecter des parties de l´espace contenant seulement des solutions au problème. L´utilisation d´un tel test réduit la quantité de boîtes produites, et fournit plus d´informations à propos des différentes zones solutions. Nous proposons aussi une stratégie de construction de boîte intérieure basée sur des résultats théoriques sur les intervalles modaux combinés avec une technique de programmation par contraintes appelée projection.

Cette étude porte sur l'architecture globale d'un agent rationnel. Le terme agent est donne aux systèmes autonomes, c'est a dire capables d'agir sans intervention extérieure. De plus, l'hypothèse qu'il est rationnel est faite, c'est a dire que l'ensemble de ses activités extérieures, perceptives et déductives sont justifiables par ses buts. La spécification et l'implantation sont décrites

Cette thèse se veut d'abord une étude mathématique qui donne des bases théoriques au calcul numérique des dimensions fractales d'un attracteur. Des nombreuses expériences numériques relient la théorie aux exigences qui apparaissent dans les applications. L'algorithme de calcul des dimensions fractales propose par Paladin et Vulpiani, que nous appelons algorithme des points centraux, nous semble être le plus puissant parmi les algorithmes proposés. Nous donnons la description détaillée de cet algorithme, et espérons qu'elle est aussi compréhensible pour un non-spécialiste. Une méthode d'estimation d'erreur pour cet algorithme est proposée et justifiée par des résultats des expériences numériques. Le cout de l'algorithme est calcule. La thèse est complétée par l'étude d'un système dynamique, qui modélise une réaction biochimique chaotique, qui intervient dans le cycle de vie d'un genre d'amibes

Synthèses sur le test aléatoire de mémoire RAM. Étude des problèmes liés à la détection des pannes. Modèle de pannes, et calcul des longueurs de séquence de test nécessaire à leur détection. Nouveaux modèles pour le problème des pannes multiples. Méthodologie de diagnostic basée sur les expériences de test aléatoire dont le séquencement est donné sous forme d'algorithme. Cahier des charges d'une machine de test pour mettre en œuvre ces résultats

On considère le problème du calcul dans des extensions de Q par des nombres algébriques. Il s'agit (par diverses approches) de savoir comment l'arithmétique exacte peut être envisagée dans ces extensions. On présente l'approche classique basée sur l'élément primitif, on montre qu'elle est très coûteuse et que les résultats obtenus sont inutilisables. On voit une autre approche basée sur des factorisations dans les extensions, on montre qu'elle est meilleure que la première, cependant l'algorithme de factorisation est assez coûteuse. On aborde le cas particulier où les nombres algébriques sont loin d'être triviales mais qu'en se plaçant sur un corps de base Ko engendré sur Q par ζo = exp iπ/4 on peut surmonter toutes les difficultés. On présente l'algorithme et des exemples dans le cas de un ou de deux radicaux. La généralisation à plusieurs radicaux ne semble pas poser des difficultés supplémentaires

On décrit la conception et l'implantation d'un système de programmation de robots. Ce système combine un langage de programmation textuel, le langage LM, et un environnement de développement et de mise au point de programmes: programmation par apprentissage, simulation graphique, programmation géométrique, planification de trajectoires. On détaille la structure interne du langage LM et son implantation, ainsi que les fonctionnalités des différents modules d'environnement. Le système a donné lieu à plusieurs implantations industrielles et à de nombreuses expérimentations

Les différentes façons de décrire un circuit intégré (niveau architectural, logique, électrique, implante; mode structurel, fonctionnel). L'accent est mis sur les descriptions tenant compte de l'aspect temporel. La sûreté de la description, ou cohérence, est traitée à part. Le modèle par événements du comportement des systèmes temporisés est présenté partiellement. Le modèle classique d'automate d'état fini est cité, avec les difficultés de son utilisation pour les systèmes temporisés. On propose une définition d'automate d'état fini temporisé combinant les deux approches. Le fonctionnement est caractériser par un calcul algébrique. Analyse de deux réalisations de base et de variantes de l'une d'entre elles, ainsi qu'une 3eme famille. Étude d'un automate plus complexe forme d'une partie contrôle et d'une partie opératoire. Calcul de la synchronisation.

.

Les methodes de test de microprocesseurs sont passées en revue et les caractéristiques et l'environnement de test propres à l'usager sont définis. Une methode de test s'appuyant sur une description comportementale des microprocesseurs est proposée; elle se décompose en un test de conformité, Le test de balayage et un test des signaux complémentaires. Un équipement de test expérimental à permis de prouver l'efficacité de l'approche sur des lots de microprocesseurs (MC6800)

La solution projection itérée pour l'équation intégrale de Fredholm de seconde espèce. Résultats de superconvergence pour la methode de projection itérée appliquée à une équation intégrale de Fredholm de 2ème espèce et problème aux valeurs propres. Résultats de superconvergence pour des problèmes aux valeurs propres différentiels : une methode de Galerkin sur la formulation intégrale. Superconvergence des vecteurs propres généralisés d'opérateurs différentiels et intégraux aux nœuds.