L'objet de ce travail est l'étude des propriétés de stabilité et de robustesse des systèmes non-linéaires via des méthodes basées sur l'homogénéité. Dans un premier temps, nous rappelons le contexte usuel des systèmes homogènes ainsi que leurs caractéristiques principales. La suite du travail porte sur l'extension de l'homogénéisation des systèmes non-linéaires, déjà proposée dans le cadre de l'homogénéité à poids, au cadre plus général de l'homogénéité géométrique. Les principaux résultats d'approximation sont étendus. Nous développons ensuite un cadre théorique pour définir l'homogénéité de systèmes discontinus et/ou donnés par des inclusions différentielles. Nous montrons que les propriétés bien connues des systèmes homogènes restent vérifiées dans ce contexte. Ce travail se poursuit par l'étude de la robustesse des systèmes homogènes ou homogénéisables. Nous montrons que sous des hypothèses peu restrictives, ces systèmes sont input-to-state stable. Enfin, la dernière partie de ce travail consiste en l'étude du cas particulier du double intégrateur. Nous développons pour ce système un retour de sortie qui le stabilise en temps fini, et pour lequel nous prouvons des propriétés de robustesse par rapport à des perturbations ou à la discrétisation en exploitant les résultats développés précédemment. Des simulations viennent compléter l'étude théorique de ce système et illustrer son comportement

No description available.

La première partie est consacrée à l'étude d'attaques génériques sur des schémas de Feistel dissymétriques. Ces attaques sont en fait des distingueurs qui calculent sur une partie des clairs-chiffrés le nombre de paires vérifiant un système d'égalités et de non-égalités sur un groupe fini. La recherche de ce type d'attaques a été automatisée et améliorée, notamment en tenant compte de goulots d'étranglement. Plus généralement, des travaux sur ce type de systèmes, que l'on désigne par les termes << théorie du miroir >> sont exposés dans cette partie. En particulier, on décrit le problème de la somme de deux bijections sur un groupe fini.La deuxième partie décrit un des candidats à la compétition SHA-3 : la fonction de hachage CRUNCH. Cette fonction reprend un schéma de Feistel dissymétrique et utilise la somme de deux bijections. De plus, un nouveau mode d'enchaînement a été utilisé.Dans la dernière partie on traite de problème d'authentification à divulgation nulle de connaissance. D'abord avec les polynômes à plusieurs variables, puis avec un problème difficile lié aux groupes symétriques. Une illustration est donnée avec le groupe du Rubik's Cube.Enfin une méthode originale pour tenter de trouver une solution aux équations de Brent est donnée en annexe. / The first part is dedicated to the study of generic attacks in unbalanced Feistel schemes. All these attacks are distinguishers that counts how many number of couples (plain text, cipher text) verify a system of equalities and non-equalities on a finite groupe. With the help of algorithms we have found all the possible attacks, and some attacks with a neck bottle have been rejected automatically. More generally, we describe some works about the "mirror theory" that deals about that kind of systems. We specially describe the problem of the sum of two bijections in a finite group.The second part describes one of the candidate of the SHA-3 competition : the hash function called CRUNCH. This function includes the sum of two bijections, and each bijection is an unbalanced Feistel Scheme. A new chaining process for long messages is given.In the last part we deal with zero-knowledge authentication problems. The first protocol is based on multivariate polynomials. The second is linked to a difficult problem in symmetric groups. We take the example of the Rubik's cube group.Finally, we reveal some works on Brent equations. We build an algorithm that may find one solution.

L'objet de ce travail est l’étude des propriétés de stabilité et de robustesse des systèmes non-linéaires via des méthodes basées sur l'homogénéité. Dans un premier temps, nous rappelons le contexte usuel des systèmes homogènes ainsi que leurs caractéristiques principales. La suite du travail porte sur l'extension de l'homogénéisation des systèmes non-linéaires, déjà proposée dans le cadre de l'homogénéité à poids, au cadre plus général de l'homogénéité géométrique. Les principaux résultats d'approximation sont étendus. Nous développons ensuite un cadre théorique pour définir l'homogénéité de systèmes discontinus et/ou donnés par des inclusions différentielles. Nous montrons que les propriétés bien connues des systèmes homogènes restent vérifiées dans ce contexte. Ce travail se poursuit par l'étude de la robustesse des systèmes homogènes ou homogénéisables. Nous montrons que sous des hypothèses peu restrictives, ces systèmes sont input-to-state stable. Enfin, la dernière partie de ce travail consiste en l'étude du cas particulier du double intégrateur. Nous développons pour ce système un retour de sortie qui le stabilise en temps fini, et pour lequel nous prouvons des propriétés de robustesse par rapport à des perturbations ou à la discrétisation en exploitant les résultats développés précédemment. Des simulations viennent compléter l'étude théorique de ce système et illustrer son comportement / The purpose of this work is the study of stability and robustness properties of nonlinear systems using homogeneity-based methods. Firstly, we recall the usual context of homogeneous systems as well as their main features. The sequel of this work extends the homogenization of nonlinear systems, which was already defined in the framework of weighted homogeneity, to the more general setting of the geometric homogeneity. The main approximation results are extended. Then we develop a theoretical framework for defining homogeneity of discontinuous systems and/or systems given by a differential inclusion. We show that the well-known properties of homogeneous systems persist in this context. This work is continued by a study of the robustness properties of homogeneous or homogenizable systems. We show that under mild assumptions, these systems are input-to-state stable. Finally, the last part of this work consists in the study of the example of the double integrator system. We synthesize a finite-time stabilizing output feedback, which is shown to be robust with respect to perturbations or discretization by using techniques developed before. Simulations conclude the theoretical study of this system and illustrate its behavior

Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished

Les travaux de cette thèse s'inscrivent dans la théorie des automates et des langages formels. ils peuvent se diviser en deux parties qui donnent également deux visions différentes de manipuler les langages dans la théorie des automates. La première partie s'intéresse à la notion de dérivation des expressions qui permet de faire passer le formalisme des quotients de langages au niveau des expressions rationnelles. en particulier cette thèse étudie les termes dérivés cassés d'une expression rationnelle. ces termes dérivés cassés permettent, sous certaines circonstances, et à l'aide d'autres opérations, une réversibilité de la transformation d'un automate en une expression rationnelle. Dans la seconde partie, la théorie des automates est utilisée pour traiter des problèmes sur les systèmes de numération. les systèmes de numération représentent des nombres par des mots. il est possible d'utiliser des automates et des transducteurs afin d'être capable de 'compter' sur un langage rationnel représentant les entiers. plus précisément ces automates sont étudiés pour le cas des systèmes de numération abstraits qui associent à chaque entier un mot d'un langage rationnel, ordonné par l'ordre radiciel. dans un tel système, la fonction qui permet de calculer le mot suivant est une fonction co-séquentielle par morceaux, c'est-à-dire qu'il suffit de lire deux fois le mot d'entrée de la droite vers la gauche pour qu'une machine calcule son image. / The works in this thesis lies in the automata and formal languages theory. in the first part, the notion of derivation of rational expressions is studied. more precisely the broken derived terms of a rational expressions. Theses broken derived terms allow, under certain circumstances, with some other operations on automata, to have the reversibility of the transformation of an automaton into a rational expression. In the second part, automata and tranducers allow to 'count' on a numeration system, where integers are represented by words on a rational language. more precisely, this part adress the problem of counting in an abstract numeration systems, which maps to any word of a rational language, ordored by radix order, the integer corresponding to the order of the word. in such a numeration system, the function which computes the successor of a word is a piecewise co-sequential function: it can be realised by a machine which reads the input two times to give the output.

Cette thèse prend pour point de départ la valorisation croissante de la nouveauté qui s’impose au cours de la modernité, et se radicalise au XXe siècle. Nous faisons le constat que l’omniprésence de cette notion à la fois puissante et familière soulève les questions du sens et de la valeur de la nouveauté, au-delà même de son appropriation moderne. Du point de vue du sens, la question est de savoir comment traiter l’irréductible polysémie de la nouveauté. Nous montrons d’abord que, sous ses diverses modalités, la nouveauté se distingue non seulement par la différence avec le passé mise de l’avant par le discours moderniste, mais plus encore par sa dimension de commencement, que nous analysons comme introduction de puissance et ouverture d’avenir. Cela constitue le critère premier de toute nouveauté, et ce qui en fait un enjeu humain fondamental. La nouveauté est au cœur de notre expérience du temps, de la manière dont nous vivons notre finitude et particulièrement notre mortalité. Cependant, cela ne fait pas de la nouveauté une valeur à proprement parler. Ce lien doit être interrogé à travers la pluralité des temps et des activités humaines. Nous considérons donc ensuite comment se décline la nouveauté, concrètement, au sein de l’existence humaine. Ce deuxième volet est développé à travers un dialogue avec la pensée de Hannah Arendt. Par sa conception de l’homme comme être de naissance et d’innovation, et par l’articulation des multiples temporalités corrélatives de l’activité humaine, Arendt nous permet de poser les bases d’une articulation différentielle et raisonnée de la polysémie de la nouveauté, en lien avec les conditions de natalité et de mortalité. La question de la valeur de la nouveauté se pose alors en fonction du contexte et de la réalité où elle s’inscrit. Il apparaît que plus on s’approche de la dimension de la liberté humaine, plus se radicalise la nouveauté, en même temps que le jugement de valeur devient plus problématique, et se présente comme une tâche et une exigence pour le jugement. Mots-clés : Nouveauté; Modernité; Temps; Innovation; Rénovation; Philosophie; Hannah Arendt. / This dissertation stems from the growing importance of the new throughout modernity, and its radicalization during the 20th century. The overwhelming presence of a notion so potent and yet so familiar raises the questions of the definition and of the value of novelty itself, beyond its modern appropriation. The problem with establishing its meaning lies in the polysemous nature of the notion. We show that novelty, in its multiple modalities, distinguishes itself not only as different from the past, something modernist discourses consistently insist upon, but more importantly, as a beginning. We understand this feature as a gain of power and an opening into the future. We also show that this constitutes the prime criteria for any novelty, and makes it a fundamental human issue. Novelty is at the core of how we experience time, our finitude and particularly our mortality. It does not follow, however, that novelty is a value or has value in itself. This must be examined through a study of the plurality of human temporalities and activities. Thus we also examine how novelty concretely manifests itself in human existence. This part of the dissertation is developed through a dialog with the thought of Hannah Arendt. Her conception of man as a being of birth and innovation, and her articulation of the multiple temporalities pertaining to human activity allows us to establish a differential and reasoned approach to the multiple meanings of novelty, in relation with the conditions of natality and mortality. The question of the value of novelty thus arises in relation to the context and reality in which it appears. As we get closer to the issue of human freedom, the more radical novelty gets, and the more the question of its value appears as a problem and as a task with which our judgment must deal. Keywords: Novelty; Modernity; Time; Innovation; Renovation; Philosophy; Hannah Arendt.

Cette thèse est une contribution au problème du pronostic des systèmes complexes. Plus précisément, elle concerne l'approche basée modèles et est composée de trois contributions principales. Tout d'abord, dans une première contribution une définition du concept de pronostic est proposée et est positionnée par rapport aux concepts de diagnostic et de diagnostic prédictif. Pour cela, une notion de contrainte temporelle a été introduite afin de donner toute pertinence à la prédiction réalisée. Il a également été montré comment le pronostic est lié à la notion d'accessibilité en temps fini. La deuxième contribution est dédiée à l'utilisation des observateurs à convergence en temps fini pour la problématique du pronostic. Une méthodologie de pronostic est présentée pour les systèmes non linéaires à échelle de temps multiple. Puis, une troisième contribution est introduite par l'utilisation des observateurs par intervalle pour le pronostic. Une méthodologie de pronostic est proposée pour les systèmes non linéaires incertains à échelle de temps multiple. Pour illustrer les différents résultats théoriques, des simulations ont été conduites sur un modèle de comportement d'un oscillateur électromécanique.

Cette thèse étudie la distribution et les propriétés de la forme appelée "supin" dans la grammaire traditionnelle du roumain, dans le cadre de la grammaire générative et dans une démarche comparative. Dans l'analyse proposée, le supin et le participe roumain sont un seul item lexical. Le statut du supin n'est pas mixte, mais verbal ou nominal en fonction du contexte. On montre que le participe - supin y compris - repose sur une opération d'externalisation de l'argument interne, qui se réalise différemment selon les environnements syntaxiques. Cette proposition sert aussi à expliquer certaines propriétés spéciales de la nominalisation du participe. On étudie le statut des domaines maximaux du supin: Groupe Prépositionnel ou Proposition non finie, et la structure des propositions participiales dont le "supin verbal" est générateur, qui sont d'un type particulier, à statut d'argument ou de prédicat.

Le soudage est un moyen d'assemblage très utilisé dans l'industrie. Disposer d'un logiciel de simulation permettrait d'évaluer les contraintes résiduelles et d'obtenir des informations sur la microstructure du joint de soudure, nécessaires à l'analyse de sa tenue mécanique; mais aussi d'évaluer la faisabilité du procédé pour la réalisation de pièces complexes et d'optimiser les séquences de soudage pour minimiser les défauts. Cette thèse porte sur le développement d'un outil de simulation numérique du soudage à l'arc des aciers. Après avoir décrit le contexte tant industriel que bibliographique de ce travail, nous précisons les différents modèles implémentés dans le code de calcul TransWeld (le logiciel développé au CEMEF dans le cadre de ce travail). La description des équations macroscopiques employées est suivie de leur mise en œuvre numérique. Nous abordons ensuite la théorie du remaillage adaptatif et nous décrivons les éléments essentiels de la stratégie de remaillage développée dans le cadre de cette thèse. Ensuite, nous présentons les méthodes développées pour la modélisation de l'apport de métal et de la formation du cordon de soudage. Des simulations numériques conformes aux essais sont réalisées. L'analyse comparative entre résultats expérimentaux et numériques permet de juger de l'aptitude du code de calcul à prédire l'état thermomécanique et métallurgique de la structure soudée. Les limitations de notre modélisation et les phénomènes qu'elle a permis de mettre en évidence sont enfin discutés et permettent de définir quelques orientations intéressantes pour les développement futur de cette modélisation.