Ce travail a pour objet la compréhension de la phénoménologie du changement de phase liquide-vapeur lors de l'écoulement d'un fluide dans des chemins de fuite micrométriques, résultants du contact imparfait entre deux pièces métalliques du fait de la rugosité des parois. Le but est de déterminer l'influence du changement d'état du fluide sur la valeur du débit de fuite par rapport à un écoulement monophasique. Le chemin de fuite est assimilé à un capillaire micrométrique de section circulaire, aux extrémités duquel les conditions de pression correspondent à l'état liquide en entrée et à l'état vapeur en sortie. L'étude se limite aux situations où le changement de phase est obtenu par une chute de la pression locale le long du capillaire, sans apport de chaleur complémentaire à la paroi. L'ensemble des équations phasiques et interfaciales sont rendues sans dimension afin d'identifier, par une analyse phénoménologique, les mécanismes prépondérants lors de l'ébullition du R134a en espace confiné. Il est montré que le changement de phase intervient par nucléation hétérogène et que la croissance des bulles de vapeur ainsi formées est contrôlée par les phénomènes thermiques. Un dispositif expérimental est conçu pour observer le changement de phase dans des capillaires en verre, dont le diamètre intérieur est compris dans une gamme de 20 à 100 $\mu m$. Un protocole d'essais très strict est suivi au cours des expériences pour s'assurer que les conditions d'équilibre sont atteintes. L'évolution de la taille des inclusions gazeuses, quand elles se produisent, est relevée à l'aide d'une caméra rapide ou d'une webcam. A partir de ces visualisations, on peut estimer l'effet du changement de phase sur le débit de fuite. Selon l'historique de variation de la pression en aval du capillaire, il existe une situation où aucune bulle de vapeur ne se forme, le liquide supportant la surchauffe jusqu'à la sortie.

Cette thèse présente une construction générale d'ondelettes de seconde génération dont l'originalité est de distinguer deux points vues complémentaires : le point de vue de subdivision, qui souligne le lien bien connu entre les schémas de subdivision et l'analyse multirésolution, et d'autre part le point de vue non emboîté, dans lequel les espaces d'approximation, qui remplacent les espaces d'échelle traditionnels, ne sont plus nécessairement imbriqués. Dans la première partie de la thèse, le cadre multirésolution est présenté puis divers aspects théoriques, essentiellement relatifs au point de vue non emboîté, sont étudiés. En particulier, plusieurs techniques de constructions des opérateurs d'analyse ou de synthèse sont présentées. La deuxième partie de la thèse est consacrée aux applications. Le point de vue non emboîté est utilisé pour développer un cadre multirésolution pour fonctions constantes ou linéaires par morceaux définies sur des triangulations irrégulières d'un domaine planaire ou sphérique, permettant notamment la visualisation progressive de grands volumes de données. Les algorithmes de décomposition et de reconstruction des données sont discutés en détails notamment du point de vue de leur implémentation effective, plus délicate que dans le cas des ondelettes classiques. Des applications traditionnelles telles que la compression ou l'édition à différents niveaux de détails sont également généralisées à ces fonctions. D'autre part, est également discutée l'utilisation du cadre non emboîté pour l'approximation et la reconstruction de fonctions définies sur des maillages surfaciques construits via des modèles multirésolution basés sur les techniques de décimation de maillages. Enfin, on montre à diverses reprises que le point de vue non emboîté permet un abord unifié des algorithmes basés sur les ondelettes et des techniques décimatoires, traditionnellement opposées.

Les données temporelles sont fréquemment manipulées dans plusieurs domaines d'application (bancaire, clinique, géographique, etc.). Malgré la diversité des techniques proposées pour visualiser ce type de données, nous constatons un manque d'approches et de méthodes de conception. Dans cette thèse, nous proposons une approche de conception de techniques de visualisation et plus généralement d'interaction avec des espaces de données temporelles. Pour garantir l'utilisabilité de ces techniques, nous proposons de prendre en compte les caractéristiques des données manipulées et les tâches utilisateur, nous situant ainsi à la jonction de deux domaines de l'informatique : les Bases de Données et les Interfaces Homme-Machine. Ce travail contribue donc à la conception de systèmes interactifs pour l'analyse visuelle de données temporelles. Dans ce contexte, nous proposons une taxonomie qui organise les travaux existants de visualisation de données temporelles selon leur processus de visualisation. Cette taxonomie est construite à partir du processus de visualisation proposé par Chi. En collaboration avec des utilisateurs géographes, nous avons identifié une liste de tâches utilisateur pertinentes pour la manipulation de données temporelles. A partir de cette liste, nous avons conçu et implémenté cinq techniques d'interaction adaptées aux tâches identifiées. Nous avons intégré ces techniques pour développer INVEST (Interactive Visualization and Explorative System of Temporal data) qui est une plate-forme multi-techniques pour l'analyse visuelle de données temporelles. Chaque technique de visualisation est une vue du même espace de données. INVEST inclut un moteur de sélection de techniques de visualisation en fonction des tâches utilisateur spécifiées.

Le but de cette thèse est de fournir des moyens de calcul et de visualisation d'objets mathématiques issus de l'analyse complexe. Dans ce cadre, de nombreux problèmes d'origine mathématique empêchent d'utiliser les nombres complexes aussi naturellement que les nombres réels : indéterminations dans les calculs, nombre élevé de dimensions empêchant les méthodes naïves de visualisation, phénomènes multiformes. Au niveau calcul, quelques méthodes ont été étudiées, menant à la définition d'un modèle de programmation permettant de gérer les indéterminations. Au niveau visualisation, des méthodes adaptées aux objets mathématiques complexes ont été mises au point, en particulier dans le cadre des solutions d'équations différentielles complexes. Toutes ces méthodes (calcul, visualisation) ont été implémentées sous forme de modules dans un environnement commun permettant le prototypage rapide d'expériences, axées notamment sur un couplage entre calcul et visualisation. Les différentes applications présentées dans le document (intégration numérique d'équations différentielles avec des fonctions multiformes, visualisation de solutions d'équations différentielles complexes, visualisation de l'erreur globale estimée pendant une intégration) y ont été intégrées.

Cette thèse s'est déroulée au sein du projet APACHE (CNRS-INPG-INRIA-UJF) dont l'objectif est l'étude de l'ensemble des aspects liés à la mise en oeuvre efficace et portable d'applications irrégulières et dont les études sont concrétisées par l'environnement Athapascan. Dans l'environnement Athapascan le «débogage pour les performances» est basé sur le traçage logiciel des exécutions des applications parallèles suivi de l'analyse des traces et de la visualisation des exécutions tracées. L'objectif de la thèse était de fournir aux programmeurs un outil de visualisation les aidant à identifier les "erreurs de performances" de leurs programmes en leur donnant une représentation aussi claire que possible de l'exécution de ces programmes. La principale contribution de la thèse est la conception et la réalisation d'un outil appelé Pajé combinant les trois propriétés essentielles d'interactivité, d'extensibilité et d'aptitude au passage à l'échelle. L'extensibilité permet de prendre en compte l'absence de stabilisation des modèles de programmation parallèles et d'offrir la possibilité d'ajouter à Pajé des visualisations non envisagées lors de sa conception. Elle est assurée par une architecture en graphe de modules génériques, communiquants par des protocoles bien spécifiés. L'interactivité donne au programmeur le contrôle sur la visualisation par des actions telles que déplacement dans le temps ou inspection du contenu des objets visualisés, etc. Pour limiter le volume de données qu'elle implique de conserver en mémoire, une structure de données appelée fenêtre de visualisation a été définie ainsi que les algorithmes permettant de la faire glisser efficacement dans le temps. L'aptitude au passage à l'échelle est liée à la capacité de représenter un nombre potentiellement important d'objets graphiques (processus légers, communications, tâches, etc...) évoluant dynamiquement. Elle est essentiellement assurée en facilitant la visualisation à différents niveaux d'abstraction, en sorte que le passage d'un niveau à un autre simule une action de zoom.

Mes travaux sont résolument ancrés dans l'ingénierie de l'Interaction Homme-Machine. Ce faisant, les deux facettes, conception ergonomique et conception logicielle, sont apparentes dans mes contributions. Mon étude s'articule autour des termes de modalité d'interaction et de multimodalité. Je me suis appuyée sur des résultats généraux incluant la définition d'une modalité et d'un espace de composition de modalités et je les ai infléchis à deux axes de recherche, l'exploration visuelle d'espaces informationnels et la réalité augmentée. Pour chacun de ces axes, des propriétés ergonomiques, des règles et patrons de conception, des solutions architecturales et logicielles, ainsi que des techniques d'interaction comme la réalité cliquable et la ballade augmentée ont été conçus.

L'utilisation des micro-carnaux a l'avantage de contribuer à une augmentation significative de la compacité des échangeurs de chaleur et à une amélioration des performances énergétiques des systèmes. L'étude des régimes d'écoulements diphasiques et des transferts thermiques locaux représentent un véritable verrou scientifique vu son effet sur la durée de vie et les performances énergétiques des systèmes énergétiques tels que les piles à combustible et les refroidisseurs miniatures. Malheureusement, l'aspect hydrodynamique de l'écoulement et du transfert thermique (mesure des densités de flux thermique et des coefficients d'échange thermique locaux) dans un seul micro-canal demeure toujours mal connu. Dans le cadre de ce travail de thèse, nous nous sommes intéressés à étudier les différents phénomènes se produisant lors de la condensation dans un seul micro-canal en repérant les différentes instabilités hydrodynamiques et en analysant les différents mécanismes physiques influençant les coefficients d'échange thermique. A cette fin, nous avons développé un banc d'essais pour tester la condensation en micro-canaux et dans lequel le micro-canal est instrumenté par des micro-thermocouples de 20 µm de diamètre. Cet aspect micro-instrumentation représente une véritable originalité de ce travail de thèse car il permet de mesurer les températures de surface locales tout au long du micro-canal. Une camera rapide est utilisée pour la visualisation des structures des écoulements se produisant en condensation dans le micro-canal. Une procédure de traitement d'images est développée pour caractériser les différents paramètres de l'écoulement diphasique dans le micro-canal, à savoir : taille des bulles, parcours des bulles, forme du ménisque, vitesse et fréquence des bulles, etc. L'influence de ces paramètres sur les structures des écoulements et sur l'intensification des transferts est étudiée. On montre que la présence des écoulements instationnaires et cycliques qui changent de structure durant chaque période. La variation de la température pour chaque période est reliée à la structure de l'écoulement en condensation dans le micro-canal. On a aussi identifié des écoulements développés de différentes structures. Nous avons aussi mis en évidence que la densité du flux thermique local dépend non seulement du flux massique et du taux de condensation mais également de la structure de l'écoulement en condensation. Enfin, nos résultats donnent une démonstration sur l'influence de la micro-structuration de surface sur la structure d'écoulement lors de la condensation dans un micro-canal, et fournissent de nouvelles méthodes pour l'amélioration de l'intensification thermique.

Les récentes avancées en matière d'acquisition, stockage et traitement des données ont résulté en une augmentation spectaculaire de la quantité d'information collectée et analysée, et ce dans de nombreux domaines : disciplines scientifiques, industrie, commerce, bibliothèques numériques, données mises à disposition du public par des organismes gouvernementaux ; domaines auxquels s'ajoutent les contenus que tout un chacun peut mettre à disposition sur le Web à travers les réseaux sociaux, les blogs ou les sites de partage de documents multimédia. La capacité des systèmes et bases de données hétérogènes d'échanger et croiser ces données, mais aussi d'inférer de nouvelles données, s'est aussi grandement améliorée, grâce à des technologies émergentes comme celles issues des recherches liées au Web des données -- par opposition au Web des documents -- s'appuyant sur les technologies du Web sémantique. Mes travaux de recherche s'inscrivent dans le domaine de l'interaction homme-machine (IHM), et portent plus spécifiquement sur la conception, le développement et l'évaluation de techniques d'interactions et de visualisation facilitant la compréhension et la manipulation de ces masses de données. Les représentations graphiques peuvent être d'une grande aide quand elles fournissent des visualisations pertinentes des données, de leur structure, et qu'elles sont couplées à des techniques d'interaction permettant une navigation efficace dans ces grands espaces d'information. Elles jouent à ce titre un rôle important dans la recherche et le développement de systèmes informatiques pour la gestion et l'analyse de masses de données semi-structurées. Mes activités de recherche sont organisées autour de deux thèmes, dont je présenterai les principaux résultats : langages visuels et techniques de visualisation d'information pour aider les utilisateurs à interpréter et manipuler des jeux de données semi-structurés ; conception, développement et évaluation expérimentale de techniques d'interaction multi-échelle pour naviguer dans des masses de données sur différents types de plate-formes : dispositifs mobiles, stations de travail, murs d'images très haute résolution.

Issue d'un partenariat de recherche entre le CEA et les laboratoires Servier, cette thèse avait pour objectif d'évaluer l'approche métabolomique par chromatographie liquide couplée à la spectrométrie de masse (LC-MS) pour l'identification de marqueurs indirects de l'induction dans les espèces de toxicologie. Le travail de thèse a débuté par l'optimisation de la méthode d'acquisition des empreintes métaboliques tant sur le plan analytique que dans le domaine du traitement des données brutes. Un outil reposant sur les matrices d'auto corrélation a alors été développé afin de s'affranchir d'une partie de la redondance du signal obtenu par spectrométrie de masse. Dans un troisième temps, les indices de Kendrick couplés à la sélectivité méthylène ont été appliqués à l'étude de composés biologiques en spectrométrie de masse haute résolution afin de proposer une méthode alternative de visualisation des données offrant une aide à l'identification des variables. Enfin, dans une dernière partie, les efforts se sont portés sur l'identification des composés endogènes modifiés au cours du protocole d'induction.

Les logiciels évoluent au fil du temps avec la modification, l'ajout et la suppression de nouvelles classes, méthodes, fonctions, dépendances. Une conséquence est que le comportement peut être placé dans de mauvais paquetages et casser la modularité du logiciel. Une bonne organisation des classes dans des paquetages identifiables facilite la compréhension, la maintenance, les tests et l'évolution des logiciels. Nous soutenons que les responsables manquent d'outils pour assurer la remodularisation logicielle. La maintenance des logiciels nécessite des approches qui aident à (i) la compréhension de la structure au niveau du paquetage et l'évaluation de sa qualité; (ii) l'identification des problèmes de modularité, et (iii) la prise de décisions pour le changement. Dans cette thèse nous proposons ECOO, une approche qui aide la remodularisation. Elle concerne les trois domaines de recherche suivants: - Comprendre les problèmes de dépendance entre paquetages. Nous proposons des visualisations mettant en évidence les dépendances cycliques au niveau des paquetages. - Proposer des dépendances qui devraient être changées. L'approche propose des dépendances à changer pour rendre le système plus modulaire. - Analyser l'impact des changements. L'approche propose une analyse d'impact du changement pour essayer les modifications avant de les appliquer sur le système réel. L'approche présentée dans cette thèse a été validée qualitativement et les résultats ont été pris en compte dans la réingénierie des systèmes analysés. Les résultats obtenus démontrent l'utilité de notre approche.