Marc Chemillier Master M2 Atiam (Ircam),
|
|
- Zoé Viau
- il y a 8 ans
- Total affichages :
Transcription
1 MMIM Modèles mthémtiques en informtique musicle Mrc Chemillier Mster M2 Atim (Ircm), Notions théoriques sur les lngges formels - Définitions générles o Mots, lngges o Monoïdes - Notion d utomte fini o Automte fini déterministe (AFD) o Automte fini non déterministe (AFN) 1. Définitions générles 1.1 Mots Un mot fini u est une suite de symoles. L longueur de u notée u est le nomre de symoles du mot. Le mot vide noté ε est le seul mot de longueur nulle. L ensemle des symoles noté Σ est ppelé lphet, et l ensemle des mots sur l lphet Σ est noté Σ *. Pour deux mots u = u 1 u n et v = v 1 v m, on définit l concténtion uv comme le mot otenu en mettnt les lettres de v à l suite de celles de u : uv = u 1 u n v 1 v m. Un mot u Σ * est fcteur du mot w Σ * s il existe v, v' Σ * tels que w = vuv'. Si v = ε, on dit que u est préfixe. Si v' = ε, on dit que u est suffixe. Exemple : est fcteur de, et est à l fois préfixe et suffixe, mis n est ps fcteur. Un mot fini u est périodique si u = x n pour n 2. Tout mot non périodique est dit primitif. 1
2 L idée fondmentle de ce cours est que l notion de mot permet de représenter le principe de succession d événements dns une séquence musicle, d où son intérêt pour l modélistion en informtique musicle. 1.2 Lngges Les sous-ensemles de Σ * sont ppelés des lngges (c est-à-dire des ensemles de mots, ou de séquences musicles dns le contexte de l informtique musicle). Opértions sur les lngges : opértions clssiques sur les ensemles : union, intersection, différence \, complémentire, opértions héritées de l concténtion : L concténtion de deux lngges est définie pr : L 1 L 2 = {uv, u L 1 et v L 2 }. Exemple : L 1 = {, }, L 2 = {c, c}, L 1 L 2 = {c, c, c}. L puissnce d un lngge L est définie inductivement : L 0 = {ε}, L n+1 = L n L. L étoile d un lngge L, notée L *, est : L * = {ε} L L 2 L n Ce lngge contient un nomre infini de mots, qui sont les répétitions indéfinies de mots de L. Exemple : L = {, }, L * est l ensemle de tous les mots tels que n est ps fcteur, et n est ps suffixe. On note églement L + le lngge : L + = L L 2 L n 1.3 Monoïdes Un monoïde est un ensemle muni d une opértion ssocitive, possédnt un élément neutre 1. 2
3 Un sous-monoïde est un sous-ensemle fermé pour l opértion et contennt l élément neutre. L ensemle Σ * des mots sur l lphet Σ est un monoïde pour l concténtion, dont l élément neutre est le mot vide ε. Ce monoïde est engendré pr l ensemle de ses lettres, c est-à-dire l lphet Σ. Soient deux mots u = u 1 u n et v = v 1 v m. L églité u = v équivut à l églité de toutes les lettres de u et v une à une, c est-à-dire u i = v i pour tout i n = m. Pour cette rison, on dit que Σ * est le monoïde lire sur Σ. Remrque : Cette notion de «lierté» est similire à celle des espces vectoriels lorsqu on dit qu une fmille de vecteurs est lire si l églité de deux cominisons linéires de ces vecteurs implique l églité de chcun de leurs coefficients. Un sous-monoïde de Σ * est-il toujours «lire» pr rpport à l ensemle qui l engendre? -> Non. Exemple : le sous-monoïde engendré pr C = {,, c, c} n est ps lire sur C : ()(c) = ()(c) On dit qu un sous-monoïde est lire s il existe un ensemle générteur pr rpport uquel il est lire. Exemple : le sous-monoïde engendré pr C = {, cd, cd} n est ps lire pr rpport à C cr ()(cd) = cd, mis il l est ps rpport à C' = {, cd}. Un code est une prtie C de Σ * qui engendre un sous-monoïde de Σ * lire pr rpport à C. Tout élément du sous-monoïde s écrit d une mnière unique comme suite d éléments de C. Cel signifie qu on peut «décoder» les éléments de C *. L ensemle Σ n des mots de longueur n est un code, en prticulier l lphet Σ est un code (longueur 1). Attention : Le code morse n est ps un code dns le sens ci-dessus. 3
4 On E =, T =, et N =, donc on N = TE. Le décodge en morse se fit grâce à l présence de séprteurs entre les lettres. Représenttion des rythmes pr des ttques (1) et des silences (0) : L ensemle C = 1{0} * des mots commençnt pr 1 suivi d une suite de 0 est un code. Quel est le sous-monoïde lire engendré pr C dns Σ * vec l lphet Σ = {0, 1}? = ensemle des mots soit vide, soit commençnt pr 1 Exemple : décodge de ? = (10000)(100)(1)(1)(10)(1) Remrque : cette représenttion ne prend ps en compte les syncopes Un morphisme de monoïde est une ppliction ϕ telle que ϕ(xy) = ϕ(x)ϕ(y) et ϕ(1) = 1. Toute ppliction d un lphet Σ dns un monoïde quelconque se prolonge dns Σ * en un unique morphisme de monoïdes. Il en résulte que pour définir un morphisme sur Σ *, il suffit de définir l imge de toutes ses lettres (de l même mnière dns un espce vectoriel, on définit un morphisme en donnnt l imge de tous les vecteurs de l se). Représenttion des rythmes pr des durées : L ppliction qui tout élément du code C = 1{0} * ssocie s longueur se prolonge en un isomorphisme de C * dns le monoïde lire sur l lphet (infini) N privé de 0 : ϕ( ) =
5 2. Notion d utomte fini 2.1 Définition des utomtes finis déterministes (AFD) Définition. Un utomte fini déterministe AFD sur un lphet Σ est l donnée d un n- uplet (Q, δ, i, F) où : Q est un ensemle fini d étts, δ est une fonction de trnsition de Q Σ dns Q, i est un étt prticulier de Q dit initil, F est une prtie de Q d étts dits finls. L utomte est dit complet lorsque l fonction δ est prtout définie sur Q Σ. Exemple : 1 2 Q = {1, 2}, i = 1, étt noté vec une petite flèche entrnte, F = {2}, étt noté vec deux cercles. δ : Q Σ Q (1, ) 2 (1, ) 1 (2, ) 1 Cet utomte est-il complet? -> non, cr δ(2, ) n est ps défini. Pour décrire un utomte, il est commode d utiliser une tle de trnsitions :
6 2.2 Lngge reconnu pr un AFD Le clcul de l utomte consiste à suivre des flèches, en prtnt de l étt initil et en s rrêtnt dns un étt finl. Le mot correspondnt à ce clcul est l suite des étiquettes des flèches. Définition. Le lngge reconnu (ou ccepté) pr un utomte AFD est l ensemle des mots qui correspondent à un clcul de l utomte prtnt d un étt initil et s rrêtnt dns un étt finl. Exemples : - distriuteur de cfé : les pièces introduites sont les symoles de l lphet, l étt terminl est tteint qund le montnt est supérieur u montnt demndé, - mécnisme contrôlnt le code d ccès d une porte : les chiffres tpés sont les symoles, l étt terminl est celui qui déclenche l ouverture, Les utomtes finis sont les modèles de mchine les plus simples : ils n ont ucun support de mémoire externe (comme l pile d un utomte à pile). Leur mémoire est donc finie (espce constnt), et correspond à leur nomre d étts. Pr exemple, dns l utomte ci-dessus, l étt 1 permet de se souvenir qu il fut lire un pour sortir. 2.3 Clôture pr complément des lngges reconnus pr AFD Propriété. Si L est un lngge reconnu pr AFD, lors son complémentire Σ * \L l est ussi. Exemple : L est l ensemle des mots comportnt une suite de suivie éventuellement d une suite de, soit L = { i j, i, j N}, Σ * \L = {w Σ *, est fcteur de w} 1 2 On complète l utomte : 6
7 1 2 3, Puis on intervertit les étts finls : 1 2 3, Construction : Si A = (Q, δ, i, F) est un AFD complet qui reconnît L, lors A = (Q, δ, i, Q\F) reconnît Σ * \L. 3. Générlistion ux utomtes finis non déterministes (AFN) 3.1 Définition des AFN, équivlence vec les AFD et lngges réguliers Définition. Un utomte fini non déterministe AFN sur un lphet Σ est l donnée d un n-uplet (Q, δ, I, F) où : Q est un ensemle fini d étts, δ est une fonction de trnsition de Q Σ dns P(Q), ensemle des prties de Q, I est une prtie de Q d étts dits initiux, F est une prtie de Q d étts dits finls. Un mot u est ccepté pr un AFN s il existe un chemin d étiquette u, prtnt de l un des étts initiux, et rrivnt à l un des étts finls. Un AFN est un utomte dns lequel d un étt peuvent prtir plusieurs flèches vec l même étiquette. Ainsi, les AFD pprissent comme des cs prticuliers d AFN vec pour chque étt une seule flèche pour chque étiquette : Crd(δ(q, )) 1 pour tous q Q, Σ. Il en résulte que tout lngge reconnu pr un AFD est reconnu pr un AFN. 7
8 Plus surprennt, on l réciproque, c est-à-dire que les AFD et les AFN reconnissent exctement les mêmes lngges. Théorème (Rin-Scott). Tout lngge reconnu pr un AFN peut être reconnu pr un AFD. L déterministion d un AFN est l construction de l AFD correspondnt. Elle se fit en prennt comme étts de l AFD les ensemles d étts de l AFN, c est-à-dire P(Q). Définition. On ppelle lngge régulier tout lngge de Σ* reconnu (ou ccepté) pr un utomte fini, qu il soit AFD ou AFN. 3.2 Clôture pr union des lngges reconnus pr AFN S il y équivlence des lngges reconnus pr AFD et AFN, quel est l intérêt des AFN? -> Ils peuvent fciliter certines constructions Construction d un AFN pour l union de deux lngges réguliers : Si A 1 = (Q 1, δ 1, I 1, F 1 ) et A 2 = (Q 2, δ 2, I 2, F 2 ) sont des AFN disjoints reconnissnt L 1 et L 2, lors A = (Q 1 Q 2, δ 1 δ 2, I 1 I 2, F 1 F 2 ) est un AFN reconnissnt L 1 L 2. Pourquoi l utomte union A n est ps un AFD? -> Il n ps un seul étt initil 3.3 Construction dʼun AFN pour lʼensemle Σ * x des mots se terminnt pr x L écorché d un mot x de longueur n est l AFD de n + 1 étts vec n flèches correspondnt ux lettres successives du mot. Pour reconnître Σ * x, il suffit d jouter une oucle sur l étt initil vec toutes les lettres de l lphet. Exemple : x = c,, c c > On otient un AFN : il y deux flèches vec prtnt de l étt initil. 8
9 Appliction à l recherche d un motif x dns un texte t : on déterminise l AFN pour otenir un AFD reconnissnt Σ * x on lit le texte t dns cet utomte. Que se psse-t-il si on rrive à l étt terminl? -> On trouvé le motif x dns le texte t. Algorithme de Morris & Prtt : clcul direct de l AFD pour Σ * x, sns psser pr l déterministion de l AFN. On utilise une fonction d échec définie sur les étts p de l écorché de x. Soit w le mot lu de l étt 0 à l étt p : f(p) = étt d rrivée du plus long suffixe propre de w qui est ussi préfixe de w (donc de x) Exemple : Fonction d échec pour l écorché de x = c : Étt p f(p) On joute de nouvelles trnsitions dns l écorché de x de l mnière suivnte : pour toute lettre telle que δ(p, ) non défini, on pose δ(p, ) = δ(f(p), ) si p 0, δ(0, ) = 0., c c c, c c Exemple : Rechercher le motif x = c dns le texte t = cc c c motif trouvé!!! Références 9
10 ouvrges et rticles générux Lothire M., Comintorics on Words, Encyclopedi of Mthemtics, Vol. 17, Addison- Wesley, 1983 (réédité Cmridge University Press, 1997) (ilio). Berstel Jen, Trnsductions nd context-free lnguges, Teuner, 1979 (ilio). Berstel Jen, Automtes et grmmires, Cours de Licence d informtique, Université de Mrne-l-vllée, (ilio). Chemillier M., Structure et méthode lgériques en informtique musicle, Thèse Université Pris 7, LITP,
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é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é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é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étailCorrection de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) (
Correction de l épreuve CCP PSI Mths PREMIÈRE PARTIE I- Soit t u voisinge de, t Alors ϕt t s = ϕt ρt s ρs Pr hypothèse, l fonction ϕt ϕt est lorsque t, il en est donc de même de ρt s ρt s ρs cr ρ s est
Plus en détailChapitre 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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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étailTransfert. Logistique. Stockage. Archivage
Trnsfert Logistique Stockge Archivge Trnsfert, logistique, stockge Pour fire fce ux nouveux enjeux, il est importnt de pouvoir compter sur l'expertise d'un spéciliste impliqué à vos côtés, en toute confince.
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étailRégression multiple : principes et exemples d application. Dominique Laffly UMR 5 603 CNRS Université de Pau et des Pays de l Adour Octobre 2006
Régression multiple : principes et eemples d ppliction Dominique Lffly UMR 5 603 CNRS Université de Pu et des Pys de l Adour Octobre 006 Destiné à de futurs thémticiens, notmment géogrphes, le présent
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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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étailLivret de l étudiant 2015-2016
Livret de l étudint 2015-2016 Le mot du directeur Soyez les bienvenus à l IUT Pris Descrtes. L'IUT ccueille chque nnée 3000 étudints, sur le site de l'venue de Versilles et, depuis cette nnée, sur le site
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é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é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é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é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étailCalculs de probabilités
Calculs de probabilités Mathématiques Générales B Université de Genève Sylvain Sardy 13 mars 2008 1. Définitions et notations 1 L origine des probabilités est l analyse de jeux de hasard, tels que pile
Plus en détailDemande de logement social Article R. 441-2-2 du code de la construction et de l habitation
Ministère chargé du logement Cadre réservé au service Demande de logement social rticle R. 44-2-2 du code de la construction et de l habitation Numéro de dossier : N 4069*0 demande de logement locatif
Plus en détailI - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES
I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES Théorème - Définition Soit un cercle (O,R) et un point. Une droite passant par coupe le cercle en deux points A et
Plus en détailLe produit semi-direct
Le produit semi-direct Préparation à l agrégation de mathématiques Université de Nice - Sophia Antipolis Antoine Ducros Octobre 2007 Ce texte est consacré, comme son titre l indique, au produit semi-direct.
Plus en détailFonctions de plusieurs variables
Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme
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étailUn K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E
Exo7 Espaces vectoriels Vidéo partie 1. Espace vectoriel (début Vidéo partie 2. Espace vectoriel (fin Vidéo partie 3. Sous-espace vectoriel (début Vidéo partie 4. Sous-espace vectoriel (milieu Vidéo partie
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é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étailSanté et sécurité psychologiques en milieu de travail
CAN/CSA-Z1003-13/BNQ 9700-803/2013 Norme ntionle du Cnd Snté et sécurité psychologiques en milieu de trvil Prévention, promotion et lignes directrices pour une mise en œuvre pr étpes Avilble in English
Plus en détailStructures algébriques
Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe
Plus en détailIntroduction au maillage pour le calcul scientifique
Introduction au maillage pour le calcul scientifique CEA DAM Île-de-France, Bruyères-le-Châtel franck.ledoux@cea.fr Présentation adaptée du tutorial de Steve Owen, Sandia National Laboratories, Albuquerque,
Plus en détailCercle trigonométrique et mesures d angles
Cercle trigonométrique et mesures d angles I) Le cercle trigonométrique Définition : Le cercle trigonométrique de centre O est un cercle qui a pour rayon 1 et qui est muni d un sens direct : le sens inverse
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é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é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étailSOCIÉTÉ LINNÉENNE DE LYO N FONDEE EN 182 2
39 nnée N 6 Juin 197 0 BULLETIN MENSUE L DE LA SOCIÉTÉ LINNÉENNE DE LYO N FONDEE EN 182 2 RECONNUE D'UTILITE PUBLIQUE PAR DECRET DU 9 AOUT 193 7 des SOCIETES BOTANIQUE DE LYON, D'ANTHROPOLOGIE ET DE BIOLOGIE
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é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étailEquations cartésiennes d une droite
Equations cartésiennes d une droite I) Vecteur directeur d une droite : 1) Définition Soit (d) une droite du plan. Un vecteur directeur d une droite (d) est un vecteur non nul la même direction que la
Plus en détailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
Plus en détail