Projet INF242. Stéphane Devismes & Benjamin Wack. Pour ce projet les étudiants doivent former des groupes de 3 ou 4 étudiants.
|
|
- Joëlle Delorme
- il y a 8 ans
- Total affichages :
Transcription
1 Projet INF242 Stéphane Devismes & Benjamin Wak Pour e projet les étudiants doivent former des groupes de 3 ou 4 étudiants. 1 Planning Distribution du projet au premier ours. À la fin de la deuxième semaine de TD, onstitution des groupes et validation du sujet par le hargé de TD. Livraison par à votre enseignant de TD au plus tard le 6 mars 2015 du pré-rapport (5 pages maximum). Livraison au plus tard le 30 avril 2015 par du rapport final. Dans la semaine du 4 au 7 mai 2015, soutenane de 20 minutes par groupe, questions inluses (démonstration du travail réalisé en groupe). 2 Travail à réaliser Le projet se déoupe en deux parties. La première partie fera l objet d un pré-rapport. À la fin de la seonde partie, les différents groupes devront produire un rapport résumant les travaux aomplis dans les deux parties. Enfin, e projet sera aussi évalué par une soutenane. Les ontenus des pré-rapport et rapport final seront pris en ompte dans la notation. 2.1 Première partie La première partie de e projet onsiste à formaliser plusieurs problèmes en logique propositionelle sous la forme d ensembles de lauses. Dans votre pré-rapport, pour haque problème traité, vous devrez : 1. Donnez l énoné informel du problème, 2. Traduire et énoné sous la forme de formules propositionelles. Cette tradution devra être justifiée. 3. Traduire les formules propositionelles en un ensemble de lauses équivalentes. Cette tradution devra aussi être justifiée. Il vous est demandé de traiter plusieurs problèmes. Ces différents problèmes doivent être de diffiulté roissante. Vous pouvez, par exemple, ommener ave des exeries du polyopié qui n ont pas été traités en TD ou alors des exeries d examen ou partiel des années préédentes, disponibles à ette adresse 1
2 Après vous être exeré sur des exemples simples, vous devrez vous onentrer sur la formalisation d un problème plus omplexe. Par exemple : le Sudoku le arré magique Squaro Tetravex Paint-by-numbers D autres pistes de sujets sont proposées sur la page ave en général des liens vers des applets de démonstration. Ce dernier problème devra obligatoirement être validé par votre hargé de TD! 2.2 Deuxième partie La seonde partie de e projet onsiste en la résolution automatique des problèmes proposés lors de la première partie. Pour ela, vous utiliserez un solveur SAT. Plus préisement, vous programmerez vous-même votre propre solveur SAT (dans le langage de votre hoix) ave différentes stratégies de résolution. En outre, il vous est demandé de fournir deux autres programmes qui onernent uniquement le dernier problème à traiter : le problème omplexe validé par votre hargé de TD. Le format DIMACS. La première étape onsistera à traduire les ensembles de lauses proposés lors de la première partie en fihier DIMACS. Le format des fihiers d entrées des SAT-solveurs est un standard international pour la représentation de formules en forme normale onjontive. Un fihier en format DIMACS ommene par une ligne qui spéifie qu il s agit d une forme normale onjontive, qui préise ombien de variables la formule ontient, et de ombien de lauses disjontives elle est onstituée. Par exemple : p nf 5 3 indique que le fihier ontient une formule en forme normale onjontive, ave 5 variables et 3 lauses. Ensuite, le fihier est omposé de plusieurs lignes, une par lause. Chaque ligne ontient des entiers positifs et/ou négatifs, et se termine par 0. Un entier positif i indique que la i-ème variable apparaît ave polarité positive dans la lause. Un entier négatif i indique que la i-ème variable apparaît ave polarité négative dans la lause. Par exemple, le fihier suivant au format DIMACS représente la formule : start with omments p nf (x 1 x 5 x 4 ) ( x 1 x 5 x 3 x 4 ) ( x 3 x 4 )
3 Attention! Pour les problèmes de taille onséquente (par exemple, le dernier problème proposé), ette transformation devra être effetuée automatiquement à l aide d un programme que vous aurez érit 1. Votre solveur SAT : WalkSat. Il vous est demandé de programmer dans le langage de votre hoix un solveur de type WalkSat. Votre WalkSat devra lire en entrée l ensemble de lauses à résoudre sous la forme d un fihier DIMACS. Le but est ensuite de renvoyer une assignation modèle de toutes les lauses de l ensemble si ela est possible. Notez que WalkSat est un solveur inomplet : si l ensemble de lauses donné en entrée est ontraditoire, il est inapable de le déterminer. Le pseudo-ode d un algorithme de type WalkSat est donné i-dessous. 1: Choisir une assignation v uniformément au hasard 2: i=0 3: TANT QUE (v n est pas modèle) et i < MAX_ITERATION FAIRE 4: Choisir au hasard C parmi les lauses C telles que v(c ) = faux 5: Tirer une valeur réelle x uniformément au hasard dans [0,1] 6: SI x <= P ALORS 7: Choisir uniformément au hasard une variable y de C 8: SINON 9: Choisir une variable y de C de manière déterministe 10: FIN SI 11: Inverser la valeur de v(y) dans l assignation v 12: i++ 13: FIN TANT QUE 14: SI v est modèle ALORS 15: Renvoyer v 16: SINON 17: Renvoyer pas_de_deision 18: FIN SI Le ode donné i-dessus est volontairement inomplet! En effet, il ne préise pas les valeurs de MAX_ITERATION et P, ni la proédure de hoix déterministe de la variable y à la ligne 9. Au minimum, il vous est demandé de proposer une valeur raisonnable pour es deux onstantes, et de faire en sorte que la variable y hoisie soit la variable présente dans C qui va minimiser le nombre de lauses insatisfaites. Faultativement, vous pouvez mener des expérimentations afin de trouver les meilleures valeurs possibles pour MAX_ITERATION et P ; vous pouvez également programmer d autres méthodes de hoix de y, par exemple : Choisir la variable présente dans C parmi elles les moins modifiées jusqu ii. Pour haque variable z, aluler sore(z) de la manière suivante : si v(z) = vrai alors ompter le nombre de lauses où z apparaît négativement moins le nombre de lauses où elle apparaît positivement, 1. Si vous programmez en JAVA, vous pouvez vous inspirer de l exemple donné à la page www-verimag.imag.fr/~devismes/java/fihier.java pour la gestion de fihiers.
4 sinon ompter le nombre de lauses où z apparaît positivement moins le nombre de lauses où elle apparaît négativement Ensuite hoisir une variable de C de sore maximum. Vous inspirer des heuristiques MOMS et JW données dans le poly. Mixer plusieurs des stratégies préédentes. et. Dans e as, il peut être judiieux de omparer entre elles les différentes proédures de hoix que vous aurez implantées. Notez que pour simplifier votre implémentation, vous pouvez transformer en préambule votre ensemble de lauses en ensemble de lauses 3-SAT équivalent (vous pourrez vous baser sur l algorithme proposé dans l exerie 50 p. 63 de votre polyopié de ours). Problème omplexe. En e qui onerne le dernier problème demandé (le problème omplexe validé par votre hargé de TD), vous devrez fournir : Un programme générant le fihier DIMACS orrespondant à une instane du problème. Par exemple, une grille de Sudoku ontenant quelques nombres. Un programme affihant de manière lisible une solution du problème omplexe hoisi. Par exemple, si vous hoisissez le Sudoku, e programme devra affiher une grille solution alulée par votre solveur à partir de la grille inomplète fournie en entrée. Ne perdez pas de temps à réaliser une interfae graphique onviviale : des programmes reevant et affihant les instanes du problème sous forme de simples fihiers texte sont tout-à-fait aeptables pour e projet. 3 Rapport Votre rapport devra inlure : 1. le ontenu (éventuellement mis à jour) de votre pré-rapport ; 2. la tradution en logique propositionnelle de l énoné des différents problèmes traités ; 3. une présentation (informelle) de votre solveur illustrée par l analyse d exemples pertinents ; 4. une présentation des deux programmes «interfae» du gros problème que vous aurez traité ; 5. éventuellement, vos expérimentations sur les valeurs de MAX_ITERATION et de P et/ou l étude omparative des différentes méthodes de hoix de la variable que vous aurez programmées. 4 Soutenane La soutenane est OBLIGATOIRE (sauf pour les dispenses offiielles). Toute absene injustifiée onduira le jury à délivrer la note de 0 au projet pour le andidat absent. Lors de votre soutenane, vous exéuterez vos programmes sur une mahine personnelle ou
5 une mahine de l université. Chaque membre du projet devra intervenir équitablement pendant la soutenane. Il faudra présenter le sujet du projet, mais aussi de donner une démonstration de vos programmes sur mahine. 5 Exemple pour le problème des pigeons Nous illustrons par un exemple simple le minimum que nous attendons des étudiants pour le projet de INF Enoné informel Un olombophile possède n nids et p pigeons. Il souhaite que : haque pigeon soit dans un nid, il y ait au plus un pigeon par nid. 5.2 Modélisation en ensemble de lauses La variable booléenne x i,j représente le fait que le pigeon i est dans le nid j. Par exemple, pour un ensemble de pigeons {a, b, } et un ensemble de nids {1, 2, 3, 4}, nous devons donner au SAT-solveur l ensemble de lauses suivant : Chaque pigeon est dans un nid : x a,1 x a,2 x a,3 x a,4, x b,1 x b,2 x b,3 x b,4, x,1 x,2 x,3 x,4, Chaque nid ontient au plus un pigeon : x a,1 x b,1, x a,1 x,1, x b,1 x,1 x a,2 x b,2, x a,2 x,2, x b,2 x,2, x a,3 x b,3, x a,3 x,3, x b,3 x,3, x a,4 x b,4, x a,4 x,4, x b,4 x, Transformation en fihier DIMACS et résolution par un SATsolveur Le premier programme «interfae» doit demander à l utilisateur de donner le nombre de nids n et le nombre de pigeons p, puis doit générer le fihier DIMACS odant les ontraintes relatives au problème de n nids et p pigeons. Si n p alors votre WalkSat trouvera une assignation modèle. Votre seond programme «interfae» devra alors affiher dans quel nid l assignation à affeter haque pigeon. Ainsi nous saurons omment plaer les pigeons! Nous remarquons qu il nous est faile de trouver une solution à e problème alors que l ordinateur doit résoudre un nombre de ontraintes exponentielles.
Production statistique: passage d une démarche axée sur les domaines à une démarche axée sur les processus
Nations Unies Conseil éonomique et soial Distr. générale 31 mars 2015 Français Original: anglais ECE/CES/2015/26 Commission éonomique pour l Europe Conférene des statistiiens européens Soixante-troisième
Plus en détailComment évaluer la qualité d un résultat? Plan
Comment évaluer la qualité d un résultat? En sienes expérimentales, il n existe pas de mesures parfaites. Celles-i ne peuvent être qu entahées d erreurs plus ou moins importantes selon le protoole hoisi,
Plus en détailChapitre IV- Induction électromagnétique
37 Chapitre IV- Indution életromagnétique IV.- Les lois de l indution IV..- L approhe de Faraday Jusqu à maintenant, nous nous sommes intéressés essentiellement à la réation d un hamp magnétique à partir
Plus en détail3. Veuillez indiquer votre effectif total :
1 Métiers du marketing et de la ommuniation Questionnaire préalable d assurane Préambule Le présent questionnaire préalable d assurane Marketing et Communiation a pour objet de réunir des informations
Plus en détailNCCI : Modèle de calcul pour les pieds de poteaux articulés Poteaux en I en compression axiale
NCCI : Modèle de alul pour les pieds de poteaux artiulés Poteaux en I en Ce NCCI présente les règles permettant de déterminer soit la résistane de alul, soit les dimensions requises des plaques d'assise
Plus en détailNCCI : Calcul d'assemblages de pieds de poteaux encastrés
NCCI : Calul d'assemblages de pieds de poteaux enastrés Ce NCCI fournit les règles relatives au alul d'assemblages de pieds de poteaux enastrés. Ces règles se ontentent de ouvrir la oneption et le alul
Plus en détailInformatique III: Programmation en C++
Informatique III: Programmation en C++ Listes haînées Lundi 9 Janvier 2006 1 2 Introdution Les listes hainées permettent de stoker un nombre d objets qui n a pas besoin d être spéifié a priori. Rajouter
Plus en détailVotre dossier d adhésion
MSH INTERNATIONAL pour le ompte Votre dossier d adhésion Vous avez besoin d aide pour ompléter votre dossier d adhésion? Contatez-nous au +33 (0)1 44 20 48 77. Adhérent Bulletin d adhésion Titre : Mademoiselle
Plus en détail1 Introduction à l effet Doppler.
Introdution à l effet Doppler Ph. Ribière ribierep@orange.fr Merredi 9 Novembre 2011 1 Introdution à l effet Doppler. Vous avez tous fait l expériene de l effet Doppler dans la rue, lorsqu une ambulane,
Plus en détailExemples de solutions acoustiques
Exemples de solutions aoustiques RÉGLEMENTATON ACOUSTQUE 2000 Janvier 2014 solement aux bruits aériens intérieurs et niveau de bruit de ho Traitement aoustique des parties ommunes Bruits d équipements
Plus en détailphysique - chimie Livret de corrigés ministère de l éducation nationale Rédaction
ministère de l éduation nationale physique - himie 3e Livret de orrigés Rédation Wilfrid Férial Jean Jandaly Ce ours est la propriété du Cned. Les images et textes intégrés à e ours sont la propriété de
Plus en détailÉquations différentielles et systèmes dynamiques. M. Jean-Christophe Yoccoz, membre de l'institut (Académie des Sciences), professeur
Équations différentielles et systèmes dynamiques M. Jean-Christophe Yooz, membre de l'institut (Aadémie des Sienes), professeur La leçon inaugurale de la haire a eu lieu le 28 avril 1997. Le ours a ensuite
Plus en détailMesures du coefficient adiabatique γ de l air
Mesures du oeffiient adiabatique γ de l air Introdution : γ est le rapport des apaités alorifiques massiques d un gaz : γ = p v Le gaz étudié est l air. La mesure de la haleur massique à pression onstante
Plus en détailÉtape II. Compétences à développer de 8 à 12 ans. Grilles des compétences
Grilles des ompétenes Compétenes à développer de 8 à ans COMPÉTENCES DE 8 À ANS Les ompétenes en «aratères droits» sont à ertifier. (symbole en fin de ligne) Les ompétenes en «aratères italiques» sont
Plus en détailChapitre. Calculs financiers
Chapitre Caluls finaniers 19 19-1 Avant d'effetuer des aluls finaniers 19-2 Caluls d'intérêts simples 19-3 Caluls d'intérêts omposés 19-4 Evaluation d'un investissement 19-5 Amortissement d'un emprunt
Plus en détailProfessionnels de l art by Hiscox Questionnaire préalable d assurance
Professionnels de l art by Hisox Questionnaire préalable d assurane Votre interlouteur: Buzz Assurane Servie lients - BP 105 83061 Toulon Cedex prodution@buzzassurane.om La ommunauté des olletionneurs
Plus en détailBAILLY-GRANDVAUX Mathieu ZANIOLO Guillaume Professeur : Mrs Portehault
BAILLY-GRANDVAUX Mathieu ZANIOLO Guillaume Professeur : Mrs Portehault 1 I. Introdution...3 II. Généralités...3 Caratéristiques ommunes aux deux phénomènes...3 La différene entre la phosphoresene et la
Plus en détailETUDE COMPARATIVE RELATIVE AU SERTISSAGE DES CANALISATIONS EN CUIVRE DANS LE SECTEUR DE LA RENOVATION
- Février 2003 - ETUDE COMPARATIVE RELATIVE AU SERTISSAGE DES CANALISATIONS EN CUIVRE DANS LE SECTEUR DE LA RENOVATION Centre d Information du Cuivre 30, avenue Messine 75008 Paris HOLISUD Ingénierie 21,
Plus en détailRevue des Sciences et de la Technologie - RST- Volume 5 N 1 / janvier 2014
Revue des Sienes et de la Tehnologie - RST- Volume 5 N 1 / janvier 214 L impat d une Charge Fortement Capaitive Sur la Qualité du Filtrage d un FAP Contrôlé Par un Filtre Multi-Variable Hautement Séletif
Plus en détailPersonnel Pour chaque diagnostiqueur, veuillez fournir les informations suivantes : Date de la formation. Formation (durée)
1 Diagnosti Immobilier by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Date de réation : Possédez-vous
Plus en détailDiagnostic Immobilier by Hiscox Questionnaire préalable d assurance
Diagnosti Immobilier by Hisox Questionnaire préalable d assurane Diagnosti Immobilier by Hisox Questionnaire préalable d assurane Identifiation du proposant Nom ou raison soiale Adresse Code postal Ville
Plus en détailGuide pratique. L emploi des personnes handicapées
Guide pratique L emploi des personnes handiapées Sommaire Guide pour les salariés p. 3 L'aès et le maintien dans l'emploi... 4 Les établissements et servies d aide par le travail (ÉSAT)... 10 Les entreprises
Plus en détailForme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités
1 RC Professionnelle by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Noms et adresses des filiales
Plus en détailprix par consommateur identiques différents prix par identiques classique 3 unité différents 2 1
3- LE MONOOLE DISCRIMINANT Le monoole eut vendre ertaines unités de roduit à des rix différents. On arle de disrimination ar les rix. Selon une terminologie due à igou (The Eonomis of Welfare, 1920), on
Plus en détailDESTINE A USAGE TECHNICIEN BL UNIQUEMENT
Windws bakup Smmaire 1. INSTALLATION ES OUTILS 2 2. CONFIGURATION E LA SAUVEGARE. 4 3. LA RESTAURATION E FICHIERS 8 4. LA RESTAURATION SYSTEME 11 5. PROBLEMES EVENTUELS : 16 ESTINE A USAGE TECHNICIEN BL
Plus en détailLa protection différentielle dans les installations électriques basse tension
Juin 2001 La protetion différentielle dans les installations életriques basse tension Ce guide tehnique a pour objetif de mettre en évidene les prinipes de fontionnement des protetions différentielles
Plus en détailForme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités
1 Portage Salarial pour les métiers du Conseil by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Noms
Plus en détailLE PENETROMETRE STATIQUE Essais CPT & CPTU
LE PENETROMETRE STATIQUE Essais CPT & CPTU Mesures Interprétations - Appliations Doument rédigé par des ingénieurs géotehniiens de GINGER CEBTP sous la diretion de : Mihel KHATIB Comité de releture : Claude-Jaques
Plus en détailDocumentHumain. Confidentiel. Disposition de fin de vie
Confidentiel Disposition de fin de vie DoumentHumain Mes volontés juridiquement valables onernant ma vie, mes périodes de souffrane, les derniers moments de mon existene et ma mort Institut interdisiplinaire
Plus en détailLe compte satellite des institutions sans but lucratif
Institut des omptes nationaux Le ompte satellite des institutions sans ut luratif 2000-2001 Contenu de la puliation Le ompte satellite des institutions sans ut luratif (ISBL) est élaoré d après les définitions
Plus en détailFrançais 5 e. Livret de corrigés. Rédaction Nadège Langbour. Relecture Béatrice elbart. Coordination Anne-Christine Simon
Français 5 e Livret de orrigés Rédation Nadège Langbour Releture Béatrie elbart Coordination Anne-Christine Simon Ce ours est la propriété du Cned. Les images et textes intégrés à e ours sont la propriété
Plus en détailJean-Philippe Préaux http://www.i2m.univ-amu.fr/~preaux
Colonies de fourmis Comment procèdent les colonies de fourmi pour déterminer un chemin presque géodésique de la fourmilière à un stock de nourriture? Les premières fourmis se déplacent au hasard. Les fourmis
Plus en détailProblème d ordonnancement de véhicules en variables booléennes
Problème d ordonnancement de véhicules en variables booléennes Freddy Hetman 2 juillet 2013 Faculté des sciences Jean Perrin Freddy Hetman () 2 juillet 2013 1 / 22 Sommaire 1 Introduction 2 Le problème
Plus en détailTechniques d analyse de circuits
Chpitre 3 Tehniques d nlyse de iruits Ce hpitre présente différentes méthodes d nlyse de iruits. Ces méthodes permettent de simplifier l nlyse de iruits ontennt plusieurs éléments. Bien qu on peut résoudre
Plus en détailMétiers de la sécurité Questionnaire préalable d assurance
Métiers de la séurité Questionnaire préalable d assurane Métiers de la séurité Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN
Plus en détailg conditions actuelles de la répression du blanchiment de fraude fiscale et sur ses conséquences.
Le délit de blanhiment, un horizon pénal qui ne esse de s'élargir... 4- t ru Q) ' Le blanhiment de fraude fisale ru :::::: Le ontexte de la réflexion sur la lutte ontre la fraude fisale invite à s'interger
Plus en détailEVALUATION À 360 Demonstration MICHEL DUPONT RAPPORT PERSONNEL 360. rapport généré: 2010-01-05 http://compass360.net
Demonstration MIHEL DUPONT RAPPORT PERONNEL 360 rapport généré: 2010-01-05 http://compass360net TABLE DE MATIÈRE Michel Dupont Page 2 TABLE DE MATIÈRE omment utiliser votre rapport 3 GRILLE DE OMPETENE
Plus en détailLa NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.
La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of
Plus en détailFONDATION CLEMENTINE ET MAURICE ANTILLE
FONDATION CLEMENTINE ET MAURICE ANTILLE Règlement d ttriution de ourses et de prêts d études et de formtion du déemre 006 Artile premier Ojet et hmp d pplition Le présent règlement est étli en pplition
Plus en détailLe calendrier des inscripti
ÉTUDES SUP TOP DÉPART Vous venez d entrer en terminale. Au œur de vos préoupations : obtenir le ba. Néanmoins, vous devrez aussi vous souier des poursuites d études, ar les insriptions dans le supérieur
Plus en détailDéroulement. Evaluation. Préambule. Définition. Définition. Algorithmes et structures de données 28/09/2009
Déroulement Algorithmes et structures de données Cours 1 et 2 Patrick Reuter http://www.labri.fr/~preuter/asd2009 CM mercredi de 8h00 à 9h00 (Amphi Bât. E, 3 ème étage) ED - Groupe 3 : mercredi, 10h30
Plus en détailFigure 1 : représentation des différents écarts
ulletin officiel spécial n 9 du 30 septembre 2010 Annexe SIENES DE L INGÉNIEUR YLE TERMINAL DE LA SÉRIE SIENTIFIQUE I - Objectifs généraux Notre société devra relever de nombreux défis dans les prochaines
Plus en détailChapitre N2 : Calcul littéral et équations
hapitre N : alcul littéral et équations Sujet 1 : Le problème des deux tours Deux tours, hautes de 0 m et de 0 m, sont distantes de 0 m. Un puits est situé entre les deux tours. Deux oiseaux s'envolent
Plus en détailUE Programmation Impérative Licence 2ème Année 2014 2015
UE Programmation Impérative Licence 2 ème Année 2014 2015 Informations pratiques Équipe Pédagogique Florence Cloppet Neilze Dorta Nicolas Loménie prenom.nom@mi.parisdescartes.fr 2 Programmation Impérative
Plus en détailApplication 1- VBA : Test de comportements d'investissements
Application 1- VBA : Test de comportements d'investissements Notions mobilisées Chapitres 1 à 5 du cours - Exemple de récupération de cours en ligne 1ère approche des objets (feuilles et classeurs). Corps
Plus en détailTP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile Dans ce TP, vous apprendrez à définir le type abstrait Pile, à le programmer en Java à l aide d une interface
Plus en détailSéquence 7. Séance 1 Histoire Regards sur l Afrique. Un empire africain, l empire du Ghana (VIII e -XII e siècle)
Séquene 7 Séquene 7 Séane 1 Histoire Regards sur l Afrique Un empire afriain, l empire du Ghana (VIII e -XII e sièle) A Un Empire présent sur un vaste territoire Exerie 1 : Loaliser l Empire du Ghana en
Plus en détailUtiliser des fonctions complexes
Chapitre 5 Utiliser des fonctions complexes Construire une formule conditionnelle avec la fonction SI Calculer un remboursement avec la fonction VPN Utiliser des fonctions mathématiques Utiliser la fonction
Plus en détail#DSAA. Marseille. u Lycée Denis Diderot {Lycée Marie Curie é Lycée Jean Perrin. Lycée Saint Exupéry
# Marseille u Lyée Denis Diderot {Lyée Marie Curie é Lyée Jean Perrin Lyée Saint Exupéry #sommaire_ Introdution Diplôme Supérieur d Arts Appliqués spéialité Design / Marseille 4 Projet pédagogique global
Plus en détailAlgorithme. Table des matières
1 Algorithme Table des matières 1 Codage 2 1.1 Système binaire.............................. 2 1.2 La numérotation de position en base décimale............ 2 1.3 La numérotation de position en base binaire..............
Plus en détailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détailBaccalauréat technologique
Baccalauréat technologique Épreuve relative aux enseignements technologiques transversaux, épreuve de projet en enseignement spécifique à la spécialité et épreuve d'enseignement technologique en langue
Plus en détailChapitre 2. Eléments pour comprendre un énoncé
Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données
Plus en détailFrancis BISSON (06 794 819) Kenny CÔTÉ (06 836 427) Pierre-Luc ROGER (06 801 883) IFT702 Planification en intelligence artificielle
Francis BISSON (06 794 819) Kenny CÔTÉ (06 836 427) Pierre-Luc ROGER (06 801 883) PLANIFICATION DE TÂCHES DANS MS PROJECT IFT702 Planification en intelligence artificielle Présenté à M. Froduald KABANZA
Plus en détailConception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Plus en détailCours de Master Recherche
Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction
Plus en détailFONDEMENTS MATHÉMATIQUES 12 E ANNÉE. Mathématiques financières
FONDEMENTS MATHÉMATIQUES 12 E ANNÉE Mathématiques financières A1. Résoudre des problèmes comportant des intérêts composés dans la prise de décisions financières. [C, L, RP, T, V] Résultat d apprentissage
Plus en détailChapitre 4 : Exclusion mutuelle
Chapitre 4 : Exclusion mutuelle Pierre Gançarski Juillet 2004 Ce support de cours comporte un certain nombre d erreurs : je décline toute responsabilité quant à leurs conséquences sur le déroulement des
Plus en détailInfo0804. Cours 6. Optimisation combinatoire : Applications et compléments
Recherche Opérationnelle Optimisation combinatoire : Applications et compléments Pierre Delisle Université de Reims Champagne-Ardenne Département de Mathématiques et Informatique 17 février 2014 Plan de
Plus en détailProjet L1, S2, 2015: Simulation de fourmis, Soutenance la semaine du 4 mai.
Projet L1, S2, 2015: Simulation de fourmis, Soutenance la semaine du 4 mai. 1 Introduction On considère une grille de 20 lignes 20 colonnes. Une case de la grille peut être vide, ou contenir une et une
Plus en détailRAPPORT D AUDIT INTERNE
RAPPORT D AUDIT INTERNE Transcriptomique Génomique Marseille Luminy ontexte Dates d'audit : 1 au 2 octobre 2014 Périmètre d'audit : ensemble du système de management intégrant un SMQ Objectif de l'audit
Plus en détailRappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme
Rappel Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.univ-paris-diderot.fr 6 mai 2015 Jusqu'à maintenant : un petit langage de programmation
Plus en détailComment se servir de cet ouvrage? Chaque chapitre présente une étape de la méthodologie
Partie I : Séries statistiques descriptives univariées (SSDU) A Introduction Comment se servir de cet ouvrage? Chaque chapitre présente une étape de la méthodologie et tous sont organisés selon le même
Plus en détailIN 102 - Cours 1. 1 Informatique, calculateurs. 2 Un premier programme en C
IN 102 - Cours 1 Qu on le veuille ou non, les systèmes informatisés sont désormais omniprésents. Même si ne vous destinez pas à l informatique, vous avez de très grandes chances d y être confrontés en
Plus en détailÉPREUVE COMMUNE DE TIPE 2008 - Partie D
ÉPREUVE COMMUNE DE TIPE 2008 - Partie D TITRE : Les Fonctions de Hachage Temps de préparation :.. 2 h 15 minutes Temps de présentation devant le jury :.10 minutes Entretien avec le jury :..10 minutes GUIDE
Plus en détailProjet BI powered de la société «BI experts»
Projet BI powered de la société «BI experts» Le sujet L objectif général du projet BI powered est la création d une chaîne décisionnelle, permettant d aider des utilisateurs à accéder (et analyser) des
Plus en détailSouad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/
Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation
Plus en détailPROPAGATION D ONDES ELECTROMAGNETIQUES DANS UN GUIDE D ONDE A SECTION RECTANGULAIRE
PROPAGATION D ONDS LCTROMAGNTIQUS DANS UN GUID D OND A SCTION RCTANGULAIR B. AMANA et J.-L. LMAIR Liene de Physique - Univ. de Cery-Pontoise. Propaation d Ondes M dans un uide à setion retanulaire. PARTI
Plus en détailC2 - DOSAGE ACIDE FAIBLE - BASE FORTE
Fiche professeur himie 2 - DOSAGE AIDE FAIBLE - BASE FORTE Mots-clés : dosage, ph-métrie, acide faible, base forte, neutralisation, concentration. 1. Type d activité ette expérience permet aux élèves de
Plus en détailProbabilités. Rappel : trois exemples. Exemple 2 : On dispose d un dé truqué. On sait que : p(1) = p(2) =1/6 ; p(3) = 1/3 p(4) = p(5) =1/12
Probabilités. I - Rappel : trois exemples. Exemple 1 : Dans une classe de 25 élèves, il y a 16 filles. Tous les élèves sont blonds ou bruns. Parmi les filles, 6 sont blondes. Parmi les garçons, 3 sont
Plus en détailConcours National d Informatique. Sujet de demi-finale Montpellier et Toulouse
Concours National d Informatique Sujet de demi-finale Montpellier et Toulouse 28 février 2009 Poule de lard 1 Préambule Bienvenue à Prologin. Ce sujet est l épreuve écrite d algorithmique et constitue
Plus en détailFeuille TD n 1 Exercices d algorithmique éléments de correction
Master Sciences, Technologies, Santé Mention Mathématiques, spécialité Enseignement des mathématiques Algorithmique et graphes, thèmes du second degré Feuille TD n 1 Exercices d algorithmique éléments
Plus en détailCours de Probabilités et de Statistique
Cours de Probabilités et de Statistique Licence 1ère année 2007/2008 Nicolas Prioux Université Paris-Est Cours de Proba-Stat 2 L1.2 Science-Éco Chapitre Notions de théorie des ensembles 1 1.1 Ensembles
Plus en détailGABARIT À PÊNE DORMANT ÉLECTRONIQUE
Trez un erle de 1 po (25,4 mm) de dimètre u entre du ord de l porte. 2" 1 3/4" 1 9/16" 1 3/8" 51 45 40 35 POUR DISTANCE D'ENTRÉE de 2 3/8 po (60 mm) Pliez e grit sur l ligne pointillée et plez elle-i sur
Plus en détailDESCRIPTION DU PLUGIN D AUTHENTIFICATION AVEC CAS POUR SPIP
Secrétariat général Service des Politiques support et des Systèmes d Information entre de prestations et d Ingénierie Informatique Département Opérationnel de l Ouest Décembre 2013 DESRIPTION DU PLUGIN
Plus en détailAlgorithmique et Programmation Fonctionnelle
Algorithmique et Programmation Fonctionnelle RICM3 Cours 9 : Lambda-calcul Benjamin Wack Polytech 2014-2015 1 / 35 La dernière fois Typage Polymorphisme Inférence de type 2 / 35 Plan Contexte λ-termes
Plus en détailRapport d'analyse des besoins
Projet ANR 2011 - BR4CP (Business Recommendation for Configurable products) Rapport d'analyse des besoins Janvier 2013 Rapport IRIT/RR--2013-17 FR Redacteur : 0. Lhomme Introduction...4 La configuration
Plus en détailJade. Projet Intelligence Artificielle «Devine à quoi je pense»
Jade Projet Intelligence Artificielle «Devine à quoi je pense» Réalisé par Djénéba Djikiné, Alexandre Bernard et Julien Lafont EPSI CSII2-2011 TABLE DES MATIÈRES 1. Analyse du besoin a. Cahier des charges
Plus en détailLES GENERATEURS DE NOMBRES ALEATOIRES
LES GENERATEURS DE NOMBRES ALEATOIRES 1 Ce travail a deux objectifs : ====================================================================== 1. Comprendre ce que font les générateurs de nombres aléatoires
Plus en détailÉléments d informatique Cours 3 La programmation structurée en langage C L instruction de contrôle if
Éléments d informatique Cours 3 La programmation structurée en langage C L instruction de contrôle if Pierre Boudes 28 septembre 2011 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike
Plus en détailEntraînement au concours ACM-ICPC
Entraînement au concours ACM-ICPC Concours ACM-ICPC : format et stratégies Page 1 / 16 Plan Présentation Stratégies de base Page 2 / 16 Qu est-ce que c est? ACM-ICPC : International Collegiate Programming
Plus en détailCryptologie et physique quantique : Espoirs et menaces. Objectifs 2. distribué sous licence creative common détails sur www.matthieuamiguet.
: Espoirs et menaces Matthieu Amiguet 2005 2006 Objectifs 2 Obtenir une compréhension de base des principes régissant le calcul quantique et la cryptographie quantique Comprendre les implications sur la
Plus en détailAlgorithmique et Programmation, IMA
Algorithmique et Programmation, IMA Cours 2 : C Premier Niveau / Algorithmique Université Lille 1 - Polytech Lille Notations, identificateurs Variables et Types de base Expressions Constantes Instructions
Plus en détailBases de données documentaires et distribuées Cours NFE04
Bases de données documentaires et distribuées Cours NFE04 Introduction du cours Auteurs : Raphaël Fournier-S niehotta, Philippe Rigaux, Nicolas Travers prénom.nom@cnam.fr Département d informatique Conservatoire
Plus en détailRecherche dans un tableau
Chapitre 3 Recherche dans un tableau 3.1 Introduction 3.1.1 Tranche On appelle tranche de tableau, la donnée d'un tableau t et de deux indices a et b. On note cette tranche t.(a..b). Exemple 3.1 : 3 6
Plus en détailCours d introduction à l informatique. Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions
Cours d introduction à l informatique Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions Qu est-ce qu un Une recette de cuisine algorithme? Protocole expérimental
Plus en détaill'appareil et vérifiez les composants Cartouches d'encre incluses [x4] CD-ROM d'installation CD-ROM de documentation
Guide d instlltion rpide Commener DCP-J35W Veuillez lire ttentivement e Guide d'instlltion rpide pour onnître l proédure de onfigurtion et d'instlltion vnt d'utiliser l'ppreil. AVERTISSEMENT ATTENTION
Plus en détailBrique BDL Gestion de Projet Logiciel
Brique BDL Gestion de Projet Logiciel Processus de développement pratiqué à l'enst Sylvie.Vignes@enst.fr url:http://www.infres.enst.fr/~vignes/bdl Poly: Computer elective project F.Gasperoni Brique BDL
Plus en détailprotection consommateurs commerce électronique Principes régissant la dans le Le cadre canadien des
Principes régissant la protection consommateurs des dans le commerce électronique Le cadre canadien Groupe de travail sur la consommation et le commerce électronique Principes régissant la protection
Plus en détailIntégrale et primitives
Chpitre 5 Intégrle et primitives 5. Ojetif On herhe dns e hpitre à onstruire l opérteur réiproue de l opérteur de dérivtion. Les deux uestions suivntes sont lors nturelles. Question : Soit f une pplition
Plus en détailPoker. A rendre pour le 25 avril
Poker A rendre pour le 25 avril 0 Avant propos 0.1 Notation Les parties sans * sont obligatoires (ne rendez pas un projet qui ne contient pas toutes les fonctions sans *). Celles avec (*) sont moins faciles
Plus en détailChapitre 5 : Flot maximal dans un graphe
Graphes et RO TELECOM Nancy A Chapitre 5 : Flot maximal dans un graphe J.-F. Scheid 1 Plan du chapitre I. Définitions 1 Graphe Graphe valué 3 Représentation d un graphe (matrice d incidence, matrice d
Plus en détailSÉQUENCE 7 Histoire La France et l Europe en 1815. Séance 1
Séquene 7 SÉQUENCE 7 Histoire La Frane et l Europe en 1815 Séane 1 Du Congrès de Vienne à la Sainte-Alliane, une volonté de retour à l ordre anien Exerie 1 : Je mets en relation deux douments de nature
Plus en détailDimensionnement Introduction
Dimensionnement Introduction Anthony Busson Dimensionnement Pourquoi dimensionner? Création d un système informatique ou réseau Problème de décision (taille des différents paramètres) Evaluer les performances
Plus en détailMéthode de Test. Pour WIKIROUTE. Rapport concernant les méthodes de tests à mettre en place pour assurer la fiabilité de notre projet annuel.
Méthode de Test Pour WIKIROUTE Rapport concernant les méthodes de tests à mettre en place pour assurer la fiabilité de notre projet annuel. [Tapez le nom de l'auteur] 10/06/2009 Sommaire I. Introduction...
Plus en détailSécuristation du Cloud
Schémas de recherche sur données chiffrées avancés Laboratoire de Cryptologie Thales Communications & Security 9 Avril 215 9/4/215 1 / 75 Contexte Introduction Contexte Objectif Applications Aujourd hui
Plus en détailMesurage en continu des flux polluants en MES et DCO en réseau d assainissement
MESURAGE EN CONTINU DES FLU POLLUANTS EN MES ET DCO EN RESEAU D ASSAINISSEMENT (M. LEPOT, 0) N d ordre 0ISAL0086 Année 0 Mesurage en ontinu des flux polluants en MES et DCO en réseau d assainissement Présenté
Plus en détailCalculs de probabilités
Calculs de probabilités Mathématiques Générales B Université de Genève Sylvain Sardy 13 mars 2008 1. Définitions et notations 1 L origine des probabilités est l analyse de jeux de hasard, tels que pile
Plus en détailUE 8 Systèmes d information de gestion Le programme
UE 8 Systèmes d information de gestion Le programme Légende : Modifications de l arrêté du 8 mars 2010 Suppressions de l arrêté du 8 mars 2010 Partie inchangée par rapport au programme antérieur Indications
Plus en détailExemples de problèmes et d applications. INF6953 Exemples de problèmes 1
Exemples de problèmes et d applications INF6953 Exemples de problèmes Sommaire Quelques domaines d application Quelques problèmes réels Allocation de fréquences dans les réseaux radio-mobiles Affectation
Plus en détail