Pondération : Total
|
|
- Paul Mongeau
- il y a 8 ans
- Total affichages :
Transcription
1 Université e Sherrooe, Déprtement inormtique IGL50 : Méthoes ormelles en génie logiiel, Exmen inl Proesseur : Mr Frppier, Luni 6 éemre 0, 9h00 à h00, lol D-0 Doumenttion permise. Appreil életronique interit. L orretion est, entre utres, sée sur le it que hune e vos réponses soit lire, est-à-ire lisile et ompréhensile pour le leteur; préise, est-à-ire exte et sns erreur; onise, est-à-ire qu il n y it ps élément superlu; omplète, est-à-ire que tous les éléments requis sont présents. Ponértion : Totl (0 pts) Soit l spéiition B suivnte 'une ile, qui utilise une séquene pour représenter l ile. Rppel: En B, une séquene q seq(elem) est une ontion e type..r(q) à ELEM. On peut on utiliser pour une séquene tous les opérteurs es ensemles, ontions et reltions. MACHINE q SETS ELEM CONSTANTS PROPERTIES NAT VARIABLES q INVARIANT q seq(elem) INITIALISATION q := [] OPERATIONS eniler(e) = PREe ELEM r(q) < THEN q := q e END; eiler = PRE r(q) > 0 THEN q := til(q) END; r tete = PRE r(q) > 0 THEN r := irst(q) END END Complétez l'éuhe e son rinement onné à l pge suivnte. Ce rinement est sé sur le onept e liste irulire pour représenter une ile. L ile est stoée ns le veteur v e tille. L vrile inique le éut e l ile (l tête). L vrile inique l in (l queue) e l ile. L vrile n inique le nomre 'éléments ns l ile Qun on enile un élément, on l'joute à l position +. Qun on éile un élément, on inrémente simplement. Si ou tteignent l in u veteur (ie, l position ), on ontinue u éut u veteur, 'où l'ppelltion "irulire". Ainsi, on lule l position suivnte e à l'ie e l'opérteur mo. Pr exemple, l igure i-essous présente les trnsitions à prtir 'un étt où l ile [,,] est stoée ns le veteur v, ve en tête et en queue. e eniler() eiler eniler(e) [,,] [,,,] [,,] [,,,e] Solution: voir q_re.re /7
2 Voii quelques inies pour vous ier. Déinissez l onstnte su_, une ontion qui retourne le suesseur 'une position ns l liste; pr exemple, su_() = et su_() =. Utilisez ette ontion pour luler les vleurs e et. Déinissez l onstnte qv, une ontion qui pren en entrée, le éut e l ile ns v, et i, une position ns l ile q, et qui retourne l position orresponnte ns v; pr exemple, o qv()() = o qv()() = + o qv()() = REFINEMENT q_re REFINES q CONSTANTS su_, qv PROPERTIES su_ =... qv =... VARIABLES v,,,n INVARIANT v à ompléter /* Veteur es éléments e l ile */ à ompléter /* éut : position u premier élément e l ile */ à ompléter /* in : position u ernier élément e l ile */ n à ompléter /* n 'éléments e l ile */ /* invrint e ollge à ompléter */ à ompléter INITIALISATION OPERATIONS eniler(e) = à ompléter eiler = à ompléter r tete = à ompléter END. (0 pts) Donnez le rinement e l'opértion supprimer(e), qui supprime une ourrene e l'élément e e l ile. L'opérteur q j retourne les j premiers éléments e l séquene q. L'opérteur q j supprime les j premiers éléments e q. L'opérteur q ^ q retourne l onténtion es séquenes q et q. Inie: Utilisez l ontion su_ ve l omposition reltionnelle «;» pour éler ilement les éléments vnt ou près e. supprimer(e) = PRE e ELEM THEN IF e rn(q) THEN ANY p WHERE p om(q) q(p) = e THEN q := (q p-) ^ (q p) END END END; Solution: voir q_re.re /7
3 . (0 pts) () Spéiiez ve Alloy un système e ommunition sur internet similire à Sype, et qui ressemle u système téléphonique vu en lsse, mis en plus simple. Ce système se omporte omme suit. Si u est lire et si u est lire, Cll(u,u) permet à u 'ppeler u; u peut ensuite epter l'ppel, en isnt Aept(u), ou éliner, en isnt Deline(u). Qun u epte, u et u sont onnetés et peuvent se prler. Leur onverstion se termine qun l'un ou l'utre eetue un Terminte(ux). L'tion Cll(u,u) ne peut ps s'exéuter si u ou u n'est ps lire. L'ppelnt u peut nnuler un ppel qui n'est ps enore epté ou éliné, en isnt Cnel(u). Un utilisteur n'est ps lire qun il ppelle et qun il est ppelé. Il reevient lire près Deline, Cnel ou Terminte. Le igrmme étt-trnsition i-essous illustre e système. Dns l'étt initil u système, on suppose que tous les utilisteurs existent et qu'ils sont lires. On ne peut ps en jouter ou supprimer pr l suite. Deline(u) lire Cll(u,u) ppelnt Aept(u) onneté Cnel(u) Terminte(u) ou Terminte(u) () Donnez l'invrint e e système. Entre utres, ssurez-vous 'inlure les propriétés suivntes ns votre invrint. Il y en plusieurs utres. Un utilisteur ne peut ppeler ou être ppelé pr plus 'un utilisteur à l ois. Un utilisteur ne peut être onneté ve plus 'un utilisteur à l ois. Les étts lire, ppelnt et onneté sont mutuellement exlusis pour un utilisteur onné (pr exemple, un utilisteur ne peut être lire et onneté en même temps). () Prouvez ussi l propriété suivnte (qui n'est ps un invrint, on vous evez onner un he pproprié pour l prouver): Si eux utilisteurs sont lires, lors ils peuvent être onnetés (en isnt un Cll suivi 'un Aept). Utilisez les signtures suivntes pour votre spéiition. Pr souis e onision, vous n'vez ps à oer le préit Trnsition hituellement utilisé ns nos exemples (on le suppose onnu). open util/orering[stte] enum Event {init,ll,ept,eline,nel,terminte} sig User{} sig Stte { lire : set User, ppelnt : User - > User, onnete : User - > User, event : Event } Solution : voir q.ls /7
4 . (0 pts) Spéiiez en CSP le système érit à l question prééente, en omplétnt le oe suivnt. Vous n'vez qu'à onner le oe pour le proessus ppel. nuser = USER = {..nuser} - - tions u système hnnel ept, eline, nel, terminte : USER hnnel ll: USER.USER - - tions internes utilisées pour le ontrôle; à msquer ns le omportement inl hnnel lierer : USER.USER SYNC = { ll } CTRL = { lierer } Min = (tousappels [ union(sync,ctrl) ] ontroleappel({})) MinEnv = Min \ CTRL tousappels = n : ppel(n) ontroleappel(ppelnt) = [] n:user, empty(inter({n,n},ppelnt)) & llnn - > ontroleappel(union(ppelnt,{n,n})) [] [] n:user, lierernn - > ontroleappel(i(ppelnt,{n,n})) ppel(n) = à ompléter À titre e réérene, voii une ourte esriptions es ontions sur les ensemles utilisées ns le proessus ontroleappel. union(s,s) : retourne l'union es ensemles s et s. inter(s,s) : retourne l'intersetion es ensemles s et s. i(s,s) : retourne s - s. empty(s) : retourne vri ssi s est vie Solution : voir q.sp /7
5 5. (0 pts) Soit les opértions op et op suivntes. s op = ANY x WHERE x {,,} THEN s := x END s op = CHOICE s := OR s := END () Est-e que op op? Donnez une preuve si le rinement est vri, ou un ontre-exemple ns le s ontrire. Solution : Oui Preuve [ CHOICE s' := OR s' := END ] [ ANY x WHERE x {,,} THEN s := x END ] (s' = s) ó { éinition ANY } [ CHOICE s' := OR s' := END ] ( x. x {,,} ((s' = x)) ó { éinition CHOICE } ( x. x {,,} (( = x)) ( x. x {,,} (( = x)) ó { ré-ériture x en x } ( x. x {,,} (( = x)) ( x. x {,,} (( = x)) ó { éliminer x ve x:= pour le premier et x:= pour le euxième } = = () Est-e que op op? Donnez une preuve si le rinement est vri, ou un ontre-exemple ns le s ontrire. Solution : Fux. Contre-exemple: l sortie s:= n'est ps mise u niveu strit. Sémntique 6. (0 pts) Prouvez opértionnelle l trnsition esuivnte; CSP -utilisez règlesles inérene règles 'inérene onnées à l pge suivnte, et numérotez vos étpes e preuve. Note: P Q est noté ii P [ ] Q omme ns l version ASCII e CSP. SKIP [ ] ( STOP P 7 P STOP) \{} SKIP 7 ; STOP SKIP 7... Solution 7 P u 7 Q u P P Q 7 P 0 7 P 0 Q Q P Q 7 Q 0 7 P Q 0 P 7 P 0 6= Q 7 Q 0 6= P Q 7 P 0 P Q 7 Q 0 P 7 P 0 6= P ; Q 7 P 0 ; Q ; P 7 P 0 P ; Q 7 Q ; P 7 P 0 6 B [ {} P \ B 7 P 0 \ B P 7 P 0 \ P \ B 7 \ P 7 P 0 B P \ B 7 P 0 \ B \ 5/7 P 7 P 0 6 [ {} Q 7 Q 0 6 [ {}
6 SKIP [ ] ( STOP STOP) \{} ; STOP 7... SKIP 7 SKIP STOP 7 STOP STOP STOP 7 STOP SKIP [ ] ( STOP STOP) 7 SKIP [ ] STOP SKIP [ ] ( STOP STOP) \{} 7 SKIP [ ] STOP \{} SKIP [ ] ( STOP STOP) 7 SKIP [ ] STOP \{} ; STOP [ ] \ \{} ; STOP ; 7. (0 pts) Donnez le grphe e trnsition e l'expression suivnte. SKIP [ ] ( STOP STOP) \{} ; STOP 7... Solution t t 6/7
7 Sémntique opértionnelle e CSP - règles inérene Règles Note: 'inérene P Q est e CSP noté ii P [ ] Q omme ns l version ASCII e CSP. P 7 P SKIP 7 SKIP 7 P u 7 Q u P P Q 7 P 0 7 P 0 Q Q P Q 7 Q 0 7 P Q 0 P 7 P 0 6= Q 7 Q 0 6= P Q 7 P 0 P Q 7 Q 0 P 7 P 0 6= P ; Q 7 P 0 ; Q ; P 7 P 0 P ; Q 7 Q ; P 7 P 0 6 B [ {} P \ B 7 P 0 \ B P 7 P 0 \ P \ B 7 \ P 7 P 0 B P \ B 7 P 0 \ B \ P 7 P 0 6 [ {} P [ ] Q 7 P 0 [ ] Q [] Q 7 Q 0 6 [ {} P [ ] Q 7 P [ ] Q 0 [] P 7 P 0 Q 7 Q 0 P [ ] Q 7 P 0 [ ] Q 0 [] P 7 P 0 P [ ] Q 7 [ ] Q [] Q 7 Q 0 P [ ] Q 7 P [ ] [] 5 [ ] 7 [] 6 Deinition L ermeture trnsitive et relexive e l reltion e trnsition 7, notée 7,est un sous-ensemle e l espe BE ( ) Fin BE e l'exmen et elle est éinie omme suit. Soient B, B 0 BE es expressions e proessus, s ( ) une séquene et µ une tion.. B 7 B. B µ s 7 B 0, 9B 00 : B µ 7 B 00 ^ B 00 s 7 B 0 7/7
McAfee 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é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étailUniversité de Sherbrooke, Département d informatique
Université de Sherbrooke, Département d informatique IGL501 : Méthodes formelles en génie logiciel, Examen périodique Professeur : Marc Frappier, mardi 7 octobre 2013, 15h30 à 18h20, local D4-2022 Documentation
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é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étailCommencer MFC-J4410DW
Guie instlltion rpie Commener MFC-J440DW MFC-J460DW Veuillez lire le Guie e séurité u prouit vnt 'instller l'ppreil. Lisez ensuite e Guie 'instlltion rpie pour onnître l proéure e onfigurtion et 'instlltion
Plus en dé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é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étailNE connectez PAS le câble USB à ce stade (si vous utilisez un câble USB). de l'appareil et vérification des composants. Noir Jaune Cyan Magenta
Guie instlltion rpie Commener MFC-495CW Avnt 'utiliser l'ppreil, veuillez lire e Guie 'instlltion rpie pour otenir les instrutions sur les proéures 'instlltion et e onfigurtion équtes. AVERTISSEMENT ATTENTION
Plus en dé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é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é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 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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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étailAlgorithmique des Systèmes Répartis Protocoles de Communications
Algorithmique des Systèmes Répartis Protocoles de Communications Master Informatique Dominique Méry Université de Lorraine 1 er avril 2014 1 / 70 Plan Communications entre processus Observation et modélisation
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étailComment évaluer la qualité d un résultat? Plan
Comment évaluer la qualité d un résultat? En sienes expérimentales, il n existe pas de mesures parfaites. Celles-i ne peuvent être qu entahées d erreurs plus ou moins importantes selon le protoole hoisi,
Plus en dé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é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étailProduction statistique: passage d une démarche axée sur les domaines à une démarche axée sur les processus
Nations Unies Conseil éonomique et soial Distr. générale 31 mars 2015 Français Original: anglais ECE/CES/2015/26 Commission éonomique pour l Europe Conférene des statistiiens européens Soixante-troisième
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é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é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é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étailChapitre. Chapitre 12. Fonctions de plusieurs variables. 1. Fonctions à valeurs réelles. 1.1 Définition. 1.2 Calcul de dérivées partielles
1 Chapitre Chapitre 1. Fonctions e plusieurs variables La TI-Nspire CAS permet e manipuler très simplement les onctions e plusieurs variables. Nous allons voir ans ce chapitre comment procéer, et éinir
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é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é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é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é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é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é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é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é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é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étailTutoriel Infuse Learning. Créer des quizzes multimédias sur ordinateur ou tablette
Tutoriel Infuse Learning Créer des quizzes multimédias sur ordinateur ou tablette 1- Présentation Infuselearning.com est un service web (en ligne) gratuit qui permet aux enseignants de créer des exercices
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é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é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é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étailExpression des contraintes. OCL : Object C o n t r a i n t L a n g u a g e
P r o b l é m a t i q u e OCL : O b j e c t C o n s t r a i n t L a n g u a g e Le langage de contraintes d UML Les différents diagrammes d UML permettent d exprimer certaines contraintes graphiquement
Plus en détailEVALUATION À 360 Demonstration MICHEL DUPONT RAPPORT PERSONNEL 360. rapport généré: 2010-01-05 http://compass360.net
Demonstration MIHEL DUPONT RAPPORT PERONNEL 360 rapport généré: 2010-01-05 http://compass360net TABLE DE MATIÈRE Michel Dupont Page 2 TABLE DE MATIÈRE omment utiliser votre rapport 3 GRILLE DE OMPETENE
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é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étailI. RACINE CARREE D UN NOMBRE POSITIF : La racine carrée d un nombre positif a est le nombre positif noté a dont le carré est a.
OURS 3 EME RINES RREES PGE 1/1 ONTENUS OMPETENES EXIGILES OMMENTIRES alculs élémentaires sur les radicaux Racine carrée d un nombre positif Savoir que si a désigne un nombre positif, a est le nombre positif
Plus en dé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 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é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étailSimulation Matlab/Simulink d une machine à induction triphasée. Constitution d un référentiel
Simulation Matlab/Simulink une machine à inuction triphasée Constitution un référentiel Capocchi Laurent Laboratoire UMR CNRS 6134 Université e Corse 3 Octobre 7 1 Table es matières 1 Introuction 3 Moélisation
Plus en détailNCCI : Modèle de calcul pour les pieds de poteaux articulés Poteaux en I en compression axiale
NCCI : Modèle de alul pour les pieds de poteaux artiulés Poteaux en I en Ce NCCI présente les règles permettant de déterminer soit la résistane de alul, soit les dimensions requises des plaques d'assise
Plus en détailÉtape II. Compétences à développer de 8 à 12 ans. Grilles des compétences
Grilles des ompétenes Compétenes à développer de 8 à ans COMPÉTENCES DE 8 À ANS Les ompétenes en «aratères droits» sont à ertifier. (symbole en fin de ligne) Les ompétenes en «aratères italiques» sont
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étailDescription du procédé de remplacement des appareils. Description du procédé de remplacement des appareils. 1) Choix de l appareil de remplacement B
Migration de Emax à Emax 2 en conservant la certification ) ayant c) des ayant caractéristiques des caractéristiques d installation d installation dans la même dans la disposition physique tion Fiche physique
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é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étailSupervision et infrastructure - Accès aux applications JAVA. Document FAQ. Page: 1 / 9 Dernière mise à jour: 15/04/12 16:14
Document FAQ Supervision et infrastructure - Accès aux EXP Page: 1 / 9 Table des matières Introduction... 3 Démarrage de la console JMX...4 I.Généralités... 4 II.WebLogic... 5 III.WebSphere... 6 IV.JBoss...
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étailA.E.C. GESTION DES APPLICATIONS TECHNOLOGIE DE L'INFORMATION LEA.BW
A.E.C. GESTION DES APPLICATIONS TECHNOLOGIE DE L'INFORMATION LEA.BW Groupe : 322 Exploitation des Banques de données 420-PK6-SL (1-2-1) Étape : 3 Professeur Nom: Marcel Aubin Courriel : maubin@cegep-st-laurent.qc.ca
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é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é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é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é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é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étailArgument-fetching dataflow machine de G.R. Gao et J.B. Dennis (McGill, 1988) = machine dataflow sans flux de données
EARTH et Threaded-C: Éléments clés du manuel de références de Threaded-C Bref historique de EARTH et Threaded-C Ancêtres de l architecture EARTH: Slide 1 Machine à flux de données statique de J.B. Dennis
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é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étailManuel de référence des commandes SMS Advisor Advanced
Manuel de référence des commandes SMS Advisor Advanced Content Introduction 1 Règles 2 Syntaxe 2 Authentification de l utilisateur 2 Liste des commandes SMS 3 Messages de sources non autorisées 10 Commandes
Plus en détailAcademic Project. B2- Web Development. Resit Project. Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA
SUPINFO Academic Dept. Resit Project Academic Project B2- Web Development 2012-2013 Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA Conditions d utilisations : SUPINFO International
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é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é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étailExclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011
Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique
Plus en détailPlan. Exemple: Application bancaire. Introduction. OCL Object Constraint Language Le langage de contraintes d'uml
OCL Object Constraint Language Le langage de contraintes d'uml Plan 1. Introduction 2. Les principaux concepts d'ocl Object Constraint Language 1 Object Constraint Language 2 Exemple: une application bancaire
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étailMEMOIRE. Présenté à. L École Nationale d Ingénieurs de Sfax. en vue de l obtention du MASTERE
République Tunisienne Ministère de l Enseignement Supérieur, De la Recherche Scientifique et de la Technologie Université de Sfax École Nationale d Ingénieurs de Sfax Ecole Doctorale Sciences et Technologies
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étailDirection des affaires financières DAF 3
Direction des affaires financières DF 3 GUD D SS DS DÉLMTS DS SLS XÇT DS LUSUS ÉTBLSSMTS SMM nformations générales, se connecter à HUS DT 2 QU ST SV TG 2 DÉMHS DS SLS XÇT SVS 2 à 10 TGÉS vant toute 1 ère
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étailLa spirale de Théodore bis, et la suite «somme=produit».
Etde d e vrite de l spirle de Théodore, dot issce à e site dot les sommes prtielles sot égles x prodits prtiels. Mots clés : spirle de Théodore, théorème de Pythgore, site, série, polyôme. L spirle de
Plus en détail