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.

.

.

Polyèdres et systèmes d'inéquations linéaires. Rappels sur la théorie du couplage u-graphes. Rang des couplages maximum dans un graphe biparti. Rang des couplages maximum dans un graphe quelconque.

.