Page 1. Diagramme de décision binaire (BDD) Diagramme de décision binaire (BDD) Diagramme de décision binaire. Représentation informatique des BDD
|
|
- Alexis Brousseau
- il y a 7 ans
- Total affichages :
Transcription
1 Digrmms éision inirs Digrmm éision inir (BDD) Grph-s Algorithms for Booln Funtion Mnipultion R.E. BRYANT IEEE Trnstion on Computrs 978, pp Eol Polythniqu Univrsitir Montpllir Univrsité Montpllir II Pl Eugèn Btillon, 495 Montpllir x 5, FRANCE Binry Dision Digrms S.B. AKERS IEEE Trnstion on Computrs 986, pp Lortoir 'Informtiqu, Rootiqu t Miroéltroniqu Montpllir UMR 556 Univrsité Montpllir II / CNRS 6 ru A, 49 Montpllir x 5, FRANCE Copyright 4 Epum/Lirmm Copyright 4 Epum/Lirmm Digrmm éision inir Digrmm éision inir (BDD) Théorèm Shnnon: F(x,x,..., x i,...,x n ) = x i. F(x,x,...,,...,x n ) + x i. F(x,x,...,,...,x n ) C théorèm étnt ppliqué à F pour x, puis ux ux sous-fontions otnus pour x, t insi suit jusqu à xn, on pux rélisr un rr éision inir x i F(,,) =.. +. F(,,) =.F(,.) +.F(,,) F(,,) =. F(,,) = F(,,) =.F(,.) +.F(,,) F(,,) = F(,,) = F()= F(,,).F(,,) F()+F().F(,,) F(,,) = F(,,) = F(,,) =.F(,.) +.F(,,) F(,,) = F(,,) = F(,,) =.F(,,) +.F(,,) F(,,) = F(,,) = F(,,) =.F(,,) +.F(,,) F(,,) = F(,,) = Copyright 4 Epum/Lirmm 4 Copyright 4 Epum/Lirmm Digrmm éision inir réuit (RBDD) Rprésnttion informtiqu s BDD 5 Réution pr élimintion s fuills t sous-grphs intiqus s sommts ronnts Propriété : Pour un oronnnmnt onné l BDD réuit (RBDD) st uniqu. Copyright 4 Epum/Lirmm Copyright 4 Epum/Lirmm Pg
2 Proéur réution s BDD Influn l orr s vrils Complxité : O(nlogn) Copyright 4 Epum/Lirmm 8 F(,,) =.. +. Orr: Orr: Copyright 4 Epum/Lirmm Orr s vrils Constrution s BDD Règls priorité: - Vrils pprissnt sous l mêm form ns tous ls monôms - Vrils onstitunt un monôm à lls suls - Vrils ourrn mximl strtégis prinipls onstrution s BDDs : l rin vrs ls fuills (top-own). Ctt métho st utilisé lorsqu on prt un formul lgériqu s fuills vrs l rin (ottom-up) lorsqu l on prt un sription struturll u iruit. - Vrils x minimisnt l xprssion O(x) - O(x ) (O(x): Nomr ourrns l vril x) 9 Copyright 4 Epum/Lirmm Copyright 4 Epum/Lirmm Constrution s BDD - Métho top-own Constrution s BDD - Métho Bottom-up On utilis l formul Shnnon. Exmpl: soit f(,,)= + v or()<or()<or() Si l on fit l xpnsion pr rpport à on otint l Fig. En fisnt l xpnsion pr rpport à on otint l Fig. En fisnt l xpnsion pr rpport à on otint l Fig. ' ' ' ' ) ) ) Définition: l nivu un formul st éfini pr : ls vrils ntré sont nivu hqu sous-formul f = g <Op> h un nivu égl à Mx (niv(g),niv(h)) + Métho pour onstruir l BDD un fontion f n vrils : ) onstruir ls BDD s vrils ) onstruir ls BDDs s formuls nivu i répétr l étp pour tous ls nivux (i =, n) Exmpl : f = xy + z : On onstruit ls BDD x, y t z puis lui x.y puis lui x.y + z. Copyright 4 Epum/Lirmm Copyright 4 Epum/Lirmm Pg
3 Opértions logiqus ntr BDD Opértions logiqus ntr BDD L BDD résultnt un opértion logiqu ntr fontions put êtr onçu à prtir s BDD originux n ppliqunt l proéur suivnt: Consiérr ls sommts rins s BDD En fontion l ntur s sommts ppliqur un s règls (R,R,R) Itérr l prossus jusqu à l génértion s sommts trminux x <Op> y R: Si ls sommts Sf t Sg sont s sommts trminux => L sommt résultnt st un sommt trminl vlur Vlur(Sf) <Op> Vlur(Sg) <Op> => <Op> R: Si l sommt Sf st un sommt trminl mis ps Sg => Crér l sommt Sg n lui ssoint omm fils roit l résultt l omprison (Sf, fils roit Sg) omm fils guh l résultt l omprison (Sf, fils guh Sg) <Op> Copyright 4 Epum/Lirmm 4 Copyright 4 Epum/Lirmm Opértions logiqus ntr BDD Opértions logiqus ntr BDD R: Si ni l sommt Sf ni l sommt Sg n sont s sommts trminux R.: Si Sf t Sg rprésntnt l mêm vril => Crér un sommt rprésntnt l vril n lui ssoint omm fils roit l résultt l omprison (fils roit Sf, fils roit Sg) omm fils guh l résultt l omprison (fils guh Sf, fils guh Sg) <Op> R: Si ni l sommt Sf ni l sommt Sg n sont s sommts trminux R. : Si Sf t Sg n rprésntnt ps l mêm vril => Crér un sommt S rprésntnt l vril intrvnnt l èr ns l oronnnmnt onsiéré (S=min(Or(Sf),Or(Sg)) n lui ssoint : omm fils roit l résultt l omprison (fils roit min(or(sf),or(sg)) (Sf) O (S )), mx(or(sf),or(sg))) (Sf) O (S ))) omm fils guh l résultt l omprison (fils guh min(or(sf),or(sg)), mx(or(sf),or(sg))) <Op> f 5 Copyright 4 Epum/Lirmm 6 Copyright 4 Epum/Lirmm Opértions logiqus ntr BDD Opértions logiqus ntr BDD R: <Op> => <Op> n n m m R: <Op> n n4 f(,,) = '+' m m4 g(,,) =. R.: R.: <Op> <Op> f (n,m) (n,m) (n,m) (n,m) (n,m) (n,m) (n,m) (n,m) (n,m4) (n,m) (n4,m) (n,m) (n4,m4) 7 Copyright 4 Epum/Lirmm 8 h(,,) = f(,,) + g(,g,) Copyright 4 Epum/Lirmm Pg
4 Digrmm éision inir Applition: Evlution fontions Complxité l proéur réution: O(nlogn) Strutur u BDD épn l orr ns lqul sont onsiérés ls vrils (OBDD) L rprésnttion un fontion F sous form BDD prmt trouvr rpimnt l vlur l fontion pour un ominison ntrés onné. Opértions logiqus ntr fontions => irtmnt sur ls OBDD ROBDD -> forms noniqus Applitions Evlution fontions Equivln fontion Clul ofturs Pruv tutologi Tst inlusion... L rprésnttion un fontion F sous form BDD prmt trouvr rpimnt un ominison s ntrés tlls qu F= ou tll qu F=. L omplxité s ux proéurs st n O(n) (L nomr rnhs ntr l rin t un fuill st u plus égl à n). 9 Copyright 4 Epum/Lirmm Copyright 4 Epum/Lirmm Applition: Equivln fontions Applition: Pruv tutologi Si l un s s suivnt st étté, l fontion n st ps un tutologi Pour un orr onné l ROBDD st uniqu. Pour svoir si fontions sont intiqus, il suffit voir si ls ROBBDs sont isomorphs. Touts ls vrils F sont monoforms Un vril monoform st présnt ns tous ls monôms L somm s tills (ns l sns nr points ouvrts) s monôms st infériur à n Si uun s onitions préént n st rmpli, rélisr l BDD. Un onition néssir t suffisnt pour qu un fontion soit un tutologi st qu tous ls sommts trminux (fuills) u BDD villnt (ou qu l RBDD soit rstrint à l fuill ) Exmpl: F(,,) = BDD RBDD Copyright 4 Epum/Lirmm Copyright 4 Epum/Lirmm Applition: Pruv tutologi L grph (BDD) put êtr simplifié n ppliqunt ls règls suivnts: Si un vril x pprît toujours sous l form irt, n ps ontinur l grph sur l rnh (F= <=> Fx =) Si un vril x pprît toujours sous l form omplémnté, n ps ontinur l grph sur l rnh (F= <=> Fx=) Applition: Evlution s ofturs F(x,x,..., x i,...,x n ) = x i. F(x,x,...,,...,x n ) + x i. F(x,x,...,,...,x n ) Pour otnir l oftur pr rpport à xi il suffit supprimr l sommt xi t lir ls sommts pointnt sur xi u fils roit xi Pour otnir l oftur pr rpport à xi il suffit supprimr l sommt xi t lir ls sommts pointnt sur xi u fils guh xi F = + F F' Copyright 4 Epum/Lirmm 4 Copyright 4 Epum/Lirmm Pg 4 4
5 Applition: Tst inlusion Applition: Tst inlusion 5 L prolèm st svoir si un monôm st inlus ns l xprssion l fontion, st à ir ouvrt pr un fontion. C prolèm put êtr réuit à un prolèm vérifition tutologi n utilisnt l théorèm suivnt. Théorèm : Un xprssion F ontint un monôm m si t sulmnt si F m st un tutologi. Rppl : F = m. F m + m F m m F <=> Fm = Copyright 4 Epum/Lirmm 6 Théorèm : m F <=> Fm = Pruv : Rmrquons qu α F <=> F α= α Supposons qu α F => F α = α Consiérons ls ofturs pr rpport à α s trms. Ls trms étnt égux, ls ofturs sont égux. => (F α) ) α = α α α α = => (F α) α = => F α α α = => F α = => F α st un tutologi Réiproqumnt, supposons qu F α soit un tutologi => F α = => F α α = α => F α = [ (α F α ) (α' F α ') ] α = F α α = α => α F Copyright 4 Epum/Lirmm Applition: Tst inlusion Rprésnttion s multi-fontions m F <=> F m = Soit l fontion f = '. Chrhons à svoir si l monôm st ouvrt pr tt xprssion. Soit un BDD pr fontion, soit on prtg s sous-rrs => gin pl Exmpl : F = x. x', F = x x, F = x', F4 = x + x' F F F F F F4 x x x x x 7 Copyright 4 Epum/Lirmm 8 Copyright 4 Epum/Lirmm Pg 5 5
Techniques 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étailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mthémtiques nnée 2009-2010 Chpitre 2 Le prolème de l unicité des solutions 1 Le prolème et quelques réponses : 1.1 Un exemple Montrer que l éqution différentielle :
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étailRéseau des bibliothèques du Pays de Pamiers Guide du Numérique
Réau d bibliothèqu du Pay d Pamir Guid du Numériqu Sit Intrnt du réau d lctur http://www.pamir.raubibli.fr C qu vou pouvz fair dpui notr it Intrnt : EXPLORER LE CATALOGUE : Plu d 80 000 documnt ont à votr
Plus en détailSTI2D Logique binaire SIN. L' Algèbre de BOOLE
L' Algère de BOOLE L'lgère de Boole est l prtie des mthémtiques, de l logique et de l'électronique qui s'intéresse ux opértions et ux fonctions sur les vriles logiques. Le nom provient de George Boole.
Plus en détailChapitre 6: Graphes eulériens et hamiltoniens
CHAPITRE 6 GRAPHES EULERIENS ET HAMILTONIENS 36 Cpitr 6: Grps ulérins t miltonins 6.1 Introution t ls prmièrs éinitions Introution L t nissn l téori s rps put êtr ixé à l'nné 1736. L'istoir ront qu ls
Plus en détailUNE AVENTVRE DE AGILE & CMMI POTION MAGIQUE OU GRAND FOSSÉ? AGILE TOVLOVSE 2011 I.VI VERSION
UN AVNTVR D AGIL & CMMI POTION MAGIQU OU GRAND FOÉ? AGIL TOVLOV 2011 VRION I.VI @YAINZ AKARIA HT T P: / / W WW.MA RTVIW.F HT T P: / / W R WW.KIND OFMAG K.COM OT @ PAB L OP R N W.FR MARTVI. W W W / :/ P
Plus en détailL'algèbre de BOOLE ou algèbre logique est l'algèbre définie pour des variables ne pouvant prendre que deux états.
ciences Industrielles ystèmes comintoires Ppnicol Roert Lycée Jcques Amyot I - YTEME COMBINATOIRE A. Algère de Boole. Vriles logiques: Un signl réel est une grndeur physique en générl continue, on ssocie
Plus en détailTitrages acidobasiques de mélanges contenant une espèce forte et une espèce faible : successifs ou simultanés?
Titrgs cidobsiqus d mélngs contnnt un spèc fort t un spèc fibl : succssifs ou simultnés? Introduction. L'étud d titrgs cidobsiqus d mélngs d dux ou plusiurs cids (ou bss) st un xrcic cournt [-]. Ls solutions
Plus en détailRadioCommunications CDMA
Conservtoire tionl es Arts et Métiers Cours u Conservtoire tionl es Arts et Métiers RioCommunitions CDMA (Version 7) Mihel Terré terre@nmfr Eletronique C4 / Conservtoire tionl es Arts et Métiers Les performnes
Plus en détailf n (x) = x n e x. T k
EXERCICE 3 (7 points) Commun à tous ls candidats Pour tout ntir naturl n supériur ou égal à, on désign par f n la fonction défini sur R par : f n (x) = x n x. On not C n sa courb rprésntativ dans un rpèr
Plus en détailCorrigé du baccalauréat S Pondichéry 13 avril 2011
Corrigé du baccalauréat S Pondichéry avril EXERCICE Commun à tous ls candidats Parti I points. L ax ds ordonnés st asymptot à C au voisinag d ; la fonction étant décroissant sur ] ; + [, la limit quand
Plus en détailCSMA 2013 11e Colloque National en Calcul des Structures 13-17 Mai 2013
Enrichissmnt modal du Slctiv Mass Scaling Sylvain GAVOILLE 1 * CSMA 2013 11 Colloqu National n Calcul ds Structurs 13-17 Mai 2013 1 ESI, sylvain.gavoill@si-group.com * Autur corrspondant Résumé En raison
Plus en détaila g c d n d e s e s m b
PPrrooppoossiittiioo 22001111JJPP 22770055 000011 uu 0088 fféévvrriirr 22001111 VVlliiiittéé jjuussqquu uu 3300//0044//22001111 tim c ir tv é p g c h u i rè s G A Z iv lu s IC.G R é c lo y m ip s 9 r7
Plus en détailAlgorithmes sur les mots (séquences)
Introduction Algorithmes sur les mots (séquences) Algorithmes sur les mots (textes, séquences, chines de crctères) Nomreuses pplictions : ses de données iliogrphiques ioinformtique (séquences de iomolécules)
Plus en détailLICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE. Unité d enseignement LCMA 4U11 ANALYSE 3. Françoise GEANDIER
LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE Unité d enseignement LCMA 4U ANALYSE 3 Frnçoise GEANDIER Université Henri Poincré Nncy I Déprtement de Mthémtiques . Tble des mtières I Séries numériques. Séries
Plus en détailMatériau pour greffe MIS Corporation. Al Rights Reserved.
Matériau pour grff MIS Corporation. All Rights Rsrvd. : nal édicaux, ISO 9001 : 2008 atio itifs m rn pos méd int i dis c a u x 9 positifs 3/42 té ls s dis /CE ur r l E. po ou u x U SA t s t appr o p a
Plus en détailThéorème de Poincaré - Formule de Green-Riemann
Chpitre 11 Théorème de Poincré - Formule de Green-Riemnn Ce chpitre s inscrit dns l continuité du précédent. On vu à l proposition 1.16 que les formes différentielles sont bien plus grébles à mnipuler
Plus en détailComment utiliser une banque en France. c 2014 Fabian M. Suchanek
Commnt utilisr un banqu n Franc c 2014 Fabian M. Suchank Créditr votr compt: Étrangr Commnt on mt d l argnt liquid sur son compt bancair à l étrangr : 1. rntrr dans la banqu, attndr son tour 2. donnr l
Plus en détailExemple de Plan d Assurance Qualité Projet PAQP simplifié
Exmpl d Plan d Assuranc Qualité Projt PAQP simplifié Vrsion : 1.0 Etat : Prmièr vrsion Rédigé par : Rsponsabl Qualité (RQ) Dat d drnièr mis à jour : 14 mars 2003 Diffusion : Equip Tchniqu, maîtris d œuvr,
Plus en détailCours et travaux dirigés Mécanique du point et du solide
Cours t tru irigés éniqu u point t u soli β G α C Frnçois BINET rofssur tir Unirsité Liogs IUT u Liousin Sit GEII Bri Unirsité Liogs. I.U.T. u liousin. Sit G.E.I.I. Bri Frnçois BINET - - Soir Bss rpèrs
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étailLes deux points les plus proches
MPSI Option Informatique Année 2001, Deuxième TP Caml Vcent Simonet (http://cristal.ria.fr/~simonet/) Les eux pots les plus proches Lors e cette séance, nous allons nous téresser au problème suivant :
Plus en détailSynthèse de cours (Terminale S) Calcul intégral
Synthèse de cours (Terminle S) Clcul intégrl Intégrle d une onction continue positive sur un intervlle [;] Dns cette première prtie, on considère une onction continue positive sur un intervlle [ ; ] (
Plus en détailLe présentoir virtuel. Paul FABING
L préir virl Pl FABING L x L'ffi ri ' viié q pr fibl prpri ri éjr A i 80% r ifri ppr xi à l'ffi ri C ppr v b hz l prir ri 50% Frçi éqipé rph L û xi à ir vi l 3G pr l érgr prhibiif rriir è r ri i ff L'
Plus en détailGuide de référence de l'installateur et de l'utilisateur
Gui référn l'instlltur t l'utilistur Climtisur systèm VRV IV REYQ8T7Y1B REYQ10T7Y1B REYQ12T7Y1B REYQ14T7Y1B REYQ16T7Y1B REYQ18T7Y1B REYQ20T7Y1B REMQ5T7Y1B Gui référn l'instlltur t l'utilistur Climtisur
Plus en détailLa plateforme Next Generation Mini guide
L plteforme Next Genertion Mini guie Ce guie onis été réé pour vous permettre e vous fmiliriser rpiement ve les nomreuses fontionnlités et outils isponiles sur l plteforme Next Genertion. Apprenez où trouver
Plus en détailImpôts 2012. PLUS ou moins-values
Impôt 2012 PLUS ou moin-values SUR VALEURS MOBILIÈRES ET DROITS SOCIAUX V v ti t à d f co o OP m à l Et L no di (o 20 o C c tit po Po c c or o o ou c l ou d 2 < Vou avz réalié d cion d valur mobilièr t
Plus en détailTVA et Systèmes d Information. Retour d expérience d entreprise. A3F - 26 mars 2015 Hélène Percie du Sert COFELY INEO
isr la t l t t zon iqur nt TVA t Systèms d Information Rtour d xpérinc d ntrpris A3F - 26 mars 2015 Hélèn Prci du Srt COFELY INEO Pour Sup Ins À p NB. M 30/03/2015 Sommair isr la t l t t zon iqur nt I
Plus en détailExprimez-vous lors du choix de vos pneus:
xprimez-vous lors du choix de vos pneus: xigez des pneus sûrs, ÉnergÉtiquement efficaces et silencieux! 72 d 72 d POUR MILLURS PNUS SUR LS ROUTS SUISSS S exprimer lors du choix des pneus? onner son avis
Plus en détailPolynômes à plusieurs variables. Résultant
Polynômes à plusieurs variables. Résultant Christophe Ritzenthaler 1 Relations coefficients-racines. Polynômes symétriques Issu de [MS] et de [Goz]. Soit A un anneau intègre. Définition 1.1. Soit a A \
Plus en détailBudget Constrained Resource Allocation for Non-Deterministic Workflows on a IaaS Cloud
Budget Constrained Resource Allocation for Non-Deterministic Workflows on a IaaS Cloud Eddy Caron, Frédéric Desprez, Adrian Muresan, Frédéric Suter To cite this version: Eddy Caron, Frédéric Desprez, Adrian
Plus en détailNOTICE DE MONTAGE VERSION 72
L â pour port oulnt motl NOTIE E MONTGE VERSION â pour port oulnt motl NOMENLTURE: â, rl t qunllr m l Montnt vrtux ntérur Entrto ( u) Fullr (0 u) l n polytyrèn ( u) Montnt vrtl potérur Smll Prt or upérur
Plus en détailTOUT CE QU IL FAUT SAVOIR POUR LE BREVET
TOUT E QU IL FUT SVOIR POUR LE REVET NUMERIQUE / FONTIONS eci n est qu un rappel de tout ce qu il faut savoir en maths pour le brevet. I- Opérations sur les nombres et les fractions : Les priorités par
Plus en détailChapitre VI Contraintes holonomiques
55 Chpitre VI Contrintes holonomiques Les contrintes isopérimétriques vues u chpitre précéent ne sont qu un eemple prticulier e contrintes sur les fonctions y e notre espce e fonctions missibles. Dns ce
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étailGarantie des Accidents de la Vie - Protection Juridique des Risques liés à Internet
Résrvé à votr intrlocutur AXA Portfuill : CR012764 N Clint : 1 r réalisatur : Matricul : 2 réalisatur : Matricul : Intégr@l Garanti ds Accidnts d la Vi - Protction ds Risqus liés à Intrnt J complèt ms
Plus en détail6 Equations du première ordre
6 Equations u première orre 6.1 Equations linéaires Consiérons l équation a k (x) k u = b(x), (6.1) où a 1,...,a n,b sont es fonctions continûment ifférentiables sur R. Soit D un ouvert e R et u : D R
Plus en détailLe guide du parraina
AGREMENT DU g L guid du parraina nsillr co t r g ra u co n r, Partag rs ls mini-ntrprnu alsac.ntrprndr-pour-apprndr.fr Crér nsmbl Ls 7 étaps d création d la Mini Entrpris-EPA La Mini Entrpris-EPA st un
Plus en détailSur certaines séries entières particulières
ACTA ARITHMETICA XCII. 2) Sur certaines séries entières particulières par Hubert Delange Orsay). Introduction. Dans un exposé à la Conférence Internationale de Théorie des Nombres organisée à Zakopane
Plus en détailLE SURENDETTEMENT. a s s e c o. leo lagrange UNION NATIONALE DES ASSOCIATIONS FAMILIALES. union féminine civique et sociale
LE SURENDETTEMENT 1 lo lagrang UNION NATIONALE 2 L'ENDETTEMENT 1984 : 4 ménags sur 10 avaint ds crédits (crédit à la consommation + immobilir) 1997 : 1 ménag sur 2 a un crédit n cours 55 % ds consommaturs
Plus en détailINSTRUCTIONS POUR L INSTALLATION ET LE FONCTIONNEMENT DES SERRURES À POIGNÉE BÉQUILLE
INSTRUCTIONS POUR L INSTALLATION ET LE FONCTIONNEMENT DES SERRURES À POIGNÉE BÉQUILLE POUR LES SERRURES D ENTRÉE À CLÉ EXTÉRIEURES VERROUILLABLES, À POIGNÉE DE BRINKS HOME SECURITY. POUR LES PORTES DE
Plus en détailTout ce qu il faut savoir en math
Tout ce qu il fut svoir en mth 1 Pourcentge Prendre un pourcentge t % d un quntité : t Clculer le pourcentge d une quntité pr rpport à une quntité b : Le coefficient multiplicteur CM pour une ugmenttion
Plus en détailChapitre 3. Mesures stationnaires. et théorèmes de convergence
Chapitre 3 Mesures stationnaires et théorèmes de convergence Christiane Cocozza-Thivent, Université de Marne-la-Vallée p.1 I. Mesures stationnaires Christiane Cocozza-Thivent, Université de Marne-la-Vallée
Plus en détailThéorie des graphes et optimisation dans les graphes
Théorie es graphes et optimisation ans les graphes Christine Solnon Tale es matières 1 Motivations 2 Définitions Représentation es graphes 8.1 Représentation par matrice ajacence......................
Plus en détailCorrection de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) (
Correction de l épreuve CCP PSI Mths PREMIÈRE PARTIE I- Soit t u voisinge de, t Alors ϕt t s = ϕt ρt s ρs Pr hypothèse, l fonction ϕt ϕt est lorsque t, il en est donc de même de ρt s ρt s ρs cr ρ s est
Plus en détailChapitre. Chapitre 12. Fonctions de plusieurs variables. 1. Fonctions à valeurs réelles. 1.1 Définition. 1.2 Calcul de dérivées partielles
1 Chapitre Chapitre 1. Fonctions e plusieurs variables La TI-Nspire CAS permet e manipuler très simplement les onctions e plusieurs variables. Nous allons voir ans ce chapitre comment procéer, et éinir
Plus en détailIl semble toutefois que, faisant écho à. champ opératoire. évidemment. odontologie restauratrice. le champ opératoire
oontologi rsturtri l hmp opértoir L hmp opértoir évimmnt Guthir Wisrok, Jn-Louis Brouillt Alors qu nos prtnirs inustrils s ornt à situr utour 3 % l nomr ntists utilisnt l igu, l moitié un éhntillon signiiti
Plus en détailProjet de Traitement du Signal Segmentation d images SAR
Projet de Traitement du Signal Segmentation d images SAR Introduction En analyse d images, la segmentation est une étape essentielle, préliminaire à des traitements de haut niveau tels que la classification,
Plus en détailSéquence 8. Probabilité : lois à densité. Sommaire
Séquence 8 Proilité : lois à densité Sommire. Prérequis 2. Lois de proilité à densité sur un intervlle 3. Lois uniformes 4. Lois exponentielles 5. Synthèse de l séquence Dns cette séquence, on introduit
Plus en détail= constante et cette constante est a.
Le problème Lorsqu on sait que f(x 1 ) = y 1 et que f(x 2 ) = y 2, comment trouver l expression de f(x 1 )? On sait qu une fonction affine a une expression de la forme f(x) = ax + b, le problème est donc
Plus en détailUniversité Paris-Dauphine DUMI2E. UFR Mathématiques de la décision. Notes de cours. Analyse 2. Filippo SANTAMBROGIO
Université Pris-Duphine DUMI2E UFR Mthémtiques de l décision Notes de cours Anlyse 2 Filippo SANTAMBROGIO Année 2008 2 Tble des mtières 1 Optimistion de fonctions continues et dérivbles 5 1.1 Continuité........................................
Plus en détailGestion de casiers en milieu scolaire. Augmenter la disponibilité en mode centralisé ou consignes, avec les casiers de Traka. traka.
gstion intllignt ds ccès Gstion d csirs n iliu scolir Augntr l disponibilité n od cntrlisé ou consigns, vc ls csirs d Trk trk.fr/csirs Un solution d gstion innovnt pr Trk Ldr ondil d l gstion intllignt
Plus en détailChapitre 11 : L inductance
Chpitre : inductnce Exercices E. On donne A πr 4π 4 metn N 8 spires/m. () Selon l exemple., µ n A 4π 7 (8) 4π 4 (,5) 5 µh (b) À prtir de l éqution.4, on trouve ξ ξ 4 3 5 6 6,3 A/s E. On donne A πr,5π 4
Plus en détailnous votre service clients orange.fr > espace client 3970*
nous votr srvi lints orang.fr > spa lint 3970* vous souhaitz édr votr abonnmnt Orang Mobil Bonjour, Vous trouvrz i-joint l formulair d ssion d abonnmnt Orang Mobil à rtournr omplété t par vous-mêm t par
Plus en détailTurbine hydraulique Girard simplifiée pour faibles et très faibles puissances
Turbine hydrulique Girrd simplifiée pour fibles et très fibles puissnces Prof. Ing. Zoltàn Hosszuréty, DrSc. Professeur à l'université technique de Kosice Les sites hydruliques disposnt de fibles débits
Plus en détailContexte. Pour cela, elles doivent être très compliquées, c est-à-dire elles doivent être très différentes des fonctions simples,
Non-linéarité Contexte Pour permettre aux algorithmes de cryptographie d être sûrs, les fonctions booléennes qu ils utilisent ne doivent pas être inversées facilement. Pour cela, elles doivent être très
Plus en détailModélisation d une section de poutre fissurée en flexion
Moéliation une ection e poutre fiurée en flexion Prie en compte e effort tranchant Chritophe Varé* Stéphane Anrieux** * EDF R&D, Département AMA 1, av. u Général e Gaulle, 92141 Clamart ceex chritophe.vare@ef.fr
Plus en détailCours 02 : Problème général de la programmation linéaire
Cours 02 : Problème général de la programmation linéaire Cours 02 : Problème général de la Programmation Linéaire. 5 . Introduction Un programme linéaire s'écrit sous la forme suivante. MinZ(ou maxw) =
Plus en détailC est signé 11996 mars 2015 Mutuelle soumise au livre II du Code de la Mutualité - SIREN N 780 004 099 DOC 007 B-06-18/02/2015
st signé 11996 mars 2015 Mutull soumis au livr II du od d la Mutualité - SIREN N 780 004 099 DO 007 B-06-18/02/2015 Édition 2015 Madam, Monsiur, Vous vnz d crér ou d rprndr un ntrpris artisanal ou commrcial
Plus en détailLaboratoire d Automatique et Productique Université de Batna, Algérie
Anale. Seria Informatică. Vol. IX fasc. 2 Annals. Computer Science Series. 9 th Tome st Fasc. 2 La sélection de paramètres d un système industriel par les colonies de fourmis Ouahab Kadri, L. Hayet Mouss,
Plus en détailECO ECO. Probablement le chauffe-eau solaire le plus évolué du monde. Eco 200 / Eco 250 / Eco 300 / Eco 450 ENERGIE CATALOGUE 13
co 00 / co 0 / co 00 / co 0 NR TOU O Probabement e chauffe-eau soaire e pus évoué du monde isponibe avec des capacités de 00 à 0 itres. Versions avec un ou deu panneau soaires, avec ou sans serpentin suppémentaire.
Plus en détailCalcul différentiel sur R n Première partie
Calcul différentiel sur R n Première partie Université De Metz 2006-2007 1 Définitions générales On note L(R n, R m ) l espace vectoriel des applications linéaires de R n dans R m. Définition 1.1 (différentiabilité
Plus en détailFORMATION PREPARATEUR EN ANATOMIE Externe CLERMONT 1 LYON UNIVERSITE LYON 1 VILLEURBANNE (069)
Document publié sous réserve de modifications SESSON 2005 LSTE DES EMPLOS OERTS UX ONOURS TR DE TEORE -v.1 (25/04/2005)- PRENSRPTONS ET NS DETLLEES SUR NTERNET : http://www.education.gouv.fr/personnel/itrf/
Plus en détailOptimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications
Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications A. Optimisation sans contrainte.... Généralités.... Condition nécessaire et condition suffisante
Plus en détail!!!! "#$$%&'(%)!*+!,-+..+! /0-'.1!2+!34!+$6-+!3788!! 9+!8+-!:#-%$!*+.!;)<'+-.!*+!2='&*%.<-'+!'$$#6'2'>-+!.+!<'+&*-0!?+%*'!
!!!! "#$$%&'(%)!*+!,-+..+! /0-'.1!2+!34!+$6-+!3788!! 9+!8+-!:#-%$!*+.!;)
Plus en détailCapacité d un canal Second Théorème de Shannon. Théorie de l information 1/34
Capacité d un canal Second Théorème de Shannon Théorie de l information 1/34 Plan du cours 1. Canaux discrets sans mémoire, exemples ; 2. Capacité ; 3. Canaux symétriques ; 4. Codage de canal ; 5. Second
Plus en détailCommun à tous les candidats
EXERCICE 3 (9 points ) Commun à tous les candidats On s intéresse à des courbes servant de modèle à la distribution de la masse salariale d une entreprise. Les fonctions f associées définies sur l intervalle
Plus en détailEstimation: intervalle de fluctuation et de confiance. Mars 2012. IREM: groupe Proba-Stat. Fluctuation. Confiance. dans les programmes comparaison
Estimation: intervalle de fluctuation et de confiance Mars 2012 IREM: groupe Proba-Stat Estimation Term.1 Intervalle de fluctuation connu : probabilité p, taille de l échantillon n but : estimer une fréquence
Plus en détailALGORITHMIQUE II NOTION DE COMPLEXITE. SMI AlgoII
ALGORITHMIQUE II NOTION DE COMPLEXITE 1 2 Comment choisir entre différents algorithmes pour résoudre un même problème? Plusieurs critères de choix : Exactitude Simplicité Efficacité (but de ce chapitre)
Plus en détailExo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.
Exo7 Matrice d une application linéaire Corrections d Arnaud odin. Exercice Soit R muni de la base canonique = ( i, j). Soit f : R R la projection sur l axe des abscisses R i parallèlement à R( i + j).
Plus en détailSimulation Matlab/Simulink d une machine à induction triphasée. Constitution d un référentiel
Simulation Matlab/Simulink une machine à inuction triphasée Constitution un référentiel Capocchi Laurent Laboratoire UMR CNRS 6134 Université e Corse 3 Octobre 7 1 Table es matières 1 Introuction 3 Moélisation
Plus en détailCalendrier des collectes 2015
N j t t hgé? O! g! Tz, t f! C t 2015 O mégè, mbg, mbt, éht t, t txt, éhtt D pt ptq Ctt bh t p m m tmt à, m pté q j pét tt q m jt hgé mt t. L tâh q m t fé t mpt mx hbtt t pépt mj t pmt é. E t ff à m té
Plus en détailThéorème du point fixe - Théorème de l inversion locale
Chapitre 7 Théorème du point fixe - Théorème de l inversion locale Dans ce chapitre et le suivant, on montre deux applications importantes de la notion de différentiabilité : le théorème de l inversion
Plus en détailElectrovanne double Dimension nominale Rp 3/8 - Rp 2 DMV-D/11 DMV-DLE/11
Electrovnne double Dimension nominle 3/8 - DMV-D/11 DMV-DLE/11 7.30 M Edition 11.13 Nr. 223 926 1 6 Technique L électrovnne double DUNGS DMV intère deux électrovnnes dns un même bloc compct : - vnnes d
Plus en détailAmphi 3: Espaces complets - Applications linéaires continues
Amphi 3: Espaces complets - Applications linéaires continues Département de Mathématiques École polytechnique Remise en forme mathématique 2013 Suite de Cauchy Soit (X, d) un espace métrique. Une suite
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étail3 Approximation de solutions d équations
3 Approximation de solutions d équations Une équation scalaire a la forme générale f(x) =0où f est une fonction de IR dans IR. Un système de n équations à n inconnues peut aussi se mettre sous une telle
Plus en détailrf( 1 f(x)x dx = O. ) U concours externe de recrutement de professeurs agreg6s composition d analyse
page 8 AGREGATIN de MATHEMATIQUES: 1991 1/5 externeanalyse concours externe de recrutement de professeurs agreg6s composition d analyse NTATINS ET DGFINITINS Dans tout le problème, R+ désigne l intervalle
Plus en détailDOSSIER DE CANDIDATURE POUR UNE LOCATION
DOSSIER DE CANDIDATURE POUR UNE LOCATION Ls informations donnés nécssairs pour traitr votr candidatur rstront confidntills. Un dossir incomplt n put êtr xaminé. C dossir d candidatur rst soumis à l approbation
Plus en détail- Phénoméne aérospatial non identifié ( 0.V.N.I )
ENQUETE PRELIMINAIRE ANALYSE ET REFEREWCES : Phénoméne érosptil non identifié ( 0VNI ) B8E 25400 DEF/GEND/OE/DOlRENS du 28/9/1992 Nous soussigné : M D L chef J S, OPJ djoint u commndnt de l brigde en résidence
Plus en détailChapitre 8. Structures de données avancées. Primitives. Applications. L'informatique au lycée. http://ow.ly/35jlt
L'nformtqu u lycé Chptr 8 http//ow.ly/35jlt Chptr 8 Structurs d donnés vncés Un structur d donnés st un orgnston logqu ds donnés prmttnt d smplfr ou d'ccélérr lur trtmnt. 8.1. Pl En nformtqu, un pl (n
Plus en détailNotes de révision : Automates et langages
Préprtion à l grégtion de mthémtiques 2011 2012 Notes de révision : Automtes et lngges Benjmin MONMEGE et Sylvin SCHMITZ LSV, ENS Cchn & CNRS Version du 24 octore 2011 (r66m) CC Cretive Commons y-nc-s
Plus en détailCENTRE ORGANISATEUR DU CONCOURS. ANIMALIER Externe PARIS MUSEUM PARIS. ANIMALIER Externe PARIS MUSEUM PARIS
Document publié sous réserve de modifications SESSON 2006 LSTE DES EMPLOS OERTS UX ONOURS TR DE TEORE -v.1 (19/04/2006)- PRENSRPTONS ET NS DETLLEES SUR NTERNET : http://www.education.gouv.fr/personnel/itrf/
Plus en détail7. Droit fiscal. Calendrier 2014. 7.1 Actualité fiscale 7.2 Contrôle et contentieux fiscal 7.3 Détermination du résultat fiscal.
7. Droit fiscal 7.1 Actualité fiscal 7.2 Contrôl t contntiux fiscal 7.3 Détrmination du résultat fiscal 7.4 Facturation : appréhndr ls règls juridiqus t fiscals, t maîtrisr l formalism 7.5 Gstion fiscal
Plus en détailI - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES
I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES Théorème - Définition Soit un cercle (O,R) et un point. Une droite passant par coupe le cercle en deux points A et
Plus en détailContribution à l algorithmique de la vérification
Contribution à l algorithmique de la vérification (Mémoire d habilitation à diriger des recherches) Jean-Michel COUVREUR Laboratoire Bordelais de Recherche en Informatique CNRS UMR 5800 - Université Bordeaux
Plus en détailVu la loi n 17-99 portant code des assurances prom ulguée par le dahir n 1-02-238 du 25 rejeb 1423 (3 octobre 2002), telle qu'elle a été complétée ;
Arrêté du ministr s financs t la privatisation n 2241-04 du 14 kaada 1425 rlatif à la présntation s opérations d'assurancs (B.O. n 5292 du 17 févrir 2005). Vu la loi n 17-99 portant co s assurancs prom
Plus en détailOptimisation Discrète
Prof F Eisenbrand EPFL - DISOPT Optimisation Discrète Adrian Bock Semestre de printemps 2011 Série 7 7 avril 2011 Exercice 1 i Considérer le programme linéaire max{c T x : Ax b} avec c R n, A R m n et
Plus en détailLicence M.A.S.S. Cours d Analyse S4
Université Pris I, Pnthéon - Sorbonne Licence MASS Cours d Anlyse S4 Jen-Mrc Brdet (Université Pris 1, SAMM) UFR 27 et Equipe SAMM (Sttistique, Anlyse et Modélistion Multidisiplinire) Université Pnthéon-Sorbonne,
Plus en détailCompte rendu de la validation d'un observateur cascade pour la MAS sans capteurs mécaniques sur la plate-forme d'essai de l'irccyn
Compte rendu de l vlidtion d'un oservteur cscde pour l MAS sns cpteurs mécniques sur l plte-forme d'essi de l'irccyn Mlek GHANES, Alin GLUMINEAU et Roert BOISLIVEAU Le 1 vril IRCCyN: Institut de Recherche
Plus en détailCorrection du Baccalauréat S Amérique du Nord mai 2007
Correction du Baccalauréat S Amérique du Nord mai 7 EXERCICE points. Le plan (P) a une pour équation cartésienne : x+y z+ =. Les coordonnées de H vérifient cette équation donc H appartient à (P) et A n
Plus en détail638604 CTC Generic 815446 LITHO FLEXO. PANTONE 000 05a mm/dd/yy xxxxxx. PANTONE 000 06a mm/dd/yy xxxxxx PANTONE 000. 07a mm/dd/yy xxxxxx.
Trez un erle de po (5, mm) de dimètre u entre du ord de l porte. " /" 9/6" /8" 5 5 0 5 POUR DISTANCE D ENTRÉE de /8 po (60 mm) Pliez e grit sur l ligne pointillée et plez elle-i sur l ngle de l porte POUR
Plus en détailMurs coupe-feu dans maisons mitoyennes à une famille
Maison A Maison B FERMACELL Murs coup-fu ans maisons mitoynns à un famill Eition suiss Murs coup-fu qui assurnt un résistanc 90 minuts ans ls maisons mitoynns à un famill construits n ois (1HG100) Murs
Plus en détailA GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters
A GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters Présenté par : Equipe de travail : Laboratoire : Maxime CHASSAING Philippe LACOMME, Nikolay
Plus en détailDe même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que
Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer
Plus en détailsemestre 3 des Licences MISM annnée universitaire 2004-2005
MATHÉMATIQUES 3 semestre 3 des Licences MISM nnnée universitire 24-25 Driss BOULARAS 2 Tble des mtières Rppels 5. Ensembles et opértions sur les ensembles.................. 5.. Prties d un ensemble.........................
Plus en détailANALYSE NUMERIQUE NON-LINEAIRE
Université de Metz Licence de Mthémtiques - 3ème nnée 1er semestre ANALYSE NUMERIQUE NON-LINEAIRE pr Rlph Chill Lbortoire de Mthémtiques et Applictions de Metz Année 010/11 1 Tble des mtières Chpitre
Plus en détailCapes 2002 - Première épreuve
Cette correction a été rédigée par Frédéric Bayart. Si vous avez des remarques à faire, ou pour signaler des erreurs, n hésitez pas à écrire à : mathweb@free.fr Mots-clés : équation fonctionnelle, série
Plus en détailAssurer les proposants donneurs de rein
Nwsttr SCOR Goba Lif Nwsttr SCOR Goba Lif Févrir Profssur Eric Thrvt, Srvic d Néphroogi, Hôpita Europén Gorgs Pompidou, Paris, Franc Pourquoi s Pays-Bas sont-is champion du mond pour nombr d donnurs vivants
Plus en détail