.

Les techniques actuelles de mesure de pesanteur terrestre, depuis les observations spatiales jusqu'aux mesures ponctuelles en surface, couvrent un large spectre de longueurs d'onde du champ de gravité de la Terre. Ces données acquises permettent non seulement la réalisation de modèles étendus de géoïde, mais aussi une meilleure compréhension des transferts de masse affectant la Terre.<br />Cependant, les couvertures spatiale et spectrale des mesures gravimétriques ne sont pas homogène à la surface de la Terre et certaines régions difficiles d'accès sont quasiment vierges de toute mesure. De plus, la gamme des longueurs d'onde intermédiaires (10/100 km) est mal couverte par la gravimétrie terrestre ou spatiale. La gravimétrie mobile depuis un véhicule terrestre, un bateau ou un avion apparaît donc comme la technique complémentaire capable de pallier les insuffisances des techniques gravimétriques actuelles.<br />C'est dans l'objectif de développer un système de gravimétrie mobile autonome que ce travail a été entrepris. Le système «Limo-G» (LIght MOving Gravimetry system) est un gravimètre vectoriel absolu, composé de trois accéléromètres et d'un système GPS à quatre antennes, embarquable dans toutes sortes de véhicule, fiable, ergonomique et peu onéreux.<br />Un travail métrologique effectué au laboratoire et sur le terrain a permis de concevoir et de tester une méthode d'étalonnage de l'instrument. Puis, une méthode originale de traitement conjoint des données accélérométriques et des données GPS a été développée et testée à partir de simulations issues de données réelles acquises lors d'un levé expérimental en mer. Les résultats de ces simulations indiquent que les performances du système Limo-G permettent de mesurer la pesanteur au milligal. Les améliorations nécessaires pour accroître la précision ont aussi été mises en évidence et validées par simulation.

Une représentation connaissances centrées objets, déclarative et uniforme, est présentée. Elle permet de construire une base d'objets dynamique. Le mécanisme d'exploitation associé est fondé sur un processus élémentaire de filtrage flou. De façon générale, il permet l'exploitation d'une base d'objets dans laquelle les traitements sont aussi spécifiés de façon déclarative. Il permet aussi la manipulation de termes du langage naturel définis à l'aide d'outils mathématiques extraits de la théorie des ensembles flous. Le processus manipule la sémantique des objets à l'aide d'informations typées. Il calcule des distances entre objets variant entre 0 et 1 au lieu de rendre de simples réponses binaires. Deux stratégies de filtrage permettent des raisonnements nuancés et de diverses natures. Ces outils sont manipulés pour élaborer un système intelligent d'aide à la modélisation mathématique en biologie

Le sujet de la thèse est situé à la confluence du IP multicast et des environnements virtuelles. La thèse présente l'élaboration, l'implémentation et les expérimentations d'une architecture de communication pour une application d'environnement virtuel à grande échelle. Le but de cette architecture est de permettre à un grand nombre de participants, situés dans un monde virtuel, de communiquer entre eux (chaque participant communique seulement avec ses voisins), à travers différent s flux de données (vidéo, audio, texte). Dans la conception de cette architecture nous avons considéré les objectifs suivants : minimiser le trafic dans le réseau, permettre à un très grand nombre de participants d'être connectés simultanément dans le inonde virtuel, accepter des participants avec des capacités très différentes, donner à chacun d'entre eux la possibilité de Communiquer selon ses capacités et de prendre en compte les contraintes des temps réel spécifique à des flux multimédia. Nous utilisons le multipoint comme moyen de communication de groupe et en particulier les aspects contrôle de congestion afin de réduire le trafic dans le réseau. Un modèle simplifié de multipoint ayant été proposé à l'IETF (le modèle SSM ou Source Spécifique Multicast), nous avons choisi de l'utiliser dans notre architecture, à cause du fait qu'il était mieux adapté pour exprimer les différentes préférences des participants. Pour réaliser la communication dans des mondes virtuels, nous avons défini une architecture composée de deux nivelles de filtrage des données. Au premier niveau de filtrage, le monde virtuel est dynamiquement découpé en zones selon la densité de participants dans le monde. Un participant connait tous les autres participants présents dans sa zone. Au deuxième niveau de filtrage, le participant calcule ses voisins dans le monde virtuel et commence a communiquer avec eux selon leurs Capacités. Un participant peut transmettre des différents flux des données. Chaque flux est envoyé sur un canal SSM différent. Les expériences réalisées ont démontré la faisabilité et les performances de notre architecture comparent aux autres architectures proposées dans la littérature. On a intégré le module de communication proposé dans V-Eye, une application de monde virtuel développée par le projet Planète.

Dans un contexte où les systèmes communicants fleurissent, les Convertisseurs Analogique Numérique CAN doivent suivre les demandes des nouveaux standards de télécommunications. Un convertisseur seul, ne peut pas allier rapidité, précision et faible consommation de puissance. Dans le cadre de nos travaux, nous somme intéressé à une structure prometteuse de CAN basée sur l'entrelacement temporel de plusieurs convertisseurs, TIADC. Le taux d'échantillonnage augmente proportionnellement avec le nombre de CAN mais des problèmes de disparité entre les différents CAN réduisent la résolution effective du TIADC. Dans ce mémoire, nous avons contribuer à l'étude de ces convertisseurs, notamment aux pertes engendrées par les disparités entre les différents convertisseurs. La structure du TIADC a été modélisé dans un environnement de description matérielle. Plusieurs solutions de calibrations existantes ont été simulé afin de vérifier leur fonctionnement et de pouvoir proposer deux méthodes de correction. Une première méthode en différé visant le domaine de l'instrumentation et une seconde, en ligne visant des application de élécommunications. La première méthode a été vérifié par des données expérimentales, la seconde était implémenté dans un FPGA et vérifié par des tests et des mesures.

Le sujet de cette ihèse s'inscrit dans le cadre du projet international Antares dont l'objectif est la construction d'un télescope à neutrînos situé dans un environnement marin au large de Toulon, A de fortes profondeurs, un neutrino a d'autant plus de chance de rentrer en collision avec une molécule d'eau, générant ainsi une réaction en chaîne générant un flash lumineux et une onde sonore. L'objectif de cette thèse est d'étudier cette onde sonore en vue de développer un système capable de détecter le front d'onde correspondant et d'estimer la direction originelle du neutrino. Dans un premier temps, l'étude se porte sur le signal acoustique. Deux descriptions issues de la littérature et de récents travaux effectués au CPPM sont confrontées et aboutissent à une modélisation mathématique du signal et du front d'onde.<br />Dans un second temps, plusieurs méthodes de détection sont étudiées, de la plus classique (étude du rapport de vraisemblance} à des méthodes plus récente (filtrage adapté, classification, etc.). La comparaison expérimentale en situation semi-réelle de celles-ci aboutit au choix de la méthode de détection suivante : le FASE (Filtrage Adapté Stochastique Etendu). Enfin, la position et la direction du neutrino sont estimés par un algorithme dérivé de Gauss-Newton, Cet estimateur se base sur la modélisation du déplacement du front d'onde acoustique et sur les informations temporelles de détection fournies par les hydrophones du télescope. De nombreuses configurations sont testées et les performances du système sont évaluées. Une structure d'hydrophone est proposée et une simulation dite « globale » finalisent cette thèse. Dans celle-ci, les étapes de détection et d'estimation sont basées sur les résultats obtenus précédemment. Les bruits de mer sont des bruits réels issus de campagnes de mesure et les résultats obtenus valident les travaux de cette thèse.

Dans cette thèse nous proposons une nouvelle approche dans le cadre des modèles d'évaluation des actifs financiers permettant de tenir compte de deux aspects fondamentaux qui caractérisent la volatilité latente: co-mouvement des rendements financiers conditionnellement hétéroscédastiques et changement de régime. En combinant les modèles à facteurs conditionnellement hétéroscédastiques avec les modèles de chaîne de Markov cachés, nous dérivons un modèle multivarié localement linéaire et dynamique pour la segmentation et la prévision des séries financières. Nous considérons, plus précisément le cas où les facteurs communs suivent des processus GQARCH univariés. L'algorithme EM que nous avons développé pour l'estimation de maximum de vraisemblance et l'inférence des structures cachées est basé sur une version quasi-optimale du filtre de Kalman combinée avec une approximation de Viterbi. Les résultats obtenus sur des simulations, aussi bien que sur des séries financières sont prometteurs.

Le calcul de réécriture est un lambda-calcul avec filtrage. Cette thèse est consacrée à l'étude de systèmes de types pour ce calcul et à son utilisation dans le domaine de la déduction.<br /><br />Nous étudions deux paradigmes de typage. Le premier est inspiré du lambda-calcul simplement typé, mais un terme peut y être typé sans être terminant. Nous l'utilisons donc pour représenter des programmes et des systèmes de réécriture. La seconde famille de systèmes de types que nous étudions est adaptée des Pure Type Systems. Nous en démontrons la normalisation forte grâce à une traduction vers le lambda-calcul typé.<br /><br />Enfin nous proposons deux approches pour l'utilisation du calcul de réécriture en logique. La première consiste à définir des termes de preuve pour la déduction modulo à l'aide des systèmes fortement normalisants. Dans la seconde, nous définissons une généralisation de la déduction naturelle et nous montrons que le filtrage est utile pour représenter les règles de ce système de déduction.

L'objet de ce travail est l'élaboration d'une méthode permettant d'obtenir<br />des informations géodynamiques à partir des variations à longues périodes<br />du mouvement du satellite artificiel. Les phénomènes à courtes périodes<br />sont parfois difficiles à modéliser précisément, et sont toujours<br />à l'origine de difficultés numériques lors de l'intégration du sytème différentiel du mouvement sur de longues périodes de temps. C'est pourquoi nous proposons d'étudier directement la partie du mouvement ne contenant pas de variations à courtes périodes (périodes inférieures à 1 jour).<br /> Dans l'évolution des variables qui décrivent le mouvement du satellite, il est possible de séparer artificiellement les variations à courtes périodes et les variations à longues périodes (y compris les variations séculaires). Ces dernières décrivent un mouvement fictif que nous désignons par mouvement moyen centré. Nous donnons un algorithme permettant de construire le système différentiel décrivant le mouvement moyen centré par transformation analytique du système initial. Pour la plupart des perturbations, nous avons pu utiliser le formalisme hamiltonien et la théorie des transformations canoniques par méthode de Lie. Nous avons ainsi traité les perturbations dues au potentiel terrestre, à un troisième corps (Lune, Soleil, planétes), aux marées terrestres et océaniques. Cela a nécessité des calculs algébriques très volumineux que nous avons réalisés à l'aide d'un manipulateur de séries.<br />Le système différentiel moyen obtenu peut être intégré numériquement avec un très grand pas de calcul (environ 12 heures au lieu de quelques minutes pour le sytème initial). Le temps de calcul est ainsi divisé par un facteur supérieur à 10 (le gain diffère selon les perturbations) et les erreurs numériques sont insignifiantes. Des calculs précis sur des arcs continus de plusieurs dizaines d'années deviennent alors beaucoup plus accessibles. Les résultats issus de l'intégration peuvent être comparés à des observations<br />convenablement prétraitées. Des observations simulées nous ont permis<br />de valider la méthode.

La recherche du boson de Higgs implique une bonne uniformité de la réponse du calorimètre électromagnétique d'ATLAS pour l'étude de ses canaux leptoniques et photoniques.<br /><br /><br />Dans la première partie de cette thèse, j'ai développé un outil de monitorage fiable pour s'assurer de la qualité des données prises lors de ces tests, démontré que la procédure de production des coefficients de filtrage optimal comporte un artefact qui influe sur l'uniformité de la réponse en énergie d'un module et contribué à la mise en place d'un algorithme de remplacement des coefficients manquants.<br /><br /><br />La seconde partie concerne l'étude du canal q q H -> q q W W -> q q l nu j j pour un Higgs de 300 GeV/c2. Le résultat rapporte dans le TER ne permettait pas d'exploiter ce canal pour une découverte car les distributions du signal et des fonds se confondaient. Grâce à une nouvelle approche plus globale associée à une nouvelle coupure soir la masse du système Wj et à un relâchement de certaines coupures, j'ai montré que ce canal permet la découverte du boson de Higgs ainsi que la mesure du couplage H -> WW.