TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS TOTALEMENT CONNECTÉS (*) par Maryse BÉGUIN ( 1 )
|
|
- Didier Villeneuve
- il y a 8 ans
- Total affichages :
Transcription
1 RAIRO Operatios Research RAIRO Oper. Res. 34 (2000) TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS TOTALEMENT CONNECTÉS (*) par Maryse BÉGUIN ( 1 ) Commuiqué par Berard LEMAIRE Résumé. L étude présetée ici modélise u trasfert de charge sur u réseau de processeurs totalemet coectés. Chaque processeur peut accueillir au plus tâches. Ue différece de deux charges etre deux processeurs est ue situatio iterdite, et u trasfert immédiat et istataé est décleché dès que cette situatio se produit. Les performaces du système sot évaluées par les idices suivats : probabilité de rejet, ombre moye de tâches traitées par uité de temps, temps de répose moye, probabilité statioaire pour u processeur d accueillir tâches. Le but de cette étude est de mesurer les répercussios du trasfert de charge e comparat les valeurs des idices obteues avec trasfert avec celles obteues sas trasfert. E particulier, le comportemet asymptotique pour des systèmes massivemet parallèles est étudié et iterprété. Calculées das ue situatio idéale, ces comparaisos permettet d obteir des bores supérieures sur les bééfices que l o peut attedre d u réel trasfert. Elles permettet égalemet d étudier l opportuité du trasfert selo les valeurs des paramètres du système. Le ombre moye de trasferts effectués par uité de temps et le ombre moye de trasferts pour ue tâche doée sot calculés. L asymptotique quad ted vers l ifii est égalemet étudiée. Mots clés : Évaluatios de performaces, trasfert de charge, système massivemet parallèle, processus de Markov, processus de aissace et de mort. Abstract. I this paper, a model of the load trasfer o a fully coected et is preseted. Each processor ca accept at most tasks. A load differece of two tasks betwee two processors is a prohibited situatio ad whe it may appear, a immediat ad istataeous trasfer is decided. The performaces of the system are evaluated by the followig idices: the reject probability, the throughput, the mea respose time, the statioary probability distributio for a processor to host tasks. The aim of this study is to evaluate the load trasfer ipact thaks to the compariso betwee the values of the idices without trasfer ad with trasfer. I particular the asymptotic behaviour for massively parallel systems is studied ad iterpreted. Calculated with a ideal situatio, these comparisos yield upper bouds o the beefits that ca be expected from a trasferrig policy. Beyods, the opportuity of the trasfer accordig to the values of the parameters ca be studied. The mea umber of trasfers executed withi a time uit ad the mea umber of trasfers of a give task are calculated. At last values of the idices whe the umber of accepted tasks grows to ifiity is studied. eywords: Performace evaluatio, load trasfer, massively parallel system, Markov process, death ad birth process. (*) Reçu e décembre ( 1 ) SMS-LMC-IMAG, BP. 53, Greoble Cedex, Frace. Recherche opératioelle/operatios Research, /00/01/$ 7.00 EDP Scieces, 2000
2 100 M. BÉGUIN 1. INTRODUCTION Le développemet relativemet récet des multi-calculateurs permet de traiter des problèmes complexes issus de domaies divers et écessitat de très grosses puissaces de calcul. Comme das les systèmes répartis, se poset des problèmes cruciaux comme l utilisatio optimale des ressources dispoibles et plus particulièremet des processeurs. Nous e coaissos pas ecore de doées permettat d estimer la durée de vie et la loi des tâches géérées par des machies parallèles, mais par similitude avec les travaux effectués sur les réseaux de statios de travail, il semble idispesable que le système d exploitatio gère l allocatio des tâches sur les différets processeurs afi d éviter les situatios où certais processeurs sot surchargés alors que d autres sot oisifs (cf. [11]). Cette gestio implique ue distributio de la charge globale sur les différets processeurs pouvat etraîer des trasferts de charge d u processeur à u autre. La prédictio du comportemet futur de la charge est complexe et justifie ue étude stochastique. Cette problématique est aciee et je rappellerai ici les études récetes de modélisatio qui ot été proposées. E 1993, Evas et Butt [5] ot étudié par la théorie des files d attete et des simulatios la probabilité de trasfert etre deux sites d u algorithme d équilibrage de charge avec péalisatio du trasfert. E 1994, Squillate et Nelso [15] ot fait ue étude aalytique par les matrices stochastiques du temps de répose moye pour u trasfert de charge basé sur des politiques de seuils. Das la même aée, Malyshev et Robert [9] ot obteus des valeurs asymptotiques de la probabilité de perte par des processus de Markov et des foctios de Lyapouov d algorithmes de trasfert de charge global et local pour ue ifiité de sites de capacité. E 1995, Guyeet et al. [14] ot comparé des résultats aalytiques et des simulatios doat la valeur d u idice d efficacité d u modèle markovie d équilibrage de charge etre des sites de capacité ifiie. Néamois le cas des systèmes massivemet parallèles de sites de capacité a pas été étudié. Nous proposos ici la modélisatio et l évaluatio d u algorithme de trasfert de charge basé sur ue évolutio markoviee de la cofiguratio des charges des processeurs. L objectif de cette étude est de compredre commet opère l algorithme de balace global sur les idices classiques d évaluatio de performace (cf. [3]), et de comparer les valeurs de ces idices avec et sas politique de trasfert. L article sera orgaisé de la faço suivate : la descriptio formelle du modèle est doée das la sectio 2. Les méthodes aalytiques et les Recherche opératioelle/operatios Research
3 TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS 101 résultats obteus pour le calcul des idices reteus pour cette étude sot explicitées das la sectio 3. Pour u ombre doé de sites, les évolutios des idices e foctio des paramètres du système sot étudiées e sectio 4. Le comportemet des systèmes massivemet parallèles, et la comparaiso des valeurs théoriques avec les valeurs obteues pour u ombre raisoable de sites das u réseau sot aalysés das la sectio 5. Das la sectio 6 les bores supérieures sur le bééfice que l o peut attedre d u réel trasfert sot déduites et l aalyse de quelques problèmes d optimisatio est proposée. Ue estimatio du coût des trasferts est étudiée et aalysée das la sectio 7. La sectio 8 fourit les résultats obteus pour cet algorithme lorsque la capacitémémoire de chaque site peut être cosidéré comme ifiie. Efi la sectio 9 tire les coclusios et les perspectives qui peuvet être déduites de cette étude. 2. DESCRIPTION DU MODÈLE Le cotexte est le suivat : o dispose de processeurs qui reçoivet chacu u flot de requêtes gérée grâce à ue file d attete selo la politique FIFO. Le comportemet moye d ue applicatio de grade taille est modélisé, et o suppose pour cela qu ue uité detâche est défiie, et que les cotraites de précédece etre les tâches sot oyées das l esemble des tâches qui sot exécutées par le réseau. La capacité mémoire associée à chaque processeur est de tâches, et l esemble du processeur de sa file d attete et du cotrôleur le reliat au réseau d itercoectio sera désigé par u «site». Les sites d u réseau iformatique peuvet être cosidérés comme les sommets d u graphe, dot les arêtes représetet les coexios physiques etre ces sites. Les hypothèses de modélisatio sot alors les suivates : das ce modèle, le graphe est supposé complet, doc chaque processeur commuique avec l esemble des autres. La durée d exécutio des tâches sur chaque site suit ue loi expoetielle de paramètre, et le processus d arrivée des tâches par site est u processus de oisso de paramètre. La charge de chaque site est défiie par le ombre de tâches qu accueille ce site. À chaque istat, ce ombre est u etier etre 0 et, et ue tâche géérée par u site de charge est rejetée. Deux sites se trasfèret istataémet des tâches das les deux situatios suivates. Quad ue tâche arrive sur u site dot la charge deviet, cette tâche est trasférée sur u site de charge s il existe. Parmi les sites de charge, le site qui reçoit la tâche supplémetaire est choisi au hasard. vol. 34, 1, 2000
4 102 M. BÉGUIN Quad ue tâche se termie sur u site dot la charge deviet, ue tâche e proveace d u site de charge est trasférée. Parmi les sites de charge, celui qui trasfère sa derière tâche arrivée est choisi au hasard. Pour que le trasfert ait u ses, la cotraite sur la capacité mémoire est d être supérieure à. Das la situatio sas trasfert, les sites se comportet comme files idépedates de taux d arrivée, et de taux de service (cf. [13]). Par comparaiso avec les files, le système sera dit «saturé» lorsque le taux de service sera iférieur au taux d arrivée. Das la situatio avec trasfert, le processus étudié est le processus t, qui à chaque istat fait correspodre le -uplet dot la -ème coordoée représete la charge du ème site. La différece avec ue file d attete (cf. [4]) tiet au respect du comportemet local de chaque site. E effet, das la modélisatio présetée ici, il y a pas de file d attete partagée par l esemble des sites et u site de charge accepte plus et e géère plus de ouvelles tâches. Quad il y a partage de l espace mémoire, le protocole de trasfert istataé de la surcharge sur des sites sous-chargés coduit à u modèle de file d attete multiserveurs ayat serveurs et ue capacité globale de tâches. Ce type de files d attete ( ) s aalyse avec des techiques classiques de traitemet des processus aléatoires de aissace et de mort (cf. [7]). Les idices suivats qui apparaisset pertiets pour la plupart des problèmes posés serot étudiés. E effet ces idices répodet à la demade des évaluatios de performace pour les machies parallèles et redet comptet du bo foctioemet d u système (cf. [3]). Débit du système. C est le ombre moye de tâches traitées par uité de temps par l esemble du système (cf. [16]). Saturatio mémoire. C est la probabilité sat que l espace mémoire d u site soit saturé ( tâches présetes) et que, par coséquet, toute ouvelle géératio de tâche par l applicatio sur ce site soit rejetée par le système. Cette probabilité peut être iterprétée comme ue mesure de la dégradatio du système, et cette probabilité doit être miimisée pour garatir ue utilisatio optimale de l esemble des mémoires du système. Charge de travail. C est le ombre moye de tâches présetes sur l esemble des sites pedat ue uité de temps. Recherche opératioelle/operatios Research
5 TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS 103 Temps de répose moye. C est le temps moye écoulé etre l istat où latâche est géérée par l applicatio, et l istat où latâche est termiée. Du poit de vue de l utilisateur, et e l absece de toute autre spécificatio, cet idice doit être miimisé (cf. [7]). Mesure statioaire de charge. C est la probabilité i pour u site doé d avoir ue charge égale à. Pour u ombre doé de sites, ces probabilités représetet la proportio de sites ayat ue charge égale à. Ces probabilités e sot doc pas à propremet parler des idices de performace, mais représetet les lois margiales de la mesure produit sur l espace des états. Leurs évolutios selo les paramètres du système permettet de redre compte du comportemet global de celui-ci, et permettet de mieux compredre commet opère le trasfert de charge. 3. RÉSULTATS FORMELS AVEC ET SANS TRANSFERT Le processus t défii à la sectio 2 est u processus de Markov admettat ue uique mesure statioaire. Tous les idices explicités das la sectio 2 sot calculés e régime statioaire das les situatios avec et sas trasfert. Pour les distiguer, toutes les quatités relatives à la situatio sas trasfert serot otées avec u astérisque Propriétés structurelles das les deux situatios Das u premier temps, ous ous itéressos aux probabilités statioaires pour u site doé d avoir ue charge. Compte teu des rôles symétriques joués par chacu des sites, ces quatités e dépedet pas du site. Pour chaque iveau de charge les probabilités statioaires de chaque site d avoir ue charge avec et sas trasfert respectivemet serot otées i et 3 i. Das les deux situatios, avec et sas trasfert, des équatios de ature algébrique reliet certaies valeurs des i. PROPOSITION 1 : Les propriétés suivates sot vérifiées das les deux situatios avec et sas trasfert : Propriété de symétrie : i 0i vol. 34, 1, 2000
6 104 M. BÉGUIN Propriété d équilibre : 0 Commetaires : la première partie de cette propositio reviet à l observatio suivate. Remplacer par reviet à remplacer la capacité mémoire occupée d u site par sa capacité mémoire libre. Le processus qui à chaque istat fait correspodre le -uplet dot la -ème coordoée représete la capacité mémoire libre du ème site a exactemet la même dyamique que le processus t, e iversat les rôles de et. La deuxième partie de la propositio est ue équatio d équilibre ou de balace. La partie gauche représete le ombre moye de tâches acceptées par chaque site par uité de temps, tadis que la partie droite représete le ombre moye de tâches traitées par chaque site par uité de temps. Néamois, la démostratio de ces résultats avec et sas trasfert, aticipe sur les résultats obteus das la sectio 3.3 et la sectio 3.2 mais ils peuvet être vérifiés par des techiques d algèbre classique. La détermiatio des lois margiales i suffit pour calculer les valeurs de tous les idices de performace reteus das ce modèle grâce aux relatios algébriques doées das la propositio 2. PROPOSITION 2:Les idices de performace et les lois margiales sot liés par les équatios algébriques suivates : i sat j=1 j j=2 j Commetaire : la derière équatio exprime le temps de répose moye d ue tâche comme la somme du temps de service moye et du temps d attete moye. Recherche opératioelle/operatios Research
7 TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS 105 Démostratio. Les trois premières équatios sot aisémet obteues (cf. [13]). La derière formule de la propositio 2 s obtiet e vérifiat que les hypothèses de validité de la formule de Little (cf. [8] démotrée par exemple das [16] p. 100) sot effectivemet vérifiées das ce cotexte, et e utilisat la propriété d équilibre. La suite de cette sectio utilise les résultats classiques sur les processus de aissace et de mort pour lesquels ue référece est par exemple Barucha-Reid [1]. Pour alléger les otatios, et sas perte de gééralité, les calculs sot effectués avec u temps moye d exécutio égal à, ce qui reviet à fixer l uité de temps 1 à Résultats sas trasfert Sas trasfert, les sites se comportet comme files idépedates, d où les résultats. PROPOSITION 3:Pour le modèle sites de capacité de taux d arrivée, les valeurs des idices de performace sas politique de trasfert sot les suivates : 3 j j +1 3 sat vol. 34, 1, 2000
8 106 M. BÉGUIN 3.3. Résultats avec trasfert Pour étudier le système avec trasfert, il est utile de rappeler que la taille de l espace des états est, et il est doc opportu d utiliser les procédés d agrégatio (cf. [12]). L observatio clé est de costater que le ombre total t de tâches présetes à l istat das le système évolue comme u processus de aissace et de mort sur avec des taux de aissace (de à ), otés, et des taux de mort (de à ), otés. Ces taux sot explicités das le tableau ci-dessous et comparés avec ceux obteus pour le modèle. Modèle avec trasfert Modèle pour pour pour pour pour pour Pour vérifier ces résultats (par exemple pour les taux de aissace pour le modèle avec trasfert), il suffit de remarquer que tat qu il y a mois de tâches das le système, tous les sites ot mois de tâches et doc toute ouvelle tâche géérée par le système est acceptée. S il y a plus de tâches, tous les sites ayat ue charge égale à provoquet des rejets. Soit j j=0... la mesure statioaire du processus de aissace et de mort t. Cette mesure statioaire suffit àdétermier celles des lois margiales du processus t,grâce à la propositio 4. PROPOSITION 4:Les probabilités i i=0... sot reliées aux j j=0... de la faço suivate : i=0 i i=0 0i 01 j i=0 (j01)+i i=1 j+i Recherche opératioelle/operatios Research
9 TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS 107 Démostratio. Preos et. Ces équatios découlet de la costatatio suivate. Lorsqu il y a tâches das le système, sites ot tâches, et ot tâches. Il est doc écessaire d exprimer la valeur de chaque j e foctio des paramètres, et du système. Sas perte de gééralité et, pour des raisos de symétrie, la valeur de est supposée paire, égale à. Ceci est ue cotraite extrêmemet faible, puisque les architectures parallèles disposet le plus souvet d u ombre pair de sites. E respectat la symétrie du système, et par les techiques habituelles, o obtiet alors les formules algébriques suivates. j j j 0 j q0j q 0 0j j j j q0j q j 0j j 0 j q q0j 0 q0j q Posos q q 0 Notos et les sommes 02 j q0j q01 j=01 E utilisat les relatios évidetes j=0 q0j q 01 j= j=0 k et! q (01)!, o obtiet, vol. 34, 1, 2000
10 108 M. BÉGUIN D où, puis 0 puis la mesure statioaire, puis les probabilités j d après la propositio 4, puis la valeur des idices de performace d après la propositio COMPARAISONS POUR FIXÉ Das cette sectio ous allos doer, pour fixer les idées, les résultats obteus pour des valeurs particulières du ombre de sites et de la capacité mémoire, par exemple, ou et ou. L observatio du comportemet du sytème pour ces valeurs particulières permet d extrapoler celui obteu pour les autres valeurs. Les étude umériques ot été effectuées avec Mathematica Comparaisos des probabilités statioaires Pour des valeurs de et fixées, les probabilités statioaires i évoluet e foctio de la valeur du taux d arrivée, et les valeurs de ces probabilités statioaires sot très différetes selo qu ue politique de trasfert est mise ou o e place. Les figures 1 et 2 motret par exemple les évolutios relatives des probabilités avec trasfert pour, et. Figure 1. Évolutios de foctio de pour puis sites de capacité. La valeur de ces probabilités chage brutalemet autour de et ce chagemet est d autat plus accetué que le ombre de sites est grad. Das le cas particulier de et, ces résultats motret que 98 % des sites ot ue charge égale à ou à. Autremet dit, le trasfert ted à homogééiser la charge des sites et ue proportio de l ordre de d etre eux ot ue charge égale à. Recherche opératioelle/operatios Research
11 TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS 109 Figure 2. Évolutios de foctio de pour sites de capacité. La différece des comportemets du système obteus avec et sas politique de trasfert semble doc assez ette et il semble itéressat d e mesurer l icidece sur les idices de performace. Cette étude sera limitée à celle de la probabilité de saturatio mémoire et du temps de répose moye, l étude sur les autres idices pouvat s e déduire grâce à la propositio Comparaisos des probabilités de saturatio mémoire Pour des valeurs de et fixées, la probabilité de saturatio mémoire sat évolue e foctio de la valeur du taux d arrivée,et de même que précédemmet, la valeur de cette probabilité est très différete selo que la politique de trasfert est mise ou o e place. La valeur de la capacité altère pas les différeces de comportemet obteues. La figure 3 motre Figure 3. Évolutios de la probabilité de saturatio mémoire pour sites, puis. vol. 34, 1, 2000
12 110 M. BÉGUIN les évolutios des probabilités de saturatio obteues avec et sas trasfert pour, et pour des sites de capacité mémoire, et les mêmes évolutios obteues pour ue capacité. Le trasfert améliore sigificativemet cet idice, et la différece 3 sat sat est d autat plus petite que le ombre de sites augmete. Nous reviedros sur l étude de cette différece lors de l étude du comportemet asymptotique e sectio Comparaisos des temps de répose moyes Rappelos que sas trasfert, les sites sot idépedats et le temps de répose moye d ue tâche e déped pas du ombre de sites. Avec trasfert e revache le temps de répose moye d ue tâche est fortemet dépedat du ombre total de sites i.e. de. De plus, pour u ombre doé de sites, le comportemet du temps de répose moye déped de la capacité mémoire de chaque site. Il coviet e effet de distiguer les valeurs et. La figure 4 motre les évolutios des temps de répose moyes avec et sas politique de trasfert pour sites de capacité, et les mêmes évolutios obteues pour ue capacité. La figure 5 motre celles obteues pour ue capacité. Figure 4. Évolutios du temps de répose moye foctio de pour sites de capacité,. Ces graphiques appellet quelques commetaires. E effet, il apparaît que le temps de répose moye d ue tâche est doc pas écessairemet amélioré par le trasfert, et il coviet ici d expliciter les comportemets observés selo les valeurs des paramètres et. Pour. La politique de trasfert dimiue le temps de répose moye d ue tâche par rapport à celui obteu das la situatio sas trasfert et Recherche opératioelle/operatios Research
13 TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS 111 Figure 5. Évolutios du temps de répose moye. ce, pour toutes les valeurs de la capacité. L explicatio ituitive de ce comportemet est simple. E effet, pour u taux d arrivée des tâches iférieur (strictemet) au taux de service, le système est o saturé et d après les études faites sur les probabilités margiales, u site a très probablemet ue charge égale soit à 0 soit à 1. Autremet dit, ue tâche acceptée das le système sera vraisemblablemet trasférée sur u site libre, et sera doc traitée plus rapidemet par le système doté d ue politique de trasfert que par celui sas politique de trasfert. Pour. Pour toutes les valeurs de la capacité et du ombre de sites, la politique de trasfert dimiue le temps de répose moye d ue tâche. Le tableau 1 doe les valeurs de différets temps de répose obteus avec et sas trasfert pour les différetes valeurs pertietes des paramètres et. TABLEAU 1 Table de valeurs du temps de répose moye pour , , Pour. Il coviet das ce cas de distiguer les différets comportemets du système selo la valeur de la capacité mémoire. vol. 34, 1, 2000
14 112 M. BÉGUIN Pour. Bie que le système soit saturé, la politique de trasfert dimiue le temps de répose moye d ue tâche. Ituitivemet, cela s explique par le fait que le trasfert d ue tâche e peut être effectué que pour ue tâche géérée par u site de charge 1 qui la trasfère sur u site libre, et la politique de trasfert e modifie le comportemet du système que das cette situatio. La valeur moyee du temps de répose d ue tâche est doc plus faible avec la politique de trasfert que celle obteue sas trasfert. Notos éamois que lorsque la valeur du taux d arrivée augmete, cette situatio deviet de mois e mois probable car la proportio de sites oisifs deviet voisie de. Pour. Le système est toujours saturé, et la politique de trasfert das ce cas augmete le temps de répose moye d ue tâche. Autremet dit, le temps de répose moye d ue tâche géérée et acceptée par le système est péalisé par la politique de trasfert. Pour lever cet apparet paradoxe, il faut oter que das la situatio sas trasfert, ue tâche acceptée par le système a ue probabilité o ulle d être das les premières à être traitée. La politique de trasfert permet e fait d augmeter le ombre total de tâches acceptées par le système, mais chaque tâche acceptée e sera pas trasférée sur u site sous-chargé et attedra que toutes les tâches qui la précèdet soiet traitées. La politique de trasfert permet doc de privilégier et d augmeter l idice, mais le temps de répose d ue tâche doée est, e moyee, péalisé. 5. COMPORTEMENT ASYMPTOTIQUE DES SYSTÈMES MASSIVEMENT PARALLÈLES Les études précédetes laisset supposer que le système totalemet coecté doté de cette politique de trasfert admet u comportemet limite lorsque le ombre de sites deviet grad. Les formules obteues aalytiquemet permettet e effet d obteir le comportemet asymptotique de ces systèmes dits massivemet parallèles. Le théorème de covergece doat les valeurs limites des lois margiales et des idices de performace obteues aalytiquemet pour tedat vers l ifii est préseté sous forme de tableau das la sectio 5.1. La sectio 5.2 compare ces résultats asymptotiques avec les résultats umériques obteus pour des valeurs classiques de (par exemple ). Recherche opératioelle/operatios Research
15 TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS Théorème de covergece Pour u taux d arrivée doé, et ue capacité mémoire fixée pour chaque site, les probabilités statioaires i tedet vers ue limite quad ted vers l ifii. Les idices de performace sat et état reliés aux probabilités statioaires par les relatios de la propositio 2 admettet aussi des valeurs limites. Toutes ces limites sot doées das le théorème 1. THÉORÈME 1:Avec la politique de trasfert, les lois margiales i et les idices de performace sat et admettet les limites suivates lorsque le ombre de sites deviet ifii Commetaires : pour, ces limites présetet ue discotiuité e. U tel comportemet irrégulier a déjà été observé das u modèle différet étudié das [9], et ces résultats sot cohérets avec ceux qu ils obtieet. Ce comportemet asymptotique révèle doc u basculemet de comportemet itéressat. Lorsque le taux de service est supérieur au taux d arrivée, ue tâche arrivat das le système est presque toujours acceptée. Elle est presque toujours géérée ou trasférée sur u site sous-chargé, et so temps de répose moye est doc égal à so temps de service moye, ici égal à 1. vol. 34, 1, 2000
16 114 M. BÉGUIN Lorsque le taux de service est égal au taux d arrivée, ue tâche arrivat das le système est égalemet presque toujours acceptée, mais elle va, e moyee avoir u temps de répose égal à. 2 Lorsque le taux de service est iférieur au taux d arrivée, ue tâche peut être refusée, et quad elle est acceptée, elle va presque toujours avoir à attedre beaucoup de temps avat d être complètemet traitée. Plus le taux d arrivée est grad, plus le temps de répose moye d ue tâche est proche du temps maximum et, das ce cas, la politique de trasfert apporte aucue amélioratio par rapport à celle sas trasfert. Démostratio. Voici ue démostratio du théorème 1. Compte teu de la propositio 1, il suffit de démotrer ce théorème pour. Rappelos que le ombre de sites est supposé pair et que. Pour 0, o obtiet, 0 01 i=0 i 1 Il s agit doc de détermier le comportemet asymptotique de. Écrivos q 0! j=02! j Ceci est la valeur au poit de Poisso de paramètre!+1 q j=0 de la foctio de répartitio d ue loi. D après le théorème cetral limite, il viet 0 Il coviet doc de distiguer les 2 situatios possibles et. Pour, o obtiet (formule de Stirlig), Recherche opératioelle/operatios Research
17 TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS 115 Pour, o obtiet, 01 D où et par suite Or, pour,!+1!+1! q0+1 Doc!+1 Ces résultats permettet de coclure : Pour : le terme domiat de 0 est au déomiateur, et par suite!+1 0 Pour le terme domiat du umérateur et du déomiateur de 0 est. D où Pour 1, o obtiet,! i=0 01 i i=1 1 +i!! 1 1 i=1 q0(+i) E utilisat les mêmes argumets, o obtiet vol. 34, 1, 2000
18 116 M. BÉGUIN Pour : le terme domiat des umérateurs et du déomiateur de 1 est. D où!+1 1 Pour : après calculs, pour, o obtiet 1!! Or, Et par suite, pour,!+1!!+1 1 Autres résultats : les autres résultats obteus pour découlet de ceux obteus pour 0 et 1. Efi, pour, lasymétrie du graphe de trasitio du processus de aissace et de mort du processus agrégé t et les relatios algébriques de la propositio 2 permettet d écrire les équatios suivates, (02) D où les autres résultats obteus pour avec ou. Remarque : ue justificatio plus ituitive de ce théorème peut être doée de la faço suivate. Le processus de aissace et de mort t se comporte sur l itervalle comme ue file, avec u taux d arrivée et u taux de service. La mesure statioaire de cette file suit ue loi de Poisso de paramètre. Pour, la probabilité que t dépasse ted vers quad augmete. Aisi la mesure statioaire du processus t ted vers ue distributio de Poisso dot l espérace est. Pour des systèmes massivemet parallèles ( grad), la plupart des sites ot ue charge égale à0ouà 1. E moyee, ue proportio d etre Recherche opératioelle/operatios Research
19 TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS 117 eux ot ue charge égale à 1. D où les résultats das le cas des systèmes o saturés ( ). Das le cas, le même argumet cocerat la distributio de Poisso permet de déduire que la probabilité qu u site soit libre ted vers 0. Les mêmes argumets que ceux utilisés das la démostratio permettet alors de coclure Comparaisos etre les résultats umériques et les résultats asymptotiques Les résultats umériques de cette sectio ot été obteus avec mathematica. Le but de ces calculs est de motrer que les résultats théoriques obteus das le théorème 5.1 doet ue boe approximatio du comportemet du système pour les ombres classiques de sites mis e réseau das les machies parallèles, à savoir ou plus Probabilité de saturatio Pour toutes les valeurs du taux d arrivée doées, la probabilité de saturatio mémoire est ue foctio décroissate du ombre de sites. Autremet dit, avec la politique de trasfert, ajouter u site das u réseau totalemet coecté dimiue toujours la probabilité de saturatio du système lim et ted à la stabiliser vers sa valeur limite sat. Les résultats umériques motret que la covergece vers cette valeur limite est très rapide, et que la covergece la plus lete est obteue pour. La figure 6 motre l évolutio de cette probabilité de saturatio e foctio du ombre de sites de capacité. Pour plus de précisio, le tableau 2 doe par exemple les valeurs das cette situatio. sat lim sat Figure 6. Probabilité de saturatio pour foctio du ombre de sites (capacité ). vol. 34, 1, 2000
20 118 M. BÉGUIN Table de la différece sat TABLEAU 2 lim sat pour sites de capacité Autremet dit, quad o dispose de sites, ajouter u site augmete ecore la probabilité qu ue tâche soit acceptée das le système, mais de faço mois sigificative, puisque le gai obteu est iférieur à Temps de répose moye Le temps de répose moye pour u taux d arrivée et ue capacité doés est ue foctio mootoe de, dot le ses déped des valeurs de et de. Pour, augmeter le ombre de sites dimiue le temps de répose moye et ce temps moye ted rapidemet vers ce qui correspod au temps de service moye. Pour, le temps de répose moye dimiue quad le ombre de sites augmete, et ted vers. La figure 7 motre, par exemple, les 2 courbes obteues pour des taux d arrivée et avec sites de capacité. Figure 7. Temps de répose moye foctio du ombre de sites (capacité ) pour puis. Pour, comme il a déjà été metioé au 4.3, l évolutio du temps de répose moye e foctio de déped de la capacité mémoire. Recherche opératioelle/operatios Research
Limites des Suites numériques
Chapitre 2 Limites des Suites umériques Termiale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Limite fiie ou ifiie d ue suite. Limites et comparaiso. Opératios sur les ites. Comportemet
Plus en détailChapitre 3 : Fonctions d une variable réelle (1)
Uiversités Paris 6 et Paris 7 M1 MEEF Aalyse (UE 3) 2013-2014 Chapitre 3 : Foctios d ue variable réelle (1) 1 Lagage topologique das R Défiitio 1 Soit a u poit de R. U esemble V R est u voisiage de a s
Plus en détail. (b) Si (u n ) est une suite géométrique de raison q, q 1, on obtient : N N, S N = 1 qn+1. n+1 1 S N = 1 1
Premières propriétés des ombres réels 2 Suites umériques 3 Suites mootoes : à faire 4 Séries umériques 4. Notio de série. Défiitio 4.. Soit (u ) ue suite de ombres réels ou complexes. Pour N N, o ote S
Plus en détailUNIVERSITÉ DE SFAX École Supérieure de Commerce
UNIVERSITÉ DE SFAX École Supérieure de Commerce Aée Uiversitaire 2003 / 2004 Auditoire : Troisième Aée Études Supérieures Commerciales & Scieces Comptables DÉCISIONS FINANCIÈRES Note de cours N 3 Première
Plus en détailComportement d'une suite
Comportemet d'ue suite I) Approche de "ses de variatio et de ite d'ue suite" : 7 Soit la suite ( ) telle que = 5 ( + ) 2 Représetos graphiquemet la suite das u pla mui d' u repère. Il suffit de placer
Plus en détailSTATISTIQUE : TESTS D HYPOTHESES
STATISTIQUE : TESTS D HYPOTHESES Préparatio à l Agrégatio Bordeaux Aée 203-204 Jea-Jacques Ruch Table des Matières Chapitre I. Gééralités sur les tests 5. Itroductio 5 2. Pricipe des tests 6 2.a. Méthodologie
Plus en détailUNIVERSITE MONTESQUIEU BORDEAUX IV. Année universitaire 2006-2007. Semestre 2. Prévisions Financières. Travaux Dirigés - Séances n 4
UNVERSTE MONTESQUEU BORDEAUX V Licece 3 ère aée Ecoomie - Gestio Aée uiversitaire 2006-2007 Semestre 2 Prévisios Fiacières Travaux Dirigés - Séaces 4 «Les Critères Complémetaires des Choix d vestissemet»
Plus en détailFEUILLE D EXERCICES 17 - PROBABILITÉS SUR UN UNIVERS FINI
FEUILLE D EXERCICES 7 - PROBABILITÉS SUR UN UNIVERS FINI Exercice - Lacer de dés O lace deux dés à 6 faces équilibrés. Calculer la probabilité d obteir : u double ; ue somme des deux dés égale à 8 ; ue
Plus en détail[http://mp.cpgedupuydelome.fr] édité le 10 juillet 2014 Enoncés 1. Exercice 6 [ 02475 ] [correction] Si n est un entier 2, le rationnel H n =
[http://mp.cpgedupuydelome.fr] édité le 1 juillet 14 Eocés 1 Nombres réels Ratioels et irratioels Exercice 1 [ 9 ] [correctio] Motrer que la somme d u ombre ratioel et d u ombre irratioel est u ombre irratioel.
Plus en détailSÉRIES STATISTIQUES À DEUX VARIABLES
1 ) POSITION DU PROBLÈME - VOCABULAIRE A ) DÉFINITION SÉRIES STATISTIQUES À DEUX VARIABLES O cosidère deux variables statistiques umériques x et y observées sur ue même populatio de idividus. O ote x 1
Plus en détailChap. 5 : Les intérêts (Les calculs financiers)
Chap. 5 : Les itérêts (Les calculs fiaciers) Das u cotrat de prêt, le prêteur met à la dispositio de l empruteur, à u taux d itérêt doé, ue somme d arget (le capital) qu il devra rembourser à ue certaie
Plus en détail1 Mesure et intégrale
1 Mesure et itégrale 1.1 Tribu boréliee et foctios mesurables Soit =[a, b] u itervalle (le cas où b = ou a = est pas exclu) et F ue famille de sous-esembles de. OditqueF est ue tribu sur si les coditios
Plus en détailx +1 + ln. Donner la valeur exacte affichée par cet algorithme lorsque l utilisateur entre la valeur n =3.
EXERCICE 3 (6 poits ) (Commu à tous les cadidats) Il est possible de traiter la partie C sas avoir traité la partie B Partie A O désige par f la foctio défiie sur l itervalle [, + [ par Détermier la limite
Plus en détailDeuxième partie : LES CONTRATS D ASSURANCE VIE CLASSIQUES
DEUXIEME PARTIE Deuième partie : LES CONTRATS D ASSURANCE VIE CLASSIQUES Chapitre. L assurace de capital différé Chapitre 2. Les opératios de retes Chapitre 3. Les assuraces décès Chapitre 4. Les assuraces
Plus en détailCHAPITRE 2 SÉRIES ENTIÈRES
CHAPITRE 2 SÉRIES ENTIÈRES 2. Séries etières Défiitio 2.. O appelle série etière toute série de foctios ( ) f dot le terme gééral est de la forme f ()=a, où (a ) désige ue suite réelle ou complee et R.
Plus en détail14 Chapitre 14. Théorème du point fixe
Chapitre 14 Chapitre 14. Théorème du poit fixe Si l o examie de plus près les méthodes de Lagrage et de Newto, étudiées au chapitre précédet, elles revieet das leur pricipe à remplacer la résolutio de
Plus en détailLes Nombres Parfaits.
Les Nombres Parfaits. Agathe CAGE, Matthieu CABAUSSEL, David LABROUSSE (2 de Lycée MONTAIGNE BORDEAUX) et Alexadre DEVERT, Pierre Damie DESSARPS (TS Lycée SUD MEDOC LETAILLAN MEDOC) La première partie
Plus en détailSéquence 5. La fonction logarithme népérien. Sommaire
Séquece 5 La foctio logarithme épérie Objectifs de la séquece Itroduire ue ouvelle foctio : la foctio logarithme épérie. Coaître les propriétés de cette foctio : sa dérivée, ses variatios, sa courbe, sa
Plus en détail20. Algorithmique & Mathématiques
L'éditeur L'éditeur permet à l'utilisateur de saisir les liges de codes d'u programme ou de défiir des foctios. Remarque : O peut saisir directemet des istructios das la cosole Scilab, mais il est plus
Plus en détailProcessus géométrique généralisé et applications en fiabilité
Processus géométrique gééralisé et applicatios e fiabilité Lauret Bordes 1 & Sophie Mercier 2 1,2 Uiversité de Pau et des Pays de l Adour Laboratoire de Mathématiques et de leurs Applicatios - Pau UMR
Plus en détailLES ÉCLIPSES. Éclipser signifie «cacher». Vus depuis la Terre, deux corps célestes peuvent être éclipsés : la Lune et le Soleil.
Qu appelle-t-o éclipse? Éclipser sigifie «cacher». Vus depuis la Terre, deu corps célestes peuvet être éclipsés : la Lue et le Soleil. LES ÉCLIPSES Pour qu il ait éclipse, les cetres de la Terre, de la
Plus en détailConvergences 2/2 - le théorème du point fixe - Page 1 sur 9
Au sommaire : Suites extraites Le théorème de Bolzao-Weierstrass La preuve du théorème de Bolzao-Weierstrass3 Foctio K-cotractate4 Le théorème du poit fixe5 La preuve du théorème du poit fixe6 Utilisatios
Plus en détailSéries réelles ou complexes
6 Séries réelles ou complexes Comme pour le chapitre 3, les suites cosidérées sot a priori complexes et les résultats classiques sur les foctios cotiues ou dérivables d ue variable réelle sot supposés
Plus en détail3.1 Différences entre ESX 3.5 et ESXi 3.5 au niveau du réseau. Solution Cette section récapitule les différences entre les deux versions.
3 Réseau Le réseau costitue u aspect essetiel d u eviroemet virtuel ESX. Il est doc importat de compredre la techologie, y compris ses différets composats et leur coopératio. Das ce chapitre, ous étudios
Plus en détailProcessus et martingales en temps continu
Chapitre 3 Processus et martigales e temps cotiu 1 Quelques rappels sur les martigales e temps discret (voir [4]) O cosidère u espace filtré (Ω, F, (F ) 0, IP). O ote F = 0 F. Défiitio 1.1 Ue suite de
Plus en détailLa France, à l écoute des entreprises innovantes, propose le meilleur crédit d impôt recherche d Europe
1/5 Trois objectifs poursuivis par le gouveremet : > améliorer la compétitivité fiscale de la Frace > péreiser les activités de R&D > faire de la Frace u territoire attractif pour l iovatio Les icitatios
Plus en détailDénombrement. Chapitre 1. 1.1 Enoncés des exercices
Chapitre 1 Déombremet 1.1 Eocés des exercices Exercice 1 L acie système d immatriculatio fraçais était le suivat : chaque plaque avait 4 chiffres, suivis de 2 lettres, puis des 2 uméros du départemet.
Plus en détailChapitre 3 : Transistor bipolaire à jonction
Chapitre 3 : Trasistor bipolaire à joctio ELEN075 : Electroique Aalogique ELEN075 : Electroique Aalogique / Trasistor bipolaire U aperçu du chapitre 1. Itroductio 2. Trasistor p e mode actif ormal 3. Courats
Plus en détailII LES PROPRIETES DES ESTIMATEURS MCO 1. Rappel : M1 LA REGRESSION : HYPOTHESES ET TESTS Avril 2009
M LA REGRESSION : HYPOTHESES ET TESTS Avril 009 I LES HYPOTHESES DE LA MCO. Hypothèses sur la variable explicative a. est o stochastique. b. a des valeurs xes das les différets échatillos. c. Quad ted
Plus en détailSTATISTIQUE AVANCÉE : MÉTHODES
STATISTIQUE AVANCÉE : MÉTHODES NON-PAAMÉTIQUES Ecole Cetrale de Paris Arak S. DALALYAN Table des matières 1 Itroductio 5 2 Modèle de desité 7 2.1 Estimatio par istogrammes............................
Plus en détailEtude de la fonction ζ de Riemann
Etude de la foctio ζ de Riema ) Défiitio Pour x réel doé, la série de terme gééral,, coverge si et seulemet si x >. x La foctio zeta de Riema est la foctio défiie sur ], [ par : ( x > ), = x. Remarque.
Plus en détailDénombrement. Introduction. 1 Cardinaux d'ensembles nis. ECE3 Lycée Carnot. 12 novembre 2010. 1.1 Quelques dénitions
Déombremet ECE3 Lycée Carot 12 ovembre 2010 Itroductio La combiatoire, sciece du déombremet, sert comme so om l'idique à compter. Il e s'agit bie etedu pas de reveir au stade du CP et d'appredre à compter
Plus en détail2 ième partie : MATHÉMATIQUES FINANCIÈRES
2 ième partie : MATHÉMATIQUES FINANCIÈRES 1. Défiitios L'itérêt est l'idemité que doe au propriétaire d'ue somme d'arget celui qui e a joui pedat u certai temps. Divers élémets itervieet das le calcul
Plus en détailIntégration et probabilités ENS Paris, 2012-2013. TD (20)13 Lois des grands nombres, théorème central limite. Corrigé :
Itégratio et probabilités EN Paris, 202-203 TD 203 Lois des grads ombres, théorème cetral limite. Corrigé Lois des grads ombres Exercice. Calculer e cet leços Détermier les limites suivates : x +... +
Plus en détailChap. 6 : Les principaux crédits de trésorerie et leur comptabilisation
1 / 9 Chap. 6 : Les pricipaux crédits de trésorerie et leur comptabilisatio Le cycle d exploitatio des etreprises (achats stockage productio stockage vetes) peut etraîer des décalages de trésorerie plus
Plus en détail4 Approximation des fonctions
4 Approximatio des foctios Ue foctio f arbitraire défiie sur u itervalle I et à valeur das IR peut être représetée par so graphe, ou de maière équivalete par la doée de l esemble de ses valeurs f(t) pour
Plus en détailChap. 6 : Les principaux crédits de trésorerie et leur comptabilisation
Chap. 6 : Les pricipaux crédits de trésorerie et leur comptabilisatio Les etreprises ot souvet besoi de moyes de fiacemet à court terme : elles ot alors recours aux crédits bacaires (découverts bacaires
Plus en détailStatistique descriptive bidimensionnelle
1 Statistique descriptive bidimesioelle Statistique descriptive bidimesioelle Résumé Liaisos etre variables quatitatives (corrélatio et uages de poits), qualitatives (cotigece, mosaïque) et de types différets
Plus en détailExo7. Déterminants. = 4(b + c)(c + a)(a + b). c + a c + b 2c Correction. b + a 2b b + c. Exercice 2 ** X a b c a X c b b c X a c b a X
Exo7 Détermiats Exercices de Jea-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-fracefr * très facile ** facile *** difficulté moyee **** difficile ***** très difficile I : Icotourable T : pour
Plus en détailRenseignements et monitoring. Renseignements commerciaux et de solvabilité sur les entreprises et les particuliers.
Reseigemets et moitorig. Reseigemets commerciaux et de solvabilité sur les etreprises et les particuliers. ENSEMBLE CONTRE LES PERTES. Reseigemets Creditreform. Pour plus de trasparece. Etreteir des rapports
Plus en détailCours de Statistiques inférentielles
Licece 2-S4 SI-MASS Aée 2015 Cours de Statistiques iféretielles Pierre DUSART 2 Chapitre 1 Lois statistiques 1.1 Itroductio Nous allos voir que si ue variable aléatoire suit ue certaie loi, alors ses réalisatios
Plus en détailPolynésie Septembre 2002 - Exercice On peut traiter la question 4 sans avoir traité les questions précédentes.
Polyésie Septembre 2 - Exercice O peut traiter la questio 4 sas avoir traité les questios précédetes Pour u achat immobilier, lorsqu ue persoe emprute ue somme de 50 000 euros, remboursable par mesualités
Plus en détailSuites et séries de fonctions
[http://mp.cpgedupuydelome.fr] édité le 3 avril 5 Eocés Suites et séries de foctios Propriétés de la limite d ue suite de foctios Eercice [ 868 ] [correctio] Etablir que la limite simple d ue suite de
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable
Eo7 Séries etières Eercices de Jea-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-fracefr * très facile ** facile *** difficulté moyee **** difficile ***** très difficile I : Icotourable Eercice
Plus en détailPROMENADE ALÉATOIRE : Chaînes de Markov et martingales
PROMENADE ALÉATOIRE : Chaîes de Markov et martigales Thierry Bodieau École Polytechique Paris Départemet de Mathématiques Appliquées thierry.bodieau@polytechique.edu Novembre 2013 2 Table des matières
Plus en détailFormation d un ester à partir d un acide et d un alcool
CHAPITRE 10 RÉACTINS D ESTÉRIFICATIN ET D HYDRLYSE 1 Formatio d u ester à partir d u acide et d u alcool 1. Nomeclature Acide : R C H Alcool : R H Groupe caractéristique ester : C Formule géérale d u ester
Plus en détail55 - EXEMPLES D UTILISATION DU TABLEUR.
55 - EXEMPLES D UTILISATION DU TABLEUR. CHANTAL MENINI 1. U pla possible Les exemples qui vot suivre sot des pistes possibles et e aucu cas ue présetatio exhaustive. De même je ai pas fait ue étude systématique
Plus en détailModule 3 : Inversion de matrices
Math Stat Module : Iversio de matrices M Module : Iversio de matrices Uité. Défiitio O e défiira l iverse d ue matrice que si est carrée. O appelle iverse de la matrice carrée toute matrice B telle que
Plus en détailEXERCICES : DÉNOMBREMENT
Chapitre 7 ECE 1 - Grad Nouméa - 015 EXERCICES : DÉNOMBREMENT LISTES / ARRANGEMENTS Exercice 1 : Le code ativol Pour so vélo, Toto possède u ativol a code. Le code est ue successio de trois chiffres compris
Plus en détailLogiciel de synchronisation de flotte de baladeurs MP3 / MP4 ou tablettes Androïd
easylab Le logiciel de gestio de fichiers pour baladeurs et tablettes Visualisatio simplifiée de la flotte Gestio des baladeurs par idividus / classes / groupes / activités Activatio des foctios par simple
Plus en détailConsolidation. C r é e r un nouveau classeur. Créer un groupe de travail. Saisir des données dans un groupe
Cosolidatio La société THEOS, qui commercialise des vis, exerce so activité das trois villes : Paris, Nacy et Nice. Le directeur de la société souhaite cosolider les résultats de ses vetes par ville das
Plus en détailSommaire Chapitre 1 - L interface de Windows 7 9
Sommaire Chapitre 1 - L iterface de Widows 7 9 1.1. Utiliser le meu Démarrer et la barre des tâches de Widows 7...11 Démarrer et arrêter des programmes...15 Épigler u programme das la barre des tâches...18
Plus en détailCours 5 : ESTIMATION PONCTUELLE
Cours 5 : ESTIMATION PONCTUELLE A- Gééralités B- Précisio d u estimateur C- Exhaustivité D- iformatio E-estimateur sas biais de variace miimale, estimateur efficace F- Quelques méthode s d estimatio A-
Plus en détailPOLITIQUE ECONOMIQUE ET DEVELOPPEMENT
POLTQU ONOMQU T DVLOPPMNT TRUTUR DU MAR NATONAL DU AF-AAO T PR AU PRODUTUR MALAN Beïla Beoit osultat PD N 06/008 ellule d Aalyse de Politiques coomiques du R Aée de pulicatio : Avril 009 Résumé e papier
Plus en détailChaînes de Markov. Arthur Charpentier
Chaîes de Markov Arthur Charpetier École Natioale de la Statistique et d Aalyse de l Iformatio - otes de cours à usage exclusif des étudiats de l ENSAI - - e pas diffuser, e pas citer - Quelques motivatios.
Plus en détailcapital en fin d'année 1 C 0 + T C 0 = C 0 (1 + T) = C 0 r en posant r = 1 + T 2 C 0 r + C 0 r T = C 0 r (1 + T) = C 0 r 2 3 C 0 r 3...
Applicatios des maths Algèbre fiacière 1. Itérêts composés O place u capital C 0 à u taux auel T a pedat aées. Quelle est la valeur fiale C de ce capital? aée capital e fi d'aée 1 C 0 + T C 0 = C 0 (1
Plus en détailUniversité Victor Segalen Bordeaux 2 Institut de Santé Publique, d Épidémiologie et de Développement (ISPED) Campus Numérique SEME
Uiversité Victor Segale Bordeaux Istitut de Saté Publique, d Épidémiologie et de Développemet (ISPED) Campus Numérique SEME MODULE Pricipaux outils e statistique Versio du 8 août 008 Écrit par : Relu par
Plus en détailComment les Canadiens classent-ils leur système de soins de santé?
Novembre Les sois de saté au Caada, c est capital bulleti o 4 Commet les Caadies classet-ils leur système de sois de saté? Résultats du sodage iteratioal du Fods du Commowealth sur les politiques de saté
Plus en détailLe chef d entreprise développe les services funéraires de l entreprise, en
Le chef d etreprise développe les services fuéraires de l etreprise, e assurat lui-même tout ou partie des activités de vete et e ecadrat directemet le persoel techique et commercial et d exploitatio.
Plus en détailSimulations interactives de convertisseurs en électronique de puissance
Simulatios iteractives de covertisseurs e électroique de puissace Jea-Jacques HUSELSTEIN, Philippe ENII Laboratoire d'électrotechique de Motpellier (LEM) - Uiversité Motpellier II, 079, Place Eugèe Bataillo,
Plus en détailEtude Spéciale SCORING : UN GRAND PAS EN AVANT POUR LE MICROCRÉDIT?
Etude Spéciale o. 7 Javier 2003 SCORING : UN GRAND PAS EN AVANT POUR LE MICROCRÉDIT? MARK SCHNEIDER Le CGAP vous ivite à lui faire part de vos commetaires, de vos rapports et de toute demade d evoid autres
Plus en détailMobile Business. Communiquez efficacement avec vos relations commerciales 09/2012
Mobile Busiess Commuiquez efficacemet avec vos relatios commerciales 9040412 09/2012 U choix capital pour mes affaires Pour gérer efficacemet ses affaires, il y a pas de secret : il faut savoir predre
Plus en détailStatistiques appliquées à la gestion Cours d analyse de donnés Master 1
Aalyse des doées Statistiques appliquées à la gestio Cours d aalyse de doés Master F. SEYTE : Maître de coféreces HDR e scieces écoomiques Uiversité de Motpellier I M. TERRAZA : Professeur de scieces écoomiques
Plus en détailExercice I ( non spé ) 1/ u 1 = 3 4. 2 3 u 2 4 + 3 9. 19 4 2/ Soit P la propriété : u n + 4. > 0 pour n 1. P est vraie au rang 1 car u 1
Bac blac TS Correctio Exercice I ( Spé ) / émotros par récurrece que 5x y = pour tout etier aturel 5x y = 5 8 = La propriété est doc vraie au rag = Supposos que la propriété est vraie jusqu au rag, o a
Plus en détailc. Calcul pour une évolution d une proportion entre deux années non consécutives
Calcul des itervalles de cofiace our les EPCV 996-004 - Cas d u ourcetage ou d ue évolutio e oit das la oulatio totale des méages - Cas d u ourcetage ou d ue évolutio das ue sous oulatio das les méages
Plus en détailPrincipes et Méthodes Statistiques
Esimag - 2ème aée 0 1 2 3 4 5 6 7 0 5 10 15 x y Pricipes et Méthodes Statistiques Notes de cours Olivier Gaudoi 2 Table des matières 1 Itroductio 7 1.1 Défiitio et domaies d applicatio de la statistique............
Plus en détailÉchantillonnage et estimation
Stage «Nouveaux programmes de Termiale S» - Ho Chi Mih-Ville Novembre 202 Échatilloage et estimatio Partie C - Frédéric Barôme page Échatilloage et estimatio Partie C : Capacités et exercices-types. Rappelos
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable
Exo7 Topologie Exercices de Jea-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-fracefr * très facile ** facile *** difficulté moyee **** difficile ***** très difficile I : Icotourable Exercice **
Plus en détailLes algorithmes de tri
CONSERVATOIRE NATIONAL DES ARTS ET METIERS PARIS MEMOIRE POUR L'EXAMEN PROBATOIRE e INFORMATIQUE par Nicolas HERVE Les algorithmes de tri Souteu le mai JURY PRESIDENTE : Mme COSTA Sommaire Itroductio....
Plus en détailLe marché du café peut être segmenté en fonction de deux modes de production principaux : la torréfaction et la fabrication de café soluble.
II LE MARCHE DU CAFE 1 L attractivité La segmetatio selo le mode de productio Le marché du café peut être segmeté e foctio de deux modes de productio pricipaux : la torréfactio et la fabricatio de café
Plus en détailChapitre 2 SONDAGE ALEATOIRE SIMPLE OU A PROBABILITES EGALES. 2.1 DEFINITIONS 2.2 SONDAGE ALEATOIRE SIMPLE SANS REMISE (PESR) 2.2.
Chapitre 2 SONDAGE ALEATOIRE SIMPLE OU A PROBABILITES EGALES PLAN DU CHAPITRE 2 2.1 DEFINITIONS 2.2 SONDAGE ALEATOIRE SIMPLE SANS REMISE (PESR) 2.2.1 Pla de sodage 2.2.2 Probabilités d iclusio 2.3 SONDAGE
Plus en détailDonnez de la liberté à vos données. BiBOARD. www.biboard.fr
Doez de la liberté à vos doées BiBOARD www.biboard.fr Le décisioel pour tous Le décisioel évolue. L etreprise quelle que soit sa taille, a besoi de piloter so activité à l aide d outils simples, fiables,
Plus en détailUn nouvel opérateur de fusion adaptatif. A new adaptive operator of fusion. 1. introduction
A ew adaptive operator of fusio par Fraçois DELMOTTE LAMIH, Uiversité de Valeciees et du Haiaut-Cambrésis, Le Mot Houy, BP 3, 5933 Valeciees CEDEX 9 fdelmott@flore.uiv-valeciees.fr résumé et mots clés
Plus en détailMécanismes de protection contre les vers
Mécaismes de protectio cotre les vers Itroductio Au cours de so évolutio, l Iteret a grademet progressé. Il est passé du réseau reliat quelques cetres de recherche aux États-Uis au réseau actuel reliat
Plus en détailUniversité de Bordeaux - Master MIMSE - 2ème année. Scoring. Marie Chavent http://www.math.u-bordeaux.fr/ machaven/ 2014-2015
Uiversité de Bordeaux - Master MIMSE - 2ème aée Scorig Marie Chavet http://www.math.u-bordeaux.fr/ machave/ 2014-2015 1 Itroductio L idée géérale est d affecter ue ote (u score) global à u idividu à partir
Plus en détailLE WMS EXPERT DE LA SUPPLY CHAIN DE DÉTAIL
LE WMS EXET DE LA SULY HAIN DE DÉTAIL QUELS SNT LES ENJEUX DE LA SULY HAIN? garatir la promesse cliet es derières aées, la distributio coaît ue véritable mutatio avec l évolutio des modes de cosommatio.
Plus en détailLa tarification hospitalière : de l enveloppe globale à la concurrence par comparaison
ANNALES D ÉCONOMIE ET DE STATISTIQUE. N 58 2000 La tarificatio hospitalière : de l eveloppe globale à la cocurrece par comparaiso Michel MOUGEOT * RÉSUMÉ. Cet article cosidère différetes politiques de
Plus en détailExamen final pour Conseiller financier / conseillère financière avec brevet fédéral. Recueil de formules. Auteur: Iwan Brot
Exame fial pour Coseiller fiacier / coseillère fiacière avec brevet fédéral Recueil de formules Auteur: Iwa Brot Ce recueil de formules sera mis à dispositio des cadidats, si écessaire. Etat au 1er mars
Plus en détailUne action! Un message!
Ue actio! U message! Cotact Master est u service exclusif de relaces automatiques de vos actes vers vos cliets, par SMS, messages vocaux, e-mails, courrier... Il se décleche lorsque vous réalisez ue actio
Plus en détailRéseaux d ondelettes et réseaux de neurones pour la modélisation statique et dynamique de processus
Réseaux d odelettes et réseaux de euroes pour la modélisatio statique et dyamique de processus Yacie Oussar To cite this versio: Yacie Oussar. Réseaux d odelettes et réseaux de euroes pour la modélisatio
Plus en détailOne Office Voice Pack Vos appels fixes et mobiles en un seul pack
Uique! Exteded Fleet Appels illimités vers les uméros Mobistar et les liges fixes! Oe Office Voice Pack Vos appels fixes et mobiles e u seul pack Commuiquez et travaillez e toute liberté Mobistar offre
Plus en détailNeolane Leads. Neolane v6.0
Neolae Leads Neolae v6.0 Ce documet, aisi que le logiciel qu'il décrit, est fouri das le cadre d'u accord de licece et e peut être utilisé ou copié que das les coditios prévues par cet accord. Cette publicatio
Plus en détailAugmentation de la demande du produit «P» Prévision d accroître la capacité de production (nécessité d investir) Investissement
Augmetatio de la demade du produit «P» Prévisio d accroître la capacité de productio (écessité d ivestir) Ivestissemet Etude de retabilité du produit «P» Jugemet de l opportuité et de la retabilité du
Plus en détailRégulation analogique industrielle ESTF- G.Thermique
Chapitre 5 Stabilité, Rapidité, Précisio et Réglage Stabilité. Défiitio Coditio de stabilité. Critères de stabilité.. Critères algébriques.. Critère graphique ou de revers das le pla de Nyquist Rapidité
Plus en détailGroupe orthogonal d'un espace vectoriel euclidien de dimension 2, de dimension 3
1 Groupe orthogoal d'u espace vectoriel euclidie de dimesio, de dimesio Voir le chapitre 19 pour l'étude des espaces euclidies et des isométries. État doé u espace euclidie E de dimesio 1, o rappelle que
Plus en détailGérer les applications
Gérer les applicatios E parcourat les rayos du Widows Phoe Store, vous serez e mesure de compléter les services de base de votre smartphoe à travers plus de 10 000 applicatios. Gratuites ou payates, ces
Plus en détailStatistique Numérique et Analyse des Données
Statistique Numérique et Aalyse des Doées Arak DALALYAN Septembre 2011 Table des matières 1 Élémets de statistique descriptive 9 1.1 Répartitio d ue série umérique uidimesioelle.............. 9 1.2 Statistiques
Plus en détailNeolane Message Center. Neolane v6.0
Neolae Message Ceter Neolae v6.0 Ce documet, aisi que le logiciel qu'il décrit, est fouri das le cadre d'u accord de licece et e peut être utilisé ou copié que das les coditios prévues par cet accord.
Plus en détailRESOLUTION DES FLOW SHOP STOCHASTIQUES PAR LES ORDRES STOCHASTIQUES. DERBALA Ali *)
RESOLUTION DES FLOW SHOP STOCHASTIQUES PAR LES ORDRES STOCHASTIQUES. DERBALA Ali *) *) Uiversité de Blida Faculté des scieces Départemet de Mathématiques. BP 270, Route de Soumaa. Blida, Algérie. Tel &
Plus en détailCompte Sélect Banque Manuvie Guide du débutant
GUIDE DU DÉBUTANT Compte Sélect Baque Mauvie Guide du débutat Besoi d aide? Preez quelques miutes pour lire attetivemet votre Guide du cliet. Le préset Guide du débutat vous facilitera l utilisatio de
Plus en détailLa fibre optique arrive chez vous Devenez acteur de la révolution numérique
2 e éditio Edité par l Autorité de régulatio des commuicatios électroiques et des postes RÉPUBLIQUE FRANÇAISE DÉCEMBRE 2010 La fibre optique arrive chez vous Deveez acteur de la révolutio umérique Petit
Plus en détailLe Sphinx. Enquêtes, Sondages. Analyse de données. Internet : http://www.lesphinxdeveloppement.fr/club/index.html
Equêtes, Sodages Aalyse de doées Le Sphix! Iteret : http://www.lesphixdeveloppemet.fr/club/idex.html Lagarde J. Aalyse statistique de doées, Duod. Réaliser vos equêtes Questioaire Traitemets et aalyses
Plus en détailGuide des logiciels de l ordinateur HP Media Center
Guide des logiciels de l ordiateur HP Media Ceter Les garaties des produits et services HP sot exclusivemet présetées das les déclaratios expresses de garatie accompagat ces produits et services. Aucu
Plus en détailPROBLEMES DIOPTIMISATION EN NOMBRES ENTIERS J. L. NICOLAS
PROBLEMES DIOPTIMISATION EN NOMBRES ENTIERS ET APPROXIMATIONS DIOPHANTIENNES J. L. NICOLAS Cet article expose sup 3 e quelques iter'f~reces etre les pr'obl~res dloptimisatio e hombres etiers et la th~or-ie
Plus en détailGUIDE METHODOLOGIQUE INDUSTRIES, OUVREZ VOS PORTES
GUIDE METHODOLOGIQUE INDUSTRIES, OUVREZ VOS PORTES SOMMAIRE Les visites d etreprises : pourquoi ouvrir ses portes?.... 8 1.1 Des motivatios variées pour les etreprises... 8 1.2 Les freis à l ouverture
Plus en détailS-PENSION. Constituez-vous un capital retraite complémentaire pour demain tout en bénéficiant d avantages fiscaux dès aujourd hui.
S-PENSION Costituez-vous u capital retraite complémetaire pour demai tout e bééficiat d avatages fiscaux dès aujourd hui. Sommaire 1. Il est temps de predre l iitiative 4 2. Profitez dès aujourd hui des
Plus en détailDes résultats d irrationalité pour deux fonctions particulières
Collect. Math. 5, 00, 0 c 00 Uiversitat de Barceloa Des résultats d irratioalité pour deux foctios particulières Richard Choulet 7, Rue du 4 Août, 40 Aveay, Frace E-mail: richardchoulet@waadoo.fr Received
Plus en détailCopyright 2001 2006 Hewlett-Packard Development Company, L.P.
Guide des logiciels Media Ceter Les garaties des produits et services HP sot exclusivemet présetées das les déclaratios expresses de garatie accompagat ces produits et services. Aucu élémet de ce documet
Plus en détailCréation et développement d une fonction audit interne*
Créatio et développemet d ue foctio audit itere* Ue démarche e 10 étapes [ Sommaire] Dix étapes pour réussir... 7 Étapes 1 à 4 Défiitio du cadre d itervetio... 9 1 Idetifier les attetes des parties preates...
Plus en détailUniversité Pierre et Marie Curie. Biostatistique PACES - UE4 2013-2014
Uiversité Pierre et Marie Curie Biostatistique PACES - UE4 2013-2014 Resposables : F. Carrat et A. Mallet Auteurs : F. Carrat, A. Mallet, V. Morice Mise à jour : 21 octobre 2013 Relecture : V. Morice,
Plus en détail