Literatura científica selecionada sobre o tema "Théorie des correspondances"

Au travers du cas du picard, nous explorons les mécanismes phonologiques qui assurent la cohésion dialectale d’une langue, dans le cadre de la Théorie de l’Optimalité et de la Théorie des Correspondances. L’essentiel de la recherche porte sur la palatalisation des occlusives vélaires, source d’une alternance dialectale complexe en picard. Après examen des facteurs de cohésion extralinguistiques, une première analyse OT s’appuie sur l’hypothèse de la dialectologie générative selon laquelle la cohésion dialectale est dévolue à des formes sous-jacentes communes. Cette approche se heurte cependant à certains cas d’opacité. On fait ensuite appel, dans le cadre de la Théorie des Correspondances, à un nouveau type de correspondances entre variétés en contact. La cohésion dialectale s’établit à la fois sur les plans de la perception et de la production. Cette approche est enfin testée sur un autre fait de variation en picard : l’alternance voyelle-zéro, dans une phonologie surface seule<br>Through the example of the Picard language I explore the phonological mechanisms which ensure dialectal cohesion within a language, in the framework of Optimality Theory and Correspondence Theory. The core part of my research deals with palatalization of velar stops, which induces a complex dialectal alternation in Picard. I first examine the extralinguistic factors of cohesion, then I propose an OT analysis based upon the hypothesis of generative dialectology: dialectal cohesion is due to the existence of common underlying forms. This approach, however, fails to explain certain cases of opacity. In the framework of Correspondence Theory, I propose a new type of correspondence between varieties in contact. Dialectal cohesion is grounded in both perception and production. I also test this approach in a surface-only phonology to solve another case of variation in Picard: vowel-zero alternation

La thèse se situe dans le domaine de l'analyse latticielle de données dans la situation, très générale, où des objets de nature diverse sont décrits par des variables de types divers; on fait simplement l'hypothèse (réaliste) selon laquelle chaque variable prend ses valeurs dans un treillis. Les problèmes de traitement de telles données (extraction de connaissance) reviennent souvent à chercher à obtenir des familles de Moore de type particulier, par exemple arborescent, et donc à imposer des contraintes structurelles. Dans ce cadre, nous étudions d'abord les familles de Moore particulières que sont les hiérarchies, dont nous caractérisons la base canonique d'implications. Pour ce faire, nous introduisons un nouveau type de relations binaires sur les parties d'un ensemble, appelées relations d'emboîtement. Nous les mettons en correspondance bi-univoque avec les familles de Moore quelconques, leur lien avec l'une des relations flèche, et revenons sur leurs propriétés dans le cas hiérarchique, où elles sont d'abord apparues. Dans une seconde partie, nous nous intéressons à la correspondance de Galois associée à un tableau binaire (auquel les données du type indiqué ci-dessus peuvent toujours être ramenées). Nous examinons alors les contraintes à imposer à un tableau binaire pour que les fermés obtenus appartiennent à des familles de Moore prescrites, ou de type voulu. On obtient alors des relations binaires dites bifermées. Étant donnés deux espaces de fermeture (E, cp) et (E', cp'), une relation est bifermée si toute ligne de sa représentation matricielle correspond à un fermé par cp, et toute colonne à un fermé par cp'. Nous établissons l'isomorphisme entre l'ensemble des relations bifermées et celui des correspondances de Galois entre les deux treillis de fermés induits par cp et cp'. Dans le cas fini, on en déduit des algorithmes efficaces pour l'ajustement d'une correspondance de Galois à une application quelconque entre deux treillis, ou pour le calcul du supremum de deux polarités. Dans une troisième partie, nous appliquons les résultats précédents à l'étude de l'introduction de contraintes classificatoires sur un tableau de données. Nous revenons sur divers usages des correspondances de Galois (ou des couples application résiduée / résiduelle) dans les modèles et les méthodes de la classification. Ceux-ci sont revisités dans l'optique d'une présentation unifiée fondée sur les bifermées, et, en prenant en compte les résultats de la première partie, des voies sont tracées pour la définition de nouvelles méthodes. Ces parties sont précédées d'une synthèse sur les treillis et les correspondances de Galois.

Cette thèse est consacrée à deux variantes arithmétiques de la correspondance de Simpson. Dans la première partie, on compare la correspondance de Simpson p-adique à un analogue p-adique de la correspondance de Narasimhan et Seshadri pour les courbes sur les corps p-adiques dû à Deninger et Werner. Narasimhan et Seshadri ont établi une correspondance entre les fibrés vectoriels stables de degré zéro et les représentations unitaires du groupe fondamental topologique pour une courbe complexe propre et lisse. Par transport parallèle, Deninger et Werner ont associé fonctoriellement à chaque fibré vectoriel sur une courbe p-adique dont la réduction est fortement semi-stable de degré 0 une représentation p-adique du groupe fondamental de la courbe. Ils se sont posés quelques questions: si leur foncteur est pleinement fidèle ; si la cohomologie des systèmes locaux fournis par leur foncteur admet une filtration de Hodge-Tate ; et si leur construction est compatible avec la correspondance de Simpson p-adique développée par Faltings. On répond positivement à ces questions. La seconde partie est consacrée à la construction d'un relèvement de la transformée de Cartier d'Ogus-Vologodsky modulo pⁿ. Soient W l'anneau des vecteurs de Witt d'un corps parfait de caractéristique p&gt;0, X un schéma formel lisse sur W, X' le changement de base de X par l'endomorphisme de Frobenius de W, X'_2 la réduction modulo p² de X' et Y la fibre spéciale de X. On relève la transformée de Cartier d'Ogus-Vologodsky relative à X'_2. Plus précisément, on construit un foncteur de la catégorie des O_{X'}-modules de pⁿ-torsion à p-connexion intégrable dans la catégorie des O_X-modules de pⁿ-torsion à connexion intégrable, chacune étant soumise à des conditions de nilpotence appropriées. S'il existe un relèvement F: X -&gt; X' du morphisme de Frobenius relatif de Y, notre foncteur est compatible avec le foncteur de Shiho induit par F. Comme application de la transformée de Cartier modulo pⁿ, on donne une nouvelle interprétation des modules de Fontaine relatifs introduits par Faltings et du calcul de leur cohomologie<br>This thesis is devoted to two arithmetic variants of Simpson's correspondence. In the first part, I compare the p-adic Simpson correspondence with a p-adic analogue of the Narasimhan-Seshadri's correspondence for curves over p-adic fields due to Deninger and Werner. Narasimhan and Seshadri established a correspondence between stable bundles of degree zero and unitary representations of the topological fundamental group for a complex smooth proper curve. Using parallel transport, Deninger and Werner associated functorially to every vector bundle on a p-adic curve whose reduction is strongly semi-stable of degree 0 a p-adic representation of the fundamental group of the curve. They asked several questions: whether their functor is fully faithful; whether the cohomology of the local systems produced by this functor admits a Hodge-Tate filtration; and whether their construction is compatible with the p-adic Simpson correspondence developed by Faltings. We answer positively these questions. The second part is devoted to the construction of a lifting of the Cartier transform of Ogus-Vologodsky modulo pⁿ. Let W be the ring of the Witt vectors of a perfect field of characteristic p, X a smooth formal scheme over W, X' the base change of X by the Frobenius morphism of W, X'_2 the reduction modulo p² of X' and Y the special fiber of X. We lift the Cartier transform of Ogus-Vologodsky relative to X'_2 modulo pⁿ. More precisely, we construct a functor from the category of pⁿ-torsion O_{X'}-modules with integrable p-connection to the category of pⁿ-torsion O_X-modules with integrable connection, each subject to a suitable nilpotence condition. Our construction is based on Oyama's reformulation of the Cartier transform of Ogus-Vologodsky in characteristic p. If there exists a lifting F: X -&gt; X' of the relative Frobenius morphism of Y, our functor is compatible with a functor constructed by Shiho from F. As an application, we give a new interpretation of relative Fontaine modules introduced by Faltings and of the computation of their cohomology

Les applications galoisiennes entre deux ensembles ordonnes sont celles qui entrent dans les correspondances de galois. Les applications a seuils, qui sont, sous des conditions bien generales, des restrictions des precedentes, constituent une classe d'applications entre ensembles ordonnes permettant de modeliser des dissimilarites et d'autres types varies d'objets values. Le propos de cette these est de faire l'etude de ces dernieres applications et des ensembles d'applications de cette nature. Nous definissons les applications a seuils, donnons leurs principales proprietes et etablissons le lien qui existe entre elles et les correspondances de galois. Lorsque les ensembles ordonnes p et q consideres sont des treillis complets et g une partie sup-generatrice de p , l'ensemble s(g,q) des applications a seuils est aussi un treillis complet. Nous nous interessons particulierement a l'etude des elements irreductibles du treillis (fini) s(jp,q) lorsque p et q sont des treillis finis et jp l'ensemble des sup-irreductibles de p. Nous considerons d'abord le treillis des applications antitones de jp dans q, dont nous caracterisons les elements sup-irreductibles et inf- irreductibles. Nous determinons les elements sup-irreductibles de s(jp, q) et constatons qu'ils sont identiques a ceux de l'ensemble des applications antitones. Enfin nous explicitons une classe d'inf-irreductibles de s(jp, q), comprenant tous ceux dont l'image est de cardinal au plus deux. Nous montrons qu'il peut en exister d'autres, sauf lorsque l'un des deux treillis p ou q est distributif<br>Galois mappings between two ordered sets are those which belong to galois connections. Under fairly general assumptions, threshold mappings are restrictions of galois ones. They constitute a class of mappings useful for the modelization of dissimilarities and other types of valued objects. The purpose of this thesis is the study of threshold mappings and ordered sets of threshold mappings. After defining threshold mappings, we give their main properties and establish their strong relation with galois connections. If both considered ordered sets p and q are complete lattices, and g is a join-generating subset of p, then, the set s(g,q) of threshold mappings is still a complete lattice. We are particularly concerned with the study of irreducible elements of the (finite) lattice s(jp,q) when both lattices p and q are finite and jp is the set of join-irreducible elements of p. We firstly consider the lattice of antitone mappings from jp to q, and characterize their join- and meet- irreducible elements. We determine the join-irreducible elements of s(jp, q) and observe that they are identical to those of the set of antitone mappings. Finally, we determine a class of meet-irreducible elements of s(jp, q), including all those the image of which has cardinality at most two. We show that other meet-irreducible elements may exist, except when one of the lattices p or q is distributive

Il faut reprendre à nouveaux frais la question de la métaphore, (re)définir les contours de la figure d'analogie, pour la sortir de la confusion où l'ont jetée la coupure instituée avec la comparaison et, plus largement, sa théorisation comme substitution d'un mot à un autre, mais aussi pour mettre à l'épreuve la notion de métaphore au cinéma. Il s'agit donc de questionner l'unité du " processus métaphorique ", de trouver le bon niveau permettant de rendre compte de ses pouvoirs, de sa dynamique, et pour cela de refuser l'approche mutilante, sans cesse renaissante, de la rhétorique traditionnelle aussi bien que celles qui diluent sa richesse dans les mécanismes de l'inconscient ou les processus interprétatifs des seuls lecteurs ou spectateurs. La métaphore fait alors apparaître des traits qui indiquent à quel point il est légitime de discerner des formes iconiques à côté des formes linguistiques : elle peut notamment être comprise comme un montage d'expériences, de situations éprouvées, au moins fictivement. Pour arriver à cette conception de la métaphore comme dialogue entre séries d'objets de pensée, comme prédication paradoxale, il paraît nécessaire de renverser l'approche traditionnelle qui consiste à faire de la métaphore conventionnelle le modèle de la théorie, et de la métaphore vive un cas particulier, mais aussi d'interroger les liens entre métaphore, symbole et concept et de souligner comment, depuis Aristote, le modèle proportionnel, authentiquement analogique, est systématiquement écrasé par le modèle sémiotique. Ainsi rénovée, cette conception de la métaphore apparaît fructueuse pour l'analyse des œuvres, comme La Ligne Générale d'Eisenstein.

Cette thèse se divise en deux parties indépendantes ayant comme point commun la théorie de la complexité algorithmique. Dans la première partie, nous étudions la complexité des problèmes de satisfaction de contraintes. Nous montrons que celle-ci est fortement liée au pouvoir d'expression des contraintes, et que celui-ci peut être déterminé, grâce à une correspondance de Galois, par les propriétés de clôture de ces contraintes. Dans le cas booléen, la structure de ce système de clôture étant connue, nous en déduisons des classifications complètes de la complexité des problèmes de l'audit et du comptage pour les requêtes conjonctives. Nous donnons également, par une technique constructive, la classification de la complexité de la recherche locale pour la satisfaisabilité des contraintes booléennes. Dans la deuxième partie, nous nous intéressons à la classe de complexité du temps linéaire non déterministe, NLIN. Nous étudions des raffinements de celle-ci, notamment les classes obtenues en bornant l'espace. Nous montrons qu'elles contiennent de nombreux problèmes naturels, et nous donnons, pour ces classes, des caractérisations logiques et des problèmes complets. Dans un deuxième temps, nous détaillons la structure interne de NLIN. Nous établissons que, sous certaines hypothèses, il existe une infinité de niveaux de réductions linéaires incomparables entre le niveau du temps linéaire déterministe et celui des problèmes NLIN-complets. Nous développons également la notion d'isomorphie linéaire permettant de préciser la notion d'équivalence linéaire en montrant que des problèmes sont, non seulement de même complexité, mais également structurellement identiques.

Pour assurer la régulation des réseaux de transport urbain et améliorer la qualité de service, les exploitants utilisent les Systèmes d'Aide à l'Exploitation (SAE). Un SAE permet le suivi en temps réel du fonctionnement d'un réseau. Il manipule une quantité importante d'informations que le régulateur n'arrive pas toujours à prendre en compte pour élaborer ses décisions. Les correspondances non assurées, conséquence directe des perturbations, augmentent alors le mécontement des voyageurs. Pour résoudre le problème de l'amélioration de la qualité des déplacements dans les réseaux de transport urbain, nous nous intéressons à la régulation de trafic aux nœuds des correspondances, régulation non encore prise en compte par les SAE. Nous proposons un Système d'Aide à la Décision (SAD) chargé d'élaborer des actions de régulation pertinentes en fonction de l'état du réseau. Son rôle principal est de surveiller un réseau de transport et de prévenir les perturbations en proposant des actions de régulation. Un modèle multiagent d'un réseau vu par des correspondances est proposé. Ce système est basé sur trois types d'agents : 1) un agent SUPERVISEUR chargé du dialogue avec le régulateur : il présente les actions et reçoit les demandes. 2) Des agents CORRESPONDANCE, un par nœud de correspondances : ils prennent en charge le suivi du fonctionnement du réseau de transport, la détection au plus tôt des perturbations et la proposition d'actions de régulation pour y remédier. Le système permet ainsi le maintien de la stabilité du trafic au niveau des nœuds de correspondances. 3) Des agents ACQUISITION, un par arrêt de régulation : ils sont chargés de la perception. Ils enregistrent les dates des passages des bus ainsi que des informations les concernant : nombres de voyageurs descendant du bus et montant dans le bus.

Nombres d'intersection arithmétiques et opérateurs de Hecke sur les courbes modulaires<br /><br />Cette thèse s'inscrit dans l'étude des opérateurs de Hecke en tant que correspondances sur les courbes modulaires X_0(N). D'une part, nous étudions la relation entre l'algèbre de Hecke et la théorie d'Arakelov; d'autre part, nous entreprenons un début d'étude de la dynamique de l'action des opérateurs de Hecke sur l'ensemble des courbes elliptiques supersingulières. <br /><br />On considère la courbe modulaire X_0(N) munie de la métrique de Poincaré (métrique hyperbolique). Cette métrique présente des singularités aux points elliptiques et pointes. On suppose que N est sans facteurs carrés. On note XN le modèle entier de cette courbe donné par l'interprétation modulaire étudiée par Deligne et Rapoport. On définit un groupe de Chow arihmétique généralisé CH(N) tel que ses éléments sont représentés par des couples (D,g) avec D un diviseur de Weil sur XN et g un courant de Green admissible pour la métrique de Poincaré. J.-B. Bost et U. Kühn ont développé, de manière indépendante, des généralisations de la théorie d'intersection arithmétique d'Arakelov qui fournissent une forme bilinéaire à valeurs réelles sur CH(N) x CH(N) dans ce cadre où la métrique est singulière. On étudie aussi une version à coefficients réels et à équivalence numérique près de CH(N), que l'on note CH(N)*.<br /><br />Nous montrons dans cette thèse que les correspondances de Hecke agissent sur CH(N) et que cette action est autoadjointe par rapport à la forme bilinéaire de Bost-Kühn. Ceci permet de diagonaliser cette action sur CH(N)* et de définir ses sous-espaces propres. Ensuite nous étudions le faisceau dualisant relatif, considéré comme un élément de CH(N)*, ainsi que sa décomposition selon les sous-espaces propres. Nous calculons l'auto-intersection de la composante propre correspondante à la pointe à l'infini en utilisant des résultats d'Ulf Kühn.<br /><br /> L'action des opérateurs de Hecke sur les fibres spéciales de XN définit une dynamique qui preserve les points supersinguliers. Nous nous intéressons à étudier cette action sur les points supersinguliers des fibres de bonne réduction et nous calculons, à l'aide des résultats de Deuring et Eichler, la fréquence asymptotique avec laquelle un point supersingulier donné visite un autre point du même type.

Cette thèse regroupe un certain nombre de travaux pour la plupart sous forme d'articles classés en deux grandes parties. La première partie, plus théorique, concerne certaines études attachées au contexte de l'analyse factorielle. Dans un premier travail, sont abordées des questions liées aux lois de probabilités intervenant en analyse factorielle et d'abord l'évaluation et la caractérisation des données manquantes. On donne ensuite quelques résultats nouveaux sur les transformations projectives permettant d'approcher des lois de probabilités données sur des compacts. Enfin est proposé un résultat sur la mesure de deux parties complémentaires d'un convexe définies par un hyperplan passant par son centre de gravité au sens d'une distribution de masse donnée. La deuxième partie rassemble un certain nombre d'applications de l'analyse factorielle montrant d'une part la diversité des domaines d'application mais aussi les problèmes spécifiques que l'on peut découvrir au fur et à mesure<br>This thesis presents under a same cover a certain number of articles and studies that are regrouped into two parts. The first part, mostly theoretical, concerns some studies in the framework of factorial analysis. In the beginning several questions related to probability distribution functions appearing in factorial analysis are considereed, mainly about the evaluation and characterization of missing data. Then new results are given on projective transformations that allow to approach probability laws on compact sets. Finally another result on measureness (under the meaning of a given mass distribution) of two complementary subsets of convex sets defined by hyperplanes going through the gravity center. The second part aims at presenting a certain number of applications of Correspondence Factorial Analysis showing the diversity of concrete problems that can be invoked. It offers results of many studies conducted in France as in Lebanon in the framework of several researches that have facilitated the discovery of new information in very different sectors from experimental sciences going from earth science to economical, political and social sciences