Nicolas TassaraAnnée 2006 Université de la Méditerranée Aix-Marseille II École Supérieure d’Ingénieurs de Luminy Département informatique Luminy case 925.

Présentation au sujet: "Nicolas TassaraAnnée 2006 Université de la Méditerranée Aix-Marseille II École Supérieure d’Ingénieurs de Luminy Département informatique Luminy case 925."— Transcription de la présentation:

1 Nicolas TassaraAnnée 2006 Université de la Méditerranée Aix-Marseille II École Supérieure d’Ingénieurs de Luminy Département informatique Luminy case 925 13288 Marseille cedex 09 Conception d’un logiciel pour la programmation par ensembles-réponses

2 Présentation de l’entreprise -University of Western Ontario -Département informatique Analyse de l’existant -Domaine d’application -Conception générale Travail réalisé -Restructuration du logiciel -Tests et performances -Ajout des contraintes d’intégrité Bilan -Bilan du stage -Bilan de la formation initiale SOMMAIRE

3 Présentation de l’entreprise Analyse de l’existant Travail réalisé Bilan SOMMAIRE Présentation de l’entreprise

4 SOMMAIRE UWO et son département informatique Université de Western Ontario, London, Canada Département informatique de l’université Plusieurs secteurs de recherche informatique à UWO Secteurs de recherche du tuteur - Intelligence artificielle - Applications pour l’intelligence artificielle Présentation de l’entreprise Analyse de l’existant Travail réalisé Bilan

5 SOMMAIRE Analyse de l’existant Présentation de l’entreprise Analyse de l’existant Travail réalisé Bilan

6 Présentation de l’entreprise Analyse de l’existant -Domaine d’applications -Conception générale Travail réalisé Bilan SOMMAIRE Domaine d’application Description - langage C/C++ utilisé - logiciel basé sur une recherche de M. Mercer et M. Risch But du logiciel - entrée : programme logique (prolog) - sortie : ensemble-réponses Autres logiciels utilisés - LParse - Smodels

7 SOMMAIRE Architecture du logiciel - Décomposer un problème - Résoudre le problème avec Smodels Algorithme et structure de données - Algorithme de Bron-Kerbosch (back-track) - Arbre Conception générale Présentation de l’entreprise Analyse de l’existant -Domaine d’applications -Conception générale Travail réalisé Bilan LParse interface SModels

8 SOMMAIRE Conception générale Présentation de l’entreprise Analyse de l’existant -Domaine d’applications -Conception générale Travail réalisé Bilan LParse interface SModels SModule

9 SOMMAIRE Travail réalisé Présentation de l’entreprise Analyse de l’existant Travail réalisé Bilan

10 Présentation de l’entreprise Analyse de l’existant Travail réalisé -Restructuration du logiciel -Tests de performance -Contraintes d’intégrité Bilan SOMMAIRE Restructuration du logiciel Rendre le logiciel portable Organisation des fichiers en plusieurs dossiers Création de scripts d’exécution Utilisation d’iterators pour parcourir les vecteurs

11 SOMMAIRE Tests de performance Comparaison du temps d’exécution entre Smodels et Smodule Tests du programme avec des benchmarks Profilage d’exécution du logiciel avec gprof Présentation de l’entreprise Analyse de l’existant Travail réalisé -Restructuration du logiciel -Tests de performance -Contraintes d’intégrité Bilan

12 SOMMAIRE Prise en compte des contraintes d’intégrité Ajout des contraintes d’intégrités négatives - f :- not a, not b, not f Ajout des contraintes d’intégrités positives - f :- a, b, c, not f Débogage du logiciel Présentation de l’entreprise Analyse de l’existant Travail réalisé -Restructuration du logiciel -Tests de performance -Contraintes d’intégrité Bilan

13 SOMMAIRE Bilan Présentation de l’entreprise Analyse de l’existant Travail réalisé Bilan

14 SOMMAIRE Bilan du stage Mise en œuvre des connaissances Transformation des connaissances en compétences Stage linguistique Découverte du monde de la recherche Présentation de l’entreprise Travail réalisé Bilan - Bilan du stage - Bilan de la formation initiale

15 SOMMAIRE Bilan de la formation initiale Formation professionnalisée complète Bonnes bases en C++ et en algorithmique Bonnes bases en théorie des graphes Présentation de l’entreprise Travail réalisé Bilan - Bilan du stage - Bilan de la formation initiale

16 Nicolas TassaraAnnée 2006 Université de la Méditerranée Aix-Marseille II École Supérieure d’Ingénieurs de Luminy Département informatique Luminy case 925 13288 Marseille cedex 09 Conception d’un logiciel pour la programmation par ensembles-réponses