Projet de C – Matrices creuses Yves BOGE, Sha LIU, Ivan VALIMAHAMED

Présentation au sujet: "Projet de C – Matrices creuses Yves BOGE, Sha LIU, Ivan VALIMAHAMED"— Transcription de la présentation:

1 Projet de C – Matrices creuses Yves BOGE, Sha LIU, Ivan VALIMAHAMED
Informatique et Gestion – 3ème année

2 Plan 1. Présentation rapide du sujet 2. Structure du projet 2.1. Architecture du projet 2.2. Graphique des dépendances 3. Déroulement du projet 3.1. Réalisation 3.2. Phase de tests 3.3. Rédaction 4. Résultats 5. Bilan

3 1. Présentation rapide du sujet
Résolution de problèmes de type « Sat » Conjonctions de disjonctions (ensemble de clauses) Problème répandu dans le domaine informatique Utilisation d'une structure de matrices creuses Certaines limites ont été précisées pour le problème à résoudre

4 2. Structure du projet F:. | jnh1-sat.txt | makefile | test.txt | +---bin | | Sat +---obj | | Chargement.o | | Matrices_creuses.o | | Sat.o | | Traitement.o +---src | Chargement.c | Chargement.h | Matrices_creuses.c | Matrices_creuses.h | Sat.c | Traitement.c | Traitement.h 2.1. Architecture du projet 3 sous-dossiers (pour les modules objets, les sources et les exécutables) Makefile dans le dossier principal

5 2. Structure du projet Sat  Chargement, Traitement, Matrices_creuses
2.2. Graphique des dépendances Sat  Chargement, Traitement, Matrices_creuses Chargement  Traitement, Matrices_creuses Dépendance par profondeur (de ses descendants)

6 3. Déroulement du projet Définition des structures en commun
3.1. Réalisation Définition des structures en commun Acquisition des normes de programmation Définition des différents modules Répartition du travail (fonctions à implémenter) Mise en commun et développement du programme principal Débogage et ajout de fonctionnalités diverses

7 3. Déroulement du projet 3.2. Phase de tests
Test sur différents fichiers Variations sur les nombres de variables, de clauses, et sur la complexité des clauses Test des options de la commande (–t –m –h) Test des performances (avec ou sans affichage)

8 3. Déroulement du projet 3.3. Rédaction
Début: durant les vacances de Pâques Avancement en parallèle de l’intégration et des tests Répartition des parties restantes à rédiger (à la fin des tests) Intégration du tout et mise en forme finale

9 4. Résultats Programme fonctionnel
Résolution possible en moins d’une minute (jusqu’à 200 variables) Lenteur du programme avec les affichages (utilisation des entrées/sorties lentes) Utilisation du programme comme d’une commande UNIX

10 5. Bilan Approfondissement de nos connaissances (Langage C)
Découverte d’un thème de recherche (problème SAT) Organisation du travail en équipe Amélioration des méthodes de travail (normalisation) Développement des capacités de travail