Exercice 1 : Algorithme d'exclusion mutuelle de Dijkstra ( 50min) (7.5 pt)
|
|
- Dorothée Charpentier
- il y a 7 ans
- Total affichages :
Transcription
1 Exercice 1 : Algorithme d'exclusion mutuelle de Dijkstra ( 50min) (7.5 pt) On considère un système constitué d'un anneau de N + 1 processus en parallèle P 0... P N : P 0 P N P 1 P 2 Chaque processus P i possède une variable notée x i qui prend des valeurs dans N. Ces processus doivent eectuer une action critique, notée AC(), en exclusion mutuelle. L'action critique n'est pas spéciée, on sait uniquement qu'elle ne modie pas les variables x i. À l'exception du processus P 0, les processus P 1 à P N ont tous le même comportement. Le comportement du processus P i est déni par le STE suivant à une unique transition τ i. [x i x i 1 ] AC() ; x i := x i 1 Le processus P 0 a un comportement particulier déni par le STE à une seule transition τ 0 : [x 0 = x N ] AC() ; x 0 := x À l'initialisation du système, tous les processus commencent avec leur variable x i initialisée à 0. L'objectif de cette partie et de démontrer la propriété suivante : À tout instant de l'exécution du système P 0... P N, il n'y a qu'un seul processus qui peut eectuer l'action critique AC(). Partie 1 Étude du principe sur un exemple ( 10min) a) (.5 pt) Pour N = 1, calculez le produit P 0 P 1. b) (1 pt) À l'aide d'un exemple, justiez qu'il n'est pas possible de donner une borne supérieure aux valeurs que peut prendre la variable x 0. c) (.25 pt) Dénissez l'ensemble, Q c des états du graphe des comportements du système P 0... P N (produit des N + 1 processus). d) (.25 pt) Pour un N xé, peut-on construire le graphe des comportement du système P 0... P N? Justiez votre réponse.
2 Partie 2 Construction du STE abstrait du système P 0... P N ( 40min) On considère l'abstraction dénie par les prédicats : def def def def Φ 0 = (x N x 0 ), Φ 1 = (x 0 = x 1 ), Φ 2 = (x 1 = x 2 ),..., Φ N = (x N 1 = x N ) On vous fait remarquer que pour tout i [0, N], le prédicat Φ i correspond à la négation de la garde de la transition du processus P i. e) (.25 pt) Dénissez l'ensemble, Q a, des états abstraits et donnez sa taille. Correction Q a = { b 0, b 1,..., q Q c, b i = Φ i (q)} Q a = 2 N+1 f) (.25 pt) Calculer l'ensemble, Q a 0, des états initiaux abstraits. Correction Q a 0 = α(q c 0) = { T,F,...,F } g) (3.5 pt) Construire le STE abstrait du système P 0... P N en commençant le calcul des transitions à partir de l'état initial abstrait. Justiez vos calculs. Indication 1 : Pour raisonner, vous pouvez construire au brouillon le STE abstrait dans le cas N = 1. Indication 2 : Pour la rédaction, considérez les trois cas suivants : la transition τ 0, les transitions τ i pour i [1, N 1] et la transition τ N. h) (1.5 pt) Démontrez que dans tous les états accessibles depuis l'ensemble d'états initiaux, il n'y a toujours qu'un seul des prédicats Φ i qui vaut faux et conclure que la propriété est satisfaite. Justiez votre conclusion.
3 Solution de la question 2.g) Cas de la transition τ 0 (1 pt) } 0 = x 1, x 1 = x 2 b 0 b 1 b 2,..., x N 1 = x }{{ N } [x 0 =x n] x 0 :=x 0 +1 τ 0, b 1,..., b N La transition n'est jouable que si la garde vaut vraie, c'est-à-dire si x 0 = x N, ce qui impose b 0 = F. Détermination des booléens à b N, b 1,..., b N = } 0 = x 1, x 1 = x 2,..., x N 1 = x }{{ N [x } 0 x 0 + 1] b 1 b 2 = x x N, x = x 1, x 1 = x 2,..., x N 1 = x N b 2 b 1 b N Puisque x 0 = x N, on sait que x x N et donc vaut T. Si b 1 vaut T, c'est-à-dire x 0 = x 1, alors x x 1 et donc b 1 vaut F. Par contre, si b 1 vaut F, c'est-à-dire x 0 x 1, alors on ne peut rien conclure concernant la condition x = x 1 qui peut valoir T (si x 1 valait x 0 1) ou F (pour toute autre valeur de x 1 ). Conclusion La transition τ 0 donne les transitions abstraites suivantes : F, T, b 2,..., τ0 T, F, b 2,..., F, F, b 2,..., τ0 T, b 1, b 2,..., Dans le cadre de l'examen, seule la première transition nous intéresse puisqu'on part de l'état initial abstrait F, T,..., T. Cas des transitions τ i, i [1, N 1] (1 pt) Forme générale de la transition : [x i x i 1 ] x i :=x i 1 }{{ N,..., x } i 2 = x }{{ i 1, x } i 1 = x i, x i = x }{{ i+1,..., x } N 1 = x }{{ N } τ i,..., b N b i b 0 b i 1 b i+1 La transition n'est jouable que si la garde vaut vraie, c'est-à-dire si x i x i 1, ce qui impose b i = F. Détermination des booléens à b N,..., b i 1, b i, b i+1,..., b N = }{{ N,..., x } i 2 = x }{{ i 1, x } i 1 = x i, x i = x }{{ i+1,..., x } N 1 = x }{{ N [x } i x i 1 ] b i 1 b i b i+1 b N = }{{ N,..., x } i 2 = x }{{ i 1, x } i 1 = x i 1, x i 1 = x i+1,..., x N 1 = x N b 0 b i 1 b =T i Il est clair qu'après la transition τ i, le booléen b i vaut T. Les booléens b 0 à b i 1 et b i+2 à ne sont pas modiés puisque l'aectation modie uniquement la variable x i qui apparaît uniquement dans les prédicats Φ i et Φ i+1. b i+1
4 Détermination du booléen b i+1 (x i 1 = x i+1 ) Dans le cas où b i+1 vaut F, on ne peut rien conclure sur la valeur de b i+1 qui peut valoir T ou F. Dans le où b i+1 vaut T, on se trouve dans le cas suivant : } 0 = x 1,..., x i 2 = x i 1, x i 1 = x i, x i = x i+1,..., x N 1 = x N b 0 b 1 b i =F b i+1 =T b i 1 On sait alors que x i+1 = x i et que x i x i 1. On en déduit que x i+1 x i 1 et donc b i+1 vaut F. Conclusion Chaque transition τ i (i [1, N 1]) donne les transitions abstraites suivantes : b 0,..., b i 1, b i, b i+1,..., b N τi b 0,..., b i 1, b i, b i+1,..., b N F T T F b 0,..., b i 1, b i, b i+1,..., b N τi b 0,..., b i 1, b i, b i+1,..., F F T Dans le cadre de l'examen, on suppose qu'un seul des booléens b 0,..., b n vaut F. On a supposé que c'était b i. On sait donc que b i+1 = T. Donc, seule la première transition nous intéresse et on peut en conclure qu'après la transition τ i, il y a exactement un seul booléen qui vaut F (on sait même dire que c'est b i+1 ). Cas de la transition τ N (1 pt) [x N x N 1 ] x N :=x N 1 } 0 = x 1,..., x N 2 = x }{{ N 1, x } N 1 = x }{{ N b } τ N 0, b 1,..., b N 1, b N b 0 b 1 1 La transition n'est jouable que si la garde vaut vraie, c'est-à-dire si x N = x N 1, ce qui impose = F. Détermination des booléens à b N, b 1,..., b N 1, b N = } 0 = x 1,..., x N 2 = x }{{ N 1, x } N 1 = x }{{ N [x } N x N 1 ] b 1 b N 1 = x 0 x N 1, x 0 = x 1,..., x N 2 = x }{{ N 1, x } N 1 = x N 1 b 1 1 Il est clair qu'après la transition τ N, le booléen b N vaut T. Les booléens b 1 à 1 ne sont pas modiés puisque l'aectation modie uniquement la variable x N qui apparaît uniquement dans les prédicats Φ 0 et Φ N. b N b N Détermination du booléen (x 0 x N 1 ) Dans le cas général, on ne peut rien conclure sur la valeur de qui peut valoir T ou F. Dans le où b 1 =... = 1 = T, on se trouve dans le cas suivant : } 0 = x 1, }.{{.. }, x N 2 = x N 1, x N 1 = x N b 0 T... T On sait alors que x 0 = x 1 =... = x N 2 = x N 1. On en déduit que x 0 = x N 1 et donc que vaut F.
5 Conclusion La transition τ N donne les transitions abstraites suivantes : b 0, b 1,..., 1, b N τn, b 1,..., 1, b N F? T b 0, b 1, }.{{.. }, 1, b N τn F, T,..., T, T T... T F Dans le cadre de l'examen, on suppose qu'un seul des booléens b 0,..., b n vaut F. Ce cas correspond à la seconde transition. On peut alors conclure qu'après la transition τ N, il y a exactement un seul booléen qui vaut F (on sait même dire que c'est ). Conclusion (.5 pt) On a montré l'invariant abstrait suivant : si un état abstrait comporte un unique booléen à F alors pour toute transition jouable dans cette état, l'état successeur aura lui aussi un unique booléen à F. Considérons maintenant un état abstrait où le seul booléen qui vaut F est b i alors la seule transition jouable est la transition τ i car les booléens b 0,..., correspondent à la négation de la garde des transitions des processus P 0,..., P N. Ainsi, depuis cet état abstrait, seul le processus P i peut eectuer l'action critique AC. L'état initial abstrait ne comporte qu'un seul booléen à F (c'est b 0 ). Cette remarque et l'invariant nous permette d'armer que dans tous les états accessibles, il n'y aura toujours exactement un processus qui puisse eectuer l'action critique AC.
6 Exercice 2 : Vérication d'un invariant à l'aide des opérateurs pre, post, wlp ( 10min) (2.5 pt) On considère le système de transitions donné en annexe. On souhaite déterminez les états initiaux qui garantissent que le STE n'atteindra pas les états interdits ϕ = {, }. a) (1 pt) Montrez par le calcul de post qu'en prenant pour états initaux les états {, } on n'atteint jamais les états interdits. b) (0.5 pt) Exhibez une trace d'exécution à partir d'un autre état initial qui atteint les états interdits. c) (1 pt) Déterminez les états initiaux qui garantissent que le STE n'atteindra pas les états interdits par le calcul de wlp. Répondez sur la feuille annexe en indiquant les étapes du calcul de post et wlp. Justiez vos conclusions. N'oubliez pas d'indiquer nom et prénom.
7 Feuille à rendre Nom-Prénom ou N de place a) calcul de post ({, }) b) trace d'exécution fautive
8 c) calcul de wlp (ϕ)
9 Brouillon : Ce qui gure sur cette feuille ne sera pas corrigé.
LE PROBLEME DU PLUS COURT CHEMIN
LE PROBLEME DU PLUS COURT CHEMIN Dans cette leçon nous définissons le modèle de plus court chemin, présentons des exemples d'application et proposons un algorithme de résolution dans le cas où les longueurs
Plus en détailOPTIMISATION À UNE VARIABLE
OPTIMISATION À UNE VARIABLE Sommaire 1. Optimum locaux d'une fonction... 1 1.1. Maximum local... 1 1.2. Minimum local... 1 1.3. Points stationnaires et points critiques... 2 1.4. Recherche d'un optimum
Plus en détailBaccalauréat ES/L Métropole La Réunion 13 septembre 2013 Corrigé
Baccalauréat S/L Métropole La Réunion 13 septembre 2013 Corrigé A. P. M.. P. XRCIC 1 Commun à tous les candidats Partie A 1. L arbre de probabilité correspondant aux données du problème est : 0,3 0,6 H
Plus en détailBaccalauréat ES/L Amérique du Sud 21 novembre 2013
Baccalauréat ES/L Amérique du Sud 21 novembre 2013 A. P. M. E. P. EXERCICE 1 Commun à tous les candidats 5 points Une entreprise informatique produit et vend des clés USB. La vente de ces clés est réalisée
Plus en détailPourquoi l apprentissage?
Pourquoi l apprentissage? Les SE sont basés sur la possibilité d extraire la connaissance d un expert sous forme de règles. Dépend fortement de la capacité à extraire et formaliser ces connaissances. Apprentissage
Plus en détailL exclusion mutuelle distribuée
L exclusion mutuelle distribuée L algorithme de L Amport L algorithme est basé sur 2 concepts : L estampillage des messages La distribution d une file d attente sur l ensemble des sites du système distribué
Plus en détailProblème : Calcul d'échéanciers de prêt bancaire (15 pt)
Problème : Calcul d'échéanciers de prêt bancaire (15 pt) 1 Principe d'un prêt bancaire et dénitions Lorsque vous empruntez de l'argent dans une banque, cet argent (appelé capital) vous est loué. Chaque
Plus en détailTABLEAU JUSTIFICATIF DES EXPURGATIONS PROPOSÉES
ICC-01/04-01/07-819-Anx 12-01-2009 1/6 VW T ANNEXEA TABLEAU JUSTIFICATIF DES EXPURGATIONS PROPOSÉES REQUÉRANT : A - Identification de l'élément de preuve A - 1 Numéro d'enregistrement 1 : A- 2 Date de
Plus en détailCouples de variables aléatoires discrètes
Couples de variables aléatoires discrètes ECE Lycée Carnot mai Dans ce dernier chapitre de probabilités de l'année, nous allons introduire l'étude de couples de variables aléatoires, c'est-à-dire l'étude
Plus en détailTP1 Méthodes de Monte Carlo et techniques de réduction de variance, application au pricing d options
Université de Lorraine Modélisation Stochastique Master 2 IMOI 2014-2015 TP1 Méthodes de Monte Carlo et techniques de réduction de variance, application au pricing d options 1 Les options Le but de ce
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étailCorrection du baccalauréat ES/L Métropole 20 juin 2014
Correction du baccalauréat ES/L Métropole 0 juin 014 Exercice 1 1. c.. c. 3. c. 4. d. 5. a. P A (B)=1 P A (B)=1 0,3=0,7 D après la formule des probabilités totales : P(B)=P(A B)+P(A B)=0,6 0,3+(1 0,6)
Plus en détailProgrammation linéaire
1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit
Plus en détailCorrigé des TD 1 à 5
Corrigé des TD 1 à 5 1 Premier Contact 1.1 Somme des n premiers entiers 1 (* Somme des n premiers entiers *) 2 program somme_entiers; n, i, somme: integer; 8 (* saisie du nombre n *) write( Saisissez un
Plus en détail2. RAPPEL DES TECHNIQUES DE CALCUL DANS R
2. RAPPEL DES TECHNIQUES DE CALCUL DANS R Dans la mesure où les résultats de ce chapitre devraient normalement être bien connus, il n'est rappelé que les formules les plus intéressantes; les justications
Plus en détailRaisonnement par récurrence Suites numériques
Chapitre 1 Raisonnement par récurrence Suites numériques Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Raisonnement par récurrence. Limite finie ou infinie d une suite.
Plus en détailVers l'ordinateur quantique
Cours A&G Vers l'ordinateur quantique Données innies On a vu dans les chapîtres précédents qu'un automate permet de représenter de manière nie (et même compacte) une innité de données. En eet, un automate
Plus en détailChp. 4. Minimisation d une fonction d une variable
Chp. 4. Minimisation d une fonction d une variable Avertissement! Dans tout ce chapître, I désigne un intervalle de IR. 4.1 Fonctions convexes d une variable Définition 9 Une fonction ϕ, partout définie
Plus en détail2 Grad Info Soir Langage C++ Juin 2007. Projet BANQUE
2 Grad Info Soir Langage C++ Juin 2007 Projet BANQUE 1. Explications L'examen comprend un projet à réaliser à domicile et à documenter : - structure des données, - objets utilisés, - relations de dépendance
Plus en détailPrénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004. Loc Jeudi 29/4/2004
Questionnaire d'examen final INF1101 Sigle du cours Nom : Signature : Prénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004 Professeur(s)
Plus en détailBaccalauréat S Antilles-Guyane 11 septembre 2014 Corrigé
Baccalauréat S ntilles-guyane 11 septembre 14 Corrigé EXERCICE 1 6 points Commun à tous les candidats Une entreprise de jouets en peluche souhaite commercialiser un nouveau produit et à cette fin, effectue
Plus en détailA. DISPOSITIONS DES TRAITÉS EN MATIÈRE D'AIDES D'ETAT
DISPOSITIONS DES TRAITÉS EN MATIÈRE D'AIDES D'ETAT DISPOSITIONS DES TRAITÉS EN MATIERE D'AIDES D'ETAT Tableau de correspondance entre l'ancienne et la nouvelle numérotation des articles suite à l'entrée
Plus en détailOASIS www.oasis-open.org/committees/xacml/docs/docs.shtml Date de publication
Statut du Committee Working Draft document Titre XACML Language Proposal, version 0.8 (XACML : XML Access Control Markup Language) Langage de balisage du contrôle d'accès Mot clé Attestation et sécurité
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étailSeance 2: En respectant la méthode de programmation par contrat, implémentez les autres fonctions de jeu.
Seance 2: Complétion du code de jeu. (durée max: 2h) Mot clé const et pointeurs: En respectant la méthode de programmation par contrat, implémentez les autres fonctions de jeu. Implémentez jeu_recupere_piece
Plus en détailNOTATIONS PRÉLIMINAIRES
Pour le Jeudi 14 Octobre 2010 NOTATIONS Soit V un espace vectoriel réel ; l'espace vectoriel des endomorphismes de l'espace vectoriel V est désigné par L(V ). Soit f un endomorphisme de l'espace vectoriel
Plus en détailRÉSOLUTION DE SYSTÈMES À DEUX INCONNUES
RÉSOLUTION DE SYSTÈMES À DEUX INCONNUES Sommaire 1 Méthodes de résolution... 3 1.1. Méthode de Substitution... 3 1.2. Méthode des combinaisons linéaires... 6 La rubrique d'aide qui suit s'attardera aux
Plus en détailChap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1
Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-
Plus en détailTRACER LE GRAPHE D'UNE FONCTION
TRACER LE GRAPHE D'UNE FONCTION Sommaire 1. Méthodologie : comment tracer le graphe d'une fonction... 1 En combinant les concepts de dérivée première et seconde, il est maintenant possible de tracer le
Plus en détailAvons ordonné et ordonnons:
Sanctions pécuniaires - principe de reconnaissance mutuelle Loi du 23 février 2010 relative à l'application du principe de reconnaissance mutuelle aux sanctions pécuniaires. - citant: L du 30 mars 2001
Plus en détailOptimisation Combinatoire et Colonies de Fourmis Nicolas Monmarche April 21, 1999 Sommaire Inspiration biologiques Ant Colony Optimization Applications TSP QAP Flow Shop Problemes dynamiques 1 Historique
Plus en détailProjet L1, S2, 2015: Simulation de fourmis, Soutenance la semaine du 4 mai.
Projet L1, S2, 2015: Simulation de fourmis, Soutenance la semaine du 4 mai. 1 Introduction On considère une grille de 20 lignes 20 colonnes. Une case de la grille peut être vide, ou contenir une et une
Plus en détailC f tracée ci- contre est la représentation graphique d une
TLES1 DEVOIR A LA MAISON N 7 La courbe C f tracée ci- contre est la représentation graphique d une fonction f définie et dérivable sur R. On note f ' la fonction dérivée de f. La tangente T à la courbe
Plus en détailCHARTE FOURNISSEUR INERIS. Préambule : 1 - QUALITE & TECHNOLOGIE 1.1 - QUALITE DE LA SOURCE
Attention : au-delà du 17/7/2011, vérifier à l'aide du réseau, la validité du présent document papier. Préambule : Nota : ce document a été émis et est géré par SJA Toute commande passée par l INERIS est
Plus en détailLa fonction exponentielle
DERNIÈRE IMPRESSION LE 2 novembre 204 à :07 La fonction exponentielle Table des matières La fonction exponentielle 2. Définition et théorèmes.......................... 2.2 Approche graphique de la fonction
Plus en détailCentre CPGE TSI - Safi 2010/2011. Algorithmique et programmation :
Algorithmique et programmation : STRUCTURES DE DONNÉES A. Structure et enregistrement 1) Définition et rôle des structures de données en programmation 1.1) Définition : En informatique, une structure de
Plus en détail5 ème Chapitre 4 Triangles
5 ème Chapitre 4 Triangles 1) Médiatrices Définition : la médiatrice d'un segment est l'ensemble des points équidistants des extrémités du segment (cours de 6 ème ). Si M appartient à la médiatrice du
Plus en détailI. Ensemble de définition d'une fonction
Chapitre 2 Généralités sur les fonctions Fonctions de références et fonctions associées Ce que dit le programme : Étude de fonctions Fonctions de référence x x et x x Connaître les variations de ces deux
Plus en détailLE MANDAT DE MELBOURNE Un appel à l'action pour accroître la valorisation de la gestion des relations publiques et des communications
LE MANDAT DE MELBOURNE Un appel à l'action pour accroître la valorisation de la gestion des relations publiques et des communications FORUM MONDIAL SUR LES RELATIONS PUBLIQUES NOVEMBRE 2012 Le mandat des
Plus en détailUtilisation de l analyse statique comme outil d aide au développement. par. Yves Gauthier
Utilisation de l analyse statique comme outil d aide au développement par Yves Gauthier essai présenté au Département d'informatique en vue de l'obtention du grade de maître en technologies de l information
Plus en détailLe Service de Télétransmission par Internet des banques du Réseau OCÉOR GUIDE UTILISATEURS. Version V1.0
Le Service de Télétransmission par Internet des banques du Réseau OCÉOR GUIDE UTILISATEURS Version V1.0 SOMMAIRE 1 DESCRIPTION DE L'INTERFACE... 2 1.1 Introduction... 2 1.2 Fonctionnalités disponibles...
Plus en détailELEC2753 Electrotechnique examen du 11/06/2012
ELEC2753 Electrotechnique examen du 11/06/2012 Pour faciliter la correction et la surveillance, merci de répondre aux 3 questions sur des feuilles différentes et d'écrire immédiatement votre nom sur toutes
Plus en détailAssurance téléphone mobile et tablette /
Assurance téléphone mobile et tablette / Votre assurance en bref Tout ce qu'il faut savoir sur notre offre d'assurance. Obligation d'informer de l'intermédiaire conformément à l'art. 45 LSA Qui est l'assureur?
Plus en détail1.1.4. DIFFÉRENCIATION DES RÔLES DES JOUEURS
1.1.4. DIFFÉRENCIATION DES RÔLES DES JOUEURS Il est sans doute opportun d'apporter quelques clarifications supplémentaires à propos des différents rôles qui composent une équipe de Baskin. Cette différenciation
Plus en détailStructurer ses données : les tableaux. Introduction à la programmation
Structurer ses données : les tableaux Introduction à la programmation Plan du document Introduction Introduire la notion de type Types primitifs Types composés Tableaux de type primitif Page 2 Notion de
Plus en détailCompilation. Algorithmes d'analyse syntaxique
Compilation Algorithmes d'analyse syntaxique Préliminaires Si A est un non-terminal et γ une suite de terminaux et de non-terminaux, on note : A γ si en partant de A on peut arriver à γ par dérivations
Plus en détailTSTI 2D CH X : Exemples de lois à densité 1
TSTI 2D CH X : Exemples de lois à densité I Loi uniforme sur ab ; ) Introduction Dans cette activité, on s intéresse à la modélisation du tirage au hasard d un nombre réel de l intervalle [0 ;], chacun
Plus en détailOptions, Futures, Parité call put
Département de Mathématiques TD Finance / Mathématiques Financières Options, Futures, Parité call put Exercice 1 Quelle est la différence entre (a) prendre une position longue sur un forward avec un prix
Plus en détailBaccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé
Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé A. P. M. E. P. Exercice 1 5 points 1. Réponse d. : 1 e Le coefficient directeur de la tangente est négatif et n est manifestement pas 2e
Plus en détailSur certaines séries entières particulières
ACTA ARITHMETICA XCII. 2) Sur certaines séries entières particulières par Hubert Delange Orsay). Introduction. Dans un exposé à la Conférence Internationale de Théorie des Nombres organisée à Zakopane
Plus en détailSoit la fonction affine qui, pour représentant le nombre de mois écoulés, renvoie la somme économisée.
ANALYSE 5 points Exercice 1 : Léonie souhaite acheter un lecteur MP3. Le prix affiché (49 ) dépasse largement la somme dont elle dispose. Elle décide donc d économiser régulièrement. Elle a relevé qu elle
Plus en détailGuide pratique 2 3.11-1
3.11 LA TABLE DES RÉGIMES D'ABSENCE Cette table est principalement utilisée pour : # définir les différents régimes d'absence en vigueur; # définir les paramètres régissant le régime d'assurance-salaire;
Plus en détailBaccalauréat L spécialité, Métropole et Réunion, 19 juin 2009 Corrigé.
Baccalauréat L spécialité, Métropole et Réunion, 19 juin 2009 Corrigé. L usage d une calculatrice est autorisé Durée : 3heures Deux annexes sont à rendre avec la copie. Exercice 1 5 points 1_ Soit f la
Plus en détailArchivage des mails dans Outlook 2010
Archivage des mails dans Outlook 2010 Il existe plusieurs possibilités pour archiver Outlook. 1. Mise en garde L'archivage par défaut déplace en local les fichiers archivés. Il est important de modifier
Plus en détail1. La présente circulaire concerne les primes d'ancienneté qui sont octroyées aux travailleurs durant leur carrière auprès d'un employeur.
Administration générale de la FISCALITE Services centraux Direction I/5B Circulaire n Ci.RH.241/608.543 (AGFisc N 27/2011) dd. 23.05.2011 Impôt des personnes physiques Revenu professionnel Prime d'ancienneté
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étailTutoriel - flux de facturation
1 of 12 17.01.2007 01:41 Tutoriel - flux de facturation Le schéma ci-dessous illustre le flux de facturation classique : Lors de la création d'une facture, elle possède l'état de brouillon, ce qui veut
Plus en détailManuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Plus en détailFiche descriptive de l indicateur : Tenue du dossier anesthésique (DAN)
Définition Score individuel Score global Echantillon Critère d inclusion Fiche descriptive de l indicateur : Tenue du dossier anesthésique (DAN) Cet indicateur évalue la tenue du dossier anesthésique.
Plus en détailGuide Abonné Plate-forme Multi Flux PLATE-FORME MULTI FLUX GUIDE ABONNE V 2.1
PLATE-FORME MULTI FLUX GUIDE ABONNE V 2.1 TABLE DES MATIERES 1 GLOSSAIRE... 1 2 INTRODUCTION... 2 2.1 FONCTIONNALITES DISPONIBLES... 2 2.2 PRE REQUIS... 2 3 ACCES... 3 4 PARAMETRAGE LORS DE LA PREMIERE
Plus en détailThéorèmes de Point Fixe et Applications 1
Théorèmes de Point Fixe et Applications 1 Victor Ginsburgh Université Libre de Bruxelles et CORE, Louvain-la-Neuve Janvier 1999 Published in C. Jessua, C. Labrousse et D. Vitry, eds., Dictionnaire des
Plus en détailOrdonnancement. N: nains de jardin. X: peinture extérieure. E: électricité T: toit. M: murs. F: fondations CHAPTER 1
CHAPTER 1 Ordonnancement 1.1. Étude de cas Ordonnancement de tâches avec contraintes de précédences 1.1.1. Exemple : construction d'une maison. Exercice. On veut construire une maison, ce qui consiste
Plus en détail1 de 46. Algorithmique. Trouver et Trier. Florent Hivert. Mél : Florent.Hivert@lri.fr Page personnelle : http://www.lri.fr/ hivert
1 de 46 Algorithmique Trouver et Trier Florent Hivert Mél : Florent.Hivert@lri.fr Page personnelle : http://www.lri.fr/ hivert 2 de 46 Algorithmes et structures de données La plupart des bons algorithmes
Plus en détailPROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES
Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.
Plus en détailContinuité en un point
DOCUMENT 4 Continuité en un point En général, D f désigne l ensemble de définition de la fonction f et on supposera toujours que cet ensemble est inclus dans R. Toutes les fonctions considérées sont à
Plus en détail1. Introduction...2. 2. Création d'une requête...2
1. Introduction...2 2. Création d'une requête...2 3. Définition des critères de sélection...5 3.1 Opérateurs...5 3.2 Les Fonctions...6 3.3 Plusieurs critères portant sur des champs différents...7 3.4 Requête
Plus en détailChapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme
Chapitre 3 Quelques fonctions usuelles 1 Fonctions logarithme et eponentielle 1.1 La fonction logarithme Définition 1.1 La fonction 7! 1/ est continue sur ]0, +1[. Elle admet donc des primitives sur cet
Plus en détailConception de circuits numériques et architecture des ordinateurs
Conception de circuits numériques et architecture des ordinateurs Frédéric Pétrot Année universitaire 2014-2015 Structure du cours C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 Codage des nombres en base 2, logique
Plus en détailInfrastructure de recharge >22kW
Directives EVite Directives EVite Infrastructure de recharge >22kW Version 2 1. Le principe EVite... 2 2. Principe... 2 3. Procédure de réalisation d'une station de recharge EVite... 2 3.1. Inscription
Plus en détailEnsimag 1ère année Algorithmique 1 Examen 2ième session 24 juin 2010. Algorithmique 1
Algorithmique 1 Durée : 2h Machines électroniques interdites Tous documents papiers autorisés Il est conseillé de traiter les deux parties dans l ordre du sujet. Veuillez respecter les notations introduites
Plus en détailGéométrie dans l espace Produit scalaire et équations
Chapitre 11. 2ème partie Géométrie dans l espace Produit scalaire et équations Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES 2ème partie Produit scalaire Produit scalaire
Plus en détailSystème binaire. Algèbre booléenne
Algèbre booléenne Système binaire Système digital qui emploie des signaux à deux valeurs uniques En général, les digits employés sont 0 et 1, qu'on appelle bits (binary digits) Avantages: on peut utiliser
Plus en détailObjectifs du cours d aujourd hui. Informatique II : Cours d introduction à l informatique et à la programmation objet. Complexité d un problème (2)
Objectifs du cours d aujourd hui Informatique II : Cours d introduction à l informatique et à la programmation objet Complexité des problèmes Introduire la notion de complexité d un problème Présenter
Plus en détailGARANTIES ET SERVICES : LES ATTENTES DES SALARIES ET DES ENTREPRISES
Centre de Recherche pour l Etude et l Observation des Conditions de Vie GARANTIES ET SERVICES : LES ATTENTES DES SALARIES ET DES ENTREPRISES Anne FRONTEAU-LOONES Marie-Odile SIMON Septembre 2002 Département
Plus en détailLe théorème de Thalès et sa réciproque
Le théorème de Thalès et sa réciproque I) Agrandissement et Réduction d une figure 1) Définition : Lorsque toutes les longueurs d une figure F sont multipliées par un même nombre k on obtient une autre
Plus en détailLes diagrammes de modélisation
L approche Orientée Objet et UML 1 Plan du cours Introduction au Génie Logiciel L approche Orientée Objet et Notation UML Les diagrammes de modélisation Relations entre les différents diagrammes De l analyse
Plus en détailCommun à tous les candidats
EXERCICE 3 (9 points ) Commun à tous les candidats On s intéresse à des courbes servant de modèle à la distribution de la masse salariale d une entreprise. Les fonctions f associées définies sur l intervalle
Plus en détailProposition d assurance Flexibel Junior Saving
Proposition d assurance Flexibel Junior Saving à Fidea NV, Van Eycklei 14, 2018 Antwerpen exemplaire pour le preneur d assurance exemplaire pour l intermédiaire intermédiaire nom et adresse (ou cachet)...
Plus en détailGuide de l'utilisateur de l'application mobile
Guide de l'utilisateur de l'application mobile Avis de droit d'auteur Copyright Acronis International GmbH, 2002-2012. Tous droits réservés. «Acronis», «Acronis Compute with Confidence», «Acronis Recovery
Plus en détail6. Les différents types de démonstrations
LES DIFFÉRENTS TYPES DE DÉMONSTRATIONS 33 6. Les différents types de démonstrations 6.1. Un peu de logique En mathématiques, une démonstration est un raisonnement qui permet, à partir de certains axiomes,
Plus en détailNOTIONS DE PROBABILITÉS
NOTIONS DE PROBABILITÉS Sommaire 1. Expérience aléatoire... 1 2. Espace échantillonnal... 2 3. Événement... 2 4. Calcul des probabilités... 3 4.1. Ensemble fondamental... 3 4.2. Calcul de la probabilité...
Plus en détailLA CHAMBRE PRELIMINAIRE III SITUATION EN REPUBLIQUE DE COTE DTVOIRE. AFFAIRE LE PROCUREUR c. LAURENT GBAGBO
ICC-02/11-01/11-32 09-02-2012 1/10 NM PT ICC-02/11-01/11-32-Conf-Exp 27-01-2012 1/10 CB PT Cour Pénale Internationale International Criminal Court Original: français N«: ICC-02/11-01/11 Date: 27 janvier
Plus en détailTP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile Dans ce TP, vous apprendrez à définir le type abstrait Pile, à le programmer en Java à l aide d une interface
Plus en détailConditions de participation campagne WoM BASE B-39
Conditions de participation campagne WoM BASE B-39 Les Initiés Mars 2014 La participation à cette campagne est entièrement gratuite mais exige une démarche précise de l'initié: le transfert de votre numéro
Plus en détailMIEUX COMPRENDRE LE SYSTÈME DE SANTÉ POUR SE SOIGNER
Pour en savoir plus, rendez-vous sur : www.cmu.fr www.ameli.fr www.securite-sociale.fr + 3646 MIEUX COMPRENDRE LE SYSTÈME DE SANTÉ POUR SE SOIGNER ACS CMU Caisse Primaire d Assurance Maladie 5, avenue
Plus en détailCondition de stabilité d'un réseau de les d'attente à deux stations et N classes de clients 1
General Mathematics Vol. 18, No. 4 (2010), 85108 Condition de stabilité d'un réseau de les d'attente à deux stations et N classes de clients 1 Faiza Belarbi, Amina Angelika Bouchentouf Résumé Nous étudions
Plus en détailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)
Plus en détailQualité du logiciel: Méthodes de test
Qualité du logiciel: Méthodes de test Matthieu Amiguet 2004 2005 Analyse statique de code Analyse statique de code Étudier le programme source sans exécution Généralement réalisée avant les tests d exécution
Plus en détailGestion des cartes ristourne
Gestion des cartes ristourne Cela fait maintenant quelques années que le programme de gestion des cartes ristourne est utilisé par un nombre sans cesse croissant de pharmaciens. Ceci a pour conséquence
Plus en détailLa persistance des nombres
regards logique & calcul La persistance des nombres Quand on multiplie les chiffres d un nombre entier, on trouve un autre nombre entier, et l on peut recommencer. Combien de fois? Onze fois au plus...
Plus en détailMultiPlus sans limites
MultiPlus sans limites La maîtrise de l'énergie avec le Phoenix Multi/MultiPlus de Victron Energy Parfois les possibilités offertes par un nouveau produit sont si uniques qu'elles sont difficiles à comprendre,
Plus en détailSujet 4: Programmation stochastique propriétés de fonction de recours
Sujet 4: Programmation stochastique propriétés de fonction de recours MSE3313: Optimisation Stochastiqe Andrew J. Miller Dernière mise au jour: October 19, 2011 Dans ce sujet... 1 Propriétés de la fonction
Plus en détailFormulaire de demande d'aide de la Région pour l'implantation d'infrastructures de recharges pour véhicules électriques et hybrides
FONDS RÉGIONAL DE DÉVELOPPEMENT DES ECO-INDUSTRIES ET DES VÉHICULES ÉLECTRIQUES (FRDEIVE) EN POITOU-CHARENTES Formulaire de demande d'aide de la Région pour l'implantation d'infrastructures de recharges
Plus en détailANALYSE GLOBALE DES PROGRAMMES DE LA SHQ. SQEP 18 novembre 2011
ANALYSE GLOBALE DES PROGRAMMES DE LA SHQ SQEP 18 novembre 2011 Contexte Problématiques Objectifs Cadre conceptuel Étude comparative des programmes - Modèle matriciel de comparaison (indice ICP) - Grille
Plus en détailInformations générales
Net sur 2 Téléprospection Informations générales mairie-annuaire.fr Net sur 2 w w w. n e t s u r 2. c o m / t e l e p r o s p e c t i o n. p h p Fonctionnement du service La plateforme Net sur 2 Téléprospection
Plus en détailProcessus d Informatisation
Processus d Informatisation Cheminement de la naissance d un projet jusqu à son terme, deux grandes étapes : Recherche ou étude de faisabilité (en amont) L utilisateur a une idée (plus ou moins) floue
Plus en détailModèles à Événements Discrets. Réseaux de Petri Stochastiques
Modèles à Événements Discrets Réseaux de Petri Stochastiques Table des matières 1 Chaînes de Markov Définition formelle Idée générale Discrete Time Markov Chains Continuous Time Markov Chains Propriétés
Plus en détail9 5 2 5 Espaces probabilisés
BCPST2 9 5 2 5 Espaces probabilisés I Mise en place du cadre A) Tribu Soit Ω un ensemble. On dit qu'un sous ensemble T de P(Ω) est une tribu si et seulement si : Ω T. T est stable par complémentaire, c'est-à-dire
Plus en détailExercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT
Exercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT Ces exercices portent sur les items 2, 3 et 5 du programme d informatique des classes préparatoires,
Plus en détail