Le travail de thèse présenté dans ce document traite de l'analyse de différentes propriétés liées à l'observabilité des systèmes à entrée inconnue par approche graphique. La simplicité de mise en œuvre de l'approche graphique permet de se défaire des difficultés numériques inhérentes aux approches géométrique et algébrique. Ce constat a conduit ces dernières décennies, à une série d'études structurelles basées sur l'approche graphique. <br />Parmi les propriétés encore non abordées graphiquement, l'observabilité forte traduit l'observabilité des variables d'état d'un système pour toute valeur d'entrée ainsi que l'observabilité conjointe de l'état et de l'entrée. Ces propriétés plus fortes que l'observabilité simple et le diagnostic nous ont paru utiles et pertinentes à étudier. En effet, les outils d'analyse développés peuvent s'avérer importants dans le cadre de la synthèse d'observateurs ou d'estimateurs d'entrées utile à la synthèse de lois de commandes tolérantes aux défauts ou robustes aux perturbations, ou encore quand il s'agit de vérifier si la propriété d'observabilité d'un système n'est pas altérée lorsqu'il est soumis à des perturbations, voire à des défauts d'amplitude trop importante pour être négligés. <br />Le manuscrit est structuré en trois parties. Dans la première, nous avons abordé l'analyse de différentes propriétés d'observabilité. Plus précisément, nous avons tout d'abord donné des conditions nécessaires et suffisantes d'observabilité de l'entrée et de l'état d'un système. Des conditions nécessaires et suffisantes pour l'observabilité forte d'une partie donnée des composantes de l'entrée et de l'état ont ensuite été établies. Le dernier résultat de cette partie concerne l'observabilité forte de tout l'état d'un système à entrée inconnue. Des conditions nécessaires et suffisantes ont été démontrées. <br />La seconde partie de cette thèse a consisté à étudier le problème du placement des capteurs afin de recouvrer des propriétés d'observabilité forte lorsque les conditions de la première partie ne sont pas vérifiées. Deux cas ont été traités. Le premier concerne la propriété d'observabilité forte d'une partie donnée de l'état. La stratégie de placement de capteurs consiste alors en une condition nécessaire permettant d'imposer qu'au moins une sortie du système soit sensible à chacune des composantes de l'état devant être fortement observables, puis en un système de relations graphiques, utilisé comme condition suffisante à ce qu'une configuration de capteurs assure l'observabilité forte des composantes de l'état choisies. Le second problème de placement de capteurs a pour objectif de rendre observables toutes les composantes de l'état. Le problème a été traité en trois étapes. Pour chacune d'elles, des conditions nécessaires et suffisantes sur le placement de capteurs ont été trouvées. Le nombre minimal de capteurs nécessaire et suffisant a aussi été déterminé. Les conditions trouvées sont fondées essentiellement sur des algorithmes classiques de la théorie des graphes.<br />La troisième partie traite de l'implémentation des résultats établis dans une boîte à outils dédiée à l'analyse structurelle (lisa) des systèmes linéaires et bilinéaires structurés. En premier lieu, les motivations qui ont conduit à la conception de cette boîte à outils sont exposées. La structure de lisa est ensuite présentée. Elle repose entièrement sur des algorithmes de base tels que la détermination des ensembles de successeurs et de prédécesseurs, le calcul des tailles de lien et de couplages maximaux entre deux ensembles de sommets et la caractérisation des ensembles de sommets essentiels dans des liens de taille maximale ou encore des séparateurs d'entrée et de sortie. Tous ces algorithmes ont des ordres de complexité polynomiaux. Nous avons montré comment en associant certains algorithmes de base, nous sommes arrivés à analyser l'observabilité de l'état et de l'entrée et à établir des conditions de détection et de localisation de défauts. Enfin, il est présenté des fonctions pouvant être rajoutées à lisa concernant différentes propriétés structurelles pour en faire un outil d'analyse plus complet.

La plupart des modèles d'indexation en recherche d'informations sont spécifiques à une application ou à un domaine particulier, et n'exploitent pas toute la richesse des documents électroniques. Le but de ce travail est de définir un modèle d'indexation pour les documents textuels qui tienne compte de la structure et d'autres informations complémentaires au discours. Le modèle proposé comporte deux composantes : le langage de représentation, qui définit de façon conceptuelle les informations du document, y compris les index eux-mêmes, et les règles de dérivation, qui, reprenant ce langage, permettent de déduire un type particulier d'index, les thèmes. L'indexation dans notre modèle ne se contente pas de produire une représentation statique du document, mais elle est aussi dynamiquement liée au processus de correspondance ; ainsi, le choix des thèmes, tels que déterminés par les règles, est fonction du document et de l'utilisateur. Notre approche a été validée en deux temps. D'abord, un questionnaire a été soumis à un groupe d'utilisateurs afin de cerner leur processus de dérivation de thèmes. Cette validation à priori a permis de démontrer le bien-fondé de nos règles de dérivation. Puis, dans une validation à posteriori, le modèle a été implémenté et testé sur une collection de documents sgml. Cette expérimentation a demontré l'applicabilité et la flexibilité du modèle.

The first ocean general circulation models developed in the late sixties were based on finite differences schemes on structured grids. Many improvements in the fields of engineering have been achieved since three decades with the developments of new numerical methods based on unstructured meshes. Some components of the first models may now seem out of date and new second generation models are therefore under study, with the aim of taking advantage of the potential of modern numerical techniques such as finite elements. In particular, unstructured meshes are believed to be more efficient to resolve the large range of time and space scales present in the ocean. Besides the classical continuous finite element or finite volume methods, another popular new trend in engineering applications is the Discontinuous Galerkin (DG) method, i.e. discontinuous finite elements presenting many interesting numerical properties in terms of dispersion and dissipation, errors convergence rates, advection schemes, mesh adaptation, etc. The method is especially efficient at high polynomial orders. The motivation for this PhD research is therefore to investigate the use of the high-order DG method for geophysical flow modeling. A first part of the thesis is devoted to the mesh adaptation using the DG method. The inter-element jumps of the fields are used as error estimators. New mesh size fields or polynomial orders are then derived and local h- or p-adaptation is performed. The technique is applied to standard benchmarks and computations in more realistic domains as the Gulf of Mexico. A second part deals with the use of the high order DG method with high-order representation of geometrical features. On one hand, a method is proposed to deal with complex representations of the coastlines. Computations are performed using high-order mappings around the Rattray island, located in the Great Barier Reef. Numerical results are then compared to in-situ measurements. On the other hand, a new method is proposed to deal with curved manifolds in order to represents oceanic or atmospheric flows on the sphere. The approach is based on the use of a local high-order non-orthogonal basis, and is equivalent to the use of vectorial shape and test functions to represent the vectorial conservation laws on the manifold's surface. A method is finally proposed to analyze the dispersion and dissipation properties of any numerical scheme on any kind of grid, possibly unstructured. The DG method is then compared to other techniques as the mixed non-conforming linear elements, and the impact of unstructured meshes is studied.

La recherche d'information sur des documents structurés tente de répondre de manière cibl ée à une requête utilisateur en ne fournissant que des éléments de documents (doxels) pour satisfaire ce besoin d'information. Ce travail de thèse étudie l'apport de la caractérisation des relations (structurelles et non structurelles) entre parties de documents structurés dans ce contexte. Nous modélisons l'indexation des documents structurés en utilisant la structure et les relations entre doxels et nous caractérisons ces relations par des valeurs d'exhaustivité et de spéci cité relatives. Le processus de recherche basé sur ces documents structurés génère des documents virtuels résultats, en spéci ant les liens pertinents entre les doxels. Le modèle est validé par des expérimentations sur la campagne d'évaluation INEX 2007 (660 000 documents Wikipedia, 100 requêtes) et les résultats obtenus montrent une amélioration de 24% en précision moyenne avec le modèle vectoriel.

L'équation de transport, dans le régime fortement collisionnel admet une limite asymptotique de diffusion. Les discrétisations angulaires comme la méthode des ordonnées discrètes Sn où le développement tronqué en harmonique sphérique Pn préservent aussi cette limite de diffusion. Par conséquent, il est intéressant de construire pour de tels systèmes des méthodes de volumes finis sur maillages non structurés qui préservent cette limite de diffusion pour des grilles grossières. En effet, ces modèles peuvent être couplés avec des codes hydrodynamiques Lagrangiens qui génèrent des maillages très tordus. Pour commencer, on considère la discrétisation angulaire la plus simple de l'équation de transport appelée le modèle P1. Après une rapide introduction sur les méthodes 1D, on commence par modifier le schéma acoustique en dimension deux avec la méthode de Jin-Levermore. Le schéma ainsi obtenu n'est pas convergent dans le régime de diffusion car le schéma de diffusion valide n'est pas consistant sur maillages non structurés. Pour résoudre ce problème, on a proposé de nouvelles méthodes valides sur maillages non structurés. Ces méthodes sont basées sur un autre formalisme des méthodes de volumes finis ou les flux sont localisés aux interfaces, couplé avec la méthode de Jin-Levermore. On obtient deux schémas convergents qui dérivent sur les schémas asymptotic preserving 1D. Le schéma limite de diffusion obtenu est un nouveau schéma pour lequel on a donné une preuve de convergence. Dans un second temps, on a proposé une extension du travail réalisé pour le modèle P1 dans le cadre des discrétisations angulaires d'ordres élevés. Pour obtenir une discrétisation asymptotic preserving pour ces modèles on a utilisé une décomposition entre la discrétisation angulaire de premier ordre et les discrétisations angulaires d'ordres supérieurs. Enfin on a étudié la discrétisation du problème d'absorption/émission présent en transfert radiatif ainsi que la discrétisation du modèle non linéaire M1. L'approximation du modèle M1 est basé sur un couplage entre un schéma Lagrange+projection pour une reformulation du modèle M1 et la méthode de Jin-Levermore. La méthode numérique obtenue préserve la limite asymptotique, l'inégalité d'entropie et le principe du maximum associé au système sur maillages non structurés.

Ce travail est consacré à l'étude d'un problème issu de la physique des plasmas: le transfert thermique des électrons dans un plasma proche de l'équilibre maxwellien. Dans un premier temps, le régime asymptotique de Spitzer-Harm est étudié. Un modèle proposé par Schurtz et Nicolai est analysé et situé dans le cadre des modeles hydrodynamiques en dehors de la limite strictement asymptotique. Le lien avec les modèles non-locaux de Luciani et Mora est établi, ainsi que les propriétés mathématiques tels que le principe du maximum et la dissipation entropique. Ensuite, une dérivation formelle à partir des équations de Vlasov est proposée. Une hiérarchie de modèles intermédiaires entre les équations cinétiques et la limite hydrodynamique est décrite. En particulier, un nouveau système hydrodynamique, de nature intégro-différentielle, est proposé. Le système Schurtz et Nicolai apparaît comme une simplification du modèle issu de la diversion. L'existence et l'unicité de la solution du système non-stationnaire sont établies dans un cadre simplifié. La dernière partie est consacrée à la mise en œuvre d'un schéma numérique spécifique pour la résolution de ces modèles. Nous proposons une approche par volumes finis efficace sur des maillages non-structurés. La précision de ce schéma permet de capturer des effets spécifiques aux modèles cinéiques, qui ne peut être reproduit par le modèle asymptotique de Spitzer-Harm. La consistance de ce schéma avec celui de l'équation Spitzer-Harm est mise en evidence, ouvrant la voie à une stratégie de couplage entre les deux modèles.

Le traitement numérique de problème de mécanique des fluides s'appuit sur des géométries souvent particulières et complexes. Afin de les représenter au mieux, nous avons développé une méthode de raccordement de maillages multiblocs non-conformes. Elle repose sur l'interpolation, non-conservative et implicite des variables des interfaces entre les blocs. Le traitement des conditions de raccord a été intégré au code de calcul Aquilon en 2D et en 3D, dans le contexte de la méthode du Lagrangien Augmentée servant à la résolution des équations de Navier-Stokes. La validation numérique 2D a été effectuée sur un ensemble de cas tests dont les solutions analytiques sont bien connues ainsi que sur les cas de la marche descendante, de la cavité entraînée et de l'écoulement autour d'un cylindre. Les résultats<br />obtenus montrent la faisabilité et le bien-fondé de l'approche proposée.

Cette thèse a pour sujet l'annotation automatique d'images. Pour plus de souplesse, nous utilisons un vocabulaire structuré, permettant de construire des annotations multifacettes et à différents niveaux d'interprétation. Une annotation prend alors la forme d'un ensemble de multilabels associés à des indices de confiance et permet d'exprimer un compromis fiabilité/précision sémantique. Le traitement proposé se déroule en deux phases : extraction de caractéristiques informatives et calcul de probabilités normalisées sur un espace de multilabels. Chacune exploite des mécanismes d'apprentissage. La démarche est évaluée sur deux jeux de données : un ensemble d'images de voitures et la base d'objets génériques Caltech-101. Les résultats suggèrent d'utiliser le vocabulaire structuré à différentes étapes selon la nature des données.

Le séchage d’une solution chargée en particules est la solution la plus simple pour couvrir uniformément la surface d’un matériau. Le choix de la solution et ses propriétés physico-chimiques dictent alors le comportement du film obtenu. Le matériau peut ainsi être rendu hydrophobe en appliquant un tapis de molécules qui n’ont aucune affinité avec l’eau. Un moyen d’améliorer encore cette hydrophobie est de modeler la surface pour incorporer une certaine rugosité dans le revêtement. Cette stratégie est adoptée par plusieurs végétaux, dont le plus célèbre est le lotus.L’évaporation de suspensions apparait comme la méthode la plus simple pour parvenir à la structuration de la surface des matériaux. L’exemple le plus éloquent est celui de la goutte de café, où les particules viennent préférentiellement s’agglomérer sur son périmètre, portées par les différents flux résultant du mécanisme de séchage. Cependant, ce procédé d’auto-assemblage des particules sur la ligne triple air-liquide-substrat au cours du séchage, est difficile à appréhender. Ce constat est lié à la synergie entre la rhéologie des suspensions, leur physico-chimie et les aspects de tension inter faciale, qui s’opère au cours du procédé d’évaporation.Le travail proposé ici vise à comprendre et à maitriser le déplacement de la ligne triple pour accroitre le potentiel de cette méthode d’élaboration de revêtements. Nous proposons une méthode qui permet d’agir sur cette ligne triple. A la sortie de notre dispositif, le liquide est soumis à une évaporation libre, si bien que la ligne de contact adopte un mouvement périodique, apparenté à une respiration. Ce phénomène, peut être contrôlé en amplitude et en fréquence. Par la combinaison de paramètres mécaniques propres au procédé et d’autres intrinsèque au fluide, l’expérimentateur est capable de gouverner ce mouvement, ainsi que le profil du ménisque formé.La connaissance des moyens d’actions sur la respiration de la ligne triple est ensuite utilisée pour produire des surfaces périodiques. Ces dernières sont issues du séchage de latex de polymère. Le comportement cyclique de la ligne triple, combiné avec un déplacement contrôlé du substrat, permet de créer des zones préférentielles de dépôt. Les surfaces obtenues présentent un réseau de lignes successives, dont la longueur d’onde se rapporte aux paramètres du procédé. / Solvent evaporation appears as an easy way to deposit a periodic film on any surface. Its resulting structure is directly linked to the particles contained on the suspension and its behaviour with its solid and liquid environment during drying step. The coffee ring effect is the most eloquent example, which is characterized by a preferential agglomeration of the particle in the drop periphery. Such process is difficult to assess: handling the air-liquid-substrate interface movement is a basic need to increase the technical power of that coating method.To investigate the contact line motion during drying, we focus on the meniscus, which comes from a liquid flow between a sealed container and a substrate. Observations of liquid flowing out such disposal show a cyclic movement. Such phenomenon can be compared to a breathing of the contact line. The present work is firstly dedicated to the characterization of that periodic movement. These learnings are then applied to polymer latexes to produce periodic films.Our characterization method is based on meniscus observation and force balance recording. The observed breathing can be tuned in frequency and amplitude, by acting both on physical properties of the solvents, and geometrical settings of the device. Surface tension play a key role in the movement, by acting on the meniscus shape. Geometrical settings appears to affect the evaporation process. On a global scale, the rate is constant but the disposal gap is directly linked to the cycle frequency.Eventually, our disposal is used to coat smooth surface with polymer latexes. The self-organization of particles during the drying process is tried to be controlled by the periodic motion of the contact line. The roughness of the obtained textured coating is expected to be tuned by a combined choice of disposal settings and specific solutions properties.

De nombreux systèmes distribués sont confrontés au problème du déséquilibre de charge entre machines. Avec l'émergence du Big Data, de larges volumes de données aux valeurs souvent biaisées sont produits par des sources hétérogènes pour être souvent traités en temps réel. Il faut donc être capable de s'adapter aux variations de volume/contenu/provenance de ces données. Nous nous intéressons ici aux données RDF, un format du Web Sémantique. Nous proposons une nouvelle approche pour améliorer la répartition des données, basée sur l'utilisation de plusieurs fonctions de hachage préservant l'ordre naturel des données dans le réseau. Cela permet à chaque pair de pouvoir indépendamment modifier la fonction de hachage qu'il applique sur les données afin de réduire l'intervalle de valeurs dont il est responsable. Plus généralement, pour résoudre le problème du déséquilibre de charge, il existe presque autant de stratégies qu'il y a de systèmes différents. Nous montrons que de nombreux dispositifs d'équilibrage de charge sont constitués des mêmes éléments de base, et que seules la mise en œuvre et l'interconnexion de ces éléments varient. Partant de ce constat, nous décrivons les concepts derrière la construction d'une API générique pour appliquer une stratégie d'équilibrage de charge qui est indépendante du reste du code. Mise en place sur notre système, l'API a un impact minimal sur le code métier et permet de changer une partie d'une stratégie sans modifier d'autres composants. Nous montrons aussi que la variation de certains paramètres peut influer sur les résultats obtenus. / Many distributed systems face the problem of load imbalance between machines. With the advent of Big Data, large datasets whose values are often highly skewed are produced by heterogeneous sources to be often processed in real time. Thus, it is necessary to be able to adapt to the variations of size/content/source of the incoming data. In this thesis, we focus on RDF data, a format of the Semantic Web. We propose a novel approach to improve data distribution, based on the use of several order-preserving hash functions. This allows an overloaded peer to independently modify its hash function in order to reduce the interval of values it is responsible for. More generally, to address the load imbalance issue, there exist almost as many load balancing strategies as there are different systems. We show that many load balancing schemes are comprised of the same basic elements, and only the implementation and interconnection of these elements vary. Based on this observation, we describe the concepts behind the building of a common API to implement any load balancing strategy independently from the rest of the code. Implemented on our distributed storage system, the API has a minimal impact on the business code and allows the developer to change only a part of a strategy without modifying the other components. We also show how modifying some parameters can lead to significant improvements in terms of results.