Nous avons dans cette thèse cherché à définir un formalisme simple pour pouvoir modéliser des systèmes où se combinent des phénomènes non-déterministes et des comportements aléatoires. Nous avons choisi d'étendre le formalisme de la réécriture pour lui permettre d'exprimer des phénomènes probabilistes, puis nous avons étudié la terminaison en temps moyen fini de ce modèle. Nous avons également présenté une notion de stratégie pour contrôler l'application des règles de réécriture probabilistes et nous présentons des critères généraux permettant d'identifier des classes de stratégies sous lesquelles les systèmes de réécriture probabilistes terminent en temps moyen fini. Afin de mettre en valeur notre formalisme et les méthodes de preuve de terminaison en temps moyen fini, nous avons modélisé un réseau de stations \WIFI~ et nous montrons que toutes les stations parviennent à émettre leurs messages dans un temps moyen fini. / In this thesis we define a new formalism that allows to model transition systems where transitions can be either probabilistic or non deterministic. We choose to extend the rewriting formalism because it allows to simply express non-deterministic behavior. Latter, we study the termination of such systems and we give some criteria that imply the termination within a finite mean number of rewrite steps. We also study the termination of such systems when the firing of probabilistic rules are controlled by strategies. In this document, we use our techniques to model the \WIFI~ protocol and show that a pool of stations successfully emits all its messages within a finite mean time.

Les variétés possédant une orbite dense sous l'opération d'un groupe sont dites presque homogènes. Il s'agit d'objets ayant une géométrie très riche, qui ont été abondamment étudiés ces 50 dernières années ; cela inclut notamment les variétés toriques. L'objectif de cette thèse est d'obtenir une classification des couples (X,G) où X est une courbe ou une surface algébrique, définie sur un corps quelconque, et G est un groupe algébrique lisse connexe opérant fidèlement dans X et possédant une orbite dense. Cette classification passe par l'étude des complétions régulières équivariantes de X.Un premier chapitre regroupe des rappels sur les opérations de groupes algébriques ainsi que plusieurs résultats préliminaires utiles par la suite.L'étude des courbes presque homogènes fait ressortir une classe particulière, celle des courbes seminormales. Nous obtenons une classification complète des couples (X,G) quand X est une courbe seminormale. Nous décrivons aussi les courbes quelconques presque homogènes (sur un corps quelconque), généralisant ainsi un résultat de Vladimir Popov. Enfin, nous déterminons les fibrés en droites linéarisés sur les courbes seminormales presque homogènes.Le dernier chapitre traite le cas des surfaces. À nouveau, nous obtenons une classification des couples (X,G) quand X est une surface et G n'est pas affine. Quand G est affine, la surface est rationnelle. Nous décrivons alors, sur un corps algébriquement clos, les surfaces homogènes et leurs complétions régulières équivariantes relativement minimales. En caractéristique nulle, nous déterminons aussi les groupes qui opèrent. Beaucoup de phénomènes nouveaux se produisent en caractéristique positive, et certains de nos résultats sont incomplets dans ce cadre. / The varieties having a dense orbit under the action of a group are said to be almost homogeneous. Those are objects with a very rich geometry and have been extensively studied for the last 50 years ; this includes toric varieties. The purpose of this thesis is to classify the pairs (X,G) where X is an algebraic curve or surface, defined over an arbitrary field, and G is a smooth connected algebraic group, acting faithfully on X with a dense orbit. The classification relies on the study of the equivariant regular completions of X.The study of almost homogeneous curves highlights the class of seminormal curves. We get a full classification of the pairs (X,G) when X is a seminormal curve. We also describe all almost homogeneous curves (over an arbitrary field), thus generalizing a result of Vladimir Popov. Finally, we determine the linearized line bundles over seminormal almost homogeneous curves.The last chapter deals with the case of surfaces. Again, we get a classification of the pairs (X,G) when X is a surface and G is not affine. When G is affine, the surface is rational. We then describe, over an algebraically closed field, the homogeneous surfaces and their relatively minimal equivariant regular completions. In characteristic zero, we also determine the acting groups. Many new phenomena occur in positive characteristic, and some of our results are incomplete in this setting.

Nous considérons un modèle signal plus bruit particulier ou le signal est une combinaison linéaire de suites déterministes données et est contamine par un bruit additif autoregressif d'ordre 1 stationnaire. Nous étudions d'abord des problèmes d'estimation partielle. On analyse les propriétés asymptotiques d'estimateurs de maximum de vraisemblance ou de moindres carres pour les paramétrés du bruit lorsque le signal est complètement connu ou pour les paramètres du signal lorsque l'un des paramètres du bruit est connu. Puis nous examinons le probleme de l'estimation simultanée des paramètres du signal et du bruit. On montre l'existence et l'unicité de l'estimateur de maximum de vraisemblance dont on étudie le comportement asymptotique. De même on considère une methode d'estimation fondée sur une première étape de moindres carres pour l'estimation des paramétrés du signal, et une procédure de maximum de vraisemblance approche. On construit ensuite des tests pour la détection du signal a partir des méthodes d'estimation envisagées précédemment. Les risques associes a ces tests sont analyses de manière précise. Enfin une étude expérimentale par simulation des performances des diverses méthodes est menée

L'approximation de Born-Oppenheimer consiste à traiter de manière semi-classique l'équation de Schrödinger associée à une molécule en utilisant la petitesse du rapport de masse entre électrons et noyaux. Nous montrons que pour un type générique de presque croisement de codimension 1 de deux surfaces d'énergie électroniques, la propagation d'un paquet d'ondes nucléaire gaussien associé à l'une des surfaces est gouvernée par une formule du type Landau-Zener. Par ailleurs, dans le cadre de l'équation de Schrödinger stationnaire unidimensionnelle et en situation de croisement générique de deux courbes d'énergie, nous construisons des quasimodes par intégration d'un paquet d'ondes gaussien propagé le long d'une trajectoire classique périodique associée à l'une des deux courbes d'énergie.

Cette thèse est consacrée à l'étude de trois problèmes d'hyperbolicité complexe et presque complexe. La première partie est dédiée à la recherche d'une conséquence quantitative de l'hyperbolicité au sens de Kobayashi, qui est une propriété qualitative. Le résultat obtenu prend la forme d'une inégalité isopérimétrique qui évoque l'inégalité d'Ahlfors relative aux recouvrements des surfaces de surfaces. Sa démonstration est purement riemannienne.La deuxième partie de la thèse est consacrée à la démonstration d'une version presque complexe du théorème de Borel, qui affirme que les courbes entières dans le plan projectif complexe évitant quatre droites en position générale sont linéairement dégénérées. Dans un plan projectif presque complexe, les J-droites substituent aux droites projectives et nous disposons d'un énoncé analogue pour les J-courbes entières. La démonstration de ce résultat repose sur l'utilisation de projections centrales et sur la théorie de recouvrement des surfaces d'Ahlfors.La dernière partie est consacrée à la démonstration d'une version presque complexe du théorème de Bloch, qui affirme qu'une suite non normale de disques holomorphes du plan projectif évitant quatre droites en position générale converge, en un certain sens, vers une réunion de trois droites. Notre résultat implique en particulier l'hyperbolicité du complémentaire dans le plan projectif presque complexe de quatre J-droites modulo trois J-droites.

Dans cette thèse, nous abordons certains aspects de l'analyse locale dans les variétés presque complexes. Dans un premier temps, nous étudions le fibré cotangent qui est un outil important pour l'analyse et la géométrie complexe. Nous construisons un relevé de structure presque complexe, à l'aide d'une connexion, qui unifie les relevés complets de I.Sato et horizontaux de S.Ishihara et K.Yano. Par ailleurs, nous dégageons les principales propriétés analytiques et symplectiques du relevé ainsi construit. <br />Dans les deux études qui suivent, nous nous intéressons aux propriétés locales des domaines pseudoconvexes de type de D'Angelo fini d'une variété presque complexe de dimension réelle quatre. Nous construisons des fonctions locales pic plurisousharmoniques, généralisant des travaux de J.E.Fornaess et N.Sibony. La construction d'une telle famille de fonctions permet d'établir des propriétés d'attraction et de localisation des disques pseudoholomorphes. En particulier, elle réduit l'étude de la pseudométrique de Kobayashi à un problème purement local. Le comportement asymptotique de cette pseudométrique est relié à certaines questions fascinantes d'analyse locale dans les variétés comme les phénomènes de prolongement au bord des difféomorphismes ou encore la classification des domaines, et fournit des informations intéressantes sur les propriétés géométriques et dynamiques de la variété. Nous donnons alors des estimées locales de cette pseudométrique au voisinage du bord. De plus, dans le cas de stricte pseudoconvexité, nous obtenons des estimées très fines nous permettant d'étudier les liens entre l'hyperbolicité au sens de Kobayashi et l'hyperbolicité au sens de Gromov ; nous généralisons ainsi, au cadre presque complexe, un résultat dû à Z.M.Balogh et M.Bonk.

On utilise la théorie de Floquet-Lin pour des systèmes différentiels linéaires quasi-périodiques pour établir des résultats d'existence et d'unicité et de dépendance continue des systèmes différentiels non linéaires quasi-périodiques. Et dans un second temps on établit un résultat de réductibilité d'un système différentiel linéaire presque-périodique en un système différentiel linéaire triangulaire supérieur avec conservation du nombre des solutions presque-périodiques indépendantes. Ensuite, on établit un résultat d'existence et d'unicité et de dépendance continue des systèmes différentiels non linéaires presque-périodiques par rapport au terme du contrôle.

Les principaux résultats obtenus dans ce travail concernent l’existence et l’unicité des solutions de différents types de l’équation de Liénard forcée et des résultats de dépendance pour les solutions S-asymptotiquement w-périodiques d’équations d’évolution. Pour réaliser notre objectif, nous utilisons des outils d’analyse fonctionnelle non linéaire et des résultats sur des équations linéaire. / No English summary available.

Cette Thèse analyse les ensembles de contrôle de systèmes de commande linéaires et les isométries de structure presque-Riemanniennes sur des groupes de Lie. Dans la première partie, le but principal est de caractériser les propriétés d'ensembles de contrôle comme l'existence, l'unicité, le fait d'être limité et l'invariance. Nous étudions ces propriétés pour des groupes de Lie décomposables par les valeurs propres du champ vectoriel linéaire et étendons les résultats à des groupes de Lie non-compacts semi-simples avec un centre fini. L’objectif principal de la deuxième partie est de caractériser les propriétés d'isométrie des structures presque-Riemanniennes. Nous cherchons des invariants dans des isométries telles que le locus singulier ou l'ensemble des singularités de champs vectoriels linéaires. Pour des groupes de Lie nilpotents, nous prouvons que toutes les isométries sont affines, c’est-à-dire qu’elles se composent d'une translation et d’automorphismes d’un groupe de Lie. Nous utilisons les résultats obtenus pour classifier les structures presque-Riemanniennes en des groupes de Lie de faible dimension. / This Thesis analyzes the control sets of linear control systems and the isometries of almost-Riemannian structures on Lie groups. The main goal for the first topic is to characterize the properties of control sets such as existence, uniqueness, boundedness and invariance. We study such properties for Lie groups decomposable by eigenvalues of the linear vector field and extend some results to non-compact semi-simple Lie groups with finite center. The second topic main objective is to characterize isometry properties of almost-Riemannian structures. We search for invariants under isometries such as the singular locus and the set of the linear vector field singularities. For nilpotent Lie groups, we prove that all isometries are affine, that is, a composition of a translation with a Lie group automorphisms. To finish this topic we use the obtained results to classify the almost-Riemannian structures on low dimensional Lie groups.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.