Spelling suggestions: "subject:"martial differential equations"" "subject:"artial differential equations""
591 |
Régulation des systèmes à paramètres distribués : application au forage / Regulation of distributed parameters systems : application to drilling mechanismsTerrand-Jeanne, Alexandre 13 December 2018 (has links)
Ce travail porte sur la régulation de la sortie des systèmes aux paramètres distribués. Pour ce faire, un simple contrôleur proportionnel intégral est utilisé, puis la stabilité du système en boucle fermée est démontrée à l'aide d'une fonction de Lyapunov. La principale contribution de ce travail est la construction d'un nouveau type de fonction de Lyapunov qui s'inspire d'une méthode bien connue dans le cadre des systèmes non-linéaires : le forwarding.Dans une première partie, le système est établi avec des opérateurs dont les propriétés sont données dans le cadre des semigroupes, puis la problématique de la régulation par contrôleur P-I est posé. Grâce à cette construction de Lyapunov, on peut répondre à cette problématique sous certaines hypothèses. Le lien est alors fait avec les résultats existants dans ce contexte. Dans la seconde partie, la problématique de la régulation est posée pour un système composé de n × n équations hyperboliques linéaires où l'entrée et la sortie se situent sur les conditions aux frontières des EDPs. Sous certaines hypothèses, le résultat permet de réguler n'importe quel vecteur de sortie composé linéairement des conditions aux frontières du système. Cela généralise de nombreux travaux portant sur les systèmes composés d'équations hyperboliques et l'utilisation de contrôleur P-I. Enfin dans le dernier chapitre, les vibrations mécaniques dans les tiges de forage sont étudiées comme cas d'application. Dans un premier temps, le comportement de solutions issues de différents modèles utilisés pour l'étude de ces déformations est détaillé. Dans un second temps, il est montré que la nouvelle fonctionnelle de Lyapunov permet de prendre en compte des modèles plus complexes et d'obtenir la régulation de la vitesse de la tige au fond du forage en ne mesurant que la vitesse en haut du puits. A la fin du chapitre, de nombreuses simulations numériques viennent illustrer nos résultats théoriques / This monograph is devoted to the output regulation of some distributed parameters systems. To reach this objective, a simply proportional integral controller is implemented. Then the stability of the closed loop is proved using a Lyapunov functional that can be built given a Lyapunov functional for the open-loop system. The main contribution of this work is the method to build the Lyapunov functional, it is inspired by a well-known method in non-linear system theory : the forwarding. In a first part, the system studied is an abstract Cauchy problem and the problematic is stated using semigroup theory. Thanks to the Lyapunov employed, the regulation can be guaranteed providing some assumption on the systems operators. The second part detailed how the output regulation can be obtain for all linear outputs when the system is a n × n systems of linear balance laws in one space dimension. The result is given in the case where inputs and outputs act on the PDE’s boundary conditions and for open-loop stabilizable system. It generalize many contribution in the topic of output regulation for systems of linear balance laws. Last but not least, a part is devoted to the study of mechanicals vibrations in a drill pipe. In a first time, the behavior of the solutions for different kind of models use to model the drill pipe is detailed. Then, it is shown that the new Lyapunov functional allow to take into account complex, infinite dimensional model and to regulate the drill pipe velocity at the bottom of the wellbore by only measuring the surface velocity and with a P-I controller. At the end, some simulations are given that illustrate the result
|
592 |
Optimization of nonsmooth first order hyperbolic systemsStrogies, Nikolai 16 November 2016 (has links)
Wir betrachten Optimalsteuerungsprobleme, die von partiellen Differentialgleichungen beziehungsweise Variationsungleichungen mit Differentialoperatoren erster Ordnung abhängen. Wir führen die Reformulierung eines Tagebauplanungsproblems, das auf stetigen Funktionen beruht, ein. Das Resultat ist ein Optimalsteuerungsproblem für Viskositätslösungen einer Eikonalgleichung. Die Existenz von Lösungen dieses und bestimmter Hilfsprobleme, die von semilinearen PDG‘s mit künstlicher Viskosität abhängen, wird bewiesen, Stationaritätsbedingungen hergeleitet und ein schwaches Konsistenzresultat für stationäre Punkte präsentiert. Des Weiteren betrachten wir Optimalsteuerungsprobleme, die von stationären Variationsungleichungen erster Art mit linearen Differentialoperatoren erster Ordnung abhängen. Wir diskutieren Lösbarkeit und Stationaritätskonzepte für diese Probleme. Für letzteres vergleichen wir Ergebnisse, die entweder durch die Anwendung von Penalisierungs- und Regularisierungsansätzen direkt auf Ebene von Differentialoperatoren erster Ordnung oder als Grenzwertprozess von Stationaritätssystemen für viskositätsregularisierte Optimalsteuerungsprobleme unter passenden Annahmen erhalten werden. Um die Konsistenz von ursprünglichem und regularisierten Problemen zu sichern, wird ein bekanntes Ergebnis für Lösungen von VU’s mit degeneriertem Differentialoperator erweitert. In beiden Fällen ist die erhaltene Stationarität schwächer als W-stationarität. Die theoretischen Ergebnisse werden anhand numerischer Beispiele verifiziert. Wir erweitern diese Ergebnisse auf Optimalsteuerungsprobleme bezüglich zeitabhängiger VU’s mit Differentialoperatoren erster Ordnung. Hierfür wird die Existenz von Lösungen bewiesen und erneut ein Stationaritätssystem mit Hilfe verschwindender Viskositäten unter bestimmten Beschränktheitsannahmen hergeleitet. Die erhaltenen Ergebnisse werden anhand von numerischen Beispielen verifiziert. / We consider problems of optimal control subject to partial differential equations and variational inequality problems with first order differential operators. We introduce a reformulation of an open pit mine planning problem that is based on continuous functions. The resulting formulation is a problem of optimal control subject to viscosity solutions of a partial differential equation of Eikonal Type. The existence of solutions to this problem and auxiliary problems of optimal control subject to regularized, semilinear PDE’s with artificial viscosity is proven. For the latter a first order optimality condition is established and a mild consistency result for the stationary points is proven. Further we study certain problems of optimal control subject to time-independent variational inequalities of the first kind with linear first order differential operators. We discuss solvability and stationarity concepts for such problems. In the latter case, we compare the results obtained by either utilizing penalization-regularization strategies directly on the first order level or considering the limit of systems for viscosity-regularized problems under suitable assumptions. To guarantee the consistency of the original and viscosity-regularized problems of optimal control, we extend known results for solutions to variational inequalities with degenerated differential operators. In both cases, the resulting stationarity concepts are weaker than W-stationarity. We validate the theoretical findings by numerical experiments for several examples. Finally, we extend the results from the time-independent to the case of problems of optimal control subject to VI’s with linear first order differential operators that are time-dependent. After establishing the existence of solutions to the problem of optimal control, a stationarity system is derived by a vanishing viscosity approach under certain boundedness assumptions and the theoretical findings are validated by numerical experiments.
|
593 |
Approximation of nonsmooth optimization problems and elliptic variational inequalities with applications to elasto-plasticityRösel, Simon 09 May 2017 (has links)
Optimierungsprobleme und Variationsungleichungen über Banach-Räumen stellen Themen von substantiellem Interesse dar, da beide Problemklassen einen abstrakten Rahmen für zahlreiche Anwendungen aus verschiedenen Fachgebieten stellen. Nach einer Einführung in Teil I werden im zweiten Teil allgemeine Approximationsmethoden, einschließlich verschiedener Diskretisierungs- und Regularisierungsansätze, zur Lösung von nichtglatten Variationsungleichungen und Optimierungsproblemen unter konvexen Restriktionen vorgestellt. In diesem allgemeinen Rahmen stellen sich gewisse Dichtheitseigenschaften der konvexen zulässigen Menge als wichtige Voraussetzungen für die Konsistenz einer abstrakten Klasse von Störungen heraus. Im Folgenden behandeln wir vor allem Restriktionsmengen in Sobolev-Räumen, die durch eine punktweise Beschränkung an den Funktionswert definiert werden. Für diesen Restriktionstyp werden verschiedene Dichtheitsresultate bewiesen. In Teil III widmen wir uns einem quasi-statischen Kontaktproblem der Elastoplastizität mit Härtung. Das entsprechende zeit-diskretisierte Problem kann als nichtglattes, restringiertes Minimierungsproblem betrachtet werden. Zur Lösung wird eine Pfadverfolgungsmethode auf Basis des verallgemeinerten Newton-Verfahrens entwickelt, dessen Teilprobleme lokal superlinear und gitterunabhängig lösbar sind. Teil III schließt mit verschiedenen numerischen Beispielen. Der letzte Teil der Arbeit ist der quasi-statischen, perfekten Plastizität gewidmet. Auf Basis des primalen Problems der perfekten Plastizität leiten wir eine reduzierte Formulierung her, die es erlaubt, das primale Problem als Fenchel-dualisierte Form des klassischen zeit-diskretisierten Spannungsproblems zu verstehen. Auf diese Weise werden auch neue Optimalitätsbedingungen hergeleitet. Zur Lösung des Problems stellen wir eine modifizierte Form der viskoplastischen Regularisierung vor und beweisen die Konvergenz dieses neuen Regularisierungsverfahrens. / Optimization problems and variational inequalities over Banach spaces are subjects of paramount interest since these mathematical problem classes serve as abstract frameworks for numerous applications. Solutions to these problems usually cannot be determined directly. Following an introduction, part II presents several approximation methods for convex-constrained nonsmooth variational inequality and optimization problems, including discretization and regularization approaches. We prove the consistency of a general class of perturbations under certain density requirements with respect to the convex constraint set. We proceed with the study of pointwise constraint sets in Sobolev spaces, and several density results are proven. The quasi-static contact problem of associative elasto-plasticity with hardening at small strains is considered in part III. The corresponding time-incremental problem can be equivalently formulated as a nonsmooth, constrained minimization problem, or, as a mixed variational inequality problem over the convex constraint. We propose an infinite-dimensional path-following semismooth Newton method for the solution of the time-discrete plastic contact problem, where each path-problem can be solved locally at a superlinear rate of convergence with contraction rates independent of the discretization. Several numerical examples support the theoretical results. The last part is devoted to the quasi-static problem of perfect (Prandtl-Reuss) plasticity. Building upon recent developments in the study of the (incremental) primal problem, we establish a reduced formulation which is shown to be a Fenchel predual problem of the corresponding stress problem. This allows to derive new primal-dual optimality conditions. In order to solve the time-discrete problem, a modified visco-plastic regularization is proposed, and we prove the convergence of this new approximation scheme.
|
594 |
A Dynamic Distributed-parameter Modeling Approach for Performance Monitoring of Oral Drug Delivery SystemsEyries, Pascal 01 May 2003 (has links)
Representing more than 50% of a worldwide pharmaceutical market of US$ 400 billions, oral drug delivery systems become naturally the focus of many studies. For almost half a century scientists have attempted to develop a theoretical model capable of predicting oral drug absorption in humans. From steady state or quasi-equilibrium models to complex and computationally intractable dynamic modeling approaches, numerous research efforts tried to address the problem of interest. Surprisingly though, no simple insightful first-principle-based dynamic modeling approaches have been reported in the literature. It is the purpose of the present work to provide a simple dynamic distributed-parameter modeling approach for performance monitoring of oral drug delivery systems. As a consequence of the complexity of the gastrointestinal tract, drug oral bioavailability is influenced by many different parameters. These parameters range from the compound's physicochemical properties, the physiological factors of the environment to other factors inherent in the drug form itself known as encapsulation factors. Physicochemical properties account for parameters such as drug stability, solubility or diffusivity. Furthermore, the environment, namely the gastrointestinal tract, influences the drug delivery process to the body with its pH, intestinal transit time and the different transport mechanisms that take place. From a chemical engineering point of view, the human body's anatomy can be analyzed and conceptually realized as a transport-reaction chemical system. Within the proposed modeling framework, the stomach is modeled as a non-ideal continuous-stirred tank reactor (CSTR) and the small intestine is the place where convection-diffusion occurs. The governing transport equations have been solved at steady state conditions in a small intestine represented by the lumen surrounded by its wall. The present work however develops a systematic dynamic first-principle-based distributed-parameter modeling framework where the time-dependent convection-diffusion-reaction model equations are analytically solved, offering the concentration profile in the small intestine lumen and in the wall from the moment the drug is administered until the complete absorption or disintegration of the drug particles. Once the modeling work is performed, a thorough and insightful sensitivity analysis can be conducted in order to assess the impact of the different process parameters on drug bioavailability.
|
595 |
La modélisation des écoulements sanguins et les applications à la coagulation du sang et l'athérosclérose / Blood flow modelling and applications to blood coagulation and atherosclerosisTosenberger, Alen 12 February 2014 (has links)
La thèse est consacrée à la modélisation discrète et continue des écoulements sanguins et des phénomènes connexes tels que la coagulation du sang et l'athérosclérose. Ce travail comprend l'élaboration des modèles mathématiques et numériques de la coagulation du sang, des simulations numériques et l'analyse mathématique d'un modèle d'inflammation chronique au cours d'athérosclérose. Une partie importante de la thèse est liée à la programmation, la mise en œuvre et l'optimisation des codes numériques. La partie principale de la thèse concerne la modélisation de la coagulation du sang in vivo tenant compte des écoulements sanguins, les réactions biochimiques dans le plasma et l'agrégation de plaquettes. La nouveauté principale de ce travail est l'élaboration d'un modèle hybride (discret-continu) de la coagulation du sang et de la formation de caillot sanguin dans le flux. La partie théorique de la thèse est consacrée à l'analyse mathématique d'un modèle d'inflammation chronique liée à l'athérosclérose. Les simulations numériques réalisées dans le cadre de cette thèse impliquent l'élaboration des algorithmes numériques pour les modèles mathématiques et le d´développement des logiciels. Vu le fait que les simulations numériques ont été coûteuse en temps de calcul, des efforts considérables ont été consacrés à la parallélisation des logiciels et à leur optimisation / The thesis is devoted to discrete and continuous modelling of blood flows and related phenomena such as blood coagulation and atherosclerosis. It includes the development of mathematical and numerical models of blood coagulation, numerical simulations and the mathematical analysis of a model problem of chronic inflammation during atherosclerosis. The main part of the thesis concerns modelling of blood coagulation in vivo which takes into account blood flows, biochemical reactions in plasma and platelet aggregation. The main novelty of this work is the development of a hybrid (discrete-continuous) model of blood coagulation and clot formation in flow. The model is used to study several aspects of blood coagulation in flow : platelet aggregation and its interaction with coagulation pathways, influence of the flow speed on the clot development, a possible mechanism by which clot stops growing. The theoretical part of the thesis is devoted to the mathematical analysis of a model of chronic inflammation related to atherosclerosis. In this thesis we study a model problem which describes the propagation of a reaction-diffusion wave in the 2D case with non-linear boundary conditions. For that we use the Leray-Schauder method and a priori estimates of solutions in order to prove the existence of waves in the bistable case. Numerical simulations carried out in the framework of this thesis were based on the numerical implementation of the corresponding models and on the software development. Since the numerical simulations were computationally expensive, a substantial effort was directed to software parallelization and optimization
|
596 |
Équations cinétiques stochastiques et déterministes dans le contexte des mathématiques appliquées à la biologie / Stochastic and deterministic kinetic equations in the context of mathematics applied to biologyCaillerie, Nils 05 July 2017 (has links)
Cette thèse étudie des modèles mathématiques inspirés par la biologie. Plus précisément, nous nous concentrons sur des équations aux dérivées partielles cinétiques. Les champs d'application des équations cinétiques sont nombreux mais nous nous concentrons ici sur des phénomènes de propagation d'espèces invasives, notamment la bactérie Escherichia coli et le crapaud buffle Rhinella marina.La première partie de la thèse ne présente pas de résultats mathématiques. Nous construisons plusieurs modélisations pour la dispersion à grande échelle du crapaud buffle en Australie. Nous confrontons ces mêmes modèles à des données statistiques multiples (taux de fécondité, taux de survie, comportements dispersifs) pour mesurer leur pertinence. Ces modèles font intervenir des processus à sauts de vitesses et des équations cinétiques.Dans la seconde partie, nous étudions des phénomènes de propagation dans des modèles cinétiques plus simples. Nous illustrons plusieurs méthodes pour établir mathématiquement des formules de vitesse de propagation dans ces modèles. Cette partie nous amène à établir des résultats de convergence d'équations cinétiques vers des équations de Hamilton-Jacobi par la méthode de la fonction test perturbée. Nous montrons également comment le formalisme Hamilton-Jacobi permet de trouver des résultats de propagation et enfin, nous construisons des solutions en ondes progressives pour un modèle de transport-réaction. Dans la dernière partie, nous établissons un résultat de limite de diffusion stochastique pour une équation cinétique aléatoire. Pour ce faire, nous adaptons la méthode de la fonction test perturbée sur la formulation d'une EDP stochastique en terme de générateurs infinitésimaux.La thèse comporte également une annexe qui expose les données trajectorielles des crapauds dont nous nous servons en première partie." / In this thesis, we study some biology inspired mathematical models. More precisely, we focus on kinetic partial differential equations. The fields of application of such equations are numerous but we focus here on propagation phenomena for invasive species, the Escherichia coli bacterium and the cane toad Rhinella marina, for example. The first part of this this does not establish any mathematical result. We build several models for the dispersion of the cane toad in Australia. We confront those very models to multiple statistical data (birth rate, survival rate, dispersal behaviors) to test their validity. Those models are based on velocity-jump processes and kinetic equations. In the second part, we study propagation phenomena on simpler kinetic models. We illustrate several methods to mathematically establish propagation speed in this models. This part leads us to establish convergence results of kinetic equations to Hamilton-Jacobi equations by the perturbed test function method. We also show how to use the Hamilton-Jacobi framework to establish spreading results et finally, we build travelling wave solutions for reaction-transport model. In the last part, we establish a stochastic diffusion limit result for a kinetic equation with a random term. To do so, we adapt the perturbed test function method on the formulation of a stochastic PDE in term of infinitesimal generators. The thesis also contains an annex which presents the data on toads’ trajectories used in the first part."
|
597 |
Contributions à l'étude d'espaces de fonctions et d'EDP dans une classe de domaines à frontière fractale auto-similaire / Contributions to the study of function spaces and PDE for a class of domains with fractal self-similar boundaryDeheuvels, Thibaut 22 March 2013 (has links)
Cette thèse est consacrée à des questions d'analyse en amont de la modélisation de structures arborescentes, comme le poumon humain. Plus particulièrement, nous portons notre intérêt sur une classe de domaines ramifiés du plan, dont la frontière comporte une partie fractale auto-similaire. Nous commençons par une étude d'espaces de fonctions dans cette classe de domaines. Nous étudions d'abord la régularité Sobolev de la trace sur la partie fractale de la frontière de fonctions appartenant à des espaces de Sobolev dans les domaines considérés. Nous étudions ensuite l'existence d'opérateurs de prolongement sur la classe de domaines ramifiés. Nous comparons finalement la notion de trace auto-similaire sur la partie fractale du bord à des définitions plus classiques de trace. Nous nous intéressons enfin à un problème de transmission mixte entre le domaine ramifié et le domaine extérieur. L'interface du problème est la partie fractale du bord du domaine. Nous proposons ici une approche numérique, en approchant l'interface fractale par une interface préfractale. La stratégie proposée ici est basée sur le couplage d'une méthode auto-similaire pour la résolution du problème intérieur et d'une méthode intégrale pour la résolution du problème extérieur. / We study some questions of analysis in view of the modeling of tree-like structures, such as the human lungs. More particularly, we focus on a class of planar ramified domains whose boundary contains a fractal self-similar part. We start by studying some function spaces defined for this class of domains. We first study the Sobolev regularity of the traces on the fractal part of the boundary of functions in some Sobolev spaces of the ramified domains. Then, we study the existence of Sobolev extension operators for the ramified domains we consider. Finally, we compare the notion of self-similar trace on the fractal part of the boundary with more classical definitions of trace. In the last part, we focus on a mixed transmission problem between the ramified domain and the exterior domain. The fractal part of the boundary is the interface of the problem. We propose a numerical approach where we approximate the self-similar interface by a prefractal interface. The proposed strategy is based on a self-similar method for the resolution of the inner problem coupled with an integral method for the resolution of the outer problem.
|
598 |
I. Etude des EDDSRs surlinéaires II. Contrôle des EDSPRs couplées / I. Study of a BDSDE with a superlinear growth generator. II. Coupled controlled FSDEs.Mtiraoui, Ahmed 25 November 2016 (has links)
Cette thèse aborde deux sujets de recherches, le premier est sur l’existence et l’unicité des solutions des Équations Différentielles Doublement Stochastiques Rétrogrades (EDDSRs) et les Équations aux Dérivées partielles Stochastiques (EDPSs) multidimensionnelles à croissance surlinéaire. Le deuxième établit l’existence d’un contrôle optimal strict pour un système controlé dirigé par des équations différentielles stochastiques progressives rétrogrades (EDSPRs) couplées dans deux cas de diffusions dégénérée et non dégénérée.• Existence et unicité des solutions des EDDSRs multidimensionnels :Nous considérons EDDSR avec un générateur de croissance surlinéaire et une donnée terminale de carré intégrable. Nous introduisons une nouvelle condition locale sur le générateur et nous montrons qu’elle assure l’existence, l’unicité et la stabilité des solutions. Même si notre intérêt porte sur le cas multidimensionnel, notre résultat est également nouveau en dimension un. Comme application, nous établissons l’existence et l’unicité des solutions des EDPS semi-linéaires.• Contrôle des EDSPR couplées :Nous étudions un problème de contrôle avec une fonctionnelle coût non linéaire dont le système contrôlé est dirigé par une EDSPR couplée. L’objective de ce travail est d’établir l’existence d’un contrôle optimal dans la classe des contrôle stricts, donc on montre que ce contrôle vérifie notre équation et qu’il minimise la fonctionnelle coût. La méthode consiste à approcher notre système par une suite de systèmes réguliers et on montre la convergence. En passant à la limite, sous des hypothèses de convexité, on obtient l’existence d’un contrôle optimal strict. on suit cette méthode théorique pour deux cas différents de diffusions dégénérée et non dégénérée. / In this Phd thesis, we considers two parts. The first one establish the existence and the uniquness of the solutions of multidimensional backward doubly stochastic differential equations (BDSDEs in short) and the stochastic partial differential equations (SPDEs in short) in the superlinear growth generators. In the second part, we study the stochastic controls problems driven by a coupled Forward-Backward stochastic differentialequations (FBSDEs in short).• BDSDEs and SPDEs with a superlinear growth generators :We deal with multidimensional BDSDE with a superlinear growth generator and a square integrable terminal datum. We introduce new local conditions on the generator then we show that they ensure the existence and uniqueness as well as the stability of solutions. Our work go beyond the previous results on the subject. Although we are focused on multidimensional case, the uniqueness result we establish is new in one dimensional too. As application, we establish the existence and uniqueness of probabilistic solutions tosome semilinear SPDEs with superlinear growth generator. By probabilistic solution, we mean a solution which is representable throughout a BDSDEs.• Controlled coupled FBSDEs :We establish the existence of an optimal control for a system driven by a coupled FBDSE. The cost functional is defined as the initial value of the backward component of the solution. We construct a sequence of approximating controlled systems, for which we show the existence of a sequence of feedback optimal controls. By passing to the limit, we get the existence of a feedback optimal control. The convexity condition is used to ensure that the optimal control is strict. In this part, we study two cases of diffusions : degenerate and non-degenerate.
|
599 |
An Application of M-matrices to Preserve Bounded Positive Solutions to the Evolution Equations of Biofilm ModelsLandry, Richard S., Jr. 20 December 2017 (has links)
In this work, we design a linear, two step implicit finite difference method to approximate the solutions of a biological system that describes the interaction between a microbial colony and a surrounding substrate. Three separate models are analyzed, all of which can be described as systems of partial differential equations (PDE)s with nonlinear diffusion and reaction, where the biological colony grows and decays based on the substrate bioavailability. The systems under investigation are all complex models describing the dynamics of biological films. In view of the difficulties to calculate analytical solutions of the models, we design here a numerical technique to consistently approximate the system evolution dynamics, guaranteeing that nonnegative initial conditions will evolve uniquely into new, nonnegative approximations. This property of our technique is established using the theory of M-matrices, which are nonsingular matrices where all the entries of their inverses are positive numbers. We provide numerical simulations to evince the preservation of the nonnegative character of solutions under homogeneous Dirichlet and Neumann boundary conditions. The computational results suggest that the method proposed in this work is stable, and that it also preserves the bounded character of the discrete solutions.
|
600 |
Partial differential equations methods and regularization techniques for image inpainting / Restauration d'images par des méthodes d'équations aux dérivées partielles et des techniques de régularisationTheljani, Anis 30 November 2015 (has links)
Cette thèse concerne le problème de désocclusion d'images, au moyen des équations aux dérivées partielles. Dans la première partie de la thèse, la désocclusion est modélisée par un problème de Cauchy qui consiste à déterminer une solution d'une équation aux dérivées partielles avec des données aux bords accessibles seulement sur une partie du bord de la partie à recouvrir. Ensuite, on a utilisé des algorithmes de minimisation issus de la théorie des jeux, pour résoudre ce problème de Cauchy. La deuxième partie de la thèse est consacrée au choix des paramètres de régularisation pour des EDP d'ordre deux et d'ordre quatre. L'approche développée consiste à construire une famille de problèmes d'optimisation bien posés où les paramètres sont choisis comme étant une fonction variable en espace. Ceci permet de prendre en compte les différents détails, à différents échelles dans l'image. L'apport de la méthode est de résoudre de façon satisfaisante et objective, le choix du paramètre de régularisation en se basant sur des indicateurs d'erreur et donc le caractère à posteriori de la méthode (i.e. indépendant de la solution exacte, en générale inconnue). En outre, elle fait appel à des techniques classiques d'adaptation de maillage, qui rendent peu coûteuses les calculs numériques. En plus, un des aspects attractif de cette méthode, en traitement d'images est la récupération et la détection de contours et de structures fines. / Image inpainting refers to the process of restoring a damaged image with missing information. Different mathematical approaches were suggested to deal with this problem. In particular, partial differential diffusion equations are extensively used. The underlying idea of PDE-based approaches is to fill-in damaged regions with available information from their surroundings. The first purpose of this Thesis is to treat the case where this information is not available in a part of the boundary of the damaged region. We formulate the inpainting problem as a nonlinear boundary inverse problem for incomplete images. Then, we give a Nash-game formulation of this Cauchy problem and we present different numerical which show the efficiency of the proposed approach as an inpainting method.Typically, inpainting is an ill-posed inverse problem for it most of PDEs approaches are obtained from minimization of regularized energies, in the context of Tikhonov regularization. The second part of the thesis is devoted to the choice of regularization parameters in second-and fourth-order energy-based models with the aim of obtaining as far as possible fine features of the initial image, e.g., (corners, edges, … ) in the inpainted region. We introduce a family of regularized functionals with regularization parameters to be selected locally, adaptively and in a posteriori way allowing to change locally the initial model. We also draw connections between the proposed method and the Mumford-Shah functional. An important feature of the proposed method is that the investigated PDEs are easy to discretize and the overall adaptive approach is easy to implement numerically.
|
Page generated in 0.1418 seconds