Estimation bayésienne des paramètres d un modèle de culture implémenté sous VLE



Documents pareils
Perspectives d applications de la télédétection en grandes culture à court et moyen terme dans le Sud-Ouest

MCMC et approximations en champ moyen pour les modèles de Markov

CarrotAge, un logiciel pour la fouille de données agricoles

Soutenance de stage Laboratoire des Signaux et Systèmes

Raisonnement probabiliste

1 Comment faire un document Open Office /writer de façon intelligente?

Transmission d informations sur le réseau électrique

Les clients puissance cube

Analyse stochastique de la CRM à ordre partiel dans le cadre des essais cliniques de phase I

Une gamme d outils qui s étoffe

Introduction au datamining

Méthodes de Simulation

(51) Int Cl.: H04L 29/06 ( ) G06F 21/55 ( )

APPORT DES RESEAUX BAYESIENS DANS LA PREVENTION DE LA DELINQUANCE

chargement d amplitude variable à partir de mesures Application à l approche fiabiliste de la tolérance aux dommages Modélisation stochastique d un d

Séminaire Open Data en Agriculture : état des lieux et perspectives. 12 novembre 2013 à Paris. Introduction

AGROBASE : un système de gestion de données expérimentales

AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES

Modèles à Événements Discrets. Réseaux de Petri Stochastiques

Ekoconstruct / Catalogue ek construct

Modélisation du comportement habituel de la personne en smarthome

Grandes cultures Engrais liquides ou granulaires?

Machines virtuelles Cours 1 : Introduction

Influence du changement. agronomiques de la vigne

Quantification des Risques

ÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab

TP N 57. Déploiement et renouvellement d une constellation de satellites

Retour d expériences avec UML

Texte Agrégation limitée par diffusion interne

Modélisation multi-agents - Agents réactifs

Inférence d un réseau bayésien augmenté visant à confronter :

Cours 1 : La compilation

La survie nette actuelle à long terme Qualités de sept méthodes d estimation

Filtrage stochastique non linéaire par la théorie de représentation des martingales

Utilisation de l ordinateur dans la rédaction des rapports de laboratoire. Département de physique. Bruno Binet Patrick Labrecque

$SSOLFDWLRQGXNULJHDJHSRXUOD FDOLEUDWLRQPRWHXU

BANC D ETALONNAGE EN TEMPERATURE

Chapitre VI - Méthodes de factorisation

Exclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011

Master d Informatique M1 Université Paris 7 - Denis Diderot Travail de Recherche Encadré Surf Bayesien

Web Science. Master 1 IFI. Andrea G. B. Tettamanzi. Université de Nice Sophia Antipolis Département Informatique andrea.tettamanzi@unice.

APPROCHE SEMI-MARKOVIENNE POUR LA MODÉLISATION DE STRATÉGIES DE MAINTENANCE : APPLICATION À LA PRÉVENTION DE RUPTURE DU RAIL

Modélisation aléatoire en fiabilité des logiciels

(Third-Man Attack) PASCAL BONHEUR PASCAL 4/07/2001. Introduction. 1 Domain Name Server. 2 Commandes DNS. 3 Hacking des serveurs DNS

TABLE DES MATIÈRES CHAPITRE I. Les quanta s invitent

UE Programmation Impérative Licence 2ème Année

Couplage efficace entre Optimisation et Simulation stochastique Application à la maintenance optimale d une constellation de satellites

Chapitre 5 : Flot maximal dans un graphe

2. MAQUETTAGE DES SOLUTIONS CONSTRUCTIVES. 2.2 Architecture fonctionnelle d un système communicant.

CONCOURS D ENTREE A L ECOLE DE 2007 CONCOURS EXTERNE. Cinquième épreuve d admissibilité STATISTIQUE. (durée : cinq heures)

Rétablissement d un réseau cellulaire après un désastre

Une dérivation du paradigme de réécriture de multiensembles pour l'architecture de processeur graphique GPU

CSI351 Systèmes d exploitation Instructions pour rouler Linux avec Virtual PC dans la salle de labo 2052

Statistique Bayésienne

APPEL A PROJETS FEDER QUARTIER DEMONSTRATEUR BAS CARBONE. Programme Opérationnel FEDER

Exemple de projet et réseau: modélisation et simulation des systèmes socio-environnementaux

Capacité d un canal Second Théorème de Shannon. Théorie de l information 1/34

Des réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov

La base de données des applications thématiques faites avec des données IGCS. MILLET Florent, SCHNEBELEN Nathalie, SCHEURER Olivier

Tests de SlipStream sur les plateformes et : vers la. Vers la fédération du Cloud computing

De la mesure à l analyse des risques

ASPIB Approche Systémique pour appréhender les communautés de bioagresseurs : application à la Protection Intégrée du Blé

Principe de symétrisation pour la construction d un test adaptatif

NOTE SUR LA MODELISATION DU RISQUE D INFLATION

Action : Mettre en place des outils d accompagnement technico-économique en matière de pratiques culturales

Les risques liés à l activité de l entreprise : quels outils pour les identifier?

TP4 : Installer configurer un contrôleur de domaine

AC AB. A B C x 1. x + 1. d où. Avec un calcul vu au lycée, on démontre que cette solution admet deux solutions dont une seule nous intéresse : x =

Chapitre 3. Algorithmes stochastiques. 3.1 Introduction

Programmation linéaire

Repérage de l artillerie par le son.

Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche

Les audits de l infrastructure des SI

Virtual Box Mettez un PC dans votre... PC

Journées PERF-RV Octobre B. Arnaldi

Un modèle stochastique du taux d intérêt implicite en microcrédit

Bio-Rad Laboratories CONTRÔLE DE QUALITÉ. Le logiciel de Bio-Rad pour une gestion experte du contrôle de qualité

Contents. 1 Introduction Objectifs des systèmes bonus-malus Système bonus-malus à classes Système bonus-malus : Principes

Une méthode de classification supervisée sans paramètre pour l apprentissage sur les grandes bases de données

UFR Sciences Fondamentales et Appliquées Université de Poitiers. Se réorienter à l UFR Sciences Fondamentales et Appliquées en janvier 2013

Commission des Recherches Bovines

FICHE UE Licence/Master Sciences, Technologies, Santé Mention Informatique

Mettre en oeuvre l authentification forte. Alain ROUX Consultant sécurité

Nouveau Barème W.B.F. de points de victoire 4 à 48 donnes

Analyse de la variance Comparaison de plusieurs moyennes

Plus courts chemins, programmation dynamique

Résonance Magnétique Nucléaire : RMN

Nouveaux enjeux de recherche en sécurité routière liés à l'automatisation des véhicules : conséquences sur l'activité de conduite

Saisie des chauffe-eau thermodynamiques à compression électrique

La gestion intégrée des produits résiduaires organiques de la micro-régionouest de la Réunion Etat d avancement du projet

Qu est-ce qu une probabilité?

TSTI 2D CH X : Exemples de lois à densité 1

Pré-conditions : Evénement déclencheur : le client souhaite un virement. Description du déroulement du cas : Description des Use cases

Value at Risk. CNAM GFN 206 Gestion d actifs et des risques. Grégory Taillard. 27 février & 13 mars 20061

Cours d initiation à la programmation en C++ Johann Cuenin

ELEC2753 Electrotechnique examen du 11/06/2012

Note de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique

Exo7. Probabilité conditionnelle. Exercices : Martine Quinio

Utilisation du Cloud StratusLab dans le cadre d application astroparticule à l APC

Évaluation et implémentation des langages

Transcription:

Estimation bayésienne des paramètres d un modèle de culture implémenté sous VLE Arnaud Bensadoun François Brun (ACTA), Philippe Debaeke (INRA), Daniel Wallach (INRA), Luc Champolivier (CETIOM), Emmanuelle Mestries (CETIOM), Jean-Pierre Palleau (CETIOM) Séminaire interne MIAJ INRA MIAJ AGIR A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 1 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 2 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 3 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 4 / 45

Définitions Multi-Modélisation Un multi-modèle est un modèle qui rassemble plusieurs paradigmes ou formalismes dans sa réalisation. Augmente de la puissance descriptive du modèle Introduit la notion de couplage La multi-modélisation est l ensemble des concepts, outils et techniques de construction de multi-modèles. Comment coupler des modèles hétérogènes? Coupler des représentations de la dynamique des sous-systèmes Intégration des notions de temps, d espace, d états et de transition Directions possibles Co-simulation : chaque sous-modèle a son propre simulateur. La spécification des sous-systèmes dans un formalisme unique : Ré-écriture de tous les sous-systèmes dans le même formalisme. A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 5 / 45

Définitions Multi-Modélisation Un multi-modèle est un modèle qui rassemble plusieurs paradigmes ou formalismes dans sa réalisation. Augmente de la puissance descriptive du modèle Introduit la notion de couplage La multi-modélisation est l ensemble des concepts, outils et techniques de construction de multi-modèles. Comment coupler des modèles hétérogènes? Coupler des représentations de la dynamique des sous-systèmes Intégration des notions de temps, d espace, d états et de transition Directions possibles Co-simulation : chaque sous-modèle a son propre simulateur. La spécification des sous-systèmes dans un formalisme unique : Ré-écriture de tous les sous-systèmes dans le même formalisme. A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 5 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 6 / 45

DEVS DEVS : Un formalisme de modélisation et de simulation de bas niveau. DEVS : est un formalisme à événements discrets propose un ensemble d algorithmes : les simulateurs abstraits où les modèles sont composés d états et de fonctions de transitions d états propose une approche modulaire et hiérarchique a une propriété importante : un modèle couplé possède les mêmes propriétés qu un modèle atomique les formalismes de systèmes dynamiques peuvent être traduits en DEVS (Source: Gauthier Quesnel) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 7 / 45

DEVS Les modèles atomiques et couplés M les modèles atomiques, N la hiérarchie de modèles { M = X, Y, S, δ int, δ ext, δ con, τ, λ N = X, Y, D, {M D }, C i,j (Source: Gauthier Quesnel) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 8 / 45

Multi-modélisation Un système (ici une exploitation) modélisé sous la forme de sous-système d équations aux différences (un ensemble de parcelles) Un système décisionnel modélisé sous la forme d un automate à état (quand semer? quand irriguer? quand récolter? etc.) Question Comment les coupler dans un simulateur classique? (Source: Gauthier Quesnel) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 9 / 45

Multi-modélisation Comment les coupler dans un simulateur classique transformer le module de décision en équation aux différences? réalisation d un couplage informatique? Résultats Une troisième possibilité : utiliser un formalisme commun, DEVS (Source: Gauthier Quesnel) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 10 / 45

Multi-modélisation L apport de DEVS : tout formalisme peut-être traduit en DEVS : (Source: Gauthier Quesnel) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 11 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 12 / 45

VLE L environnement de laboratoire virtuel VLE : Virtual Laboratory Environment VLE est: Pour l INRA (surtout les départements MIA et EA) : Un environnement de multi-modélisation, de simulation et d analyse de systèmes dynamiques complexes. Pour Gauthier Quesnel (son concepteur, développeur) : Une implémentation plutôt réussie des simulateurs DEVS :) Pour moi (un utilisateur): Un logiciel libre, gratuit et utile pour résoudre mes problèmes. Une équipe de développement à l écoute des besoins et réactive! A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 13 / 45

VLE L environnement de laboratoire virtuel VLE : Virtual Laboratory Environment VLE est: Pour l INRA (surtout les départements MIA et EA) : Un environnement de multi-modélisation, de simulation et d analyse de systèmes dynamiques complexes. Pour Gauthier Quesnel (son concepteur, développeur) : Une implémentation plutôt réussie des simulateurs DEVS :) Pour moi (un utilisateur): Un logiciel libre, gratuit et utile pour résoudre mes problèmes. Une équipe de développement à l écoute des besoins et réactive! A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 13 / 45

VLE L environnement de laboratoire virtuel VLE : Virtual Laboratory Environment VLE est: Pour l INRA (surtout les départements MIA et EA) : Un environnement de multi-modélisation, de simulation et d analyse de systèmes dynamiques complexes. Pour Gauthier Quesnel (son concepteur, développeur) : Une implémentation plutôt réussie des simulateurs DEVS :) Pour moi (un utilisateur): Un logiciel libre, gratuit et utile pour résoudre mes problèmes. Une équipe de développement à l écoute des besoins et réactive! A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 13 / 45

VLE L environnement de laboratoire virtuel VLE : Virtual Laboratory Environment VLE est: Pour l INRA (surtout les départements MIA et EA) : Un environnement de multi-modélisation, de simulation et d analyse de systèmes dynamiques complexes. Pour Gauthier Quesnel (son concepteur, développeur) : Une implémentation plutôt réussie des simulateurs DEVS :) Pour moi (un utilisateur): Un logiciel libre, gratuit et utile pour résoudre mes problèmes. Une équipe de développement à l écoute des besoins et réactive! A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 13 / 45

R-VLE La passerelle entre R et VLE Définitions RVLE est un paquet pour le logiciel R utilisable sous Windows et GNU/Linux. Il utilise une communication traditionnelle pour R, i.e via une bibliothèque dynamique :portabilité, efficacité Il permet : Lecture des fichiers vpz Modification des conditions initiales des modèles Lancement des simulations Récupération des résultats sous forme d objet R : matrices ou dataframes Suffisant pour estimer les paramètres d un modèle implémenté sous VLE tout en profitant des outils statistiques (RNG, test, coda,... ) déjà implémentés sous R! A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 14 / 45

R-VLE La passerelle entre R et VLE Définitions RVLE est un paquet pour le logiciel R utilisable sous Windows et GNU/Linux. Il utilise une communication traditionnelle pour R, i.e via une bibliothèque dynamique :portabilité, efficacité Il permet : Lecture des fichiers vpz Modification des conditions initiales des modèles Lancement des simulations Récupération des résultats sous forme d objet R : matrices ou dataframes Suffisant pour estimer les paramètres d un modèle implémenté sous VLE tout en profitant des outils statistiques (RNG, test, coda,... ) déjà implémentés sous R! A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 14 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 15 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 16 / 45

Le projet CASDAR Associer un niveau d erreur aux prédictions des modèles mathématiques pour l agronomie et l élevage. Objectifs Définir une démarche générique pour associer un niveau d erreur aux prédictions des modèles utilisés en agronomie L appliquer sur plusieurs cas d étude choisis pour représenter la diversité des cas d utilisation (prédiction, diagnostic, aide à la décision) et des informations disponibles. A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 17 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 18 / 45

Démarche d analyse d incertitude Etapes Définition des besoins et des contraintes Analyse d incertitudes Analyse des résultats Vérification des hypothèses Tâches Définition des variables d intérêt Choix d indicateur d incertitudes Identification des sources d incertitudes Caractérisation des informations disponibles Quantification des sources d incertitudes Propagation d incertitude (Distribution des variables d intérêt) Meilleure réponse (Valeur moyenne des variables d intérêt) Valeur des indicateurs d incertitudes Analyse des contributions de chaque sources d incertitudes Vérification avec des données (observées) Explicitation et analyse des hypothèses A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 19 / 45

Démarche d analyse d incertitude Etapes Définition des besoins et des contraintes Analyse d incertitudes Analyse des résultats Vérification des hypothèses Tâches Définition des variables d intérêt Choix d indicateur d incertitudes Identification des sources d incertitudes Caractérisation des informations disponibles Quantification des sources d incertitudes Propagation d incertitude (Distribution des variables d intérêt) Meilleure réponse (Valeur moyenne des variables d intérêt) Valeur des indicateurs d incertitudes Analyse des contributions de chaque sources d incertitudes Vérification avec des données (observées) Explicitation et analyse des hypothèses A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 20 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 21 / 45

SUNFLO Modèle de culture du tournesol SUNFLO: modèle dynamique de simulation du fonctionnement de la culture du tournesol qui simule : Jour après jour la progression de l enracinement l élaboration de la surface foliaire l élaboration de la biomasse aérienne A la récolte le rendement et la teneur en huile En fonction des interactions Génotype X Environment X Conduite. A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 22 / 45

SUNFLO Modèle de culture du tournesol SUNFLO: modèle dynamique de simulation du fonctionnement de la culture du tournesol qui simule : Jour après jour la progression de l enracinement l élaboration de la surface foliaire l élaboration de la biomasse aérienne A la récolte le rendement et la teneur en huile En fonction des interactions Génotype X Environment X Conduite. A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 22 / 45

SUNFLO Modèle de culture du tournesol Variété Indicateur de stress Conduite Parcelle SUNFLO Rendement, teneur huile Sol Indicateur environementaux Climat Fig.: Représentation schématique du fonctionnement de SUNFLO (pour un utilisateur agronome) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 23 / 45

SUNFLO Modèle de culture du tournesol Variables d entrée Modèle biophysique Rendement, teneur huile Sorties du modèle biophysique Entrées du modèle linéaire Modèle linéaire Fig.: Représentation schématique du fonctionnement de SUNFLO (pour un modélisateur) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 24 / 45

SUNFLO Modèle de culture du tournesol Mesure physiologique (serre et champ) Modèle simple θgénotypique Mesure agro au champ (LAI, biomasse... ) Modèle biophysique θt ournesol Modèle linéaire θlm Fig.: Représentation schématique des étapes d estimation des paramètres de SUNFLO (pour un statisticien) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 25 / 45

SUNFLO Modèle de culture du tournesol Mesure physiologique (serre et champ) Modèle simple θgénotypique Mesure agro au champ (LAI, biomasse... ) Modèle biophysique θt ournesol Modèle linéaire θlm Fig.: Représentation schématique des étapes d estimation des paramètres de SUNFLO (pour un statisticien) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 26 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 27 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 28 / 45

Le modèle statistique y = f (X, θ) + ε ε N(0, σ 2 ε) On s intéresse ici à la distribution de θ et σ 2 ε conditionnellement à y En statistique bayésienne, on l appelle la distribution a posteriori P(θ, σ 2 ε y) P(y θ, σ 2 ε) π(θ, σ 2 ε) Pas d expression analytique de cette distribution. Exploration numérique par méthode de Monte-Carlo par Chaînes de Markov (MCMC). A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 29 / 45

Le modèle statistique y = f (X, θ) + ε ε N(0, σ 2 ε) On s intéresse ici à la distribution de θ et σ 2 ε conditionnellement à y En statistique bayésienne, on l appelle la distribution a posteriori P(θ, σ 2 ε y) P(y θ, σ 2 ε) π(θ, σ 2 ε) Pas d expression analytique de cette distribution. Exploration numérique par méthode de Monte-Carlo par Chaînes de Markov (MCMC). A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 29 / 45

Le modèle statistique y = f (X, θ) + ε ε N(0, σ 2 ε) On s intéresse ici à la distribution de θ et σ 2 ε conditionnellement à y En statistique bayésienne, on l appelle la distribution a posteriori P(θ, σ 2 ε y) P(y θ, σ 2 ε) π(θ, σ 2 ε) Pas d expression analytique de cette distribution. Exploration numérique par méthode de Monte-Carlo par Chaînes de Markov (MCMC). A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 29 / 45

Le modèle statistique y = f (X, θ) + ε ε N(0, σ 2 ε) On s intéresse ici à la distribution de θ et σ 2 ε conditionnellement à y En statistique bayésienne, on l appelle la distribution a posteriori P(θ, σ 2 ε y) P(y θ, σ 2 ε) π(θ, σ 2 ε) Pas d expression analytique de cette distribution. Exploration numérique par méthode de Monte-Carlo par Chaînes de Markov (MCMC). A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 29 / 45

L algorithme Metropolis-Hastings within Gibbs Échantillonnage de distributions conditionelles par étapes Étape 1 Étape 2 P(θ y, σ 2 ε) P(y, σ 2 ε θ) π(θ) P(σ 2 ε y, θ) P(y, θ σ 2 ε) π(σ 2 ε) Nécessite Des données Des connaissances a priori sur les paramètres Une fonction de vraisemblance Une loi de proposition φ(. θ (n) ) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 30 / 45

L algorithme Metropolis-Hastings within Gibbs Échantillonnage de distributions conditionelles par étapes Étape 1 Étape 2 P(θ y, σ 2 ε) P(y, σ 2 ε θ) π(θ) P(σ 2 ε y, θ) P(y, θ σ 2 ε) π(σ 2 ε) Nécessite Des données Des connaissances a priori sur les paramètres Une fonction de vraisemblance Une loi de proposition φ(. θ (n) ) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 30 / 45

Metropolis-Hastings Étape 1 Fixer arbitrairement θ (0) et σ 2 ε (0) Tirer une valeur θ (n+1) dans φ(θ (n+1) θ (n) ) Calculer le rapport ρ Si ρ > 1 : θ (n+1) = θ (n+1) Sinon : ρ = P(y θ (n+1), σ 2 ε (n) ) π(θ (n+1) ) P(y θ (n), σ 2 ε (n) ) π(θ (n) ) θ (n+1) = θ (n+1) avec probabilité ρ θ (n+1) = θ (n) avec probabilité 1 ρ Après cette étape on a θ (n+1), Il nous faut maintenant σ 2 ε (n+1) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 31 / 45

Metropolis-Hastings Étape 1 Fixer arbitrairement θ (0) et σ 2 ε (0) Tirer une valeur θ (n+1) dans φ(θ (n+1) θ (n) ) Calculer le rapport ρ Si ρ > 1 : θ (n+1) = θ (n+1) Sinon : ρ = P(y θ (n+1), σ 2 ε (n) ) π(θ (n+1) ) P(y θ (n), σ 2 ε (n) ) π(θ (n) ) θ (n+1) = θ (n+1) avec probabilité ρ θ (n+1) = θ (n) avec probabilité 1 ρ Après cette étape on a θ (n+1), Il nous faut maintenant σ 2 ε (n+1) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 31 / 45

Gibbs Étape 2 On doit échantillonner dans la distribution P(σ 2 ε y, θ) P(y, θ σ 2 ε) π(σ 2 ε) On pose π(σ 2 ε) = 1 σ 2 ε (Loi de Jeffrey) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 32 / 45

Gibbs Étape 2 On a P(σ 2 ε y, θ) 1 2πσ 2 ε N/2 ep N k=0 (y k f (X k,θ)) 2 /2σ 2 ε 1 σ 2 ε On pose τ = 1 σ 2 ε On reconnaît la loi Gamma: τ Γ(α = N 2 + 2, β = 2 P N k=0 (y k f (X k,θ)) 2 ) On obtient directement σ 2 ε (n+1) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 33 / 45

Gibbs Étape 2 On a P(σ 2 ε y, θ) 1 2πσ 2 ε N/2 ep N k=0 (y k f (X k,θ)) 2 /2σ 2 ε 1 σ 2 ε On pose τ = 1 σ 2 ε On reconnaît la loi Gamma: τ Γ(α = N 2 + 2, β = 2 P N k=0 (y k f (X k,θ)) 2 ) On obtient directement σ 2 ε (n+1) A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 33 / 45

Choix initiaux On choisit φ(θ (n+1) θ (n) ) N (θ (n), Σ tune) Loi multinormale à 15 dimensions L efficacité de la méthode réside dans un choix judicieux de Σ et de tune On prend Σ = Diag(Var[π(θ)]) et tune = 1 pour commencer... A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 34 / 45

Choix initiaux On choisit φ(θ (n+1) θ (n) ) N (θ (n), Σ tune) Loi multinormale à 15 dimensions L efficacité de la méthode réside dans un choix judicieux de Σ et de tune On prend Σ = Diag(Var[π(θ)]) et tune = 1 pour commencer... A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 34 / 45

Choix initiaux On choisit φ(θ (n+1) θ (n) ) N (θ (n), Σ tune) Loi multinormale à 15 dimensions L efficacité de la méthode réside dans un choix judicieux de Σ et de tune On prend Σ = Diag(Var[π(θ)]) et tune = 1 pour commencer... A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 34 / 45

Réglages Constat: Σ = Diag(Var[π(θ)]) et tune = 1 Inefficace Stratégie pour tune : Robert et Casella (2004) suggèrent que le taux de rejet optimum en grande dimensions est de 74% Optimisation du taux de rejet par tune Stratégie pour Σ : 1 er run avec Σ = Diag(Var[π(θ)]) et tune = 1 obtention de quelques échantillons θ (test) Recalcul de Σ comme Var(θ (test) ). 2ème run avec le nouveau Σ A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 35 / 45

Réglages Constat: Σ = Diag(Var[π(θ)]) et tune = 1 Inefficace Stratégie pour tune : Robert et Casella (2004) suggèrent que le taux de rejet optimum en grande dimensions est de 74% Optimisation du taux de rejet par tune Stratégie pour Σ : 1 er run avec Σ = Diag(Var[π(θ)]) et tune = 1 obtention de quelques échantillons θ (test) Recalcul de Σ comme Var(θ (test) ). 2ème run avec le nouveau Σ A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 35 / 45

Réglages Constat: Σ = Diag(Var[π(θ)]) et tune = 1 Inefficace Stratégie pour tune : Robert et Casella (2004) suggèrent que le taux de rejet optimum en grande dimensions est de 74% Optimisation du taux de rejet par tune Stratégie pour Σ : 1 er run avec Σ = Diag(Var[π(θ)]) et tune = 1 obtention de quelques échantillons θ (test) Recalcul de Σ comme Var(θ (test) ). 2ème run avec le nouveau Σ A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 35 / 45

Implémentation Sous R Définition d un plan d expériences X<-plandexp(tabUSM) Définition des paramètres de la chaîne de Markov parammcmc<-planprior(tabprior) Construction de la chaîne de Markov mcmc<-ribs(x,parammcmc,...,) RIBS : RIBS Implentation of a Bayesian Sampler A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 36 / 45

Implémentation Sous R Définition d un plan d expériences X<-plandexp(tabUSM) Définition des paramètres de la chaîne de Markov parammcmc<-planprior(tabprior) Construction de la chaîne de Markov mcmc<-ribs(x,parammcmc,...,) RIBS : RIBS Implentation of a Bayesian Sampler A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 36 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 37 / 45

Les paramètres Fig.: Trace et distribution d un paramètre du modèle A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 38 / 45

Les paramètres Fig.: Trace et distribution d un paramètre du modèle A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 39 / 45

Les prédictions Fig.: Distributions des prédictions du modèle A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 40 / 45

Les prédictions Fig.: Distributions des prédictions du modèle et observations correspondantes A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 41 / 45

Plan 1 Cadre informatique Définitions DEVS et la Multi-Modélisation VLE et R-VLE 2 Cadre agronomique Le projet CASDAR L analyse d incertitude Le modèle SUNFLO 3 Cadre statistique Matériels et Méthodes Résultats 4 Conclusion et perspectives A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 42 / 45

Conclusions La méthode fonctionne On peut estimer les paramètres d un modèle de culture dynamique par une approche bayésienne Reste quelques problèmes : Temps de calcul Connexions entre les modèles Interaction aisée avec le modèle VLE via RVLE Définitions des paramètres Définitions des unités de simulations Lancement du modèle Récupération des sorties Quelques modifications mineures dans le modèle VLE (format map non pris en charge par RVLE) = Facilité d interfaçage des méthodes d estimation de paramètres, d analyse de sensibilité,... fournis par R avec les modèles implémenté sous VLE A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 43 / 45

Conclusions La méthode fonctionne On peut estimer les paramètres d un modèle de culture dynamique par une approche bayésienne Reste quelques problèmes : Temps de calcul Connexions entre les modèles Interaction aisée avec le modèle VLE via RVLE Définitions des paramètres Définitions des unités de simulations Lancement du modèle Récupération des sorties Quelques modifications mineures dans le modèle VLE (format map non pris en charge par RVLE) = Facilité d interfaçage des méthodes d estimation de paramètres, d analyse de sensibilité,... fournis par R avec les modèles implémenté sous VLE A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 43 / 45

Conclusions La méthode fonctionne On peut estimer les paramètres d un modèle de culture dynamique par une approche bayésienne Reste quelques problèmes : Temps de calcul Connexions entre les modèles Interaction aisée avec le modèle VLE via RVLE Définitions des paramètres Définitions des unités de simulations Lancement du modèle Récupération des sorties Quelques modifications mineures dans le modèle VLE (format map non pris en charge par RVLE) = Facilité d interfaçage des méthodes d estimation de paramètres, d analyse de sensibilité,... fournis par R avec les modèles implémenté sous VLE A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 43 / 45

Perspectives Faciliter l accès aux méthodes disponibles Travail en cours dans le cadre du RMT modélisation (www.modelia.org) Création de ressources pédagogiques sous R Différents modèles exemples pour l agronomie et l environnement Édition d un livre d exercice Organisation de sessions de formations A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 44 / 45

Merci pour votre attention Des questions? La vie c est comme une chaîne de Markov, on ne sait jamais sur quoi on va tomber! A. Bensadoun (INRA) Méthodes bayésiennes sous VLE 45 / 45