Pour pallier le manque de connaissances sur la biogéographie des diatomées nordiques, le recueil d'un maximum d'informations est encouragé. Rassembler les données paléolimnologiques régionales permet d'effectuer des analyses écologiques et environnementales dans un contexte géographique plus large. La Circumpolar Diatom Database (CDD), un projet initié en 1997 par le Laboratoire de Paléoécologie Aquatique (LPA), tente de répondre à ces besoins. Toutefois, cette première version de la CDD comporte certaines lacunes, dont l'insertion de données de type « Z » (niveau de carottage) et l'implantation dans un système d'information géographique (SIG). L'objectif principal de cette étude est de développer une nouvelle structure de base de données relationnelle particulièrement adaptée aux données paléolimnologiques favorisant l'archivage, la consultation et la représentation cartographique des données à l'échelle circumpolaire. En second lieu, ce projet vise à tester le potentiel d'implantation de la CDD dans un SIG et d'entrevoir sa diffusion au sein de la communauté scientifique. Les étapes méthodologiques de développement d'un système d'information ont mené à la création d'un modèle de base de données relationnel composé par langage SQL. Une liste de références taxonomiques a été réalisée par l'unification de plusieurs listes existantes. Une interface utilisateur a été développée sous forme de formulaires MS Access facilitant la consultation des résultats. L'utilisation de la CDD a été testée dans ArcGIS par une connexion OLE DB et par conversion en « Personal Geodatabase ». La collecte de données a permis de tripler le volume d'informations de la nouvelle CDD. Elle renferme maintenant quelque 572 sites d'échantillonnage, 39 350 données d'occurrence et 15 000 données limnologiques. Sa couverture s'étale sur huit régions circumpolaires arctiques réparties sur trois continents : Amérique du Nord, Europe et Asie. Jusqu'à maintenant, la couverture spatiale de la CDD permet difficilement d'effectuer des analyses sur une vaste échelle. Il est donc primordial d'encourager la communauté paléolimnologique à contribuer davantage au projet. Ce projet a généré un système d'information exploitable, et les phases d'implantation et de distribution pourront être entreprises en fonction de l'avenir souhaité pour la CDD et des ressources disponibles.

En cherchant à connaitre les origines de la vie sur Terre, on se demande également si elle peut se trouver ailleurs. Malgré le fait que Mars nous est voisine et qu'elle ne semble pas en démontrer la présence, on désire toutefois l'étudier et la comparer avec la Terre. Pour y arriver, l'Homme a recours à la technologie : les télescopes, satellites, sondes et robots servent à observer Mars. À chacune des expéditions d'observation de Mars, nous cherchons à en connaître davantage et améliorons en conséquence la technologie utilisée. C'est pour cela que la prochaine génération de véhicules d'exploration planétaire nécessitera une plus grande autonomie de navigation. De tels requis impliquent une gestion adéquate de données géoréférencées potentiellement volumineuses et denses, représentées sous la forme de cartes. Ce mémoire présente l'état des recherches faites sur un système de gestion de données utilisable dans un contexte d'exploration planétaire autonome. Pour valider un tel système, il a fallu utiliser, mais ,également constituer, un répertoire de cartes en trois dimensions ayant été géoréférencées. Afin d'obtenir un répertoire représentatif du contexte d'utilisation, il a également été nécessaire de développer un comportement d'exploration et de navigation sur une plateforme robotisée, capable d'acquérir les cartes requises. À l'aide de ce répertoire, il a été possible de vérifier les capacités, les performances ainsi que l'exactitude des opérations effectuées à l'aide du système de gestion proposé. Un article intégré au mémoire présente la conception d'un tel système de gestion de données, ainsi qu'une solution permettant de gérer dynamiquement une variété de données, l'incertitude des relations spatiales entre deux cartes, de procurer un mécanisme de planification de chemins au travers des cartes, ainsi que la corrélation des cartes pour les opérations de localisation. Cet article présente également les résultats expérimentaux sur l'utilisation du système de gestion atlas par un véhicule d'exploration autonome. En plus de démontrer la faisabilité et l'utilité d'un tel gestionnaire de données en navigation autonome, le système pourrait également être utilisé comme plateforme d'analyse afin de comparer les performances de différents algorithmes de recalage de surfaces.

Le développement d'applications sur réseaux mobiles ad hoc présente des contraintes liées à la mobilité des terminaux, à la nature décentralisée des manets, et aux ressources limitées, et nécessite donc la mise en place d'une algorithmique nouvelle. Cette thèse propose des algorithmes permettant la mise en place d'un système de partage de données sur manet : - un algorithme de création de grappes de terminaux mobiles stables dans le temps, qui présente l'avantage de ne pas utiliser de ressources réseaux (utilisation informations inter-couches). - un algorithme de réplication de données pro-actif, qui maintien un nombre de répliques k proportionnel au nombre de terminaux présents et les place sur les terminaux les plus susceptibles de les utiliser. Cela augmente la disponibilité et la fiabilité du service. - un algorithme de gestion de cache, qui maintient le nombre de répliques au minimum permettant un usage efficace du réseau et offrant une bonne disponibilité. D'une part, il élimine les données utilisées le moins récemment et dont le nombre de répliques est supérieur à k. D'autre part, il diminue la charge réseau en éliminant les répliques de données non utilisées par leur hôte.

Pour permettre une plus grande capacité de calcul les concepteurs de systèmes embarqués se tournent aujourd'hui vers les MPSoC. Malheureusement, ces systèmes sont difficiles à programmer. Un des problèmes durs est l'expression et l'optimisation des réorganisations de données au sein d'un programme. Dans cette thèse nous souhaitons proposer une chaîne de compilation qui : 1) propose une syntaxe simple et haut-niveau pour exprimer le découpage et la réorganisation des données d'un programme parallèle ; 2) définisse une exécution déterministe du programme (critique dans le cadre des systèmes embarqués) ; 3) optimise et adapte les programmes aux contraintes de l'architecture. Pour répondre au point 1) nous proposons un langage haut-niveau, SLICES, qui permet de décrire les réorganisation de données à travers des découpages multidimensionnels. Pour répondre au point 2) nous montrons qu'il est possible de compiler SLICES vers un langage de flots de données, SJD, qui s'inscrit dans le modèle des Cyclostatic Data-Flow et donc admet une exécution déterministe. Pour répondre au point 3) nous définissons un ensemble de transformations qui préservent la sémantique des programmes SJD. Nous montrons qu'il existe un sous-ensemble de ces transformations qui génère un espace de programmes équivalents fini. Nous proposons une heuristique pour explorer cet espace de manière à choisir la variante la plus adaptée à notre architecture. Enfin nous évaluons cette méthode sur deux problèmes classiques : la réduction de la mémoire consommée et la réduction des communications d'une application parallèle.

Si la pertinence de la prise en compte de la météorologie dans la gestion du trafic est bien admise, son intégration dans les outils d'aide à la décision et les stratégies de contrôle représente encore un enjeu réel pour les gestionnaires d'infrastructures. En effet, cette avancée semble légitimée par les effets significatifs d'une météorologie dégradée sur la sécurité des usagers et le comportement des conducteurs. Ainsi, au niveau de la sécurité, un sur-risque d'accident a été mis en évidence par de nombreux travaux. Or, l'étiologie de ce risque augmenté ne permet pas seulement de démontrer l'impact d'évènements météorologiques extrêmes et ponctuels (ex : tempêtes de neige), mais égalementcelui de phénomènes récurrents (ex : la pluie). La baisse de la sécurité des conducteurs se traduit concrètement par un changement de comportements des usagers (vitesses, temps inter-véhiculaires) mais aussi du flot de véhicules en général (vitesse, débit, concentration), ceci influant de manière conséquente sur la mobilité. De fait, la pluie représente ainsi la seconde cause de congestion ponctuelle.Pourtant, malgré ces enjeux indéniables, les effets de la météorologie sur le trafic demeurent mal quantifiés et ne sont guère intégrés à la modélisation ou l'estimation du trafic. Ce travail de thèse se propose ainsi de contribuer à une meilleure compréhension des effets météorologiques sur le trafic, en se focalisant sur des phénomènes de précipitations en milieu interurbain. Partant d'un état de l'art de l'impact météorologique sur le trafic, il nous est apparu que les études existantes, par leurs carences, soulèvent le besoin de fonder une méthodologie d'analyse plus rigoureuse. Cette méthodologie, une fois clairement définie, a ensuite été appliquée à des données opérationnelles. Elle nous a permis de quantifier les effets de la pluie à plusieurs niveaux selon l'échelle de représentation abordée : au niveau microscopique, considérant le comportement individuel des conducteurs, les analyses statistiques mettent en lumière des effets sur les vitesses, les temps et les distances inter-véhiculaires. Ces effets se reflètent au niveau macroscopique (celui du flot de véhicules) avec des variations de débits, de vitesses du flot et, de façon générale, de l'ensemble des paramètres formant le diagramme fondamental du trafic. Les résultats empiriques nous semblent ainsi ouvrir la voie à l'intégration du phénomène météorologique à la modélisation du trafic.Partant, nous avons développé, à ce stade de notre travail, une contribution théorique à la modélisation du trafic se fondant sur une formulation Vlasov qui permet de dériver un modèle macroscopique à deux équations à partir d'une formulation cinétique. Le modèle ainsi proposé offre un cadre propice à l'intégration d'un paramètre météorologique. La discrétisation numérique du modèle s'effectue à l'aide d'une méthode à pas fractionnaire qui permet de traiter successivement le terme source et la partie homogène du système. Pour la partie homogène du système, nous avons fait l'usage d'un schéma de type Lagrange+remap. Le comportement du modèle, couplé à une équation de transport sur les temps inter-véhiculaires, a ensuite été illustré à travers une série d'expérimentations numériques qui ont mis en évidence ses aptitudes face à des conditions météorologiques changeantes.Dans un ultime volet, notre travail s'est orienté vers de futures applications en temps réel qui se placeraient dans un cadre bayesien d'assimilation de données. Le défi à relever est celui de l'estimation en ligne du vecteur d'état du trafic au fur et à mesure de l'arrivée de nouvelles observations. Une méthode de filtrage particulaire (Monte Carlo séquentielle) nous a paru judicieuse à mobiliser, car elle s'adapte bien à la problématique du trafic routier. Plusieurs scénarios fondés sur des données opérationnelles permettent ensuite de montrer les bénéfices de l'intégration du phénomène météorologique à de telles approches. Une meilleure connaissance du phénomène météorologique doit ainsi mener à son insertion dans les modèles de trafic qui forment le substrat des outils d'aide à la décision destinés aux gestionnaires.Le travail proposé ouvre donc des perspectives pour le développement de stratégies de gestion de trafic météo-sensibles.

.

Un ordinateur IBM 1800 a été installé au CERN pour assister l'opération du synchrotron à protons (PS). Par l'intermédiaire de systèmes d'acquisition cet ordinateur acquiert un certain nombre de données relatives à l'accélérateur et à ses faisceaux. Certains paramètres peuvent erre commandés par l'ordinateur.<br />Après un bref rappel des caractéristiques de l'accélérateur, de l'ordinateur et de son électronique associée, une analyse détaillée des programmes relatifs aux faisceaux éjectés est donnée. Ces programmes concernent un relevé de données, une surveillance de paramètres et les statistiques sur l'utilisation des protons par les systèmes d'éjection. Deux programmes de contrôle optimisent l'un la position du faisceau éjecté sur la cible externe, l'autre le flux de particules secondaires issues de cette cible.<br /><br />L'utilisation opérationnelle et l'aspect conversationnel de ces programmes sont expliqués.

.

Le contrôle de santé des structures par méthodes vibratoires se heurte à l'influence prédominante des effets thermiques et suscite le besoin de méthodes d'assimilation thermique en temps réel pour éliminer ces effets. On propose des algorithmes qui permettent de reconstituer, à un instant donné, le champ de température dans une structure tridimensionnelle à partir de mesures ponctuelles enregistrées sur un intervalle de temps précédant cet instant. La démarche adoptée est celle de la méthode adjointe tirée de la théorie du contrôle optimal : on résout un problème de minimisation au sens des moindres carrés d'une fonction de coût mesurant l'écart entre les données et le champ de température reconstruit. La minimisation dans un espace de type H1 lève la difficulté habituelle de la méthode adjointe à la fin de la fenêtre d'observation, ce qui permet la reconstruction précise de la température à l'instant courant. La définition des valeurs ponctuelles du champ de température impose le choix d'espaces de contrôle de régularité importante. Pour pouvoir utiliser des méthodes usuelles de discrétisation malgré un second membre formé de masses de Dirac, l'état adjoint est défini par des techniques spécifiques fondées sur la transposition. Le formalisme dual adopté conduit à poser le problème dans un espace essentiellement unidimensionnel. En réduisant la quantité de calculs en ligne, au prix d'une série de précalculs, il donne lieu à des algorithmes d'assimilation en temps réel applicables à des structures tridimensionnelles de géométrie complexe. La robustesse des méthodes par rapport aux erreurs de modélisation et au bruit de mesure est évaluée numériquement et validée expérimentalement.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.