Spelling suggestions: "subject:"a priori"" "subject:"a ariori""
201 |
Apport et utilisation des méthodes d’inférence bayésienne dans le domaine des études cliniques diagnostiques / Contribution and use of Bayesian inference methods in the field of clinical diagnostic studiesBastide, Sophie 16 December 2016 (has links)
Les études diagnostiques correspondent à l’ensemble des études cliniques qui ont pour objectif l’évaluation d’un nouveau test diagnostique. Dans la démarche d’évaluation, l’étape centrale est l’évaluation de la performance du nouveau test par estimation de sa sensibilité et de sa spécificité. De manière classique, la performance du nouveau test est évaluée par comparaison à un test de référence supposé parfait, appelé un « gold standard » qui permet la connaissance du statut réel de chaque sujet vis-à-vis de la pathologie étudiée. Cependant, dans de très nombreuses situations cliniques, différentes difficultés existent : l’absence de gold standard parfait, l’impossibilité de réalisation du gold standard à tous les sujets, la dépendance des résultats des tests réalisés, la variabilité de la sensibilité et/ou de la spécificité du test en fonction de certaines conditions de réalisation, la multiple réalisation du test dans le temps ou sa multiple interprétation.Une revue méthodologique systématique a été effectuée pour faire l’état des lieux des méthodes d’inférence bayésienne disponibles dans les études diagnostiques et de leur utilisation en pratique. Le focus sur les méthodes bayésiennes a été retenu du fait de leurs avantages théoriques contrastant avec leur relative sous-utilisation dans le domaine médicale. Actuellement, de nombreuses méthodes ont été proposées pour répondre à ces différentes difficultés, avec des développements très complexes en cas de combinaison de plusieurs difficultés dans une même situation. Nous avons ainsi pu établir une cartographie des combinaisons de méthodes disponibles. Cependant leur utilisation en clinique reste encore limitée, même si elle est en augmentation ces dernières années.En pratique, nous avons été confrontés à la problématique du diagnostic de pneumopathie à Pneumocystis jirovecii (PJ) (champignon ubiquitaire opportuniste responsable de mycose profonde chez les patients immunodéprimés). Dans ce projet, nous disposions des résultats de quatre techniques de PCR (Polymerase chain reaction) différentes mais sans gold standard, avec la difficulté supplémentaire de dépendance conditionnelle entre les tests du fait du principe commun à l’origine de ces quatre tests. Deux développements ont été réalisés en parallèle pour répondre à cette problématique : d’une part, un travail sur les méthodes d’élicitation des informations a priori adaptées spécifiquement aux études diagnostiques, et d’autre part, un travail de mise en œuvre d’un modèle statistique adapté à la problématique de quatre tests dépendants en l’absence de gold standard. En l’absence de données informatives dans la littérature, l’élicitation des a priori, étape obligatoire pour l’utilisation des méthodes d’inférence bayésienne, est réalisée par l’interrogation d’experts du domaine. Notre travail a consisté en une adaptation des méthodes existantes, disponibles dans le domaine des essais cliniques, spécifiquement aux études diagnostiques pour obtenir des a priori informatifs. Cette méthode a été appliquée à notre cas des PCR diagnostiques pour PJ. L’estimation des performances diagnostiques des tests en l’absence de gold standard repose de manière efficiente sur les modèles à classes latentes. Trois modèles ont été développés pour le cas de deux tests diagnostiques : un modèle à indépendance conditionnelle, un modèle à dépendance conditionnelle à effets fixes et un modèle à dépendance conditionnelle à effets aléatoires. Nous proposons dans cette thèse une adaptation de ces trois modèles à la situation de quatre tests diagnostiques avec une formulation des paramètres permettant une interprétation clinique des covariances entre les tests dans un souci de transmission des méthodes de la théorie à la pratique. Une application et une comparaison de ces modèles ont été faites pour l’estimation des sensibilités et spécificités des quatre techniques de PCR à PJ en utilisant les a priori informatifs obtenus auprès des experts. / Diagnostic studies include all clinical studies the aim of which is the evaluation of a new diagnostic test. In the evaluation process, the main step is the evaluation of the performance of the new test i.e. its sensitivity and specificity. Usually, the performance of a new test is assessed by comparison to a test of reference which is supposed to be perfect, i.e. a "gold standard", and specifies the actual patient’s status for the disease of interest (“Diseased” or “Not-Diseased” status). However, in many clinical situations, different pitfalls exist such as (i) a gold standard is not available, (ii) the gold standard is not applicable to all patients, (iii) a conditional dependence exists between test results, (iv) the performance of a test is not constant and depends on the conditions of achievement of the test, (v) the tests are repeated in time or by several machines or read by several readers, together with multiple interpretation of the results. A systematic methodological review has been performed to inventory all Bayesian inference methods available in the field of diagnostic studies and their use in practice. The focus on Bayesian methods was based on the theoretical advantages of these methods contrasting with their relative underutilization in the medical field. Finally, several interesting methods have been proposed to address methodological issues of diagnostic studies, with very complex developments when several issues were combined in the same clinical situation. We propose to map the development methods and combinations that have already been done or not. However, their clinical use is still limited, although it has increased in recent years.In practice, we met the problem of the diagnosis of pneumonia due to Pneumocystis jirovecii (PJ). PJ is an ubiquitous opportunistic fungus leading to deep mycosis in immunocompromised patients. In this study, the results of four PCR (polymerase chain reaction) assays were available, but without any gold standard, and the supplementary difficulty of conditional dependence between tests because the four tests were based on the same principle. Two works were performed in parallel to address this issue: on one hand, an adaptation of methods to elicit prior information specifically in diagnostic studies, and on the other hand, the implementation of specific Bayesian statistical models adapted to the context of four-dependent tests in the absence of gold standard. When informative information is not available in the literature, the elicitation of priors, the mandatory first step of a Bayesian inference, is carried out by registering experts’ beliefs in the field. Our work consisted in an adaptation of existing methods, available in clinical trials, specifically for diagnostic studies to obtain informative priors. We then applied this method to our four PJ PCR assays. Estimation of the diagnostic test performance in absence of gold standard is efficiently based on latent class models (LCM). Three LCM were developed for the case of two diagnostic tests: a simple LCM assuming conditional independence between tests, a fixed effects LCM and a random effects LCM providing an adjustment for conditional dependence between tests. We extended these three models to a situation where four diagnostic tests are involved and proposed a formulation that enables an interpretation of between tests covariances in a clinical perspective in order to bind theory to practice. These models were then applied and compared in an estimation study of the sensitivities and specificities of the four PJ PCR assays, by using informative priors obtained from experts.
|
202 |
Méthodes d'éléments finis pour le problème de Darcy couplé avec l'équation de la chaleur / Finite element methods for Darcy's problem coupled with the heat equationDib, Serena 29 June 2017 (has links)
Dans cette thèse, nous étudions l'équation de la chaleur couplée avec la loi de Darcy à travers de la viscosité non-linéaire qui dépend de la température pour les dimensions d=2,3 (Hooman et Gurgenci ou Rashad). Nous analysons ce problème en introduisant la formulation variationnelle équivalente et en la réduisant à une simple équation de diffusion-convection pour la température où la vitesse dépend implicitement de la température.Nous démontrons l'existence de la solution sans la restriction sur les données par la méthode de Galerkin et du point fixe de Brouwer. L'unicité globale est établie une fois la solution est légèrement régulière et les données se restreignent convenablement. Nous introduisons aussi une formulation variationnelle alternative équivalente. Toutes les deux formulations variationnelles sont discrétisées par quatre schémas d'éléments finis pour un domaine polygonal ou polyédrique. Nous dérivons l'existence, l'unicité conditionnée, la convergence et l'estimation d'erreur a priori optimale pour les solutions des trois schémas. Par la suite, ces schémas sont linéarisés par des algorithmes d'approximation successifs et convergentes. Nous présentons quelques expériences numériques pour un problème modèle qui confirme les résultats théoriques de convergence développées dans ce travail. L'estimation d'erreur a posteriori est établie avec deux types d'indicateurs d'erreur de linéarisation et de discrétisation. Enfin, nous montrons des résultats numériques de validation. / In this thesis, we study the heat equation coupled with Darcy's law by a nonlinear viscosity depending on the temperature in dimension d=2,3 (Hooman and Gurgenci or Rashad). We analyse this problem by setting it in an equivalent variational formulation and reducing it to an diffusion-convection equation for the temperature where the velocity depends implicitly on the temperature.Existence of a solution is derived without restriction on the data by Galerkin's method and Brouwer's Fixed Point. Global uniqueness is established when the solution is slightly smoother and the dataare suitably restricted. We also introduce an alternative equivalent variational formulation. Both variational formulations are discretized by four finite element schemes in a polygonal or polyhedral domain. We derive existence, conditional uniqueness, convergence, and optimal a priori error estimates for the solutions of the three schemes. Next, these schemes are linearized by suitable convergent successive approximation algorithms. We present some numerical experiments for a model problem that confirm the theoretical rates of convergence developed in this work. A posteriori error estimates are established with two types of errors indicators related to the linearisation and discretization. Finally, we show numerical results of validation.
|
203 |
Partial Fourier approximation of the Lamé equations in axisymmetric domainsNkemzi, Boniface, Heinrich, Bernd 14 September 2005 (has links)
In this paper, we study the partial Fourier method for
treating the Lamé equations in three-dimensional
axisymmetric domains subjected to nonaxisymmetric loads.
We consider the mixed boundary value problem of the
linear theory of elasticity with the displacement u,
the body force f \in (L_2)^3 and homogeneous Dirichlet
and Neumann boundary conditions. The partial Fourier
decomposition reduces, without any error, the
threedimensional boundary value problem to an infinite
sequence of twodimensional boundary value problems,
whose solutions u_n (n = 0,1,2,...) are the Fourier
coefficients of u. This process of dimension reduction
is described, and appropriate function spaces are given
to characterize the reduced problems in two dimensions.
The trace properties of these spaces on the rotational
axis and some properties of the Fourier coefficients u_n
are proved, which are important for further numerical
treatment, e.g. by the finite-element method.
Moreover, generalized completeness relations are described
for the variational equation, the stresses and the strains.
The properties of the resulting system of twodimensional
problems are characterized. Particularly, a priori
estimates of the Fourier coefficients u_n and of the error
of the partial Fourier approximation are given.
|
204 |
Analyse d'un problème d'interaction fluide-structure avec des conditions aux limites de type frottement à l'interface / Analysis of a fluid-structure interaction problem with friction type boundary conditionsAyed, Hela 16 May 2017 (has links)
Cette thèse est consacrée à l'analyse mathématique et numérique d'un problème d'interaction fluide-structure stationnaire, couplant un fluide newtonien, visqueux et incompressible, modélisé par les équations de Stokes 2D et une structure déformable, décrite par les équations d'une poutre 1D. Le fluide et la structure sont couplés via une condition aux limites de type frottement à l'interface.Dans l'étude théorique, nous montrons un résultat d'existence et unicité de solutions faibles, dans le cadre de petits déplacements, du problème de couplage fluide structure avec une condition de glissement de type Tresca en utilisant le théorème de point fixe de Schauder.Dans l'analyse numérique, nous étudions d'abord, l'approximation du problème de Stokes avec la condition de Tresca par une méthode d'éléments finis mixtes à quatre champs. Nous montrons ensuite une estimation d'erreur a priori optimale pour des données régulières et nous réalisons des tests numériques. Enfin, nous présentons un algorithme de point fixe pour la simulation numérique du problème couplé avec des conditions aux limites non linéaires. / This PHD thesis is devoted to the theoretical and numerical analysis of a stationary fluid-structure interaction problem between an incompressible viscous Newtonian fluid, modeled by the 2D Stokes equations, and a deformable structure modeled by the 1D beam equations.The fluid and structure are coupled via a friction boundary condition at the fluid-structure interface.In the theoretical study, we prove the existence of a unique weak solution, under small displacements, of the fluid-structure interaction problem under a slip boundary condition of friction type (SBCF) by using Schauder fixed point theorem.In the numerical analysis, we first study a mixed finite element approximation of the Stokes equations under SBCF.We also prove an optimal a priori error estimate for regular data and we provide numerical examples.Finally, we present a fixed point algorithm for numerical simulation of the coupled problem under nonlinear boundary conditions.
|
205 |
A moving boundary problem for capturing the penetration of diffusant concentration into rubbers : Modeling, simulation and analysisNepal, Surendra January 2022 (has links)
We propose a moving-boundary scenario to model the penetration of diffusants into rubbers. Immobilizing the moving boundary by using the well-known Landau transformation transforms the original governing equations into new equations posed in a fixed domain. We solve the transformed equations by the finite element method and investigate the parameter space by exploring the eventual effects of the choice of parameters on the overall diffusants penetration process. Numerical simulation results show that the computed penetration depths of the diffusant concentration are within the range of experimental measurements. We discuss numerical estimations of the expected large-time behavior of the penetration fronts. To have trust in the obtained simulation results, we perform the numerical analysis for our setting. Initially, we study semi-discrete finite element approximations of the corresponding weak solutions. We prove both a priori and a posteriori error estimates for the mass concentration of the diffusants, and respectively, for the a priori unknown position of the moving boundary. Finally, we present a fully discrete scheme for the numerical approximation of model equations. Our scheme is based on the Galerkin finite element method for the space discretization combined with the backward Euler method for time discretization. In addition to proving the existence and uniqueness of a solution to the fully discrete problem, we also derive a priori error estimates for the mass concentration of the diffusants, and respectively, for the position of the moving boundary that fit to our implementation in Python. Our numerical illustrations verify the obtained theoretical order of convergence in physical parameter regimes.
|
206 |
Prediction of Bronchopulmonary Dysplasia by a Priori and Longitudinal Risk Factors in Extremely Premature InfantsPax, Benjamin M. 01 June 2018 (has links)
No description available.
|
207 |
Finite element methods for threads and plates with real-time applicationsLarsson, Karl January 2010 (has links)
Thin and slender structures are widely occurring both in nature and in human creations. Clever geometries of thin structures can produce strong constructions while using a minimal amount of material. Computer modeling and analysis of thin and slender structures has its own set of problems stemming from assumptions made when deriving the equations modeling their behavior from the theory of continuum mechanics. In this thesis we consider two kinds of thin elastic structures; threads and plates. Real-time simulation of threads are of interest in various types of virtual simulations such as surgery simulation for instance. In the first paper of this thesis we develop a thread model for use in interactive applications. By viewing the thread as a continuum rather than a truly one dimensional object existing in three dimensional space we derive a thread model that naturally handles both bending, torsion and inertial effects. We apply a corotational framework to simulate large deformation in real-time. On the fly adaptive resolution is used to minimize corotational artifacts. Plates are flat elastic structures only allowing deflection in the normal direction. In the second paper in this thesis we propose a family of finite elements for approximating solutions to the Kirchhoff-Love plate equation using a continuous piecewise linear deflection field. We reconstruct a discontinuous piecewise quadratic deflection field which is applied in a discontinuous Galerkin method. Given a criterion on the reconstruction operator we prove a priori estimates in energy and L2 norms. Numerical results for the method using three possible reconstructions are presented.
|
208 |
Simulation aux grandes échelles des lits fluidisés circulants gaz-particule / Development of Large Eddy Simulation Approach for Simulation of Circulating Fluidized BedsÖzel, Ali 18 October 2011 (has links)
Les simulations numériques des équations d’Euler deux-fluides réalisé sur des maillages grossiers éliminent les structures fins d’écoulement gaz-solide dans les lits fluidisés. Pour précisément estimer l’hydrodynamique globale de lit, il faut proposer une modélisation qui prend en compte les effets de structure non-résolue. Dans ce but, les maillages sont raffinés pour obtenir le résultat de simulation pleinement résolue ce que les grandeurs statistiques ne modifient plus avec un autre raffinement pour le lit fluidisé périodique dilué gaz-particules sur une géométrie 3D cartésienne et ce résultat est utilisé pour tests "a priori". Les résultats de tests "a priori" montrent que l’équation filtrée de la quantité de mouvement est effectuée mais il faut prendre en compte le flux de la fraction volumique de solide de sous-maille en raison de l’interaction locale de la vitesse du gaz et la fraction volumique de solide pour la force traniée. Nous proposons les modèles fonctionnels et structurels pour le flux de la fraction volumique de solide de sous-maille. En plus, les modèles fermetures du tenseur de sous-maille de la phase dispersée sont similaires aux modèles classiquement utilisés en écoulement turbulent monophasique. Tous les modèles sont validés par test "a priori" et "a posteriori" / Eulerian two fluid approach is generally used to simulate gas-solid flows in industrial circulating fluidized beds. Because of limitation of computational resources, simulations of large vessels are usually performed by using too coarse grid. Coarse grid simulations can not resolve fine flow scales which can play an important role in the dynamic behaviour of the beds. In particular, cancelling out the particle segregation effect of small scales leads to an inadequate modelling of the mean interfacial momentum transfer between phases and particulate shear stresses by secondary effect. Then, an appropriate modelling ac counting for influences of unresolved structures has to be proposed for coarse-grid simu-lations. For this purpose, computational grids are refined to get mesh-independent result where statistical quantities do not change with further mesh refinement for a 3-D peri-odic circulating fluidized bed. The 3-D periodic circulating fluidized is a simple academic configuration where gas-solid flow conducted with A-type particles is periodically driven along the opposite direction of the gravity. The particulate momentum and agitation equations are filtered by the volume averaging and the importance of additional terms due to the averaging procedure are investigated by budget analyses using the mesh independent result. Results show that the filtered momentum equation of phases can be computed on coarse grid simulations but sub-grid drift velocity due to the sub-grid correlation between the local fluid veloc- ity and the local particle volume fraction and particulate sub-grid shear stresses must be taken into account. In this study, we propose functional and structural models for sub- grid drift velocity, written in terms of the difference between the gas velocity-solid volume fraction correlation and the multiplication of the filtered gas velocity with the filtered solid volume fraction. Particulate sub-grid shear stresses are closed by models proposed for single turbulent flows. Models’ predictabilities are investigated by a priori tests and they are validated by coarse-grid simulations of 3-D periodic circulating, dense fluidized beds and experimental data of industrial scale circulating fluidized bed in manner of a posteriori tests
|
209 |
Contribution à une méthodologie d'évaluation à priori des projets de transport urbain durable / Contribution to a methodology for a priori evaluation of sustainable urban transport projectsCucu Graindorge, Tatiana 15 February 2012 (has links)
L’objectif de ces travaux de proposer aux autorités locales un outil d’aide à la décision pour formaliser une démarche participative tout au long de la conception d’un projet de transport urbain durable, dans un contexte multicritères et multi acteurs. La méthodologie développée repose sur l’évaluation a priori des impacts d’un projet local, en impliquant les acteurs dès la phase de diagnostic. Cette phase permet d’identifier des groupes d’acteurs selon leur perception des phénomènes urbains, des interactions et des préférences déclarées d’évolution. Elle permet d’établir une liste d’indicateurs communs qui seront évalués. Le choix des alternatives à étudier est le résultat de l’application conjointe de techniques de transférabilité - fondées sur l’étude de projets développés dans d’autres villes - et de l’étude des préférences déclarées des usagers locaux. La probabilité d’utilisation du service s’évalue à l’aide d’un modèle comportemental agrégé qui intègre la perception floue et l’indécision des usagers devant une situation nouvelle. Les changements de comportement des usagers sont pris en compte à l’aide d’un indicateur de robustesse qui teste les effets des paramètres exogènes sur l’évolution de la probabilité d’utilisation du service. Un micro-simulateur de trafic permet d’évaluer les impacts des différents scénarii sur le trafic, l’environnement et le bien-être des citoyens sous la forme monétarisée, afin d’illustrer les coûts et les bénéfices indirects attendus de l’implantation du projet. Une solution de compromis est proposée : elle vise à fournir la solution qui contenterait au mieux l’ensemble des représentants des groupes d’acteurs - et non la solution optimale en termes d’impacts. / The objective of this research is to provide to the local authorities a decision aid tool in order to formalize a participatory approach during the conception of a sustainable urban transport project, in a multi-criteria and multi-actors context. The methodology is based on the a priori evaluation of the impacts of a local project, involving stakeholders as soon as the diagnosis phase. This phase aims at identifying groups of actors according to their perception of urban phenomena, their interactions and their stated preferences of evolution. The diagnosis phase leads to the setting-up of a list of common indicators to be evaluated. The choice of alternatives to be studied is the result of the transferability techniques - based on the projects developed in other cities - and the stated preferences of local users. The probability of using the service is evaluated using an aggregated behavioral model that takes into account the fuzzy perception and the indecision of users in a new situation. Changes in the behaviour of the users are taken into account thanks to an indicator of robustness that tests the impact of exogenous parameters on the evolution of the probability of using a service. A traffic micro--simulator aims at assessing the impacts of the various scenarios on traffic, environment and the welfare of citizens– which is monetized. It illustrates the costs and indirect benefits expected with the implementation of project. A compromise solution is proposed: it aims at identifying an alternative that would best satisfy the representatives of the stakeholder groups – and not necessarily the optimal solution in terms of impacts.
|
210 |
Reconstruction statistique 3D à partir d’un faible nombre de projections : application : coronarographie RX rotationnelle / 3D statistical reconstruction from a small number of projections. application : XR rotational coronarographyOukili, Ahmed 16 December 2015 (has links)
La problématique de cette thèse concerne la reconstruction statistique itérative 3D de l'arbre coronaire, à partir d'un nombre très réduit d'angiogrammes coronariens (5 images). Pendant un examen rotationnel d'angiographie RX, seules les projections correspondant à la même phase cardiaque sont sélectionnées afin de vérifier la condition de non variabilité spatio-temporelle de l'objet à reconstruire (reconstruction statique). Le nombre restreint de projections complique cette reconstruction, considérée alors comme un problème inverse mal posé. La résolution d'un tel problème nécessite une procédure de régularisation. Pour ce faire, nous avons opté pour le formalisme bayésien en considérant la reconstruction comme le champ aléatoire maximisant la probabilité a posteriori (MAP), composée d'un terme quadratique de vraisemblance (attache aux données) et un a priori de Gibbs (à priori markovien basé sur une interprétation partielle de l'objet à reconstruire). La maximisation MAP adoptant un algorithme d'optimisation numérique nous a permis d'introduire une contrainte de lissage avec préservation de contours des reconstructions en choisissant adéquatement les fonctions de potentiel associées à l'énergie à priori. Dans ce manuscrit, nous avons discuté en détail des trois principales composantes d'une reconstruction statistique MAP performante, à savoir (1) l'élaboration d'un modèle physique précis du processus d'acquisition, (2) l'adoption d'un modèle à priori approprié et (3) la définition d'un algorithme d'optimisation itératif efficace. Cette discussion nous a conduit à proposer deux algorithmes itératifs MAP, MAP-MNR et MAP-ARTUR-GC, que nous avons testés et évalués sur des données simulées réalistes (données patient issues d'une acquisition CT- 64 multi-barrettes). / The problematic of this thesis concerns the statistical iterative 3D reconstruction of coronary tree from a very few number of coronary angiograms (5 images). During RX rotational angiographic exam, only projections corresponding to the same cardiac phase are selected in order to check the condition of space and time non-variability of the object to reconstruct (static reconstruction). The limited number of projections complicates the reconstruction, considered then as an illness inverse problem. The answer to a similar problem needs a regularization process. To do so, we choose baysian formalism considering the reconstruction as a random field maximizing the posterior probability (MAP), composed by quadratic likelihood terms (attached to data) and Gibbs prior (prior markovian based on a partial interpretation of the object to reconstruct). The MAP maximizing allowed us using a numerical optimization algorithm, to introduce a smoothing constraint and preserve the edges on the reconstruction while choosing wisely the potential functions associated to prior energy. In this paper, we have discussed in details the three components of efficient statistical reconstruction MAP, which are : 1- the construction of precise physical model of acquisition process; 2- the selection of an appropriate prior model; and 3- the definition of an efficient iterative optimization algorithm. This discussion lead us to propose two iterative algorithms MAP, MAP-MNR and MAP-ARTUR-GC, which we have tested and evaluated on realistic simulated data (Patient data from 64-slice CT).
|
Page generated in 0.0381 seconds