Academic literature on the topic 'Inférence basée sur simulation'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Inférence basée sur simulation.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Inférence basée sur simulation":
1
Lemogne, C. "L’imagerie cérébrale fonctionnelle : un outil au service de la psychopathologie ?" European Psychiatry 30, S2 (November 2015): S3—S4. http://dx.doi.org/10.1016/j.eurpsy.2015.09.021.
Abstract:
La psychopathologie est précieuse pour guider l’application de l’imagerie cérébrale fonctionnelle à l’étude des troubles mentaux. En permettant une approche basée sur les processus mentaux plutôt que sur des catégories diagnostiques (par ex. rumination plutôt que dépression), elle offre l’opportunité d’identifier des biomarqueurs susceptibles d’enrichir la nosographie psychiatrique et de renseigner les stratégies diagnostiques et thérapeutiques. En revanche, savoir si l’imagerie cérébrale fonctionnelle peut être un outil au service de la psychopathologie, c’est-à-dire de la compréhension des processus mentaux sous-jacents aux troubles psychiatriques, reste une question controversée. Un intérêt potentiel de l’imagerie cérébrale fonctionnelle pourrait être l’identification de processus mentaux non conscients et inaccessibles à une mesure comportementale. C’est ainsi que la constatation de bases cérébrales communes entre douleur morale et douleur physique a pu donner lieu à des spéculations fascinantes sur l’origine de leur parenté lexicale. Ou encore que certains envisagent de pouvoir distinguer conversion et simulation sur la base de l’activité cérébrale. Mais interpréter cette activité comme témoignant d’un processus mental, raisonnement appelé inférence inverse, pose plusieurs problèmes, que le processus mental soit rapportable ou non. Par exemple, l’activité cérébrale observée peut ne pas être pas spécifique du processus mental en question. Ou alors cette activité cérébrale peut ne pas être définie avec assez de précision. L’ensemble de ces problèmes peut être formalisé dans une perspective bayésienne. En dépit de ces limites, l’inférence inverse est néanmoins un outil heuristique puissant pour susciter des hypothèses secondairement réfutables concernant la nature des processus mentaux et leurs relations (par ex. évocation de l’objet perdu et renforcement lors d’un deuil compliqué). Combinée à des paradigmes expérimentaux de qualité, l’imagerie cérébrale fonctionnelle est donc susceptible d’apporter des connaissances nouvelles à la psychopathologie.
2
Dokic, Jérôme. "L’interprétation ordinaire, entre simulation et méta-représentation." Articles 32, no. 1 (July 7, 2005): 19–37. http://dx.doi.org/10.7202/011061ar.
Abstract:
Résumé Cet essai porte sur quelques aspects de l’opposition entre un modèle perceptif de la communication, selon lequel le témoignage est une source de connaissance directe du fait témoigné, et un modèle inférentiel de la communication, selon lequel le témoignage implique de la part du récepteur une inférence à partir des signes utilisés, des états mentaux de l’émetteur et du reste du contexte. À partir d’une réflexion sur la nature de la capacité de méta-représentation, et sur sa dépendance à l’égard des capacités de perception sociale et de simulation, je montre que l’attribution d’états mentaux souvent complexes à l’émetteur n’empêche pas le fonctionnement d’un mode primitif de communication dans lequel le récepteur hérite directement de l’information transmise par l’émetteur. La compréhension, aussi réflexive soit-elle, reste enracinée dans la tendance naturelle à accepter ce que l’émetteur cherche à nous faire savoir.
3
Feyzioglu, Orhan, and Henri Pierreval. "Une approche stochastique et multicritère basée sur la simulation." Journal of Decision Systems 17, no. 3 (January 2008): 369–85. http://dx.doi.org/10.3166/jds.17.369-385.
4
Orival, Tony. "Formation par simulation et simulation comme méthode qualitative innovante en sociologie." Bulletin of Sociological Methodology/Bulletin de Méthodologie Sociologique 162, no. 1 (April 2024): 91–107. http://dx.doi.org/10.1177/07591063241236064.
Abstract:
L’intention de cet article est de partager une expérience méthodologique basée sur la simulation immersive et de voir comment et à quelles conditions cette dernière peut être utilisée comme une méthode de recherche qualitative innovante en sociologie. Après avoir distingué deux types de simulation – simulation de type I et de type II –, l’utilisation de cette méthode dans un programme de recherche sur les technologies numériques en santé sera exposée, et les coulisses de sa mise en œuvre et de la méthode discutées. Cette méthode est apparue particulièrement pertinente pour avoir accès à une réalité difficile à atteindre autrement et comme un outil fécond pour recueillir des données qualitatives par des voies différentes que l’entretien ou l’observation. Les apports proprement sociologiques de cette méthode sont à considérer et pourraient être discutés, appropriés, et réinvestis dans d’autres enquêtes.
5
Mahfoudi, El-Ahcene, Abderrahmane Gahmousse, Athmane Harizi, Kamel Talbi, and Abdellah Hadjadj. "Simulation numérique de l’écoulement compressible supersonique Application aux tuyères propulsives à combustible liquide hydrogène." Journal of Renewable Energies 15, no. 3 (October 23, 2023): 365–72. http://dx.doi.org/10.54966/jreen.v15i3.327.
Abstract:
Ce travail porte sur la simulation numérique de l’écoulement supersonique adapté dans les tuyères propulsives où le gaz d’essai supposé parfait est le gaz de combustion de l’Hydrogène. Il vise à déterminer les paramètres de l’écoulement Eulérien supersonique dans la tuyère convergente divergente. La méthode numérique utilisée pour la résolution de l’écoulement est basée sur une approche des volumes finis en coordonnées généralisées. L’intégration du système pour les équations de conservation d’Euler s’effectue sur un volume élémentaire quadrilatère. Dans cette étude, le traitement des flux convectifs est effectué en utilisant la méthode de Roe. Pour la discrétisation temporelle des équations, un schéma explicite de type Runge-Kutta du second ordre est utilisé.
6
Gallet, P., J. Rebois, D. T. Nguyen, R. Jankowski, M. Perez, and C. Rumeau. "Formation basée sur la simulation en chirurgie endoscopique endonasale : évaluation du simulateur Cyrano." Annales françaises d'Oto-rhino-laryngologie et de Pathologie Cervico-faciale 138, no. 1 (February 2021): 28–34. http://dx.doi.org/10.1016/j.aforl.2019.10.018.
7
Kamal, A., and S. Bennis. "Effet d'échelle sur la simulation du ruissellement en milieu urbain." Revue des sciences de l'eau 18, no. 2 (April 12, 2005): 225–46. http://dx.doi.org/10.7202/705558ar.
Abstract:
Ce travail consiste en l’élaboration d’une méthodologie systématique qui permet de substituer une modélisation hydraulique simplifiée à une modélisation détaillée d’un réseau d’assainissement. L’approche préconisée est basée sur une analyse multi-paramètre du processus du drainage en milieu urbain. Les paramètres adimensionnels retenus dans cette analyse font intervenir les caractéristiques du bassin versant, les caractéristiques du réseau et celles de la pluie. Pour donner à cette approche un cadre plus général, les auteurs ont mené cette analyse sur des réseaux et des pluies synthétiques couvrant un spectre très large de cas concrets. La méthodologie élaborée a fait l’objet d’une étude de validation sur le bassin No1 de l’arrondissement de Verdun (Montréal). La concordance entre les débits mesurés à l’exutoire du bassin et les débits simulés par cette approche est avantageusement satisfaisante. Les modèles de transformation découlant de cette analyse, permettant le passage d’une modélisation globale à une modélisation détaillée constituent une avancée très significative pour une gestion en temps réel et optimisée des réseaux d’assainissement.
8
Kherris, Sahraoui, Mohammed Makhlouf, Omar Sebbane, and Rachid Chadouli. "Simulation et optimisation énergétique de la combustion isobare des hydrocarbures saturés CnH2n+2, par deux approches de résolution." Journal of Renewable Energies 13, no. 1 (October 25, 2023): 101–8. http://dx.doi.org/10.54966/jreen.v13i1.181.
Abstract:
L’importance de ce travail portera sur l’élaboration d’un programme pour la simulation de la combustion isobare et adiabatique des hydrocarbures saturés CnH2n+2. Deux méthodes illustrent le calcul de la combustion, la première est fondée sur l’annulation des affinités des réactions chimiques considérées au sein des produits de combustion, quant à la deuxième, elle est basée sur le calcul des constantes d’équilibre. Dans cette étude, les produits de la combustion comprennent essentiellement 12 éléments: CO2, H2O, O2, N2, CO, H2, OH, NO, H, O, NO2 et N. Les résultats obtenus restent des valeurs approchées. La première méthode et la deuxième donnent des résultats quantitatif conformes à la réalité quelque soit la richesse du mélange.
9
-MANDIAU, René. "Coordination multi-agent basée sur les jeux : application à la simulation de trafic routier." Revue de l'Electricité et de l'Electronique -, no. 02 (2005): 24. http://dx.doi.org/10.3845/ree.2005.012.
10
Barbosa Aleluia, Iêda Maria, and Karla Carolina Nascimento Cardoso. "Évaluation de l’impact sur les apprentissages des étudiants de leur participation comme acteurs pendant un examen clinique objectif structuré de sémiologie médicale." Pédagogie Médicale 20, no. 3 (2019): 141–46. http://dx.doi.org/10.1051/pmed/2020014.
Abstract:
Contexte : Les examens cliniques objectifs structurés (ECOS), développés au cours des années 1970, sont une méthode pour évaluer les connaissances théoriques et pratiques, en s’appuyant sur la simulation d’un contexte clinique. Objectif : 1) analyser l’impact sur les apprentissages d’étudiants de leur participation en tant qu’acteurs à des ECOS destinés aux étudiants de deuxième année dans le cours de sémiologie médicale I ; 2) documenter la perception des étudiants acteurs sur leur processus d’apprentissage et leur développement personnel. Méthodes : Étude qualitative basée sur l’analyse de contenu des réponses à des questions ouvertes colligées en ligne auprès de 10 étudiants de première année de médecine. Résultats et conclusion : L’analyse des réponses révèle un impact positif sur l’apprentissage des étudiants-acteurs sur le plan cognitif et documente leur satisfaction de ce type d’évaluation.
Dissertations / Theses on the topic "Inférence basée sur simulation":
1
Rouillard, Louis. "Bridging Simulation-based Inference and Hierarchical Modeling : Applications in Neuroscience." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG024.
Abstract:
La neuroimagerie étudie l'architecture et le fonctionnement du cerveau à l'aide de la résonance magnétique (IRM). Pour comprendre le signal complexe observé, les neuroscientifiques émettent des hypothèses sous la forme de modèles explicatifs, régis par des paramètres interprétables. Cette thèse étudie l'inférence statistique : deviner quels paramètres auraient pu produire le signal à travers le modèle.L'inférence en neuroimagerie est complexifiée par au moins trois obstacles : une grande dimensionnalité, une grande incertitude et la structure hiérarchique des données. Pour s'attaquer à ce régime, nous utlisons l'inférence variationnelle (VI), une méthode basée sur l'optimisation.Plus précisément, nous combinons l'inférence variationnelle stochastique structurée et les flux de normalisation (NF) pour concevoir des familles variationnelles expressives et adaptées à la large dimensionnalité. Nous appliquons ces techniques à l'IRM de diffusion et l'IRM fonctionnelle, sur des tâches telles que la parcellation individuelle, l'inférence de la microstructure et l'estimation du couplage directionnel. Via ces applications, nous soulignons l'interaction entre les divergences de Kullback-Leibler (KL) forward et reverse comme outils complémentaires pour l'inférence. Nous démontrons également les capacité de l'inférence variationelle automatique (AVI) comme méthode d'inférence robuste et adaptée à la large dimensionnalité, apte à relever les défis de la modélisation en neuroscienceNeuroimaging investigates the brain's architecture and function using magnetic resonance (MRI). To make sense of the complex observed signal, Neuroscientists posit explanatory models, governed by interpretable parameters. This thesis tackles statistical inference : guessing which parameters could have yielded the signal through the model.Inference in Neuroimaging is complexified by at least three hurdles : a large dimensionality, a large uncertainty, and the hierarchcial structure of data. We look into variational inference (VI) as an optimization-based method to tackle this regime.Specifically, we conbine structured stochastic VI and normalizing flows (NFs) to design expressive yet scalable variational families. We apply those techniques in diffusion and functional MRI, on tasks including individual parcellation, microstructure inference and directional coupling estimation. Through these applications, we underline the interplay between the forward and reverse Kullback-Leibler (KL) divergences as complemen-tary tools for inference. We also demonstrate the ability of automatic VI (AVI) as a reliable and scalable inference method to tackle the challenges of model-driven Neuroscience
2
Amate, Laure. "Apprentissage de modèles de formes parcimonieux basés sur des représentations splines." Phd thesis, Université de Nice Sophia-Antipolis, 2009. http://tel.archives-ouvertes.fr/tel-00456612.
Abstract:
Il est souvent important de trouver une représentation compacte des propriétés morphologiques d'un ensemble d'objets. C'est le cas lors du déplacement de robots autonomes dans des environnements naturels, qui doivent utiliser les objets dispersés dans la région de travail pour naviguer. Cette thèse est une contribution à la définition de formalismes et méthodes pour l'identification de tels modèles. Les formes que nous voulons caractériser sont des courbes fermées correspondant aux contours des objets détectés dans l'environnement, et notre caractérisation des leurs propriétés sera probabiliste. Nous formalisons la notion de forme en tant que classes d'équivalence par rapport à des groupes d'opérateurs géométriques basiques, introduisant deux approches : discrète et continue. La théorie discrète repose sur l'existence d'un ensemble de points remarquables et est sensible à leur sélection. L'approche continue, qui représente une forme par des objets de dimension infinie, correspond mieux à la notion intuitive de forme mais n'est pas parcimonieuse. Nous combinons les avantages des deux approches en représentant les formes à l'aide de splines : fonctions continues, flexibles, définies par un ensemble de noeuds et de points de contrôle. Nous étudions d'abord l'ajustement d'un modèle spline à une courbe, comme la recherche d'un compromis entre la parcimonie de la représentation et sa fidélité aux données, approche classique dans le cadre de familles imbriquées de dimension croissante. Nous passons en revue les méthodes utilisées dans la littérature, et nous retenons une approche en deux étapes, qui satisfait nos pré-requis : détermination de la complexité du modèle (par une chaîne de Markov à sauts réversibles), suivie de l'estimation des paramètres (par un algorithme de recuit simulé). Nous discutons finalement le lien entre l'espace de formes discrètes et les représentations splines lorsque l'on prend comme points remarquables les points de contrôle. Nous étudions ensuite le problème de modélisation d'un ensemble de courbes, comme l'identification de la distribution des paramètres de leur représentation par des splines où les points de contrôles et les noeuds sont des variables latentes du modèle. Nous estimons ces paramètres par un critère de vraisemblance marginale. Afin de pouvoir traiter séquentiellement un grand nombre de données nous adaptons une variante de l'algorithme EM proposée récemment. Le besoin de recourir à des approximations numériques (méthodes de Monte-Carlo) pour certains calculs requis par la méthode EM, nous conduit à une nouvelle variante de cet algorithme, proposée ici pour la première fois.
3
Randrianasolo, Toky. "Inférence basée sur le plan pour l'estimation de petits domaines." Thesis, Paris Est, 2013. http://www.theses.fr/2013PEST0099.
Abstract:
La forte demande de résultats à un niveau géographique fin, notamment à partir d'enquêtes nationales, a mis en évidence la fragilité des estimations sur petits domaines. Cette thèse propose d'y remédier avec des méthodes spécifiques basées sur le plan de sondage. Celles-ci reposent sur la constructionde nouvelles pondérations pour chaque unité statistique. La première méthode consiste à optimiser le redressement du sous-échantillon d'une enquête inclusdans un domaine. La deuxième repose sur la construction de poids dépendant à la fois des unités statistiques et des domaines. Elle consiste à scinder les poids de sondage de l'estimateur global tout en respectant deux contraintes : 1/ la somme des estimations sur toute partition en domaines est égale à l'estimation globale ; 2/ le système de pondération pour un domaine particulier satisfait les propriétés de calage sur les variables auxiliaires connues pour le domaine. L'estimateur par scission ainsi obtenu se comporte de manière quasi analogue au célèbre estimateur blup (meilleur prédicteur linéaire sans biais). La troisième méthode propose une réécriture de l'estimateur blup sous la forme d'un estimateur linéaire homogène, en adoptant une approche basée sur le plan de sondage, bien que l'estimateur dépende d'un modèle. De nouveaux estimateurs blup modifiés sont obtenus. Leur précision, estimée par simulation avec application sur des données réelles, est assez proche de celle de l'estimateur blup standard. Les méthodes développées dans cette thèse sont ensuite appliquées à l'estimation d'indicateurs de la mobilité locale à partir de l'Enquête Nationale sur les Transports et les Déplacements 2007-2008. Lorsque la taille d'un domaine est faible dans l'échantillon, les estimations obtenues avec la première méthode perdent en précision, alors que la précision reste satisfaisante pour les deux autres méthodesThe strong demand for results at a detailed geographic level, particularly from national surveys, has raised the problem of the fragility of estimates for small areas. This thesis addresses this issue with specific methods based on the sample design. These ones consist of building new weights for each statistical unit. The first method consists of optimizing the re-weighting of a subsample survey included in an area. The second one is based on the construction of weights that depend on the statistical units as well as the areas. It consists of splitting the sampling weights of the overall estimator while satisfying two constraints : 1/ the sum of the estimates on every partition into areas is equal to the overall estimate ; 2/ the system of weights for a given area satisfies calibration properties on known auxiliary variables at the level of the area. The split estimator thus obtained behaves almost similarly as the well-known blup (best linear unbiased predictor) estimator. The third method proposes a rewriting of the blup estimator, although model-based, in the form of a homogenous linear estimator from a design-based approach. New modified blup estimators are obtained. Their precision, estimated by simulation with an application to real data, is quite close to that of the standard blup estimator. Then, the methods developed in this thesis are applied to the estimation of local mobility indicators from the 2007-2008 French National Travel Survey. When the size of an area is small in the sample, the estimates obtained with the first method are not precise enough whereas the precision remains satisfactory for the two other methods
4
Hernandez, Quintero Angelica. "Inférence statistique basée sur les processus empiriques dans des modèles semi-paramétriques de durées de vie." Toulouse 3, 2010. http://thesesups.ups-tlse.fr/1201/.
Abstract:
L'analyse statistique de durées de vie censurées intervient dans de nombreuses disciplines, comme la médecine, la fiabilité, la criminologie, la finance, l'ingénierie. Chacun de ces domaines fournit des exemples de situations où: i) l'évènement observé est dû à une cause parmi plusieurs causes en compétition, ii) l'évènement ne peut être observé que pour une fraction, inconnue de l'analyste, de sujets "susceptibles". On parle respectivement de durées de vie en présence de risques concurrents, et de durées de vie en présence d'une fraction immune. Les problèmes posés pour l'analyse statistique de modèles de durées en présence de ces deux types de données incluent la construction d'estimateurs, l'étude de leurs propriétés asymptotiques (consistance, normalité asymptotique, efficacité, estimation de la variance asymptotique), et leur implémentation. Dans ce travail, nous nous intéressons à ce type de problèmes pour deux modèles de régression semi-paramétriques de durées de vie. Nous considérons successivement un modèle de mélange semi-paramétrique basé sur le modèle à risques proportionnels de Cox, puis le modèle de régression semi-paramétrique de transformation linéaire pour l'étude de durées de vie en présence d'une fraction immune. Nous construisons des estimateurs et établissons leurs propriétés asymptotiques, en utilisant des outils issus de la théorie des processus empiriques. Des études de simulation sont également menéesSurvival data arise from disciplines such as medicine, criminology, finance and engineering amongst others. In many circumstances the event of interest can be classified in several causes of death or failure and in some others the event can only be observed for a proportion of "susceptibles". Data for these two cases are known as competing risks and long-term survivors, respectively. Issues relevant to the analysis of these two types of data include basic properties such as the parameters estimation, existence, consistency and asymptotic normality of the estimators, and their efficiency when they follow a semiparametric structure. The present thesis investigates these properties in well established semiparametric formulations for the analysis of both competing risks and long-term survivors. It presents an overview of mathematical tools that allow for the study of these basic properties and describes how the modern theory of empirical processes and the theory of semiparametric efficiency facilitate relevant proofs. Also, consistent variance estimate for both the parametric and semiparametric components for the two models are presented. The findings of this research provide the theoretical basis for obtaining inferences with large samples, the calculation of confidence bands and hypothesis testing. The methods are illustrated with data bases generated through simulations
5
Chermain, Xavier. "Simulation d'effets aérodynamiques et hydrodynamiques basée sur une méthode lagrangienne." Mémoire, Université de Sherbrooke, 2016. http://hdl.handle.net/11143/8391.
Abstract:
Ce mémoire présente une nouvelle méthode pour simuler de l'air en interaction avec des solides en se basant sur le modèle particulaire Smoothed Particle Hydrodynamics (SPH). Après avoir rappelé les bases de SPH ainsi que ses variantes incompressibles WCSPH et PCISPH pour simuler de l'eau, nous présentons un modèle de simulation d'air réaliste permettant de simuler des effets aérodynamiques. Par exemple nous arrivons à faire léviter une balle dans un flux d'air grâce à une gestion des interactions air-solide dans les deux sens. Nous proposons aussi une initialisation simple et rapide pour échantillonner rapidement l'air avec des particules SPH tout en prenant en compte les objets solides de la scène 3D. La technique consiste à échantillonner le domaine en se basant sur une grille uniforme puis à abaisser progressivement la densité cible appellé aussi densité au repos poussant les particules d'air à occuper tout l'espace de la simulation. Cette diminution s'arrête lorsque la densité cible vaut la densité moyenne des particules, c'est-à-dire la somme des densités des particules divisée par le nombre total de particules de fluides. Les résultats obtenus ont été comparés avec des expériences réelles dans le but de valider notre modèle.
6
Georgelin, Philippe. "Vérification formelle de systèmes digitaux synchrones, basée sur la simulation symbolique." Université Joseph Fourier (Grenoble ; 1971-2015), 2001. http://www.theses.fr/2001GRE10126.
Abstract:
Pour satisfaire les exigences du marche, les outils de verification formelle doivent permettre aux concepteurs de verifier des descriptions complexes et de raisonner sur des domaines de valeurs grands ou infinis. Il est necessaire de se concentrer sur la correction d'algorithmes et sur les proprietes mathematiques essentielles des blocks a concevoir. La plupart des outils de verification formelle comme les model-cherckers sont restrictifs car ils ne peuvent travailler avec des niveaux plus haut que le rtl, et ils sont egalement limites sur le nombre total d'etats. Les demonstrateurs de theoremes ne souffrent pas de ces restrictions, mais ne sont pas automatiques et requierent des methodes pour faciliter leur utilisation systematique. Cette these aborde la verification formelle de descriptions vhdl au moyen du demonstrateur acl2. Nous proposons un environnement combinant simulation symbolique et demonstrateur de theoremes pour l'analyse formelle de descriptions de haut niveau d'abstraction. Plus precisement, notre approche consiste a developper des methodes - pour formaliser un sous-ensemble de vhdl, - pour diriger le demonstrateur pour effectuer de la simulation symbolique - pour utiliser ces resultats pour les preuves. Un outil a ete developpe combinant des traducteurs (vhdl vers acl2), des moteurs de simulation symbolique et de preuves, et une interface utilisateur. Les definitions et les theoremes sont generes automatiquement. Un meme modele genere est ainsi utilise pour toutes les taches. Nous aspirons a fournir au concepteur une methodologie pour inserer la verification formelle le plus tot possible dans le cycle de conception. Le demonstrateur est utilise pour des manipulations symboliques et pour prouver qu'ils sont equivalents a une fonction specifiee. Le resultat de cette these est de rendre la technique de demonstration de theoremes acceptable dans une equipe de concepteur du point de vue de la facilite d'utilisation, et de diminuer le temps de verification.
7
Bouchard, Jocelyn. "Commande prédictive basée sur la simulation. Application à la flottation en colonne." Thesis, Université Laval, 2007. http://www.theses.ulaval.ca/2007/24892/24892.pdf.
Abstract:
Les structures de commande prédictive (MPC) utilisant des simulateurs dynamiques comme modèles de procédé ne font pas légion. Cette rareté s'explique en grande partie par la difficulté de résolution des problèmes d'optimisation résultants. En effet, les algorithmes de programmation non linéaire ne sont pas toujours adaptés pour atteindre efficacement l'optimum des fonctions basées sur des modèles physiques, à plus forte raison encore si les équations utilisées sont inconnues (modèles de type boîte noire).
C'est en s'appuyant sur ce constat qu'une nouvelle approche pour la MPC est proposée. Le principe consiste à substituer la minimisation explicite de la fonction objectif par une simulation du système en boucle fermée pour solutionner de façon généralement sous-optimale le problème de contrôle en boucle ouverte. Cette nouvelle méthode permet d'exploiter plusieurs des avantages de la commande prédictive sans être limitée par la complexité des modèles. Deux algorithmes sont présentés: décentralisé et découplé. Bien qu'avantageuse sur le plan du réglage, la structure découplée ne permet pas la même liberté que la structure décentralisée pour le choix de l'horizon de prédiction qui doit généralement être du même ordre de grandeur que le temps de réponse en boucle ouverte.
Le développement d'une structure de simulation du comportement dynamique de la flottation en colonne, un procédé de séparation des minéraux, représente la seconde contribution de cette thèse. Une grande lacune des simulateurs proposés à ce jour demeure que même lorsque les équations différentielles de conservation sont utilisées, les variations dynamiques du niveau de pulpe ne sont jamais considérées. La structure présentée ici s'intéresse à la simulation des mouvements des phases présentes et de leurs effets sur le niveau de pulpe et sur les débits de sortie.
Par ailleurs, comme bien d'autres procédés minéralurgiques, la flottation en colonne a peu bénéficié des avancées en contrôle de procédés. C'est donc sur ce terrain que les deux thèmes étudiés se rencontrent lors d'une mise à l'épreuve conjointe. L'étude de cas proposée s'intéresse à l'asservissement de trois variables d'opération critiques pour le bon fonctionnement du procédé à savoir, la concentration d'air dans la zone de pulpe, le flux net d'eau à l'interface et le niveau de pulpe à l'aide d'un contrôleur prédictif basé sur la simulation.Applications of dynamic simulators for model predictive controllers design are rather scarce in the litterature. The complexity of solving the resulting optimization problems may explain this lack of popularity. In fact, nonlinear programming algorithms are not always well suited to efficiently reach the optimum of a fundamentaly-based cost function. The situation is even worse when the equations used in the model are unknown by the control designers (black box models). The simulation-based model predictive controller is an alternative formulation to perform model predictive control (MPC) without making use of any explicit optimization solver, but rather based on an easy-to-compute closed-loop simulation. The resulting scheme generally provides a sub-optimal solution and benefits from many interesting features of conventional MPC without being restricted by the model complexity. Two algorithms are proposed: decentralized and decoupled. The decentralized simulation structure allows a flexible setting of the prediction horizon (Hp) that is not possible in the decoupled case, easier to tune, but where Hp must generally be in the same order of magnitude that the system settling time. A second contribution of this thesis is the development of a framework for the dynamic simulation of a mineral separation process: column flotation. Until now, most of the proposed models or simulators were restricted to the steady-state behavior. When dynamic mass-balance equations were considered, a constant pulp level during the simulation was always assumed. The presented framework aims to simulate water, solids and gas motion and their effect on the pulp level and output flow rates. As it often happens in mineral processing, the column flotation process has not benefited from advanced control techniques. This is where the two previous subjects merge. The proposed simulation framework is used to design a simulation-based model predictive controller for process variables having a strong influence on metallurgical results (grade and recovery). A case study is presented where the pulp level, bias and air hold-up in the pulp zone are kept within an acceptable operating region.
8
Soho, Komi Dodzi Badji. "Simulation multi-échelle des procédés de fabrication basée sur la plasticité cristalline." Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0037.
Abstract:
Dans cette thèse, deux méthodes de couplage sont proposées pour la simulation multi-échelle des procédés de mise en forme. Dans la première partie, une procédure simplifiée (couplage indirect) est adoptée pour coupler les codes éléments finis (Abaqus et LAM3) au modèle polycristallin avec un schéma de transition autocohérente basée sur le comportement élastoplastique du monocristal écrit dans le formalisme des grandes déformations. Cette procédure simplifiée consiste à lier le modèle polycristallin avec l'analyse EF par l'extraction de l'histoire de l'incrément de déformation et de contrainte macroscopique, obtenue à partir d'une simulation EF préliminaire avec une loi phénoménologique, et à l'utiliser comme trajet de chargement dans le modèle polycristallin. Cette méthode est appliquée pour la simulation multi-échelle du procédé de skin-pass. Le suivi du trajet de chargement extrait dans la demi-épaisseur de la tôle a permis de prédire l'évolution des grandeurs physiques associées au modèle de plasticité en particulier la texture cristallographique, la texture morphologique et l'écrouissage. Dans la seconde partie de cette thèse, un modèle polycristallin élastoplastique du type autocohérent en petites déformations est couplé au code EF Abaqus via la routine utilisateur UMAT. Ce couplage (dit couplage direct) consiste à utiliser la théorie de la plasticité cristalline comme loi de comportement à chaque point d'intégration du maillage EF. Le polycristal est représenté par un ensemble de N monocristaux. Chaque fois que le code EF a besoin d'information sur le comportement mécanique aux points d'intégration de chaque EF, le modèle polycristallin est appelé. Pour valider ce couplage développé, nous avons effectué des cas tests de simulation de trajets rhéologiques. Les résultats issus de ce couplage ont été validés avec des modèles de référence. À la différence des modèles phénoménologiques, ce couplage permet non seulement d'avoir des informations sur le comportement macroscopique de la structure mais aussi d'obtenir des informations sur l'état de la microstructure du matériauIn this thesis, two coupling methods are proposed for the multiscale simulation of forming processes. In the first part, a simplified procedure (indirect coupling) is adopted to couple the finite element codes (Abaqus and LAM3) with a polycrystalline selfconsistent model based on the large strain elastoplastic behavior of single crystals. This simplified procedure consists in linking the polycrystalline model with the FE analysis by extracting the history of the increment of macroscopic strain and stress, obtained from a preliminary FE simulation with a phenomenological law, and then using it as loading path prescribed to the polycrystalline model. This method is applied to multiscale simulation of skin-pass processes. By following on the loading path extracted at the halfthickness of the sheet, we can predict the evolution of some physical parameters associated with the plasticity model, in particular the crystallographic texture, the morphological texture and hardening. In the second part on this thesis, a small strain version of the elastoplastic polycristalline self-consistent model is coupled to the Abaqus FE code via the user material subroutine UMAT. This coupling (called direct coupling) consists in using crystal plasticity theory as constitutive law at each integration point of the FE mesh. The polycristal is represented by a set of N single crystals. Each time the FE code needs information on the mechanical behavior at the integration points considered, the full polycrystalline constitutive model is called. In order to validate this coupling, simulations of simple mechanical tests have been conducted. The results of this coupling have been validated through comparison with reference models. Unlike phenomenological models, this coupling provides not only information on the overall macroscopic response of the structure, but also important information related to its microstructure
9
Navarrete, Gutierrez Tomas. "Une architecture de contrôle de systèmes complexes basée sur la simulation multi-agent." Phd thesis, Université de Lorraine, 2012. http://tel.archives-ouvertes.fr/tel-00758118.
Abstract:
Les systèmes complexes sont présents partout dans notre environnement : internet, réseaux de distribution d'électricité, réseaux de transport. Ces systèmes ont pour caractéristiques d'avoir un grand nombre d'entités autonomes, des structures dynamiques, des échelles de temps et d'espace différentes, ainsi que l'émergence de phénomènes. Ce travail de thèse se focalise sur la problématique du contrôle de tels systèmes. Il s'agit de déterminer, à partir d'une perception partielle de l'état du système, quelle(s) actions(s) effectuer pour éviter ou au contraire favoriser certains états globaux du système. Cette problématique pose plusieurs questions difficiles : pouvoir évaluer l'impact au niveau collectif d'actions appliqués au niveau individuel, modéliser la dynamique d'un système hétérogène (plusieurs comportements différents en interaction), évaluer la qualité des estimations issues de la modélisation de la dynamique du système. Nous proposons une architecture de contrôle selon une approche " equation-free ". Nous utilisons un modèle multi-agents pour évaluer l'impact global d'actions de contrôle locales avant d'appliquer la plus pertinente. Associée à cette architecture, une plateforme a été développée pour confronter ces idées à l'expérimentation dans le cadre d'un phénomène simulé de " free-riding " dans les réseaux d'échanges de fichiers pair à pair. Nous avons montré que cette approche permettait d'amener le système dans un état où une majorité de pairs partagent alors que les conditions initiales (sans intervention) feraient évoluer le système vers un état où aucun pair ne partage. Nous avons également expérimenté avec différentes configurations de l'architecture pour identifier les différents moyens d'améliorer ses performances.
10
Mayet, Clément. "Simulation énergétique flexible d’un carrousel de métros basée sur la représentation énergétique macroscopique." Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10013/document.
Abstract:
La sobriété énergétique des systèmes de transport est primordiale afin de limiter leur impact environnemental. Ainsi les transports en communs électriques, tels que les métros ou tramways, sont fortement sollicités dans les zones urbaines. Diverses solutions innovantes sont apparues récemment afin d’accroître d’avantage leur efficacité énergétique (systèmes de stockage d’énergie, stations d’alimentation réversibles, etc.). Cependant, au vu de la complexité des études de dimensionnement et d’optimisation de ces systèmes, les outils de simulation numérique sont devenus indispensables. Or, ces outils sont particulièrement délicats à développer en raison des non-linéarités (non-réversibilité des stations d’alimentation), des non-stationnarités (mouvement des rames), et des fortes interactions énergétiques qui existent au sein des systèmes ferroviaires. Cette thèse propose alors un nouvel outil de simulation de carrousel de métros basé sur le formalisme REM (Représentation Energétique Macroscopique). Ce formalisme a pour volonté de structurer les modèles mis en jeux suivant les propriétés énergétiques du système. Il conduit à des approches de simulation « forward » avec un usage exclusif de la causalité intégrale. De ce fait, le programme de simulation proposé est issu d’une approche innovante et permet d’avoir un nouveau regard sur le système de carrousel de métros. Ces approches permettent notamment d’accroitre la flexibilité du programme de simulation tout en garantissant des résultats de simulation physiques. De plus, cette thèse a une volonté affichée de valider expérimentalement l’ensemble des modèles développésTransportation systems have to be efficient in terms of energy in order to limit their environmental impact. Electric public transportation, such as subways or tramways, is thus strongly requested in urban areas. Various innovative solutions have emerged recently to increase their energy efficiency (energy storage systems, reversible traction power substations, etc.). However, due to the complexity of the development and optimization of such systems, numerical simulation tools are essential. Nevertheless, simulators of railway systems are particularly delicate to develop due to non-linearity (non-reversibility of traction power substations), non-stationary (displacement of trains), and multiple energetic interactions which exists within these kind of systems. This PhD thesis then proposes a new simulation tool of subway system based on EMR formalism (Energetic Macroscopic Representation). This formalism structures the models according to the energetic properties of the system. It leads to a forward simulation approach with exclusive use of the integral causality. In that way, the proposed simulation tool is stemming from an innovative approach and allows a new vision of subway systems. These approaches allow especially the increasing of the simulator flexibility and the obtaining of physical simulation results. Moreover, this PhD thesis has the particularity to experimentally validate all the developed models
Book chapters on the topic "Inférence basée sur simulation":
1
Leclet, D., and G. Weidenfeld. "Un modèle de simulation basée sur une représentation de type “objets — règles” pour l'enseignement des métiers de ventes." In Intelligent Tutoring Systems, 502–11. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61327-7_149.
Conference papers on the topic "Inférence basée sur simulation":
1
Aoues, Y., A. Makhloufi, P. Pougnet, and A. El-Hami. "Méthodologie probabiliste basée sur la simulation pour l’évaluation de la fiabilité des systèmes mécatroniques embarqués." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56163.