Arbre des suffixes - Recherche de répétitions
|
|
- André Briand
- il y a 7 ans
- Total affichages :
Transcription
1 Arre des suffixes - Reherhe de répétitions Arre des suffixes: Struture de données reflétnt les rtéristiques internes des séquenes Applition nturelle: Reherhe exte dns un texte Phse de prétritement: Constrution de l rre des suffixes; O(n) en temps et en espe pour un texte de tille n Phse de reherhe: temps O(m) pour un mot de tille m Autre pplition: Reherhe de répétitions, reherhe de plindromes 1
2 Définition Arre T des suffixes de T, rre orienté tq: n feuilles numérotées de 1 à n Chque nœud interne u moins deux fils Chque r est étiquetté pr un fteur de T Deux rs sortnt d un même nœud ont des étiquettes déutnt pr des rtères différents Chemin de l rine à une feuille i étiquetté pr le suffixe T [i..n] Prolème: Si un suffixe oïnide ve un fteur de T, uune feuille ne orrespondr u suffixe. Rjouter un rtère rtifiiel à l fin de T. Pr exemple, # ou $ 2
3 T = Pour réduire l espe, représenter hque étiquette pr deux positions plutôt que pr un fteur Tille de T en O(m) 3
4 Reherhe exte de P dns T Construire l rre des suffixes T de T en temps O(n). Mther les rtères de P en suivnt un hemin unique dns T Si les rtères de P ne sont ps épuisés, il n y uune ourrene de P dns T O(m). Si non, les feuilles du sous-rre déterminé pr P donnent toutes les positions de P dns T Temps O(m + k) où k nomre d ourrenes de P dns T T = 2 5 P = P =
5 Constrution nïve Insertion suessive des suffixes, du plus long u plus ourt Exemple: Pour P =, insérer suessivement #, #, #, Complexité O(n 2 ) Construtions en temps linéire Weiner 1973: Premier lgorithme linéire. MCreight 1976: Algorithme linéire utilisnt moins d espe. Ukkonen 1995: Algorithme linéire, plus simple. 5
6 Algorithme d Ukkonen Arre des suffixes impliite: Arre pour T et non ps pour T #. Contient moins d informtion que l rre des suffixes. I i : Arre impliite pour T [1..i] Méthode générle: m phses. Phse i + 1: Constrution de I i+1 à prtir de I i, en rjoutnt T [i + 1] Pour hque phse i + 1, i + 1 extensions, une pour hque suffixe de T [1..i + 1]: T [1..i + 1], T [2..i + 1], T [3..i + 1] Extension T[j..i+1]: Règle 1: Le hemin étiquetté pr T [j..i] se termine à une feuille. Alors, rjouter T [i + 1] à l fin de ette étiquette 6
7 Règle 2: Ps une feuille et uun hemin n pour étiquette T [j..i]t [i + 1]. Alors, réer une ifurtion supplémentire à l fin de T [j..i] Règle 3: Il existe un hemin d étiquette T [j..i + 1]. Alors, rien à fire T = Une fois le hemin étiquetté T [i..j] trouvé, extension en temps onstnt. Approhe nïve: Extension j de l phse i + 1 O(i + 1 j); Constrution de I i+1 O(i 2 ); I n O(n 3 )!! 7
8 Liens suffixe v nœud interne d étiquette xα (x: rtère; α: mot). Si nœud s(v) d étiquette α, lors lien suffixe de v à s(v). Un nœud interne d étiquette x un lien suffixe vers l rine. L rine n ps de lien suffixe α x α γ noeud v d e f g Fin de T[j 1..i] noeud s(v) d e f g y h z 8
9 Phse i + 1: Pour j = 1 f feuille d étiquette T [1..i]; Prolonger l étiquette de f pr T [i + 1]; Pour j > 1 v nœud d étiquette T [j 1..i] ou juste vnt l fin de T [j 1..i] qui soit l rine ou qui possède un lien suffixe; γ mot entre v et l fin de T [j 1..i]; Si v ps l rine, suivre le lien suffixe de v à s(v), et ontinuer dns l rre en suivnt les rtères de γ; Si v est l rine, prourir l rre en suivnt les rtères de T [j..i]; Utiliser les règles d extensions pour le rtère T [i + 1]; w nœud réé (s il y lieu) à l extension j 1; Créer le lien suffixe (w, s(w)). 9
10 Constrution des liens suffixe Lemme : Si un nouveu nœud v étiquetté xα est jouté à l rre à l extension j 1 d un phse i + 1, lors soit un nœud interne étiquetté α existe déj, soit il est réé à l extension j. Corollire: Un nœud nouvellement rée à l extension j 1 possèder un lien suffixe dès l fin de l extension j. e d v α y e x u y α s(v) d p q α s(s(v)) e d p s(u) q 10
11 Complexité Remrque: Pour mther γ, suter de nœud en nœud en onsidérnt l tille des étiquettes. Théorème: Chque phse de l lgorithme prend un temps O(n). Algorithme omplet en O(n 2 ) Optimistion À hque phse de l lgorithme, effetuer un nomre réduit d extensions Oservtion 1: Lorsque l règle 3 est ppliquée à une extension j, lors elle est ppliquée à toutes les extensions suivntes j + 1,, i + 1 Oservtion 2: Une feuille réée à une étpe reste une feuille jusqu à l fin de l lgorithme 11
12 Algorithme simplifié pour l phse i + 1: Rjouter T [i + 1] à l fin des étiquettes des j i feuilles de T i ; Cluler expliitement les extensions pour j = j i + 1 à j, où j est l première extension pour lquelle l règle 3 est ppliquée, ou i + 1; j i+1 = j 1; Théorème: L onstrution des rres T 1 à T n prend un temps O(n) Finlement, l rre des suffixes impliite est trnsformé en l rre des suffixe en rjoutnt le rtère # à l fin de T, et en ppliqunt une dernière fois l lgorithme d Ukkonen. 12
13 Arre des suffixes générlisé Arre des suffixes pour un ensemle de séquenes {T 1, T 2,, T l }. Simple extension de l lgorithme d Ukkonen. Deux sutilités: Étiquette d un r représenté pr trois entiers plutôt que 2. Chque feuille doit ontenir les positions des suffixes dns les séquenes onernées. T1 = x x T2 = x 2,4 2,1 # # x x # x # # 2,5 x # x # 2,2 # # # 1,5 1,3 2,3 2,6 1,2 1,1 1,4 13
14 Différentes utilistions de l rre des suffixes Reherhe exte d un mot dns un texte: Constrution de l rre O(n) Reherhe de P O(m + k). Reherhe multiple: O(n + m + k) Comprle à Aho-Corsik. Si les mots rentrés une fois pour toute et reherhe dns des textes, utiliser Aho-Corsik. Si texte onstnt et mots vriles, utiliser l rre des suffixes. Plus long fteur ommun à deux séquenes: Exemple: et n = S 1 + S 2. Construire l rre des suffixe générlisé T pour {S 1, S 2 } 14
15 Mrquer hque nœud interne v: 1 (respe. 2) si il existe une feuille dns le sous-rre de rine v qui orresponde à un suffixe de S 1 (respe. S 2 ), et mrquer (1, 2) un nœud vérifint les deux onditions à l fois Trouver le nœud mrqué (1, 2) de profondeur en rtères mximle Le mrquge et le lul de l profondeur en rtères peuvent être effetués pr un lgorithme stndrd de prours d rre = Temps totl en O(n) En 1970 Knuth vit onjeturé: impossile de résoudre e prolème en temps linéire. 15
16 Reherhe de répétitions mximles Répétition mximle α: deux positions de α dns T, et à es deux positions, si on prolonge à droite ou à guhe, plus une répétition. Si α répétition mximle de T, lors α étiquette d un nœud de l rre des suffixe de T. Mis tout nœud interne ne représente ps une répétition mximle Au plus n répétitions mximles r u plus n nœuds internes. f: Feuille représentnt T [i..n] T [i 1]: Crtère guhe de f Nœud interne v left diverse si u moins deux feuilles du sous-rre de rine v ont des rtères guhes différents. Si v left diverse lors tous les nêtres de v sont left diverse. Théorème: Un mot α étiquette de v est une répétition mximle ssi v est left diverse. 16
17 T = x y q y z repetitions mximles LD LD z y z 14 y 15 y LD 10 q z y q z q y z 6 2 y x q y z 11 z 7 q y z 3 17
18 Reherhe des nœuds left diverse: Pour hque feuille, onserver son rtère guhe Exminer les nœuds internes de s en hut (des feuilles à l rine) Si u moins un fils de v left diverse lors v left-diverse Sinon, onsidérer les rtères guhes des fils de v Si un même rtère x, lors x rtère guhe de v Si u moins deux rtères différents, lors v est left diverse Théorème: Les répétitions mximles d une séquene T peuvent être trouvées en temps O(n) 18
19 Répétitions supermximles Répétition supermximle: Répétition mximle qui n est fteur d uune utre répétition mximle Répétition presque supermximle: Répétition mximle qui pprît à u moins une position dns T où elle n est ps fteur d une utre répétition mximle: position témoin. Exemple x y d q d y z y d: Répétition supermximle; : Répétition presque sm. Position témoin pour : 2 eme position. 19
20 Figure suivnte: v nœud left diverse, i.e. α répétition mx., et w fils de v qui n est ps une feuille. pos1 r α v γ w pos2 L(w): Ensemle des positions de α dns T identifiées pr le sous-rre de rine w. Lemme: Auune position de L(w) n est une position témoin pour v. 20
21 Si w feuille, lors étiquette de w: β = αγ. Soit i position de w dns T, et x rtère guhe de w r α v γ w i Lemme: i position témoin pour α ssi x n est le rtère guhe d uune utre feuille du sous-rre de v. Preuve: Si une utre ourrene de α préédée de x, lors xα pprît deux fois, et i ne peut ps être une position témoin. Sinon, uune utre uurrene de α n est préédée de x = l ourrene de α à l pos. i n est ontenue dns uune répétition mx. 21
22 Théorème: Un nœud v left diverse représente une répétition presque supermximle α ssi l un des fils de v est une feuille i et T [i 1] n est le rtère guhe d uune utre feuille du sous-rre de v Un nœud left diverse représente une répétition supermximle ssi tous les fils de v sont des feuilles, et tous les rtères guhes de es feuilles sont différents Toutes les répétitions presque supermximles et supermximles peuvent être trouvées en un temps linéire 22
23 Plus longue extension ommune S 1, S 2 : Deux séquenes Lowest ommon extension (le) pour (i, j): Plus long préfixe ommun de S[i..n 1 ] et S 2 [j..n 2 ] S = S = 1 2 Construire l rre des suffixes générlisé pour S 1, S 2. Conserver l profondeur en rtère de hque nœud. Pour tout (i, j), trouver le dernier nêtre ommun (lowest ommon nestor: l) v des feuilles i, j. Profondeur en rtère de v = le pour (i, j) 23
24 T1 = x x T2 = x # 4 l de (1, 4 ) l de (4, 4 ) 1 # x x x # # # 1 5 x 1 # x # 2 2 # 3 # # profondeur en rteres
25 Dernier nêtre ommun: Après un prétritement de l rre des suffixes, le l de deux nœuds quelonques peut être trouvé en temps onstnt. Résultt otenu pr Hrel & Trjn, 1984 et simplifié pr Shierer & Vishkin, Idée: Numéroter les nœuds pr des nomres représentés sur log(n) its n onstnt de omprisons, dditions et opértions logiques AND, OR, XOR. 25
26 Reherhe de plindromes Plindrome S de ryon k de S: Sous séquene de S tq, en déutnt l leture u milieu (en exlunt le r. du milieu si S impir), l leture des k rtères vers l droite ou vers l guhe donne le même mot. Plindrme mximl s il ne peut ps être étendu. S = t g t plindrome mx de ryon 3 plindrome mx de ryon 1 Plindrome sépré pr l rtères: Les deux prties du plindrome sont séprées de l rtères g t : plindrome de ryon 4, sépré pr 3 rtères Prolème: Trouver tous les plindromes mximux de S séprés pr l rtères. 26
27 S de tille m S r : Séquene inverse de S. S = g t g t t q l k+1 q l l q q+1 q+k Algorithme: Arre des suffixe générlisé pour S et S r, et prétritement de fçon à trouver l le de deux suffixes de S et S r en temps onstnt Pour tout q de 1 à m 1, trouver l le de l pire (q + 1, m q + l 1) (q + 1 dns S et m q + l 1 dns S r ) Si extension de tille non nulle k, lors un plindrome est troouvé, dont l deuxième moitié déute à l pos. q + 1 Complexité O(m) 27
28 Plindromes u sens iologique: g t t g t t t plutôt que g t Même lgorithme mis en onsidérnt (S r ) plutôt que S r S = g t g t g S r = g t g t g (S r ) = t g g t t t Reherhe de tous les plindromes séprés (pour l quelonque): Se rmène à l reherhe de toutes les répétitions mximles inverses Temps O(m + o) où o = n d ourrenes. Si orne fixe pour l, lors extension de l lgorithme préédent, toujours O(n) 28
29 Arre des suffixes pour l reherhe ve mismthes Reherhe de P de tille m dns T de tille n à k mismthes près Idée: À hque position j dns T, exéuter u plus k reherhes de le A C G A G T A T T A G C T A A C k=3 A C C A T T A * * A C C A T T A * * * A C C A T T A * * * A C C A T T A * * 29
30 Algorithme: (1) Pour tout j fire (2) i 1; j j; ount 0; (3) Tnt que ount k et i m fire (3) l tille de l plus longue extension des positions i dns P et j dns T ; (4) i i + l; (5) Si i > m, ourrene de P à l position i; (6) Si non ount ount + 1; j j + l + 1; Complexité en temps: Pour hque position j dns T, O(k) reherhes de plus longues extensions = O(kn) 30
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é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é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é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é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é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é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é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é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étailLANGAGES - GRAMMAIRES - AUTOMATES
LANGAGES - GRAMMAIRES - AUTOMATES Mrie-Pule Muller Version du 14 juillet 2005 Ce cours présente et met en oeuvre quelques méthodes mthémtiques pour l informtique théorique. Ces notions de bse pourront
Plus en détailMcAfee Firewall Enterprise Control Center
Guie e émrrge rpie Révision A MAfee Firewll Enterprise Control Center version 5.3.1 Ce guie e émrrge rpie fournit es instrutions générles sur l onfigurtion e MAfee Firewll Enterprise Control Center. 1
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é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é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é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é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étailCours d Analyse IV Suites et Séries de fonctions
Université Clude Bernrd, Lyon I Licence Sciences, Technologies & Snté 43, boulevrd 11 novembre 1918 Spécilité Mthémtiques 69622 Villeurbnne cedex, Frnce L. Pujo-Menjouet pujo@mth.univ-lyon1.fr Cours d
Plus en détailMcAfee Firewall Enterprise, Multi Firewall Edition
Guie e émrrge rpie Révision A MAfee Firewll Enterprise, Multi Firewll Eition version 8.3.x Ce guie e émrrge rpie fournit es instrutions générles sur l onfigurtion e MAfee Firewll Enterprise, Multi Firewll
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é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é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é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é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étailChapitre 5 : Flot maximal dans un graphe
Graphes et RO TELECOM Nancy A Chapitre 5 : Flot maximal dans un graphe J.-F. Scheid 1 Plan du chapitre I. Définitions 1 Graphe Graphe valué 3 Représentation d un graphe (matrice d incidence, matrice d
Plus en détailSYSTEME DE TELEPHONIE
YTEME DE TELEPHOIE LE OUVEUTE PTIE MOITEU COULEU Le système de téléphonie comporte un moniteur vec un écrn couleurs de intégré u téléphone. Cette prtie est disponile en lnc, nthrcite et Tech. TLE DE MTIEE
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é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étailintroduction Chapitre 5 Récursivité Exemples mathématiques Fonction factorielle ø est un arbre (vide) Images récursives
introduction Chapitre 5 Images récursives http ://univ-tln.fr/~papini/sources/flocon.htm Récursivité http://www.poulain.org/fractales/index.html Image qui se contient elle-même 1 Exemples mathématiques
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é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étailLa NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.
La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of
Plus en détail1 de 46. Algorithmique. Trouver et Trier. Florent Hivert. Mél : Florent.Hivert@lri.fr Page personnelle : http://www.lri.fr/ hivert
1 de 46 Algorithmique Trouver et Trier Florent Hivert Mél : Florent.Hivert@lri.fr Page personnelle : http://www.lri.fr/ hivert 2 de 46 Algorithmes et structures de données La plupart des bons algorithmes
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étailSciences Industrielles Précision des systèmes asservis Papanicola Robert Lycée Jacques Amyot
Scence Indutrelle Précon de ytème erv Pncol Robert Lycée Jcque Amyot I - PRECISION DES SYSTEMES ASSERVIS A. Poton du roblème 1. Préentton On vu que le rôle d un ytème erv et de fre uvre à l orte (t) une
Plus en détailStatuts ASF Association Suisse Feldenkrais
Sttuts ASF Assocition Suisse Feldenkris Contenu Pge I. Nom, siège, ojectif et missions 1 Nom et siège 2 2 Ojectif 2 3 Missions 2 II. Memres 4 Modes d ffilition 3 5 Droits et oligtions des memres 3 6 Adhésion
Plus en détailModule 2 : Déterminant d une matrice
L Mth Stt Module les déterminnts M Module : Déterminnt d une mtrice Unité : Déterminnt d une mtrice x Soit une mtrice lignes et colonnes (,) c b d Pr définition, son déterminnt est le nombre réel noté
Plus en détailProbabilités sur un univers fini
[http://mp.cpgedupuydelome.fr] édité le 10 août 2015 Enoncés 1 Proailités sur un univers fini Evènements et langage ensemliste A quelle condition sur (a,, c, d) ]0, 1[ 4 existe-t-il une proailité P sur
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étailAngles orientés et trigonométrie
Chapitre Angles orientés et trigonométrie Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Trigonométrie Cercle trigonométrique. Radian. Mesure d un angle orienté, mesure principale.
Plus en détailL éditorial. rapport d activité 2010-2012. Francis Daumas. décembre 2014 éditorial
déemre 2014 éditoril L éditoril Frnis Dums Direteur Conernnt l onservtion à long terme des Un premier oup d œil dns le rétroviseur nous L onstrution du nouveu «pôle énergie» données numériques, à ôté des
Plus en détailÉquations différentielles et systèmes dynamiques. M. Jean-Christophe Yoccoz, membre de l'institut (Académie des Sciences), professeur
Équations différentielles et systèmes dynamiques M. Jean-Christophe Yooz, membre de l'institut (Aadémie des Sienes), professeur La leçon inaugurale de la haire a eu lieu le 28 avril 1997. Le ours a ensuite
Plus en détailProjet INF242. Stéphane Devismes & Benjamin Wack. Pour ce projet les étudiants doivent former des groupes de 3 ou 4 étudiants.
Projet INF242 Stéphane Devismes & Benjamin Wak Pour e projet les étudiants doivent former des groupes de 3 ou 4 étudiants. 1 Planning Distribution du projet au premier ours. À la fin de la deuxième semaine
Plus en détaill appareil et vérifier les composants Module tambour-cartouche de toner (pré-installé)
Guide d instlltion rpide Commener MFC-8510DN MFC-8520DN Commenez pr lire le Guide de séurité du produit, puis suivez ttentivement l proédure d instlltion et de onfigurtion dérite dns e Guide d'instlltion
Plus en détailChapitre 1 : Fonctions analytiques - introduction
2e semestre 2/ UE 4 U : Abrégé de cours Anlyse 3: fonctions nlytiques Les notes suivntes, disponibles à l dresse http://www.iecn.u-nncy.fr/ bertrm/, contiennent les définitions et les résultts principux
Plus en détailComment évaluer la qualité d un résultat? Plan
Comment évaluer la qualité d un résultat? En sienes expérimentales, il n existe pas de mesures parfaites. Celles-i ne peuvent être qu entahées d erreurs plus ou moins importantes selon le protoole hoisi,
Plus en détailCommencer MFC-J4410DW
Guie instlltion rpie Commener MFC-J440DW MFC-J460DW Veuillez lire le Guie e séurité u prouit vnt 'instller l'ppreil. Lisez ensuite e Guie 'instlltion rpie pour onnître l proéure e onfigurtion et 'instlltion
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étailInfluence du milieu d étude sur l activité (suite) Inhibition et activation
Influence du milieu d étude sur l ctivité (suite) Inhibition et ctivtion Influence de l tempérture Influence du ph 1 Influence de l tempérture Si on chuffe une préprtion enzymtique, l ctivité ugmente jusqu
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é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étaill'appareil et vérifiez les composants Cartouches d'encre incluses [x4] CD-ROM d'installation CD-ROM de documentation
Guide d instlltion rpide Commener DCP-J35W Veuillez lire ttentivement e Guide d'instlltion rpide pour onnître l proédure de onfigurtion et d'instlltion vnt d'utiliser l'ppreil. AVERTISSEMENT ATTENTION
Plus en détailOutils pour un. partenariat. renouvelé. entre propriétaires et gestionnaires. résidences sociales et logements-foyers
Outils pour un prtenrit renouvelé entre propriétires et gestionnires résienes soiles et logements-foyers éition septemre 2011 Outils pour un prtenrit renouvelé entre propriétires et gestionnires résienes
Plus en détailI. RACINE CARREE D UN NOMBRE POSITIF : La racine carrée d un nombre positif a est le nombre positif noté a dont le carré est a.
OURS 3 EME RINES RREES PGE 1/1 ONTENUS OMPETENES EXIGILES OMMENTIRES alculs élémentaires sur les radicaux Racine carrée d un nombre positif Savoir que si a désigne un nombre positif, a est le nombre positif
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étailCOURS D ANALYSE. Licence d Informatique, première. Laurent Michel
COURS D ANALYSE Licence d Informtique, première nnée Lurent Michel Printemps 2010 2 Tble des mtières 1 Éléments de logique 5 1.1 Fbriquer des énoncés........................ 5 1.1.1 Enoncés élémentires.....................
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étailINF601 : Algorithme et Structure de données
Cours 2 : TDA Arbre Binaire B. Jacob IC2/LIUM 27 février 2010 Plan 1 Introuction 2 Primitives u TDA Arbin 3 Réalisations u TDA Arbin par cellules chaînées par cellules contiguës par curseurs (faux pointeurs)
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étailThéorie des Graphes Cours 3: Forêts et Arbres II / Modélisation
IFIPS S7 - informatique Université Paris-Sud 11 1er semestre 2009/2010 Théorie des Graphes Cours 3: Forêts et Arbres II / 1 Forêts et arbres II Théorème 1.1. Les assertions suivantes sont équivalentes
Plus en détail3- Les taux d'intérêt
3- Les tux d'intérêt Mishkin (2007), Monnie, Bnque et mrchés finnciers, Person Eduction, ch. 4 et 6 Vernimmen (2005), Finnce d'entreprise, Dlloz, ch. 20 à 22 1- Mesurer les tux d'intérêt comprer les différents
Plus en détailToyota Assurances Toujours la meilleure solution
Toyot Assurnces Toujours l meilleure solution De quelle ssurnce vez-vous besoin? Vous roulez déjà en Toyot ou vous ttendez s livrison. Votre voiture est neuve ou d occsion. Vous vlez les kilomètres ou
Plus en détailConditions Générales d Assurances Edition 2012.10
Assurne ménge Etudints Conditions Générles d Assurnes Edition 2012.10 Index Pge Art. A Couverture de se...... 2 Choses ssurées, risques ssurles... 2 Presttions et sommes d ssurne....... 4 Art. B Couverture
Plus en détail3. Veuillez indiquer votre effectif total :
1 Métiers du marketing et de la ommuniation Questionnaire préalable d assurane Préambule Le présent questionnaire préalable d assurane Marketing et Communiation a pour objet de réunir des informations
Plus en dé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étailEteindre. les. lumières MATH EN JEAN 2013-2014. Mme BACHOC. Elèves de seconde, première et terminale scientifiques :
MTH EN JEN 2013-2014 Elèves de seconde, première et terminale scientifiques : Lycée Michel Montaigne : HERITEL ôme T S POLLOZE Hélène 1 S SOK Sophie 1 S Eteindre Lycée Sud Médoc : ROSIO Gauthier 2 nd PELGE
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étailBASE DE BIOÉTHIQUE SECTION 1 : SYLLABUS PROGRAMME D ÉDUCATION EN ÉTHIQUE
COURS DE BASE DE BIOÉTHIQUE SECTION 1 : SYLLABUS PROGRAMME D ÉDUCATION EN ÉTHIQUE Seteur es sienes soiles et humines Division e l éthique es sienes et es tehnologies Design & Proution: Juli Cheftel SHS/EST/EEP/2008/PI/1
Plus en détailRappels sur les suites - Algorithme
DERNIÈRE IMPRESSION LE 14 septembre 2015 à 12:36 Rappels sur les suites - Algorithme Table des matières 1 Suite : généralités 2 1.1 Déition................................. 2 1.2 Exemples de suites............................
Plus en détailAnalyse de la variance Comparaison de plusieurs moyennes
Analyse de la variance Comparaison de plusieurs moyennes Biostatistique Pr. Nicolas MEYER Laboratoire de Biostatistique et Informatique Médicale Fac. de Médecine de Strasbourg Mars 2011 Plan 1 Introduction
Plus en détailNE connectez PAS le câble USB à ce stade (si vous utilisez un câble USB). de l'appareil et vérification des composants. Noir Jaune Cyan Magenta
Guie instlltion rpie Commener MFC-495CW Avnt 'utiliser l'ppreil, veuillez lire e Guie 'instlltion rpie pour otenir les instrutions sur les proéures 'instlltion et e onfigurtion équtes. AVERTISSEMENT ATTENTION
Plus en détailAlgorithmique et Programmation
École Supérieure d Ingénieurs de Poitiers Gea Algorithmique et Programmation Laurent Signac ii Algorithmique et programmation Gea Table des matières Avant Propos v Structures de données Notion de pointeur..............................................
Plus en détailINFORMATIONS TECHNIQUES
0 INFORMATIONS TECHNIQUES tle des mtieres 06 Alimenttions et ccessoires 08 Postes extérieurs Sfer Postes extérieurs minisfer 9 Postes internes Accessoires d instlltion Centrux téléphoniques PABX Cmérs
Plus en détailLimites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Plus en détailGuide des bonnes pratiques
Livret 3 MINISTÈRE DE LA RÉFORME DE L'ÉTAT, DE LA DÉCENTRALISATION ET DE LA FONCTION PUBLIQUE 3 Guide des bonnes prtiques OUTILS DE LA GRH Guide des bonnes prtiques Tble des mtières 1. Introduction p.
Plus en détailGuide d'utilisation Easy Interactive Tools Ver. 2
Guide d'utilistion Esy Interctive Tools Ver. 2 Guide d'utilistion Esy Interctive Tools Ver.2 Présenttion de Esy Interctive Tools 3 Crctéristiques Fonction de dessin Vous pouvez utiliser Esy Interctive
Plus en détailIntelligence Artificielle Planification
Intelligence Artificielle Planification Bruno Bouzy http://web.mi.parisdescartes.fr/~bouzy bruno.bouzy@parisdescartes.fr Licence 3 Informatique UFR Mathématiques et Informatique Université Paris Descartes
Plus en détailMétrologie des paramètres S : vers une meilleure traçabilité des analyseurs de réseaux vectoriels en France
6 th Interntionl Congress of Metrology, 3 (3) DOI:.5/ metrology/ 33 C Owned by the thors, pblished by EDP Sienes, 3 Métrologie des prmètres S : vers ne meillere trçbilité des nlysers de résex vetoriels
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étailOptimisation for Cloud Computing and Big Data
1 / 23 Optimisation for Cloud Computing and Big Data Olivier Beaumont, Lionel Eyraud-Dubois 2 / 23 Aujourd hui Problèmes de fiabilité on va oublier la dynamicité Placement de VMs en programmation par contraintes
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é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étailGroupe symétrique. Chapitre II. 1 Définitions et généralités
Chapitre II Groupe symétrique 1 Définitions et généralités Définition. Soient n et X l ensemble 1,..., n. On appelle permutation de X toute application bijective f : X X. On note S n l ensemble des permutations
Plus en détailDéveloppements limités. Notion de développement limité
MT12 - ch2 Page 1/8 Développements limités Dans tout ce chapitre, I désigne un intervalle de R non vide et non réduit à un point. I Notion de développement limité Dans tout ce paragraphe, a désigne un
Plus en détailCours de Master Recherche
Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction
Plus en détail/HVV\VWqPHVFRPELQDWRLUHV
/HVV\VWqPHVFRPELQDWRLUHV I. Définition On ppelle système combintoire tout système numérique dont les sorties sont exclusivement définies à prtir des vribles d entrée (Figure ). = f(x, x 2,,, x n ) x x
Plus en détailConseils et astuces pour les structures de base de la Ligne D30
Conseils et stuces pour les structures de bse de l Ligne D30 Conseils et stuces pour l Ligne D30 Ligne D30 - l solution élégnte pour votre production. Rentbilité optimle et méliortion continue des séquences
Plus en détailMesure d angles et trigonométrie
Thierry Ciblac Mesure d angles et trigonométrie Mesure de l angle de deux axes (ou de deux demi-droites) de même origine. - Mesures en degrés : Divisons un cercle en 360 parties égales définissant ainsi
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é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étailChp. 4. Minimisation d une fonction d une variable
Chp. 4. Minimisation d une fonction d une variable Avertissement! Dans tout ce chapître, I désigne un intervalle de IR. 4.1 Fonctions convexes d une variable Définition 9 Une fonction ϕ, partout définie
Plus en détailDurée de L épreuve : 2 heures. Barème : Exercice n 4 : 1 ) 1 point 2 ) 2 points 3 ) 1 point
03 Mai 2013 Collège Oasis Durée de L épreuve : 2 heures. apple Le sujet comporte 4 pages et est présenté en livret ; apple La calculatrice est autorisée ; apple 4 points sont attribués à la qualité de
Plus en détailJournées Télécom-UPS «Le numérique pour tous» David A. Madore. david.madore@enst.fr. 29 mai 2015
et et Journées Télécom-UPS «Le numérique pour tous» David A. Madore Télécom ParisTech david.madore@enst.fr 29 mai 2015 1/31 et 2/31 : définition Un réseau de R m est un sous-groupe (additif) discret L
Plus en détailContinuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Plus en détailessais dossier Oser s équi Prothèses auditives
essis dossier u LES AUDIOPROTHÉSISTES AU BANC D ESSAI p. 46 u UN APPAREIL ADAPTÉ À VOS BESOINS p. 50 u FAIRE BAISSER LA FACTURE? PAS SI SIMPLE p. 52 Prothèses uditives Oser s équi AUDIOPROTHÉSISTES Fe
Plus en détailBaccalauréat S Asie 19 juin 2014 Corrigé
Bcclurét S Asie 9 jui 24 Corrigé A. P. M. E. P. Exercice Commu à tous les cdidts 4 poits Questio - c. O peut élimier rpidemet les réposes. et d. cr les vecteurs directeurs des droites proposées e sot ps
Plus en détailChapitre 3: TESTS DE SPECIFICATION
Chapitre 3: TESTS DE SPECIFICATION Rappel d u c h api t r e pr é c é d en t : l i de n t i f i c a t i o n e t l e s t i m a t i o n de s y s t è m e s d é q u a t i o n s s i m u lt a n é e s r e p o
Plus en détailAUTOUR D UN MÉMOIRE INÉDIT : LA CONTRIBUTION D HERMITE AU DÉVELOPPEMENT DE LA THÉORIE DES FONCTIONS ELLIPTIQUES. Bruno BELHOSTE (*)
Revue d histoire des mthémtiques, 2 (1996), p. 1 66. AUTOUR D UN MÉMOIRE INÉDIT : LA CONTRIBUTION D HERMITE AU DÉVELOPPEMENT DE LA THÉORIE DES FONCTIONS ELLIPTIQUES Bruno BELHOSTE (*) RÉSUMÉ. Dns cet rticle,
Plus en détailNotice d Utilisation du logiciel Finite Element Method Magnetics version 3.4 auteur: David Meeker
Notice d Utilisation du logiciel Finite Element Method Magnetics version 3.4 auteur: David Meeker DeCarvalho Adelino adelino.decarvalho@iutc.u-cergy.fr septembre 2005 Table des matières 1 Introduction
Plus en détailFormat UNIMARC Bibliographique abrégé
Formt UNIMARC Biliogrphiqe régé Ce doment donne l étt d formt près l dexième mise à jor de 1998. Il ontient en pls qelqes modifitions eptées pr le Comité permnent UNIMARC lors de s dernière rénion nnelle
Plus en détailDéfinitions. Numéro à préciser. (Durée : )
Numéro à préciser (Durée : ) On étudie dans ce problème l ordre lexicographique pour les mots sur un alphabet fini et plusieurs constructions des cycles de De Bruijn. Les trois parties sont largement indépendantes.
Plus en détail