Equipe Biosystème Membres de l’équipe: Mme. Hounaida Homri Thèse

Slides:



Advertisements
Présentations similaires
Un environnement de développement éducatif
Advertisements

La Méthode de Simplexe Standardisation
S-SYSTEMS ETAPPROCHE HYBRIDE
FORMATION DE FAISCEAU.
Fabrice Lauri, François Charpillet, Daniel Szer
« Systèmes électroniques »
AVANCEMENT DES TRAVAUX DE THESE
Résolution de problèmes et logiciel de calcul symbolique
IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA.
Calcul géométrique avec des données incertaines
Affichage interactif, bidimensionnel et incrémental de formules mathématiques Hanane Naciri et Laurence Rideau INRIA Sophia Antipolis CARI'2000.
Une approche informationnelle de la restauration d’images
A L I M E N T A T I O N A G R I C U L T U R E E N V I R O N N E M E N T.
ETUDE ET MODELISATION DES RESEAUX DE REGULATION GENETIQUE
Les Systèmes Multi Agents
EXPOSÉ LA BIO-INFORMATIQUE - Présenter Les Concepts de Base
Projet n°4 : Objecteering
XML - Henry Boccon-Gibod 1 XML, Langage de description La question du choix de formalismes Les entités et leur représentations modalités de modèles et.
JXDVDTEK – Une DVDthèque en Java et XML
Relevons les défis de demain.
Eric BONJOUR, Maryvonne DULMET
Le Modèle Logique de Données
Génération interactive dimages projectives : Application à la Radiothérapie Pierre BLUNIER Du 01/12/2002 au 28/03/2003 Centre Léon Bérard.
Indicateurs de position
CONGE GRAVE MALADIE SIMULATION
1 Intégration numérique garantie de systèmes décrits par des équations différentielles non-linéaires Application à l'estimation garantie d'état et de paramètres.
Yann SEMET Projet Fractales, INRIA Rocquencourt
Modélisation et commande hybrides d’un onduleur multiniveaux monophasé
1 B Système Enjeux et principes Cours DESS Nantes 04 Décembre 2002 Didier ESSAME.
Modélisation /Identification
Modélisation des systèmes non linéaires par des SIFs
Safae LAQRICHI, Didier Gourc, François Marmier {safae
PARTIE 3 : Le SYSTEME D’INFORMATION FUTUR
Les requêtes La Requête est une méthode pour afficher les enregistrements qui répondent à des conditions spécifiques. La requête est donc un filtre.
Maple, modélisation et résolution de problèmes
Chapitre V : Cinétique chimique
Guy Gauthier, ing., Ph.D. Session été 2013.
Des RRA à la diagnosticabilité
Interaction Homme Robot Sujet « 16/03/2012 » Réalisé par :
1 Cours numéro 3 Graphes et informatique Définitions Exemple de modélisation Utilisation de ce document strictement réservée aux étudiants de l IFSIC.
Application des algorithmes génétiques
Classification Multi Source En Intégrant La Texture
Pourquoi les réseaux de neurones de type « perceptron multicouche » conviennent-ils à l’apprentissage Stéphane Canu, INSA de Rouen , PSI André Elisseeff,
Exploitation du modèle holonique dans un cadre combinant IAD et IHM
Détection de co-évolution de gènes Master 2 : Informatique à Finalité Professionnelle et Recherche Unifiée (IFPRU) Parcours Ingénierie de lIntelligence.
Inversion / Res2dinv Thème 2 = « Organisation et fonctionnement hydrique des couvertures d’altération, des dépôts alluviaux et des sols » devient dans.
SYSTEMES D’INFORMATION
Modélisation causale multiphysique
SCIENCES DE L ’INGENIEUR
Les communautés de pratiques
La Bioinformatique à Nancy
Représentation des systèmes dynamiques dans l’espace d’état
Représentation des systèmes dynamiques dans l’espace d’état
Guy Gauthier, ing., Ph.D. Session automne 2012.
3.1 DÉTERMINANTS (SUITE) Cours 6.
Web sémantique : Web de demain
Systèmes d’informations : Définition, Composantes, Rôles et Approches.
Sensibilisation a la modelisation
Programmation linéaire en nombres entiers : les méthodes de troncature
Présentation de la méthode des Eléments Finis
Hé bonhomme, le calcul matriciel,
1 Modèle pédagogique d’un système d’apprentissage (SA)
Biologie – Biochimie - Chimie
METISSE Méthodes Et Théories pour une Ingénierie des Systèmes Socio- Environnementaux.
1 Architecture orientée service SOA Architecture orientée service SOA (Service Oriented Architecture)
Chapitre 3 :Algèbre de Boole
Supports de formation au SQ Unifié
CINETIQUE DES REACTIONS CHIMIQUES
Réalisé par : Mr IRZIM Hédi Mr JRAD Firas
Introduction à la Bio-Informatique
Transcription de la présentation:

Equipe Biosystème Membres de l’équipe: Mme. Hounaida Homri Thèse Mr. Abdeljelil Ben Abid Thèse Mr. Mohsen Ben Hassine Thèse Mr. Ahmed Dhia Belhadj Thèse Mlle. Sihem Zouaoui Mastère Equipe Biosystème Thème de recherche: Etude et modélisation des réseaux génétiques

Problématique Contient une information génétique

Problématique Protéines régulatrices Transcription Traduction Mes yeux sont de couleur noires

Problématique Il y a un échange d’informations entre les gènes réseau génétique L’identification et la modélisation du réseau génétique nous permet de prédire le comportement des gènes. Le réseau est classé parmi les systèmes complexes vu que le nombre de gènes est très important ainsi qu’il est un système non linéaire,…

Plan La bioinformatique Les méthodes de modélisation Logiciels à exploiter Travaux en cours et perspectives Bibliographie

La bioinformatique La bioinformatique est un champ de recherche multidisciplinaire où travaillent des biologistes, informaticiens, mathématiciens et physiciens, dans le but de résoudre un problème scientifique posé par la biologie. Pour les biologistes: Utilisation de logiciels informatiques pour traiter rapidement les données biologiques. Base de données permettant de stocker et gérer l’information biologique. Pour les informaticiens: Modélisation de problèmes de biologie moléculaire. Développement de méthodes mathématiques ou informatiques formelles pour les résoudre. Implémentation d’algorithmes permettant d’analyser les données biologiques. Validation sur des données simulées et réelles.

La bioinformatique S’applique à tout type de données biologiques: Séquences d’ADN et de protéines. Structures d’ARN et de protéines. Contenu en gènes des génomes. Alignement des séquences. Puces à ADN (Microarrays) Réseaux d’interactions entre protéines. Réseaux de régulation génétique.

Les méthodes de modélisation du réseau génétique…

Classification des modèles Les différents modèles qui ont été proposés pour tenter de donner une approche mathématique des réseaux génétiques se rangent pour l’essentiel dans trois catégories: Les systèmes discrets Les systèmes continus Les systèmes hybrides Remarque: On peut trouver une classification selon le déterminisme de l’approche : Approche déterministe et approche stochastique.

Les systèmes discrets Entre autres on trouve: Les réseaux d’automates booléens Les réseaux de pétri Les réseaux de neurones Les graphes Principe général : gène f1 transition f3 f4 f2 fi : Fonction de transition

Les réseaux d’automates booléens Un nœud = automate ( 1 ou 0 ) çàd gène activé ou non Matrice d’incidence: Soit un graphe d’interaction GI On définit la matrice d’incidence de GI comme étant la matrice booléenne B de dimension n × n telle que : Pour i, j Є {1, . . . , n} , bij = 1 si j influence i , 0 sinon Fonction de transition globale du réseau: xi: gène fi: fonction logique

Les réseaux de neurones Illustration de régulation de gènes dans un modèle linéaire Les entrées des gènes régulateurs sont sommées en ajoutant une constante de bias.

Les équations différentielles Le formalisme le plus utilisé pour modéliser les réseaux de régulation génétique est sans aucun doute celui des équations différentielles. Les concentrations des composants moléculaires du système sont représentées par des variables réelles positives qui évoluent de manière continue au cours du temps. Équations de base de la cinétique enzymatique: S=Substrat, E=Enzyme, P=produit, Ki =constantes

Les équations différentielles En notant respectivement s, e, c et p les concentrations en substrat, en enzyme, en complexe et en produit, la loi d’action de masse nous donne le système différentiel suivant:

Les systèmes hybrides Dans un système hybride, les variations rapides, ou bascules(switch), sont représentées comme des évènements discrets. L’adjonction de ces évènements discrets à un système classique d’équations différentielles ordinaires est à la base du concept de système hybride. Un système hybride est un sextuplet H = (Q, E,D,F, G,R) Q: ensemble des nœuds ,E: ensemble des transitions D:Domaine des valeurs, F: ensemble des fonctions G: ensemble des gardes, R: Fonctions Reset

Modèle hybride et S-Systèmes Les S-systèmes s’inscrivent dans un formalisme ancien centré sur l´étude des lois de puissance dans les équations algébriques et différentielles. les S-systèmes font partie de la classe plus générale des systèmes quasi-monomiaux (QM). Un S-système est présenté comme suit: (i:1..n)

Les systèmes multi-agents Les gènes sont représentés par un ensembles d’agents. L’agent représente une entité « intelligente » capable d’interagir avec d’autres agents et avec son environnement. L’avantage de cette méthode c’est que le niveau d’abstraction est faible. La représentation par agent est plus proche de la réalité. Le biologiste peut voir les gènes en interactions suite à une simulation multi-agents. Méthode qui nécessite une programmation avec des application multi-agents.

Logiciels à exploiter…

COPASI (COmplex PAthway SImulator) Modélisation Simulation Analyse Représentation graphique Éditeur de texte Outils de commande Outils de traçage (plotting) Copasi rassemble tout ceci dans un outil avec une interface graphique. Les utilisateurs de Copasi peuvent être des biochimistes et biologistes sans avoir besoin d’une connaissance au sujet des méthodes de simulation.

Netlogo Basé sur les systèmes multi-agents. Intègre un langage d’instruction permettant de définir les comportements des agents simulés. Offre une interface utilisateur permettant de visualiser le comportement des agents en temps réel.

Toolbox matlab bioinformatique Bioinformatique Toolbox intègre un environnement pour l’analyse du génome et du protomes. Ce toolbox inclus plusieurs fonctions d’analyses. Bioinformatique Toolbox contient plusieurs fonctionnalités tels que: Data Formats and Databases Sequence Alignments Sequence Utilities and Statistics Protein Property Analysis Phylogenetic Analysis Microarray Data Analysis …….

Visualisation du réseau Il existe plusieurs logiciels de visualisation: Pajek – Slovenia Biolayout, EBI GraphViz Cytoscape …

Travaux en cours et perspectives Simulation d’un exemple de régulation avec les équations différentielles sous la forme d’un système en S. Simulation d’un exemple de régulation avec les systèmes multi-agents. Simulation d’un exemple avec le réseau de neurones. Simulation d’un exemple avec matlab (simbiology) Tendance vers les systèmes hybrides Importance de l’approche stochastique en dépit des fluctuations des paramètres qui régissent les processus chimiques

Bibliographie L. Tournier, « Étude et modélisation mathématique de réseaux de régulation génétique et métabolique », Thèse de Doctorat,INP Grenoble 2005 E.O. Voit. « Computational analysis of biochemical systems ». Cambridge University Press, 2000. T.Guyet, « Systèmes multi agents et application biomédicale » cours IMTC (19/01/2007). « http://www.damas.ift.ulaval.ca/~coursMAS/Complements2K8/ », Cours SMA « http://www.limsi.fr/~jps/enseignement/examsma/examsma.htm », Ensemble de tutoriels réalisés dans le cadre de l'université Paris XI

Merci pour votre attention