• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 36
  • 13
  • 4
  • Tagged with
  • 54
  • 54
  • 19
  • 16
  • 14
  • 13
  • 12
  • 11
  • 11
  • 10
  • 10
  • 9
  • 9
  • 9
  • 8
  • 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.
41

Contribution à l'identification, l'estimation et la commande de Moteurs Synchrones à Aimants Permanents (MSAP) / Contribution to the identification, estimation and control of Permanent Magnes Synchronous Motors (PMSM)

Delpoux, Romain 22 November 2012 (has links)
Ce travail concerne l'identification, l'estimation et la commande sans capteur mécanique de MSAP. Dans un premier temps, la modélisation du MSAP est réalisée dans le repère fixe a-b. Ce modèle est ensuite réécrit dans le repère d-q, couramment utilisé pour les machines tournantes et un nouveau repère f-g, avantageux dans le cadre d'applications sans capteur. Afin de valider le modèle expérimentalement, une identification par moindres carrés hors ligne avec capteurs, a été réalisée. Une approche similaire a été appliquée au moteur en enlevant la dépendance des capteurs mécaniques dans le repère f-g. Sachant que les lois de commande sans capteur dépendent fortement des paramètres, il a été est important de tous les identifier sans la présence de capteurs mécaniques. La synthèse de la commande a été réalisée à l’aide des modes glissants d'ordre deux et garantit la stabilité malgré des perturbations interne ou externe. Un observateur permettant d'estimer l'accélération, nécessaire pour calculer la variable de glissement, a été réalisé. Les expérimentations ont donné de très bons résultats. Basée sur les tensions et les courants, la réalisation d’observateurs par mode glissant, permet de supprimer les capteurs mécaniques. Les estimations de la position et de la vitesse sont alors utilisables dans la commande. Bien que la vitesse atteinte sans capteur soit inférieure à la vitesse atteinte avec capteurs, le suivi de trajectoire a une bonne précision.Finalement, des algorithmes d'identification des paramètres en ligne avec capteurs ont été développés. L'identification à l'aide de la méthode algébrique comparée à celle effectuée par modes glissants / This work deals with sensorless identification, estimation and control for PMSM.In a first phase, the PMSM modelling is realized in the fix a-b frame. This model is then rewritten in the d-q frame, commonly used for rotating machine and a new frame called f-g, advantageous in sensorless applications. It presents similar properties than the d-q frame, without the use of mechanical sensor. In order to experimentally validate the model, an identification using off-line least squares algorithm in the presence of sensors, is performed. This approach provides a set of nominal parameters. A similar procedure is applied to the motor without mechanical sensors in the f-g frame. Since the sensorless control laws are highly dependent on the parameters, it is important to be able to identify the parameters without mechanical sensor. The control design is realized based on second order sliding mode, it ensures the stability despite parametric uncertainties or external perturbations. A sliding mode observer is designed to estimate the acceleration, necessary to compute the sliding variable. Based on voltages and currents, the design of observers allows removing the mechanical sensors. The position and velocity estimation are then used for the control. The experimental results are very promising. Although the reached velocity is lower than the velocity reached using sensors, the trajectory tracking provides a good accuracy of the trajectory tracking. Finally, on-line parameters identification algorithms have been developed. The identification using algebraic method compared to the one realized with sliding modes
42

Identification des paramètres de bioprocédés environnementaux à partir des mesures accessibles issues de la respiration / Parameters indentification of environmental bioprocesses unsing accessibles measurements from respiration

Lemaire, Cyril 29 June 2015 (has links)
Les bioprocédés environnementaux prennent une place de plus en plus importante dans le paysage industriel mondial. La complexité et la diversité des processus impliqués dans les réactions biologiques de dégradation des polluants limitent considérablement la compréhension et l’utilisation de ces procédés. De plus, les mesures disponibles pour le suivi de cette activité sont souvent hors-ligne et/ou indirectes. Dans ce cadre, les outils de modélisation phénoménologique permettent, via le choix d’hypothèses judicieuses, de lier les observations du système aux processus biologiques sous-jacents. Ces méthodes nécessitent néanmoins l’application d’une étude rigoureuse d’identifiabilité afin de pouvoir exploiter correctement les résultats obtenus. Les modèles ainsi développés permettent de capitaliser des connaissances sur la description des processus biologiques grâce aux mesures effectuées sur le système. Cette approche a été développé au travers de deux cas d’étude, correspondant à deux domaines d’application industrielle. La bioremédiation des sols contaminés aux hydrocarbures constitue la méthode la plus écologique de traitement des sols. Néanmoins, le processus de biodégradation peut être long, voire inexistant en fonction des conditions environnementales. Afin de mesurer l’efficacité de la dégradation, la mesure de la respiration en phase gaz apparaît comme étant l’observation la plus facile à mettre en œuvre. Le problème est que la simple mesure de la consommation d’oxygène est généralement insuffisante. Pour répondre à cette limite, un modèle capable d’expliquer les évolutions du quotient respiratoire apparent grâce aux différentes étapes de la biodégradation a été développé. Cette mesure pourrait alors donner une indication sur l’efficacité de la biodégradation. La seconde partie de ce travail, plus conséquente, s’intéresse à l’épuration des eaux usées par boues activées, elle reprend et amplifie l’approche méthodologique développée pour la biomédiation des sols. L’efficacité de ce traitement des eaux est grandement liée à la production de boues en excès, exprimée par le rendement hétérotrophe. Ce paramètre difficile à maitriser constitue une information primordiale pour la modélisation et la conduite des stations d’épurations. Il apparaît néanmoins que sa définition usuelle ne suffit pas à expliquer ses variations observées. Dans ce cadre, différents modèles phénoménologiques issus des travaux du groupe de travail ASM (Activated Sludge Modeling) ont été étudiés afin de décrire les variations de ce rendement apparent en introduisant les hypothèses réactionnelles liées au stockage du substrat. Une étude expérimentale en laboratoire a permis de confronter ces hypothèses à des mesures de dégradation de substrats purs par des boues activées en respiromètre. L’équilibre entre le stockage du substrat et la croissance bactérienne a ainsi été proposé comme source d’influence majeure sur la valeur du rendement. Ce travail a abouti à une clarification nécessaire de la définition du rendement hétérotrophe. / Environmental bioprocesses are gaining importance in the industrial landscape. Nevertheless, the complexity of mechanisms involved in biological reactions stays an issue for their implementation. Moreover, available measurements of biological activity are often off-tine and/or indirect. ln this context, phenomenological modeling tools are a solution to link observations of the system to underlying biological reactions, considering the right hypotheses. These methods require a rigorous sensitivity analysis in order to properly process the results. Thus, the models permit to obtain precise knowledge about biological systems thanks to indirect measurement. This approach was developed throughout two cases of study corresponding to two industrial fields of application. Bioremediation is the most ecological method for hydrocarbons contaminated soils remediation. Nevertheless, biodegradation can be long or absent depending on environmental conditions. In order to measure its efficiency, respiration measurement in the gas phase seems to be the easiest observation to implement. Oxygen measurement can be insufficient on its own, that is why a model able to describe the evolution of the apparent respiratory quotient has been developed considering the different steps of biodegradation. This observation alone could give insights on the efficiency of biodegradation. The second part of this work deals with activated sludge wastewater treatment using the theoretical approach developed for soil bioremediation. The eftïciency ofthe process depends on the excess production of sludge, which is linked to the heterotrophic yield of the reaction. This parameter is a key component for modeling and optimization of wastewater treatment plant. Most of the time, its common definition is not sufficient to explain its observed variations. In this context, several phenomenological models derived from the activated sludge models were studied to explain these variations, taking into account the substrate storage process. An experimental study was conducted in order to confront the reactional hypothesis of the models to actual measurements of single substrate degradations in respirometer. The balance between substrate storage and direct growth was proposed as a main component of the yield value. This study resulted in a necessary clarification of the heterotrophic yield definition.
43

Identification de paramètres et analyses de sensibilité pour un modèle d'usinage par jet d'eau abrasif / Identification of unknown model parameters and sensitivity analysis for abrasive waterjet milling process

Groza, Vladimir 09 November 2016 (has links)
Ce travail fait partie du projet Marie-Curie ITN STEEP, dans le domaine des faisceaux énergétiques. Nous étudions ici l'identification de paramètres pour un modèle générique d'usinage par jet d'eau abrasif. L'étude de ce problème trouve son origine dans les applications industrielles d'usinage, où la nécessité de modéliser et prédire la surface finale avec une très grande précision est essentielle en l'absence de connaissance des paramètres du modèle Nous proposons ici une méthode d'identification des paramètres du modèle basée sur la minimisation d'une fonction coût, mesurant la différence entre la solution numérique et les observations expérimentales. L'approche variationnelle, basée sur le Lagrangien, permet de considérer l'adjoint, et l'utilisation d'un logiciel de différentiation automatique (TAPENADE) conduit à une identification rapide et précise des paramètres, quelles que soient la complexité et la taille du problème étudié. La qualité de l'identification peut être fortement instable et dépendre largement des données expérimentales en cas de bruit. Nous introduisons alors des termes de régularisation permettant de gérer la présence d'erreurs de mesure. Plusieurs cas d'usinage par jet abrasif sont considérés: problème stationnaire, jet qui se déplace à vitesse constante, ou en accélérant, utilisation synthétiques ou réelles L'étude de sensibilité montre la robustesse de l'approche, qui permet d'obtenir de très bons résultats acceptables d'un point de vue industriel / This work is part of STEEP Marie-Curie ITN project, covering the research in field of energy beam processing. We focus on the identification of unknown parameters of the proposed generic Abrasive WaterJet Milling (AWJM) model. The necessity of studying this problem comes from the industrial milling applications where the possibility to predict and model the final surface with high accuracy is one of the primary tasks in the absence of any knowledge of the model parameters that should be used. We propose the method of the model parameters identification by minimizing a cost function, measuring the difference between experimental observation and numerical solution. The variational approach based on corresponding Lagrangian allows to obtain the adjoint state and the involvement of the automatic differentiation software tool (TAPENADE) leads to fast and efficient parameters identification. In fact the parameter identification problem is highly unstable and strictly depends on quality of input data. Regularization terms could be effectively used to deal with the presence of measurement errors. Various cases of the AWJM process such as a stationary problem and moving with constant feed speed or acceleration are studied based on both artificial and real experimental data. The sensitivity study related to these particular problems demonstrates the strong capability of the proposed approach to obtain acceptable
44

Modélisation numérique du procédé de frittage flash / Numerical modeling of the spark plasma sintering process

Mondalek, Pamela 07 December 2012 (has links)
Le SPS (Spark plasma sintering) ou frittage flash est une technique innovante de compaction de poudre. Ce procédé fait intervenir le courant électrique pour chauffer l'échantillon en appliquant simultanément une pression. Grâce à la vitesse de chauffage, le procédé SPS apparaît comme étant une technologie prometteuse dans le secteur aéronautique servant à produire des matériaux denses à microstructure fine, composés par des intermétalliques difficiles à fondre, à former et à usiner avec les procédés conventionnels. Cependant, la fabrication de formes complexes est problématique à cause des hétérogénéités en densité qui peuvent apparaître lors de la compaction et qui proviennent de la distribution de la température et des contraintes dans la poudre compactée. La distribution du courant, de la température et des contraintes, ainsi que leurs différents effets, font l'objet d'une large étude, étant responsables de l'homogénéité de la microstructure. Une modélisation numérique 3D du procédé est réalisée, dans le cadre de la librairie CimLib. Elle englobe trois problèmes physiques fortement couplés : électrique, thermique et mécanique. Nous utilisons une approche monolithique qui consiste à résoudre une équation pour chaque problème sur un maillage unique représentant outils et poudre. Tout d'abord le couplage électrique-thermique est modélisé et les simulations numériques sont validées. Une loi de comportement viscoplastique compressible s'appuyant sur un modèle d'Abouaf est utilisée pour modéliser la densification de la poudre de TiAl. Ce modèle est validé par plusieurs cas tests de compaction de poudre dans un contexte lagrangien puis eulérien avant de passer à une simulation complète de couplage électrique-thermique-mécanique. Dans ce contexte monolithique, nous développons un modèle pour prendre en compte les effets du frottement entre la poudre et le moule. Enfin, la loi de comportement utilisée est identifiée pour la poudre intermétallique de TiAl. Le frittage par SPS d'échantillons de différentes tailles est simulé. Les résultats en termes de distribution de densité et déplacement sont validés grâce à une comparaison avec l'expérience. / Spark plasma sintering process (SPS) is a breakthrough technology for producing high quality sintered materials. An electric current is applied simultaneously with a vertical load to sinter the powder placed in a graphite mould. Joule effect leads to high heating rates which are favorable for enhancing the microstructure and physical properties. However, manufacturing complex shapes is problematic due to heterogeneities in density distribution that may appeari during compaction. For that reason, the development of a numerical model to predict sintering is necessary. The model should help controlling temperature and stress distributions, which are responsible for the microstructure homogeneity. A 3D numerical model is developed to ensure a predictive tool for SPS using CimLib, a code developed at CEMEF. The numerical model presents three physical problems strongly coupled: an electric problem, a thermal problem and a mechanical problem. A monolithic approach is used which consists in solving one equation for each problem using one unique mesh for tools and powder. First the electric thermal coupling is modeled and the numerical simulations are validated by comparison with commercial codes. A viscoplastic compressible law based on Abouaf model is implemented to model the densification of TiAl powder. This model is validated by comparing the numerical results of different compaction tests with analytic solutions using a Lagrangian and Eulerian framework. Then a fully coupled electric-thermal-mechanical simulation is carried out. In the monolithic framework, a model is developed to take into account friction effects between powder and mould. Finally, the parameters of the selected material law are identified for TiAl powder using our numerical model and SPS experiments. Sintering of different samples is then simulated. Results are compared with the experiments in terms of density distribution and displacement.
45

Modèle d'aide à la conduite de réseaux de froid / Decision-support model for district cooling operation

Casetta, Damien 27 October 2017 (has links)
La maîtrise de la demande en climatisation des bâtiments tertiaires peut contribuer à la limitation du réchauffement climatique à 2°C. Les réseaux de froid urbain sont une solution pour répondre à cette demande avec une haute efficacité énergétique. Une conduite performante est cependant essentielle pour maintenir et augmenter leurs avantages compétitifs. L'objectif de la thèse est de contribuer à la construction d'un outil d'aide à la conduite journalière des réseaux de froid. La difficulté réside à deux niveaux : la diversité des décisions et la complexité des phénomènes physiques sous-jacents. L'originalité est de proposer une méthodologie pour aider au pilotage des groupes frigorifiques, des tours aéroréfrigérantes, de la pression différentielle et de la répartition de puissance entre des centrales de production aux performances variables. La méthodologie développée est appliquée au réseau de froid de Paris-Bercy exploité par Climespace. Tout d'abord, un modèle intégrant une représentation physique des centrales de production, du réseau de distribution et des sous-stations, est développé. En particulier, un modèle de type semi-empirique, paramétrable sur des mesures, est modifié pour calculer les performances non-nominales des groupes frigorifiques centrifuges. La validation du modèle complet est réalisée sur un jeu de données indépendant de l'identification. Ensuite, le modèle est exploité pour rechercher une conduite optimisée à partir d'un modèle de prévision de la demande. La méthode proposée est séquentielle : résolution a priori des optimisations locales puis génération de modèles quadratiques de centrales servant à déterminer la répartition optimale. La pression différentielle est minimisée à partir de l'identification, par simulation, de la sous-station défavorisée. Enfin, la réduction de la consommation électrique est évaluée sur une semaine d'été. / Cooling demand management of commercial buildings can contribute to limit global warming below 2°C. District cooling is an energy-efficient option. However, improving operational performance is of great importance to ensure and increase its competitive advantages. The aim of this thesis is to contribute to the development of a decision-support tool for daily operation of district cooling networks. Challenges lie at two levels: diversity of decisions to be taken and complexity of physical phenomena involved. The original aspect of our work is to propose a methodology to improve chillers and cooling towers control, differential pressure management and dispatching between production plants with variable efficiency. Our developments are applied to the district cooling of Paris-Bercy, operated by Climespace. First; a model featuring a physical description of chilled-water production plants, distribution network and buildings substations, is developed. In particular, a semi-empirical model with identified parameters is modified to compute non-nominal characteristics of centrifugal chillers. The system model is validated against an independent dataset. Then, the model is used to find optimized controls from cooling loads forecast. The proposed methodology is sequential: pre-computation of optimal set-points at plant level and then generation of quadratic plant models to solve the dispatching optimization problem at each time step. Differential pressure is minimized with a simulation-based tracking of the critical substation. To conclude, electricity consumption reduction with optimized controls is evaluated during a summer week.
46

Simulation numérique du processus d’assemblage de câbles flexibles en grands déplacements / Numerical simulation of the assembly process of flexible cables under large displacements

Cottanceau, Emmanuel 10 April 2018 (has links)
Avec l’essor de l’électronique embarquée, les câbles électriques constituentune part importante des pièces automobiles tandis que l’espace à bord n’a cessé de diminuer. Leur flexibilité requiert la prédiction de leur déformation durant leur montage afin d’éviter le contact avec d’autres pièces du véhicule et leur endommagement. Les outils actuels ne permettent pas une prédiction assez réaliste et précise de leur comportement, nécessaire dans un volume de travail très restreint. Les étapes de montage sont donc validées via la réalisation de maquettes réelles coûteuses. Cette thèsea pour but d’améliorer la simulation numérique de ces pièces souples. Nous proposonsici un code de simulation 3D basé sur un modèle de poutre géométriquement exact résolu par la méthode des éléments finis. Son originalité tient dans le couplage des quaternions pour modéliser les rotations 3D et de la méthode asymptotique numérique pour la continuation du système non linéaire qui lui confère une grande robustesse. Un banc d’essai permettant l’identification des paramètres homogénéisés nécessaires au modèle numérique et sa validation par comparaison de la géométrie finale et du chemin d’équilibre est présenté. Combinés à des développements analytiques sur les modèles de poutres avec cisaillement, les essais mènent à une évaluation critique du modèle deTimoshenko 3D pour la représentation des torons de câbles. / With on-board electronics expansion, electrical cables are an essential partof automotive pieces and the space on board has plummeted. Their flexibility requires to predict their deformation during vehicle assembly in order to avoid the contact with other pieces and damaging. Current numerical tools do not allow a realistic and accurate prediction, which is necessary in the obstructed car space. Assembly steps thus are validated on costly physical mock-ups. This thesis aims at improving numerical simulation of these flexible pieces. We herein propose a 3D algorithm based on a geometrically exact beam model solved by the finite element method. This work’s originality stands in coupling quaternions as rotational parameters and the asymptotic numerical method as nonlinear solver which results in a very robust algorithm. A test bench designed to identify the homogenized beam parameters of the numerical model and to validate it by offering a comparison on the final geometry and the equilibrium path is presented. Analytical developments on shear beams and the results of these experimental tests lead to a critical evaluation of the 3D Timoshenko model for representing stranded cables.
47

Identification de la conductivité hydraulique pour un problème d'intrusion saline : Comparaison entre l'approche déterministe et l'approche stochastique / Identification of hydraulic conductivity for a seawater intrusion problem : Comparison between the deterministic approach and the stochastic approach

Mourad, Aya 12 December 2017 (has links)
Le thème de cette thèse est l'identification de paramètres tels que la conductivité hydraulique, K, pour un problème d'intrusion marine dans un aquifère isotrope et libre. Plus précisément, il s'agit d'estimer la conductivité hydraulique en fonction d'observations ou de mesures sur le terrain faites sur les profondeurs des interfaces (h, h₁), entre l'eau douce et l'eau salée et entre le milieu saturé et la zone insaturée. Le problème d'intrusion marine consiste en un système à dérivée croisée d'edps de type paraboliques décrivant l'évolution de h et de h₁. Le problème inverse est formulé en un problème d'optimisation où la fonction coût minimise l'écart quadratique entre les mesures des profondeurs des interfaces et celles fournies par le modèle. Nous considérons le problème exact comme une contrainte pour le problème d'optimisation et nous introduisons le Lagrangien associé à la fonction coût. Nous démontrons alors que le système d'optimalité a au moins une solution, les princcipales difficultés étant de trouver le bon ensemble pour les paramètres admissibles et de prouver la différentiabilité de l'application qui associe (h(K), h₁(K₁)) à K. Ceci constitue le premier résultat de la thèse. Le second résultat concerne l'implémentation numérique du problème d'optimisation. Notons tout d'abord que, concrètement, nous ne disposons que d'observations ponctuelles (en espace et en temps) correspondant aux nombres de puits de monitoring. Nous approchons donc la fonction coût par une formule de quadrature qui est ensuite minimisée en ultilisant l'algorithme de la variable à mémoire limitée (BLMVM). Par ailleurs, le problème exact et le problème adjoint sont discrétisés en espace par une méthode éléments finis P₁-Lagrange combinée à un schéma semi-implicite en temps. Une analyse de ce schéma nous permet de prouver qu'il est d'ordre 1 en temps et en espace. Certains résultats numériques sont présentés pour illustrer la capacité de la méthode à déterminer les paramètres inconnus. Dans la troisième partie de la thèse, nous considérons la conductivité hydraulique comme un paramètre stochastique. Pour réaliser une étude numérique rigoureuse des effets stochastiques sur le problème d'intrusion marine, nous utilisons les développements de Wiener pour tenir compte des variables aléatoires. Le système initiale est alors transformé en une suite de systèmes déterministes qu'on résout pour chaque coefficient stochastique du développement de Wiener. / This thesis is concerned with the identification, from observations or field measurements, of the hydraulic conductivity K for the saltwater intrusion problem involving a nonhomogeneous, isotropic and free aquifer. The involved PDE model is a coupled system of nonlinear parabolic equations completed by boudary and initial conditions, as well as compatibility conditions on the data. The main unknowns are the saltwater/freshwater interface depth and the elevation of upper surface of the aquifer. The inverse problem is formulated as the optimization problem where the cost function is a least square functional measuring the discrepancy between experimental interfaces depths and those provided by the model. Considering the exact problem as a constraint for the optimization problem and introducing the Lagrangian associated with the cost function, we prove that the optimality system has at least one solution. The main difficulties are to find the set of all eligible parameters and to prove the differentiability of the operator associating to the hydraulic conductivity K, the state variables (h, h₁). This is the first result of the thesis. The second result concerns the numerical implementation of the optimization problem. We first note that concretely, we only have specific observations (in space and in time) corresponding to the number of monitoring wells, we then adapt the previous results to the case of discrete observations data. The gradient of the cost function is computed thanks to an approximate formula in order to take into account the discrete observations data. The cost functions then is minimized by using a method based on BLMVM algorithm. On the other hand, the exact problem and the adjoint problem are discretized in space by a P₁-Lagrange finite element method combined with a semi-implicit time discretization scheme. Some numerical results are presented to illustrate the ability of the method to determine the unknown parameters. In the third part of the thesis we consider the hydraulic conductivity as a stochastic parameter. To perform a rigorous numerical study of stochastic effects on the saltwater intrusion problem, we use the spectral decomposition and the stochastic variational problem is reformulated to a set of deterministic variational problems to be solved for each Wiener polynomial chaos.
48

Analyse mathématique de modèles d'intrusion marine dans les aquifères côtiers / Analysis of mathematical models describing salwater in coastal aquifers

Li, Ji 20 October 2015 (has links)
Le thème de cette thèse est l'analyse mathématique de modèles décrivant l'intrusion saline dans les aquifères côtiers. On a choisi d'adopter la simplicité de l'approche avec interface nette : il n'y a pas de transfert de masse entre l'eau douce et l'eau salée (resp. entre la zone saturée et la zone sèche). On compense la difficulté mathématique liée à l'analyse des interfaces libres par un processus de moyennisation verticale nous permettant de réduire le problème initialement 3D à un système d'edps définies sur un domaine, Ω, 2D. Un second modèle est obtenu en combinant l'approche 'interface nette' à celle avec interface diffuse ; cette approche est déduite de la théorie introduite par Allen-Cahn, utilisant des fonctions de phase pour décrire les phénomènes de transition entre les milieux d'eau douce et d'eau salée (respectivement les milieux saturé et insaturé). Le problème d'origine 3D est alors réduit à un système fortement couplé d'edps quasi-linéaires de type parabolique dans le cas des aquifères libres décrivant l'évolution des profondeurs des 2 surfaces libres et de type elliptique-parabolique dans le cas des aquifères confinés, les inconnues étant alors la profondeur de l'interface eau salée par rapport à eau douce et la charge hydraulique de l'eau douce. Dans la première partie de la thèse, des résultats d'existence globale en temps sont démontrés montrant que l'approche couplée interface nette-interface diffuse est plus pertinente puisqu'elle permet d'établir un principe du maximum plus physique (plus précisèment une hiérarchie entre les 2 surfaces libres). En revanche, dans le cas de l'aquifère confiné, nous montrons que les deux approches conduisent à des résultats similaires. Dans la seconde partie de la thèse, nous prouvons l'unicité de la solution dans le cas non dégénéré, la preuve reposant sur un résultat de régularité du gradient de la solution dans l'espace Lr (ΩT), r > 2, (ΩT = (0,T) x Ω). Puis nous nous intéressons à un problème d'identification des conductivités hydrauliques dans le cas instationnaire. Ce problème est formulé par un problème d'optimisation dont la fonction coût mesure l'écart quadratique entre les charges hydrauliques expérimentales et celles données par le modèle. / The theme of this thesis is the analysis of mathematical models describing saltwater intrusion in coastal aquifers. The simplicity of sharp interface approach is chosen : there is no mass transfer between fresh water and salt water (respectively between the saturated zone and the area dry). We compensate the mathematical difficulty of the analysis of free interfaces by a vertical averaging process allowing us to reduce the 3D problem to system of pde's defined on a 2D domain Ω. A second model is obtained by combining the approach of 'sharp interface' in that with 'diffuse interface' ; this approach is derived from the theory introduced by Allen-Cahn, using phase functions to describe the phenomena of transition between fresh water and salt water (respectively the saturated and unsaturated areas). The 3D problem is then reduced to a strongly coupled system of quasi-linear parabolic equations in the unconfined case describing the evolution of the DEPTHS of two free surfaces and elliptical-parabolic equations in the case of confined aquifer, the unknowns being the depth of salt water/fresh water interface and the fresh water hydraulic head. In the first part of the thesis, the results of global in time existence are demonstrated showing that the sharp-diffuse interface approach is more relevant since it allows to establish a mor physical maximum principle (more precisely a hierarchy between the two free surfaces). In contrast, in the case of confined aquifer, we show that both approach leads to similar results. In the second part of the thesis, we prove the uniqueness of the solution in the non-degenerate case. The proof is based on a regularity result of the gradient of the solution in the space Lr (ΩT), r > 2, (ΩT = (0,T) x Ω). Then we are interest in a problem of identification of hydraulic conductivities in the unsteady case. This problem is formulated by an optimization problem whose cost function measures the squared difference between experimental hydraulic heads and those given by the model.
49

Estimation des forces musculaires du membre supérieur humain par optimisation dynamique en utilisant une méthode directe de tir multiple

Bélaise, Colombe 07 1900 (has links)
No description available.
50

Stratégies de guidage visuel bio-inspirées : application à la stabilisation visuelle d’un micro-drone et à la poursuite de cibles / Strategies for bio-inspired visual guidance : application to control an UAV and to track a target

Manecy, Augustin 22 July 2015 (has links)
Les insectes sont capables de prouesses remarquables lorsqu’il s’agit d’éviter des obstacles,voler en environnement perturbé ou poursuivre une cible. Cela laisse penser que leurs capacités de traitement, aussi minimalistes soient-elles, sont parfaitement optimisées pour le vol. A cela s’ajoute des mécanismes raffinés, comme la stabilisation de la vision par rapport au corps, permettant d’améliorer encore plus leurs capacités de vol.Ces travaux de thèse présentent l’élaboration d’un micro drone de type quadrirotor, qui ressemble fortement à un insecte sur le plan perceptif (vibration rétinienne) et reprend des points structurels clés, tels que le découplage mécanique entre le corps et le système visuel. La conception du quadrirotor (de type open-source), son pilotage automatique et son système occulo-moteur sont minutieusement détaillés.Des traitements adaptés permettent, malgré un très faible nombre de pixels (24 pixels seulement), de poursuivre finement du regard une cible en mouvement. A partir de là, nous avons élaboré des stratégies basées sur le pilotage par le regard, pour stabiliser le robot en vol stationnaire, à l’aplomb d’une cible et asservir sa position ; et ce, en se passant d’une partie des capteurs habituellement utilisés en aéronautique tels que les magnétomètres et les accéléromètres. Le quadrirotor décolle, se déplace et atterrit de façon autonome en utilisant seulement ses gyromètres, son système visuel original mimant l’oeil d’un insecte et une mesure de son altitude. Toutes les expérimentations ont été validées dans une arène de vol, équipée de caméras VICON.Enfin, nous décrivons une nouvelle toolbox qui permet d’exécuter en temps réel des modèles Matlab/Simulink sur des calculateurs Linux embarqués de façon complètement automatisée (http://www.gipsalab.fr/projet/RT-MaG/). Cette solution permet d’écrire les modèles, de les simuler, d’élaborer des lois de contrôle pour enfin, piloter en temps réel, le robot sous l’environnement Simulink. Cela réduit considérablement le "time-to-flight" et offre une grande flexibilité (possibilité de superviser l’ensemble des données de vol, de modifier en temps réel les paramètres des contrôleurs, etc.). / Insects, like hoverflies are able of outstanding performances to avoid obstacles, reject disturbances and hover or track a target with great accuracy. These means that fast sensory motor reflexes are at work, even if they are minimalist, they are perfectly optimized for the flapping flight at insect scale. Additional refined mechanisms, like gaze stabilization relative to the body, allow to increase their flight capacity.In this PhD thesis, we present the design of a quadrotor, which is highly similar to an insect in terms of perception (visual system) and implements a bio-inspired gaze control system through the mechanical decoupling between the body and the visual system. The design of the quadrotor (open-source), itspilot and its decoupled eye are thoroughly detailed. New visual processing algorithms make it possible to faithfully track a moving target, in spite of a very limited number of pixels (only 24 pixels). Using this efficient gaze stabilization, we developed new strategies to stabilize the robot above a target and finely control its position relative to the target. These new strategies do not need classical aeronautic sensors like accelerometers and magnetometers. As a result, the quadrotor is able to take off, move and land automatically using only its embedded rate-gyros, its insect-like eye, and an altitude measurement. All these experiments were validated in a flying arena equipped with a VICON system. Finally, we describe a new toolbox, called RT-MaG toolbox, which generate automatically a real-time standalone application for Linux systems from a Matlab/Simulink model (http://www.gipsalab.fr/projet/RT-MaG/). These make it possible to simulate, design control laws and monitor the robot’s flight in real-time using only Matlab/Simulink. As a result, the "time-to-flight" is considerably reduced and the final application is highly reconfigurable (real-time monitoring, parameter tuning, etc.).

Page generated in 0.5529 seconds