Th. doct.-ing.--Trait. de l'inf.--Lille 1, 1979. N°: 242.

Avec l'augmentation de la probabilité de fautes dans les circuits numériques, les systèmes développés pour les environnements critiques comme les centrales nucléaires, les avions et les applications spatiales doivent être certifies selon des normes industrielles. Cette thèse est un résultat d'une cooperation CIFRE entre l'entreprise Électricité de France (EDF) R&D et Télécom Paristech. EDF est l'un des plus gros producteurs d'énergie au monde et possède de nombreuses centrales nucléaires. Les systèmes de contrôle-commande utilisé dans les centrales sont basés sur des dispositifs électroniques, qui doivent être certifiés selon des normes industrielles comme la CEI 62566, la CEI 60987 et la CEI 61513 à cause de la criticité de l'environnement nucléaire. En particulier, l'utilisation des dispositifs programmables comme les FPGAs peut être considérée comme un défi du fait que la fonctionnalité du dispositif est définie par le concepteur seulement après sa conception physique. Le travail présenté dans ce mémoire porte sur la conception de nouvelles méthodes d'analyse de la fiabilité aussi bien que des méthodes d'amélioration de la fiabilité d'un circuit numérique. / The design of circuits to operate at critical environments, such as those used in control-command systems at nuclear power plants, is becoming a great challenge with the technology scaling. These circuits have to pass through a number of tests and analysis procedures in order to be qualified to operate. In case of nuclear power plants, safety is considered as a very high priority constraint, and circuits designed to operate under such critical environment must be in accordance with several technical standards such as the IEC 62566, the IEC 60987, and the IEC 61513. In such standards, reliability is treated as a main consideration, and methods to analyze and improve the circuit reliability are highly required. The present dissertation introduces some methods to analyze and to improve the reliability of circuits in order to facilitate their qualification according to the aforementioned technical standards. Concerning reliability analysis, we first present a fault-injection based tool used to assess the reliability of digital circuits. Next, we introduce a method to evaluate the reliability of circuits taking into account the ability of a given application to tolerate errors. Concerning reliability improvement techniques, first two different strategies to selectively harden a circuit are proposed. Finally, a method to automatically partition a TMR design based on a given reliability requirement is introduced.

Thèse--Doct.-ing.--Paris 6, 1971. / Bibliogr.

Th. 3e cycle--Méthodes d'approximation et algorithmes en anal. et théor. des nombres--Besançon, 1981. N°: 358.

Un système robotique distribué et reconfigurable (MSRR) est composé de plusieurs modules ayant certaines fonctions de mouvement, de perception et d'action. Ils peuvent s'adapter à l'environnement et aux objectifs en se connectant et en se déconnectant pour obtenir la configuration et la forme désirées. Les MSRR contiennent souvent deux systèmes : l'un constitué d'actionneurs pour le mouvement, l'autre pour la connexion. A l'heure actuelle, de nombreuses institutions travaillent sur les MSRR ; la conception, la miniaturisation, l'économie d'énergie, les algorithmes de contrôle ont fait l'objet de recherches dans ce domaine. Cependant, il existe peu d'études conjointes sur le matériel et les algorithmes correspondants. Cette thèse décrit la conception, la fabrication, les résultats expérimentaux, l'algorithmique distribuée et un simulateur d'une plate-forme MSRR. En nous appuyant sur le calcul et la simulation numérique, nous présentons un aimant électro-permanent simplifié (SEP) qui ne consomme pas d'énergie lorsque le module est connecté à un autre module. Un nouveau concept de moteur linéaire basé sur les SEP est également proposé. Ensuite, nous présentons DILI, un MSRR cubique, de longueur 1,5cm. Le module DILI peut coulisser sur une surface plane, la vitesse maximale pouvant atteindre 20mm/s. Avec le nouvel actionneur, DILI peut réaliser les fonctions de mouvement et de connexion. Un module DILI peut se connecter avec quatre autres modules. Enfin, un algorithme distribué est proposé et un simulateur est conçu pour permettre de simuler le système distribué, de tester et valider les algorithmes distribués. / A distributed modular self-reconfiguring robotic (MSRR) system is composed of many repeated basic modules with certain functions of motion, perception, and actuation. They can adapt to environment and goals by connecting and disconnecting to achieve the desired configuration and shape. MSRRs often contain two hardware systems: one is for actuation (motion), another one is for connection. At present time many institutions work on MSRRs; structural design, miniaturization, energy saving, control algorithms have been the focus of research in this area. However, only a few of them work on both the hardware and the corresponding algorithms. This thesis describes the design, fabrication, experimental results, distributed algorithm, and simulator of a MSRR platform. Via theoretical calculation and numerical simulation, we present the simplified electro-permanent (SEP) magnet which can change the magnetic field direction and does not require energy consumption while connected. A new concept of linear motor based on SEP is proposed. Then we construct DILI, a cubical MSRR, the length of each module is 1.5cm. DILI module can slide on a flat surface; the maximum speed can reach 20mm/s. With the new actuator, DILI can achieve the functions of motion and connection with only one system inside. Finally, a distributed algorithm is proposed in order to build a smart conveyor, and a simulator is designed that permits one to perform distributed simulations, test and validate distributed algorithms.

La planification est un domaine de l'intelligence artificielle qui a pour but de proposer des méthodes permettant d'automatiser la recherche et l'ordonnancement d'ensembles d'actions afin d'atteindre un objectif donné. Un ensemble ordonné d'actions solution d'un problème de planification est appelé un plan. Parfois, les actions disponibles peuvent avoir un coût - on souhaite alors trouver des plans minimisant la somme des coûts des actions les constituant. Ceci correspond en fait à la recherche d'un chemin de coût minimal dans un graphe, et est donc traditionnellement résolu en utilisant des algorithmes tels que A*. Dans cette thèse, nous nous intéressons à une approche particulière de la planification, dite factorisée ou modulaire. Il s'agit de décomposer un problème en plusieurs sous-problèmes (généralement appelés composants) le plus indépendants possibles, et d'assembler des plans pour ces sous-problèmes en un plan pour le problème d'origine. L'intérêt de cette approche est que, pour certaines classes de problèmes de planification, les composants peuvent être bien plus simples à résoudre que le problème initial. Dans un premier temps, nous présentons une méthode de planification factorisée basée sur l'utilisation d'algorithmes dits à passage de messages. Une représentation des composants sous forme d'automates à poids nous permet de capturer l'ensemble des plans d'un sous-problème, et donc de trouver des plans de coût minimal, ce que ne permettaient pas les approches précédentes de la planification factorisée. Cette première méthode est ensuite étendue~: en utilisant des algorithmes dits « turbos », permettant une résolution approchée des problèmes considérés, puis en proposant une représentation différente des sous-problèmes, afin de prendre en compte le fait que certaines actions ne font que lire dans un composant. Ensuite, nous proposons une autre approche de la planification factorisée, basée sur une version distribuée de l'algorithme A*. Dans chaque composant, un agent réalise la recherche d'un plan local en utilisant sa connaissance du sous-problème qu'il traite, ainsi que des informations transmises par les autres agents. La principale différence entre cette méthode et la précédente est qu'il s'agit d'une approche distribuée de la planification modulaire. / Automated planning is a field of artificial intelligence that aims at proposing methods to chose and order sets of actions with the objective of reaching a given goal. A sequence of actions solving a planning problem is usually called a plan. In many cases, one does not only have to find a plan but an optimal one. This notion of optimality can be defined by assigning costs to actions. An optimal plan is then a plan minimizing the sum of the costs of its actions. Planning problems are standardly solved using algorithms such as A* that search for minimum cost paths in graphs. In this thesis we focus on a particular approach to planning called factored planning or modular planning. The idea is to consider a decomposition of a planning problem into almost independent sub-problems (or components). One then searches for plans into each component and try to assemble these local plans into a global plan for the original planning problem. The main interest of this approach is that, for some classes of planning problems, the components considered can be planning problems much simpler to solve than the original one. First, we present a study of the use of some message passing algorithms for factored planning. In this case the components of a problem are represented by weighted automata. This allows to handle all plans of a sub-problems, and permits to perform factored cost-optimal planning. Achieving cost-optimality of plans was not possible with previous factored planning methods. This approach is then extended by using approximate resolution techniques ("turbo" algorithms) and by proposing another representation of components for handling actions which read-only in some components. Then we describe another approach to factored planning: a distributed version of the famous A* algorithm. Each component is managed by an agent which is responsible for finding a local plan in it. For that, she uses information about her own component, but also information about the rest of the problem, transmitted by the other agents. The main difference between this approach and the previous one is that it is not only modular but also distributed.

.

Le défi primaire dans le développement matériel de la cryptographie moderne est de faire des implémentations optimales en ressources, et rapide, en garantissant une résistance contre les attaques. Cette recherche porte sur les implémentations pratiques des opérations de cryptographie basées sur la cryptographie à clé publique dans les corps finis. Durant cette thèse nous avons proposé des composants matériels de base. L'arithmétique des corps finis constitue le noyau de la cryptographie à clé publique comme RSA, ECC ou une cryptographie basée sur le couplage. Nous avons proposé dans cette thèse des architectures du calcul arithmétique haute performance pour implémenter les primitives de cryptographie asymétrique. Les composants décrits dans notre travail ont été implémentés dans des Field Programmable Gate Array platforms (FPGA) de Xilinx. Nous avons utilisé le VHDL pour développer nos composants et nos architectures. Nos résultats présentent des performances en ressources et en vitesse jamais égalées auparavant dans la littérature publique sur ce type de technologie. La particularité de ces architectures est l'utilisation de l'architecture systolique pour développer une multiplication modulaire. Cette thèse traite la mise en œuvre matérielle efficace de la méthode CIOS (Coarsely Integrated Operand Scanning) de la multiplication modulaire de Montgomery combinée avec une architecture systolique efficace. D'après nos connaissances, c'est la première implémentation d'une telle conception. Nos architectures visaient à réduire le nombre de cycles d'horloge de la multiplication modulaire. Les résultats d'implémentation des algorithmes CIOS se concentrent sur différents niveaux de sécurité utiles en cryptographie. Cette architecture a été conçue pour utiliser le DSP48 flexible sur les FPGA de Xilinx. Nos architectures sont évolutives et dépendent uniquement du nombre et de la taille des mots. Par exemple, nous fournissons des résultats d'implémentation pour des longs mots de 8, 16, 32 et 64 bits en 33, 66, 132 et 264 cycles d'horloge. Nous décrivons également un design pour calculer une inversion et/ou une division dans Fp. L'inversion peut être utilisée dans les systèmes de la cryptographie de courbe elliptique et de la cryptographie basée sur le couplage. / The primary challenge in the hardware development of the modern cryptography is to make an optimal implementations in resources and speed, with guaranteeing a resistance against attacks. This research focuses on practical implementations of cryptographic operations based on public key cryptography in finite fields. During this thesis we proposed basic hardware components. Finite field arithmetic is the core of public key cryptography such as RSA, ECC, or pairing-based cryptography. We proposed in this thesis a high-performance architectures of arithmetic calculation to implement asymmetric cryptographic primitives. The components described in this thesis have been implemented in Xlinx Field Programmable Gate Array Platforms (FPGAs). We used the VHDL to devolve our components and architectures. Our results show a performance and speed never presented before in the literature on this type of technology. The particularity of these architectures is the use of systolic architecture to develop a modular multiplication. This thesis deals with the effective physical implementation of the Coarsely Integrated Operand Scanning (CIOS) method of Montgomery's modular multiplication combined with an effective systolic architecture. According to our knowledge, this is the first implementation of such a design. Our architectures were aimed at reducing the number of clock cycles of modular multiplication. The implementation results of the CIOS algorithms focus on different levels of security useful in cryptography. This architecture was designed to use the flexible DSP48 on Xilinx FPGAs. Our architectures are scalable and depend only on the number and size of the words. For instance, we provide implementation results for 8, 16, 32, and 64 bit long words in 33, 66, 132, and 264 clock cycles. We describe also a design to compute an inversion in Fp as well as division. Inversion can be used in Elliptic Curve Cryptography systems and pairing-based cryptography.

Titre de l'écran-titre (visionné le 11 janvier 2024) / Ce manuscrit présente un nouveau concept modulaire préfabriquée hybride en bois/aluminium. En particulier, ce document présente un concept de construction mixte dans lequel les éléments structuraux principaux sont préfabriqués en usine en combinant le bois et l'aluminium. La recherche démontre le potentiel des structures hybrides bois-aluminium en termes de durabilité, offrant des constructions modernes légères et résistantes aux séismes. Puisqu'elles sont plus légères et requirent moins de maintenance, les structures bois-aluminium se distinguent des autres structures hybrides. Ce document présente les résultats d'une analyse théorique et numérique sur une structure à plusieurs étages ainsi qu'expérimentale sur une poutre mixte aluminium-bois. / This manuscript presents a development of a new prefabricated and modular hybride timber-to-aluminium construction system. Particularly, this document presents a concept of composite construction in which the main structural elements are prefabricated in the factory by combining timber and aluminum. Research demonstrates the potential of wood-aluminium hybrid structures in terms of durability, offering modern constructions that are light and earthquake resistant. Timber-aluminum structures stand out from other hybrid structures because they are lighter and require less maintenance. This document presents the results of a theoretical and numerical analysis on a multi-story structure as well as an experimental one on an aluminum-timber beam.

Nous étudions dans cette thèse la valeur spéciale des fonctions L des courbes elliptiques, et plus généralement des formes modulaires de poids 2, au premier point entier non critique, à<br />savoir s=2. Nous démontrons une version explicite d'un théorème de Beilinson relatif à cette valeur spéciale : pour toute forme parabolique primitive f de poids 2, niveau N ≥ 1 et caractère \psi, et pour tout caractère de Dirichlet \chi modulo N (pair, primitif et distinct du conjugué de \psi), nous exprimons L(f,2) L(f,\chi,1) comme régulateur d'un symbole de Milnor explicite associé à des unités modulaires de X_1(N). En niveau \Gamma_1(p), p premier, nous en déduisons que les symboles de Milnor associés aux unités modulaires de X_1(p) engendrent l'espace d'arrivée du régulateur de Beilinson. Utilisant l'appendice par Merel, nous donnons une formule explicite et universelle pour L(E,2), E courbe elliptique de conducteur p premier, en termes des valeurs tordues L(E,\chi,1), \chi caractère de conducteur p. Nous suggérons également une reformulation de la conjecture de Zagier pour L(E,2) au niveau de la jacobienne J_1(N) de X_1(N), où N est le conducteur de E. En ce sens, nous proposons un analogue du dilogarithme elliptique pour la jacobienne J d'une courbe algébrique : c'est une fonction R_J des points complexes de J vers le dual de l'espace des 1-formes différentielles holomorphes sur J. Nous montrons que L(f,2) L(f,\chi,1) est combinaison linéaire explicite de valeurs de R_{J_1(N)}, appliquée à f, en des points \Q-rationnels du sous-groupe cuspidal de J_1(N).