Spelling suggestions: "subject:"semidiscretisation"" "subject:"rediscrétisation""
1 |
Ecoulement diphasique compressible et immiscible en milieu poreux : analyse mathématique et numériqueKhali, Ziad 30 September 2010 (has links) (PDF)
L'objectif de cette thèse est l'étude du problème de Cauchy pour les solutions faibles de trois problèmes (systèmes paraboliques dégénérés et fortement couplés) modélisant des écoulements diphasiques et compressibles en milieu poreux. La motivation de ce travail est un "benchmark" du GNR MoMaS pour l'étude de l'impact de l'écoulement du gaz d\^{u} à la corrosion des matériaux ferreux dans un site de stockage de déchets radioactifs. Cette thèse est divisée en trois chapitres indépendants. Premièrement, on s'intéresse à l'analyse mathématique d'un problème modélisant l'écoulement de deux phases immiscibles et en considérant qu'une phase est compressible et l'autre est incompressible (eau/gaz). Deuxièmement, on traite le cas général du déplacement de deux fluides compressibles et immiscibles dans un milieu poreux. Enfin, le dernier chapitre est consacré à la construction et à la convergence de la méthode des volumes finis pour le système eau-gaz sous l'hypothèse que la densité du gaz est une fonction de la pression globale.
|
2 |
Identifiabilité de systèmes d'équations aux dérivées partielles semi-discrétisées et applications à l'identifiabilité paramétrique de modèles en pharmacocinétique et en pollution.Verdière, Nathalie 07 December 2005 (has links) (PDF)
Avant d'estimer les paramètres intervenant dans des systèmes dynamiques, linéaires ou non-linéaires, contrôlés ou non contrôlés, il est important d'effectuer une étude d'identifiabilité, c'est à dire si, à partir des données expérimentales, les paramètres étudiés sont uniques ou non. Plusieurs méthodes ont été développées ces dernières années, en particulier une qui est basée sur l'algèbre différentielle. Celle-ci a conduit à un algorithme utilisant le package Diffalg implémenté sous Maple et permettant de tester l'identifiabilité de systèmes d'équations différentielles. Les résultats obtenus à partir de cette étude permettent de mettre en place des méthodes numériques pour obtenir une première estimation des paramètres, ceci sans aucune connaissance à priori de leur valeur. Cette première estimation peut alors être utilisée comme point de départ d'algorithmes itératifs spécialisés dans l'étude des problèmes mal posés : la régularisation de Tikhonov. <br />Dans cette thèse, deux modèles non linéaires en pharmacocinétique de type Michaelis-Menten ont tout d'abord été étudiés. Ensuite, nous nous sommes intéressés à un modèle de pollution décrit par une équation aux dérivées partielles parabolique. Le terme source à identifier était modélisé par le produit de la fonction débit avec la masse de Dirac, de support la position de la source polluante. Le but du travail était de fournir une première estimation de la source polluante. Après avoir obtenu l'identifiabilité du problème continu, nous avons étudié l'identifiabilité d'un problème approché en nous appuyant sur les méthodes d'algèbre différentielle. Celui-ci a été obtenu en approchant la masse de Dirac par une fonction gaussienne et en discrétisant ensuite le système en espace. Les résultats d'identifiabilité ont été obtenus quel que soit le nombre de points de discrétisation en espace. De cette étude théorique, nous en avons déduit des algorithmes numériques donnant une première estimation des paramètres à identifier.
|
3 |
Études de problèmes aux limites non linéaires de type pseudo-paraboliqueSeam, Ngonn 14 September 2010 (has links) (PDF)
L'objectif de ce travail est l'étude du problème non linéaire de type pseudo parabolique suivant : trouver une fonction mesurable $u$ de $Q:=]0,T[\times \Omega$ solution de \begin{equation*} \left\{ \begin{array}{l@{\quad}l} f\left(t,x,u_t\right)-Div \left\{a\left(x,u,u_t\right)\nabla u+b\left(x,u,u_t\right)\nabla u_t \right\}=g(t,x), \; (t,x)\in Q, \\ u(x,t)=0,\; (t,x)\in ]0,T[\times \partial \Omega, \\ u(0,x)=u_0, \; x\in \Omega,\\ \end{array} \right. \end{equation*} où l'opérateur de Nemestki associé à la fonction $f$ est monotone.\\ Un premier chapitre est conscré à l'étude de l'existence d'une solution pour le problème ci-dessus. Pour cela, on utilise une méthode de semi-discrétisation implicite en temps. L'existence des itérés repose sur le théorème de point fixe de Schauder-Tikhonov et la convergence du schéma sur une outil de compacité adapté à la situation. À la fin du chapitre, on propose des applications à l'équation de Barenblatt et au cas d'un $f$ multivoque. \\ Dans le second chapitre, on s'intéresse au problème de Barenblatt pseudo-parabolique : rechercher une fonction mesurable $u$ de $Q$ à valeur réelle telle que \begin{equation*} \left\{ \begin{array}{l@{\quad}l} f\left(u_t\right(t,x))-\Delta u(t,x)-\epsilon \Delta u_t(t,x)=g(t,x), \; (t,x)\in Q, \\ u(x,t)=0,\; (t,x)\in ]0,T[\times \partial \Omega, \\ u(0,x)=u_0, \; x\in \Omega,\\ \end{array} \right. \end{equation*} où $f$ n'est pas nécessairement monotone.\\ Pour $\epsilon> \epsilon_0>0 $, où $\epsilon_0$ est une valeur critique, on montre que le problème est bien posé en utilisant une méthode similaire à celle du premier chapitre. Pour la valeur critique de $\epsilon=\epsilon_0$, le problème admet au plus une solution ; cette dernière existe moyennant une hypothèse supplémentaire sur $f$. Enfin, si $0<\epsilon<\epsilon_0$, la solution n'est pas unique en général. On propose enfin d'une approche stochastique de l'équation pseudo-parabolique de Barenblatt-Sobolev. Le dernier chapitre propose des simulations numériques monodimensionnelles ; notamment, on s'intéresse à la perturbation singulière pseudo-parabolique lorsque la diffusion moléculaire change de signe.
|
4 |
Modélisation et commande d’interaction fluide-structure sous forme de système Hamiltonien à ports : Application au ballottement dans un réservoir en mouvement couplé à une structure flexible / Port-Hamiltonian modeling and control of a fluid-structure system : Application to sloshing phenomena in a moving container coupled to a flexible structureCardoso-Ribeiro, Flávio Luiz 08 December 2016 (has links)
Cette thèse est motivée par un problème aéronautique: le ballottement du carburantdans des réservoirs d’ailes d’avion très flexibles. Les vibrations induites par le couplagedu fluide avec la structure peuvent conduire à des problèmes tels que l’inconfort des passagers,une manoeuvrabilité réduite, voire même provoquer un comportement instable. Cette thèse apour objectif de développer de nouveaux modèles d’interaction fluide-structure, en mettant enoeuvre la théorie des systèmes Hamiltoniens à ports d’interaction (pHs). Le formalisme pHsfournit d’une part un cadre unifié pour la description des systèmes multi-physiques complexeset d’autre part une approche modulaire pour l’interconnexion des sous-systèmes grâce auxports d’interaction. Cette thèse s’intéresse aussi à la conception de contrôleurs à partir desmodèles pHs. Des modèles pHs sont proposés pour les équations de ballottement du liquide en partantdes équations de Saint Venant en 1D et 2D. L’originalité du travail est de donner des modèlespHs pour le ballottement dans des réservoirs en mouvement. Les ports d’interaction sont utiliséspour coupler la dynamique du ballottement à la dynamique d’une poutre contrôlée par desactionneurs piézo-électriques, celle-ci étant préalablement modélisée sous forme pHs. Aprèsl’écriture des équations aux dérivées partielles dans le formalisme pHs, une approximation endimension finie est obtenue en utilisant une méthode pseudo-spectrale géométrique qui conservela structure pHs du modèle continu au niveau discret. La thèse propose plusieurs extensionsde la méthode pseudo-spectrale géométrique, permettant la discrétisation des systèmesavec des opérateurs différentiels du second ordre d’une part et avec un opérateur d’entrée nonborné d’autre part. Des essais expérimentaux ont été effectués sur une structure constituéed’une poutre liée à un réservoir afin d’assurer la validité du modèle pHs du ballottementdu liquide couplé à la poutre flexible, et de valider la méthode pseudo-spectrale de semi-discrétisation.Le modèle pHs a finalement été utilisé pour concevoir un contrôleur basé surla passivité pour réduire les vibrations du système couplé. / This thesis is motivated by an aeronautical issue: the fuel sloshing in tanksof very flexible wings. The vibrations due to these coupled phenomena can lead to problemslike reduced passenger comfort and maneuverability, and even unstable behavior. Thisthesis aims at developing new models of fluid-structure interaction based on the theory ofport-Hamiltonian systems (pHs). The pHs formalism provides a unified framework for thedescription of complex multi-physics systems and a modular approach for the coupling ofsubsystems thanks to interconnection ports. Furthermore, the design of controllers using pHsmodels is also addressed. PHs models are proposed for the equations of liquid sloshing based on 1D and 2D SaintVenant equations and for the equations of structural dynamics. The originality of the workis to give pHs models of sloshing in moving containers. The interconnection ports are used tocouple the sloshing dynamics to the structural dynamics of a beam controlled by piezoelectricactuators. After writing the partial differential equations of the coupled system using thepHs formalism, a finite-dimensional approximation is obtained by using a geometric pseudospectralmethod that preserves the pHs structure of the infinite-dimensional model at thediscrete level. The thesis proposes several extensions of the geometric pseudo-spectral method,allowing the discretization of systems with second-order differential operators and with anunbounded input operator. Experimental tests on a structure made of a beam connected to atank were carried out to validate both the pHs model of liquid sloshing in moving containersand the pseudo-spectral semi-discretization method. The pHs model was finally used to designa passivity-based controller for reducing the vibrations of the coupled system.
|
5 |
Stabilisation et approximation de certains systèmes distribués par amortissement dissipatif et de signe indéfiniAbdallah, Farah 27 May 2013 (has links) (PDF)
Dans cette thèse, nous étudions l'approximation et la stabilisation de certaines équations d'évolution, en utilisant la théorie des semi-groups et l'analyse spectrale. Cette thèse est divisée en deux parties principales. Dans la première partie, comme dans [3, 4], nous considérons l'approximation des équations d'évolution du deuxième ordre modélisant les vibrations de structures élastiques. Il est bien connu que le système approché par éléments finis ou différences finies n'est pas uniformément exponentiellement ou polynomialement stable par rapport au paramètre de discrétisation, même si le système continu a cette propriété. Dans la première partie, notre objectif est d'amortir les modes parasites à haute fréquence en introduisant des termes de viscosité numérique dans le schéma d'approximation. Avec ces termes de viscosité, nous montrons la décroissance exponentielle ou polynomiale du schéma discret lorsque le problème continu a une telle décroissance et quand le spectre de l'opérateur spatial associé au problème conservatif satisfait la condition du gap généralisée. En utilisant le Théorème de Trotter-Kato, nous montrons la convergence de la solution discrète vers la solution continue. Quelques exemples sont également présentés.
|
6 |
Approche hamiltonienne à ports pour la modélisation, la réduction et la commande des dynamiques des plasmas dans les tokamaks / Port-Hamiltonian approach for modelling, reduction and control of plasma dynamics in tokamaksVu, Ngoc Minh Trang 12 November 2014 (has links)
L'objectif principal de la thèse est d'établir un modèle sous forme hamiltonienne à ports pour la dynamique du plasma dans les réacteurs de fusion de type tokamak, puis de démontrer le potentiel de cette approche pour aborder les problèmes d'intégration numérique et de commande non linéaire. Les bilans thermo-magnéto-hydrodynamiques, écrits sous forme hamiltonienne à ports à l'aide de structures Stokes-Dirac, conduisent à un modèle 3D “ multi-physique ” du plasma. Ensuite, un modèle 1D équivalent au modèle de diffusion résistive est obtenu en supposant les mêmes hypothèses d'équilibre quasi-statique et de symétries. Un schéma symplectique de réduction spatiale de ce modèle 1D qui préserve la structure du modèle et ses invariants est établi. Il ouvre la voie à des travaux ultérieurs de commande non linéaire fondés sur la structure géométrique d'interconnexion et les bilans du modèle. La commande IDA-PBC (Interconnection and Damping Assignment - Passivity Based Control) basée sur la passivité du modèle est d'abord synthétisée pour ce système en dimension finie. Finalement, une commande IDA-PBC associée avec la commande à la frontière est proposée pour le système en dimension infinie. Les controlleurs sont testés et validés avec les simulateurs des tokamak (METIS pour le Tore Supra de CEA/ Cadarache, et RAPTOR pour le TCV de l'EPFL Lausanne, Suisse). / The modelling and analysis of the plasma dynamics in tokamaks using the port-Hamiltonian approach is the main project purpose. Thermo-mMagnetohydrodynamics balances have been written in port-Hamiltonian form using Stokes-Dirac interconnection structures and 3D differential forms. A simplified 1D model for control has been derived using quasi-static and symmetry assumptions. It has been proved to be equivalent to a classical 1D control model: the resistive diffusion model for the poloidal magnetic flux. Then a geometric spatial integration scheme has been developped. It preserves both the symplecticity of the Dirac interconnection structure and physically conserved extensive quantities. This will allow coming works on energy-based approaches for the non linear control of the plasma dynamics.An Interconnection and Damping Assignment - Passivity Based Control (IDA-PBC) , the most general Port-Hamiltonian control, is chosen first to deal with the studied Tokamak system. It is based on a model made of the two coupled PDEs of resistive diffusion for the magnetic poloidal flux and of radial thermal diffusion. The used TMHD couplings are the Lorentz forces (with non-uniform resistivity) and the bootstrap current. The loop voltage at the plasma boundary, the total external current and the plasma heating power are considered as controller outputs. Due to the actuator constraints which imply to have a physically feasible current profile deposits, a feedforward control is used to ensure the compatibility with the actuator physical capability. Then, the IDA-PBC controllers, both finite-dimensional and infinite-dimensional, are designed to improve the system stabilization and convergence speed. The proposed works are validated against the simulation data obtained from the Tore-Supra WEST (CEA/Cadarache, France) test case and from RAPTOR code for the TCV real-time control system (CRPP/ EPFL, Lausanne, Switzerland).
|
7 |
Stabilisation et approximation de certains systèmes distribués par amortissement dissipatif et de signe indéfini / Stabilization and approximation of some distributed systems by either dissipative or indeAbdallah, Farah 27 May 2013 (has links)
Dans cette thèse, nous étudions l'approximation et la stabilisation de certaines équations d'évolution, en utilisant la théorie des semi-groups et l'analyse spectrale. Cette thèse est divisée en deux parties principales. Dans la première partie, comme dans [3, 4], nous considérons l'approximation des équations d'évolution du deuxième ordre modélisant les vibrations de structures élastiques. Il est bien connu que le système approché par éléments finis ou différences finies n'est pas uniformément exponentiellement ou polynomialement stable par rapport au paramètre de discrétisation, même si le système continu a cette propriété. Dans la première partie, notre objectif est d'amortir les modes parasites à haute fréquence en introduisant des termes de viscosité numérique dans le schéma d'approximation. Avec ces termes de viscosité, nous montrons la décroissance exponentielle ou polynomiale du schéma discret lorsque le problème continu a une telle décroissance et quand le spectre de l'opérateur spatial associé au problème conservatif satisfait la condition du gap généralisée. En utilisant le Théorème de Trotter-Kato, nous montrons la convergence de la solution discrète vers la solution continue. Quelques exemples sont également présentés. / In this thesis, we study the approximation and stabilization of some evolution equations, using semigroup theory and some spectral analysis. This Ph.D. thesis is divided into two main parts. In the first part, as in [3, 4], we consider the approximation of second order evolution equations modeling the vibrations of elastic structures. It is well known that the approximated system by finite elements or finite differences is not uniformly exponentially or polynomially stable with respect to the discretization parameter, even if the continuous system has this property. Therefore, our goal is to damp the spurious high frequency modes by introducing numerical viscosity terms in the approximation scheme. With these viscosity terms, we show the exponential or polynomial decay of the discrete scheme when the continuous problem has such a decay and when the spectrum of the spatial operator associated with the undamped problem satisfies the generalized gap condition. By using the Trotter-Kato Theorem, we further show the convergence of the discrete solution to the continuous one. Some illustrative examples are also presented.
|
8 |
Étude théorique et numérique de la stabilité de certains systèmes distribués avec contrôle frontière de type dynamique / Theoretical and numerical study of the stability of some distributed systems with dynamic boundary controlSammoury, Mohamad Ali 08 December 2016 (has links)
Cette thèse est consacrée à l’étude de la stabilisation de certains systèmes distribués avec contrôle frontière de type dynamique. Nous considérons, d’abord, la stabilisation de l’équation de la poutre de Rayleigh avec un seul contrôle frontière dynamique moment ou force. Nous montrons que le système n’est pas uniformément (autrement dit exponentiellement) stable; mais par une méthode spectrale, nous établissons le taux polynomial optimal de décroissance de l’énergie du système. Ensuite, nous étudions la stabilisation indirecte de l’équation des ondes avec un amortissement frontière de type dynamique fractionnel. Nous montrons que le taux de décroissance de l’énergie dépend de la nature géométrique du domaine. En utilisant la méthode fréquentielle et une méthode spectrale, nous montrons la non stabilité exponentielle et nous établissons, plusieurs résultats de stabilité polynomiale. Enfin, nous considérons l’approximation de l’équation des ondes mono-dimensionnelle avec un seul amortissement frontière de type dynamique par un schéma de différence finie. Par une méthode spectrale, nous montrons que l’énergie discrétisée ne décroit pas uniformément (par rapport au pas du maillage) polynomialement vers zéro comme l’énergie du système continu. Nous introduisons, alors, un terme de viscosité numérique et nous montrons la décroissance polynomiale uniforme de l’énergie de notre schéma discret avec ce terme de viscosité. / This thesis is devoted to the study of the stabilization of some distributed systems with dynamic boundary control. First, we consider the stabilization of the Rayleigh beam equation with only one dynamic boundary control moment or force. We show that the system is not uniformly (exponentially) stable. However, using a spectral method, we establish the optimal polynomial decay rate of the energy of the system. Next, we study the indirect stability of the wave equation with a fractional dynamic boundary control. We show that the decay rate of the energy depends on the nature of the geometry of the domain. Using a frequency approach and a spectral method, we show the non exponential stability of the system and we establish, different polynomial stability results. Finally, we consider the finite difference space discretization of the 1-d wave equation with dynamic boundary control. First, using a spectral approach, we show that the polynomial decay of the discretized energy is not uniform with respect to the mesh size, as the energy of the continuous system. Next, we introduce a viscosity term and we establish the uniform (with respect to the mesh size) polynomial energy decay of our discrete scheme.
|
Page generated in 0.103 seconds