Cette Thèse porte sur une nouvelle approche méthodologique d’aide à la décision pour une gouvernance participative efficiente des territoires. L’approche proposée est essentiellement pluridisciplinaire, basée sur une combinaison appropriée d’outils d’Optimisation, de Géomatique et de Communication. Les Systèmes d’Information Géographique (SIG), outils performants de visualisation et de simulations des phénomènes territoriaux, en dépit de leur développement fulgurant de ces dernières années, restent statiques et limités dans la hiérarchisation des solutions basées sur une multitude de critères. L’approche méthodologique proposée consiste en une combinaison appropriée des SIG-Télédétection et de l’AMC en vue de bonifier leurs avantages et de réduire leurs limites notamment dans la prise en charge de l’aide à la décision dans les projets d’aménagement linéaires. L’Analyse Multicritère (AMC) et les Systèmes d’Information Géographique (SIG) sont utilisés respectivement pour l’intégration des critères, l’analyse, la classification des variantes et la visualisation de celles-ci pour une meilleure prise de décision. Le système hybride obtenu (SIG-AMC) est associé, d’une manière complémentaire, à l’utilisation des nouvelles Techniques d’Information et de Communication (TICs : Internet, Téléphonie mobile, Réseaux Sociaux : Twitter, Facebook), pour couvrir et prendre en charge toute la dimension de la communication entre les différents acteurs afin de mettre en œuvre et d’assurer une gouvernance participative des territoires. / This thesis concerns a new methodological approach to decision support for efficient participative governance territories. The proposed approach is essentially multidisciplinary, based on an appropriate combination optimization tools, Geomatics and Communication. Geographic Information Systems (GIS), in spite of their performance tools for visualization and simulation of spatial phenomena and rapid development in recent years, remain static and limited in the hierarchy of solutions based on a multitude of criteria. The methodology proposed is an appropriate combination of remote sensing, GIS, Multicriteria Analysis to enhance their benefits and minimize their limitations especially in support of the decision aid in planning linear projects. The Multicriteria Analysis (MCA) and Geographic Information Systems (GIS) are used for the integration of criteria, analysis, classification and visualization variants for better decision making. The hybrid system (GIS-AMC) is associated with the use of Technical Information and Communication Technologies (Internet, Mobile, Social Networks: Twitter, Facebook) to cover and support all communication between different actors to implement and provide participative governance territories.

La fraction massique des constituants au sein d'un mélange multi-constituants, cesse d'être homogène lorsque ce dernier est soumis à un gradient thermique. En effet, la présence d'un gradient thermique engendre une diffusion de masse au sein du mélange détruisant cette homogénéité. Cet effet connu depuis le XIXe siècle porte le nom de la thermodiffusion, ou encore l'effet Soret. On définit la diffusion thermogravitationnelle comme étant le couplage entre la thermodiffusion et la convection. La diffusion thermogravitaionnelle peut conduire à des séparations importantes dans les fluides multi-constituants comparée à la thermodiffusion. On s'intéresse dans ce travail de thèse, comportant une partie numérique et théorique, aux différentes structures d'écoulement et à la séparation des espèces d'une solution binaire remplissant une cavité parallélépipédique fluide ou poreuse. La cavité, placée dans le champ de la pesanteur, est soumise au niveau de ses parois horizontales et verticales à des densités de flux uniformes et croisés. L'analyse dimensionnelle de ce problème de convection thermogravitationnelle fait ressortir un certain nombre de paramètres sans dimension à savoir les nombres de Rayleigh thermique / The mass fraction of the components in a multi-component mixture ceases to be homogeneous when it is subjected to a thermal gradient. Indeed, the presence of a thermal gradient causes mass distribution within the mixture which destroys this homogeneity. This effect known since the nineteenth century is called thermodiffusion, or the Soret effect. The thermogravitational diffusion is defined as the coupling between the thermodiffusion and convection. The thermogravitational diffusion may lead to significant separations in fluids multi components compared to thermodiffusion. We focus in this thesis, including both numerical and theoretical parts, on the different flow structures and species separation of a binary solution filling a rectangular fluid or porous cavity. The cavity, placed in the gravity field is subjected to uniform heat fluxes densities at the horizontal and vertical walls. Dimensional analysis of this thermogravitational convection problem reveals a number of dimensionless parameters namely: thermal Rayleigh number

L'erreur de prédiction d'une trajectoire avion peut être expliquée par différents facteurs. Les incertitudes associées à la prévision météorologique sont l'un d'entre-eux. Qui plus est, l'erreur de prévision de vent a un effet non négligeable sur l'erreur de prédiction de la position d'un avion. En regardant le problème sous un autre angle, il s'avère que les avions peuvent être utilisés comme des capteurs locaux pour estimer l'erreur de prévision de vent. Dans ce travail nous décrivons ce problème d'estimation à l'aide de plusieurs processus d'acquisition d'un même champ aléatoire. Quand ce champ est homogène, nous montrons que le problème est équivalent à plusieurs processus aléatoires évoluant dans un même environnement aléatoire pour lequel nous donnons un modèle de Feynman-Kac. Nous en dérivons une approximation particulaire et fournissons pour les estimateurs obtenus des résultats de convergence. Quand le champ n'est pas homogène mais qu'une décomposition en sous-domaine homogène est possible, nous proposons un modèle différent basé sur le couplage de plusieurs processus d'acquisition. Nous en déduisons un modèle de Feynman-Kac et suggérons une approximation particulaire du flot de mesure. Par ailleurs, pour pouvoir traiter un trafic aérien, nous développons un modèle de prédiction de trajectoire avion. Finalement nous démontrons dans le cadre de simulations que nos algorithmes peuvent estimer les erreurs de prévisions de vent en utilisant les observations délivrées par les avions le long de leur trajectoire. / Aircraft trajectory prediction error can be explained by different factors. One of them is the weather forecast uncertainties. For example, the wind forecast error has a non negligible impact on the along track accuracy for the predicted aircraft position. From a different perspective, that means that aircrafts can be used as local sensors to estimate the weather forecast error. In this work we describe the estimation problem as several acquisition processes of a same random field. When the field is homogeneous, we prove that they are equivalent to random processes evolving in a random media for which a Feynman-Kac formulation is done. Then we give a particle-based approximation and provide convergence results of the ensuing estimators. When the random field is not homogeneous but can be decomposed in homogeneous sub-domains, a different model is proposed based on the coupling of different acquisition processes. From there, a Feynman-Kac formulation is derived and its particle-based approximation is suggested. Furthermore, we develop an aircraft trajectory prediction model. Finally we demonstrate on a simulation set-up that our algorithms can estimate the wind forecast errors using the aircraft observations delivered along their trajectory.

Ce travail de thèse concerne la conception d'un système de supervision appliqué aux véhicules tout électriques autonomes à quatre roues motrices. Deux méthodes de surveillance à base de modèle sont développées en utilisant le modèle non linéaire du véhicule électrique: La première est basée sur La technique de multi observateurs pour détecter et isoler les défauts. La deuxième approche est la génération des relations de redondance analytique non linéaires (espace de parité non linéaire). En plus de la génération des résidus par la méthode de l'espace de parité, des observateurs différentiels à modes glissants sont intégrés pour l'estimation des dérivées successives des entrées et des sorties. Pour réaliser un train de trois véhicules, une commande longitudinale (commande de l'inter-distance) basée sur la mesure de l'écart inter véhiculaire est développée. La commande latérale est basée sur un suivi de trajectoire de référence qu'on impose pour tous les véhicules. Une commande de braquage est alors calculée en fonction de la différence entre la trajectoire mesurée et celle désirée. Enfin, quelques stratégies de reconfiguration sont développées pour le train de véhicules. Le principe de la reconfiguration est le choix de la stratégie à adopter pour le train de véhicules en fonction de type de défaut détecté. / This work concerns the design of a supervision system applied to autonomous electric vehicle. Two based model monitoring methods are developed using the nonlinear model of electric vehicle: The first is based on multiple observers to detect and to isolate faults. The second approach is the generation of nonlinear analytical redundancy relations (nonlinear parity space). In addition to the generation of residuals by the method of parity space, differential sliding mode observers are integrated to estimate the successive derivatives of inputs and outputs. To make a train of three vehicles, a longitudinal control (control of the safety space) based on measuring the distance between vehicles is developed. The lateral control is based on a reference path tracking imposed for all vehicles. A steering command is then calculated based on the difference between the measured and the desired trajectory. Finally, some strategies are developed for the reconfiguration of the train of vehicles. The principle of the reconfiguration is the choice of strategy for the train of vehicles according to kind of detected fault.

info:eu-repo/semantics/nonPublished

Ces travaux de thèse présentent une étude du mécanisme de compatibilisation induit par des nanoparticules d’argile dans les mélanges de polymères en utilisant la rhéologie. Pour cela, de la montmorillonite, la laponite et l’halloysite, modifiées ou non, ont été ajoutées à des mélanges PMMA/PS. Les résultats de rhéologie linéaire en cisaillement ont montré que le mécanisme de compatibilisation, particulièrement le phénomène de coalescence, dépendait beaucoup de la localisation des nanoparticules. La montmorillonite modifiée, présente à l’interface entre les polymères, est la plus efficace à inhiber la coalescence et est aussi efficace qu’un copolymère à bloc de haute masse molaire. Ceci est particulièrement intéressant car les nanoparticules d’argile représentent un coût moindre comparé aux copolymères à bloc. Dans ces travaux, une attention spéciale a été portée aux relaxations présentes dans les mélanges. En utilisant la rhéologie linéaire en cisaillement, un effet Marangoni a été mis en évidence pour la première fois dans le cas de nanoparticules d’argile modifiées présentes à l’interface. Enfin, les mélanges soumis à un flux élongationnel puis relaxation ont montré que la relaxation des gouttes de phase dispersée après une importante déformation était plus rapide par ajout d’argiles dispersées dans la matrice et ralentie par des argiles mieux dispersées soit à l’interface, soit dans l’ensemble du mélange. / In this thesis, the compatibilization mechanism induced by clay nanoparticles in polymer blends was investigated using rheology. To do so, montmorillonite, laponite and halloysite, modified or not, were added to PMMA/PS blends. Linear shear rheology showed that the compatibilization mechanism, especially the coalescence phenomenon, was greatly influenced by the localization of clay nanoparticles. Modified montmorillonite, which was located at the interface, was shown to be the most efficient at inhibiting coalescence among clays and as efficient as a block copolymer with a high molecular mass. The latter is particularly interesting as nanoparticles are cheaper than block copolymers. In this work, special attention was given to relaxations happening in blends. Using linear shear rheology, Marangoni stresses due to a gradient in compatibilizer concentration at the interface was evidenced for the first time in the case of organically modified clay nanoparticles when located at the interface. Finally, submitting blends to elongational flow and subsequent relaxation showed that the relaxation of the droplets after high deformations was faster in the case of clays dispersed in the matrix and slowed down by the interfacial tension in the case of a better dispersion of clays at the interface or in the whole blend.

Le niobate de Lithium est un matériau optique utilisé dans de nombreuses applications en optoélectroniques grâce à ses propriétés électro-optiques, piézoélectriques et optiques non linéaire assez exceptionnelles. Parmi ces propriétés et applications, l’effet photoréfractif a engendré de nombreuses études. Cet effet dépend de la nature et de la concentration du dopant ; plus particulièrement, le dopage par des ions Fe est connu pour permettre d’augmenter l’efficacité photoréfractive. Il est donc important de connaitre et de maitriser la structure du matériau hôte lors du dopage Fe. L’objectif du travail de thèse consiste à étudier par spectres Raman les modifications générées par l’effet photoréfractif. Nos résultats montrent que la photorefractivité se manifeste par des effets différents : une déformation mécanique de la maille cristalline, provoquant un déplacement de certaines raies Raman ; la défocalisation du faisceau laser perturbant sa propagation dans le matériau, et ainsi des changements dans le spectre Raman ; des effets non linéaires de polarisation se manifestant par l’activation de raies Raman interdites / Lithium Niobate is an optical material used in many applications in optoelectronics through its electro-optical, piezoelectric and quite exceptional nonlinear optical properties. Among these properties and applications, the photorefractive effect has created numerous studies. This effect depends on the nature and the concentration of dopant; in particular by doping with Fe ions is known to increase the photorefractive efficiency. It is therefore important to know and to manage the structure of the material during Fe doping. The aim of the thesis is to study Raman spectra changes generated by the photorefractive effect. Our results show that the photorefractivity is manifested by different effects : a mechanical deformation of the crystal lattice, causing a displacement of some Raman lines ; the defocusing of the laser beam disrupting its propagation in the material, and thus changes in the Raman spectrum ; nonlinear effects of polarization manifested by activating of forbidden Raman lines

Cette thèse présente une méthode parallèle de résolution de systèmes linéaires creux basée sur un algorithme multigrille géométrique. Les estimations de la solution sont calculées par méthode directe sur le niveau grossier ou par méthode itérative de type splitting sur les maillages raffinés; des opérateurs inter-grilles sont définis pour interpoler les solutions approximatives entre les différents niveaux de raffinements. Ce solveur est utilisé dans le cadre de simulations électromagnétiques en 3D (équations de Maxwell en régime harmonique discrétisées par éléments finis de Nédélec de premier ordre) en tant que méthode stationnaire ou comme préconditionneur d’une méthode de Krylov (GMRES). / Multigrid algorithm. The system is solved thanks to a direct method on the coarse mesh anditerative splitting method on refined meshes; inter-grid operators are defined to interpolate theapproximate solutions on the different refinement levels. Applied to 3D electromagnetic simulations(Nédélec first order finite element approximation of time harmonic Maxwell equations) thissolver is used either as a stationary method or as a preconditioner for a Krylov subspace method(GMRES).

Ce travail de thèse porte sur l'analyse des glissements de terrain, qui constituent un risque naturel majeur responsable de pertes humaines élevées ainsi que de grands dommages aux structures, des infrastructures et de l'environnement naturel. Cette question revêt une importance particulière, en raison du changement climatique, qui augmente le risque de fortes pluies ainsi que la sécheresse, et par conséquent le risque d'instabilité des pentes due à l'environnement. Généralement, l'analyse de la stabilité des talus est réalisée en utilisant l’approche de l'équilibre limite. Comme cette théorie ne tient pas compte du processus de mobilisation du frottement, elle pourrait conduire à une surestimation du facteur de sécurité. Une analyse fiable de la stabilité des talus, en particulier dans les sols hétérogènes soumis à l'action de l'eau, nécessite l'utilisation de méthodes numériques avancées. Deux méthodes ont été utilisées dans cette recherche: la méthode de couplage hydromécanique et la méthode dynamique non linéaire. / This research concerns analysis of landslides, which constitute a major natural risk responsible for high human losses as well as large damages to structures, infrastructure and natural environment. This issue becomes particularly important, because of the climate change, which increases the risk of heavy rains as well as severe drought and consequently the risk of slope instability due to the environment change. Generally, analysis of slope stability is conducted using the limit equilibrium theory. As this theory does not take into consideration the process of mobilization of the friction, it could lead to an overestimation of the safety factor. A reliable analysis of the slope stability, in particular in heterogeneous soils submitted to the water action, requires the use of advanced numerical methods. Two methods were used in this research: the coupled hydro-mechanical method and the nonlinear dynamic method.

La théorie de la preuve se développe depuis la correspondance de Curry-Howard suivant deux sources d’inspirations : les langages de programmation, pour lesquels elle agit comme une théorie des types de données, et l’étude sémantique des preuves. Cette dernière consiste à donner des modèles mathématiques pour les comportements des preuves/programmes. En particulier, la sémantique dénotationnelle s’attache à interpréter les deux-ci comme des fonctions entre des types, et permet en retour d’affiner notre compréhension des preuves/programmes. La logique linéaire (LL), introduite par Girard, donne une interprétation logique des notions d’algèbre linéaire, quand la logique linéaire différentielle (DiLL), introduite par Ehrhard et Regnier, permet une compréhension logique de la notion de différentielle.Cette thèse s’attache à renforcer la correspondance sémantique entre théorie de la preuve et analyse fonctionnelle, en insistant sur le caractère involutif de la négation dans DiLL.La première partie consiste en un rappel des notions de linéarité, polarisation et différentiation en théorie de la preuve, ainsi qu’un exposé rapide de théorie des espaces vectoriels topologiques. La deuxième partie donne deux modèles duaux de la logique linéaire différentielle, interprétant la négation d’une formule respectivement par le dual faible et le dual de Mackey. Quand la topologie faible ne permet qu’une interprétation discrète des preuves sous forme de série formelle, la topologie de Mackey nous permet de donner un modèle polarisé et lisse de DiLL, et de raffiner des résultats précédemment obtenus par Blute, Dabrowski, Ehrhard et Tasson. Enfin, la troisième partie de cette thèse s’attache à interpréter les preuves de DiLL par des distributions à support compact. Nous donnons un modèle polarisé de DiLL où les formules négatives sont interprétés par des espaces Fréchet Nucléaires. Nous montrons que enfin la résolution des équations aux dérivées partielles linéaires à coefficients constants obéit à une syntaxe qui généralise celle de DiLL, que nous détaillons. / Around the curry-coward correspondence, proof-theory has grown along two distinct fields : the theory of programming languages, for which formulas acts as data types, and the semantic study of proofs. The latter consists in giving mathematical models of proofs and programs. In particular, denotational semantics distinguishes data types which serves as input or output of programs, and allows in return for a finer understanding of proofs and programs. Linear Logic (LL) gives a logical interpretation of the basic notions from/of linear algebra, while Differential Linear Logic allows for a logical understanding of differentiation. This manuscript strengthens the link between proof-theory and functional analysis, and highlights the role of linear involutive negation in DiLL. The first part of this thesis consists in a quick overview of prerequisites on the notions of linearity, polarisation and differentiation in proof-theory, and gives the necessary background in the theory of locally convex topological vector spaces. The second part uses two classic topologies on the dual of a topological vector space and gives two models of DiLL: the weak topology allows only for a discrete interpretation of proofs through formal power series, while the Mackey topology on the dual allows for a smooth and polarised model of DiLL. Finally, the third part interprets proofs of DiLL by distributions. We detail a polarized model of DiLL in which negatives are Fréchet Nuclear spaces, and proofs are distributions with compact support. We also show that solving linear partial differential equations with constant coefficients can be typed by a syntax similar to the one of DiLL, which we detail.