Automates temporisés
|
|
- Benoît Bellefleur
- il y a 8 ans
- Total affichages :
Transcription
1 Automtes temporisés introdution pr un néophyte Prtie I / II Mots et utomtes temporisés Merredi 30 otore ÉNS Lyon Jérôme DURAND-LOSE jerome.durnd-lose@ens-lyon.fr MC2 LIP - ÉNS Lyon Automtes temporisés p.1/18
2 Pln 1. Automtes (non temporisés) () Mots / lngges / Automtes finis () Extensions non temporisées (mots infinis) 2. Mots et lngges temporisés () Définitions () Opértions, propriétés 3. Automtes temporisés () Définitions, exemple () Automte des régions 4. Quelques omplexités () Non los pr omplémentire () Vuité est PSPACE-omplet () Universlité est o-r.e.-omplet Automtes temporisés p.2/18
3 Automtes Finis (non temporisés) 1. Mots / lngges 2. Automtes finis 3. Utilités Automtes temporisés p.3/18
4 Mots, lngges et leurs opértions Alphet : ensemle fini Σ Mot : suite finie de lettre Opértion : onténtion (e.g. {,, }) (e.g. ) (e.g. d = d) (monoïde lire) Lngge : ensemle de mots Opértions ensemlistes : L, L 1 L 2, L 1 L 2,... Opértions prtiulières : L 1 L 2, L,... Lngges rtionnels (regulr), expression rtionnelle... Lemme et Théorème de l étoile Automtes temporisés p.4/18
5 Automtes finis A = (Σ, Q, I, F, ) Q : ensemle fini d étts (I : initiux, F : eptnts) : ensemle des trnsitions 0... ε Reonnissne... L(A) Théorème de Kleene Construtions pour L(A 1 ) L(A 2 ), L(A 1 ) L(A 2 ), L(A), L(A 1 ) L(A 2 ),... Déterministion, minimistion, L(A),... Automtes temporisés p.5/18
6 Utilités Lngge Reonnissne de motif, d informtion Compiltion, éléments lexiogrphiques Automtisme Modélistion de systèmes Vérifition Extensions néessires Comportement sns fin? Temporistion? Automtes temporisés p.6/18
7 ω-lngges ω-mot : suite infinie de lettres ω-lngge : ensemle d ω-mots ω-utomte (seule l longueur du prours hnge) Inf : étts infiniment visités pr un prours Bühi Muller F Q F P(Q) Aepté ssi Inf F Inf F Bühi déterministe Bühi = Muller (déter. ou non) ω-expression régulière : (< e.r.>) ( < e.r.>) ω (M.Nuton) équivlent Muller Automtes temporisés p.7/18
8 Lngges sur les ordinux Mot / ordinux : suite infinie de lettres indexée pr des ordinux 0, 1,... ω, ω+1,... 2ω, 2ω+1,... 3ω... ω 2, ω 2 +1,... ω 2 +ω, ω 2 +ω+1,... ω 2 +2ω, ω 2 +2ω+1,... ω 3, ω 6 + 5ω 3... Définition de lngges, d utomtes, d é.r.... Ps ml étudiés u sièle dernier : Bühi, Chouek, Hermmer & Volper, Kleene, Wojiehowski Automtes temporisés p.8/18
9 Mots temporisés Mot non temporisé : Automtes temporisés p.9/18
10 Mots temporisés Séquentiel Mot non temporisé : Automtes temporisés p.9/18
11 Mots temporisés Séquentiel Mot non temporisé : Dte-évènement (time-event) (, 0.5)(, 1)(, 3)(, 3.5) Automtes temporisés p.9/18
12 Mots temporisés Séquentiel Mot non temporisé : Dte-évènement (time-event) Signl (, 0.5)(, 1)(, 3)(, 3.5) Automtes temporisés p.9/18
13 Mots temporisés Séquentiel Mot non temporisé : Dte-évènement (time-event) Signl (, 0.5)(, 1)(, 3)(, 3.5) = Automtes temporisés p.9/18
14 Mots temporisés Mot non temporisé : Séquentiel Dte-évènement (time-event) Signl un utre jour (, 0.5)(, 1)(, 3)(, 3.5) = Automtes temporisés p.9/18
15 Lngges temporisés et opértions Durée d un mot (, 0.5)(, 1)(, 3)(, 3.5) = 3.5 Conténtion lssique (, 0.5)(, 1)(, 3)(, 3.5) (, 0.5)(, 1)(, 3)(, 3.5) = (, 0.5)(, 1)(, 3)(, 3.5)(, 4)(, 4.5)(, 6.5)(, 7) Conténtion superposition si onséutive / disjointe (, 0.5)(, 1)(, 3)(, 3.5) (, 0.5)(, 1)(, 3)(, 3.5) indéfini (, 0.5)(, 1)(, 3)(, 3.5) (, 4)(, 4.5)(, 6.5)(, 7) = (, 0.5)(, 1)(, 3)(, 3.5)(, 4)(, 4.5)(, 6.5)(, 7) Lngge temporisé : ensemle de mots temporisés Opértions, et deux étoiles de KLEENE : et Filtre sur durée : L I = {m l m I} Aspets lgériques [Asrin et l., 2002] Automtes temporisés p.10/18
16 Disret ontinu Suessions simultnées (, 0.5)(, 1)(, 1)(, 1)(, 2)... on peut l exlure ou non Mots infinis pour omportement sns fin ω-mots temporisés Possiilité d umultion(s) (, 0.9)(,.99)(,.999)(,.9999)(,.99999)... Interdition des onfigurtions Zénon sinon mots temporisés sur des ordinux [Bérrd nd Pironny, 2000] Automtes temporisés p.11/18
17 Automte temporisé A = (Σ, Q, I, F, Z, ) Z : ensemle fini d horloges, : ensemle fini de trnsitions q / φ / ρ r Lettre lue Horloges remises à zéro Condition sur les horloges z, z <, φ 1 φ 2, φ R, Q, N (luses plus omplexes) Automtes temporisés p.12/18
18 Exemple Z = {z 1, z 2 } q 0 /z 1 2/{z 2 } q /1 z 2 3 /z 1 2 /{z 2 } /z 1 2 /{z 2 } /z 2 1 q 3 q 2 q 1 q 0 z /1 z 2 3 q 2 q 3 ε// z 1 2 Automtes temporisés p.13/18
19 Exemple Z = {z 1, z 2 } q 0 /z 1 2/{z 2 } q /1 z 2 3 /z 1 2 /{z 2 } /z 1 2 /{z 2 } /z 2 1 q 3 q 2 q 1 q 0 z /1 z 2 3 q 2 q 3 ε// z 1 2 Automtes temporisés p.13/18
20 Exemple Z = {z 1, z 2 } q 0 /z 1 2/{z 2 } q /1 z 2 3 /z 1 2 /{z 2 } /z 1 2 /{z 2 } /z 2 1 q 3 q 2 q 1 q 0 z /1 z 2 3 q 2 q 3 ε// z 1 2 Automtes temporisés p.13/18
21 Exemple Z = {z 1, z 2 } q 0 /z 1 2/{z 2 } q /1 z 2 3 /z 1 2 /{z 2 } /z 1 2 /{z 2 } /z 2 1 q 3 q 2 q 1 q 0 z /1 z 2 3 q 2 q 3 ε// z 1 2 Automtes temporisés p.13/18
22 Exemple Z = {z 1, z 2 } q 0 /z 1 2/{z 2 } q /1 z 2 3 /z 1 2 /{z 2 } /z 1 2 /{z 2 } /z 2 1 q 3 q 2 q 1 q 0 z /1 z 2 3 q 2 q 3 ε// z 1 2 Automtes temporisés p.13/18
23 Exemple Z = {z 1, z 2 } q 0 /z 1 2/{z 2 } q /1 z 2 3 /z 1 2 /{z 2 } /z 1 2 /{z 2 } /z 2 1 q 3 q 2 q 1 q 0 z /1 z 2 3 q 2 q 3 ε// z 1 2 Automtes temporisés p.13/18
24 Exemple Z = {z 1, z 2 } q 0 /z 1 2/{z 2 } q /1 z 2 3 /z 1 2 /{z 2 } /z 1 2 /{z 2 } /z 2 1 q 3 q 2 q 1 q 0 z /1 z 2 3 q 2 q 3 ε// z 1 2 Automtes temporisés p.13/18
25 Lngge temporisé orrespondnt? En oulint toute l prtie temporistion : ( () + + ) ( ( () + + ) ) Existe-t-il une temporistion pour hun de ses mots? Automtes temporisés p.14/18
26 Lngge temporisé orrespondnt? En oulint toute l prtie temporistion : ( () + + ) ( ( () + + ) ) Existe-t-il une temporistion pour hun de ses mots? Oui, ve des onditions du type : out est u plus à 2 unités de temps près le dernier ou prééden tout est u plus à 1 unité de temps près le dernier préédent tout est entre 1 et 3 unités de temps près le dernier préédent Liens ve l logique temporelle Automtes temporisés p.14/18
27 Lngge temporisé orrespondnt? En oulint toute l prtie temporistion : ( () + + ) ( ( () + + ) ) Existe-t-il une temporistion pour hun de ses mots? Oui, ve des onditions du type : out est u plus à 2 unités de temps près le dernier ou prééden tout est u plus à 1 unité de temps près le dernier préédent tout est entre 1 et 3 unités de temps près le dernier préédent Liens ve l logique temporelle <<Expressions rtionnelles>> [Asrin et l., 2002] [Bouyer nd Petit, 2002] Automtes temporisés p.14/18
28 Clos pr... Union (file r non déterministe) Intersetion (produit hituel d utomte) Conténtion (reoller en remettnt les horloges à 0) Superposition onséutive (reoller sns remise à 0) Itértions finies ( et ) Restrition sur l durée (une horloge en plus) Complément (?) Déterministion (?) Automte miniml (?) Automtes temporisés p.15/18
29 Se dérrsser du temps On suppose les onstntes des ontrintes dns Q En hngent d éhelle elles sont dns N (dns [[1, C]]) Déoupge de l espe des temps en Clok regions Lieux où les ontrintes sont onstntes Être sur un entier ou entre 2 z 2 {0}, (0, 1), {1}, (1, 2), {2}, (2, ) z 1 Augmenttion exponentielle de l tille des données nomre de séprtions de l ordre de l plus grnde onstnte... érite en inire Automtes temporisés p.16/18
30 Se dérrsser du temps On suppose les onstntes des ontrintes dns Q En hngent d éhelle elles sont dns N (dns [[1, C]]) Déoupge de l espe des temps en Clok regions Lieux où les ontrintes sont onstntes Être sur un entier ou entre 2 z 2 {0}, (0, 1), {1}, (1, 2), {2}, (2, ) Mouvements utorisés : projetion(s) (remise(s) à 0) 2 le temps vne suivnt z 1 Augmenttion exponentielle de l tille des données nomre de séprtions de l ordre de l plus grnde onstnte... érite en inire Automtes temporisés p.16/18
31 Se dérrsser du temps On suppose les onstntes des ontrintes dns Q En hngent d éhelle elles sont dns N (dns [[1, C]]) Déoupge de l espe des temps en Clok regions Lieux où les ontrintes sont onstntes Être sur un entier ou entre 2 z 2 {0}, (0, 1), {1}, (1, 2), {2}, (2, ) Mouvements utorisés : projetion(s) (remise(s) à 0) 2 le temps vne suivnt 1 Prolème suivnt 1! z 1 Augmenttion exponentielle de l tille des données nomre de séprtions de l ordre de l plus grnde onstnte... érite en inire Automtes temporisés p.16/18
32 Se dérrsser du temps On suppose les onstntes des ontrintes dns Q En hngent d éhelle elles sont dns N (dns [[1, C]]) Déoupge de l espe des temps en Clok regions Lieux où les ontrintes sont onstntes Être sur un entier ou entre 2 z 2 {0}, (0, 1), {1}, (1, 2), {2}, (2, ) Mouvements utorisés : projetion(s) (remise(s) à 0) 2 le temps vne suivnt 1 Prolème suivnt 1! 1 Pré-ordre totl sur les prties frtionnires 0 F r(z 1 ) = F r(z 2 ) z 1 Augmenttion exponentielle de l tille des données nomre de séprtions de l ordre de l plus grnde onstnte... érite en inire Automtes temporisés p.16/18
33 Region utomton Soit R, l ensemle des régions Les régions α et β se suèdent α β ssi α + λ1 β ve λ positif Q = Q R I = I = {0} F = F = R (q, α) (r, β) ssi /φ/ρ q { r φ vri sur γ γ R Reset(γ, ρ) = β Reonnît extement le lngge dé-temporisé qui est don rtionnel Automtes temporisés p.17/18
34 Référenes [Alur nd Dill, 1994] Alur, R. nd Dill, D. L. (1994). A Theory of timed utomt. Theoretil Computer Siene, 126(2): [Asrin et l., 2002] Asrin, E., Cspi, P., nd Mler, O. (2002). Timed regulr expressions. Journl of the ACM, 49(2): [Bérrd nd Pironny, 2000] Bérrd, B. nd Pironny, C. (2000). Aepting zeno words: wy towrds timed refinements. At Informti, 37(1): [Bouyer nd Petit, 2002] Bouyer, P. nd Petit, A. (2002). A Kleene/Bühi-like theorem for lok lnguges. Journl of Automt, Lnguges nd Comintoris. To pper. Automtes temporisés p.18/18
Notes 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étailTechniques d analyse de circuits
Chpitre 3 Tehniques d nlyse de iruits Ce hpitre présente différentes méthodes d nlyse de iruits. Ces méthodes permettent de simplifier l nlyse de iruits ontennt plusieurs éléments. Bien qu on peut résoudre
Plus en dé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é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étailIntroduction à la modélisation et à la vérication p. 1/8
Introduction à l modélistion et à l vériction Appliction ux systèmes temporisés Ptrici Bouyer LSV CNRS & ENS de Cchn Introduction à l modélistion et à l vériction p. 1/8 Modélistion & Vériction Introduction
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é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é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é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étailIntégration et probabilités TD1 Espaces mesurés
Intégration et probabilités TD1 Espaces mesurés 2012-2013 1 Petites questions 1) Est-ce que l ensemble des ouverts de R est une tribu? 2) Si F et G sont deux tribus, est-ce que F G est toujours une tribu?
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é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é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é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é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é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é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étailIntégration et probabilités TD1 Espaces mesurés Corrigé
Intégration et probabilités TD1 Espaces mesurés Corrigé 2012-2013 1 Petites questions 1 Est-ce que l ensemble des ouverts de R est une tribu? Réponse : Non, car le complémentaire de ], 0[ n est pas ouvert.
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é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é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étailLOGICIEL FONCTIONNEL EMC VNX
LOGICIEL FONCTIONNEL EMC VNX Améliortion des performnces des pplictions, protection des données critiques et réduction des coûts de stockge vec les logiciels complets d EMC POINTS FORTS VNX Softwre Essentils
Plus en détailLITE-FLOOR. Dalles de sol et marches d escalier. Information technique
LITE-FLOOR Dlles de sol et mrches d esclier Informtion technique Recommndtions pour le clcul et l pose de LITE-FLOOR Générlités Cette rochure reprend les règles de se à respecter pour grntir l rélistion
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é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étail1. 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 2. 2.1.
T/TR 01-01 Pge 3 r+ 1. EQUIPMENT CONCERNE L interconnexion numerique interntionl pour le service visiophonique et de visioconf&ence necessite l stndrdistion des principux prmttres num&iques tels que d~it,
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é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étailSolutions électriques VELUX
Solutions életriques VELUX Les produits életriques VELUX utilisent l tehnologie io-homeontrol, protoole de ommunition sns fil séurisé, prtgé ve de grnds frints dns l univers du Bâtiment. Les téléommndes
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é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é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é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é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é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étailSommaire. 6. Tableau récapitulatif... 10. Sophos NAC intégré Vs. NAC Advanced - 17 Février 2009 2
Sommire 1. A propos de Sophos... 3 2. Comprtif des solutions Sophos NAC... 4 3. Sophos NAC pour Endpoint Security nd Control 8.0... 4 3.1. Administrtion et déploiement... 4 3.2. Gestion des politiques
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é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étailModel checking temporisé
Model checking temporisé Béatrice Bérard LAMSADE Université Paris-Dauphine & CNRS berard@lamsade.dauphine.fr ETR 07, 5 septembre 2007 1/44 Nécessité de vérifier des systèmes... 2/44 Nécessité de vérifier
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étailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détailCompression Compression par dictionnaires
Compression Compression par dictionnaires E. Jeandel Emmanuel.Jeandel at lif.univ-mrs.fr E. Jeandel, Lif CompressionCompression par dictionnaires 1/25 Compression par dictionnaire Principe : Avoir une
Plus en détailGPA770 Microélectronique appliquée Exercices série A
GPA770 Microélectronique appliquée Exercices série A 1. Effectuez les calculs suivants sur des nombres binaires en complément à avec une représentation de 8 bits. Est-ce qu il y a débordement en complément
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é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é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étailProbabilités sur un univers fini
[http://mp.cpgedupuydelome.fr] édité le 7 août 204 Enoncés Probabilités sur un univers fini Evènements et langage ensembliste A quelle condition sur (a, b, c, d) ]0, [ 4 existe-t-il une probabilité P sur
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étailCommencer DCP-7055W / DCP-7057W /
Guide d instlltion rpide Commencer DCP-7055W / DCP-7057W / DCP-7070DW Veuillez lire ttentivement le livret Sécurité et réglementtion vnt d'effectuer les réglges de votre ppreil. Consultez ensuite le Guide
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é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é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étailUSB cable users: Do not connect the USB cable until step A2.
Bsis Guide Strt Here Commenez ii 1 USB ble users: Do not onnet the USB ble until step A2. Utilisteurs de âble USB : Ne onnetez ps le âble USB vnt l étpe A2. Use this guide to set up the hrdwre nd onnet
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é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étailArchitecture des ordinateurs TD1 - Portes logiques et premiers circuits
Architecture des ordinateurs TD1 - Portes logiques et premiers circuits 1 Rappel : un peu de logique Exercice 1.1 Remplir la table de vérité suivante : a b a + b ab a + b ab a b 0 0 0 1 1 0 1 1 Exercice
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étailLa mesure de Lebesgue sur la droite réelle
Chapitre 1 La mesure de Lebesgue sur la droite réelle 1.1 Ensemble mesurable au sens de Lebesgue 1.1.1 Mesure extérieure Définition 1.1.1. Un intervalle est une partie convexe de R. L ensemble vide et
Plus en détailAVENTICUM. Petit guide actif pour découvrir l ancienne capitale de l Helvétie romaine cycle 2 degré 5-6 PER. Un jour à. Moi c est Camillus, et toi?
Petit guide tif pour déouvrir l nienne pitle de l Helvétie romine yle 2 degré 5-6 PER Moi est Cmillus, et toi? Dniel Stevn 2011 1 Mode d emploi Je suis un Romin d Aventium, une ville que j ime utnt que
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étailThèse Présentée Pour obtenir le diplôme de doctorat en sciences En génie civil Option : structure
République Algérienne Démocrtique et Populire Ministère de l enseignement supérieur et de l recherche scientifique Université Mentouri de Constntine Fculté des sciences et sciences de l ingénieur Déprtement
Plus en détailLa demande Du consommateur. Contrainte budgétaire Préférences Choix optimal
La demande Du consommateur Contrainte budgétaire Préférences Choix optimal Plan du cours Préambule : Rationalité du consommateur I II III IV V La contrainte budgétaire Les préférences Le choix optimal
Plus en détailUniversité Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au
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é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é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étailChronogrammes et contraintes. à la modélisation de systèmes dynamiques à événements
Actes FAC 2007 Chronogrammes et contraintes pour la modélisation de systèmes dynamiques à événements discrets Gérard Verfaillie Cédric Pralet Michel Lemaître ONERA/DCSD Toulouse 2 av. Édouard Belin, BP
Plus en détailFIMA, 7 juillet 2005
F. Corset 1 S. 2 1 LabSAD Université Pierre Mendes France 2 Département de Mathématiques Université de Franche-Comté FIMA, 7 juillet 2005 Plan de l exposé plus court chemin Origine du problème Modélisation
Plus en détailInformatique Théorique : Théorie des Langages, Analyse Lexicale, Analyse Syntaxique Jean-Pierre Jouannaud Professeur
Université Paris-Sud Licence d Informatique Informatique Théorique : Théorie des Langages, Analyse Lexicale, Analyse Syntaxique Jean-Pierre Jouannaud Professeur Adresse de l auteur : LIX École Polytechnique
Plus en détailSuites numériques 4. 1 Autres recettes pour calculer les limites
Suites numériques 4 1 Autres recettes pour calculer les limites La propriété suivante permet de calculer certaines limites comme on verra dans les exemples qui suivent. Propriété 1. Si u n l et fx) est
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é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é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étailPour développer votre entreprise LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI!
Pour développer votre entreprise Gestion Commercile Gérez le cycle complet des chts (demnde de prix, fcture fournisseur), des stocks (entrée, sortie mouvement, suivi) et des ventes (devis, fcture, règlement,
Plus en détailET 24 : Modèle de comportement d un système Boucles de programmation avec Labview.
ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview. Sciences et Technologies de l Industrie et du Développement Durable Formation des enseignants parcours : ET24 Modèle de
Plus en détailModel Based Testing : principes et applications dans le cadre temporisé
Model Based Testing : principes et applications dans le cadre temporisé Antoine Rollet Université de Bordeaux (LaBRI - CNRS UMR 5800) Talence - France http://www.labri.fr/~rollet Email: rollet@labri.fr
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étailQuelques tests de primalité
Quelques tests de primalité J.-M. Couveignes (merci à T. Ezome et R. Lercier) Institut de Mathématiques de Bordeaux & INRIA Bordeaux Sud-Ouest Jean-Marc.Couveignes@u-bordeaux.fr École de printemps C2 Mars
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é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étailDOCM 2013 http://docm.math.ca/ Solutions officielles. 1 2 10 + 1 2 9 + 1 2 8 = n 2 10.
A1 Trouvez l entier positif n qui satisfait l équation suivante: Solution 1 2 10 + 1 2 9 + 1 2 8 = n 2 10. En additionnant les termes du côté gauche de l équation en les mettant sur le même dénominateur
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étailSommaire. Couverture de zone de surveillance dans les réseaux de capteurs. De quoi parle-t-on ici (1/2)? Objectif. De quoi parle-t-on ici (2/2)?
ouverture de zone de surveillance dans les réseaux de capteurs Jean arle, Master Recherche Informatique Option Informatique Mobile 008-009 s Jean arle - Master Recherche Informatique 008-009 Objectif e
Plus en détailGuide de l'utilisateur
Guide de l'utilisteur Symboles Utilisés Dns ce Guide Indictions de sécurité L documenttion et le projecteur utilisent des symboles grphiques qui indiquent comment utiliser l ppreil en toute sécurité. Veillez
Plus en détailProposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.
DÉVELOPPEMENT 32 A 5 EST LE SEUL GROUPE SIMPLE D ORDRE 60 Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5. Démonstration. On considère un groupe G d ordre 60 = 2 2 3 5 et
Plus en détailUne forme générale de la conjecture abc
Une forme générale de la conjecture abc Nicolas Billerey avec l aide de Manuel Pégourié-Gonnard 6 août 2009 Dans [Lan99a], M Langevin montre que la conjecture abc est équivalente à la conjecture suivante
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étailChap 4. La fonction exponentielle Terminale S. Lemme : Si est une fonction dérivable sur R telle que : = et 0! = 1 alors ne s annule pas sur R.
Lemme : Si est une fonction dérivable sur R telle que : = et 0! = 1 alors ne s annule pas sur R. Démonstration : Soit la fonction %:& %&!= &!, elle est dérivable sur R et & R, %. &!= &! = &! = %&! gaelle.buffet@ac-montpellier.fr
Plus en détailAvant d utiliser l appareil, lisez ce Guide de référence rapide pour connaître la procédure de configuration et d installation.
Guide de référence rpide Commencer Avnt d utiliser l ppreil, lisez ce Guide de référence rpide pour connître l procédure de configurtion et d instlltion. NE rccordez PAS le câle d interfce mintennt. 1
Plus en détailCHAPITRE IV. L axiome du choix
CHAPITRE IV L axiome du choix Résumé. L axiome du choix AC affirme qu il est légitime de construire des objets mathématiques en répétant un nombre infini de fois l opération de choisir un élément dans
Plus en détailLe théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche
Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche Bachir Bekka Février 2007 Le théorème de Perron-Frobenius a d importantes applications en probabilités (chaines
Plus en détailContinuité d une fonction de plusieurs variables
Chapitre 2 Continuité d une fonction de plusieurs variables Maintenant qu on a défini la notion de limite pour des suites dans R n, la notion de continuité s étend sans problème à des fonctions de plusieurs
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étailRéalisation de sites Internet PME & Grandes entreprises Offre Premium. Etude du projet. Webdesign. Intégration HTML. Développement.
Rélistion de sites Internet PME & Grndes entreprises Offre Premium Etude du projet Réunions de trvil et étude personnlisée de votre projet Définition d une strtégie de pré-référencement Webdesign Définition
Plus en détailPremière partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015
Énoncé Soit V un espace vectoriel réel. L espace vectoriel des endomorphismes de V est désigné par L(V ). Lorsque f L(V ) et k N, on désigne par f 0 = Id V, f k = f k f la composée de f avec lui même k
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é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étailLe canal étroit du crédit : une analyse critique des fondements théoriques
Le cnl étroit du crédit : une nlyse critique des fondements théoriques Rfl Kierzenkowski 1 CREFED Université Pris Duphine Alloctire de Recherche Avril 2001 version provisoire Résumé A l suite des trvux
Plus en détailInitiation à LabView : Les exemples d applications :
Initiation à LabView : Les exemples d applications : c) Type de variables : Créer un programme : Exemple 1 : Calcul de c= 2(a+b)(a-3b) ou a, b et c seront des réels. «Exemple1» nom du programme : «Exemple
Plus en détail