Le module Brute Force n'est pas fait pour être efficace, ni être executé. C'est un concept fonctionnel mais extrêmement lent.
|
|
- Ariane Fortin
- il y a 7 ans
- Total affichages :
Transcription
1 Rendu ESPERON DEPRESLE I) Séance 1 Le principe de notre code est le suivant : Un module pur "Brute Force" Un module pur "Branch and Bound" 1) Brute Force Le module Brute Force n'est pas fait pour être efficace, ni être executé. C'est un concept fonctionnel mais extrêmement lent. Une façon efficace de le faire trouver une premier solution serait de ne pas lui faire commencer par une liste parfaitement ordonnée, étant donné que prendre cette liste en premier éloigne naturellement la première solution trouvée d'un enorme nombre de permutations 2) Branch and Bound Notre module Branch and Bound est tout à fait classique, et consiste à partir d'un constat simple : On ne va pas tester toutes les valeurs d'une sous-permutation à partir du moment ou les valeurs fixées de celles-ci ne remplissent pas la condition de
2 l'invariant. On fait donc un maximum de tests au fur et à mesure pour éviter de descendre dans les branches de l'arbre des permutations qui sont inutiles. 3) Méthode de permutation des diagonales Comme montré en cours, la méthode des diagonales 4*4 a été très simplement implémentée. Le principe correspond, sur du 4x4, a partir du carré généré par les nombres placés dans l'ordre, a permuter les elements x(n) avec x(ordre² - n - 1), soit sur les diagonales, soit sur tout sauf les diagonales. Le principe mathématique derrière cette technique est le suivant. On a les diagonales qui répondent naturellement a la contrainte de l'invariant, parce que, quelle que soit la méthode, ses membres restent les mêmes. On va poser deux concepts pour essayer d'expliquer la méthode mathématique ensuite pour les lignes et les colonnes. Je vais parler de nombre "complément bas", pour parler des nombre qui sont d'indice x(n), avec n < ordre²/2, et pour chaque complement bas, il y'a son "complement haut", qui est égal a x(ordre² - n + 1) La méthode d'inversion des valeurs va donc, pour chaque ligne, permuter deux nombres complémentaires. Cela va être fait exactement de la même façon pour les colonnes, deux permutations de nombres complémentaires.
3 Cela entraine dans un premier temps la présence dans chaque ligne et chaque colonnes 2 complémentaires hauts, et 2 complémentaires bas. Cela entraine aussi, grâce à l'ordre initial du carré de 4x4, le fait que les lignes soient de la forme pour n=1,13, x(n) + x(16 - (n+1) + 1 ) + x( 16 -(n+2) + 1) + x(n+3) c'est a dire 2n - 2n = 34 Or ce calcul n'étant plus dépendant de n, on a bien l'invariant pour ces lignes pour n = 5, 9 x(16 - (n) + 1 ) + x(n+1) + x(n+2) + x(16 - (n+3) + 1 ) Encore une fois, on a : 32-2n + 2n = 34 Pour les colonnes, on aura le même phénomène, que je vais détailler pour n = 1, 4 x(n) + x(16 - (n+4)+ 1) + x(16 - (n+8) + 1) + x(n + 12) Ce qui fait 2n - 2n , c'est a dire 34. De la même facon, pour n=2,3 x(16 - (n)+ 1) + x(n+4) + x(n+8) + x(16 - (n+12) + 1) Ce qui fait 2n - 2n c'est a dire 34.
4 On peut évidemment poser ce raisonnement si et seulement si la position (n) a une valeur égale à sa position initale, c'est à dire si le tableau a été initialisé dans l'ordre... On a grâce a cette méthode de permutation donc une façon sûre de faire un carré magique sur 4x4. Cette méthode aura exactement le même résultat sur tous les multiples de 4, avec les mêmes comportements de calcul, étant donné que de la même facon, on va avoir ordre/2 compléments hauts et bas par lignes, dont les n vont s'annuler, et les additions et soustractions naturelles des lignes et colonnes génèreront l'invariant. II) Séance 2 1) Calcul du nombre de solutions possibles Nous avons tout d'abord du vérifier le nombre de solutions totales possibles pour un carré de 4x4. La plupart des ressources ne prenant pas en compte les permutations possibles pour chaque carré, nous avons donc du dénombrer tout d'abord le nombre de permutations possibles. Ce nombre est 8 pour les raisons suivantes. 1)
5 x o o y 2) rotation vers droite o o o x o o o y 3) rotation vers droite y o o x 4) rotation vers droite y o o o x o o o 5) symétrie verticale
6 o o o y o o o x 6) rotation vers droite x o o y 7) rotation vers droite x o o o y o o o 8) rotation vers droite y o o x Ce déroulement permet de générer les 8 permutations possibles,
7 même si il existe d'autres. Par exemple, 2 + symétrie verticale = 7, ou encore 6) + symétrie horizontale = 1) 2) Solutions évaluées Dans un premier temps, nous avons vérifié notre méthode, qui devait générer 7040, c'est à dire 8 permutations de 880 solutions. Avec la première implémentation de nos heuristiques, c'est à dire une vérification uniquement sur les lignes, colonnes et diagonales remplies, nous avions une performance d'environ 3 minutes pour la génération de toutes les solutions. Le travail principal à donc été de réduire ce temps au maximum. Nous sommes partis sur plusieurs pistes, qui vont être détaillées dans les prochaines sous-parties. 3) Génération de toutes les solutions à partir d'une solution Dans un premier temps, nous nous sommes renseignés sur l'état de l'art en matière de carrés magiques, de manière à limiter encore plus la taille de l'arbre généré, pour trouver une première solution, puis générer toutes les autres à partir de celle-ci. Visiblement, les carrés magiques 4x4 peuvent appartenir à 12 groupes différents, qui ont des propriétés différentes. Ces groupes sont classifiés vis-à-vis des positions des deux valeurs complémentaires. Ils correspondent à une généralisation
8 de la méthode que nous avions vue sur les diagonales. Nous pouvions donc implémenter une méthodes générant chaque possibilité de solution pour chaque groupe, puis toutes les rotations et symétries possibles à partir de chaque groupe, mais cet algo n'était plus de type branch and bound, et trop avantagé par une connaissance exhaustive des méthodes du carré 4x4. 4) Génération des 8 permutations à partir d'une solution Dans un second temps, nous nous sommes dit qu'il était possible de générer 7 solutions à partir d'une seule trouvée, en utilisant rotations et symétries comme indiqué dans le II)1). Cependant, cela sous-entend trois choses : Convenablement générer les solutions Les garder en mémoire pour ne pas les reproduire Couper intelligemment les branches situées autre part Ces trois besoins sont en fait 2 problèmes très importants : Générer les solutions n'est pas très difficile Stocker les matrices solutions en mémoire n'est pas nécéssairement extrèmement compliqué, mais parcourir ce tableau pour eventuellement chercher à couper une branche a un coût colossal Couper une branche de l'autre coté de l'arbre et pas encore
9 générée est littéralement impossible dans notre algorithme récursif. Ces problèmes nous ont donc poussés à laisser de côté cette méthode 5) Explication détaillée de notre méthode finale Notre méthode finale est somme toute très simple, et s'approche d'un branch and bound très pur, sans bornage de solutions. Nous partons d'une matrice vide, dans laquelle aucune valeur est insérée comme racine de l'arbre. Nous allons ensuite construire 16 fils, l'un avec 1 en première valeur fixée dans la matrice, la suivante avec 2... jusqu'a 16. Nous faisons un parcours Depth-First, nous allons donc privilégier la profondeur, juste après avoir construit la matrice 1, nous allons donc descendre dans ce fils, et construire la suite (2, 3, etc...) A partir du moment ou des vérifications peuvent-être faites, elles sont faites : A partir de deux valeurs sur une ligne, colonne ou diagonale, nous vérifions qu'il reste dans la liste des valeurs possibles des nombres assez hauts pour atteindre l'invariant A partir de 3 valeurs sur une ligne, colonne ou diagonale, nous vérifions que la somme est bien à moins de 16 de l'invariant, 16 étant la valeur maximale (Un parcours de liste ici
10 signifie une perte de temps). Nous vérifions aussi que la somme ne dépasse pas déjà l'invariant. A partir de 4 valeurs sur une ligne, colonne ou diagonale, nous vérifions qu'elle est bien égale à l'invariant. Ces vérifications permettent donc bien d'élaguer l'arbre au fur et à mesure pour limiter les récursions inutiles. 6) Tweaking et optimisation fine Plusieurs choses ont été testées de façon à optimiser au maximum le temps de notre algorithme. Nous avons tout d'abord testé toutes les combinaisons possibles des heuristiques listées cidessus de manière à avoir le meilleur ratio gain de temps / opération. Après un certain nombre de tests, nous en sommes arrivés à la conclusion que les tests sur 2 valeurs sont trop chers en temps pour le nombre de branches élaguées (~ 75s vs ~ 70s), nous avons donc décidé de désactiver ces vérifications. Ensuite, de manière à optimiser au maximum la rapidité, nous avons multithreadé notre algorithme : Chaque coeur du processeur va s'occuper d'une partie de l'arbre de manière à parallèliser au maximum les opérations. Il a fallu faire attention au fait d'avoir des structures de données compatibles avec ces méthodes.
RÉALISATION DE GRAPHIQUES AVEC OPENOFFICE.ORG 2.3
RÉALISATION DE GRAPHIQUES AVEC OPENOFFICE.ORG 2.3 Pour construire un graphique : On lance l assistant graphique à l aide du menu Insérer è Diagramme en ayant sélectionné au préalable une cellule vide dans
Plus en détailAGASC / BUREAU INFORMATION JEUNESSE 06700 Saint Laurent du Var Tel : 04.93.07.00.66 bij@agasc.fr www.agasc.fr. Word: Les tableaux.
Word: Les tableaux Introduction 6 ième partie Il est préférable par moments de présenter de l'information sous forme de tableau. Les instructions qui suivent démontrent comment créer un tableau et comment
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étailAlgorithmes de recherche
Algorithmes de recherche 1 Résolution de problèmes par recherche On représente un problème par un espace d'états (arbre/graphe). Chaque état est une conguration possible du problème. Résoudre le problème
Plus en détailLES DÉTERMINANTS DE MATRICES
LES DÉTERMINANTS DE MATRICES Sommaire Utilité... 1 1 Rappel Définition et composantes d'une matrice... 1 2 Le déterminant d'une matrice... 2 3 Calcul du déterminant pour une matrice... 2 4 Exercice...
Plus en détailCHAPITRE IX : Les appareils de mesures électriques
CHAPITRE IX : Les appareils de mesures électriques IX. 1 L'appareil de mesure qui permet de mesurer la différence de potentiel entre deux points d'un circuit est un voltmètre, celui qui mesure le courant
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étailArchitecture des Systèmes d Information Architecture des Systèmes d Information
Plan... Tableaux et tris I3 - Algorithmique et programmation 1 Rappels Nicol Delestre 2 Tableaux à n dimensions 3 Initiation aux tris Tableaux - v2.0.1 1 / 27 Tableaux - v2.0.1 2 / 27 Rappels : tableau
Plus en détailEbauche Rapport finale
Ebauche Rapport finale Sommaire : 1 - Introduction au C.D.N. 2 - Définition de la problématique 3 - Etat de l'art : Présentatio de 3 Topologies streaming p2p 1) INTRODUCTION au C.D.N. La croissance rapide
Plus en détailWHS ProRealTime. édition 2008 1.52
WHS ProRealTime édition 2008 1.52 Ce tutoriel est dédié aux fonctions de passage d'ordres sur ProRealTime avec WHSelfinvest. Pour obtenir une aide sur les autres fonctions de ProRealTime, veuillez consulter
Plus en détailLes tests logiques avec Excel
1. La fonction SI (test simple) : Les tests logiques avec Excel a) Nous aimerions qu'excel nous avertisse dés qu'une certaine valeur est atteinte, par exemple en affichant un message d'avertissement. Nous
Plus en détailBien commencer avec un LaunchPad MSP430G et un Breadboard
Bien commencer avec un LaunchPad MSP430G et un Breadboard Pierre-Yves Rochat Le LaunchPad et Energia Texas Instrument propose un environnement de développement très complet pour ses MSP430, appelé Code
Plus en détailPC Check & Tuning 2010 Optimisez et accélérez rapidement et simplement les performances de votre PC!
PC Check & Tuning 2010 Optimisez et accélérez rapidement et simplement les performances de votre PC! MAGIX PC Check & Tuning 2010 est la solution logicielle complète pour l'analyse, la maintenance et l'accélération
Plus en détailCH.6 Propriétés des langages non contextuels
CH.6 Propriétés des langages non contetuels 6.1 Le lemme de pompage 6.2 Les propriétés de fermeture 6.3 Les problèmes de décidabilité 6.4 Les langages non contetuels déterministes utomates ch6 1 6.1 Le
Plus en détailOPTIMISATION À UNE VARIABLE
OPTIMISATION À UNE VARIABLE Sommaire 1. Optimum locaux d'une fonction... 1 1.1. Maximum local... 1 1.2. Minimum local... 1 1.3. Points stationnaires et points critiques... 2 1.4. Recherche d'un optimum
Plus en détailComplément d information concernant la fiche de concordance
Sommaire SAMEDI 0 DÉCEMBRE 20 Vous trouverez dans ce dossier les documents correspondants à ce que nous allons travailler aujourd hui : La fiche de concordance pour le DAEU ; Page 2 Un rappel de cours
Plus en détailSOMMAIRE. Travailler avec les requêtes... 3
Access Les requêtes SOMMAIRE Travailler avec les requêtes... 3 A) Créer une requête sélection en mode QBE... 3 B) Exécuter une requête à partir du mode Modifier (QBE)... 3 C) Passer du mode Feuille de
Plus en détailVOTRE EAU CHAUDE ELECTRIQUE
G U I D E VOTRE EAU CHAUDE ELECTRIQUE SICAE Une réduction d'impôts peut être obtenue (sous certaines conditions) lors du remplacement de votre chauffe-eau électrique. Renseignez-vous auprès du Centre des
Plus en détailEPFL 2010. TP n 3 Essai oedomètrique. Moncef Radi Sehaqui Hamza - Nguyen Ha-Phong - Ilias Nafaï Weil Florian
1 EPFL 2010 Moncef Radi Sehaqui Hamza - Nguyen Ha-Phong - Ilia Nafaï Weil Florian 11 Table de matière Ø Introduction 3 Ø Objectif 3 Ø Déroulement de l eai 4 Ø Exécution de deux palier de charge 6 Ø Calcul
Plus en détail- Le Diagramme de Gantt. - Le Diagramme de Pert - La Méthode QQCQCCP - La Méthode MOSI - Cahier des charges fonctionnel
Planifier le projet > Identifier les étapes > Organiser le projet > Identifier les étapes - Le Diagramme de Gantt > Organiser le projet - Le Diagramme de Pert - La Méthode QQCQCCP - La Méthode MOSI - Cahier
Plus en détailBureau N301 (Nautile) benjamin@leroy-beaulieu.ch
Pre-MBA Statistics Seances #1 à #5 : Benjamin Leroy-Beaulieu Bureau N301 (Nautile) benjamin@leroy-beaulieu.ch Mise à niveau statistique Seance #1 : 11 octobre Dénombrement et calculs de sommes 2 QUESTIONS
Plus en détailExo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.
Eo7 Calculs de déterminants Fiche corrigée par Arnaud Bodin Eercice Calculer les déterminants des matrices suivantes : Correction Vidéo ( ) 0 6 7 3 4 5 8 4 5 6 0 3 4 5 5 6 7 0 3 5 4 3 0 3 0 0 3 0 0 0 3
Plus en détailProgrammation par contraintes. Laurent Beaudou
Programmation par contraintes Laurent Beaudou On se trouve où? Un problème, une solution : la solution est-elle une solution du problème? simulation, vérification 2 On se trouve où? Un problème, une solution
Plus en détailARBRES BINAIRES DE RECHERCHE
ARBRES BINAIRES DE RECHERCHE Table de symboles Recherche : opération fondamentale données : éléments avec clés Type abstrait d une table de symboles (symbol table) ou dictionnaire Objets : ensembles d
Plus en détailRÉALISATION D UN SITE DE RENCONTRE
RÉALISATION D UN SITE DE RENCONTRE Par Mathieu COUPE, Charlène DOUDOU et Stéphanie RANDRIANARIMANA Sous la coordination des professeurs d ISN du lycée Aristide Briand : Jérôme CANTALOUBE, Laurent BERNARD
Plus en détailTABLE DES MATIERES MENTIONS LEGALES QUI SUIS-JE? INTRODUCTION LES INDICATEURS DE LA STRATEGIE REGLES D ENTREE EN POSITION
TABLE DES MATIERES MENTIONS LEGALES QUI SUIS-JE? INTRODUCTION LES INDICATEURS DE LA STRATEGIE REGLES D ENTREE EN POSITION STOP LOSS & TAKE PROFIT MONEY MANAGEMENT VARIANTES CONCLUSION MENTIONS LEGALES
Plus en détailTableaux de bord de gestion du risque Rapport d audit permanent
www.coopami.org Tableaux de bord de gestion du risque Rapport d audit permanent TUNIS 17 décembre 2013 Michel Vigneul Conseiller Actuaire La bonne gestion financière d un système d assurance de soins de
Plus en détailLogique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
Logique binaire I. L'algèbre de Boole L'algèbre de Boole est la partie des mathématiques, de la logique et de l'électronique qui s'intéresse aux opérations et aux fonctions sur les variables logiques.
Plus en détailAlgorithmique I. Augustin.Lux@imag.fr Roger.Mohr@imag.fr Maud.Marchal@imag.fr. Algorithmique I 20-09-06 p.1/??
Algorithmique I Augustin.Lux@imag.fr Roger.Mohr@imag.fr Maud.Marchal@imag.fr Télécom 2006/07 Algorithmique I 20-09-06 p.1/?? Organisation en Algorithmique 2 séances par semaine pendant 8 semaines. Enseignement
Plus en détailAider à la décision. - La matrice d Eisenhower - Le diagramme de Pareto - Les arbres d objectifs - Le diagramme d affinités - La méthode Philips 6.
Guide méthodologique du travail en commun Aider à la décision > Hiérarchiser les priorités > Choisir les bonnes solutions > Hiérarchiser les priorités - La matrice d Eisenhower - Le diagramme de Pareto
Plus en détailProjet ISN - dossier réalisé par Randrianarimanana Stéphanie. Titre du projet : Site de rencontre. le nom de notre site de rencontre : Linkymeet
Projet ISN - dossier réalisé par Randrianarimanana Stéphanie Titre du projet : Site de rencontre le nom de notre site de rencontre : Linkymeet ( tout astérisque* signifie voir annexe) l'équipe : Randrianariamanana
Plus en détailALICEBOX. Guide d installation ADSL + TÉLÉPHONE + TV NUMÉRIQUE. Découvrir ma télécommande 12 TÉLÉCOMMANDE. Accès au médiacenter
Découvrir ma télécommande Activer/désactiver la connexion du décodeur au téléviseur Fin Enregistrement Play / Pause Revenir en arrière ou sortie Navigation Accès au médiacenter Allumer / Mettre en veille
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étailAvis sur la 1 ère révision du schéma d'aménagement et de gestion des eaux «Nappes profondes de Gironde»
Commission Planification Séance du 24 mai 2012 Délibération n DL/CB/12-XX Avis sur la 1 ère révision du schéma d'aménagement et de gestion des eaux «Nappes profondes de Gironde» Le comité de bassin délibérant
Plus en détailPROJET DE GESTION PORTEFEUILLE. Evaluation d une Stratégie de Trading
PROJET DE GESTION PORTEFEUILLE Evaluation d une Stratégie de Trading Encadré par M. Philippe Bernard Master 1 Economie Appliquée-Ingénierie Economique et Financière Taylan Kunal 2011-2012 Sommaire 1) Introduction
Plus en détailPourquoi l apprentissage?
Pourquoi l apprentissage? Les SE sont basés sur la possibilité d extraire la connaissance d un expert sous forme de règles. Dépend fortement de la capacité à extraire et formaliser ces connaissances. Apprentissage
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étailExercices de dénombrement
Exercices de dénombrement Exercice En turbo Pascal, un entier relatif (type integer) est codé sur 6 bits. Cela signifie que l'on réserve 6 cases mémoires contenant des "0" ou des "" pour écrire un entier.
Plus en détailProgrammation linéaire
1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit
Plus en détailActivité 11 : Nuage de points ou diagramme de dispersion
Activité 11 : Nuage de points ou diagramme de dispersion Un nuage de points, ou diagramme de dispersion, représente des coordonnées dans un plan cartésien. Chaque point dans le plan représente deux quantités.
Plus en détailTRUCS & ASTUCES SYSTEME. 1-Raccourcis Programme sur le Bureau (7)
TRUCS & ASTUCES SYSTEME 1-Raccourcis Programme sur le Bureau (7) 2- Mettre la souris sur Tous les programmes 3- Clic DROIT sur le programme dont on veut créer un raccourcis 4- Dans le menu contextuel Clic
Plus en détailSeconde et première Exercices de révision sur les probabilités Corrigé
I_ L'univers. _ On lance simultanément deux dés indiscernables donc il n'y a pas d'ordre. Il y a répétition, les dbles. On note une issue en écrivant le plus grand chiffre puis le plus petit. 32 signifie
Plus en détailINDEX Fonctionnement... 20 Schéma de câblage... 24
FRANÇAIS Pag 18 INDEX Fonctionnement... 20 Activation du lecteur de cartes... 21 Enregistrer des cartes d'accès... 22 Annulation des cartes d'accès... 22 Réglage du temps d'activation de la gâche électrique...
Plus en détailLe contexte. Le questionnement du P.E.R. :
Le contexte Ce travail a débuté en janvier. Le P.E.R. engagé depuis fin septembre a permis de faire émerger ou de réactiver : Des raisons d être de la géométrie : Calculer des grandeurs inaccessibles et
Plus en détailPremiers Pas avec OneNote 2013
Premiers Pas avec OneNote 2 Présentation de OneNote 3 Ouverture du logiciel OneNote 4 Sous Windows 8 4 Sous Windows 7 4 Création de l espace de travail OneNote 5 Introduction 5 Présentation des différentes
Plus en détailAlgorithmes d'apprentissage
Algorithmes d'apprentissage 1 Agents qui apprennent à partir d'exemples La problématique : prise de décision automatisée à partir d'un ensemble d'exemples Diagnostic médical Réponse à une demande de prêt
Plus en détailCompte bancaire ou assurance vie? 5. Amortissement direct ou indirect?
92 LE GUIDE FINANCIER DU PROPRIÉTAIRE Compte bancaire ou assurance vie? La décision de prendre un compte bancaire dépendra du profil du client et de ses besoins. Par exemple, si l emprunteur est célibataire
Plus en détailIII- Raisonnement par récurrence
III- Raisonnement par récurrence Les raisonnements en mathématiques se font en général par une suite de déductions, du style : si alors, ou mieux encore si c est possible, par une suite d équivalences,
Plus en détailSamuel Bassetto 04/2010
Industrialisation Lean manufacturing 4.2 Réalisé avec V. FIGENWALD - SIEMENS Samuel Bassetto 04/2010 Plan de la partie 2 : Vers une production Lean 1. Valeur Ajoutée et Gaspillages Muda walk 2. Temps de
Plus en détailUne chaudière mixte est facilement identifiable : elle se déclenche chaque fois que vous ouvrez un robinet d eau chaude.
Comment choisir votre douche Le système en place chez vous Lorsque vous choisissez le type de douche dont vous voulez vous équiper, vous devez au préalable vérifier le système de production d eau chaude
Plus en détailPROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES
Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.
Plus en détail1. LA GESTION DES BASES DE DONNEES RELATIONNELLES
Dossier G11 - Interroger une base de données La base de données Facturation contient tout un ensemble d'informations concernant la facturation de la SAFPB (société anonyme de fabrication de produits de
Plus en détailBaccalauréat S Antilles-Guyane 11 septembre 2014 Corrigé
Baccalauréat S ntilles-guyane 11 septembre 14 Corrigé EXERCICE 1 6 points Commun à tous les candidats Une entreprise de jouets en peluche souhaite commercialiser un nouveau produit et à cette fin, effectue
Plus en détailAlgorithmique avec Algobox
Algorithmique avec Algobox 1. Algorithme: Un algorithme est une suite d instructions qui, une fois exécutée correctement, conduit à un résultat donné Un algorithme doit contenir uniquement des instructions
Plus en détailUn exemple avec WORKSPACE d'interwrite
S'approprier un utilitaire de TNI Un exemple avec WORKSPACE d'interwrite Objectifs : S'approprier un utilitaire de TNI («soft»)afin de percevoir la plus-value pédagogique de l'outil. Pour cela utiliser
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étailQui est Smart AdServer?
Qui est Smart AdServer? Smart AdServer développe et commercialise l'une des principales technologies d'adserving pour la gestion des campagnes en ligne pour les agences média et les éditeurs. Créée en
Plus en détailLogiciel SCRATCH FICHE 02
1. Reprise de la fiche 1: 1.1. Programme Figure : Logiciel SCRATCH FICHE 02 SANS ORDINATEUR : Dessiner à droite le dessin que donnera l'exécution de ce programme : Unité : 50 pas : Remarque : vous devez
Plus en détailLe présent accord, pour un placement au pair, est conclu entre "l'hote" ci-aprés designé: Domicilié(e)á. Rue NOM: Né(e) le (1) Á De nationalité
ACCORD De placement au pair D'un stagiaire alde famillal Le présent accord, pour un placement au pair, est conclu entre "l'hote" ci-aprés designé: M. ou Mme Domicilié(e)á Rue Et "la personne au pai" ci-aprés
Plus en détailRESEAU TRES HAUT DEBIT EN FIBRE OPTIQUE - DOSSIER TECHNIQUE FTTH
DT-APD-94002794 Propriété Numéricable 1/16 COFEGI GESTION M MONSIEUR HEUDE Téléphone : 01 46 76 43 60 Gestionnaire : 5 RUE CONFLANS E-mail : sebastien.heude@cofegi.fr 94220 CHARENTON LE PONT Adresse(s)
Plus en détailRapidMiner. Data Mining. 1 Introduction. 2 Prise en main. Master Maths Finances 2010/2011. 1.1 Présentation. 1.2 Ressources
Master Maths Finances 2010/2011 Data Mining janvier 2011 RapidMiner 1 Introduction 1.1 Présentation RapidMiner est un logiciel open source et gratuit dédié au data mining. Il contient de nombreux outils
Plus en détailWARREN BUFFETT ^INTERPRETATION DES ETATS FINANCIERS. La recherche des entreprises qui possedent un avantage competitif durable
WARREN BUFFETT ET ^INTERPRETATION DES ETATS FINANCIERS La recherche des entreprises qui possedent un avantage competitif durable MARY BUFFETT ET DAVID CLARK MAXIMA LAURENT DU MESNIL^EDITEUR SOMMAIRE Introduction
Plus en détailImpact des robots d indexation sur le cache de second niveau de SPIP IMBERTI Christophe - SG/SPSSI/CP2I/DO Ouest 06/06/2012 mis à jour le 05/07/2012
Impact des robots d indexation sur le cache de second niveau de SPIP IMBERTI Christophe - SG/SPSSI/CP2I/DO Ouest 06/06/2012 mis à jour le 05/07/2012 SOMMAIRE 1. LE CONSTAT... 2 2. L EXPLICATION... 2 3.
Plus en détailRank Xerox (UK) Business Services
Europâisches Patentamt European Patent Office Dffice européen des brevets Numéro de publication: 0 451 672 A1 DEMANDE DE BREVET EUROPEEN Numéro de dépôt: 91105206.6 (g) Int. Cl.5: A47J 31/54 Date de dépôt:
Plus en détailNOTICE D' UTILISATION CAMWORKS FRAISAGE. Luc Vallée Lycée Blaise Pascal Segré
NOTICE D' UTILISATION Luc Vallée Lycée Blaise Pascal Segré FRAISAGE SOMMAIRE allée Sciences et techniques Fiche n 1 - Généralités principe....page 3 Fiche n 2 - Lancer une application fraisage...page 7
Plus en détailPIN Entry Plus Guide de l'utilisateur de la gestion des listes
Guide de l'utilisateur Conférence PIN Entry Plus Guide de l'utilisateur de la gestion des listes 1. Présentation... 2 2. Instructions pour l'organisateur... 2 2.1 Téléchargement d'une liste de codes PIN
Plus en détailCalcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane
Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane Poteaux Adrien XLIM-DMI, UMR-CNRS 6172 Université de Limoges Soutenance de thèse 15 octobre
Plus en détailBases de données réparties: Fragmentation et allocation
Pourquoi une base de données distribuée? Bibliographie Patrick Valduriez, S. Ceri, Guiseppe Delagatti Bases de données réparties: Fragmentation et allocation 1 - Introduction inventés à la fin des années
Plus en détailNuxeo Enterprise Platform: Guide utilisateur
Nuxeo Enterprise Platform: Guide utilisateur Copyright 2000-2008, Nuxeo SAS. Vous pouvez copier, diffuser et/ou modifier ce document selon les termes de la GNU Free Documentation License, Version 1.2;
Plus en détailL exclusion mutuelle distribuée
L exclusion mutuelle distribuée L algorithme de L Amport L algorithme est basé sur 2 concepts : L estampillage des messages La distribution d une file d attente sur l ensemble des sites du système distribué
Plus en détailDate : 18.11.2013 Tangram en carré page
Date : 18.11.2013 Tangram en carré page Titre : Tangram en carré Numéro de la dernière page : 14 Degrés : 1 e 4 e du Collège Durée : 90 minutes Résumé : Le jeu de Tangram (appelé en chinois les sept planches
Plus en détail5 CLES DE SUCCES POUR L E-TOURISME EN 2013 TRAVEL D OR 2013
5 CLES DE SUCCES POUR L E-TOURISME EN 2013 TRAVEL D OR 2013 Préparé par Guillaume Weill et Florence Le Guyader, CRM Metrix Travel d Or 2013, mars 2013 1 TRAVEL D OR 2013: UNE CONSULTATION UNIQUE EN SON
Plus en détailE.I.S : Un outil performant pour I'analyse du risque en Assurance
E.I.S : Un outil performant pour I'analyse du risque en Assurance Fabienne Hassan - Pascale Robin - Guy Valdois - Groupama Central Assurance France 1 - GROUPAMA ASSURANCE 1-1 Positionnement de l'entreprise
Plus en détailVue d'ensemble OBJECTIFS
Vue d'ensemble Créez des plans de projet plus aboutis en apprenant à utiliser les interdépendances (ou liens) des tâches, les retards et les avances dans Microsoft Office Project 2007. OBJECTIFS À la fin
Plus en détailDidier Pietquin. Timbre et fréquence : fondamentale et harmoniques
Didier Pietquin Timbre et fréquence : fondamentale et harmoniques Que sont les notions de fréquence fondamentale et d harmoniques? C est ce que nous allons voir dans cet article. 1. Fréquence Avant d entamer
Plus en détailRelease notes Release BE.12.27
Release notes Release BE.12.27 CARYA GROUP HQ Fountain Business Center / Building 5 C. Van Kerckhovenstraat 110 2880 Bornem T. +32 3 369 18 50 F. +32 3 369 18 51 E-mail: contact@caryagroup.eu CARYA GROUP
Plus en détailNote de cours. Introduction à Excel 2007
Note de cours Introduction à Excel 2007 par Armande Pinette Cégep du Vieux Montréal Excel 2007 Page: 2 de 47 Table des matières Comment aller chercher un document sur CVMVirtuel?... 8 Souris... 8 Clavier
Plus en détailChapitre 7. Récurrences
Chapitre 7 Récurrences 333 Plan 1. Introduction 2. Applications 3. Classification des récurrences 4. Résolution de récurrences 5. Résumé et comparaisons Lectures conseillées : I MCS, chapitre 20. I Rosen,
Plus en détailLes quatre chantiers :
Tweet Voir aussi : Les programmes de performance, La méthode Kaizen, Le Lean en 10 points. Le Lean est une démarche systématique dont l'objectif est d'éliminer toutes les sources de gaspillages dans les
Plus en détailModule Communication - Messagerie V6. Infostance. Messagerie
1 Infostance Messagerie 2 Table des matières Les droits... 3 La boîte de réception... 4 Fonctionnalités disponibles via le clic droit sur un message... 6 Ecrire un nouveau message... 7 Présentation...
Plus en détailDocumentation RBS Change E-Commerce Core
Documentation RBS Change E-Commerce Core 10 septembre 2010 2 Table des matières 1 Introduction à RBS Change 7 1.1 Concepts généraux................................... 7 1.1.1 Qu est-ce qu un module RBS
Plus en détailChap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1
Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-
Plus en détail2.4 Représentation graphique, tableau de Karnaugh
2 Fonctions binaires 45 2.4 Représentation graphique, tableau de Karnaugh On peut définir complètement une fonction binaire en dressant son tableau de Karnaugh, table de vérité à 2 n cases pour n variables
Plus en détailFichiers, dossiers, enregistrer et arborescence
Fichiers, dossiers, enregistrer et arborescence La notion de fichiers Dans les années 1960, les supports magnétiques (disques durs, disquettes,...) étaient encore très chers. D'autres méthodes ont été
Plus en détailExercice 1 : Questions théoriques (3 points)
EPREUVE CERTIFICATIVE BEPA Activités hippiques Session 2007-2009 MODULE G6 CCF n 2 Partie informatique 18 mars 2009 (Coefficient total : 0,5 Partie informatique : ¼ de la note) Durée : 1H30 NOM Prénom
Plus en détail12, PLACE DU PANTHEON 75005 PARIS. ADRESSE ELECTRONIQUE : capitant@clubinternet.fr TELEPHONE : + 33 (0)1 43 54 43 17 TELECOPIE : + 33 (0)1 40 51 86 52
12, PLACE DU PANTHEON 75005 PARIS ADRESSE ELECTRONIQUE : capitant@clubinternet.fr TELEPHONE : + 33 (0)1 43 54 43 17 TELECOPIE : + 33 (0)1 40 51 86 52 JOURNEES CAMBODGE - VIETNAM Phnom Penh et Ho Chi Minh
Plus en détailComment battre Milos Raonic?
Comment battre Milos Raonic? Milos Raonic est un jeune joueur de tennis professionnel Canadien. Il dispose de capacités physiques impressionnantes avec une taille de 1,96 m pour 90 kg. Depuis le début
Plus en détailTP Service HTTP Serveur Apache Linux Debian
Compte rendu de Raphaël Boublil TP Service HTTP Serveur Apache Linux Debian Tout au long du tp, nous redémarrons le service apache constamment pour que les fi de configuration se remettent à jour - /etc/init.d/apache2
Plus en détailEXCEL PERFECTIONNEMENT SERVICE INFORMATIQUE. Version 1.0 30/11/05
EXCEL PERFECTIONNEMENT Version 1.0 30/11/05 SERVICE INFORMATIQUE TABLE DES MATIERES 1RAPPELS...3 1.1RACCOURCIS CLAVIER & SOURIS... 3 1.2NAVIGUER DANS UNE FEUILLE ET UN CLASSEUR... 3 1.3PERSONNALISER LA
Plus en détailA B C D. Wireless Mobile Utility (ios) Manuel d utilisation D600, D7100, D5200 0 2 21 D3200, COOLPIX A 0 22 41. Nikon 1 : V2, J3, S1 0 42 59
Wireless Mobile Utility (ios) Manuel d utilisation Installez l'application Wireless Mobile Utility sur votre périphérique ios (iphone, ipad ou ipod) pour télécharger des images depuis un appareil photo
Plus en détaila) La technique de l analyse discriminante linéaire : une brève présentation. 3 étapes de la méthode doivent être distinguées :
a) La technique de l analyse discriminante linéaire : une brève présentation. Nous nous limiterons ici à l'analyse discriminante linéaire et à deux groupes : - linéaire, la variante utilisée par ALTMAN
Plus en détailDéclarer un serveur MySQL dans l annuaire LDAP. Associer un utilisateur DiaClientSQL à son compte Windows (SSO)
LDAP Mise en place Introduction Limitation et Sécurité Déclarer un serveur MySQL dans l annuaire LDAP Associer un utilisateur DiaClientSQL à son compte Windows (SSO) Créer les collaborateurs DiaClientSQL
Plus en détailManuel de configuration du Wi-Fi
Manuel de configuration du Wi-Fi uu Introduction Il existe deux modes LAN sans fil : le mode infrastructure pour la coexion via un point d'accès et le mode ad hoc pour établir une coexion directe avec
Plus en détailWindows sur Kimsufi avec ESXi
Introduction Depuis fin 2013 les serveurs Kimsufi sont livrés avec une seule adresse IPv4 et une seule adresse IPv6. De même les distributions Windows ne sont plus disponibles à l'installation Il est cependant
Plus en détailEtude de fonctions: procédure et exemple
Etude de fonctions: procédure et exemple Yves Delhaye 8 juillet 2007 Résumé Dans ce court travail, nous présentons les différentes étapes d une étude de fonction à travers un exemple. Nous nous limitons
Plus en détailSage Start Saisie des collaborateurs Instructions. A partir de la version 2015 09.10.2014
Sage Start Saisie des collaborateurs Instructions A partir de la version 2015 09.10.2014 Table des matières Table des matières 2 1.0 Base du personnel 3 2.0 Informations relatives aux personnes («données
Plus en détail1. Création d'un état... 2. 2. Création d'un état Instantané Colonnes... 3. 3. Création d'un état Instantané Tableau... 4
1. Création d'un état... 2 2. Création d'un état Instantané Colonnes... 3 3. Création d'un état Instantané Tableau... 4 4. Création d'un état avec plusieurs tables... 9 5. Modifier la structure d'un état...11
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
Plus en détail