271 |
Conception et modelisation logicielles des systemes interactifs : application aux interfaces multimodalesNigay, Laurence 28 January 1994 (has links) (PDF)
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.
|
272 |
Environnement d'exécution parallèle : conception et architectureMaciel Da Costa, Celso 21 October 1993 (has links) (PDF)
L'objectif de cette these est l'etude d'un environnement d'execution pour machines paralleles sans memoire commune. Elle comprend la definition d'un modele de programme parallele, base sur l'echange de message offrant une forme restreinte de memoire partagee. La communication est indirecte, via des portes; les processus utilisent les barrieres pour la synchronisation. Les entites du systeme, processus, portes et barrieres, sont creees dynamiquement, et placees sur un processeur quelconque du reseau de processeurs de facon explicite. Nous proposons une implantation de ce modele comme la mise en oeuvre systematique d'une architecture client/ serveur. Cette implantation a ete effectuee sur une machine Supernode. La base est un Micro Noyau Parallele, ou le composant principal est un mecanisme d'appel de procedure a distance minimal.
|
273 |
Résolution dans des bolomètres équipés de couches minces d'isolant d'Anderson pour des événements impliquant des reculs de noyauxJuillard, Alexandre 25 October 1999 (has links) (PDF)
Les bolomètres sont des détecteurs fonctionnant à très basse température et mesurant l'énergie déposée par les effets thermiques induits. Toutes les excitations dans un solide finissant sous forme de chaleur (phonons), les bolomètres sont des détecteurs universels capables de mesurer l'énergie de rayonnements ionisants ou non.<br> La résolution ultime d'un bolomètre, du point de vue de la thermodynamique, décroît sans limites avec la température, cependant, dans le cas d'événements impliquant des reculs de noyaux dans un absorbeur solide, des mécanismes de piégeage de l'énergie peuvent limiter la résolution à des valeurs bien plus élevées. Nous avons analysé ces phénomènes dans la perspective d'appréhender la limite en résolution pour la détection d'ions éventuellement sur faisceau et dans la recherche de WIMPs, hypothétiques composants de la Matière Noire non baryonique.<br> Nous avons élaboré et caractérisé des bolomètres de masses et de géométries diverses, tous équipés de senseurs thermométriques en couches minces de NbxSi1-x. Les propriétés de ces couches en tant qu'isolant d'Anderson, ainsi que leur sensibilité aux phonons hors d'équilibre ont été étudiées. Nous avons ainsi comparé et interprété les résolutions expérimentales obtenues en régime thermique et athermique. La meilleure résolution que nous avons obtenue est de 0.34%, soit 18 keV sur des particules alpha de 5.5 MeV. Ce résultat est au dessus de nos estimations théoriques, nos bolomètres ont donc une importante marge de progression possible.
|
274 |
Approches experimentales et theoriques de la dynamique du noyau terrestre : tourbillon geostrophique de gallium liquide dans un champ magnetique, anisotropie et rotation de la graine, chemins d'inversionBrito, Daniel 06 January 1998 (has links) (PDF)
J'ai étudié durant ma thèse quatre problèmes physiques et magnétohydrodynamiques intervenant dans le noyau terrestre. Chaque étude fait l'objet d'une partie indépendante de ce mémoire. Les deux premières parties s'appuient sur des expériences en laboratoire et les deux dernières reposent sur des calculs théoriques et numériques. La première partie traite de l'étude expérimentale d'un tourbillon vertical de métal liquide (gallium) soumis à un champ magnétique transverse. Nous avons étudié l'effet simultané des forces de Coriolis (dues à la rotation) et des forces de Lorentz (dues au champ magnétique) sur une structure dynamique analogue à celles qui pourraient* être présentes dans le noyau liquide (colonnes convectives geostrophiques). Les mesures expérimentales (vitesse du fluide, champ magnétique induit, différences de potentiels électriques, température) sont interprétées à l'aide d'un modèle rendant compte de la dynamique du tourbillon et de la distribution des courants électriques en son sein . Les forces de Coriolis rigidifient l'écoulement selon l'axe de rotation alors que l'effet principal du champ magnétique est d'une part, de freiner le fluide, et d'autre part, d'agrandir la partie centrale du tourbillon; cet élargissement concorde avec la présence de colonnes géostrophiques de grand diamètre dans le noyau liquide. Les mesures expérimentales de dissipation ohmique (effet Joule) ont permis de montrer quant à elles que le champ magnétique toroïdal de grande échelle dans le noyau liquide ne peut excéder 25 mT si la convection s'y déroule sous la forme de colonnes géostrophiques. La deuxième partie traite de cristallisation expérimentale de gallium . L'objectif est cette fois de comprendre l'origine de l'anisotropie élastique de la graine terrestre. Nous avons suivi expérimentalement les vitesses de cristallisation et analysé la texture des cristaux de gallium. L'anisotropie élastique mesurée au sein des polycristaux de gallium (méthode ultrasonore) montre que l'orientation des axes cristallins n'est pas déterminée par la direction du flux de chaleur, mais plutôt guidée par l'orientation de germes initiaux. Nous avons de plus montré que la texture des cristaux de gallium est indépendante des conditions de solidification tels la vigueur de l'écoulement ou le champ magnétique imposé. Il est conclu que l'anisotropie de la graine pourrait être causée par une orientation préférentielle du réseau cristallin de fer, cette orientation étant déterminée par les germes initiaux présents au centre de la graine. La troisième partie traite d'un problème de couplage électromagnétique entre le noyau liquide et la graine solide; ce travail est motivé par de récentes études sismologiques s'attachant à mesurer une rotation différentielle de la graine par rapport au manteau terrestre. Nos simulations numériques montrent que le couplage électromagnétique est extrêmement efficace entre la graine et le noyau: le couple synchronise la vitesse de rotation de la graine solide à la vitesse du fluide avoisinant dans le noyau liquide. Dans le cadre de nos hypothèses, une relation est établie entre le champ magnétique toroïdal présent dans le noyau liquide et la superrotation de la graine; cette relation suggère qu 'une détermination précise de la rotation différentielle de la graine pourrait donner accès à l'intensité du champ magnétique toroïdal présent dans les profondeurs du noyau. La quatrième partie traite d'un problème de couplage électromagnétique entre le noyau liquide et le manteau solide; nous avons étudié l'influence d'une couche D" hétérogène (en conductivité électrique) présente à la base du manteau sur les chemins d'inversion d'un dipôle magnétique. Le couplage électromagnétique hétérogène résulte en une rotation différentielle entre le noyau et le manteau; cette rotat ion est très lente (à l'échelle de temps des inversions) et ne peut expliquer l'existence éventuelle d'un confinement longitudinal des Pôles Géomagnétiques Virtuels (PGV) pendant les inversions du champ magnétique.
|
275 |
Méthodologie d'écriture de compilateurs - une expérience du langage ALGOL 68Cunin, Pierre-Yves, Simonet, Michel, Voiron, Jacques 22 April 1976 (has links) (PDF)
.
|
276 |
Modèle dynamique et assimilation de données de la variation séculaire du champ magnétique terrestreCanet, Elisabeth 10 December 2009 (has links) (PDF)
Les changements du champ magnétique terrestre sur une grande gamme d'échelles spatiales et temporelles reflètent les processus variés de la éeodynamo. Je propose un modèle simplifié de la dynamique rapide du noyau, adapté à l'étude des variations du champ magnétique de l'année au siècle ; la variation séculaire. L'hypothèse quasi-géostrophique du modèle est basée sur la prépondérance des forces de rotation par rapport aux forces magnétiques à ces échelles de temps. La partie axisymétrique correspond au formalisme d'ondes de torsion d'Alfvén. La dynamique se place dans le plan équatorial. A la frontière noyau-manteau, l'écoulement interagit avec le champ magnétique radial via la composante radiale de l'équation d'induction. Cette partie du modèle connecte la dynamique et les observations. L'assimilation variationnelle de données permet d'interpréter la variation séculaire en terme de dynamique. Une fonction objectif est minimisée en calculant sa sensibilité par rapport aux variables de contrôle via l'intégration du modèle adjoint. J'illustre cette inversion par des expériences jumelles pour un écoulement stationnaire dans le noyau et pour des ondes de torsion. On accède ainsi à des variables d'état qui ne sont pas directement observées. En utilisant comme observations des écoulements reconstruits à la surface du noyau, cette méthode permet de déduire que la tension magnétique dans le noyau, force de rappel des ondes de torsion, correspond à un champ magnétique fort, au minimum 3-4 mT. De telles ondes de torsion rapides sont cohérentes avec un signal à 6 ans dans les données de variations de la longueur du jour.
|
277 |
Analyse des perturbations orbitales d'un satellite autour de Mars/Orbital perturbations analysis of a spacecraft around MarsDuron, Julien 11 June 2007 (has links)
Mars est entourée d'une atmosphère ténue, composée à 95% de dioxyde de carbone (CO2). Au cours d'une année martienne, des transferts de masse (jusqu'à 30% du CO2 atmosphérique) entre l'atmosphère et les calottes polaires produisent des variations temporelles à très grande longueur d'onde du champ de gravité, notamment des harmoniques zonaux de
son développement en harmoniques sphériques (de fait les coefficients ”composites” de degré 2 et 3). D'un autre côté, le potentiel gravitationnel du Soleil induit des déformations, dites de marée, du volume martien. Ces déformations produisent un potentiel perturbateur en tout point extérieur à la planète, proportionnel à son nombre de Love de degré 2 k2. k2 traduit la réponse élastique de la planète au potentiel solaire et permet de
caractériser physiquement le noyau de Mars (sa nature, solide ou liquide, et son rayon). Une manière de quantifier les transferts de la masse
atmosphérique et l'état du noyau est de déterminer les perturbations inhérentes sur le mouvement d'un satellite artificiel.
Le cycle saisonnier du CO2 et l'état du noyau impliquent aussi des variations de la rotation de Mars. Une autre manière de quantifier les transferts de la masse atmosphérique et l'état du noyau est donc d'observer leurs effets sur la rotation.
Des simulations d'observations de trajectographie de satellites (comme celles de Mars Global Surveyor, MGS, Odyssey, MODY) et/ou de la position d'un réseau de stations à la surface de Mars (comme dans l'expérience NEIGE) nous ont permis de voir s'il est possible de restituer précisément les variations des harmoniques zonaux de gravité de bas degré et/ou la rotation.
Avec les observations réelles de trajectographie des missions américaines MGS et MODY, on a restitué les variations des harmoniques zonaux de gravité de bas degré et k2.
|
278 |
Caractère reconnaissable densembles de polynômes à coefficients dans un corps finiWaxweiler, Laurent 11 December 2009 (has links)
Nous nous plaçons dans le cadre de l'anneau des polynômes sur un corps fini. Si P est un polynôme de degré au moins 1, tout polynôme Q se décompose de manière unique sous la forme d'une combinaison linéaire de puissances de P, dont les coefficients sont des polynômes dont le degré est strictement inférieur à celui de P. À une telle décomposition, nous associons un mot que nous appelons la P-représentation du polynôme Q. Un ensemble de polynômes est alors qualifié de P-reconnaissable si il existe un automate fini déterministe qui accepte l'ensemble des P-représentations de ses éléments.<BR><BR>
Dans cette thèse, nous montrons que les ensembles P-reconnaissables sont exactement ceux qui sont définissables par une formule du premier ordre dans une certaine structure S(P) basée sur un prédicat dépendant du polynôme P. Nous donnons aussi une caractérisation des ensembles P-reconnaissables en terme de suites P-automatiques. Nous apportons également une réponse partielle à la question de savoir quels sont les ensembles reconnaissables simultanément dans toutes les bases de degré au moins 1. Finalement, nous montrons que si P et Q sont deux polynômes de degré au moins 1 et multiplicativement indépendants, alors la multiplication est définissable dans la réunion des structures S(P) et S(Q).
|
279 |
Analyse mathématique de modèles de dynamique des populations : équations aux dérivées partielles paraboliques et équations intégro-différentiellesGarnier, Jimmy 18 September 2012 (has links) (PDF)
Cette thèse porte sur l'analyse mathématique de modèles de réaction-dispersion. L'objectif est de comprendre l'influence du terme de réaction, de l'opérateur de dispersion, et de la donnée initiale sur la propagation des solutions de ces équations. Nous nous sommes intéressés principalement à deux types d'équations de réaction-dispersion : les équations de réaction-diffusion où l'opérateur de dispersion différentielle est le laplacien et les équations intégro-différentielles pour lesquelles l'opérateur de dispersion est de type convolution. Dans le cadre des équations de réaction-diffusion en milieu homogène, nous proposons une nouvelle approche plus intuitive concernant les notions de fronts progressifs tirés et poussés. Cette nouvelle caractérisation nous a permis de mieux comprendre d'une part les mécanismes de propagation des fronts et d'autre part l'influence de l'effet Allee, correspondant à une diminution de la fertilité à faible densité, lors d'une colonisation. Ces résultats ont des conséquences importantes en génétique des populations. Dans le cadre des équations de réaction-diffusion en milieu hétérogène, nous avons montré sur un exemple précis comment la fragmentation du milieu modifie la vitesse de propagation des solutions. Enfin, dans le cadre des équations intégro-différentielles, nous avons montré que la nature sur- ou sous-exponentielle du noyau de dispersion $J$ modifie totalement la vitesse de propagation. Plus précisément, la présence de noyaux de dispersion à queue lourde ou à décroissance sous-exponentielle entraîne l'accélération des lignes de niveaux de la solution.
|
280 |
Fragmentation des Quarks et Formation des Hadrons dans la Matière NucléaireDupré, Raphaël 09 November 2011 (has links) (PDF)
La formation des hadrons est, dans le cadre de la théorie quantique de couleur (QCD), un processus non-perturbatif ; cette caractéristique entraîne d'importantes difficultés théoriques. C'est pourquoi, les mesures expérimentales de fragmentation dans différents noyaux sont une nécessité afin d'obtenir des progrès tangibles dans la compréhension des mécanismes de formation des hadrons. La thèse commence par les bases théoriques nécessaires à une telle approche, suivies des principaux modèles qui lui sont associés.La thèse se poursuit par l'analyse de données de Jefferson Lab obtenues à l'aide d'un faisceau d'électrons de 5 GeV incident sur différentes cibles (2H, C, Al, Fe, Sn et Pb). Les produits de la réaction sont mesurés avec le spectromètre CLAS. Les principaux résultats de cette expérience sont : (a) l'analyse multi-dimensionnelle des observables mesurées, qui permet une meilleure confrontation avec les modèles théoriques et l'extraction d'informations temporelles sur la fragmentation, et (b) l'observation d'une atténuation hadronique non-linéaire en fonction du rayon du noyau cible. Dans une partie plus théorique, le générateur d'événements PyQM, développé dans le but de reproduire les données de la collaboration HERMES, est présenté. Les résultats sont mitigés, en effet la base théorique utilisée ne semble pas s'appliquer au cas étudié, néanmoins certaines caractéristiques des données sont reproduites permettant de comprendre leurs origines parfois inattendues. Enfin, les possibilités d'expériences futures, à Jefferson Lab et dans un collisionneur ion-électron (EIC), sont explorées.
|
Page generated in 0.0766 seconds