1 / 30

Soutenance du projet de M1

Soutenance du projet de M1. ChemoInformatique. Intervenants : Karl-Eduard BERGER Safâa MAROUAN. Encadrant : Franck QUESSETTE. Plan. 1- Introduction 2- Définition du Problème 3- Approche mathématique du Problème 4- Formalisation mathématique 5- Etude des cas 6- Conclusion.

isadora-cooley
Download Presentation

Soutenance du projet de M1

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Soutenance du projet de M1 ChemoInformatique Intervenants : Karl-Eduard BERGER Safâa MAROUAN Encadrant : Franck QUESSETTE

  2. Plan 1- Introduction 2- Définition du Problème 3- Approche mathématique du Problème 4- Formalisation mathématique 5- Etude des cas 6- Conclusion

  3. Introduction 1-1- ChemoInformtique: Définition: Discipline scientifique à l’interface entre la chimie et l’informatique. Objectif: Traitement des informations complexes produites par la recherche en chimie en utilisant l’informatique.

  4. Introduction 1-2- RMN (résonance magnétique nucléaire): Définition: Technique permettant la connaissance de certaines informations sur les molécules chimiques en exploitant leurs propriétés magnétiques. Exemple: RMN d’une molécule chimique 

  5. Introduction 1-3- Diagramme de corrélation: Définition: représentation graphique déterminant l’existence d’une interaction nucléaire entre les atomes de la molécules. Diagramme de corrélation de la molécule: 

  6. Définition du Problème a résoudre Problème: Calcul des diagrammes de corrélation possibles a partir d’une RMN donnée

  7. Approche mathématique une molécule= un graphe une raie = un bloc un atome= un sommet Liaison covalent = un arête Symétrie= automorphisme

  8. Formalisation mathématique 1- Spectre de raies dans le cas général:

  9. Formalisation mathématique 2- Matrice de corrélation dans le cas général :

  10. Formalisation mathématique 3- Système a résoudre:

  11. Etude des cas 1- Cas de deux raies : -RMN dans la cas de deux raies:

  12. Etude de cas - Diagramme de corrélation: -Système à résoudre:

  13. Algorithme naïf

  14. Les contraintes 1- Contraintes sur d1 et d1: - la RMN offre des degrés selon un ordre: d1 <= d2 - Les atomes étudiés ne dépassent pas 4 liaisons covalentes: 1 <= d1 <= d2 <= 4 -contrainte saturation d’un atome: d1 <= k2 + k1 – 1 d2 <= k1 + k2 - 1

  15. Contraintes 2- contraintes sur a et c: -contraintes de domaine: 0 <= a <= k1 ( k1 -1) 0 <= c <= k2 ( k2 -1) -contrainte de multiplicité: a = x * k1 et c= z * k2 -contraintes de parité : a et c sont pairs

  16. Contraintes 3- Contraintes sur b: -contrainte de domaine: 0 <= b <= k1 * k2 -contrainte de multiplicité: b= y1 * k1 = y2 * k2 -contrainte de divisibilité: b est divisible par k1 et k2 - contrainte de connexité: b=0 => graphe non connexe sinon graphe connexe

  17. Contraintes 4- contraintes sur k1 et k2: -variation de k1 et k2 est non nécessaire: 1) s’il existe un couple (k1,k2) qui a pour solution ( a , b et c) il existe un couple (K1, K2) / K1 = k*k1 et K2= k*k2 qui a pour solution: (A= k* a, B=k*b, et C=k*c) 2) s’il existe un couple (K1,K2) qui a pour solution (A,B et C) soit k=pgcd(K1,K2), si k <> 0 alors il existe un couple (k1,k2)/ k1=K1/ k et k2= K2/ k qui a pour solution (A/ k, B/ k et C/ k)

  18. Contraintes • détermination de la valeur minimale de k: ( k1,k2) -----> (a, b et c) / pgcd(k1,k2)=1. il existe Kmin / qlq soit k>=kmin (K1,K2) > (A,B,C) le Kmin vérifie les trois inégalités: 0 <= a*k <= k*k1(k*k1 -1) 0 <= b*k <= k*k1*k*k2 0 <= c*k <= k*k2(k*k2 -1)

  19. Contraintes • contrainte de parité de k: A doit est pair  a * k doit être pair Si a et c pair  aucune contrainte de parité sur k Si a ou c est impair  k doit être pair

  20. Nouveau système à résoudre - Ancien système a résoudre: - Nouveau système a résoudre:

  21. Algorithme optimisé

  22. Etudes de cas : N raies • Le système à résoudre est :

  23. Résultats expérimentaux -Soit la raie suivante: -Résultat de l’algorithme: k1=1 ; k2=2 ; k-min=2 ; k-pair= non ; a= 0 ; b= 2 ; c= 4 ; d1= 2 ; d2= 3 -Matrice de corrélation possible: qlq soit k >= k-min et sans contrainte de parité on a :

  24. Résultats expérimentaux • Cas k=2:  • Cas k=3: 

  25. Les contraintes

  26. Les contraintes 1- Contraintes sur bi,i: -contraintes de domaine: 0 <= bi,i <= ki ( ki -1) -contrainte de multiplicité: bi,j = yi,i * ki -contraintes de parité : bi,i sont pairs

  27. Les contraintes 1- Contraintes sur bi,j avec i <> j -contrainte de domaine: 0 <= bi,j <= ki * kj -contrainte de multiplicité: bi,j= yi,j * ki = yj,i * kj -contrainte de divisibilité: bi,j est divisible par ki et kj

  28. Nouveau système a résoudre - Ancien système a résoudre: - Nouveau system a résoudre:

  29. Algorithme optimisé

  30. Conclusion

More Related