No description available.

L’objectif du travail est d’aborder la chanson du XIXe siècle à partir de la notion de populaire : au cours de la première moitié du siècle, les deux objets (chanson et populaire) semblent devenir interdépendants, et contribuent chacun à la représentation de l’autre. Le populaire résistant à une définition stable, on a opté pour une contextualisation de sa compréhension, et son association avec le genre chanson, devenue presque évidente de nos jours, a donc été questionnée à partir d’un corpus numérisé de plus de 600 textes réunis en fonction de considérations d’ordre historique, bibliographique, et discursif. Après avoir explicité l’importance du texte dans l’analyse de la chanson et les critères de sélection du corpus, on s’est attaché à questionner le populaire comme notion, dans la synchronie avec les chansons étudiées, pour mieux comprendre les enjeux de cette dénomination, avant d’observer la représentation construite, par la chanson elle-Même, de son interdépendance avec le peuple. L’approche stylistique qui est proposée ensuite amène, avec la question de la singularité, celle de l’auctorialité, de sa validité pour l’analyse des chansons imprimées entre 1848 et 1851, ainsi que de ses représentations et des enjeux qu’elles suppose dans la situation et l’historicité de ces productions. En lien avec ces questions, le traitement des textes par auteur permet d’observer également les divers types de circulations, de reprises, et d’éléments communs dans le corpus constitué, ce qui soulève le problème d’une écriture à l’intérieur de laquelle certains éléments sont disponibles pour tous les acteurs et marquent l’appartenance à un champ discursif conscient et revendiqué (en l’occurrence celui des chansonniers populaires). C’est pour approcher plus précisément cette question des formes qui apparaissent comme collectives ainsi que celle de la complexité sémiologique de l’écriture chansonnière que l’analyse métrique est décisive, parce qu’elle apporte un outil méthodologique propre à dégager des récurrences massives à l’intérieur d’un corpus, récurrences qui peuvent renseigner sur la pratique et la perception de l’écriture versifiée en synchronie, et en regard desquelles d’autres configurations minoritaires sont envisageables dans leur hétérogénéité. / The main goal of this research is to study 19th Century song through the prism of the popular. During the first half of the 19th Century, both objects (song and the popular) seem to become interdependent, with each contributing to the representation of the other. Since no fixed definition can be provided for the popular, a contextualized understanding of this notion is preferred. Its association with the genre of song, which has become almost obvious nowadays, was analysed based on a digitalized corpus of more than 600 texts selected according to historical, bibliographical and discursive criteria. After positing the importance of the text in the study of song and justifying the selection criteria for the corpus, we discuss the notion of the popular at the time period under scrutiny, we assess this denomination in relation with the corpus and we observe how songs construct a representation of their interdependence with the people. Our stylistic approach accounts for the texts’ singularities but it also assesses how valid the notion of auctoriality is for songs printed between 1848 and 1851 and discusses the situated and dynamic representation of authorship. Analyzing texts according to their authors casts light on the issues of circulations, common elements and recurrences in the corpus. In a writing context where some elements are available for all the actors, common elements can be used to mark how a textual production belongs in a specific discursive domain (that of popular song writers in our case). Metrical analysis is a decisive methodology to analyse what appears as the collective character of these forms and the semiological complexity of song writing. It allows us to identify massive recurrences in the corpus, to clarify the practice and perception of verse writing in synchrony and to account for the heterogeneity of less frequent configurations as well.

Ce travail entre dans le cadre de la problématique générale du développement de l’interopérabilité d’entreprise. De nombreux modèles, méthodes, méthodologies et outils existants pour aider une organisation, une entreprise, ou plus généralement un système, à développer l’interopérabilité avec ses partenaires. Cependant, la plupart des approches existantes portent principalement sur les solutions informatiques. Des recherches fondamentales en amont permettant de caractériser et mesurer le potentiel d’une entreprise à interopérer sont encore largement insuffisantes. Cette thèse s’intéresse en particulier à la définition des métriques pour évaluer le potentiel de l’interopérabilité d’une entreprise. En se focalisant spécifiquement sur la maturité d’interopérabilité, un modèle de maturité pour l’interopérabilité d’entreprise (MMEI) a été élaboré. Le MMEI est basé sur les modèles de maturité existants et couvre les principaux aspects et dimensions de l’interopérabilité d’entreprise. Les théories scientifiques existantes, notamment la théorie générale du système, considérée comme la plus pertinente pour l’interopérabilité, ont été étudiées et leurs concepts de base ont été pris en compte. Une ontologie, permettant de définir formellement le domaine de l’interopérabilité d’entreprise, a été également proposée. C’est sur cette ontologie que le MMEI a été construit et développé. / This work fits within the framework of the general problematic of the enterprise interoperability development. Many models, methods, methodologies and tools exist to help an organization, an enterprise, or more generally a system, to develop interoperability with its partners. However, most of existing works in this domain have been done to develop operational solutions to solve interoperability problems. Basic and fundamental researches, allowing characterizing and measuring the potential of an enterprise to interoperate, are still missing. In particular, this thesis deals with the definition of metrics for evaluating enterprise interoperability. By focusing specifically on interoperability maturity, a Maturity Model for Enterprise Interoperability (MMEI) is elaborated. The proposed MMEI is based on existing relevant maturity models and extends existing works to cover all main aspects and dimensions of enterprise interoperability. Possible contribution from existing scientific theories, in particular General System Theory considered as most relevant, are investigated and core concepts are brought into MMEI. An ontology of enterprise interoperability is also proposed to formalize basic concepts of enterprise interoperability. Based on this ontology, the MMEI has been, thereafter, developed.

Résumé / Abstract

Cette thèse est consacrée, d'une part, à l'étude d'existence de solutions pour des problèmes d'évolution et, d'autre part, à la stabilité de la propriété de prox-régularité ensembliste. Nous étudions dans la première partie des processus de rafle de Moreau perturbés et discontinu du premier et du second ordre. L'ensemble mouvant est prox-régulier dans un espace de Hilbert réel quelconque et sa variation est contrôlé par une mesure de Radon. Des applications à la théorie de la complémentarité et à celle des inéquations variationnelles sont présentées. Dans la seconde partie, on donne des conditions suffisantes assurant la prox-régularité d'ensembles décrit par des contraintes non nécessairement lisses sous forme d'inégalités et/ ou d'égalités et plus généralement d'ensembles de solutions d'équations généralisées. On y développe également des conditions vérifiables assurant la préservation de la prox-régularité vis-à-vis d'opérations ensemblistes : les cas de l'intersection, d'image directe, de pré-image, d'union et projection sur un sous-espace sont considérés. / In this dissertation, we study, on the one hand, the existence of solutions for some evolution problems and, on the other hand, the stability of prox-regularity under set operations. The first topic is devoted to first and second order nonconvex perturberd Moreau's sweeping processes in infinite dimensional framework. The moving set is assumed to be prox-regular and moved in a bounded variation way. Applications to the theory of complementarity problems and evolution variational inequalities are given. In the other topic, we first give verifiable sufficient conditions ensuring the prox-regularity of constrained sets and more generally for solution sets of generalized equations. We also develop the preservation of prox-regularity under set operations as intersection, direct image, inverse image, union and projection along a vector space.

Les techniques de chiffrement les plus utilisées en cryptographie, basées sur des problèmes de théorie des nombres, présentent malgré leur efficacité des défauts notamment une vulnérabilité aux attaques menées à l'aide d'ordinateur quantiques. Il est donc pertinent d'étudier d'autres familles de cryptosystèmes. Nous nous intéressons ici aux cryptosystèmes basés sur les codes correcteurs, introduits par McEliece en 1978 qui, étant basés sur des problèmes difficiles de théorie des codes, ne présentent pas cette vulnérabilité. Ces cryptosystèmes présentent des inconvénients, qui font qu'ils sont peu utilisés en pratique. Selon le code choisi, ils peuvent être vulnérables aux attaques structurelles, mais surtout ils nécessitent des clés de taille très importante.Récemment une nouvelle famille de codes appelés codes MDPC a été introduite ainsi qu'un cryptosystème basé sur cette famille de codes. Les codes MDPC semblent être distinguables seulement en trouvant des mots de poids faibles dans leur dual, les affranchissant ainsi d'une éventuelle vulnérabilité aux attaques structurelles. De plus, en utilisant une des matrices quasi-cycliques, ils obtiennent des clés de taille très compacte.Nous avons pour notre part, travaillé dans le contexte de la métrique rang, une nouvelle métrique introduite en 1985 par Gabidulin qui semble bien adaptée à une utilisation en cryptographie :• Nous avons commencé par travailler autour de la notion de polynôme de Ore et le cas particulier important des q-polynômes. Ces derniers sont des combinaisons linéaires des itérés de l'automorphisme de Frobenius sur un corps fini.Ces polynômes constituent un objet d'étude important en métrique rang, de par leur utilisation dans les premiers cryptosystèmes dans cette métrique. Nous présentons sous une nouvelle forme des résultats déjà connus, et de nouveaux algorithmes pour le calcul du PGCD de deux polynômes de Ore et le calcul des résultants et sous-résultants de polynômes de Ore (ainsi que de polynômes usuels en généralisant au calcul des sous-résultants la formule déjà connue pour les résultants) en utilisant une matrice de multiplication à droite plus petite que la matrice de Sylvester utilisée habituellement.Ces résultats peuvent être réexploités indirectement dans le cryptosystème présenté par la suite bien que celui-ci ne soit pas basé sur les q-polynômes.• La partie suivante de notre travail est consacrée à l'introduction d'une nouvelle famille de codes en métrique rang appelés codes LRPC (pour Low Rank Parity Check codes). Ces codes ont la particularité d'avoir une matrice de parité de poids rang faible (et peuvent donc être vus comme une généralisation des codes LDPC ou MDPC à la métrique rang).Nous présentons le cryptosystème LRPC, un cryptosystème de type Mc Eliece en métrique rang basé sur les codes LRPC. Ces codes sont très peu structurés et sont donc vraisemblablement résistants aux attaques structurelles. La matrice de parité peut être choisie doublement circulante (on parle alors de codes DC-LRPC) ce qui diminue considérablement la taille de la clé.Ainsi, le cryptosystème DC-LRPC cumule les avantages d'offrir une bonne sécurité en étant basé sur un problème difficile (comme tous les cryptosystèmes basés sur les codes correcteurs), d'être faiblement structurés, de disposer d'une clé de taille assez petite (quelques milliers de bits au plus) et d'un algorithme de décodage efficace.Une attaque a été trouvée dans le cas du cryptosystème DC-LRPC. Cette attaque basée sur la notion de code replié permet de baisser significativement la sécurité du cryptosystème dans le cas où le polynôme X^(k-1)+X^(k-2)+⋯+1 est scindable (k désignant la dimension du code). Cependant ce n'est pas le cas pour les paramètres présentés où le cryptosystème reste valide. / The most commonly used encryption techniques in cryptography are based on problems in number theory. Despite their efficiency, they are vulnerable to post-quantum cryptographic attack. Therefore it is relevant to study other types of cryptosystems. In this work we study error-corrector codes based cryptosystmems, introduced by McEliece in 1978 ; being based on hard problems in coding theory, these cryptosystems do not have this weakness. However these cryptosystems are almost not used in practice because they are vulnerable to strucural attacks and they require a key with very big length. Recently a new family of codes named MDPC codes has been introduced as well as a cryptosystem that is based on these codes. It seems that MDPC codes are distinguishable only by finding words with weak weight in their dual, thus preventing them from structural attacks. Furthermore, they can have compact keys by using quasi-cyclic matrices.In the present paper we use the rank metric, a new metric for codes that was introduced by Gabidulin in and seems suited for a cryptographic use :• At first we studied Ore Polynomials and the special case of q-polynomials , the latter being iterates of the Fobenius automorphism on a finite field.These polynomials are widely in rank metric due to their use in the first code-based cryptosystems in rank metric. We reformulate already known results and give new results regarding the computation of GCD, resultants and subresultants of two Ore polynomials (as well as usual polynomials for which we give a generalization of the resultant computation to subresultants) using a right-hand multiplication matrix which is smaller than the well-known Sylvester matrix.These results may be reused in the cryptosystem we introduce in the next chapters, though this cryptosystem is not based on q-polynomials.• In the next part of our work we define the LRPC codes (for Low Rank Parity Check Codes), a new family of codes in rank metric. These codes have a parity check matrix whose rank weight is low (and thus they can be seen as a generalization of LDPC or MDPC codes to rank metric).We present the LRPC cryptosystem, a McEliece cryptosystem in rank metric based on LRPC codes. These codes are weakly structured and so are likely to resist structural attacks. We can choose a double-circulant parity check matrix which greatly lowers the key size (we name these particular codes DC-LRPC codes).Thus the DC-LRPC cryptosystems have a good security (being based on a hard problem in coding theory), are weakly structured, have small public keys and can be quickly decoded.An attack was found for DC-LRPC cryptosystem. This attack relies on folded codes and may greatly lower the security of the cryptosystem, however it works only when the polynomial X^(k-1)+X^(k-2)+⋯+1 has a divisor with big degree. We give parameters for which the cryptosystem remains valid.

Les codes espace-temps sont des codes correcteurs dédiés aux transmissions MIMO. Mathématiquement, un code espace-temps est un ensemble fini de matrices complexes. Ses performances dépendent de plusieurs critères, dont la distance minimale en métrique rang. Les codes de Gabidulin sont des codes dans cette métrique, connus pour leur optimalité et pour l'existence d'algorithmes de décodage efficaces. C'est pourquoi ils sont utilisés pour concevoir des codes espace-temps. La principale difficulté est alors de construire des matrices complexes à partir de matrices binaires. Les travaux présentés dans ce documents consistent à généraliser les codes de Gabidulin à des corps de nombres, en particulier des extensions cyclique. Nous verrons qu'ils ont les mêmes propriétés que leurs analogues sur les corps finis. Nous étudierons plusieurs modèles d'erreurs et d'effacements et présenterons un algorithme qui permettra de retrouver l'information transmise avec une complexité quadratique. En calculant dans des corps infinis, nous serons confrontés au problème de la taille des éléments, qui augmente exponentiellement au gré des calculs. Pour éviter ce désagrément, nous verrons qu'il est possible de réduire le code afin de calculer dans un corps fini. Enfin, nous proposerons une famille de codes espace-temps dont la construction est basée sur les codes de Gabidulin généralisés. Nous verrons que leurs performances sont similaires à celles des codes existants, et qu'ils disposent d'une structure supplémentaire. / Space-time codes are error correcting codes dedicated to MIMO transmissions. Mathematically, a space-time code is a finite family of complex matrices. Its preformances rely on several parameters, including its minimal rank distance. Gabidulin codes are codes in this metric, famous for their optimality and thanks to efficient decoding algorithms. That's why they are used to design space-time codes. The main difficulty is to design complex matrices from binary matrices. The aim of the works collected here is to generalize Gabidulin codes to number fields, especially cyclique extesnions. We see that they have the same properties than Gabidulin codes over finite fields. We study several errors and erasures models and introduce a quadratic algorithm to recover transmitted information. When computing in finite fields, we are faced with the growing size problem. Indeed, the size of the coefficients grows exponentielly along the algorithm. To avoid this problem, it is possible to reduce the code, in order to compute in a finite field. Finally, we design a family of space-time codes, based on generalised Gabidulin codes. We see that our codes have performances similar to those of existing codes, and that they have additional structure.

La qualité d’une prise de vue est un point incontournable dans la résolution des problèmes d’imagerie. Un capteur non adapté, un éclairage non contrôlé, ou des conditions variables de la scène observée peuvent être à l’origine de problèmes très difficiles à surmonter. Nous présentons différentes méthodes de traitement d’image permettant de prendre en compte au mieux ces conditions de prise de vue instables. Les approches que nous proposons sont définies dans le cadre du modèle LIP (Logarithmic Image Processing). Dans une première partie, nous nous intéressons à des notions de contraste : le contraste LIP additif et un nouveau contraste LIP multiplicatif, ainsi qu’à leurs métriques associées. De nouveaux outils de traitement basés sur ces notions sont ensuite définis : seuillage, détecteur de contours, reconnaissance de modèle. L’utilisation de ces notions de contraste confère à ces algorithmes la capacité des contrastes LIP à s’adapter à différents types d’images mal conditionnées. Nous proposons ensuite de nouvelles techniques de correction de dynamique d’images en exploitant les opérations LIP. Différentes corrections globales et locales sont présentées ainsi que leurs applications directes : correction de dérive d’éclairement pour du contrôle industriel ou amélioration d’image pour de la visualisation. Nous obtenons notamment une méthode de correction locale dont les résultats se rapprochent de ceux de certaines techniques de tone mapping. En comparaison, notre technique s’avère simple, rapide (temps réel à 30 images par seconde) et réaliste car basée sur une interprétation physique de la problématique / The quality of image acquisitions is crucial in the resolution of imaging problems. Troubles during acquisiton can lead to unstability for image processing algorithms. We propose different methods (thresholding techniques, contour detection, pattern matching) based on new metrics and contrasts in the LIP context. The LIP (Logarithmic Image Processing) model is recognized as an efficient framework to process images acquired in transmitted light and to take into account the human visual system. LIP operations are also useful to simulate varitations of image parameters in situation of reflected light. Finally, we propose new methods of global and local dynamic enhancement in the LIP framework like a real time and realistic local dynamic correction that brings results close to those obtained by certain tone mapping methods

Ce travail est divisé en deux parties: Dans la première partie, on présente un résultat d'intégration dans les espaces localement convexes valable pour une longe classe des fonctions non-convexes. Cela nous permet de récupérer l'enveloppe convexe fermée d'une fonction à partir du sous-différentiel convexe de cette fonction. Motivé par ce résultat, on introduit la classe des espaces ``Subdifferential Dense Primal Determined'' (SDPD). Ces espaces jouissent des conditions nécessaires permettant d'appliquer le résultat ci-dessus. On donne aussi une interprétation géométrique de ces espaces, appelée la Propriété Radon-Nikod'ym de Faces (FRNP). Dans la seconde partie, on étudie dans le contexte d'espaces d'Hilbert, la relation entre la lissité de la frontière d'un ensemble prox-régulier et la lissité de sa projection métrique. On montre que si un corps fermé possède une frontière $mathcal{C}^{p+1}$-lisse (avec $pgeq 1$), alors sa projection métrique est de classe $mathcal{C}^p$ dans le tube ouvert associé à sa fonction de prox-régularité. On établit également une version locale du même résultat reliant la lissité de la frontière autour d'un point à la prox-régularité en ce point. On étudie par ailleurs le cas où l'ensemble est lui-même une $mathcal{C}^{p+1}$-sous-variété. Finalement, on donne des réciproques de ces résultats. / This work is divided in two parts: In the first part, we present an integration result in locally convex spaces for a large class of nonconvex functions which enables us to recover the closed convex envelope of a function from its convex subdifferential. Motivated by this, we introduce the class of Subdifferential Dense Primal Determined (SDPD) spaces, which are those having the necessary condition which allows to use the above integration scheme, and we study several properties of it in the context of Banach spaces. We provide a geometric interpretation of it, called the Faces Radon-Nikod'ym property. In the second part, we study, in the context of Hilbert spaces, the relation between the smoothness of the boundary of a prox-regular set and the smoothness of its metric projection. We show that whenever a set is a closed body with a $mathcal{C}^{p+1}$-smooth boundary (with $pgeq 1$), then its metric projection is of class $mathcal{C}^{p}$ in the open tube associated to its prox-regular function. A local version of the same result is established as well, namely, when the smoothness of the boundary and the prox-regularity of the set are assumed only near a fixed point. We also study the case when the set is itself a $mathcal{C}^{p+1}$-submanifold. Finally, we provide converses for these results.

En ce qui concerne les problèmes de Dynamique des Fluides Numériques, l’adaptation du maillage est intéressante pour sa capacité à aborder la convergence asymptotique et à obtenir une prévision précise pour des flux complexes à moindre coût. La méthode d’adaptation de maillage anisotrope réduit le nombre de degrés de liberté nécessaires pour atteindre la précision d’une solution donnée, ce qui a un impact positif sur le temps de calcul. De plus, il réduit la dissipation du schéma numérique en tenant compte automatiquement de l'anisotropie des phénomènes physiques à l'intérieur du maillage. Deux approches principales existent dans la littérature. L'adaptation du maillage basée sur les caractéristiques géométriques, qui est principalement déduite d'une estimation de l'erreur d'interpolation utilisant la hessienne du senseur choisi, contrôle l'erreur d'interpolation du capteur sur l'ensemble du domaine de calcul. Une telle approche est facile à mettre en place et a un large éventail d’applications, mais elle ne prend pas en compte l’EDP considérée utilisée pour résoudre le problème. D'autre part, l'adaptation de maillage orientée fonctionnelle, qui se concentre sur une fonctionnelle scalaire, prend en compte à la fois la solution et l'EDP dans l'estimation d'erreur grâce à l'état adjoint. Mais, la conception de cette estimation d'erreur est beaucoup plus compliquée. Cette thèse présente les résultats obtenus avec différentes méthodes de Dynamique des Fluides Numériques: les solveurs de flux arbitrairement lagrangiens-eulériens (ALE) avec schémas explicites et implicites sont présentés et couplés au mouvement de maillage, l’adaptation de maillage feature-based instationnaire pour les géométries mobiles prend en compte les changements des connectivités de maillage durant toute la simulation, l'état adjoint est étendu aux problèmes de géométries mobiles et l'adaptation de maillage instationnaire orientée fonctionnelle pour les maillages mobiles est déduite d'une estimation d'erreur a priori. Plusieurs exemples numériques issus du secteur aéronautique et du domaine de sécurité civile sont considérés. / When dealing with CFD problems, mesh adaptation is interesting for its ability to approach the asymptotic convergence and to obtain an accurate prediction for complex flows at a lower cost. Anisotropic mesh adaptation method reduces the number of degrees of freedom required to reach a given solution accuracy, thus impact favorably the CPU time. Moreover, it reduces the numerical scheme dissipation by automatically taking into account the anisotropy of the physical phenomena inside the mesh. Two main approaches exist in the literature. Feature-based mesh adaptation which is mainly deduced from an interpolation error estimate using the Hessian of the chosen sensor controls the interpolation error of the sensor over the whole computational domain. Such approach is easy to set-up and has a wide range of application, but it does not take into account the considered PDE used to solve the problem. On the other hand, goal-oriented mesh adaptation, which focuses on a scalar output function, takes into consideration both the solution and the PDE in the error estimation thanks to the adjoint state. But, the design of such error estimate is much more complicated. This thesis presents the results obtained with different CFD methods : the Arbitrary Lagrangian Eulerian (ALE) flow solvers with explicit and implicit schemes are presented and coupled to the moving mesh process, the feature-based unsteady mesh adaptation for moving geometries takes into account the changes of connectivites during the whole simulation, the adjoint state is extended to moving geometries problems and goal-oriented unsteady mesh adaptation for moving meshes is derived from an a priori error estimate. Several numerical examples are considered in the aeronautics sector and the field of civil security.