• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 14
  • 11
  • Tagged with
  • 23
  • 9
  • 8
  • 6
  • 6
  • 6
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Lois stables et processus ponctuels : liens et estimation des paramètres / Stable distribution and point processes : links and estimation of parameters

Liu, Shuyan 10 December 2009 (has links)
L’objectif de cette thèse est d’étendre une méthode d’estimation des paramètres d’une loi stable dans Rd aux lois à queue régulière dans un cône arbitraire. La méthode d’échantillonnage par paquets est modifiée afin d’optimiser la vitesse de convergence des estimateurs. Un nouvel estimateur de la masse totale de mesure spectrale est proposé. Des résultats sur les statistiques d’ordre des lois à queue régulière dans un cône et la loi des grands nombres pour le schéma triangulaire sont établis. La consistance et la normalité asymptotique des estimateurs sont démontrées. La performance des estimateurs est étudiée par simulation. On compare ces estimateurs avec quelques estimateurs connus. Les tableaux de performance sont fournis. La méthode de noyau est utilisée pour estimer la densité d’une mesure spectrale absolument continue d’une loi à queue régulière. On prouve la consistance de l’estimateur dans notre cas particulier. Pour augmenter le nombre de points utilisés dans l’échantillon, on propose une méthode d’estimation utilisant les permutations aléatoires de l’échantillon. La variation régulière a la propriété d’être préservée par plusieurs opérations et transformations. On considère trois sortes de transformations. Des conditions suffisantes pour cette préservation sont proposées et quelques contre-exemples sont présentés. Les modèles de lois stables et de lois à queue lourde sont très utilisés dans plusieurs domaines d’application. On considère deux jeux de données réelles : les cours des 30 valeurs de l’indice DJIA et les perturbations planétaires des comètes du nuage de Oort. En appliquant la méthode d’estimation présentée on obtient des descriptions statistiques de ces données. / The objective of this thesis is to extend an estimation method of parameters of a stable distribution in Rd to the regularly varying tail distributions in an arbitrary cone. The sampling method of regrouping is modified to optimize the rate of convergence of estimators. A new estimator of total mass of the spectral measure is proposed. Some results about order statistics of regularly varying tail laws in a cone and the strong law of large numbers on the triangular schema are established. The consistency and the asymptotic normality of estimators are proved. The performance of proposed estimators is studied by simulation. We compare these estimators with some known estimators. The performance tables are provided. The kernel density estimation is used to estimate the density of an absolutely continuous spectral measure of a regularly varying tail law. We prove the consistency of the estimator in our particular case. To increase the number of points used in the sample, an estimation method using the random permutations of sample is proposed. The property of regular variation can be preserved by several operations and transformations. We consider three kinds of transformations. The sufficient conditions for this preservation are proposed and some counter-examples are presented. The models of stable distributions and heavy tailed distributions are widely used in several application areas. We consider two sets of real data : the prices of 30 stocks of the DJIA index and the planetary perturbations of comets of the Oort cloud. By applying the estimation method presented previously we obtain some statistical descriptions of these data.
2

Machines d'Eilenberg Effectives

Razet, Benoit 26 November 2009 (has links) (PDF)
La théorie des automates est apparue pour résoudre des problèmes aussi bien pratiques que théoriques, et ceci dès le début de l'informatique. Désormais, les automates font partie des notions fondamentales de l'informatique, et se retrouvent dans la plupart des logiciels. En 1974, Samuel Eilenberg proposa un modèle de calcul qui unifie la plupart des automates (transducteurs, automates à pile et machines de Turing) et qui a une propriété de modularité intéressante au vu d'applications reposant sur différentes couches d'automates ; comme cela peut être le cas en linguistique computationnelle. Nous proposons d'étudier les techniques permettant d'avoir des machines d'Eilenberg effectives. Cette étude commence par la modélisation de relations calculables à base de flux, puis continue avec l'étude de la simulation des machines d'Eilenberg définies avec ces relations. Le simulateur est un programme fonctionnel énumérant progressivement les solutions, en explorant un espace de recherche selon différentes stratégies. Nous introduisons, en particulier, la notion de machine d'Eilenberg finie pour laquelle nous fournissons une preuve formelle de correction de la simulation. Les relations sont une première composante des machines d'Eilenberg, la deuxième composante étant son contrôle, qui est défini par un automate fini. Dans ce contexte, on peut utiliser une expression régulière comme syntaxe pour décrire la composante de contrôle d'une machine d'Eilenberg. Récemment, un ensemble de travaux exploitant la notion de dérivées de Brzozowski, a été la source d'algorithmes efficaces de synthèse d'automates non-déterministes à partir d'expressions régulières. Nous faisons l'état de l'art de ces algorithmes, tout en donnant une implémentation efficace en OCaml permettant de les comparer les uns aux autres.
3

Une méthode pour l'évolution des schémas XML préservant la validité des documents

Duarte, Denio 04 July 2005 (has links) (PDF)
Nous proposons une méthode pour aider les administrateurs des applications XML dans la tâche de faire évoluer des schémas en préservant la cohérence de la base de données sans la modifier.<br />L'utilisateur donne au système ce qu'il souhaite comme nouveau document devant être accepté par le schéma.<br />À partir de ce document, le système construit des schémas candidats, qui d'une part préservent la validité de la base de documents et, d'autre part augmentent la classe de documents acceptée par le schéma.<br />L'approche est implantée par un algorithme appelé GREC. <br />Cet algorithme utilise l'automate d'arbre A qui accepte le langage défini par le schéma pour trouver les informations nécessaires à la modification. <br />Plus précisément, il utilise les expressions régulières des règles de transitions de A pour proposer les candidats.<br />Ainsi, les modifications sont faites sur les graphes qui représentent les automates d'états finis construits à partir des expressions régulières concernées.<br />Les expressions régulières engendrées par GREC représentent des schémas présentés à l'utilisateur afin qu'il choisisse le plus adapté à la sémantique de son application.
4

Théorie algébrique des langages formels temps réel

Dima, Catalin 11 December 2001 (has links) (PDF)
Un automate temporisé est un automate augmenté avec plusieurs horloges qui mesurent le passage de temps et peuvent conditionner la modification de l'état du système. Les automates temporisés ont été introduits en tant que modèle formel pour les systèmes temps-réel, en espérant que leur rôle dans la vérification de tels systèmes sera similaire au rôle des automates finis dans la recherche systématique des erreurs de conception de systèmes non-temporisés. Dans notre thèse nous étudions plusieurs questions théoriques liés aux automates temporisés et aux langages temporisés. Dans une première partie nous étudions une sous-classe simple d'automates temporisés à une seule horloge qui est remise à zéro pendant chaque transition. Nous montrons que cette sous-classe supporte des résultats similaires à la théorie classique des automates finis: des théorèmes de Kleene, de Myhill-Nerode et de fermeture par complémentation. La deuxième et principale partie de la thèse est motivée par les expressions régulières temporisés de Asarin, Caspi et Maler. Depuis leur introduction, on sait qu'il faut employer l'intersection dans les expressions régulières pour que leur expressivité soit égale aux automates temporisés. Nous poursuivons alors une approche alternative en utilisant des parenthèses colorées pour définir les contraintes temporelles sur une séquence d'événements. Cette idée aboutit à une représentation alternative des langage des automates temporisés, basée sur une nouvelle classe de langages formels que nous appelons . Nous développons alors la théorie des expressions régulières sur les regminos et nous montrons que le problème de sémantique vide est indécidable en cas général, et décidable pour une sous-classe large de langages. L'application de ces résultats nous amène à des nouvelles structures de données et à des algorithmes pour le problème du langage vide dans les automates temporisés et les expressions régulières.
5

Structures régulières dans la turbulence bidimensionnelle

Becu, Emilie 19 September 2006 (has links) (PDF)
On observe parfois, dans les milieux turbulents bidimensionnels, la formation de structures tourbillonnaires localisées, quasi-régulières. Dans ce travail, nous examinons différents mécanismes pouvant expliquer la formation de ces structures. Tout d'abord, nous étudions l'influence de fluctuations extérieures sur les conditions initiales de l'écoulement, c'est-à-dire nous examinons le rôle que ces fluctuations peuvent jouer sur la formation de structures régulières. Ensuite, nous appliquons les lois de la mécanique statistique pour mettre en place un principe d'´evolution des tourbillons suivant la ”température” de leur configuration initiale. Enfin, nous nous placerons dans le cas où le système se trouve encore à un temps antérieur à celui de relaxation. Nous verrons apparaitre des structures tourbillonnaires multi-pétales. Des structures plus complexes, les tourbillons-sources, seront étudiées dans la partie finale du travail.
6

Black holes and bubbled solutions in String Theory / Trous noirs et solutions régulières en théorie des cordes

Pasini, Giulio 13 September 2016 (has links)
Il existe des nombreuses solutions lisses dans le domaine de la théorie des cordes, caractérisées par une topologie non triviale (bulles) et sans sources localisées. Dans cette thèse nous analysons quelques-unes parmi les solutions les plus importantes avec les différents objectifs pour lesquels ils sont étudiés. Des solutions lisses en onze dimensions peuvent être interprétées comme microétats BPS de trou noir dans le cadre de la Fuzzball proposal. On peut promouvoir ces microétats à être quasi-BPS en plaçant de supertubes au minimum métastable à l’intérieur de ces solutions. Nous montrons que ces minima peuvent abaisser leur énergie lorsque les bulles se déplacent dans certaines directions dans l’espace des modules, ce qui implique que ces microétats quasi-BPS sont en fait instables. L’énergie dissipée par ces solutions correspond au rayonnement Hawking et on compare le taux d’émission et la fréquence à celles du trou noir correspondant. En modifiant la géométrie asymptotique de ces microétats on pourrait construire des microétats pour des trous noirs BPS sans charge électrique en cinq dimensions. Il faut donc trouver une nouvelle solution de supergravité en cinq dimensions dont la norme du vecteur de Killing passe de positive à nulle dans certaines régions. Nous construisons des exemples explicites où la norme du vecteur de Killing supersymétrique est une fonction réelle non-analytique telle que tous ses dérivés sont nulles à un point où le vecteur de Killing devient nul. Dans la solution de Lin-Lunin-Maldacena on trouve un mécanisme pour briser la supersymétrie similaire à celui utilisé pour les microétats quasi-BPS. Nous analysons l’énergie potentielle de branes M2 polarisés en branes M5. Lorsque les charges des M2 sont parallèles à ceux de la solution, nous trouvons des configurations stables. Lorsque les charges des M2 ne sont pas parallèles, nous trouvons des états métastables qui brisent la supersymétrie et nous analysons le processus de rayonnement d’énergie. Nous analysons aussi la solution de Klebanov-Strassler et construisons sa version T- duale dans la supergravité de type IIA. Pour cela une analyse approfondie est nécessaire pour choisir l’isomérie la plus appropriée. Notre construction est la première étape d’un programme pour tester la stabilité des antibranes dans la supergravité de type IIA. / There exist many smooth solutions in String Theory characterized by a nontrivial topology threaded by fluxes and no localized sources. In this thesis we analyze some of the most important bubbled solutions along with the different purposes they are studied for. Some smooth, eleven-dimensional solutions can be interpreted as BPS black hole microstates in the context of the Fuzzball proposal. One can promote these to be microstates for near-BPS black holes by placing probe supertubes at a metastable minimum inside these solutions. We show that these minima can lower their energy when the bubbles move in certain directions in the moduli space, which implies that these near-BPS microstates are in fact unstable. The decay of these solutions corresponds to Hawking radiation and we compare the emission rate and frequency to those of the corresponding black hole. By modifying the asymptotic behavior of these microstates one could be able to construct microstates for five-dimensional BPS black holes with no electric charge. To do so one needs to find a new supergravity solution in five-dimensions whose Killing vector switches from timelike to null in some open regions. We construct explicit examples where the norm of the supersymmetric Killing vector is a real not-everywhere analytic function such that all its derivatives vanish at a point where the Killing vector becomes null. In the Lin-Lunin-Maldacena solution we find a supersymmetry-breaking mechanism similar to that used for near-BPS microstates. We analyze the potential energy of M2 probes polarized into M5 brane shells. When the charges of the probe are parallel to those of the solution we find stable configurations, while when the charges are opposite we find metastable states that break supersymmetry and analyze the decay process to supersymmetric configurations. We analyze also the Klebanov-Strassler solution and construct its T-dual version in Type IIA. This is done by just reconstructing the solution expanded on a small region of the deformed conifold, after a thorough analysis to choose the most suitable isometry. Our construction is the first step in a program to test the stability of antibranes in Type IIA backgrounds.
7

Monômes et fonctions en algèbre à p valeurs

Kergall-Kuntzmann, Elisabeth 19 December 1975 (has links) (PDF)
.
8

Homologies d'algèbres Artin-Schelter régulières cubiques

Marconnet, Nicolas 09 December 2004 (has links) (PDF)
Les algèbres Artin-Schelter régulières sont des analogues non-commutatifs d'algèbres de polynomes. En dimension globale 3, ces algèbres graduées sont homogènes et ont des relations de degré 2 ou 3. Dans cette thèse, nous nous intéressons à certaines algèbres Artin-Schelter régulières de dimension globale 3, à relations cubiques. Nous commencons par calculer l'homologie de Hochschild des algèbres Artin-Schelter régulières de dimension globale 3, cubiques de type A à coefficients génériques. Soit $A$ une telle algèbre. Nous suivons la méthode employée par M. Van den Bergh (K-Theory 8 (1994) 213-230) dans le cas quadratique, en considérant cette algèbre comme déformation d'une algèbre de polynomes, avec crochet de Poisson remarquable. Nous calculons alors l'homologie de Poisson et nous montrons que la suite spectrale de Brylinski associée dégénère. Pour cela, nous utilisons le fait que cette algèbre est de Koszul au sens généralisé défini par R. Berger (J. Algebra 239 (2001) 705-734) et nous donnons un nouveau quasi-isomorphisme entre la résolution de Koszul de $A$ par des $A$-$A$-bimodules et la bar-résolution de $A$. Nous déduisons la cohomologie de de Rham, l'homologie cyclique et l'homologie cyclique périodique de l'homologie de Hochschild de $A$, en utilisant des résultats classiques. La propriété de Koszul généralisée nous permet d'écrire un quasi-isomorphisme explicite entre le complexe qui calcule la cohomologie de Hochschild de $A$ et le complexe qui calcule l'homologie de Hochschild de $A$, obtenant ainsi une dualité de Poincaré. Nous déduisons alors la cohomologie de Hochschild de $A$ de l'homologie de Hochschild de $A$. Nous déterminons le centre de $A$, ce qui n'était pas connu. Nous terminons par divers compléments. En particulier, nous explicitons une injection de la résolution de Koszul par des $A$-$A$-bimodules vers la bar-résolution de $A$, valable pour toute algèbre de Koszul généralisée $A$.
9

Interroger RDF(S) avec des expressions régulières

Alkhateeb, Faisal 30 June 2008 (has links) (PDF)
RDF est un langage de représentation des connaissances dédié à l'annotation des ressources dans le Web Sémantique. Bien que RDF peut être lui-même utilisé comme un langage de requêtes pour interroger une base de connaissances RDF (utilisant la conséquence RDF), la nécessité d'ajouter plus d'expressivité dans les requêtes a conduit à définir le langage de requêtes SPARQL. Les requêtes SPARQL sont définies à partir des patrons de graphes qui sont fondamentalement des graphes RDF avec des variables. Les requêtes SPARQL restent limitées car elles ne permettent pas d'exprimer des requêtes avec une séquence non-bornée de relations (par exemple, Existe-t-il un itinéraire d'une ville A à une ville B qui n'utilise que les trains ou les bus?"). Nous montrons qu'il est possible d'étendre la syntaxe et la sémantique de RDF, définissant le langage PRDF (pour Path RDF) afin que SPARQL puisse surmonter cette limitation en remplaçant simplement les patrons de graphes basiques par des graphes PRDF. Nous étendons aussi PRDF à CPRDF (pour Constrained Path RDF) permettant d'exprimer des contraintes sur les sommets des chemins traversés (par exemple, "En outre, l'une des correspondances doit fournir une connexion sans fil."). Nous avons fourni des algorithmes corrects et complets pour répondre aux requêtes (la requête est un graphe PRDF ou CPRDF, la base de connaissances est un graphe RDF) basés sur un homomorphisme particulier, ainsi qu'une analyse détaillée de la complexité. Enfin, nous utilisons les graphes PRDF ou CPRDF pour généraliser les requêtes SPARQL, définissant les extensions PSPARQL et CPSPARQL, et fournissons des tests expérimentaux en utilisant une implémentation complète de ces deux langages.
10

Vues de sécurité XML: requêtes, mises à jour et schémas.

Groz, Benoit 05 October 2012 (has links) (PDF)
Vues de sécurité xml : requêtes, mises à jour, et schémas. Les évolutions technologiques ont consacré l'émergence des services web et du stockage des données en ligne, en complément des bases de données traditionnelles. Ces évolutions facilitent l'accès aux données, mais en contrepartie soulèvent de nouvelles problématiques de sécurité. La mise en œuvre de politiques de contrôle d'accès appropriées est une des approches permettant de réduire ces risques.Nous étudions ici les politiques de contrôle d'accès au niveau d'un document XML, politiques que nous modélisons par des vues de sécurité XML (non matérialisées) à l'instar de Fan et al. Ces vues peuvent être représentées facilement par des alignements d'arbres grâce à l'absence d'opérateurs arithmétiques ou de restructuration. Notre objectif est par conséquent d'examiner comment manipuler efficacement ce type de vues, à l'aide des méthodes formelles, et plus particulièrement des techniques de réécriture de requêtes et la théorie des automates d'arbres. Trois directions principales ont orienté nos recherches: nous avons tout d'abord élaboré des algorithmes pour évaluer l'expressivité d'une vue, en fonction des requêtes qui peuvent être exprimées à travers cette vue. Il s'avère que l'on ne peut décider en général si une vue permet d'exprimer une requête particulière, mais cela devient possible lorsque la vue satisfait des hypothèses générales. En second lieu, nous avons considéré les problèmes soulevés par la mises à jour du document à travers une vue. Enfin, nous proposons des solutions pour construire automatiquement un schéma de la vue. En particulier, nous présentons différentes techniques pour représenter de façon approchée l'ensemble des documents au moyen d'une DTD.

Page generated in 0.0321 seconds