21 |
Μιμιδικοί και εξελικτικοί αλγόριθμοι στην αριθμητική βελτιστοποίηση και στη μη γραμμική δυναμικήΠεταλάς, Ιωάννης 18 September 2008 (has links)
Το κύριο στοιχείο της διατριβής είναι οι Εξελικτικοί Αλγόριθμοι. Στο πρώτο μέρος παρουσιάζονται οι Μιμιδικοί Αλγόριθμοι. Οι Μιμιδικοί Αλγόριθμοι είναι υβριδικά σχήματα που συνδυάζουν τους Εξελιτκικούς Αλγορίθμους με μεθόδους τοπικής αναζήτησης. Οι Μιμιδικοί Αλγόριθμοι συγκρίθηκαν με τους Εξελικτικούς Αλγορίθμους σε πληθώρα προβλημάτων ολικής βελτιστοποίησης και είχαν καλύτερα αποτελέσματα. Στο δεύτερο μέρος μελετήθηκαν προβλήματα μη γραμμικής δυναμικής. Αυτά ήταν η εκτίμηση της περιοχής ευστάθειας διατηρητικών απεικονίσεων, η ανίχνευση συντονισμών και ο υπολογισμός περιοδικών τροχιών. Τα αποτελέσματα ήταν ικανοποιητικά. / The main objective of the thesis was the study of Evolutionary Algorithms. At the first part, Memetic Algorithms were introduced. Memetic Algorithms are hybrid schemes that combine Evolutionary Algorithms and local search methods. Memetic Algorithms were compared to Evolutionary Algorithms in various problems of global optimization and they had better performance. At the second part, problems from nonlinear dynamics were studied. These were the estimation of the stability region of conservative maps, the detection of resonances and the computation of periodic orbits. The results were satisfactory.
|
22 |
Non-Negativity, Zero Lower Bound and Affine Interest Rate Models / Positivité, séjours en zéro et modèles affines de taux d'intérêtRoussellet, Guillaume 15 June 2015 (has links)
Cette thèse présente plusieurs extensions relatives aux modèles affines positifs de taux d'intérêt. Un premier chapitre introduit les concepts reliés aux modélisations employées dans les chapitres suivants. Il détaille la définition de processus dits affines, et la construction de modèles de prix d'actifs obtenus par non-arbitrage. Le chapitre 2 propose une nouvelle méthode d’estimation et de filtrage pour les modèles espace-état linéaire-quadratiques. Le chapitre suivant applique cette méthode d’estimation à la modélisation d’écarts de taux interbancaires de la zone Euro, afin d’en décomposer les fluctuations liées au risque de défaut et de liquidité. Le chapitre 4 développe une nouvelle technique de création de processus affines multivariés à partir leurs contreparties univariées, sans imposer l’indépendance conditionnelle entre leurs composantes. Le dernier chapitre applique cette méthode et dérive un processus affine multivarié dont certaines composantes peuvent rester à zéro pendant des périodes prolongées. Incorporé dans un modèle de taux d’intérêt, ce processus permet de rendre compte efficacement des taux plancher à zéro. / This thesis presents new developments in the literature of non-negative affine interest rate models. The first chapter is devoted to the introduction of the main mathematical tools used in the following chapters. In particular, it presents the so-called affine processes which are extensively employed in no-arbitrage interest rate models. Chapter 2 provides a new filtering and estimation method for linear-quadratic state-space models. This technique is exploited in the 3rd chapter to estimate a positive asset pricing model on the term structure of Euro area interbank spreads. This allows us to decompose the interbank risk into a default risk and a liquidity risk components. Chapter 4 proposes a new recursive method for building general multivariate affine processes from their univariate counterparts. In particular, our method does not impose the conditional independence between the different vector elements. We apply this technique in Chapter 5 to produce multivariate non-negative affine processes where some components can stay at zero for several periods. This process is exploited to build a term structure model consistent with the zero lower bound features.
|
23 |
Mathematical methods for implicit solvation models in quantum chemistry / Méthodes mathématiques pour les modèles de solvabilité implicite en chimie quantiqueQuan, Chaoyu 21 November 2017 (has links)
Cette thèse est consacrée à étudier et à améliorer les modèles mathématiques et les méthodes utilisées pour les modèles de solvatation implicite en chimie quantique. Ce manuscrit est composée de deux parties. Dans la première partie où nous analysons l'interface soluté-solvant, nous donnons, pour la première fois, une caractérisation complète de la surface moléculaire lisse, c'est-à-dire la surface exclue du solvant (SES). À partie de cette caractérisation, nous développons un algorithme de maillage par morceaux pour les surfaces moléculaires différentes, en particulier pour la SES, en utilisant la triangulation à front avançant. De plus, la cavité de la SES (la région entourée par la SES) est une description plus précise de la cavité de soluté. Dans la deuxième partie, nous construisons donc un modèle de continuum polarisable basé (PCM) sur la SES, dans lequel le paramètre de permittivité diélectrique est continu. Le problème électrostatique de ce modèle consiste à résoudre une équation de Poisson définie sur R3. Nous développons ensuite une méthode de Schwarz particulière, où seules les équations locales restreintes à des boules doivent être résolues. Enfin, nous étudions le modèle de solvatation de Poisson-Boltzmann, un autre modèle de solvatation implicite, qui tient compte à la fois de la permittivité diélectrique et de la force ionique du solvant. Une méthode de Schwarz similaire est proposée pour résoudre l'équation de Poisson-Boltzmann associée en résolvant des équations locales restreintes aux boules comme pour le PCM basé sur la SES. / This thesis is devoted to study and improve the mathematical models and methods used in implicit solvation models in quantum chemistry. The manuscript is composed of two parts. In the first part where we analyze the solute-solvent interface, we give, for the first time, a complete characterization of the so-called “smooth” molecular surface, i.e., the solvent excluded surface (SES). Based on this characterization, we develop a piecewise meshing algorithm for different molecular surfaces, especially the SES, using the advancing-front triangulation. Further, it has been pointed out in the literature that the SES-cavity (the region enclosed by the SES) is a more accurate description of the solute cavity. In the second part, we therefore construct an SES-based polarizable continuum model (PCM), in which the dielectric permittivity parameter is continuous. The electrostatic problem of this model involves solving a Poisson equation defined in R3. We then develop a particular Schwarz domain decomposition method where only local equations restricted to balls need to be solved. Finally, the Poisson-Boltzmann solvation model, another implicit solvation model, is also investigated, which takes into account both the dielectric permittivity and the ionic strength of the solvent. A similar Schwarz domain decomposition method is proposed to solve the associated Poisson-Boltzmann equation by solving local equations restricted to balls as it is for the SES-based PCM.
|
24 |
Modèles asymptotiques et simulation numérique pour la diffraction d'ondes par des petites hétérogénéités / Asymptotic models and numerical simulation for the diffraction of waves by small defectsMarmorat, Simon 12 November 2015 (has links)
Cette thèse est consacrée à l'étude du problème de la diffraction d'une onde acoustique par un ensemble de petites hétérogénéités pénétrables ainsi qu'au développement de méthodes de simulation numérique dédiées à la résolution efficace de ce type de problèmes. La principale nouveauté de ces travaux provient du fait que nous traitons ce problème dans le domaine temporel.La première partie de ce manuscrit est consacrée à l'analyse asymptotique du problème de diffraction, menée à bien grâce à la méthode des développements asymptotiques raccordés, le petit paramètre étant la taille caractéristique des défauts $varepsilon$. Ceci nous permet d'obtenir un développement du champ acoustique comme perturbation du problème sans défauts. Nous prouvons un résultat de consistance entre le champ exact et son développement asymptotique en $varepsilon$.Dans la seconde partie, en s'appuyant sur les résultats de l'analyse asymptotique, nous proposons deux modèles approchés pour le problème de diffraction. Ces deux modèles sont bien-posés et leur solution sont chacune des approximations précises du champ total. La principale caractéristique de ces modèles approchés est qu'ils s'appuient tous deux sur une équation d'onde dans le milieu ambiant (sans défauts), couplée à des termes sources auxiliaires permettant de rendre compte de la présence des défauts. Il est ainsi envisageable, pour traiter ces problèmes approchés, d'utiliser une méthode de discrétisation par éléments finis présentant des performances de temps de calcul similaires au cas de la propagation d'une onde dans l'espace libre, puisque l'opérateur des ondes sous-jacent s'appuie sur une géomètrie indépendante des petits défauts. Nous présentons un certain nombre de résultats numériques permettant de valider les deux modèles proposés ainsi qu'une analyse d'erreur numérique. / This work is dedicated to the study of the diffraction of acoustic waves by a set of small inclusions, as well as to the development of numerical methods for the simulation of such phenomenons. The main novelty of this work is that we deal with time-domain waves.The first part of this manuscript deals with the asymptotic analysis of the diffraction problem, which is carried out by matched asymptotics, the small parameter being the characteristic size of the defects $varepsilon$. This furnishes an asymptotic expansion of the acoustic field as a perturbation of the defect-free problem. We prove a consistency result between the total field and its $varepsilon$-asymptotic expansion.In the second part, using the results of the asymptotic analysis, we introduce two approximate models for the diffraction problem. These models are well-posed and their solution are precise approximations of the total acoustic field. One of the main features of these approximate models is that they both lie on a wave equation in the surrounding medium (without defects), coupled to auxiliary source terms which account for the presence of the inclusions. It is then possible to discretize these approximate models using a finite element method, leading to a numerical method which performs as fast as in the defect-free case, since the underlying wave operator is independent of the defects. We present several numerical results which validate both approximate models as well as some insights about numerical error analysis.
|
25 |
Problèmes d'interface en présence de métamatériaux : modélisation, analyse et simulations / Interface problems with metamaterials : modelling, analysis and simulationsVinoles, Valentin 08 September 2016 (has links)
Nous nous intéressons à des problèmes de transmission entre diélectriques et métamatériaux, milieux présentant des propriétés électromagnétiques inhabituelles comme des caractéristiques effectives négatives à certaines fréquences. Par exemple, ces milieux peuvent être construits comme des assemblages périodiques de microstructures résonantes et dans ce cas la théorie de l'homogénéisation permet de justifier mathématiquement ces propriétés effectives. En régime harmonique et dans des géométries à variables séparables, des calculs analytiques peuvent être menés. Ils révèlent dans des cas dits critiques des difficultés mathématiques: les solutions n'ont pas la régularité standard, voire le problème peut être mal posé.La première partie étudie ces problèmes de transmission en régime temporel pour lequel les métamatériaux sont modélisés par des modèles dispersifs (modèle de Drude ou de Lorentz). Les difficultés résident dans le choix d'un schéma de discrétisation mais surtout dans la construction de conditions absorbantes. La méthode retenue ici est celle des Perfectly Matched Layers (PMLs). Comme les PMLs classiques sont instables pour ces modèles du fait de la présence d'ondes inverses, nous proposons une nouvelle classe de PMLs pour lesquelles nous menons une analyse de stabilité. Cette dernière permet de construire des PMLs stables. Elles sont ensuite utilisées pour simuler le comportement en temps long d'un problème de transmission; nous illustrons alors le fait que le principe d'amplitude limite peut être mis en défaut en raison de résonances d'interface.La deuxième partie vise à pallier ces phénomènes d'interface en régime harmonique en revenant sur le processus d'homogénéisation classique, pour un milieu dissipatif. Pour des problèmes de transmission, il est connu que les modèles issus de cette méthode perdent en précision du fait de la présence de couches limites à l'interface. Nous proposons un modèle enrichi au niveau de l'interface. En combinant la méthode d'homogénéisation double-échelle et celle des développements asymptotiques raccordés, nous construisons des conditions de transmission non standards faisant intervenir des opérateurs différentiels le long de l'interface. Le calcul de ces conditions nécessite la résolution de problèmes de cellule et de problèmes non standards posés dans des bandes périodiques infinies. Une analyse d'erreur confirme l'amélioration de la précision du modèle. Des simulations numériques illustrent l'efficacité de ces nouvelles conditions. Enfin, cette démarche est reproduite formellement dans le cas des matériaux à fort contraste se comportant comme des métamatériaux. Nous montrons alors que ces nouvelles conditions permettent de régulariser le problème de transmission dans les cas critiques. / We are interested in transmission problems between dielectrics and metamaterials, that is to say media with unusual electromagnetic properties such as negative constants at some frequencies. These media are often made of periodic assemblies of resonant micro-structures and in this case the homogenization theory can justify mathematically these effective properties. A preliminary part deals with these problems in the harmonic domain and in geometry with separation of variables.Analytical computations are done and reveal in the so-called critical cases some mathematical diffculties: the solutions do not have the standard regularity and the problem can even be ill-posed.The first part examines these transmission problems in the time domain for which metamaterials are modelled by dispersive models (Drude model or Lorentz model for instance). The diffculties reside in the choice of a discretization scheme but especially in the construction of absorbing conditions. The method used here is the use of Perfectly Matched Layers (PMLs). Since classical PMLs are unstable for these models due to the presence of backward waves, we propose a new class of PMLs for which we conduct a stability analysis. The latter allows us to build stable PMLs. They are then used to simulate the long-time behaviour of a transmission problem; we illustrate the fact that the limit amplitude principle can be faulted because of interface resonances.The second part aims to overcome these phenomena by coming back to the classical homogenization in the harmonic domain, for dissipative media. For transmission problems, it is known that models resulting from this method lose accuracy due to the presence of boundary layers at the interface. We propose an enriched model at the interface: by combining the method of two-scale homogenization and that of matched asymptotic expansions, we build non-standard transmission conditions involving tangential derivatives along the interface (Laplace-Beltrami operators). This requires to solve cell problems and non-standardproblems in infinite periodic bands. An error analysis confirms the improvement of the accuracy of the model and numerical simulations show the effectiveness of these new conditions. Finally, this approach is formally reproduced in the case of high contrast materials which behave like metamaterials. We show that these new conditions regularise the transmission problem in the critical cases.
|
26 |
Résolution numérique des transferts par rayonnement et conduction au sein d'un milieu semi-transparent pour une géométrie 3D de forme complexe / Computational method for combined radiation and conduction in participating media with complex 3D geometriesTrovalet, Lionel 21 October 2011 (has links)
Ce travail porte sur la résolution numérique des transferts couplés par rayonnement et conduction au sein d'un milieu semi-transparent pour une géométrie 3D de forme complexe. Le rayonnement thermique est simulé par un code de calcul développé durant cette thèse. Ce code résout l'équation du transfert radiatif (ETR) par une méthode aux volumes finis (MVF) avec une formulation " cell-vertex " s'appliquant à des maillages tétraédriques non structurés. Il utilise un schéma de fermeture de type exponentiel, un ordre de parcours ainsi qu'une résolution matricielle innovante pour la MVF appliquée à l'ETR. Le modèle mis en place traite des milieux absorbants, émettants, gris ou non-gris bordés par des surfaces noires ou opaques à réflexion diffuse. Le couplage rayonnement-conduction s'effectue sur le même maillage avec un code d'éléments finis pour la conduction. La validation du code de rayonnement et du couplage passe par de nombreux cas tests issus de la littérature. Il aborde les milieux gris, isotherme avec différentes géométries où les effets de la discrétisation spatiale et angulaire sont observés au travers d'une étude de sensibilité. Trois schémas de fermeture ont été étudiés sur un milieu transparent pour montrer leurs influences sur la précision et la diffusion numérique. Les études des transferts de chaleur couplés traitent le problème de l'équilibre radiatif et du couplage conduction-rayonnement en régime stationnaire ou instationnaire avec les équations adimensionnées. La dernière étude porte sur un milieu non-gris tel que le verre en considérant la conduction et le rayonnement en régime stationnaire avec une méthode spectrale par bande pour la partie radiative / This work deals with the numerical solution of coupled radiative and conductive heat transfer in participating media in complex 3D geometries. Thermal radiation is simulated by a numerical code developed during this thesis. This code solves the radiative transfer equation (RTE) by a modified finite volume method (FVM) with a cell-vertex formulation applied to unstructured tetrahedral meshes. It uses a closure relation based on an exponential scheme, a marching order map and an innovative matrix solution for the FVM applied to the RTE. The model is applied to absorbing-emitting, grey or non-grey media bounded by black or opaque walls with diffuse reflection. The mesh used for the radiation-conduction coupling is the one used by the finite element code for the conduction. The validation of the radiative code and the coupling are carried out through several test cases taken from the literature. Grey and isothermal media with different geometries are considered, and the effects of the spatial and angular discretizations are observed through a sensitivity study. Three closure schemes have been studied on a transparent medium in order to show their influence on the accuracy and false scattering. Studies of coupled heat transfer are carried out on radiative equilibrium problems and coupled radiation-conduction problems in steady or transient states with the dimensionless equations. Finally a non-grey medium such glass is also studied, considering conduction and radiation in steady state with a spectral band model for radiation
|
27 |
Estimation d'état et de paramètres pour les systèmes quantiques ouverts / Estimation of state and parameters in open quantum systemsSix, Pierre 22 November 2016 (has links)
La communauté scientifique a réussi ces dernières années à bâtir des systèmes quantiques simples sur lesquels des séries de mesures sont acquises successivement le long de trajectoires quantiques et sans réinitialisation de l’état (opérateur densité) par l’expérimentateur.L’objet de cette thèse est d’adapter les méthodes de tomographie quantique (estimation d’état et de paramètres) à ce cadre pour prendre en compte la rétroaction de la mesure sur l’état, la décohérence et les imperfections expérimentales.Durant le processus de mesure, l’évolution de l’état quantique est alors gouvernée par un processus de Markov à états cachés (filtres quantiques de Belavkin). Pour des mesuresen temps continu, nous commençons par montrer comment discrétiser l’équation maîtresse stochastique tout en préservant la positivité et la trace de l’état quantique, et ainsi sera mener aux filtres quantiques en temps discret. Ensuite, nous développons, à partir de trajectoires de mesures en temps discret, des techniques d’estimation par maximum de vraisemblance pour l’état initial et les paramètres. Cette estimation est accompagnée de son intervalle de confiance. Lorsqu’elle concerne des valeurs de paramètres (tomographie de processus quantique), nous donnons un résultat de robustesse grâce au formalisme des filtres particulaires et nous proposons une méthode de maximisation fondée sur le calcul du gradient par l’adjoint et bien adaptée au cas multiparamétrique. Lorsque l’estimation porte sur l’état initial (tomographie d’état quantique), nous donnons une formulation explicite de la fonction de vraisemblance grâce aux états adjoints, montrons que son logarithme est une fonction concave de l’état initial et élaborons une expression intrinsèque de la variance grâce à des développements asymptotiques de moyennes bayésiennes et reposant sur la géométrie de l’espace des opérateurs densité.Ces méthodes d’estimation ont été appliquées et validées expérimentalement pour deux types de mesures quantiques : des mesures en temps discret non destructives de photons dans le groupe d’électrodynamique quantique en cavité du LKB au Collège de France, des mesures diffusives de la fluorescence d’un qubit supraconducteur dans le groupe d’électronique quantique du LPA à l’ENS Paris. / In recent years, the scientifical community has succeeded in experimentally building simple quantum systems on which series of measurements are successively acquired along quantum trajectories, without any reinitialization of their state (density operator) by the physicist. The subject of this thesis is to adapt the quantum tomography techniques (state and parameters estimation) to this frame, in order to take into account the feedback of the measurement on the state, the decoherence and experimental imperfections.During the measurement process, the evolution of the quantum state is then governed by a hidden-state Markov process (Belavkin quantum filters). Concerning continuous-time measurements, we begin by showing how to discretize the stochastic master equation, while preserving the positivity and the trace of the quantum state, and so reducing to discrete-time quantum filters. Then, we develop,starting from trajectories of discrete-time measurements, some maximum-likelihood estimation techniques for initial state and parameters. This estimation is coupled with its confidence interval. When it concerns the value of parameters (quantum process tomography), we provide a result of robustness using the formalism of particular filters, and we propose a maximization technique based on the calculus of gradient by adjoint method, which is well adapted to the multi-parametric case. When the estimation concerns the initial state (quantum state tomography), we give an explicit formulation of the likelihood function thanks to the adjoint states, show that its logarithm is a concave function of the initial state and build an intrinsic expression of the variance, obtained from asymptotic developments of Bayesian means, lying on the geometry of the space of density operators.These estimation techniques have been applied and experimentally validated for two types of quantum measurements: discrete-time non-destructive measurements of photons in the group of cavity quantum electro-dynamics of LKB at Collège de France, diffusive measurements of the fluorescence of a supra-conducting qubit in the quantum electronics group of LPA at ENS Paris.
|
28 |
Minimality, input-output equivalence and identifiability of LPV systems in state-space and linear fractional representations / Minimalité, équivalence entrée-sortie et identifiabilité des systèmes LPV sous forme d’état et sous forme de représentations linéaires fractionairesAlkhoury, Ziad 09 November 2017 (has links)
Dans cette thèse, plusieurs concepts importants liés à la théorie de la réalisation des modèles linéaires à paramètres variants (LPV) sont étudiés.Tout d’abord, nous abordons le problème de l’identifiabilité des modèles LPV affines (ALPV). Une nouvelle condition suffisante et nécessaire est introduite afin de garantir l’identifiabilité structurelle pour les paramétrages ALPV. L’identifiabilité de cette classe de paramétrages est liée à l’absence d’isomorphismes liant deux représentations d’état LPV lorsque deux modèles LPV correspondant à différentes valeurs des variables de séquencement sont considérés. Nous présentons ainsi une condition suffisante et nécessaire pour l’identifiabilité structurelle locale, et une condition suffisante pour l’identifiabilité structurelle (globale) qui sont toutes deux fonction du rang d’une matrice définie par l’utilisateur. Ces dernières conditions permettent la vérification de l’identifiabilité structurelle des modèles ALPV.Ensuite, étant donné que les techniques d’identification dites locales sont parfois inévitables, nous fournissons une expression analytique de la borne supérieure de l’erreur de comportements entrées-sorties de deux modèles LPV équivalents localement. Cette erreur se révèle être une fonction de (i) la vitesse de changement du signal de séquencement et (ii) l’écart entre les bases cohérentes de deux modèles LPV. En particulier, la différence entre les sorties des deux modèles peut être arbitrairement réduite en choisissant un signal de séquencement qui varie assez lentement.Enfin, nous présentons et étudions des propriétés importantes de la transformation des représentations d’état ALPV en Représentations Linéaires Fractionnelles (LFR). Plus précisément, nous montrons que (i) les représentations ALPV minimales conduisent à des LFR minimales, et vice versa, (ii) le comportement entrée-sortie de la représentation ALPV détermine de manière unique le comportement entrée-sortie de la LFR résultante, (iii) les modèles ALPV structurellement identifiables fournissent des LFRs structurellement identifiables et vice versa. Nous caractérisons ensuite les LFRs qui correspondent á des modèles ALPV équivalents basés sur leurs applications entrées-sorties. Comme illustré tout au long du manuscrit, ces résultats ont des conséquences importantes pour l’identification et la commande des systèmes LPV. / In this thesis, important concepts related to the identification of Linear Parameter-Varying (LPV) systems are studied.First, we tackle the problem of identifiability of Affine-LPV (ALPV) state-space parametrizations. A new sufficient and necessary condition is introduced in order to guarantee the structural identifiability for ALPV parameterizations. The identifiability of this class of parameterizations is related to the lack of state-space isomorphisms between any two models corresponding to different scheduling parameter values. In addition, we present a sufficient and necessary condition for local structural identifiability, and a sufficient condition for (global) structural identifiability which are both based on the rank of a model-based matrix. These latter conditions allow systematic verification of structural identifiability of ALPV models. Moreover, since local identification techniques are inevitable in certain applications, it is thus a priority to study the discrepancy between different LPV models obtained using different local techniques. We provide an analytic error bound on the difference between the input-output behaviors of any two LPV models which are frozen equivalent. This error bound turns out to be a function of both (i) the speed of the change of the scheduling signal and (ii) the discrepancy between the coherent bases of the two LPV models. In particular, the difference between the outputs of the two models can be made arbitrarily small by choosing a scheduling signal which changes slowly enough.Finally, we introduce and study important properties of the transformation of ALPV statespace representations into Linear Fractional Representations (LFRs). More precisely, we show that (i) state minimal ALPV representations yield minimal LFRs, and vice versa, (ii) the inputoutput behavior of the ALPV representation determines uniquely the input-output behavior of theresulting LFR, (iii) structurally identifiable ALPV models yield structurally identifiable LFRs, and vice versa. We then characterize LFRs which correspond to equivalent ALPV models based on their input-output maps. As illustrated all along the manuscript, these results have important consequences for identification and control of LPV systems.
|
29 |
Modèles de Mumford-Shah pour la détection de structures fines en image / Mumford-Shah model for detection of fine structures in image processingVicente, David 14 September 2015 (has links)
Cette thèse est une contribution au problème de détection de fines structures tubulaires dans une image2-D ou 3-D. Nous avons plus précisément en vue le cas des images angiographiques. Celles-ci étant bruitées, les vaisseaux ne se détachent pas nettement du reste de l’image, la question est donc de segmenter avec précision le réseau sanguin. Le cadre théorique de ce travail est le calcul des variations eten particulier l'énergie de Mumford-Shah. Cependant, ce modèle n'est adapté qu'à la détection de structures volumiques étendues dans toutes les directions de l’image. Le but de ce travail est donc deconstruire une énergie qui favorise les ensembles qui ne sont étendus que dans une seule direction, cequi est le cas de fins tubes. Pour cela, une nouvelle inconnue est introduite, une métrique Riemannienne,qui a pour but la détection de la structure géométrique de l’image. Une nouvelle formulation de l’énergie de Mumford-Shah est donnée avec cette nouvelle métrique. La preuve de l'existence d'une solution au problème de la minimisation de l’énergie est apportée. De plus, une approximation par gamma-convergence est démontrée, ce qui permet ensuite de proposer et de mettre en oeuvre une implémentation numérique. / This thesis is a contribution to the fine tubular structures detection problem in a 2-D or 3-D image. We arespecifically interested in the case of angiographic images. The vessels are surrounded by noise and thenthe question is to segment precisely the blood network. The theoretical framework of our work is thecalculus of variations and we focus on the Mumford-Shah energy. Initially, this model is adapted to thedetection of volumetric structures extended in all directions of the image. The aim of this study is to buildan energy that favors sets which are extended in one direction, which is the case of fine tubes. Then, weintroduce a new unknown, a Riemannian metric, which captures the geometric structure at each point ofthe image and we give a new formulation of the Mumford-Shah energy adapted to this metric. Thecomplete analysis of this model is done: we prove that the associated problem of minimization is wellposed and we introduce an approximation by gamma-convergence more suitable for numerics. Eventually,we propose numerical experimentations adapted to this approximation.
|
30 |
Simulations des écoulements sanguins dans des réseaux vasculaires complexes / Modeling of blood flow in real vascular networksTarabay, Ranine 26 September 2016 (has links)
Au cours des dernières décennies, des progrès remarquables ont été réalisés au niveau de la simulation d’écoulements sanguins dans des modèles anatomiques réalistes construits à partir de données d'imagerie médicale 3D en vue de simulation hémodynamique et physiologique 3D à grande échelle. Alors que les modèles anatomiques précis sont d'une importance primordiale pour simuler le flux sanguin, des conditions aux limites réalistes sont également importantes surtout lorsqu’il s’agit de calculer des champs de vitesse et de pression. La première cible de cette thèse était d'étudier l'analyse de convergence des inconnus pour différents types de conditions aux limites permettant un cadre flexible par rapport au type de données d'entrée (vitesse, pression, débit, ...). Afin de faire face au grand coût informatique associé, nécessitant un calcul haute performance, nous nous sommes intéressés à comparer les performances de deux préconditionneurs par blocs; le preconditionneur LSC (Least-Squared Commutator et le preconditionneur PCD (Pressure Convection Diffusion). Dans le cadre de cette thèse, nous avons implémenté ce dernier dans la bibliothèque Feel++. Dans le but de traiter l'interaction fluide-structure, nous nous sommes focalisés sur l'approximation de la force exercée par le fluide sur la structure, un champ essentiel intervenant dans la condition de continuité pour assurer le couplage du modèle de fluide avec le modèle de structure. Enfin, afin de valider nos choix numériques, deux cas tests ont été réalisés et une comparaison avec les données expérimentales et numériques a été établie et validée (le benchmark FDA et le benchmark Phantom). / Towards a large scale 3D computational model of physiological hemodynamics, remarkable progress has been made in simulating blood flow in realistic anatomical models constructed from three-dimensional medical imaging data in the past few decades. When accurate anatomic models are of primary importance in simulating blood flow, realistic boundary conditions are equally important in computing velocity and pressure fields. Thus, the first target of this thesis was to investigate the convergence analysis of the unknown fields for various types of boundary conditions allowing for a flexible framework with respect to the type of input data (velocity, pressure, flow rate, ...). In order to deal with the associated large computational cost, requiring high performance computing, we were interested in comparing the performance of two block preconditioners; the least-squared commutator preconditioner and the pressure convection diffusion preconditioner. We implemented the latter, in the context of this thesis, in the Feel++ library. With the purpose of handling the fluid-structure interaction, we focused of the approximation of the force exerted by the fluid on the structure, a field that is essential while setting the continuity condition to ensure the coupling of the fluid model with the structure model. Finally, in order to assess our numerical choices, two benchmarks (the FDA benchmark and the Phantom benchmark) were carried out, and a comparison with respect to experimental and numerical data was established and validated.
|
Page generated in 0.0224 seconds