Les systemes d'edition de documents fondes sur la description logique<br />des composants des documents s'appuient sur les grammaires hors<br />contexte. Ces grammaires assez riches permettent la description des<br />classes de documents (schemas de structure), de leurs composants, des<br />relations hierarchiques et de voisinage que ces derniers entretiennent<br />les uns avec les autres, et d'informations d'ordre semantique<br />associees aux composants sous forme d'attributs. La verification<br />rigoureuse de la compatibilite de types, benefique par ailleurs,<br />induit aussi des inconvenients dont les principaux sont le rejet des<br />couper-coller, l'impossibilite d'editer les documents dont les<br />schemas de structure ont evolue, l'impossibilite de realiser des<br />restructurations en cours d'edition.<br /><br />Le but de cette these est d'etudier l'evolution des types, de<br />proposer des solutions a ces problemes et de les mettre en oeuvre dans<br />le systeme Grif.<br /><br />La these presente, dans une premiere partie, un etat de l'art et les<br />problemes de restructuration dans les systemes d'edition de documents<br />structures (SEDS) en general, notamment l'editeur Grif qui sert de<br />cadre a` cette etude.<br /><br />La deuxieme partie presente une typologie de l'evolution des<br />structures et des attributs et un modele conceptuel de conversion<br />automatique des instances de documents concernees par l'evolution<br />statique de structures. <br /><br />La troisieme partie de cette these presente en trois points un<br />formalisme des types pour les SEDS :<br /><br />1. Un modele mathematique de types dans les SEDS, fonde sur la<br />representation fonctionnelle des caracteristiques structurales des<br />types, qui permet d'exprimer avec rigueur les evolutions possibles de<br />structure.<br /><br />2. Un ensemble de definitions des relations structurales entre types<br />(facteur, sous-typage, massif, compatibilite, equivalence), utiles<br />dans les transformations statiques et dynamiques.<br /><br />3. Une approche grammaticale pour les transformations dynamiques : un<br />schema de structure peut etre transforme en une grammaire<br />algebrique, un document pouvant etre interprete comme un mot du<br />langage issu de cette grammaire. Le langage retenu par la presente<br />these est construit sur un alphabet terminal compose de l'ensemble des<br />types de base du systeme, de l'ensemble des identificateurs des<br />schemas de structure du systeme et de l'ensemble des symboles<br />exprimant la structure des types.

La modelisation statistique en un point d'ecoulements turbulents incompressibles constitue le cadre de ce travail.<br /><br />Dans un premier temps, l'etude du comportement de modeles homogenes classiques de type Rij-epsilon a ete effectuee pour des ecoulements soumis a des effets de rotation. Cette etude a permis de s'interesser plus particulierement a la modelisation du tenseur des correlations pression-deformation et de discuter des contraintes d'objectivite, de realisabilite, et de verification des etats limites de distorsions rapides. Les modeles choisis ont ete testes sur des ecoulements homogenes classiques et compares a des resultats de simulation directe. Les difficultes de prediction des<br />ecoulements fortement rotationnels par ces formulations classiques ont conduit au developpement d'un modele homogene base sur l'equation de transport du tenseur des correlations pression-deformation, dont l'expression est deduite d'une description spectrale de la turbulence. Ce modele necessite la fermeture de trois termes, correspondant au tenseur des taux de dissipation et aux termes lent et rapide de l'equation d'evolution du tenseur de Reynolds. Ses performances ont ete comparees aux modeles classiques dans les cas homogenes precedents et pour des ecoulements de distorsions rapides. Les comparaisons ont montre notamment un meilleur comportement du terme rapide de ce modele par rapport aux formulations classiques.<br /><br /><br /><br /> La prise en compte des effets de paroi constitue la deuxieme partie du travail de these. Trois modeles du second ordre bas-Reynolds ont ete appliques au cas du canal plan etabli. Les comportements asymptotiques des modeles ont ete compares a l'aide de developpements de Taylor au voisinage des parois et de resultats de simulation directe. L'extension du modele developpe precedemment pour<br />des ecoulements homogenes a egalement ete effectuee dans le cas du canal plan.<br /><br /> Le niveau inhabituel de la fermeture proposee rend difficile son application a des configurations tridimensionnelles. La derniere partie de ce travail est par consequent consacree a la validation de fermetures bas-Reynolds classiques, dans le cas d'ecoulements en geometrie complexe. Le comportement de l'un des modeles du second ordre etudie precedemment dans le cas du canal plan est valide sur un cas test tridimensionnel caracterise par un tourbillon longitudinal intense.

Le présent mémoire présente d'une part la recherche dans l'expérience L3 au LEP de particules supersymétriques, les leptons scalaires, dans deux topologies distinctes : " électron + X + Ebaré " et " 2 leptons + 2 photons + Ebaré ", lesquelles correspondent à deux cadres théoriques supersymétriques qui sont respectivement m-SUGRA et GMSB. D'autre part le travail a été complèté par<br />l'étude du calorimètre électromagnétique à cristaux de BGO de L3, et la calibration du calorimètre<br />électromagnétique EGAP. Après une revue des motivations essentielles pour la Supersymétrie sont<br />détaillés les modes de production et de désintégration des leptons scalaires à LEP. Après avoir<br />présenté les outils d'analyse utilisés, sont détaillés les résultats obtenus à partir des données collectées par L3 à des énergies au centre-de-masse comprises entre 183 GeV et 202 GeV. Les<br />critères de sélections permettant d'isoler les événements que l'on recherche, et les efficacités ainsi<br />que les taux de bruit de fond en provenance du Modèle Standard auxquels on peut s'attendre<br />sont présentés. L'interprétation des résultats des recherches dans les deux cadres m-SUGRA et<br />GMSB font l'objet d'un cinquième chapitre. On a pu en tirer des limites inférieures sur les masses<br />des leptons scalaires qui ne dépendent pas des paramètres libres du modèle supersymétrique, en<br />particulier sur la masse du sélectron dans le cadre de m-SUGRA qui est :<br />M > 71:2 GeV

La matiere sombre est omnipresente a plusieurs echelles de l'univers (galaxie, amas de galaxies, univers dans son ensemble). Cette matiere joue un role important en cosmologie et ne peut etre totalement expliquee par de la physique conventionnelle. Du point de vue de la physique des particules, il existe une extension du modele standard : le modele supersymetrique qui predit l'existence sous certaines conditions de nouvelles particules stables massives interagissant faiblement avec la matiere ordinaire. Outre la recherche active en detecteurs de ces nouvelles particules, il existe de nombreuses signatures indirectes accessibles aux etudes astrophysiques.<br /><br />Cette these se concentre sur une de ces signatures la desintegration de ces particules peut donner des antiprotons que nous devrions voir dans les rayons cosmiques. La presente etude s'interesse a l'evaluation du bruit de fond correspondant a ce signal i.e. les antiprotons issus de l'interactions entre ce rayonnement cosmique noyaux et la matiere du milieu interstellaire. En particulier, la meconnaissance de ce bruit de fond etant principalement due aux incertitudes liees aux parametres de diffusion, la majeure partie de cette these porte sur la propagation des noyaux.<br /><br />Le premier tiers de la these introduit la propagation des rayons cosmiques dans notre galaxie en insistant sur les processus nucleaires responsables de la fragmentation des noyaux. Dans le second tiers les differents modeles de propagation sont passes en revue et en particulier les liens entre le modele du Leaky Box et le modele de diffusion sont rappeles : la reacceleration ainsi que la convection y sont aussi discutees. Ceci donne ensuite lieu a un discussion qualitative sur l'information que nous pouvons extraire de la propagation des noyaux. Dans le dernier tiers, nous presentons finalement les solutions detaillees du modele de diffusion a deux dimensions ainsi que les contraintes obtenues sur les parametres de propagation. L'application de ces parametres au calcul du spectre de fond d'antiprotons secondaires conclut le travail de these.<br /><br />Le code de propagation realise pour les noyaux et les antiprotons sous la forme decrite dans cette these a fait ses preuves en tant qu'outil d'analyse. Son usage sera sans aucun doute d'une grande utilite pour l'experience AMS sur la station spatiale internationale en 2003.

Cette these porte sur l'utilisation du formalisme bayesien pour la repr´esentation et la manipulation des incertitudes geometriques dans les systemes de Robotique et de CAORobotique. Dans ces systemes, l'utilisation d'un modele geometrique de l'environnement est indispensable. Toutefois, la validite des calculs conduits sur ces mod`eles n´ecessite une repr´esentation des ecarts entre le modele et la realite et une prise en compte de ces ecarts lors de la resolution d'un probleme donne. L'approche proposee repr´esente une extension de la notion de specification par contraintes geometriques dans laquelle la dimension incertaine des modeles est prise en compte. Cette extension consiste a specifier les contraintes sur les positions relatives entre diff´erents corps de l'environnement non pas par de simples equations et inequations, mais par des distributions de probabilite sur les parametres de ces positions. A l'issue de cette specification, une distribution conjointe sur l'ensemble des parametres du modele est construite. Pour un probleme donne, la distribution marginale sur les parametres inconnus de ce dernier est inferee en utilisant les regles des probabilites. La resolution de ce probleme revient a optimiser cette distribution comportant, dans le cas general, une integrale portant sur un espace de grande dimension. La methode de resolution utilisee pour approcher ce double probleme d'integration/optimisation est basee sur un algorithme genetique. Cet algorithme permet en particulier de controler la precision de l'estimation numerique des integrales par une m´ethode stochastique de Monte-Carlo. L'implantation d'un systeme prototype de CAO nous a permis une experimentation assez poussee de l'approche propos´ee. La mise en oeuvre de plusieurs applications robotiques, dont les natures peuvent paraıtre tres differentes, a ete possible grace a la souplesse de la methode de specification utilisee et la robustesse de la methode de resolution implantee.

Le cycle hydrologique est une composante clef du climat de la Terre et sa compréhension repose à la fois sur les observations et sur les simulations de ses différents aspects, tels le transport, les changements de phase ou encore ses interactions avec le rayonnement. Les satellites géostationnaires METEOSAT ont, à leur bord, des radiomètres qui observent, dans l'infrarouge, la vapeur d'eau d'une large couche de la troposphère des régions tropicales et subtropicales de la région Afrique / Océan Atlantique. Disponibles depuis les années 80, ces observations dites "Vapeur d'Eau" donnent ainsi la possibilité d'étudier la distribution de la vapeur d'eau de la troposphère libre tropicale et sa variabilité depuis des échelles de temps journalières jusqu'à des échelles décennales. Dans cette thèse, une archive d'humidité de la troposphère libre (Free Tropospheric Humidity -FTH-), de haute résolution spatiale (0,625°x0,625°) et temporelle (3h), est élaborée à partir des observations IR de la succession des satellites METEOSAT (MET-2 à MET-5), dont l'étalonnage est ajusté sur celui du canal 12 du sondeur HIRS (NOAA-12) pris comme référence. En ciel clair, nous montrons que les mesures "VE" des régions tropicales et subtropicales s'interprètent en terme d'humidité relative moyenne d'une couche variable de l'atmosphère, définie de façon précise par le jacobien d'humidité relative, décrivant la sensibilité de la mesure à des perturbations locales relatives du profil d'humidité relative. Les nuages de basse altitude affectant la mesure "VE" de façon négligeable, ceux-ci sont échantillonnés, en plus du ciel clair, à partir des informations sur la nébulosité issues de l'analyse multi-spectrale ISCCP. Cette sélection des nuages bas amène une meilleure représentation des régions subtropicales et du proche environnement convectif. Des analyses de la distribution de la vapeur d'eau troposphérique sont menées et révèlent l'importance de la variabilité relative de la FTH des zones sèches subtropicales, notamment pour la région de l'Est de la Méditerranée. A l'échelle intrasaisonnière, l'utilisation d'un modèle de transport lagrangien permet de montrer que l'humidité relative à 500hPa de cette région de subsidence est caractérisée par un mélange de masses d'air tropicales et extra-tropicales, provenant de zones plus ou moins froides de la troposphère. La base de données est également utilisée dans le but d'évaluer les simulations de modèles de climat, dans le cadre d'un exercice international d'intercomparaison, montrant la difficulté des modèles à reproduire la variabilité interannuelle de la FTH des régions sèches subtropicales.

La thèse est consacrée à l'étude d'un analogue du problème de Riemann-Hilbert et de déformations isomonodromiques pour les solutions de l'équation de Dirac sur le cylindre. L'objectif est de faire un lien entre la théorie de déformation et les fonctions de corrélation dans certains modèles intégrables en théorie quantique des champs dans le volume fini. Dans une première partie, nous étudions des solutions multivaluées de l'équation de Dirac, qui réalisent une représentation unitaire de dimension 1 du groupe fondamental du cylindre avec n points marqués. Nous introduisons et étudions la base canonique des solutions, la fonction de Green et la fonction tau de l'opérateur de Dirac singulier. Dans une seconde partie, nous obtenons, de deux facons différentes, les équations différentielles nonlinéaires satisfaites par les fonctions de corrélation du modéle d'Ising sur le cylindre.

L'ESSOR DES TÉLÉCOMMUNICATIONS À L'ÉCHELLE MONDIALE QU'A CONNU LA FIN DU XXÈME SIÈCLE A ÉTÉ RENDU POSSIBLE PAR L'EXISTENCE DE RÉSEAUX À BASE DE FIBRES OPTIQUES, CAPABLES DE TRANSMETTRE DES FLUX DE DONNÉES IMPORTANTS SUR DE LONGUES DISTANCES. LA GESTION DE CES IMPORTANTS FLUX D'INFORMATION EN AMONT ET EN AVAL DE LA FIBRE REQUIERT DES CIRCUITS ÉLECTRONIQUES NUMÉRIQUES ET ANALOGIQUES TRAITANT DES DÉBITS DE DONNÉES SUPÉRIEURS À 40GB/S, CE QUI IMPLIQUE L'UTILISATION DE COMPOSANTS TRÈS RAPIDES, AVEC DES FRÉQUENCES DE TRANSITION AU-DELÀ DE 150GHZ. GRÂCE AUX REMARQUABLES PROPRIÉTÉS DE LA FAMILLE DE MATÉRIAUX III-V EN TERMES DE TRANSPORT ÉLECTRIQUE, LE TRANSISTOR BIPOLAIRE À HÉTÉROJONCTION GAINAS/INP SE CLASSE COMME L'UN DES TRANSISTORS LES PLUS RAPIDES ACTUELLEMENT, ET PERMET LA RÉALISATION DE TELS CIRCUITS OPÉRATIONNELS À TRÈS HAUTE FRÉQUENCE. LA MISE EN PLACE D'UNE FILIÈRE COMPLÈTE DE FABRICATION DE CIRCUITS À BASE DE TBH NÉCESSITE QUE SOIT MAÎTRISÉ UN GRAND NOMBRE D'ÉTAPES. UN CERTAIN NOMBRE D'ENTRE ELLES TOUCHE DIRECTEMENT AU COMPOSANT: CONCEPTION, ÉPITAXIE, FABRICATION TECHNOLOGIQUE, CARACTÉRISATION... A CES ÉTAPES DOIT ÊTRE AJOUTÉE UNE CERTAINE COMPRÉHENSION DES PHÉNOMÈNES PHYSIQUES INTERVENANT DANS LE DISPOSITIF. DANS CE TRAVAIL DE THÈSE, LES PROBLÉMATIQUES LIÉES À L'OPTIMISATION DU TBH GAINAS/INP, AINSI QUE CERTAINES QUESTIONS RELATIVES AUX MÉCANISMES PHYSIQUES MIS EN JEU SONT PRÉSENTÉES.

Ce travail de thèse porte sur l'analyse et la synthèse de sons impulsifs. Une des particularités de cette étude réside dans son approche pluridisciplinaire. Elle fait notamment appel à la mécanique vibratoire, aux méthodes de traitement de signaux non stationnaires et à la psychoacoustique. Dans le but d'établir des méthodes de synthèse efficaces, il est de plus en plus courant d'allier plusieurs approches qui peuvent être complémentaires. D'un point de vue physique, un son impulsif est le résultat de la mise en vibration d'un système résonant en régime d'oscillations libres. D'un point de vue perceptif, de nombreux tests psychoacoustiques montrent que l'oreille est capable d'identifier un son impulsif à partir de son amortissement (caractéristique du matériau) ainsi que de son contenu spectral qui définit la hauteur tonale (caractéristique de la géométrie de la structure). Cette étude a débouché sur la mise en oeuvre de modèles de synthèse permettant de simuler le comportement vibratoire de structures simples unidimensionnelles (du type poutre) et multidimensionnelles (du type membrane ou plaque mince) qui sont basés, lorsque cela est possible, sur la modélisation physique de la structure. Les paramètres des modèles sont définis par l'analyse de sons naturels et des grandeurs physiques caractéristiques. Par ailleurs, un modèle de synthèse a pu être mis en uvre dans le cas de structures plus complexes où les solutions analytiques ne sont pas connues. Dans ce cas, les paramètres du modèle sont directement estimés par l'analyse d'une représentation conjointe du son, du type temps-échelle, en prenant en compte des grandeurs perceptives caractéristiques. Enfin, une application concernant la synthèse du son de piano est décrite. Un des modèles de synthèse a été utilisé pour reproduire la réponse impulsionnelle de la table d'harmonie du piano, qui est une structure multidimensionnelle complexe. Les paramètres du modèle ont été estimés à partir de l'analyse de signaux expérimentaux obtenus par des mesures effectuées sur un piano placé en chambre anéchoïque. Dans le cadre de la réalité virtuelle sonore, des fonctions de transfert de la table d'harmonie et de son rayonnement acoustique ont également été estimées afin de reproduire virtuellement le champ acoustique au niveau de la tête d'un pianiste.

Cette these s'inscrit dans le domaine de l'ingenierie des Interfaces Homme-Machine. Elle a pour theme la conception et la realisation des systemes interactifs. Parmi ces systemes, nous etudions les interfaces utilisateur qui integrent les aspects innovants de la technologie actuelle en communication homme-machine : les systemes a caracteristiques multiples. L'approche adoptee s'appuie sur une analyse conceptuelle des systemes e caracteristiques multiples en prenant en compte a la fois les activites du systeme et de lÕutilisateur. Cette etude nous conduit a distinguer des etapes dans les mecanismes d'abstraction et de concretisation des informations echangees entre l'utilisateur et le systeme que nous organisons en un canevas : l'espace Pipe-lines. De l'espace Pipe-lines, canevas integrateur des activites de l'utilisateur et du systeme, nous derivons une methode de raisonnement et de classification des systemes en fonction de leurs utilisations : la methode UOM. En adoptant comme fondement l'espace Pipe-lines, nous identifions les besoins pour la realisation logicielle. Nous proposons un modele d'architecture logicielle, PAC- Amodeus qui repond a ces besoins. Ce modele est complete d'un guide d'application constitue d'un ensemble de regles heuristiques que nous avons concretisees par un systeme expert PAC-Expert. En symbiose avec PAC-Amodeus, nous proposons un moteur de fusion des informations specifiees par l'utilisateur. De part ses criteres et sa technique de representation des informations, le moteur est generique. PAC-Amodeus correle au moteur de fusion constitue une plate-forme pour la realisation logicielle de systemes a caracteristiques multiples.