Théorie des Langages Formels Chapitre 5 : Automates minimaux
|
|
- Sévérine Chrétien
- il y a 8 ans
- Total affichages :
Transcription
1 1/29 Théorie des Lngges Formels Chpitre 5 : Automtes minimux Florence Levé Florence.Leve@u-picrdie.fr Année
2 2/29 Introduction Les lgorithmes vus précédemment peuvent mener à des utomtes reltivement gros. On souhite otenir des utomtes les plus petits possile, en grdnt l vntge des utomtes déterministes. Nous nous intéressons donc ici à l utomte déterministe ynt le moins d étts possile : Nous llons voir qu il est unique. Nous verrons deux méthodes pour l otenir : une directement à prtir d une expression rtionnelle ; l utre à prtir d un utomte déjà connu.
3 3/29 Automte miniml Théorème : Tout lngge reconnissle est reconnu pr un unique (u renommge près des étts) utomte déterministe complet tel que tout utre utomte déterministe complet u moins utnt d étts que lui. L utomte décrit ci-dessus est ppelé utomte miniml complet ou plus simplement utomte miniml reconnissnt le lngge.
4 4/29 Résiduel Soient A un lphet, L A un lngge et u A un mot. Le résiduel (à guche ou quotient à guche) de L pr rpport à u est le lngge u 1 L = {v A uv L}. Exemple : L = {,, } 1 L = {, }, 1 L = {}, c 1 L = Méthode : u 1 L est l ensemle X tel que L ua = ux Pour clculer un résiduel u 1 L sur un exemple simple : 1. Trouver les mots de L commençnt pr u : L ua ; 2. Enlever les préfixes u u 1 L.
5 5/29 Lemme Soit L A un lngge reconnu pr un utomte déterministe complet Aut = <A, Q, {d}, F, δ >. Soit u un mot. Il existe un unique chemin dns Aut prtnt de d et étiqueté pr u : soit p l étt dns lequel outit ce chemin. Alors : u 1 L = L p Preuve : ul p L implique L p u 1 L Pour v pprtennt à u 1 L, uv L. Puisque l utomte est déterministe, l unique chemin reconnissnt uv dns Aut est un chemin qui près voir reconnu u rrive en p et donc v L p. Ainsi u 1 L L p. Corollire : Tout lngge reconnissle un nomre fini de résiduels.
6 6/29 Lemme Pour tous mots u et v et pour tout lngge L, (uv) 1 L = v 1 (u 1 L) Preuve : (uv) 1 L = {w uvw L} = {w vw u 1 L} = v 1 (u 1 L)
7 7/29 Approche On peut clculer les résiduels u 1 L pour les longueurs de u successives : 0, 1, 2,... Comme il y un nomre fini de résiduels, le clcul ne peut que s rrêter.
8 8/29 Clcul des résiduels Donnée : un lngge L ; Hypothèse : le lngge L un nomre fini de résiduels ; Résultts : les résiduels de L (notés L 0,..., L k 1 où k est le nomre de résiduels de L). Premier résiduel : ε 1 L = L (le noter L 0 ) tnt que de nouveux ensemles pprissent : clculer les résiduels pr rpport ux lettres de l lphet en prtnt des ensemles précédemment otenus ; numéroter u fur et à mesure les lngges distincts rencontrés.
9 9/29 Formules utiles Dns le formulire suivnt est une lettre, L, L 1 et L 2 sont des ensemles (L 1 L 2 ) = 1 L 1 1 L (L 1 L 2 ) = ( 1 L 1 )L 2 si ε L (L 1 L 2 ) = ( 1 L 1 )L 2 1 L 2 si ε L (L ) = ( 1 L)L 5. 1 (L 1 L 2 ) = 1 L 1 1 L (A \ L) = A \ ( 1 L) 7. 1 (L 1 \ L 2 ) = ( 1 L 1 ) \ ( 1 L 2 )
10 10/29 Exemple Résiduels du lngge A sur lphet {, }. L 0 = ε 1 L = L 1 L 0 = 1 (A ) = ( 1 A ) 1 {} = ( 1 A)A {} = εa {} = A + := L 1 1 L 0 = L 0 1 L 1 = L 1 1 L 1 = ε + A := L 2 1 L 2 = L 1 1 L 2 = L 0
11 11/29 Remrques L méthode de clcul précédente n est ps implémentle dns tous les cs : prolème 1. Comment est donné le lngge L? Ps nécessirement pr le iis d une expression rtionnelle? prolème 2. Comment tester l églité d un lngge pr rpport ux précédents déjà clculés, en prticulier si le lngge n est ps reconnissle... et même qund il l est. L hypothèse nomre de résiduels fini n est ps toujours évlule et, sns elle, le clcul précédent ne finit ps. Pr contre, qund elle est implémentle, elle donne directement un utomte déterministe (vec le moins d étts possiles).
12 12/29 Construction de l utomte miniml Proposition : 1. Un lngge L est reconnissle si et seulement si le nomre de ses résiduels est fini. 2. L utomte déterministe miniml complet reconnissnt L est l utomte tel que : les étts sont numérotés de 0 à n 1 où n est le nomre de résiduels de L ; chque résiduel Li correspond à un étt noté i ; l étt de déprt 0 correspond u résiduel de L pr rpport à ε, c est-à-dire L lui-même (L 0 = ε 1 L = L) ; il existe une trnsition (i,, j) si et seulement si L j = 1 L i ; i est un étt d ccepttion si et seulement si ε L i. L utomte défini insi est ppelé utomte des résiduels.
13 13/29 L 0 = L = A 1 L 0 = L 1 = A + 1 L 0 = L 0 1 L 1 = L 1 1 L 1 = L 2 = ε + A 1 L 2 = L 1 1 L 2 = L 0 Exemple (ε L 2 L 2 étt d ccepttion) L0 L1 L2
14 14/29 Preuve de l proposition 1. Un lngge L est reconnissle si et seulement si le nomre de ses résiduels est fini. on donne une construction de l utomte résiduel. Le premier lemme du chpitre implique que le nomre de résiduels d un lngge reconnu pr un utomte fini est fini puisqu il est mjoré pr le nomre d étts de cet utomte. 2. L utomte déterministe miniml complet reconnissnt L est l utomte des résiduels. Remrquons églement que le même lemme ssocie à chque résiduel u moins un étt. Ainsi, le nomre d étts d un utomte déterministe complet reconnissnt un lngge est minoré pr le nomre de résiduels (de ce fit, à un étt n est ssocié qu un seul résiduel). Donc l utomte des résiduels un nomre miniml d étt.
15 15/29 Preuve de l proposition 2. L utomte déterministe miniml complet reconnissnt L est l utomte des résiduels. L utomte des résiduels est déterministe et complet : pr construction, pour chque étt (un résiduel) on clcule une trnsition et une seule pr chque lettre. L utomte des résiduels reconnît le lngge L. Idée : Si u = 1... n est un mot, il existe un chemin (L 0, 1, 1 1 L), (1 1 L, 2, 2 1 ( 1 1 L) = ( 1 2 ) 1 L), (( 1 2 ) 1 L, 3, ( ) 1 L),..., ( n 1 ) 1 L, n, ( n 1 n ) 1 L dns l utomte des résiduels. On : 1... n L si et seulement si ε ( n 1 n ) 1 L.
16 16/29 Preuve de l proposition Il reste à vérifier que tout utomte miniml déterministe complet est isomorphe à l utomte des résiduels i.e. à un renommge des étts est l utomte des résiduels. Soit donc un utomte Aut ynt le même nomre d étts que l utomte des résiduels. On vu que chque résiduel est ssocié à un unique étt Le résiduel pr ε est nécessirement l étt initil. Les étts terminux correspondent nécessirement ux résiduels qui contiennent le mot vide. Considérons à présent une trnsition (Li,, L j ). Cette trnsition existe puisque l utomte est complet et est unique puisque l utomte est déterministe. Pr ssocition des lngges ux étt, L j L i et donc 1 L i L j. Soit v un mot dns L j, v est lors l étiquette d un chemin prtnt de L i llnt dns un étt finl : v L i. Ainsi L j 1 L i. Donc les trnsitions de l utomte Aut sont les mêmes que celles de l utomte des résiduels.
17 17/29 Une mnière de tester l minimlité Idée : nous vons vu que, pour tout utomte déterministe, tout étt étit ssocié à un unique résiduel. Mis l réciproque n est ps vrie : deux étts peuvent être ssociés à un même résiduel. Si c est le cs l utomte n est ps miniml.
18 18/29 Étts séprés Soit Aut = <A, Q, {d}, F, δ > un utomte fini déterministe complet. Deux étts s, t Q sont séprés pr le mot u A si l une des deux conditions suivntes est vérifiée : u Ls=init et u L t=init ; u L s=init et u L t=init. Autrement dit, deux étts sont séprés pr un mot si le chemin étiqueté pr ce mot et prtnt de l un des deux étts outit dns un étt d ccepttion, tndis que le chemin étiqueté pr ce mot et prtnt de l utre étt outit dns un étt qui n est ps d ccepttion. Exemple : < {, }, {1, 2, 3}, {1}, {2}, {(1,, 2), (1,, 1), (2,, 3), (2,, 2), (3,, 3), (3,, 1)} >. Le mot vide sépre les étts 1 et 2. Le mot ne les sépre ps.
19 19/29 Test de minimlité Proposition : Un utomte déterministe complet est miniml si et seulement si pour tout couple d étts (p, q) il existe un mot qui sépre p et q. Conséquence : Le résultt précédent donne un moyen de montrer qu un utomte est miniml. Il suffit d exhier pour chque couple d étt (p, q) un mot qui les sépre. Pr exemple, l utomte précédent est miniml : le mot vide sépre les étts 1 et 2 ; il sépre ussi les étts 2 et 3 ; le mot sépre les étts 1 et 3.
20 20/29 Équivlence de Nérode Définition : Étnt donnés un utomte Aut, des étts p et q et un entier n 0, notons : 1. p q le fit que p et q ne sont séprés pr ucun mot 2. p n q le fit que p et q ne sont séprés pr ucun mot de longueur inférieure ou égle à n. L reltion (définie sur les étts de Aut) est ppelée Reltion de Nérode. Lemme : Étnt donné un utomte Aut, les reltions et n (pour tout entier n 0) sont des reltions d équivlence (i.e. réflexive, symétrique et trnsitive).
21 21/29 Prtitionnement des étts d un utomte Lemme : Pour un utomte de k étts : 1. pour tout entier n 0, p n+1 q si et seulement si p n q et pour toute lettre, δ(p, ) n δ(q, ) ; 2. il existe un entier n vec 0 n k tel que n = n+1 (i.e. pour tous étts p et q, p n q si et seulement si p n+1 q) et pour tout entier m n, m = n = ; 3. Si n = n+1 lors n+1 = n+2.
22 22/29 Algorithme de Moore Donnée : un utomte complet déterministe ccessile Résultt : l équivlence de Nérode et l utomte miniml reconnissnt le lngge reconnu pr l utomte donné Principe générl : l lgorithme clcule lettre pr lettre les mots séprnt des étts (il clcule donc les clsses d équivlences des reltions n ). Après exmen de chque longueur de mot possile, un iln est fit : il consiste à ttriuer un numéro (en chiffre romin) à chque clsse de n.
23 23/29 Algorithme de Moore Construire un tleu dont les colonnes sont les différents étts de l utomte de déprt. L première ligne de iln s otient en séprnt (pr ε) les étts d ccepttion et les utres en deux clsses. Numéroter I l étt de l première colonne ; Numéroter I ou II les étts des utres colonnes de mnière que tous les étts d ccepttion soient numérotés de l même mnière, et que tous les étts non d ccepttion soient numérotées de l utre mnière. Les lignes suivntes du tleu sont construites une pr une en regrdnt, pour chque étt, dns quel étt mène l trnsition pr une lettre de A et en notnt l clsse à lquelle pprtient cet étt dns l ligne iln précédente. Cette opértion est rélisée à rison d une ligne pr lettre de A.
24 24/29 Algorithme de Moore Un nouveu iln est effectué qui prend en compte le iln précédent et toutes les lignes que l on vient de clculer : deux colonnes différentes donnent deux clsses différentes. L ligne otenue fit le iln de tout ce qui précède et c est vec elle que l on recommence. Là encore, les clsses sont numérotées en chiffres romins à prtir de l guche. On répète les deux opértions qui précèdent jusqu à otenir deux lignes de iln successives identiques.
25 25/29 Algorithme de Moore Les étts de l utomte miniml complet sont les clsses de l dernière ligne de iln. Les trnsitions se trouvent dns le tleu entre l vnt-dernière et l dernière ligne de iln. L étt de déprt est l clsse contennt l étt de déprt de l utomte déterministe. Les étts d ccepttion sont les clsses contennt des étts d ccepttion de l utomte initil ; puisque ε sépre les étts d ccepttion des utres, une clsse ne contient soit que des étts d ccepttion, soit ucun étt d ccepttion.
26 26/29 Exemple
27 Exemple ε I II II I I II I I II II I II II I II II II II II I I II I I iln I II III IV IV III IV IV III III IV III III IV III III II II III IV IV III IV IV iln I II III IV IV III IV IV On s rrête cr on deux fois le même iln. 27/29
28 Exemple : utomte miniml ε I II II I I II I I II II I II II I II II II II II I I II I I iln I II III IV IV III IV IV III III IV III III IV III III II II III IV IV III IV IV iln I II III IV IV III IV IV I III IV II 28/29
29 29/29 Remrques L ppliction de l lgorithme de Moore peut éventuellement mener à l conclusion que tous les étts sont séprés. Cel constitue une preuve que l utomte initil est miniml. Du point de vue complexité, il y plus n étpes dns l lgorithme. Chque étpe fit un clcul en Θ(n crd(a)) (si les trnsitions données pr une tle de trnsitions vec ccès direct). L lgorithme une complexité en Θ(n 2 ) (mis il peut être ppliqué sur des utomtes très grnd pr exemple issus d une déterministion.
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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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étailANALYSE : FONCTIONS D UNE VARIABLE RÉELLE
Jen-Pierre Dedieu, Jen-Pierre Rymond ANALYSE : FONCTIONS D UNE VARIABLE RÉELLE Institut de Mthémtiques Université Pul Sbtier 31062 Toulouse cedex 09 jen-pierre.dedieu@mth.univ-toulouse.fr jen-pierre.rymond@mth.univ-toulouse.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é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étailClasseur courtier d assurance. Comment organiser son activité et se préparer à un contrôle
Clsseur courtier d ssurnce Comment orgniser son ctivité et se préprer à un contrôle 67, venue Pierre Grenier 92517 BOULOGNE-BILLANCOURT CEDEX Tél : 01.46.10.43.80 Fx : 01.47.61.14.85 www.streevocts.com
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é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é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é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étailPartie 4 : La monnaie et l'inflation
Prtie 4 : L monnie et l'infltion Enseignnt A. Direr Licence 2, 1er semestre 2008-9 Université Pierre Mendès Frnce Cours de mcroéconomie suite 4.1 Introduction Nous vons vu dns l prtie introductive que
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é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é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é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é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é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é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é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étailLa pratique institutionnelle «à plusieurs»
L prtique institutionnelle «à plusieurs» mury Cullrd Février 2013 Nicols, inquiet: «Qund je suis seul vec quelqu un, il se psse des choses» Vlentin, à propos de l institution : «Ici, y beucoup de gens,
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étailEnsEignEmEnt supérieur PRÉPAS / BTS 2015
Enseignement supérieur PRÉPAS / BTS 2015 Stnisls pour mbition de former les étudints à l réussite d exmens et de concours des grndes écoles de mngement ou d ingénieurs. Notre objectif est d ccompgner chque
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é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é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é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é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é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é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étailPour développer votre entreprise. Compta LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI!
Pour développer votre entreprise Compt Avec EBP Compt, vous ssurez le suivi de l ensemble de vos opértions et exploitez les données les plus complexes en toute sécurité. Toutes les fonctionnlités essentielles
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é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é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é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é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étailManSafe. pour les Utilitiés. La Protection antichute pour les Industries de l'energie. Français. TowerLatch LadderLatch
MnSfe pour les Utilitiés L Protection ntichute pour les Industries de l'energie Frnçis TowerLtch LdderLtch Les questions de protection nti-chute Les chutes de huteur sont l cuse de mortlité l plus importnte
Plus en détailLa paye. La comptabilité. Comparez et choisissez votre logiciel. Comparez et choisissez votre logiciel. Paye Bâtiment 2012. Paye Agricole 2013
L comptbilité Comprez et choisissez votre logiciel L pye Comprez et choisissez votre logiciel TABLEAUX COMPARATIFS Compt Prtic Pour les créteurs et les entrepreneurs novice en Compt Compt Clssic Pour l
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étailNEWS PRO ACTIV. www.activexpertise.fr. [Juillet 2015] Ce mois-ci on vous parle de. L arrêté est applicable à compter du 1er Juillet 2015.
Ce mois-ci on vous prle de i Rpport de repérge minte : Trnsmission u Préfet obligtoire à compter du 1 er juillet 2015 Simplifiction des formlités : De bonnes nouvelles pour les entreprises de dignostic
Plus en détailModification simultanée de plusieurs caractéristiques d un bien hédonique : une nouvelle méthode de calcul de la variation de bien-être des ménages
Modifiction simultnée de plusieurs crctéristiques d un bien hédonique : une nouvelle méthode de clcul de l vrition de bien-être des ménges Trvers Muriel * Version provisoire Résumé : De nombreuses situtions
Plus en détailMarketing et Communication qui Améliorent significativement la Rentabilité de votre activité. la vision créative.
la vision créative de votre réussite Marketing et Communication qui méliorent significativement la Rentailité de votre activité www.soreat.com contact@soreat.com Tél : 03 29 55 48 01 SOMMIRE Notre histoire,
Plus en détailANNEXES. André de Palma et Cédric Fontan. Thema Transport & Réseaux. Le 26 octobre 2000
Enquêe MADDIF : Mulimoif Adpée à l Dynmique des comporemens de Déplcemen en Ile-de-Frnce ANNEXES André de Plm e Cédric Fonn Them Trnspor & Réseux Le 26 ocobre 2000 Lere de commnde N 99MT20 DRAST Minisère
Plus en détailINTENTION LES PROCESSUS MATHÉMATIQUES
INTENTION Adpttios u Cdre commu des progrmmes d études de mthémtiques M-9 telles que reflétées ds le documet Mthémtiques M-9 : Progrmme d études de l Albert (2007) Le coteu du documet Mthémtiques M-9 :
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étailDéveloppement de l imagerie RMN par agents CEST : application à un modèle rongeur de tumeur cérébrale
Développement de l imgerie RMN pr gents CEST : ppliction à un modèle rongeur de tumeur cérérle Julien Flment To cite this version: Julien Flment. Développement de l imgerie RMN pr gents CEST : ppliction
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étailMagister en : Génie Mécanique
الجمهورية الجزاي رية الديمقراطية الشعبية République Algérienne Démocrtique et Populire وزارة التعليم العالي و البحث العلمي Ministère de l enseignement supérieur et de l recherche scientifique Université
Plus en détailBilan pédagogique / Projet ipad Contexte
t e j n r i t P t n e m i r é d p x d e es ip e d s s l c en gie. l chn, p s e g iss rent p p es ur l s é r cent t e j n pr Bil g g éd n p l2 vri, e iqu U d ps égrtin m t L sch en in tin duc en De gique
Plus en détailDéroulement de l épreuve de mathématiques
Dérouleet de l épreuve de thétiques MATHÉMATIQUES Extrit de l ote de service 2012-029 du 24 février 2012 (BOEN 13 du 29-3-2012) Durée de l épreuve : 2 heures Nture de l épreuve : écrite pr le socle cou
Plus en détailWieland-Werke AG, 89070 Ulm, Allemagne Février 2012
Wieln-Werke AG, 89070 Ulm, Allemgne Février 2012 Conitions générles e livrison 1. Conitions ontrtuelles, roit pplile Nous livrons et fournissons es presttions onformément à notre onfirmtion e ommne érite
Plus en détail16.1 Convergence simple et convergence uniforme. une suite de fonctions de I dans R ou C.
16 Suites de foctios Suf précisio cotrire, I est u itervlle réel o réduit à u poit et les foctios cosidérées sot défiies sur I à vleurs réelles ou complexes. 16.1 Covergece simple et covergece uiforme
Plus en détailTheorie des mrches Dns ce chpitre, on etudie l'interction de l'ore et de l demnde sur un mrche d'un bien donne. On etudier, en prticulier, l'equilibre du mrche. Etnt donne qu'on s'interesse uniquement
Plus en détailClients légers IGEL et bureaux virtuels : synergie idéale et coût minimal
Clients légers IGEL et bureux virtuels : synergie idéle et coût miniml Infrstructure de bureux virtuels vec clients légers IGEL Universl Desktop : Une plus grnde liberté de conception pour vos postes de
Plus en détailSystèmes de plafonds
Systèmes de plfonds Sommire Une connissnce ultime des systèmes 4 2 Présenttion 5 Types de plfonds Gyproc 5 Applictions et vntes 6 Choix de l structure du plfond 7 Choix de l plque de revêtement 8 Pose
Plus en détailVIBRATIONS COUPLEES AVEC LE VENT
VIBRATIONS OPLEES AVE LE VENT Pscl Hémon Lbortoire d Hydrodynmique, LdHyX Ecole Polytechnique, Pliseu Octobre 00 Vibrtions couplées vec le vent Si vous pense que j i révélé des secrets, je m en ecuse.
Plus en détailAnnexe II. Les trois lois de Kepler
Annexe II es tois lois de Keple écnique & 4 èe - Annexe II es tois lois de Keple Johnnes Keple (57-6), pulie en 596 son peie ouge, ysteiu Cosogphicu Teize nnées plus td, en 69, il pulie Astonoi No, dns
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é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étailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
Plus en détail3 -Les traumatismes du membre inféri e u r
3 -Les trumtismes du memre inféri e u r C. Cytevl*, A. Cotten*, M-P.Srrère*, N. Tixedor* Le memre inférieur pour mission de supporter le poids du corps et de permettre de se m o i l i s e r; toute irrégulrité
Plus en détailPortiers audio et vidéo ABB-Welcome et ABB-Welcome M
Portiers udio et vidéo ABB-Welcome et ABB-Welcome M Connectivité Votre regrd vers l'extérieur et ce, où que vous soyez Flexiilité Des esoins les plus simples ux instlltions les plus complexes Gmmes ABB-Welcome
Plus en détailDéfinition 0,752 = 0,7 + 0,05 + 0,002 SYSTÈMES DE NUMÉRATION POSITIONNELS = 7 10 1 + 5 10 2 + 2 10 3
8 Systèmes de numération INTRODUCTION SYSTÈMES DE NUMÉRATION POSITIONNELS Dans un système positionnel, le nombre de symboles est fixe On représente par un symbole chaque chiffre inférieur à la base, incluant
Plus en détailCARDIOLOGIE. Conférences scientifiques
www.crdiologieconferences.c 0 4 v o l u m e X V, n u m é r o CARDIOLOGIE MD Conférences scientifiques Guide prtique sur l usge des nouveux nticogulnts pour prévenir l ccident vsculire cérébrl dns l fibrilltion
Plus en détailDirectives COV et alternative lipochimique : peintures, encres, nettoyage, dégraissage...
Directives COV et lterntive lipochimique : peintures, encres, nettoyge, dégrissge... Alin LEMOR Recherche & Développement, Novnce, BP 20609, Venette, 60206 Compiègne Cedex, Frnce, Fx. +33 (0)3 44 90 70
Plus en détailBloc notes. a À faire tout de suite. Gardez secret votre code confidentiel. À conserver précieusement. Protégez votre carte
Q U O T I D I E N Crte Mestro Comment voir tous les touts de votre crte bien en min Guide mémo + Notice d Assistnce Octobre 2010 Bloc notes À fire tout de suite Votre crte est strictement personnelle,
Plus en détailChapitre IV Les oscillations couplées «Les oscillations libres d un système à plusieurs degrés de liberté»
Chre IV, cours de vbrons, ondes _Phs, Pr. Bds Bennecer MD 8-9 Chre IV es oscllons coulées «es oscllons lbres d un ssèe à luseurs degrés de lberé» Dns ce chre, nous llons coencer r éuder les oscllons lbres
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étailIntégrales généralisées
3 Iégrles géérlisées Pour ce chpire, les focios cosidérées so priori défiies sur u iervlle réel I o rédui à u poi, à vleurs réelles ou complees e coiues pr morceu. L défiiio e les propriéés de l iégrle
Plus en détailCalculer comment se constituer un capitale ; Calculer comment rembourser une dette en effectuant des versements réguliers.
CHAP: 8 Objecifs de ce chpire : Clculer comme se cosiuer u cpile ; Clculer comme rembourser ue dee e effecu des versemes réguliers. RAPPELS : Qu'es-ce qu'ue vleur cquise? Qu'es-ce qu'ue vleur cuelle? Le
Plus en détailAxiomatique de N, construction de Z
Axiomatique de N, construction de Z Table des matières 1 Axiomatique de N 2 1.1 Axiomatique ordinale.................................. 2 1.2 Propriété fondamentale : Le principe de récurrence.................
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étail