Lignes directrices. Introduction à la Programmation par Contraintes. Lignes directrices. Affectation des fréquences : énoncé
|
|
- Stanislas Chassé
- il y a 8 ans
- Total affichages :
Transcription
1 Introduction à la Programmation par Contraintes Cours 5. Modélisation des problèmes réels (ou proches de la réalité). Ruslan Sadykov INRIA Bordeaux Sud-Ouest 10 Novembre / 35 2 / 35 : énoncé Il y a 5 émetteurs et 7 fréquences de transmission possibles. On doit les affecter les fréquences de telle sorte qu elles évitent des parasites entre les émetteurs proches. Toutes les fréquences affectées doivent être différentes T 1 T 2 = d 23 T 4 T 3 T 5 3 / 35 4 / 35
2 : modélisation Variables : F i fréquence affectée à l émetteur i. Domaines : D Fi = {1,..., 7}, i. Contraintes : F i F j d ij ou F i F j d ij F i F j d ij, (i, j) ; all-different(f 1,..., F 5 ) : contraintes additionnelles Il y a les fréquences basses ou VHF (1,2,3) et hautes ou UHF (4,5,6,7). Exactement 2 fréquences basses et 3 fréquences hautes doivent être affectées. Variables additionnelles : S i = 0 si basse et 1 si haute. Contraintes additionnelles : element(s i, {0, 0, 0, 1, 1, 1, 1}, F i ), i. gcc({si } i, {0, 1}, 2, 3, 2, 3) / 35 6 / 35 : énoncé Source : Alan M. Frisch 7 / 35 8 / 35
3 : modélisation Données : n options, m types de voiture. d i voitures de type i doivent être produites, 1 i m, T = m i=1 d i. aij = 1 si types i exige l option j, sinon a ij = 0, 1 i m, 1 j n. Pour chaque sous-séquence de qj voitures, l option j peut être installée à au plus p j, 1 j n. Variables : Xk numéro de type de voiture en position k dans la séquence, 1 k T. O kj = 1 si la voiture en position k exige l option j, sinon O kj = 0, 1 k T, 1 j n. Domaines : DXk = {1,..., m}, k. D Okj = {0, 1}, k, j. : contraintes La demande pour chaque type de voiture doit être satisfaite : gcc ({X k } k, {1,..., m}, {d i } i, {d i } i ). Liaison entre les variables X et O : Contraintes de séquence : k+q j k =k element ( O kj, {a ij } i, X k ), k, j. O k j p j, j, 1 k T q j / / 35 Constrainte globale de séquençage Les deux dernières contraintes peuvent être remplacées par la contrainte globale de séquençage (Source : Puget et Régin) : gsc(x 1,..., X n, V, q, p) Cette contrainte exige que dans chaque sous-séquence de X de longueur q le nombre totale des valeurs dans V prises soit au plus p. Pour notre problème : ) gsc ({X k } k, {i} aij =1, q j, p j, 1 j n. 11 / / 35
4 : énoncé n équipes, n 1 semaines, n 2 périodes. Chaque paire d équipes joue exactement 1 fois. Chaque équipe joue un match chaque semaine. Chaque équipe joue au plus deux fois dans la même période. : variables Pour chaque case, 2 variables représentent les équipes : Tpw h et Tpw, a p [1,..., n 2 ], w [1,..., n 1]. D(T h pw) = D(T a pw) = {0,..., n 1}, T h pw < T a pw, p, w. Pour chaque case, une variable représente le match : M pw, p [1,..., n 2 ], w [1,..., n 1]. D(M pw ) = {1,..., n(n1) 2 }, M pw = n T h pw + T a pw, p, w. Source : Jean-Charles Régin 13 / / 35 : contraintes : résultats all-different({m pw } 1 p n/2,1 w n1 ) ; all-different({tpw, h Tpw} a 1 p n/2 ), w [1,..., n] ; gcc({tpw, h Tpw} a 1 w n1, {k, 2, 2} 0 k n1 ), p [1,..., n 2 ]. contraintes implicites ; symétrie (très important) : élimination des permutations. En utilisant PPC, on peut trouver un ordonnancement pour 40 équipes (dans 6 heures) taille réelle! Aujourd hui, les ordonnancements pour MLB (centaines de contraintes) sont produits en utilisant la Recherche Opérationnelle (PLNE, PPC, heuristiques) Source : Michael A. Trick 15 / / 35
5 Emplois de temps : énoncé 4 employées, 7 jours dans la semaine. 3 périodes de travail chaque jour : jour (D, difficulté 1.0), soir (E, 0.8), nuit (N, 0.5). Dans chaque période, exactement un employée doit être présent chaque jour 3 employées travaillent, un est en repos. Difficulté totale pour chacun doit être.0. Lun Mar Mer Jeu Ven Sam Dim M. Vert J M. Bleu S M. Rouge N M. Brun Source : Gilles Pesant 17 / / 35 Emplois de temps : modélisation Variables : T âche ij, 1 i 4, 1 j 7, Charge ij, 1 i 4, 1 j 7. Domaines : D T âcheij = {D, E, N, }, i, j. Contraintes : all-different(t âche j ), j. element(chargeij, {1.0, 0.8, 0.5, 0}, T âche ij ), i, j. 7 j=1 Charge ij.0, i. Lun Mar Mer Jeu Ven Sam Dim M. Vert D D D D M. Bleu N N N N N N M. Rouge N D D E D M. Brun E E E E E E Emplois de temps : longueur de série Contrainte additionnelle : longueur d une série doit être comprise entre une valeur min et une valeur max. Modélisation : stretch(t âche i, {2, 1, 1, 1}, {4, 4, 4, 7}). Lun Mar Mer Jeu Ven Sam Dim M. Vert D D N E D D M. Bleu N N N N N N M. Rouge D D D M. Brun E E E E E E 19 / / 35
6 Emplois de temps : contrainte Pattern L automate fini pour notre exemple Contrainte additionnelles : Pas de changement de la période de travail sans le repos. Rotation en avant : D... E... N... D... Modélisation : pattern(t âche i, A), i. Cettes contraintes sont satisfaites si chaque séquence («mot») (T âche i1,..., T âche i7 ) est satisfaite par l automate fini A. start a D E c b D E g E f Lun Mar Mer Jeu Ven Sam Dim M. Vert D D E E E E M. Bleu E E E N N N M. Rouge N N N N D D M. Brun D D D D N d N e N 21 / / 35 : une solution réelle 23 / / 35
7 Ordonnancement d atelier Ordonnancement d atelier modélise des problèmes où les tâches se constituent d opérations nécessitantes machines (ressources) spécifiques. Ateliers à cheminement libres : Job-shop M 2 Entrée de l atelier Sortie de l atelier M 1 M 3 Exemples d application Atelier de montage. Ligne de production. Opérations de chaque tâche forment une chaîne : O i1 O i2 O ini. Tâches suivent ces propres séquences sur les machines. 25 / / 35 Ordonnancement «job-shop» : énoncé n tâches, chaque tâche J i se constitue d une chaîne de n i opérations (O i1,..., O i,ni ). m machines disponibles. Chaque opération O ij est de longueur p ij est doit être exécutée par machine a ij {1,..., m}. But : trouver un ordonnancement de longueur n excédant pas T où les opérations ne se chevauche pas sur chaque machine. Ordonnancement «job-shop» : modélisation Variables : S ij date de début d exécution de l opération O ij, 1 i n, 1 j n i. Domaines : D Sij = [0, T p ij ], i, j. Contraintes : précédence : Sij + p ij S i,j+1, i, 1 j n i 1 ; non-chevauchement : disjunctive ( {S ij } aij =k, {p ij } aij =k), 1 k m. Machine 3 O 31 O 13 O 23 Machine 3 O 31 O 13 O 23 Machine 2 O 21 O 12 O 33 Machine 2 O 21 O 12 O 33 Machine 1 O 11 O 22 O 32 Machine 1 O 11 O 32 O / / 35
8 Job-shop : exemple Chez Faittout, certains produits sont étiquetés avant d être emballés, alors que pour d autres l étiquette est placée sur l emballage. Combien de temps faut-il pour apprêter les lots suivants? lot A B C D E F durée d emballage durée d étiquetage emballer avant d étiqueter? oui oui oui no no Source : François Vanderbeck 29 / / 35 : énoncé : modélisation On doit couper un morceau rectangulaire (en bois, en acier,...) en petits morceaux. Rotations ne sont pas possibles. H Morceau initial W D E A C B F H G w J J h J I K Variables : X i, Y i coordonnées x et y du coin inférieur gauche du morceau i. Domaines : D Xi = [0, W w i ], D Yi = [0, H h i ], i. Contraintes pour chaque paire (i, j) des morceaux : X i + w i X j Xi X j + w j i est à gauche de j ou i est à droite de j ou Y i + h i Y j Yi Y j + h j i est au-dessous de j ou i est à au-dessus de j Les contraintes sont très «lâches» est locales! 31 / / 35
9 : contraintes superflus : une application On a besoin d un point de vue plus global sur notre problème. On ajoute les contraintes additionnelles : cumulative({xi } i, {w i } i, {h i } i, H) ; cumulative({yi } i, {h i } i, {w i } i, W ). Ces contraintes sont superflus mais utiles! Résultats (Source : Pedro Barahona) : B D J G H C Sans cumulative : 24 seconds. A E Avec cumulative : 40 milliseconds. I K F Source : 33 / / 35 Essentiel de modélisation «efficace» Essayez d utiliser plus de contraintes globales et moins de contraintes locales (il y a Global Constraint Catalog sur l Internet). Détectez et éliminez toutes les symétries que vous pouvez. Utiliser les contraintes superflus (mais utiles). Essayer différentes modèles. Essayer différentes heuristiques d instanciation des variables et valeurs. 35 / 35
Introduction à la Programmation par Contraintes (PPC) Ruslan Sadykov LIX, École Polytechnique
Introduction à la Programmation par Contraintes (PPC) Ruslan Sadykov LIX, École Polytechnique Contenu Introduction Modélisation Problèmes de satisfaction des contraintes Exemples des modèles PPC simples
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étailUnitecnic 2200 Unitecnic 2200 CS
Unitecnic Unitecnic S Notice de pose Seules les vis rouges et bleues peuvent être dévissées. (changement de combinaison et de main) Tout autre démontage interne est interdit. (annulation de la garantie)
Plus en détailPlan. 1. La planification d un d 2. Méthodes et techniques de planification 3. Conclusion. D. Leclet - 2006-2007
Plan 1. La planification d un d projet 2. Méthodes et techniques de planification 3. Conclusion 1 1. La planification d un d projet 1.1 Découpage chronologique du projet 1.2 Ordonnancement des tâchest
Plus en détailUnitecnic 2210 Unitecnic 2210 CS
Unitecnic Unitecnic S Notice de pose Adaptation de la main (sens de la porte) Par défaut, la serrure est configurée en main gauche (vue de l extérieur la serrure est à gauche sur la porte). Seules les
Plus en détailTSTI 2D CH X : Exemples de lois à densité 1
TSTI 2D CH X : Exemples de lois à densité I Loi uniforme sur ab ; ) Introduction Dans cette activité, on s intéresse à la modélisation du tirage au hasard d un nombre réel de l intervalle [0 ;], chacun
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étailInformation Equipment
PLM Information Equipment SOMMAIRE: DESCRIPTION ET CARACTERISTIQUES PRINCIPALES PLAN D INSTALLATION INFORMATIONS TECHNIQUES CONFIGURATION Sealed Air S.A.S. 53 rue St Denis Boîte Postale 9 F-28234 EPERNON
Plus en détailBaccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé
Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé A. P. M. E. P. Exercice 1 5 points 1. Réponse d. : 1 e Le coefficient directeur de la tangente est négatif et n est manifestement pas 2e
Plus en détailActivités de mesure de longueur avec des unités conventionnelles
Activités de mesure de longueur avec des unités conventionnelles Le mètre Cette activité facilite l utilisation du mètre comme instrument de mesure. Un mètre par élève et un mètre pour l enseignant ou
Plus en détailInterface PC Vivago Ultra. Pro. Guide d'utilisation
Interface PC Vivago Ultra Pro Guide d'utilisation Version 1.03 Configuration de l'interface PC Vivago Ultra Configuration requise Avant d'installer Vivago Ultra sur votre ordinateur assurez-vous que celui-ci
Plus en détailV- Manipulations de nombres en binaire
1 V- Manipulations de nombres en binaire L ordinateur est constitué de milliards de transistors qui travaillent comme des interrupteurs électriques, soit ouverts soit fermés. Soit la ligne est activée,
Plus en détailUnité centrale de commande Watts W24
N560/R01 (04.03.15) Unité centrale de commande Watts W24 Guide d utilisation FR Unité centrale sans fil 3-38 Instructions d installation et d emploi IMPORTANT! Le montage et le branchement de l unité de
Plus en détail2. Garantie En cas de problème ou de question technique, vous pouvez contacter notre hotline au numéro indigo ci-contre :
1. Important Prenez le temps de lire ce manuel utilisateur avant d utiliser votre antenne terrestre d intérieur. Ce manuel contient des informations importantes concernant le fonctionnement de votre antenne.
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é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étailProgrammation Par Contraintes
Programmation Par Contraintes Cours 2 - Arc-Consistance et autres amusettes David Savourey CNRS, École Polytechnique Séance 2 inspiré des cours de Philippe Baptiste, Ruslan Sadykov et de la thèse d Hadrien
Plus en détailAnnexe 6. Notions d ordonnancement.
Annexe 6. Notions d ordonnancement. APP3 Optimisation Combinatoire: problèmes sur-contraints et ordonnancement. Mines-Nantes, option GIPAD, 2011-2012. Sophie.Demassey@mines-nantes.fr Résumé Ce document
Plus en détailYANN ROUDAUT - Professeur de l Ecole Française de Poker - roudaut@ecolefrancaisedepoker.fr - 06 28 76 48 93
MODULE LES MATHEMATIQUES DU POKER Probabilités et Notions de Cotes - Partie 1 YANN ROUDAUT - Professeur de l Ecole Française de Poker - roudaut@ecolefrancaisedepoker.fr - 06 28 76 48 93 A/ POKER ET MATHEMATIQUES
Plus en détailLe code à barres EAN 13 mes premiers pas...
Le code à barres EAN 13 mes premiers pas... k étape 1 Vous venez d adhérer à GS1 France, Vous souhaitez connaître les démarches à suivre pour mettre en place un code à barres sur vos emballages. Ce guide
Plus en détailDiviser un nombre décimal par 10 ; 100 ; 1 000
Diviser un nombre décimal par 10 ; 100 ; 1 000 Diviser un nombre décimal par 10 ; 100 ; 1 000. 23 1 et 2 Pauline collectionne les cartes «Tokéron» depuis plusieurs mois. Elle en possède 364 et veut les
Plus en détailDBR. VARIZON Diffuseur basse vitesse avec diffusion d air réglable
VARIZON Diffuseur basse vitesse avec diffusion d air réglable Quelques caractéristiques Type de diffusion et zone de diffusion réglables Convient à tous les types de locaux avec des exigences élevées en
Plus en détailIndicateur d accélération numérique. Mode d emploi
Indicateur d accélération numérique Mode d emploi Table des matières Page 3... Page 4... Page 5... Page 6... INDY-CATOR-G Contenu de l emballage Montage de l indicateur Programmation/Mise en service 2
Plus en détailQuelques algorithmes simples dont l analyse n est pas si simple
Quelques algorithmes simples dont l analyse n est pas si simple Michel Habib habib@liafa.jussieu.fr http://www.liafa.jussieu.fr/~habib Algorithmique Avancée M1 Bioinformatique, Octobre 2008 Plan Histoire
Plus en détailLes probabilités. Chapitre 18. Tester ses connaissances
Chapitre 18 Les probabilités OBJECTIFS DU CHAPITRE Calculer la probabilité d événements Tester ses connaissances 1. Expériences aléatoires Voici trois expériences : - Expérience (1) : on lance une pièce
Plus en détailFiche descriptive d activités
Fiche descriptive d activités Fiche descriptive d activités (FDA) La fiche descriptive d activités (FDA) dresse la liste de l ensemble des activités, recensées lors d enquêtes, exercées par des titulaires
Plus en détailFlow 2 Introduction du Produit
Flow 2 Introduction du Produit A Accessibility 2 Flow2 Description des Composants du Siège a. Dossier b. Module de commande avec joystick & LED c. Accoudoirs (pliables) d. Ceinture de sécurité e. Siège
Plus en détailContrainte de flot pour RCPSP avec temps de transfert
Contrainte de flot et x-rcpsc T 1 Contrainte de flot pour RCPSP avec temps de transfert PS temp, s ij Cmax BENOIST Thierry BOUYGUES/e-Lab DIAMANTINI Maurice ENSTA/LMA Contrainte de flot et x-rcpsc T Présentation
Plus en détailUFR de Sciences Economiques Année 2008-2009 TESTS PARAMÉTRIQUES
Université Paris 13 Cours de Statistiques et Econométrie I UFR de Sciences Economiques Année 2008-2009 Licence de Sciences Economiques L3 Premier semestre TESTS PARAMÉTRIQUES Remarque: les exercices 2,
Plus en détailPlus petit, plus grand, ranger et comparer
Unité 11 Plus petit, plus grand, ranger et comparer Combien y a-t-il de boules sur la tige A? Sur la tige B? A B Le nombre de boules sur la tige A est plus grand que sur la tige B. On écrit : > 2 On lit
Plus en détailBipBatlula, monitoring autonome en haute fréquence
BipBatlula, monitoring autonome en haute fréquence Premiers essais 2009 Observateurs : Fabien Berhault Arnaud Le Houédec Chloé Thomas Rédacteur : Arnaud Le Houédec Présentation du matériel Le matériel
Plus en détailProbabilités. Une urne contient 3 billes vertes et 5 billes rouges toutes indiscernables au toucher.
Lycée Jean Bart PCSI Année 2013-2014 17 février 2014 Probabilités Probabilités basiques Exercice 1. Vous savez bien qu un octet est une suite de huit chiffres pris dans l ensemble {0; 1}. Par exemple 01001110
Plus en détailOUTILS EN INFORMATIQUE
OUTILS EN INFORMATIQUE Brice Mayag brice.mayag@dauphine.fr LAMSADE, Université Paris-Dauphine R.O. Excel brice.mayag@dauphine.fr (LAMSADE) OUTILS EN INFORMATIQUE R.O. Excel 1 / 35 Plan Présentation générale
Plus en détailCours Optimisation Partie Optimisation Combinatoire. Année scolaire 2008-2009. Gérard Verfaillie ONERA/DCSD/CD, Toulouse Gerard.Verfaillie@onera.
Cours Optimisation Partie Optimisation Combinatoire 3ième année ISAE Année scolaire 2008-2009 Gérard Verfaillie ONERA/DCSD/CD, Toulouse Gerard.Verfaillie@onera.fr Septembre 2008 Résumé Ce document couvre
Plus en détailINFO-F-425 Modèles mathématiques et algorithmes pour l ordonnancement. Bernard Fortz
INFO-F-425 Modèles mathématiques et algorithmes pour l ordonnancement Bernard Fortz 2008-2009 Table des matières 1 Définition et classification des problèmes d ordonnancement 2 1.1 Introduction....................................
Plus en détailCalcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.
1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le
Plus en détail-1- SOUNDMAN. Fabrication et distribution. SOUNDMAN e.k. Bornimer Str. 4 10711 Berlin (Allemagne) Tél & Fax (+49) - 30-28 59 81 16
-1- Mode d'emploi SOUNDMAN R MICRO À OREILLETTES Fabrication et distribution R SOUNDMAN e.k. Bornimer Str. 4 10711 Berlin (Allemagne) Tél & Fax (+49) - 30-28 59 81 16 Internet : http://www.soundman.de
Plus en détailLIVRET DE RÈGLES. @AsmadiGames. facebook.com/asmadigames
LIVRET DE RÈGLES @AsmadiGames facebook.com/asmadigames VOUS JOUEZ À RED La règle pour gagner au Rouge est simple : avoir la plus haute carte! Mais jouerez-vous toujours au même jeu lorsque votre tour prendra
Plus en détailDossier technique. Présentation du bus DMX et Utilisation des options EL13 / EL14 ERM AUTOMATISMES INDUSTRIELS 1 LE PROTOCOLE DMX 2
ERM AUTOMATISMES INDUSTRIELS 280 Rue Edouard Daladier 84973 CARPENTRAS Cedex Tél : 04 90 60 05 68 - Fax : 04 90 60 66 26 Site : http://www.erm-automatismes.com/ E-Mail : Contact@erm-automatismes.com 1
Plus en détailCIRCUIT DE CHARGE BOSCH
LA GUZZITHÈQUE 1/5 10/06/06 CIRCUIT DE CHARGE BOSCH Ce document est issu d un article de l Albatros, revue de liaison du MGCF, lui-même issu du Gambalunga, revue anglaise de liaison du MGC d Angleterre.
Plus en détailGamme Emballage DESCRIPTIF TECHNIQUE
Gamme Emballage DESCRIPTIF TECHNIQUE COMBINAISON DE TABLES DE CONDITIONNEMENT Table de conditionnement de base tabli avec tablette TTPH 718 Tablette inférieure TAT 180 TTPH Porte-outils TPPH TXL Cache-cbles
Plus en détailguide de branchement
guide de branchement Manœuvres R - F Exigences normatives et de sécurité Ce guide de branchement est destiné aux personnes qualifiées et dûment habilitées pour réaliser des travaux électriques, conformément
Plus en détail1 Savoirs fondamentaux
Révisions sur l oscillogramme, la puissance et l énergie électrique 1 Savoirs fondamentaux Exercice 1 : choix multiples 1. Quelle est l unité de la puissance dans le système international? Volt Watt Ampère
Plus en détailCours (7) de statistiques à distance, élaboré par Zarrouk Fayçal, ISSEP Ksar-Said, 2011-2012 LES STATISTIQUES INFERENTIELLES
LES STATISTIQUES INFERENTIELLES (test de Student) L inférence statistique est la partie des statistiques qui, contrairement à la statistique descriptive, ne se contente pas de décrire des observations,
Plus en détailTraitement bas-niveau
Plan Introduction L approche contour (frontière) Introduction Objectifs Les traitements ont pour but d extraire l information utile et pertinente contenue dans l image en regard de l application considérée.
Plus en détailLa programmation linéaire : une introduction. Qu est-ce qu un programme linéaire? Terminologie. Écriture mathématique
La programmation linéaire : une introduction Qu est-ce qu un programme linéaire? Qu est-ce qu un programme linéaire? Exemples : allocation de ressources problème de recouvrement Hypothèses de la programmation
Plus en détailGrilles de défense - Garde-corps - Balcons - Portails et clôtures Oeil de boeuf - Marquise - Barres d appui - Mains courantes - Etendoir - Grilles
Grilles de défense - Garde-corps - Balcons - Portails et clôtures Oeil de boeuf - Marquise - Barres d appui - Mains courantes - Etendoir - Grilles ouvrantes Fabrication française standard et sur mesure
Plus en détailChapitre 11. Séries de Fourier. Nous supposons connues les formules donnant les coefficients de Fourier d une fonction 2 - périodique :
Chapitre Chapitre. Séries de Fourier Nous supposons connues les formules donnant les coefficients de Fourier d une fonction - périodique : c c a0 f x dx c an f xcosnxdx c c bn f xsinn x dx c L objet de
Plus en détailInstructions pour l installation
InterSole SE Instructions pour l installation INTRODUCTION Information sur le produit L InterSole SE est un système de fixation complet pour l intégration de modules PV (conformément à IEC 61215 et IEC
Plus en détailLes correcteurs accorderont une importance particulière à la rigueur des raisonnements et aux représentations graphiques demandées.
Les correcteurs accorderont une importance particulière à la rigueur des raisonnements et aux représentations graphiques demandées. 1 Ce sujet aborde le phénomène d instabilité dans des systèmes dynamiques
Plus en détailObjets Combinatoires élementaires
Objets Combinatoires élementaires 0-0 Permutations Arrangements Permutations pour un multi-ensemble mots sous-ensemble à k éléments (Problème du choix) Compositions LE2I 04 1 Permutations Supposons que
Plus en détail12 pages. Tableaux de présentation mobiles et fixes Coffrets de présentation Écrans de présentation à emporter. Tout pour une présentation complète
12 pages Tableaux de présentation mobiles et fixes Coffrets de présentation Écrans de présentation à emporter Tout pour une présentation complète 953 Le tableau polyvalent La photo montre le flip-over
Plus en détailManomètre pour pression différentielle avec contacts électriques Exécution soudée Types DPGS43.1x0, version acier inox
Mesure mécatronique de pression Manomètre pour pression différentielle avec contacts électriques Exécution soudée Types DPGS43.1x0, version acier inox Fiche technique WIKA PV 27.05 Applications Contrôle
Plus en détaill Art de la relitique
l Art de la relitique DEPUIS 45 ANS, Une véritable «collection» de la Relitique que nous mettons à votre disposition dans notre Catalogue. Vous y trouverez les produits qui vous conviendront, tout en sachant
Plus en détailRésolution du RCPSP avec production et consommation de ressources : modèles PLNE basés sur les événements
«Évaluation et optimisation des systèmes innovants de production de biens et de services» Résolution du RCPSP avec production et consommation de ressources : modèles PLNE basés sur les événements Oumar
Plus en détailTD : Codage des images
TD : Codage des images Les navigateurs Web (Netscape, IE, Mozilla ) prennent en charge les contenus textuels (au format HTML) ainsi que les images fixes (GIF, JPG, PNG) ou animée (GIF animée). Comment
Plus en détailINVERSIO. N Azur 0 810 104 104. www.castorama.fr Service consommateur Castorama BP101-59175 Templemars. réf. R1-99879
INVERSIO Réf. ALTERNA 0 7 FR www.castorama.fr Service consommateur Castorama BP0-97 Templemars N Azur 0 80 0 0 PRI D UN APPEL LOCAL DEPUIS UN POSTE FIE réf. R-99879 R 99880-0909 Notice_INVERSIO_LIVRET_A_EE.indd
Plus en détailSystèmes de transmission
Systèmes de transmission Conception d une transmission série FABRE Maxime 2012 Introduction La transmission de données désigne le transport de quelque sorte d'information que ce soit, d'un endroit à un
Plus en détailSommaire. Images Actives Logiciel libre développé par le CRDP de l académie de Versailles 2 Rue Pierre Bourdan Marly le Roi - 78160
Sommaire Choisir son image... 2 Enregistrer son travail... 3 Créer les détails... 4 Supprimer une zone ou un détail... 6 Les commentaires... 6 Créer un lien hypertexte... 8 Appliquer un modèle... 8 Personnaliser
Plus en détailAlgorithmes pour la planification de mouvements en robotique non-holonome
Algorithmes pour la planification de mouvements en robotique non-holonome Frédéric Jean Unité de Mathématiques Appliquées ENSTA Le 02 février 2006 Outline 1 2 3 Modélisation Géométrique d un Robot Robot
Plus en détailNom de l application
Ministère de l Enseignement Supérieur et de la Recherche Scientifique Direction Générale des Etudes Technologiques Institut Supérieur des Etudes Technologiques de Gafsa Département Technologies de l Informatique
Plus en détailDETECTOR BICANAL FG2 1. DIMENSIONS ET CONNEXIONS ELECTRIQUES 2. GENERALITES. 24 VDC Alimentat. 24 Vcc. Contact Boucle 2 4 5. Contact Boucle 1 6 7
DETECTOR BICANAL FG. DIMENSIS ET CNEXIS ELECTRIQUES FRANÇAIS 4 VDC Alimentat. 4 Vcc 3 Contact Boucle 4 5 Contact Boucle 6 7 Boucle 8 9 0 Boucle Dimensions en mm. GENERALITES Applications: contrôle de barrières,
Plus en détailMAQUETTE DE MAISON EN BOIS ET EN BRIQUES
évolutions possibles Dossier réalisé par Christian BÉGUÉ Cyril LASCASSIES HPY version d' août 00 Table des matières A) IMPLANTATION DE LA MAISON... )Travail à faire :... )Matériel nécessaire :... B & C)
Plus en détailThème 17: Optimisation
OPTIMISATION 45 Thème 17: Optimisation Introduction : Dans la plupart des applications, les grandeurs physiques ou géométriques sont exprimées à l aide d une formule contenant une fonction. Il peut s agir
Plus en détailwww.gbo.com/bioscience 1 Culture Cellulaire Microplaques 2 HTS- 3 Immunologie/ HLA 4 Microbiologie/ Bactériologie Containers 5 Tubes/ 6 Pipetage
2 HTS 3 Immunologie / Immunologie Informations Techniques 3 I 2 ELISA 96 Puits 3 I 4 ELISA 96 Puits en Barrettes 3 I 6 en Barrettes de 8 Puits 3 I 7 en Barrettes de 12 Puits 3 I 8 en Barrettes de 16 Puits
Plus en détailThéorie et Codage de l Information (IF01) exercices 2013-2014. Paul Honeine Université de technologie de Troyes France
Théorie et Codage de l Information (IF01) exercices 2013-2014 Paul Honeine Université de technologie de Troyes France TD-1 Rappels de calculs de probabilités Exercice 1. On dispose d un jeu de 52 cartes
Plus en détailCOMPASS 485/232. D811320 26-11-01 Vers. 02 UNITE DE GESTION POUR COMPASS-READER
45/232 D320 26--01 Vers. 02 UNITE DE GESTION POUR -READER 45/232 Nous vous remercions pour avoir choisi ce produit. Nous sommes certains qu il vous offrira les performances que vous souhaitez. Lisez attentivement
Plus en détailInfolettre #18 : Les graphiques avec Excel 2010
Infolettre #18 : Les graphiques avec Excel 2010 Table des matières Introduction... 1 Hourra! Le retour du double-clic... 1 Modifier le graphique... 4 Onglet Création... 4 L onglet Disposition... 7 Onglet
Plus en détailCHAPITRE. Le mouvement en une dimension CORRIGÉ DES EXERCICES
CHAPITRE Le mouvement en une dimension CORRIGÉ DES EXERCICES Exercices. Le mouvement rectiligne uniforme SECTION. 5. Le graphique suivant représente la vitesse d une cycliste en fonction du temps. Quelle
Plus en détailCours d analyse numérique SMI-S4
ours d analyse numérique SMI-S4 Introduction L objet de l analyse numérique est de concevoir et d étudier des méthodes de résolution de certains problèmes mathématiques, en général issus de problèmes réels,
Plus en détailRéseau d Éducation Prioritaire de Harnes. Défis-math 2001-2009. Énoncés
Réseau d Éducation Prioritaire de Harnes Défis-math 2001-2009 Énoncés Défi-math 2001 Défi-math 2001 Défi n 1 On ne peut se déplacer dans ce labyrinthe qu en montant vers une case contenant un nombre plus
Plus en détailMesure de Salinité Réalisation d'un conductimètre
Kourou Novembre 2010. MANGOTECHNO Mesure de Salinité Réalisation d'un conductimètre Frédéric BOUCHAR (TENUM Toulouse) Version 1.0 Table des matières 1.Introduction...3 2.Qu'est-ce que la salinité?...3
Plus en détailModélisation et Simulation
Cours de modélisation et simulation p. 1/64 Modélisation et Simulation G. Bontempi Département d Informatique Boulevard de Triomphe - CP 212 http://www.ulb.ac.be/di Cours de modélisation et simulation
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étailManuel d utilisation Alarme Auto na-2018 Attention :
Manuel d utilisation Alarme Auto na-2018 Attention : 1) Le contenu de ce manuel comprend les informations nécessaires à une utilisation correcte de cet appareil. Nous vous suggérons dès lors de le lire
Plus en détailCOMBISAFE ESCALIER UNIVERSEL TM MODE D EMPLOI
COMBISAFE ESCALIER UNIVERSEL TM MODE D EMPLOI SOMMAIRE ESCALIER UNIVERSEL TM SOMMAIRE GÉNÉRALITÉ... 3 Introduction... 4 PRINCIPAUX ELEMENTS... 5 Accroches... 5 ASSEMBLAGE... 7 Assemblage de base... 7 ACCROCHES
Plus en détailTuto pour connecter une source RVB RGB à un moniteur Commodore / Amiga
Tuto pour connecter une source RVB RGB à un moniteur Commodore / Amiga Il faut 1 moniteur Commodore 1084S / 1083S-D1 Ecran 1084S (au dos, il est indiqué 1083S-D1), je l ai eut avec un Amiga 600 et on va
Plus en détailJEU VIDEO : UN NOUVEAU COMPAGNON par Colette KELLER-DIDIER
JEU VIDEO : UN NOUVEAU COMPAGNON par Colette KELLER-DIDIER JEU VIDEO : UN NOUVEAU COMPAGNON par Colette KELLER-DIDIER ALS (séance du 11 mai 2003) 48 Jeu video : un nouveau compagnon (Colette KELLER-DIDIER)
Plus en détailUn seul système national d étiquetage. pour l industrie laitière canadienne
Un seul système national d étiquetage pour l industrie laitière canadienne Table des matières Un seul système national d étiquetage pour les sujets laitiers. 1 Le système à trois modes de lecture fonctionne
Plus en détailBASE DE REFERENCES. www.gorgy-timing.fr
BASE DE REFERENCES AFFICHEURS www.gorgy-timing.fr Toutes modifications d'ordre technique, esthétique, de couleurs peuvent être apportées sans préavis. 1 BASE DE REFERENCES BDR_FR8-8-Afficheurs-V2.0 AFFICHEURS
Plus en détailMANUEL D UTILISATION EASY 12
MANUEL D UTILISATION EASY 12 NUMERIQUE RVE TECHNOLOGIE Siège social : Rue Gutenberg. Z.I. Les Carreaux. B.P. 19. 77440 Lizy-sur-Ourcq. France Tel : +33 (0)1 60 61 53 00, Fax : +33 (0)1 60 01 19 10, E-mail
Plus en détailPHANTOM. Manuel Avancé. V 1.4 2013.03.22 Révision. 2013 DJI Innovations. All Rights Reserved. 1
PHANTOM Manuel Avancé V 1.4 2013.03.22 Révision 2013 DJI Innovations. All Rights Reserved. 1 Index INDEX... 2 A1 INSTALLATION DU PILOTE ET DU LOGICIEL... 3 A2 CONFIGURATION ET MISES A JOUR DU LOGICIEL
Plus en détailTests de logique. Valérie CLISSON Arnaud DUVAL. Groupe Eyrolles, 2003 ISBN : 2-7081-3524-4
Valérie CLISSON Arnaud DUVAL Tests de logique Groupe Eyrolles, 2003 ISBN : 2-7081-3524-4 CHAPITRE 1 Mise en bouche Les exemples qui suivent constituent un panorama de l ensemble des tests de logique habituellement
Plus en détail1 Avant propos... 3. 2 Le réseau informatique... 4 2.1 Le câble... 4 2.2 Les connecteurs... 4 2.3 La norme de câblage EIA/TIA 568B...
SOMMAIRE 1 Avant propos... 3 2 Le réseau informatique... 4 2.1 Le câble... 4 2.2 Les connecteurs... 4 2.3 La norme de câblage EIA/TIA 568B... 5 3 L installation... 7 3.1 La baie de brassage (ou armoire
Plus en détailL apport des contraintes globales pour la modélisation et la résolution d applications industrielles
L apport des contraintes globales pour la modélisation et la résolution d applications industrielles A. Aggoun, N. Beldiceanu, E. Bourreau, H. Simonis COSYTEC SA, Parc Club Orsay Université 4, rue Jean
Plus en détailProblèmes d ordonnancement dans les systèmes de production. Journée Automatique et Optimisation Université de Paris 12 20 Mars 2003
Problèmes d ordonnancement dans les systèmes de production Michel Gourgand Université Blaise Pascal Clermont Ferrand LIMOS CNRS UMR 6158 1 Le LIMOS Laboratoire d Informatique, de Modélisation et d Optimisation
Plus en détailPLAN DE COURS. GPA750 Ordonnancement des systèmes de production aéronautique
Département de génie de la production automatisée Programme de baccalauréat Professeur Pontien Mbaraga, Ph.D. Session/année Automne 2004 Groupe(s) 01 PLAN DE COURS GPA750 Ordonnancement des systèmes de
Plus en détailJe découvre le diagramme de Venn
Activité 8 Je découvre le diagramme de Venn Au cours de cette activité, l élève découvre le diagramme de Venn et se familiarise avec lui. Pistes d observation L élève : reconnaît les éléments du diagramme
Plus en détailtarifs préférentiels 2014 pour les entreprises
tarifs préférentiels 2014 pour les entreprises Valables à partir du 01.01.2014 Sommaire Lettres en nombre 3 1. Formats 2. Clean Mail 3 5 Direct Mail et «toutesboîtes» 6 1. Direct Mail 1.1. définition 1.2.
Plus en détailSTI2D : Enseignements Technologiques Transversaux
STI2D : Enseignements Technologiques Transversaux Activité : Etude des transfert énergétiques dans la cafetière Nespresso Problématique : On calcule la puissance électrique consommée, on détermine l énergie
Plus en détail(51) Int Cl.: H04L 29/06 (2006.01) G06F 21/55 (2013.01)
(19) TEPZZ 8 8 4_A_T (11) EP 2 838 241 A1 (12) DEMANDE DE BREVET EUROPEEN (43) Date de publication: 18.02.1 Bulletin 1/08 (1) Int Cl.: H04L 29/06 (06.01) G06F 21/ (13.01) (21) Numéro de dépôt: 141781.4
Plus en détailPeut-on imiter le hasard?
168 Nicole Vogel Depuis que statistiques et probabilités ont pris une large place dans les programmes de mathématiques, on nous propose souvent de petites expériences pour tester notre perception du hasard
Plus en détailLe jour et la nuit. Lecture : Le jour et la nuit, comment ça marche?, Collection les questions de Justine, BELIN
CE1 Le jour et la nuit Découverte du monde 3 séances Outils pour le PE : Le temps Cycle 2, Les dossiers Hachette de 2011. Education civique et découverte du monde, Cycle 2 Collection Magellan de 2008 La
Plus en détailCRR. Notice technique 01_ACCES_NT004_carte relais radio_rév A1. Carte relais radio murale pour DAAF, type 4 et DM radio CARTE RELAIS RADIO MURALE
Notice technique 0_ACCES_NT00_carte relais radio_rév A CRR Carte relais radio murale pour DAAF, type et DM radio Code article : ACCTA0 Compatible avec le DAAF CalypsoIIR réf : DETDA0 le Type radio Iroise
Plus en détailAnalyse Combinatoire
Analyse Combinatoire 1) Équipes On dispose d un groupe de cinq personnes. a) Combien d équipes de trois personnes peut-on former? b) Combien d équipes avec un chef, un sous-chef et un adjoint? c) Combien
Plus en détail1171 Notre-Dame Ouest, # 100 Victoriaville, Qc G6P 7L1. Téléphone: (819) 751-0095 Télécopieur: (819) 751-1292
1171 Notre-Dame Ouest, # 100 Victoriaville, Qc G6P 7L1 Téléphone: (819) 751-0095 Télécopieur: (819) 751-1292 DESCRIPTION DES CONNECTEURS DU LBC-WG et RECOMMENDATIONS IMPORTANTES POUR L INSTALLATION Documentation
Plus en détailUNE REPRESENTATION GRAPHIQUE DE LA LIAISON STATISTIQUE ENTRE DEUX VARIABLES ORDONNEES. Éric TÉROUANNE 1
33 Math. Inf. Sci. hum., (33 e année, n 130, 1995, pp.33-42) UNE REPRESENTATION GRAPHIQUE DE LA LIAISON STATISTIQUE ENTRE DEUX VARIABLES ORDONNEES Éric TÉROUANNE 1 RÉSUMÉ Le stéréogramme de liaison est
Plus en détail16 mm 800B UNE CONCEPTION HAUT DE GAMME CARACTÉRISTIQUES DIMENSIONS APPROXIMATIVES
Page 1 UNE CONCEPTION HAUT DE GAMME Conformes aux normes internationales MATÉRIAUX DURABLES Les boutons-poussoirs Série 800B sont fabriqués dans un plastique anticorrosion afin de leur assurer une grande
Plus en détailAPPEL D INSCRIPTIONS
APPEL D INSCRIPTIONS DATE LIMITE DE SOUMISSION : Le 31 juillet 2015 Le concours Outstanding Retail Awards est possédé et exploité par : HARDLINES INC. 528 Queen St. E. Toronto, ON M5A 1V2 416-489-3396
Plus en détailFRANÇAIS SANO Liftkar SAL 2006 RZ.indd 1 SANO Liftkar SAL 2006 RZ.indd 1 09.02.2009 9:51:51 Uhr 09.02.2009 9:51:51 Uhr
FRANÇAIS SANO Liftkar SAL 2006 RZ.indd 1 09.02.2009 9:51:51 Uhr 1 2 LIFTKAR Le monte-escaliers électrique et MODULKAR Le diable 3 Les caractéristiques les plus importantes pour les deux équipements: 1)
Plus en détail