Search

There is a familiar teleological picture of epistemic normativity on which it is grounded in the goal or good of belief, which is taken in turn to be the acquisition of truth and the avoidance of error. There is also a widespread platitude to the effect that this is at heart two distinct goals in tension with one another. The teleological picture faces numerous challenges, but one of the most interesting is an argument that rests on this platitude. This paper looks more closely at the standard way of understanding the truth goal, drawing out its explicit and implicit features. The aim will be to show that the standard way the truth goal is understood is deeply mistaken, to propose and defend an alternative model, and to show how this alternative model restores the unity of the goal and its potential to ground and explain the normative dimensions of belief.

Good’s theorem is the apparent platitude that it is always rational to ‘look before you leap’: to gather (reliable) information before making a decision when doing so is free. We argue that Good’s theorem is not platitudinous and may be false. And we argue that the correct advice is rather to ‘make your act depend on the answer to a question’. Looking before you leap is rational when, but only when, it is a way to do this.

In this thesis, we present an effective construction of self-synchronizing stream ciphers based on the class of Linear Parameter-Varying (LPV) dynamical systems. For such systems, the state-space representation admits an affine expression regarding the input and the state but the state matrices depend on time varying parameters. This dependence can be expressed using nonlinear functions of the output variable. Hence, the resulting dynamics of the system are nonlinear. We show that the self-synchronization property is related to a structural property of the dynamical system known as flatness. Flatness is an algebraic property that allows, when possible, the expression of the input and state parameters of a dynamical system as functions of its outputs which is then called flat output. A characterization of the flatness is expressed in terms of state matrices of the dynamical matrix. A complementary characterization is given in terms of properties of the related adjacency graph. The combination of the algebraic and graph theory characterization gives a systematic construction of a new class of self-synchronizing stream ciphers. In the second part of the thesis, we tackle security aspects of self-synchronizing stream ciphers. We propose a spectral approach to performing side channel attacks. This approach offers reduced complexity when compared with standard approaches used for side channel attacks. We also give a security proof, based on the notion of indistinguishability, for the canonical form of self-synchronizing stream ciphers. A neccessary and sufficient condition is proposed in order to characterize the indistinguishability. Finally, we establish some results on vectorial boolean functions and properties they can be achieved when trying to design Self-Synchronizing Stream Ciphers, Nous présentons dans le cadre de cette thèse une construction effective de chiffreurs par flot auto-synchronisants centrée autour de la classe particulière des systèmes dynamiques Linear Parameter Varying (LPV). Il s'agit de systèmes dont la représentation d'état admet une écriture affine par rapport à l'état et l'entrée mais dont les matrices de la représentation dépendent de paramètres variants dans le temps. Cette dépendance peut se traduire par des fonctions non linéaires de la variable de sortie. La dynamique résultante est donc non linéaire. Nous montrons que la propriété d'auto-synchronisation est liée à une propriété structurelle du système dynamique à savoir la platitude. La platitude est une propriété algébrique qui permet d'exprimer lorsque cela est possible les paramètres d'entrée et sortie d'un système dynamique en fonction de sa sortie qui est appelée dans ce cas une sortie plate. Une caractérisation de la platitude est exprimée en termes des matrices d'état du système dynamique. Une caractérisation complémentaire est proposée en termes de propriétés d'un graphe d'adjacence associé. L'utilisation conjointe de la caractérisation algébrique et graphique donne lieu à une construction systématique d'une nouvelle classe de chiffreurs auto-synchonisants. Dans la deuxième partie de la thèse, nous nous intéressons à la sécurité de chiffreurs auto-synchronisants. Nous proposons dans un premier temps une approche spectrale pour réaliser une attaque par canaux cachés. Cette approche offre une complexité réduite par rapport aux approches classiques utilisées pour les attaques par canaux cachés. Nous donnons ensuite une preuve de sécurité de la forme canonique d'un chiffreur auto-synchronisant basée sur la notion d'indistinguabilité. Une condition nécessaire et suffisante pour caractériser l'indistinguabilité des chiffreurs auto-synchronisants est proposée. Finalement, nous avons établi des résultats sur les propriétés de fonctions vectorielles booléennes qui permettent de caractériser d'une façon générale les chiffreurs auto-synchronisants

Rational thinkers respect their evidence. Properly understood, that is a platitude. But how can one respect one's evidence unless one knows what it is? So must not rational thinkers know what their evidence is?

McTaggart’s argument against the reality of the A series (or some variation on that argument) poses a serious problem for the moving-now block theory of time (MNBT). A defender of MNBT can respond along lines suggested by Broad: by denying that we should understand ‘e was present’ as saying that e is present at some past moment t. There is, however, a serious—plausibly defeating—objection to this type of response: it implicitly denies a non-negotiable platitude about time. As a result, MNBT is not tenable. Growing block theories are also defeated by a similar objection.

Firstly, we study flatness of multi-input control-affine systems. We give a complete geometric characterization of systems that become static feedback linearizable after a one-fold prolongation of a suitably chosen control. They form a particular class of flat systems, that is of differential weight equal to n+m+l, where n is the dimension of the state-space and m is the number of controls. We illustrate our results by several examples. Secondly, we give a complete geometric characterization of systems locally static feedback equivalent to a triangular form compatible with the m-chained form. We analyze and solve their flatness. We discuss singularities and provide a system of first order PDE's to be solved in order to find all x-flat outputs. We illustrate our results by an application to a mechanical system: the coin rolling without slipping on a moving table., Premièrement, nous avons caractérisé les systèmes multi-entrées, affines par rapport aux contrôles, linéarisables dynamiquement via une pré-intégration d'un contrôle bien choisi. Ils forment une classe particulière de systèmes plats : ils ont un poids différentiel de n+m+1, où m est le nombre de contrôles et n est la dimension de l'état. Nous avons présenté des formes normales compatibles avec les sorties plates minimales et décrit toutes les sorties plates minimales. Nous avons appliqué nos résultats à plusieurs exemples. Deuxièmement, nous avons décrit les systèmes multi-entrées statiquement équivalents à une forme triangulaire compatible avec la forme multi-chaînée. Ensuite, la platitude de ces systèmes a été analysée et résolue. Nous avons discuté les singularités dans l'espace de contrôle et déterminé toutes les sorties plates. Nous avons appliqué ces résultats au système mécanique d'une pièce roulant sans glissement sur une table en mouvement.

The Autistic Brain: Thinking Across the Spectrum. Temple Grandin, Richard Panek. Houghton Mifflin Harcourt; 2013 Physicians know that human experience is infinitely complex and variable. The insight that “everyone is unique” sounds like a T-shirt slogan or a platitude that a therapist might

This thesis deals with the synchronization of dynamical systems. The synchronization considered is called master-slave, that is, the dynamical systems are connected in a unidirectional way. This configuration is of interest because it corresponds to an architecture encountered in secured communications of type one-to-one or one-to-many. A special attention is paid to self-synchronization, the behaviour that characterizes synchronization achieved with a simple master-slave coupling and so, without any external control. It is a central feature of self-synchronizing stream ciphers. The study of self-synchronization in the cryptographic context relies on control theory. An original connection between self-synchronization and encryption/decryption is provided. It is based on the flatness property of dynamical systems, a property borrowed from automatic control. It is shown that flat dynamical systems completely define the set of all self-synchronizing systems and thus, enlarge the existing structures of self-synchronizing stream ciphers. Flatness is first of all studied for the case of two nonlinear systems: switched linear systems and linear parameter-varying (LPV) systems. Flatness characterization is based on the concept of nilpotent semigroups and an efficient algorithm is provided. A constructive approach for self-synchronizing master-slave structures is proposed. It relies on the construction of flat systems as well as on left and right invertibility also borrowed from control theory. Then, self-synchronization is studied in the Boolean context which is preferred in cryptography. Self-synchronization is characterized through the notion of influence. Several matrix representations of Boolean functions are proposed. These representations are especially interesting for security analysis. A connection between self-synchronization and the eigenstructures of these matrices is established. Then, a graph oriented approach is provided. New self-synchronizing constructions are deduced and security elements are discussed. Eventually, the description of the FPGA based test platform that we have designed is provided.; Cette thèse traite de la synchronisation des systèmes dynamiques. La synchronisation est étudiée pour une configuration de type maître-esclave, c'est-à-dire pour des systèmes couplés de façon unidirectionnelle. Ce type de configuration s'avère d'un intérêt tout particulier car elle correspond à des architectures de communications chiffrées un-vers-un ou un-vers-plusieurs. Une attention spécifique est portée sur l'autosynchronisation, comportement qui caractérise la synchronisation par le simple couplage maître-esclave et donc en l'absence de tout contrôle extérieur. Elle joue un rôle majeur dans les communications impliquant des chiffreurs par flot autosynchronisants. L'étude de l'autosynchronisation dans le contexte cryptographique s'appuie sur la théorie du contrôle. Un lien original entre l'autosynchronisation et le principe de chiffrement/déchiffrement en cryptographie est mis en évidence. Il fait appel à la propriété de platitude des systèmes dynamiques, un concept emprunté à l'automatique. On montre que les systèmes dynamiques plats définissent complètement l'ensemble des systèmes autosynchronisants et permettent d'élargir les structures existantes des chiffreurs autosynchronisants. La platitude est tout d'abord étudiée pour deux types de systèmes non linéaires~: les systèmes linéaires commutés et à paramètres variants (LPV). La caractérisation des sorties plates s'appuie sur le concept de semigroupes nilpotents et un algorithme performant est proposé. Une approche constructive pour réaliser des structures maître-esclave autosynchronisantes est proposée sur la base de systèmes plats et les notions d'inversibilité à gauche et à droite empruntées à la théorie du contrôle. Par la suite, l'autosynchronisation est étudiée dans le contexte booléen privilégié en cryptographie. Elle est caractérisée en premier lieu au travers la notion d'influence. Ensuite, différentes représentations matricielles associées aux fonctions booléennes sont proposées. Ces représentations s'avèrent particulièrement intéressantes pour l'analyse des propriétés liées à la sécurité. Un lien entre l'autosynchronisation et les structures propres des représentations matricielles est établi. Une approche orientée graphes est finalement élaborée pour la caractérisation. De nouvelles constructions de structures autosynchronisantes en sont déduites et des éléments de sécurité sont discutés. Enfin, une plateforme de test à base de FPGA qui a été réalisée est décrite.

This thesis deals with the synchronization of dynamical systems. The synchronization considered is called master-slave, that is, the dynamical systems are connected in a unidirectional way. This configuration is of interest because it corresponds to an architecture encountered in secured communications of type one-to-one or one-to-many. A special attention is paid to self-synchronization, the behaviour that characterizes synchronization achieved with a simple master-slave coupling and so, without any external control. It is a central feature of self-synchronizing stream ciphers. The study of self-synchronization in the cryptographic context relies on control theory. An original connection between self-synchronization and encryption/decryption is provided. It is based on the flatness property of dynamical systems, a property borrowed from automatic control. It is shown that flat dynamical systems completely define the set of all self-synchronizing systems and thus, enlarge the existing structures of self-synchronizing stream ciphers. Flatness is first of all studied for the case of two nonlinear systems: switched linear systems and linear parameter-varying (LPV) systems. Flatness characterization is based on the concept of nilpotent semigroups and an efficient algorithm is provided. A constructive approach for self-synchronizing master-slave structures is proposed. It relies on the construction of flat systems as well as on left and right invertibility also borrowed from control theory. Then, self-synchronization is studied in the Boolean context which is preferred in cryptography. Self-synchronization is characterized through the notion of influence. Several matrix representations of Boolean functions are proposed. These representations are especially interesting for security analysis. A connection between self-synchronization and the eigenstructures of these matrices is established. Then, a graph oriented approach is provided. New self-synchronizing constructions are deduced and security elements are discussed. Eventually, the description of the FPGA based test platform that we have designed is provided., Cette thèse traite de la synchronisation des systèmes dynamiques. La synchronisation est étudiée pour une configuration de type maître-esclave, c'est-à-dire pour des systèmes couplés de façon unidirectionnelle. Ce type de configuration s'avère d'un intérêt tout particulier car elle correspond à des architectures de communications chiffrées un-vers-un ou un-vers-plusieurs. Une attention spécifique est portée sur l'autosynchronisation, comportement qui caractérise la synchronisation par le simple couplage maître-esclave et donc en l'absence de tout contrôle extérieur. Elle joue un rôle majeur dans les communications impliquant des chiffreurs par flot autosynchronisants. L'étude de l'autosynchronisation dans le contexte cryptographique s'appuie sur la théorie du contrôle. Un lien original entre l'autosynchronisation et le principe de chiffrement/déchiffrement en cryptographie est mis en évidence. Il fait appel à la propriété de platitude des systèmes dynamiques, un concept emprunté à l'automatique. On montre que les systèmes dynamiques plats définissent complètement l'ensemble des systèmes autosynchronisants et permettent d'élargir les structures existantes des chiffreurs autosynchronisants. La platitude est tout d'abord étudiée pour deux types de systèmes non linéaires~: les systèmes linéaires commutés et à paramètres variants (LPV). La caractérisation des sorties plates s'appuie sur le concept de semigroupes nilpotents et un algorithme performant est proposé. Une approche constructive pour réaliser des structures maître-esclave autosynchronisantes est proposée sur la base de systèmes plats et les notions d'inversibilité à gauche et à droite empruntées à la théorie du contrôle. Par la suite, l'autosynchronisation est étudiée dans le contexte booléen privilégié en cryptographie. Elle est caractérisée en premier lieu au travers la notion d'influence. Ensuite, différentes représentations matricielles associées aux fonctions booléennes sont proposées. Ces représentations s'avèrent particulièrement intéressantes pour l'analyse des propriétés liées à la sécurité. Un lien entre l'autosynchronisation et les structures propres des représentations matricielles est établi. Une approche orientée graphes est finalement élaborée pour la caractérisation. De nouvelles constructions de structures autosynchronisantes en sont déduites et des éléments de sécurité sont discutés. Enfin, une plateforme de test à base de FPGA qui a été réalisée est décrite.

In the first part of the Ph.D thesis, we characterize all x-flat outputs and their singular loci of any 2-inputs driftless control system wich is equivalent to the chained system. Then we apply that result to the n-trailer system in order to calculate all its x-flats outputs. In the second part, we establish a new model of the n-bar system in (m+1)-dimensional space. With the help of this model, we show that the system is locally equivalent to the m-chained system and also describe its singular locus. Furthermore we analyse its flatness property and determine its minimal flat outputs. In the third part, we give necessary and sufficient conditions for a distribution to be lacally equivalent to the Cartan distribution for surfaces. Finally, in the fourth part, we give necessary and sufficient verifiable conditions for a multi-input affine control system to be orbital feedback linearizable.; Dans la première partie de cette thèse, nous caractérisons complètement toutes les x-sorties plates et leurs lieux singuliers pour un système avec deux contrôles qui est équivalent au système chaîné. Nous appliquons aussi ce résultat au système de robot mobile avec des remorques pour calculer toutes ses x-sorties plates. Dans la deuxième partie, nous présentons un nouveau modèle pour le système à n-barres dans l'espace de dimension m+1. Nous montrons que ce système est localement équivalent au système m-chaîné et caractérisons aussi ses lieux singuliers. Ensuite, nous analysons sa propriété de platitude et donnons ses sorties plates minimales. Dans la troisième partie, nous donnons des conditions nécessaires et suffisantes pour qu'une distribution soit équivalente à la distribution de Cartan pour des surfaces. Finalement, dans la quatrième partie, nous donnons des conditions nécessaires et suffisantes vérifiables pour qu'un système multi-entrées soit linéarisable par bouclage orbital.

In the first part of the Ph.D thesis, we characterize all x-flat outputs and their singular loci of any 2-inputs driftless control system wich is equivalent to the chained system. Then we apply that result to the n-trailer system in order to calculate all its x-flats outputs. In the second part, we establish a new model of the n-bar system in (m+1)-dimensional space. With the help of this model, we show that the system is locally equivalent to the m-chained system and also describe its singular locus. Furthermore we analyse its flatness property and determine its minimal flat outputs. In the third part, we give necessary and sufficient conditions for a distribution to be lacally equivalent to the Cartan distribution for surfaces. Finally, in the fourth part, we give necessary and sufficient verifiable conditions for a multi-input affine control system to be orbital feedback linearizable., Dans la première partie de cette thèse, nous caractérisons complètement toutes les x-sorties plates et leurs lieux singuliers pour un système avec deux contrôles qui est équivalent au système chaîné. Nous appliquons aussi ce résultat au système de robot mobile avec des remorques pour calculer toutes ses x-sorties plates. Dans la deuxième partie, nous présentons un nouveau modèle pour le système à n-barres dans l'espace de dimension m+1. Nous montrons que ce système est localement équivalent au système m-chaîné et caractérisons aussi ses lieux singuliers. Ensuite, nous analysons sa propriété de platitude et donnons ses sorties plates minimales. Dans la troisième partie, nous donnons des conditions nécessaires et suffisantes pour qu'une distribution soit équivalente à la distribution de Cartan pour des surfaces. Finalement, dans la quatrième partie, nous donnons des conditions nécessaires et suffisantes vérifiables pour qu'un système multi-entrées soit linéarisable par bouclage orbital.

According to Normativism, what an expression means has immediate implications for how a subject should or may (not) employ that expression. Many view this thesis as imposing substantive constraints upon theories of linguistic meaning. In this paper, I shall not consider that view; instead, I shall address the prior issue of whether or not one should accept Normativism. Against certain recent prominent lines of attack common to a number of different anti-Normativist discussions, I shall defend both the Normativist thesis and an attempt to appeal to a certain platitude in its support.