• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 689
  • 334
  • 68
  • 2
  • Tagged with
  • 1110
  • 511
  • 292
  • 197
  • 166
  • 141
  • 121
  • 110
  • 103
  • 98
  • 97
  • 97
  • 89
  • 81
  • 76
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
311

Problèmes inverses pour des problèmes d'évolution paraboliques à coefficients périodiques / Inverse problems for parabolic evolution problems with periodic coefficients

Kaddouri, Isma 23 June 2014 (has links)
Ce travail de thèse est constitué de l'étude de deux problèmes inverses associés à des équations paraboliques à coefficients périodiques. Dans la première partie, on a considéré une équation parabolique à coefficients et condition initiale périodiques. Notre travail a consisté à aborder le cas de coefficient à régularité faible et à minimiser les contraintes d'observations requises pour établir notre résultat de reconstruction du potentiel. On a commencé par établir un résultat d'existence et d'unicité de la solution dans un espace d'énergie adéquat. Ensuite, on a énoncé un principe du maximum adapté aux hypothèses du problème étudié et on a travaillé avec des coefficients mesurables et bornés. Enfin, on a reconstruit le potentiel en établissant une inégalité de Carleman. Le résultat d'identification a été obtenu via une inégalité de stabilité de type Lipschitz. Dans le second travail, on s'est intéressé à la détermination d'un coefficient périodique en espace du terme de réaction dans une équation de réaction-diffusion définie dans l'espace entier $mathbb{R}$. On établit un résultat d'unicité en utilisant un nouveau type d'observations. La nature du problème étudié, posé dans l'espace $mathbb{R}$, nous a permis d'utiliser la notion de vitesse asymptotique de propagation. On a prouvé l'existence de cette vitesse et on l'a caractérisé. On a surdéterminé le problème inverse en choisissant une famille de conditions initiales à décroi-ssance exponentielle. Notre principal résultat est que ce coefficient est déterminé de façon unique, à une symétrie près, par l'observation d'un continuum de vitesses asymptotiques de propagation. / This thesis consists in the study of two problems associated to inverse para-bolic equations with periodic coefficients. We are interested in identifying one coefficient by using two different methods. In the first part, we consider a parabolic equation with periodic coefficients and periodic initial condition. Our work consists to consider the case of coefficient with weak regularity and to minimize the constraints of observations which are required to establish our reconstruction result. We establish a result of existence and uniqueness of the solution in adequate energy space. Then we prove a maximum principle adapted to the hypothesis of the problem studied and we work with measurable and bounded coefficients. Finally, we reconstruct the potential by establishing a Carleman estimate. The identification result was achieved via an inequality of stability. In the second work, we are interested to determine a periodic coefficient of the reaction term defined in the whole space $mathbb{R}$. We establish a uniqueness result by using a new type of observations. The nature of the studied problem allowed us to use the notion of asymptotic speed of propagation. We prove the existence of this speed and we give its characterization. We overdetermin the inverse problem by choosing a family of initial conditions exponentially decaying. Our main result is that the coefficient is uniquely determined up to a symmetry, by the observation of a continuum of asymptotic speed of propagation.
312

Imagerie terrestre urbaine : vers une méthode physique d'estimation de la réflectance / Terrestrial urban imagery : towards a physical method for the estimation of reflectances

Coubard, Fabien 30 October 2014 (has links)
L'imagerie terrestre urbaine se développe grâce à la diffusion grand public de visualisateurs immersifs au niveau de la rue. L'objectif de cette thèse est de proposer une méthode physique d'estimation de la réflectance des matériaux d'une scène urbaine à partir des images d'un système mobile d'acquisition, comme par exemple le véhicule d'acquisition Stereopolis, développé au laboratoire MATIS de l'Institut National de l'Information Géographique et Forestière (IGN).Pour cela, on considère que l'on dispose d'un modèle 3D de la scène, segmenté en zones de réflectance homogène (décrite par un modèle paramétrique), d'un jeu d'images géoréférencées corrigées radiométriquement. On propose une méthode d'estimation des réflectances par minimisation de l'écart entre les images réelles acquises par le capteur et des images simulées depuis le même point de vue. Après une modélisation phénoménologique des différentes composantes de la luminance arrivant au niveau d'un capteur imageur dans le domaine visible, une méthode utilisant le lancer de rayons sert à simuler cette luminance. Cela constitue ici le problème direct. Cet outil de simulation nécessite la connaissance de l'illumination de la scène, i.e. la répartition et la puissance des sources de lumière. Pour une acquisition avec Stereopolis, on ne réalise généralement pas de mesures atmosphériques et/ou radiométriques permettant de déterminer l'illumination avec des codes de transfert radiatif ; c'est pourquoi on propose une méthode d'estimation de la luminance du ciel à partir des images, en utilisant les pixels qui voient le ciel. L'éclairement solaire direct, non accessible directement dans les images, est estimé par une méthode ombre-soleil grâce à une plaque de référence placée sur le toit du véhicule. L'algorithme d'inversion du système se fait par minimisation d'une fonction coût constituée par la différence pixel à pixel entre les images simulées avec certains paramètres de réflectance et les images réelles. Cela nécessite de nombreuses simulations par lancer de rayons, car l'algorithme est itératif en raison des réflexions multiples entre les objets qui doivent être calculées avec des paramètres de réflectances initiaux. Afin d'éviter ces très coûteux lancers de rayons, on propose un algorithme de lancer de rayons formel qui stocke la luminance simulée comme des fonctions des paramètres de réflectances au lieu d'une valeur numérique. Cela permet de mettre à jour les images de luminance simulées par simple évaluation de ces fonctions avec le jeu de paramètres courant. La minimisation elle-même est effectuée par la méthode du gradient conjugué. Des résultats sur des scènes synthétiques permettent de faire une première validation de la méthode. Cependant, l'application sur un jeu d'images issues de Stereopolis pose plusieurs difficultés, notamment liées l'étalonnage radiométrique et à la segmentation du modèle 3D utilisé en entrée / Urban terrestrial imagery is widely used through online viewers of street-level images. The MATIS of the French National Geographical and Forester Data Institute (IGN) has developed its own mobile-mapping vehicle, Stereopolis, dedicated to research purposes. In this thesis, we develop a physically-based method to retrieve the reflectance of urban materials from a set of images shot by a mobile-mapping vehicle. This method uses a 3D model of the scene (segmented in areas of homogeneous reflectance, modeled by a parametric formula) and a set of georeferenced and radiometrically corrected images. We present a method for the estimation of the reflectances of the materials by minimizing the difference between real acquired images and simulated images from the same point of view. A modelisation of the physical phenomena leading to the formation of optical images is presented. A code using ray-tracing algortihm is used to compute the radiance at the sensor level. This is the direct problem for our estimation of reflectances. The illumination of the scene must be an input of this simulation tool; now, in a typical urban mobile-mapping acquisition neither atmospheric nor radiometric measurements are performed, that could be used to determine the illumination with a radiative transfer code. We propose an estimation of the illumination using directly the sky pixels in the acquired images. The direct solar irradiance cannot be estimated from the images because of overexposure, but we can use a shadows casted on a dedicated reference plate placed on top of the vehicle. The reflectances estimation is performed by minimizing a cost function; this cost function is the pixel-wise difference between simulated images (with current reflectances parameters) and acquired images. This leads to numerous ray-tracing simulations as the algorithm is iterative due to interreflections between the objects of the scene, that are computed using initial parameters. In order to prevent these costly ray-tracing simulations, we propose a symbolic ray-tracing algorithm that computes the radiance as a symbolic function of the reflectances parameters instead of a numerical value. Then, each iteration of the minimization algorithm is only an evaluation of a symbolic function. Results are shown on synthetic scenes to perform a first validation the estimation method. Using this method on real Stereopolis images remains difficult, mainly due to the radiometric calibration of cameras and the segmentation on the 3D model
313

Méthode d'identification d'un impact appliqué sur une structure admettant des modes de vibration basse fréquence faiblement amortis et bien séparés / Impact identification technique for a structure with weakly damped and well separated low frequency vibration modes

Goutaudier, Dimitri 03 April 2019 (has links)
La détection d'impacts est une préoccupation majeure pour suivre l'intégrité d'une structure évoluant dans un environnement comportant des risques de collision. Ce travail consiste à développer une méthode d’identification d'impact applicable à une structure composite de grandes dimensions qui soit à la fois robuste, peu coûteuse en temps de calcul, et qui nécessite peu de capteurs. Dans un premier temps, la démarche a été de décrire l'image du point d'impact dans la réponse vibratoire par un vecteur de participations modales. L'idée a ensuite été d'introduire l'hypothèse d'existence d'une famille de modes discriminants permettant d'établir le lien bijectif entre les participations modales et le point d'impact. Une procédure d'estimation de ces participations modales à partir d'un unique point de mesure a été proposée. Dans un second temps, la démarche a été d'étendre la procédure à l'identification d'une loi décrivant les paramètres principaux d'une force d'impact. Des conditions portant sur les paramètres de mesure et les propriétés modales de la structure sont déterminées pour garantir la précision et la robustesse de l'identification. Ce travail a permis de développer une approche en rupture par rapport à l'état de l'art, en ce sens qu'elle ne nécessite, en théorie, qu'un seul point de mesures vibratoires pour identifier un impact. Des essais expérimentaux sur un pavillon d'A350 ont permis de valider cette approche sur une structure composite de grandes dimensions. / Many industrial structures operate in an environment with a high risk of collision. The detection of impacts and the assessment of their severity is a major preoccupation in Structural Health Monitoring. This work deals with the development of an impact identification technique that is applicable to a large composite structure, numerically robust and time efficient, and that requires a low number of sensors. The first step was to describe the image of the impact point in the vibration response as a modal participation vector. The idea was to introduce the existence of a discriminating modes familly to make a bijective link between the modal participations and the impact point. A least-squares procedure is developed to estimate those modal participations by measuring the vibration response of a single point on the structure. The second step was to extend the procedure to the identification of a parametric law representing the impact load history. Some conditions on measurement parameters and modal properties of the structure are identified to guarantee both the accuracy and the robustness of the procedure. The approach developed in this work is new regarding the state of the art: only one measurement point is considered for identifying an impact event. An experimental validation on an A350 crown panel indicates that the methodology is valid for large composite structures.
314

La relative hyperbolicité des produits semi-direct des produits libres / Relative hyperbolicity of suspensions of free products

Li, Ruoyu 17 October 2018 (has links)
Dans la thèse présente, nous nous intéressons à l'étude de la relative hyperbolicité des produits semi-direct des produits libres, ainsi que le problème de conjugaison pour certains automorphismes de ces produits libres.Plus précisement, pour un produit libre $$G=G_1astdotsast G_past F_k$$ un automorphisme $phi$ est intitulé atoroidal s'il ne fixe pas (ni aucune de ses puissances) la classe de conjugaison d'un élément hyperbolique de $G$. Cet automorphisme est appelé completement irréductible si le système de facteurs libres est le plus grand qui est fixé par toutes les puissances de cet automorphisme. Il est appelé toral si pour tous les $i$, il existe $g_iin G$ tel que ${rm ad}_{g_i}circ phi|_{G_i}$ est identité sur le facteur libre $G_i$. Nous disons qu'il a la condition centrale si pour chaque $i$, il existe $g_iin G$ conjugue $phi(G_i)$ à $G_i$, et s'il existe un élément non trivial de $G_irtimes_{{rm ad}_{g_i} circ phi|_{G_i}} mathbb{Z}$ qui est central dans $G_irtimes_{{rm ad}_{g_i} circ phi|_{G_i}} mathbb{Z}$.Nous prouvons, dans le Théorème 4.28, que si $phi$ est atoroidal et completement irréductible, et si le produit libre est non-elementaire ($kgeq 2$ ou $ p+k geq 3$), le groupe $Grtimes_phi mathbb{Z}$ est relativement hyperbolique (relativement a des suspensions de chaque $G_i$). Après, dans le Théorème 6.10, nous prouvons le même résultat si $phi$ est atoroidal avec la condition centrale. Nous prouvons aussi dans le Théorème 7.21 que si tous les $G_i$ sont abelien, le problème de conjugaison est solvable pour les automorphismes atoroidaux, toraux. Ces sont des analogues du résultat de Brinkmann [7] (celui qui a donné le résultat d'hyperbolicité pour les groupes libres), et du résultat de Dahmani [12] (celui qui a résolu le problème de conjugaison des automorphismes hyperboliques). / In this thesis, we are interested in the study of the relative hyperbolicity of the suspensions of free products, as well as the conjugacy problem of certain automorphisms of free products.To be more precise, given a free product $$G=G_1astdotsast G_past F_k$$ an automorphism $phi$ is said atoroidal if no power fixes the conjugacy class of an hyperbolic element. It is called fully irreducible if the given free factor system $[G_1],dots,[G_p]$ is the largest one that is fixed by every power of the automorphism. It is said toral if for all $i$, there exists $g_iin G$ such that ${rm ad}_{g_i}circ phi|_{G_i}$ is the identity on the free factor $G_i$. It is said to have central condition if for each $i$, there exists $g_iin G$ conjugating $phi(G_i)$ to $G_i$, and if there exists a non-trivial element of $G_irtimes_{{rm ad}_{g_i} circ phi|_{G_i}} mathbb{Z}$ that is central in $G_irtimes_{{rm ad}_{g_i} circ phi|_{G_i}} mathbb{Z}$.We prove, in Theorem 4.28, that if $phi$ is atoroidal and fully irreducible, and if the free product is non-elementary ($kgeq 2$ or $ p+k geq 3$), the group $Grtimes_phi mathbb{Z}$ is relatively hyperbolic (relative to the mapping torus of each $G_i$). Then in Theorem 6.10 we prove the same result holds if $phi$ is atoroidal with central condition. We also prove in Theorem 7.21 that if all $G_i$ are abelian, the conjugacy problem is solvable for toral atoroidal automorphisms. These are analogue of the result of Brinkmann [7] (which gave the hyperbolicity result for free groups) and the result of Dahmani [12] (which solved the conjugacy problem of hyperbolic automorphisms).
315

Schémas d'ordre élevé pour la méthode SPH-ALE appliquée à des simulations sur machines hydrauliques

Renaut, Gilles-Alexis 17 December 2015 (has links)
Ce travail traite des méthodes de calcul numérique pour les simulations hydrodynamiques appliquées principalement sur des produits développés par ANDRITZ HYDRO. Il s’agit ici de mettre en place des schémas d’ordre élevé pour des simulations CFD en utilisant le code de calcul ASPHODEL développé et utilisé par ANDRITZ HYDRO. Les principales motivations sont l’augmentation de la fiabilité des résultats de calculs numériques avec un coût de calcul raisonnable. Cette fiabilité s’exprime à travers l’augmentation de la précision et de la robustesse des schémas numériques. Le code de calcul ASPHODEL est basé sur la méthode sans maillage SPH-ALE. Mélange entre les volumes finis et la méthode SPH (Smoothed Particle Hydrodynamics), la méthode SPH-ALE emploie un ensemble de points appelés particules servant à la discrétisation du domaine fluide. Elle permet en particulier de par son caractère sans maillage, un suivi des surfaces libres sans effort de calcul supplémentaire. Cet aspect est véritablement attrayant pour bon nombre d’applications industrielles notamment la simulation des écoulements à surface libre se produisant dans une turbine Pelton, mais également le remplissage d’une turbine Francis. Cependant, le bémol à cette méthode est son manque de précision spatiale. En effet les points de calcul étant mobiles, les opérateurs spatiaux doivent être en mesure de conserver leur précision et leur robustesse au cours du temps. La qualité des résultats en est du coup impactée, en particulier le champ de pression souvent excessivement bruité. La montée en ordre et l’amélioration de la consistance des opérateurs pour un vaste panel de configurations géométriques sont donc les enjeux de ce travail. En utilisant des outils inspirés par les volumes finis non-structurés, il est possible d’améliorer les opérateurs spatiaux. En effet, la montée en ordre ou p-raffinement peut notamment se faire avec des reconstructions d’ordres élevés pour évaluer les états aux interfaces des problèmes de Riemann. La sommation des flux numériques résolus par un solveur de Riemann est ensuite retravaillée pour obtenir un schéma numérique d’ordre global cohérent. Le même soucis de cohérence avec les schémas en temps doit d’ailleurs être pensé. Le gain de précision apporté par les schémas numériques d’ordre élevé est comparé avec un raffinement spatial, c’est à dire une augmentation du nombre des particules de taille plus petite, aussi appelé h-raffinement. La méthode SPH-ALE améliorée est ensuite testée sur des cas représentatifs des applications visées. En conclusion, les développements effectués dans cette étude ont été guidés par l’application en turbine Pelton principalement mais il va de soi qu’ils sont applicables à des écoulements sans surface libre dans les turbines Francis par exemple. Ce travail montre les possibilités d’une méthode sans maillage pour des cas d’écoulements complexes autour de géométrie tournantes. / This work deals with numerical methods for hydrodynamic testing applied mainly on products developed by ANDRITZ HYDRO. This is to put in place high order schemes for CFD simulations using the ASPHODEL calculation code developed and used by ANDRITZ HYDRO. The main reasons are the increased reliability of the results of numerical calculations with a reasonable computational cost. This reliability is expressed through increasing the accuracy and robustness of numerical schemes. The ASPHODEL computer code is based on the meshfree method SPH-ALE. Mix between finite volume method and SPH (Smoothed Particle Hydrodynamics), the SPH-ALE method uses a set of points called particles serving as the fluid domain discretization. It allows track free surfaces without additional computational effort. This is truly attractive for many industrial applications including the simulation of free surface flows occurring in a Pelton turbine, but also filling a Francis turbine. However, the downside of this method is its lack of spatial accuracy. Indeed calculation points are mobile, space operators must be able to keep their accuracy and robustness over time. The quality of results is impacted especially the pressure field is often excessively noisy. The rise in order and improving the consistency of the operators for a wide range of geometric configurations are the challenges of this work. Using tools inspired by the unstructured finite volume, it is possible to improve the spatial operators. Indeed, the increasing order or p-refinement particular can be done with reconstructions of high order to assess the conditions at the interfaces of Riemann problems. The summation of discret fluxes solved by Riemann solver is then reworked to obtain a coherent global order scheme. The same concern for consistency with temporal schemes should also be considered. The precision gain provided by numerical schemes of higher orders is compared with a spatial refinement ie an increase in the number of smaller particles ; also called h -refinement . Improved SPH -ALE method is then tested on representative cases of intended applications. In conclusion, the developments made in this study were guided in accordance mainly with the Pelton turbine but it goes without saying that they are applicable to non- free surface flows in Francis turbines for example. This work shows the possibilities of a free mesh method for cases of complex flow around rotating geometry.
316

Transport laplacien, problème inverse et opérateurs de Dirichlet-Neumann

Baydoun, Ibrahim 03 November 2011 (has links)
Le travail de ma thèse est basé sur ces 4 points :i) Transport laplacien d'une cellule absorbante :Soit un certain espèce (cellule) de concentration C(x), qui diffuse dans un milieu homogène et isotrope à partir d'une lointaine source localisée sur la frontière fermée $partial Omega_{0}$ vers une interface compact semi-perméable $partial Omega$ (membrane de la "cellule") à laquelle elle disparaisse àun taux d'absorption donné : W>=0. La concentration C (transport laplacien avec un coefficient de diffusion D) satisfaite le problème (P1) (voir la thèse). On s'intéresse à résoudre le problème (P1) en dimension dim = 2; 3 et à calculer les courants local et total à travers les frontières des $partial Omega$ et $partial Omega_{0}$ qui seront utiles pour résoudre le problèmeinverse de localisation. Pour faciliter les calculs et les rendre explicites, on prend $partial Omega$ et $partial Omega_{0}$ avec des formes géométriquement régulières, précisément des boules, en distinguant les deux cas : $Omega$ et $Omega_{0}$ sont concentriques ou non-concentriques. Pour le cas non-concentriques , on utilise la technique de transformation conforme et le développement orthogonal en série de Fourier pour résoudre le problème (P1) en cas bidimensionnel. Tandis que en cas tridimensionnel, on résout le problème (P1) en utilisant le développement orthogonal suivant les fonctions sphériques harmoniques.ii) Problème inverse de localisationOn s'intéresse dans cette partie à résoudre le problème inverse de localisation associé au problème (P1) où les domaines $Omega$ et $Omega_{0}$ sont considérés avec des formes géométriques régulières (précisément des boules) . Ce problème consiste à trouver les conditions de Dirichlet-Neumann sur $partial Omega_{0}$ (courant local, courant total) suffisantes pour déterminer la position de la cellule $partial$ (par rapport à $Omega_{0}$), dont ces conditions sont disponibles par une suite des mesures expérimentales.iii) Problème invesre géomètrique :Dans cette partie on traite un autre type de problème inverse qui consiste à trouver la forme géométrique de la cellule en sachant les conditions de Dirichlet-Neumann au bord extérieur(partial Omega_{0}) qui sont mésurables par une suite d'expérience. Ce type du problème, on l'appelle le problème inverse géométrique. On résout ce problème en utilisant des techniques concernant les fonctions harmoniques et les transformations conformes.iv) Opérateur de Dirichlet-NeumannOn étudie l'opérateur de Dirichlet-Neumann relatif au problème (P1) dans les dimension deux et trois en distinguant les deux cas concentriques et non-concentriques. Ensuite, on montre que cet opérateur de Dirichlet-Neumann engendre certain semi-groupe qu'on l'appelle semi-groupe de Lax. Enfin, on construit ce semi-groupe de Lax associé à cet opérateur en cas tridimensionnel concentriques afin de vérifier que ce semi-groupe admet les mêmes propriétés que celui dans le cas général. / The outline of my thesisi) Let some "species" of concentration C(p), x 2 Rd, diuse stationary in the isotropic bulk from a (distant) source localised on the closed boundary $partial Omega_{0}$ towards a semipermeable compact interface $partial Omega$ of the cell $Omega in Omega_{0}$ where they disappear at a given rate $W >= 0$. Then the steady field of concentrations C satisfy the problem $(P1)$. (see the Thesis). We interest to solve (P1) in Twodimensional and Tridimensional cases and to calculate the local and total flux in order to solving the localisation inverse problem. In order to make easy the calculations, we take $Omega$ and $Omega_{0}$ with a regularly geometricals forms by distinguishing the two cases : Concentrics and non-concentrics case. For the non-cncentrics case, we use the conformal mapping technique for resolving the problem (P1) in the twodimensional case. whereas in the tridimensional case, we use the development according to the spherical harmonics functions.ii) Localisation inverse problemThe aim of the localisation inverse problem is to find the necessary Dirichlet-to-Neumann conditions in order to determine the position of thecell $Omega$, where these conditions are measurable.iii) Geometrical inverse problemOur main results concerns a formal solution of the geometrical inverse problem for the form of absorbing domains. We restrict this study to two dimensions and we study it by the conformal mapping technique and harmonic functions.iv) Dirichlet-to-Neumann operatorWe study the Dirichlet-to-Neumann operatot relative to problem (P1) in the twodimensional and tridimensionnal cases by distinguishing the two cases : Concentrics and non-concentrics case. We prove that the Dirichlet-to-Neumann operator generates some semi-group, we call it the Lax semi-group. Finally we construct this semi group and verify that this demi-group satisfies the generals properties of a operator.
317

A constraint programming approach for the time dependent traveling salesman problem / Une approche de programmation par contraintes du problème du voyageur de commerce dépendant du temps

Melgarejo, Penélope Aguiar 16 December 2016 (has links)
L'optimisation des tournées de livraison est souvent modélisée par un problème de voyageur de commerce (Traveling Salesman Problem / TSP). Pour ce problème, il est fréquent d’avoir des contraintes additionnelles telles que, par exemple, des fenêtres horaires limitant les heures de livraison chez le client ou des pauses obligatoires pour les conducteurs des camions. Le temps est une dimension importante à prendre en compte pour respecter ces contraintes. Cependant, les durées des trajets ne sont généralement pas constantes mais varient en fonction des congestions, et cette variabilité doit être intégrée au moment de l’optimisation des tournées. Ainsi, le problème du voyageur de commerce dépendant du temps (Time Dependent TSP / TD-TSP) est la version étendue du TSP où le coût d'un arc dépend de l'heure à laquelle cet arc est emprunté. Dans cet thèse nous proposons un nouveau benchmark pour le TD-TSP basé sur des données réelles de trafic (fournies par la Métropole de Lyon) et nous montrons l'intérêt de prendre en compte la variabilité des durées dans ce problème. Nous étudions comment mieux modéliser les fonctions de durée de trajet dépendantes du temps. Nous introduisons et comparons différents modèles pour résoudre le TD-TSP avec la programmation par contraintes (Constraint Programming / CP). Un premier modèle est directement dérivé du modèle CP classique pour le TSP. Nous montrons que ce modèle ne permet pas de raisonner avec des relations de précédence indirectes, ce qui pénalise sa performance sur notre benchmark. Nous introduisons une nouvelle contrainte globale qui est capable d'exploiter des relations de précédence indirectes sur des données dépendantes du temps et nous introduisons un nouveau modèle CP basé sur notre nouvelle contrainte. Nous comparons expérimentalement les deux modèles sur notre benchmark, et nous montrons que notre nouvelle contrainte permet de résoudre le TD-TSP plus efficacement. / In the context of urban deliveries, the optimization of delivery tours is usually modeled as a Traveling Salesman Problem (TSP). Side constraints like time-windows constraining the delivery times at the client or breaks for the drivers are also common in this kind of problem and time is an important dimension to take into account to respect these constraints. With travel times' variability in big cities time also tends to have a greater influence in costs and therefore it should be included in the optimization of delivery routes. The Time-Dependent Traveling Salesman Problem (TDTSP) is the extended version of the Traveling Salesman Problem (TSP) where arc costs depend on the time when the arc is traveled. In this thesis we propose a set of benchmarks for the TDTSP based on real traffic data (obtained from the city of Lyon) and show the interest of handling time dependency in the problem. A study of how to better model time-dependent travel functions in general and specifically for our approach is performed. We introduce and compare different models to solve the TDTSP with Constraint Programming (CP). A first model is derived in a straightforward way from the classical CP model for the TSP. We show that this model is not able to reason on indirect precedence relations, so that it has poor performance on our benchmark. We introduce a new global constraint which is able to exploit indirect precedence relations on time-dependent data, and we introduce a second model which is based on our new constraint. We experimentally compare the two models on our benchmark.
318

Acoustical source reconstruction from non-synchronous sequential measurements / Caractérisation de sources acoustiques à partir de mesures séquentielles non synchrones

Yu, Liang 23 March 2015 (has links)
Une limitation fondamentale du problème inverse acoustique est déterminée par la taille et la densité de l'antenne de microphones. Une solution pour atteindre une grande antenne et / ou à forte densité de microphones est de scanner l'objet d'intérêt en déplaçant séquentiellement une antenne de petites dimensions (mesures dites séquentielles). La différence entre des mesures séquentielle et une mesure simultanée en tous points est que dans ce dernier cas, l'intégralité de la matrice interpectrale peut être estimée, contrairement au cas des mesures séquentielles qui ne permettent l'estimation que d'une partie réduite de cette matrice; les éléments croisés (interspectres) entre deux points de mesures n'appartenant pas à la même séquence ne sont pas estimés. Néanmoins, ces données restent nécessaires pour la reconstruction acoustique. Dans l'approche classique, une ou plusieurs références sont utilisées pour retrouver les données manquantes. L'objet de cette thèse est de récupérer les éléments manquants de la matrice interspectrale sans capteurs de référence, dans le cas où le champ acoustique est suffisamment cohérent pour mettre en œuvre les mesures séquentielles. Deux modèles de spectre de valeurs propres parcimonieux sont proposés pour résoudre ce problème, le premier impose une valeur faible de rang, tandis que le second repose sur la minimisation de la norme nucléaire (recherche d'une solution faiblement parcimonieuse). / A fundamental limitation of the inverse acoustic problem is determined by the size of the array and the microphone density. A solution to achieve large array and/or high microphone density is to scan the object of interest by moving sequentially a small prototype array, which is referred to as sequential measurements. In comparison to a large array and/or high microphone density array that can acquire simultaneously all the information of the spectral matrix, in particular all cross-spectra, sequential measurements can only acquire a block diagonal spectral matrix, while the cross-spectra between the sequential measurements remain unknown due to the missing phase relationships between consecutive positions. Nevertheless, these unknown cross-spectra are necessary for acoustic reconstruction. The object of this thesis is to recover the missing elements of the spectral matrix in the case that the acoustical field is highly coherent so as to implement the sequential measurements. Sparse eigenvalue spectrum are assumed to solve this problem, which lead to a structured low rank model and a weakly sparse eigenvalue spectrum model.
319

Détermination des incertitudes de mesures de charge en essais en vol / Determination of load measurement uncertainties in flight tests

Gonzalez, Marion 06 May 2015 (has links)
Les charges que subit la voilure d’un avion ne peuvent pas être directement mesurées en vol. Ces charges sont leplus souvent estimées à partir des déformations de la voilure, mesurées par des ponts de jauge. La relation entreles déformations et les charges est typiquement modélisée par un modèle de régression linéaire. L'estimation descharges en vol est ainsi réalisée par une méthode en 2 étapes, connue sous le nom de méthode de Skopinski :- l'étalonnage au sol : des essais sont réalisés pour identifier les paramètres du modèle reliant les déformations,mesurées au sol, aux charges, connues à partir des efforts appliqués sur la structure.- les essais en vol : les charges sont estimées à partir des déformations, mesurées en vol, et des paramètres dumodèle identifiés au sol.Dans cette méthode, les incertitudes existant à chaque étape ne sont pas prises en compte. Ces incertitudescorrespondent aux bruits de mesure mais aussi aux erreurs de modélisation. De plus, le domaine d'application dumodèle est différent du domaine dans lequel ses paramètres sont identifiés. En effet, le modèle est étalonné au soldans des conditions de pression, de température et de chargement différentes des conditions existant en vol. Le butde cette thèse est de développer une méthode permettant de prendre en compte ces différentes sourcesd’incertitude afin, d’une part, de mieux identifier le modèle et, d’autre part, de quantifier l’incertitude qu’il entraînelors de son utilisation. / The loads on the wings of aircraft cannot be directly measured in flight. These loads are most of the time estimatedfrom the strains of the wing, which are measured by strain gages bridges. The relation between the strains and theloads is typically modeled by a linear regression model. The estimation of flight loads is so performed by a methodin 2 steps, known as the Skopinski method :- the ground calibration : tests are performed in order to identify the model parameters linking the strains, measuredon ground, to the loads, known from the loads which are applied on the structure.- the flight tests : the loads are estimated from the strains, measured in flight, and from the model parameters,identified on ground.In this method, the existing uncertainties at each step are not taken into account. These uncertainties correspond tothe measurement noises and the modeling errors. Furthermore, the model is applied in a domain which is differentfrom the domain where its parameters are identified. Indeed, the model is calibrated on ground in pressure, thermaland loading conditions which are different from those existing in flight. The aim of this PhD is to develop a methodtaken into account these different sources of uncertainties to better identify the model on one hand and to quantifythe uncertainty which is caused by its use.
320

Quand la santé devient écologique : Acteurs et transferts de la planification en santé environnement(ale) (OMS-France) / The Greening of Health : Actors and Transfers of the National Environmental Health Planning (WHO-France)

Debil, Fanny 15 November 2016 (has links)
Et si la santé était une chose trop sérieuse pour être confiée à des acteurs sanitaires ? Et si la fin des risques était possible ? Ces interrogations ont, entre autres, animé la planification en santé environnement(ale). Cette thèse sonde les genèse, conception et portée de cet instrument aussi sujet aux transferts et variations qu’aux aléas et controverses. Elle se penche sur l’OMS qui l’a initié, jusqu’au niveau national français où la planification est épousée de diverses manières. Une approche par les acteurs est privilégiée, un regard conjoint sur le déjà-là et le changement réclamé. Ainsi, l’analyse comprend la dimension politique de la planification comme dépendante d’un dépassement : celui d’acteurs du génie sanitaire, entrepreneurs historiques de santé environnement(ale), par des nouveaux groupes sanitaire et écologique disposant de ressources-clés dans l’appareil d’État. Plus particulièrement, la pérennité de la planification procède des acteurs écologiques. Renversant les projets de l’OMS, cette configuration suggère un glissement de propriété du problème santé environnement(ale). Depuis plus de vingt ans, la planification réduit l’ubiquité de la santé environnement(ale). Elle en esquisse aussi l’explosivité. À qui veut saisir la fabrique de ce problème, ses acteurs et débats, ses temps et grandeurs, ce travail propose quelques clés de lecture. Ces clés ouvrent sur l'intérieur, les sommets et les marges de l'État. S’y distingue une expertise systémique transcendant durablement sa pendante scientifique dans le gouvernement des relations humains/milieux. S’y dévoilent les sens composites des transversalités et leurs rapports vivaces aux sectorialités. / What if health was too serious to be left to health actors ? What if risks can disappear ? These interrogations have driven some of the national environmental health action plans. This specific planning is structurally a matter of transfers and changes, uncertainty and controversies. This thesis deals with its genesis, making, and effects. It integrates a transnational scene, the World Health Organization that initiates the planning. It also considers a national level, the French one precisely, that imports the planning. Two rationale are used : an actor-centered approach, a balanced examination of preexistence and innovation. This work thus foresees the political dimension of the national environmental health planning in France. It requires health and ecological state actors with adequate resources. These actors go beyond sanitary engineers that are historical advocates of environmental health. Besides, the ecological actors determine the continuity of the planning. This suggests that the owners of the environmental health problem have now changed. This also means a distance with the initial project of WHO. For more than twenty years, the national planning reduces the ubiquity of environmental health. It also suggests its exploding aspects. This thesis provides some insight to understand the making of this problem, its actors and debates, its times and quantities. It explores the inside, the highest level and the boundaries of the state. It enlightens the transcendence of systemic expertise with respect to scientific expertise for governing the human-environment relationships. More broadly, it leads to question the vigorous relation between the cross-cutting and sectoral aspects of public intervention.

Page generated in 0.2765 seconds