L'interférométrie des tavelures permet de restaurer des images à la limite de résolution angulaire (quelques dizaines de millisecondes d'arc dans le visible) des plus grands télescopes terrestres malgré les effets de la turbulence atmosphérique. Je présente différentes méthodes de l'interférométrie des tavelures (méthodes de Labeyrie, de Knox et Thompson, du bispectre et de l'holographie auto-référencée) pour mettre en évidence la rigueur nécessaire à leur exploitation. L'application en astronomie visible de ces méthodes nécessite un détecteur à comptage de photons. J'explique comment je compense le défaut dit du "trou du comptage" de photons en intégrant des intercorrélations. Je propose une approche robuste pour résoudre le problème de la restauration d'image à partir de mesures très bruitées et/ou lacunaires. Je montre que cette approche générale peut être adaptée à la nature des mesures, en particulier à celles de l'interférométrie des tavelures. Cela me permet de dériver ou d'améliorer un certain nombre d'algorithmes : déconvolution, déconvolution en aveugle, restauration d'image en interférométrie des tavelures, etc. Ces algorithmes me permettent d'obtenir des résultats fiables et d'intérêt astrophysique : la découverte en Halpha de la base du jet émanant de T-Tau, la première mise en évidence du mouvement orbital d'une étoile double pré-séquence principale pour DF-Tau, la détection dans le visible du compagnon dit "infrarouge" de ZCMa et le sondage de l'atmosphère étendue de chi-Cygni dans les bandes du TiO.

L'analyse pertinente de l'information contenue dans les mesures instrumentales modernes nécessite le développement de méthodes algorithmiques performantes. La spectroscopie n'échappant pas à cette règle, nombre d'outils chimiométriques d'analyse multivariée ont été mis au point en conséquence. L'objectif de cette thèse est de participer à ces développements pour caractériser les spectres et les profils de concentration des composés intervenant lors de réactions photoinduites suivies en spectroscopique résolue en temps. Un premier travail concerne l'analyse du rang de données de différence. Une déficience de rang systématique de ces données a été mise en évidence. Une approche basée sur un algorithme de modélisation hybride est proposée en réponse à ce problème. En effet l'introduction d'un modèle cinétique compense cette déficience de rang des données. Le deuxième travail se rapporte à la caractérisation de l'influence du bruit (d'une part sur la mesure et d'autre part sur la résolution multivariée). Une analyse de la structure de corrélation du bruit permet d'expliquer les phénomènes de surajustement des méthodes de modélisation souple. Un second algorithme résout ce problème en pondérant les données en fonction d'une estimation de l'erreur de mesure. Ces points sont illustrés par deux applications ; premièrement une contribution à l'analyse du centre réactionnel de la bactérie <i>Rhodobacter sphaeroides</i> par spectroscopie IRTF et ensuite l'étude de la photorelaxation de la benzophénone par spectroscopie d'absorption transitoire.

La technologie des services web est aujourd'hui largement utilisée comme support de l'interopérabilité entre les applications. Dans ce cadre, les interactions entre deux applications encapsulées par des services web sont réalisées par le biais d'un ensemble d'échanges de messages appelé conversation. Une conversation peut échouer parce que l'interface fournie d'un participant a été modifiée et n'est plus compatible avec celle requise par l'autre participant. L'étude rapportée dans cette thèse porte sur la réconciliation de telles conversations. La solution proposée est le canevas ArchiMed.<br>Dans un premier temps, une modélisation des interfaces comportementales par des automates est adoptée. Dans cette modélisation, seul le comportement externe (comportement observable) est considéré. En d'autres termes, il n'y a que les opérations d'envoi et de réception de messages qui sont décrites dans les interfaces. Une fois les interfaces comportementales décrites en automates, une étape de détection des incompatibilités entre les différentes définitions de l'interface d'un service est réalisée. La détection des incompatibilités est automatique et portent sur des changements élémentaires dans les interfaces qui sont : l'ajout, la suppression et la modification d'opérations. Une visualisation des incompatibilités entre les interfaces est rendue disponible.<br>Le canevas maintient les descriptions des versions successives de l'interface du service ainsi que l'ensemble minimal de médiateurs pour que les clients puissent interagir avec le service au travers de l'une de ses versions. A l'initiation d'une conversation par un client, si nécessaire, le canevas sélectionne parmi les médiateurs disponibles celui qui résoud les incompatibilités entre le client et le service. La sélection du médiateur est basée sur une mesure de similarité entre les interfaces afin de découvrir la description de l'interface fournie qui est conforme avec l'interface requise du client. La validation expérimentale du canevas, a été effectuée par le traitement d'une collection de tests qui contient les descriptions des interfaces comportementales des services. Une étude quantitative et comparative à des travaux similiaires est réalisée et montre l'apport significatif de notre proposition.

Dans une première partie, nous montrons qu'il est possible d'établir une correspondance naturelle entre les preuves en déduction naturelle de la validité d'une formule et les réfutations par resolution d'un ensemble de clauses obtenues en appliquant a la négation de cette formule une mise sous forme clausale non standard utilisant une technique de renommage. En particulier, nous montrons qu'il est possible de simuler le fonctionnement d'un calcul des sequents proche de celui de Gentzen par la resolution et nous montrons comment traduire des réfutations par resolution en preuve en déduction naturelle. De plus, nous proposons plusieurs ameliorations de cette mise sous forme clausale avec renommage permettant de faciliter la recherche d'une réfutation par resolution. Dans une deuxième partie, nous décrivons en détail des techniques permettant une mise en œuvre efficace de la resolution avec sortes ordonnées ainsi qu'un principe d'indexation des clauses permettant de résoudre efficacement de nombreux problèmes-clés (tels ceux poses par la subsomption, l'utilisation de systèmes de réécriture...). Ces algorithmes ont ete utilises dans l'implémentation d'un démonstrateur par resolution que nous avons réalisé dans le cadre d'atinf

Ce mémoire présente l'étude d'une approche particulière des langages de programmation logico-fonctionnels, fondée sur la logique des clauses de Horn avec égalité. Nous définissons d'abord la syntaxe et la sémantique des programmes que nous considérons. La syntaxe est celle de la logique des clauses de Horn avec égalité. La sémantique est donnée par le plus petit e-modele de Herbrand associe a un programme. Nous nous intéressons ensuite au calcul dans ce langage. Nous proposons pour cela une nouvelle règle appelée sldei-resolution comme seule règle de calcul. Nous montrons sa cohérence, sa complétude ainsi que sa completude forte. La mise en œuvre de la règle sldei-resolution nécessite un algorithme de resolution d'équations. Nous étudions de tels algorithmes fondes sur la relation de surreduction, et améliorons ces algorithmes par l'utilisation de stratégies de surreduction. Cependant, ces stratégies ne sont pas complètes dans le cas général. Nous proposons alors des conditions suffisantes sur ces stratégies afin de préserver la complétude des algorithmes considérés. Nous caractérisons ensuite une classe de programmes, dits uniformes, pour lesquels l'utilisation de n'importe quelle stratégie de surreduction donne un algorithme complet de resolution d'équations. Nous donnons de plus une methode de vérification de l'uniformité d'un programme. Par ailleurs, nous proposons des conditions syntaxiques pour qu'un programme soit uniforme. Enfin, nous décrivons les principaux traits d'un langage de programmation fonde sur l'approche présentée dans ce mémoire, et l'implantation que nous avons réalisée

.

Dans le cadre de la recherche de planètes extrasolaires et de naines brunes, cette thèse innove en se focalisant sur le cas d'étoiles naines de type spectral A et F, plus chaudes que le Soleil. J'ai développé une nouvelle méthode de mesure de vitesses radiales, que j'ai testée puis appliquée lors de recherches systématiques avec les spectrographes ELODIE et HARPS, qui a abouti pour le moment à la découverte de deux planètes et d'une naine brune, et de nombreux candidats. J'ai aussi développé des diagnostics de la présence de pulsations ou d'activité affectant la surface stellaire et les vitesses radiales mesurées. J'ai aussi conduit cette recherche en imagerie directe à haute résolution angulaire, en utilisant les instruments PUEO et NACO. Les compagnons candidats détectés doivent être confirmés. Cette recherche permettra d'établir les caractéristiques des planètes et naines brunes autour d'étoiles A et F, et l'influence de la masse de l'étoile-hôte sur les processus de formation.

Un effet de microlentille gravitationnelle galactique a lieu lorsqu'une étoile d'avant-plan du disque de la Voie Lactée (la "microlentille") croise la ligne de visée d'une étoile d'arrière-plan située dans le Bulbe (la source). Le phénomène s'accompagne d'une amplification caractéristique du flux lumineux. Cette propriété est utilisée comme outil original aussi bien pour la recherche de planètes extra-solaires et la détermination de limites à leur abondance, que pour réaliser la tomographie d'étoiles géantes du Bulbe.<br /> <br /> Grâce à un réseau de télescopes régulièrement espacés en longitude dans l'hémisphère sud, la collaboration internationale PLANET (Probing Lensing Anomalies NETwork) procède à un suivi précis et continu d'événements de microlentille soigneusement choisis. Des méthodes mathématiques et numériques adaptées à leur modélisation sont utilisées, afin de répondre aux problèmes posés par la non-linéarité des équations et la configuration particulière de l'espace des paramètres, qui est à la fois vaste et constitué de nombreux minima locaux.<br /> <br /> Une planète extra-solaire peut être détectée par cette technique si sa présence produit une déviation dans la courbe de lumière produite par son étoile-hôte. L'un des points forts de cette méthode réside dans sa capacité à mettre au jour des exoplanètes en orbite à quelques unités astronomiques et de masse aussi petite que celle de la Terre, grâce aux caustiques gravitationnelles produites par la planète. Ces dernières peuvent engendrer un pic d'amplification secondaire significatif, si la source vient à les traverser. La découverte de l'exoplanète OGLE 2005-BLG-390Lb porte à trois le nombre de détections par effet de microlentille ; elle est présentée ici. Outre le fait d'être à ce jour la planète la moins massive détectée - environ cinq fois la Terre - elle se situe à une distance appréciable de son étoile-hôte, soit trois unités astronomiques. <br /> <br /> Les observations réalisées sont également mises à profit afin de poser des limites à l'abondance de planètes extra-solaires autour d'étoiles naines rouges. Pour une sélection de microlentilles observées entre 1995 et 2004 et qui ne présentent pas de signature planétaire évidente, des diagrammes d'efficacité de détection sont calculés selon une méthode décrite ici. Les résultats obtenus forment alors la base de l'étude statistique.<br /> <br /> Enfin, un effet d'amplification différentielle du disque de l'étoile-source, lorsque cette dernière traverse une caustique, est exploité afin de sonder l'atmosphère d'étoiles géantes du Bulbe. Les mesures de coefficients d'assombrissement centre-bord de plusieurs étoiles sont rapportées et comparées aux prédictions des modèles. En outre, grâce à un suivi spectroscopique à haute résolution spectrale, il a été possible de confronter aux modèles les mesures de largeur équivalente de raies spectrales en plusieurs points du disque d'une géante G5III du Bulbe, à 9 kpc, et d'en détecter directement la chromosphère.

Des épisodes de précipitations intenses se produisent fréquemment sur les Alpes durant la saison automnale, occasionnant régulièrement de nombreux dégâts matériels et humains.<br />L'amélioration de leur prévision est un enjeu majeur de la météorologie opérationnelle actuelle.<br />En 1999, le programme MAP (Mesoscale Alpine Programme) a été mis en place afin de recueillir une base de données importante décrivant plusieurs de ces épisodes.<br />Certains de ces épisodes ont été simulés à l'aide du modèle non-hydrostatique Meso-NH.<br />L'attention est d'abord portée sur la sensibilité de la prévision d'un épisode fortement convectif au schéma microphysique utilisé, ainsi qu'aux conditions initiales. Ensuite l'étude est élargie à deux autres évènements et il est mis en évidence des comportements microphysiques différents en fonction des caractéristiques du flux incident.

Nous avons étudié l'effet Stark linéaire des états de Rydberg de faible | m_l | et observé une quasi-dégénéréscence des séries | m_l | = 0, 1 et 2 du sodium et | m_l | = 0, 1 du lithium. Nous avons expliqué théoriquement ce comportement non-hydrogénoïde assez inattendu. A partir d'atomes de lithium dans un état de Rydberg de faible | m_l |, nous avons préparé des atomes circulaires (| m_l | = l = n-1) et nous avons observé pour la première fois une transition induite par une onde submillimétrique entre deux états de Rydberg circulaires. Cette expérience est un premier pas vers la mesure de la constante de Rydberg en unité de fréquence. Nous avons mis en évidence un comportement dynamique spécifique des atomes circulaires dans un champ électrique faible (~1V/cm) de direction variable.