TD 1 Langages rationnels
|
|
- Baptiste Lamothe
- il y a 7 ans
- Total affichages :
Transcription
1 TD 1 Lngges rtionnels Timothée Bernrd (timothee.ernrd@ens-lyon.org) 21 septemre Soit A = {,, }. Pour hun des lngges suivnts, donner un utomte fini déterministe (AFD) le reonnissnt : () l ensemle des mots dont l longueur est un multiple de 3 ;,,,, strt 0 1 2,, () l ensemle des mots dns lesquels hque ourrene du motif (s il y en ), est suivie de ; () l ensemle des mots se terminnt pr ; strt, X, V (d) l ensemle des mots ne se terminnt ps pr ; strt, V, X (e) l ensemle des mots ontennt extement un ;,, strt 0 1 (f) l ensemle des mots ne ontennt uun ; 1
2 , strt 0 (g) l ensemle des mots ontennt u moins un ; (h) l ensemle des mots omportnt u moins 3 lettres et dont l troisième lettre à prtir de l fin est un ou un ; Soit déterminiser l utomte suivnt :,, strt 1,,,, 2 3 Soit diretement onstruire un utomte dont les 8 étts orrespondent à toutes les possiilités de distriution des dns les 3 dernières lettres lues ; les trnsitions sont évidentes (si 0 représente un et 1 un ou un, de l étt 010 on psse à 100 en lisnt un ou à 101 sinon) et les étts initiux (000) et finux ussi (tous les 1xx). (i) l ensemle des mots de longueur pire ; (j) l ensemle des mots se terminnt pr. Pour ller plus loin : prouver (pr doule inlusion) que votre utomte pour l question () est ien orret ; prouver (en utilisnt une indution sur l longueur des mots onsidérés) que votre utomte pour l question () est ien orret. 2. Proposer un utomte et une expression rtionnelle pour le lngge de tous les mots de {,, } dont est un sous-mot 1.,,,,,,,, strt Expression rtionnelle : ( )*( )*( )*( )* 3. Déterminiser l utomte suivnt en ppliqunt l lgorithme vu en ours 2 : 1. Un sous-mot de u est une sous-suite de lettres non néessirement ontiguës de u. À distinguer d un fteur. Exemple : pis est un sous-mot de produits. 2. poly p.9 2
3 strt «Se onvinre» que l utomte déterminisé reonnît le même lngge en testnt l pprtenne u lngge d un petit nomre de mots. strt 1 2, 3 2, 3 2, 5 2, 3, 5 5. Soit l expression rtionnelle ( ). () Utiliser l méthode vue en ours pour onstruire un utomte reonnissnt le même lngge 3. strt () À prtir de l utomte, proposer une grmmire régulière engendrnt le même lngge. S 1 -> S 3 S 7 S 3 -> S 5 3. poly p.18 3
4 S 5 -> S 10 S 7 -> S 10 S 10 -> (N ouliez ps que les règles singulières sont interdites dns une grmmire régulière.) () Donner un rre syntxique ve l grmmire préédente pour le mot. 5. Soit A = {,, }, onsidérons l expression rtionnelle ( ). () Utiliser l méthode vue en ours pour onstruire un AF reonnissnt le même lngge. strt () Éliminer les -trnsitions 5. On donne + : 1 -> 2, 3, 6 2 -> 3,6 -> 5, 1, 2, 3, 6 5 -> 1, 2, 3, 6 7 -> 8 9 -> 5, 1, 2, 3, 6 δ 1 (i/f) (f) 7 5 (f) (f) 7 (i) Étt initil. poly p poly p.7
5 (f) Étt finl On remrque que les étts 2, 3, 5, 6 et 8 ne sont plus essiles. Ils ne sont don plus utiles et on peut les retirer. strt () Déterminiser l utomte résultnt 6. On de l hne (mis e n est ps néessirement le s) : on peut vérifier filement que l utomte est déjà déterministe. (d) Compléter 7 puis minimiser 8 l AFD.,, strt 1,, 9 7, 0 (e) Construire l grmmire régulière (à droite) 9 l AFDC. reonnissnt le même lngge que S 1 -> S 1 S 7 S 0 S 7 -> S 1 S 0 S 0 S 0 -> S 0 S 0 S 0 (Il est ependnt isé de montrer qu il n existe uun hemin de l étt 0 vers un étt finl, on peut don supprimer et étt et utiliser l lgorithme pour produire une grmmire plus simple.) 6. Soit l grmmire suivnte : G 1 = ({, }, {S}, S, {S SS SS }). Quel est le lngge L reonnu? (Le prouver pr doule inlusion, -à-d en montrnt d une prt que tout mot 6. poly p.9 7. poly p.6 8. poly p poly p.17 5
6 reonnu pprtient à L et d utre prt que tout mot de L est reonnu.) Il s git de l ensemle des mots ontennt utnt de que de. Ce lngge n est en fit ps régulier (on peut le montrer ve le lemme de pompge)! Montrer que tous les mots ontennt utnt de que de sont ien générés est un peu tehnique mis très intéressnt : on peut proéder pr réurrene sur l tille des mots. 7. Soit L un lngge rtionnel, en utilisnt des onsidértions sur les utomtes montrer que : () l ensemle des préfixes de L, L = {u v, uv L} est ussi rtionnel ; () l ensemle des suffixes de L, L = {v u, uv L} est ussi rtionnel. Soit L un lngge régulier, soit A un AF reonnissnt L, soit A l AF onstruit à prtir de A où tous les étts sont eptnts : on peut montrer filement que A reonnit L, insi L est régulier ; soit A l AF onstruit à prtir de A où tous les étts sont initiux : on peut montrer filement que A reonnit L, insi L est régulier. 6
Techniques d analyse de circuits
Chpitre 3 Tehniques d nlyse de iruits Ce hpitre présente différentes méthodes d nlyse de iruits. Ces méthodes permettent de simplifier l nlyse de iruits ontennt plusieurs éléments. Bien qu on peut résoudre
Plus en dé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étailNotes de révision : Automates et langages
Préprtion à l grégtion de mthémtiques 2011 2012 Notes de révision : Automtes et lngges Benjmin MONMEGE et Sylvin SCHMITZ LSV, ENS Cchn & CNRS Version du 24 octore 2011 (r66m) CC Cretive Commons y-nc-s
Plus en dé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étailIntégrale et primitives
Chpitre 5 Intégrle et primitives 5. Ojetif On herhe dns e hpitre à onstruire l opérteur réiproue de l opérteur de dérivtion. Les deux uestions suivntes sont lors nturelles. Question : Soit f une pplition
Plus en détailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mthémtiques nnée 2009-2010 Chpitre 2 Le prolème de l unicité des solutions 1 Le prolème et quelques réponses : 1.1 Un exemple Montrer que l éqution différentielle :
Plus en dé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é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é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é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é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é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étailStatuts ASF Association Suisse Feldenkrais
Sttuts ASF Assocition Suisse Feldenkris Contenu Pge I. Nom, siège, ojectif et missions 1 Nom et siège 2 2 Ojectif 2 3 Missions 2 II. Memres 4 Modes d ffilition 3 5 Droits et oligtions des memres 3 6 Adhésion
Plus en détailModule 2 : Déterminant d une matrice
L Mth Stt Module les déterminnts M Module : Déterminnt d une mtrice Unité : Déterminnt d une mtrice x Soit une mtrice lignes et colonnes (,) c b d Pr définition, son déterminnt est le nombre réel noté
Plus en dé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é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é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é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é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é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é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é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étailCOMPARAISON MULTIPLICATIVE DE GRANDEURS. schéma CE2 CM1 CM2
référé ou orne supérieure référent ou orne inférieure COMPARAISON MULTIPLICATIVE DE GRANDEURS shém CE2 CM1 CM2 x : x : Il y 5 fois plus e hises à l ntine que ns l lsse. Il y en 25 ns l lsse. Comien y -t-il
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étailTOUT CE QU IL FAUT SAVOIR POUR LE BREVET
TOUT E QU IL FUT SVOIR POUR LE REVET NUMERIQUE / FONTIONS eci n est qu un rappel de tout ce qu il faut savoir en maths pour le brevet. I- Opérations sur les nombres et les fractions : Les priorités par
Plus en dé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é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é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é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étailConditions Générales d Assurances Edition 2012.10
Assurne ménge Etudints Conditions Générles d Assurnes Edition 2012.10 Index Pge Art. A Couverture de se...... 2 Choses ssurées, risques ssurles... 2 Presttions et sommes d ssurne....... 4 Art. B Couverture
Plus en dé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é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é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é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é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é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é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étailÉquations différentielles et systèmes dynamiques. M. Jean-Christophe Yoccoz, membre de l'institut (Académie des Sciences), professeur
Équations différentielles et systèmes dynamiques M. Jean-Christophe Yooz, membre de l'institut (Aadémie des Sienes), professeur La leçon inaugurale de la haire a eu lieu le 28 avril 1997. Le ours a ensuite
Plus en dé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é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é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é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é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é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é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é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étailessais dossier Oser s équi Prothèses auditives
essis dossier u LES AUDIOPROTHÉSISTES AU BANC D ESSAI p. 46 u UN APPAREIL ADAPTÉ À VOS BESOINS p. 50 u FAIRE BAISSER LA FACTURE? PAS SI SIMPLE p. 52 Prothèses uditives Oser s équi AUDIOPROTHÉSISTES Fe
Plus en dé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é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é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é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é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é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é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étailA11 : La représentation chaînée (1ère partie)
A11 : L représettio chîée (1ère prtie) - Défiitio et schéms de cosulttio - Schéms de mise à jour (isertio, suppressio) - Exemples J-P. Peyri - L représettio chîée (première prtie) 0 Pricipe de l représettio
Plus en détailTUBES ET PROFILS CREUX
TUBES GAZ SOUDÉS SÉRIE LÉGÈRE DITS «TARIF 1 et 2» Norme de référene : NF EN 10255 (ex NF A 49-145) Nune : S195T Étt de surfe : noir ou glvnisé ÉPAISSEUR DÉNOMINATION en poues Tubes noirs lisses MASSE LINÉIQUE
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é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étailCENTRE ORGANISATEUR DU CONCOURS. ANIMALIER Externe PARIS MUSEUM PARIS. ANIMALIER Externe PARIS MUSEUM PARIS
Document publié sous réserve de modifications SESSON 2006 LSTE DES EMPLOS OERTS UX ONOURS TR DE TEORE -v.1 (19/04/2006)- PRENSRPTONS ET NS DETLLEES SUR NTERNET : http://www.education.gouv.fr/personnel/itrf/
Plus en dé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é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é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é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étailCorrection de l exercice 2 du quiz final du cours Gestion financière (2010-2011 T2) : «Augmentation de capital de Carbone Lorraine»
Correction de l exercice 2 du quiz final du cours Gestion financière (2010 2011 T2) : «Augmentation de capital de Carone Lorraine» Question 1 : déterminer formellement la valeur du droit préférentiel de
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é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é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é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é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étailAutoroute A16. Système de Repérage de Base (SRB) - Localisation des Points de repère (PR) A16- A16+
01 / 24 0 0!( 10 10 20 20 02 / 24 20 20 30 30 40 40 Système de Repérage de Base (SRB) - Localisation des Points de repère (PR) 03 / 24 40 40 50 50 60 60 60 60 04 / 24 70 70 80 80 80 80 Système de Repérage
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é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é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é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é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é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é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étailBases de données. Table des matières. Introduction. (ReferencePlus.ca)
Bases de données (ReferencePlus.ca) Table des matières Introduction Ouvrir une nouvelle Base de données Ouvrir une Base de données déjà existante Retirer une base de données de la liste des bases dans
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é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é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étailLes systèmes de gestion de version
Les systèmes de gestion de version Matthieu Herrb Envol 2010 http://homepages.laas.fr/matthieu/talks/envol10-sgv.pdf Systèmes de gestion de version - kesako? Logiciel permettant de gérer l historique des
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é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étailBASE DE BIOÉTHIQUE SECTION 1 : SYLLABUS PROGRAMME D ÉDUCATION EN ÉTHIQUE
COURS DE BASE DE BIOÉTHIQUE SECTION 1 : SYLLABUS PROGRAMME D ÉDUCATION EN ÉTHIQUE Seteur es sienes soiles et humines Division e l éthique es sienes et es tehnologies Design & Proution: Juli Cheftel SHS/EST/EEP/2008/PI/1
Plus en détailImportations parallèles: intérêt du consommateur et intégration communautaire
«Le traitement des restrictions verticales en droit comparé de la concurrence» Université Paris II Panthéon Assas & University College London Paris, le 23 mai 2008 Importations parallèles: intérêt du consommateur
Plus en détailFaites connaissance avec votre Rubik s Cube Étape 1
Faites connaissance avec votre Rubik s Cube Étape 1 ÉFIN ITION ES IÈCES U RUBIK S CUBE LES RTIES LES IÈCES RÊTES CE SONT ES IÈCES COMORTNT EUX (2) COULEU RS. IL Y OUZE (12) IÈCES RÊTES, SITUÉES U CENT
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é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étailPRÉPARATIFS NOTIONS ÉLÉMENTAIRES DE COUTURE POINTS DE COUTURE COURANTS ANNEXE. Manuel d instructions. Machine à coudre informatisée
PRÉPARATIFS NOTIONS ÉLÉMENTAIRES DE COUTURE POINTS DE COUTURE COURANTS ANNEXE Mnuel d instrutions Mhine à oudre informtisée Instrutions de séurité importntes Veuillez lire es instrutions de séurité vnt
Plus en détailTitrages acidobasiques de mélanges contenant une espèce forte et une espèce faible : successifs ou simultanés?
Titrgs cidobsiqus d mélngs contnnt un spèc fort t un spèc fibl : succssifs ou simultnés? Introduction. L'étud d titrgs cidobsiqus d mélngs d dux ou plusiurs cids (ou bss) st un xrcic cournt [-]. Ls solutions
Plus en dé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étailDAns un système multi-utilisateurs à temps partagé, plusieurs processus
Chapitre 8 Ordonnancement des processus Dns un système multi-utilisateurs à temps partagé, plusieurs processus peuvent être présents en mémoire centrale en attente d exécution. Si plusieurs processus sont
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é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étailChapitre 6: Graphes eulériens et hamiltoniens
CHAPITRE 6 GRAPHES EULERIENS ET HAMILTONIENS 36 Cpitr 6: Grps ulérins t miltonins 6.1 Introution t ls prmièrs éinitions Introution L t nissn l téori s rps put êtr ixé à l'nné 1736. L'istoir ront qu ls
Plus en détailECO ECO. Probablement le chauffe-eau solaire le plus évolué du monde. Eco 200 / Eco 250 / Eco 300 / Eco 450 ENERGIE CATALOGUE 13
co 00 / co 0 / co 00 / co 0 NR TOU O Probabement e chauffe-eau soaire e pus évoué du monde isponibe avec des capacités de 00 à 0 itres. Versions avec un ou deu panneau soaires, avec ou sans serpentin suppémentaire.
Plus en détail