UN MODELE POUR LA REPARTITION D'AUTOMATES REACTIFS SUR RESEAU ASYNCHRONE A MODEL FOR THE DISTRIBUTION OF REACTIVE AUTOMATA ON ASYNCHRONOUS NETWORKS
|
|
- Gilbert St-Hilaire
- il y a 8 ans
- Total affichages :
Transcription
1 UN MODELE POUR LA REPARTITION D'AUTOMATES REACTIFS SUR RESEAU ASYNCHRONE DE PROCESSEURS A MODEL FOR THE DISTRIBUTION OF REACTIVE AUTOMATA ON ASYNCHRONOUS NETWORKS OF PROCESSORS Beno^t CAILLAUD,Pul CASPI, Alin GIRAULT, Clude JARD *: LFCS, Deprtment of Computer Siene, University of Edinurgh, Edinurgh EH9 3JZ, Sotlnd UK, Tel : +44 / , ** : VERIMAG UMR C9939, VERIMAG est une unite mixte du CNRS, Institut Ntionl Polytehnique de Grenole, Universite J Fourier et de VERILOG SA ssoie l'imag, Minipr - ZIRST, 3804 Montonnot Sint Mrtin, Frne, Tel : +33 / , Fx : +33 / , E-mil : PulCspi@imgfr *** : CMA Eole des Mines de Pris, BP 207, Sophi Antipolis, Frne, Tel : +33 / , Fx : +33 / , E-mil : girult@mmfr, **** : IRISA/CNRS, Cmpus de Beulieu, Rennes, Frne, Tel : +33 / , Fx : +33 / , E-mil : CludeJrd@irisfr, Ce trvil reu le soutien du GRECO Automtique tion C2A, du Ministere de l'enseignement Superieur et de l Reherhe et de Shneider Eletri Resume : Le proleme orde dns et rtile est l synthese utomtique de progrmmes reprtis prtir d'une speition donnee sous l forme d'un utomte sequentiel regissnt son environnement Nous ontriuons l mise en ple d'un modele theorique derivnt et expliqunt un proede de reprtition d'utomtes fonde sur l reprtition des tions Astrt : In this rtile, we ddress the prolem of utomti synthesis of distriuted progrms from speitions given s sequentil retive utomt We ontriute to set up theoretil model for desriing nd understnding distriution proess for utomt, sed on the distriution of tions Introdution Proleme Le proleme orde dns e trvil est l synthese utomtique de progrmmes reprtis prtir d'une speition donnee sous l forme d'un utomte sequentiel regissnt son environnement, et de diretives de reprtition C'est une question d'une grnde tulite, qui se pose dns plusieurs seteurs d'pplitions, omme l prllelistion-reprtition de progrmmes sequentiels pour le lul hute performne, l reprtition de systemes retifs, ou enore l synthese de protooles Ces trois domines, listes pr ordre de diulte roissnte, soulevent des interrogtions fondmentles sur le determinisme et l retivite en univers reprti Un tritement formel est neessire n de denir rigoureusement les trnsformtions onduisnt u progrmme reprti, et de prouver l onservtion des proprietes semntiques ttendues Notre trvil pour ojetif de ontriuer l mise en ple d'un modele theorique derivnt et expliqunt un proede de reprtition d'utomtes fonde sur l reprtition des tions Approhe Les trvux de modelistion sur l reprtition utomtique sont jeunes et sont fondes sur des modeles simples omme les utomtes et les reseux [Hop9] Dns ette lignee, nous nous sommes onentres sur l formlistion de proessus de reprtition et l rteristion des omportements reprtis engendres Prtnt d'un utomte sequentiel lssique, on ree du prllelisme en onsidernt une reltion d'independne entre les elements de l'lphet de l'utomte Puisque l'independne n'est ps symetrique en
2 generl (eg en onsidernt les opertions de leture/eriture sur les vriles des progrmmes), on utilise l generlistion de l theorie des lngges de tre [CM85, Mz86, AR88] ux semiommuttions [CL87] L reltion d'independne denit les dierents entrelements possiles des trnsitions tels qu'ils peuvent se produire dns l'implnttion reprtie Le resultt prinipl de notre trvil est de montrer omment le proessus de reprtition est ple d'pproher u plus pres et ensemle de omportements dmissiles Pour fire el, nous utilisons un modele intermediire que nous vons ppele \utomte d'ordres" Du point de vue theorique, les trvux qui nous semlent les plus prohes sont eux de [Pet93] sur les \utomtes distriues" En plus de notre domine d'pplition, l dierene de fond est l prise en ompte hez nous d'un ontr^ole reprti relise pr des ehnges expliites de messges Pln de l'rtile L'rtile ommene pr presenter informellement l'ide d'un exemple l tehnique de reprtition hoisie, puis presente le modele theorique de representtion des progrmmes, fonde sur des ensemles prtiellement ordonnes etiquetes L'ensemle des dierents omportements reprtis possiles vu sous l forme de suites de trnsitions n'est ps en generl representle pr un utomte ni Nous montrons pr ontre qu'il est representle pr un utomte d'ordre ni, et on propose un lgorithme pour le produire Nous disutons ensuite de l prodution d'un ode reprti pr replition de et utomte et insertion des ehnges de messges 2 Aperu de l methode de reprtition Il s'git de l methode lssique de reprtition de progrmmes sequentiels, ppelee SPMD (\Single Progrm, Multiple Dt") dns l litterture nglise ; elle ete priniplement introduite dns [CK88] et notmment mise en uvre pour HPF (\High Performne Fortrn") dns le domine du lul sientique [APT90], et plus reemment dns le ontexte des utomtes retifs [CGP94] Les vriles du progrmme sont reprties sur les proesseurs, qui exeutent lem^eme shem de ontr^ole, mis en eetunt que les instrutions neessires l modition des vriles loles Pour el des instrutions de ommunition sont joutees n de permettre l'heminement des vleurs neessires ux eritures et le respet des dependnes entre les dierentes eritures L'independne entre instrutions du progrmme sequentiel peut lors engendrer du prllelisme Nous onsiderons don un reseu de n proesseurs I = 0:::n (ou proessus, u niveu d'strtion ou l'on se ple) Le progrmme sequentiel initil est vu omme un utomte ni Cet utomte est en prtique engendre pr un ompilteur pr des tehniques de lul de grphes d'etts prtir d'une desription dns un lngge de plus hut niveu dependnt du domine d'pplition onsidere Nous vons prtiulierement onsidere les lngges Lustre et SDL Pour reprtir et utomte, nous fisons l'hypothese que l'utilisteur peut prtitionner l'lphet de l'utomte sur l'ensemle des proesseurs Cet lphet est onstitue de l'ensemle des tions tomiques du progrmme sequentiel Le ode reprti est otenu en : () repliqunt l'utomte sur hque proesseur, (2) supprimnt les tions non loles, (3) insernt les tions de ommunition synhrone (envois et reeptions de messges) pour resoudre les dependnes entre les tions distntes, (4) rjoutnt des synhronistions supplementires pour orner l'synhronisme si neessire Considerons d'ord que l prtition de l'lphet des tions de l'utomte est denie pr une fontion de plement :! I qui lloue les tions sur les proesseurs En seond lieu, on demnde que les synhronistions entre tions s'eetuent pr l'intermediire d'ehnges de messges trvers un reseu omplet de nux FIFO relint les dierents proesseurs Pour el, on utilise deux primitives de ommunition: { l'instrution put(s,x), qui erit l vleur x dns le nl onnete en diretion du proesseur s ; elle est non loqunte { l'instrution x:=get(s), qui extrit l vleur de t^ete du nl vennt du proesseur s, et l'ete lvrile x ; elle est potentiellement loqunte si le nl est vide Considerons un exemple, qui ser suivi tout u long de l'rtile Il s'git d'un utomte sequentiel P deux etts et trois trnsitions etiquetees pr des tions Cet utomte gere un ensemle de vriles V et regit en fontion des vleurs des vriles d'environnement E, positionnees pr l'environnement de l'utomte Une tion se ompose d'une grde (expression ooleenne sur les vriles d'environnement ou internes), suivie d'une instrution sur les vriles internes L grde est evluee lors de l'tivtion de l'utomte ; dns notre exemple, l vrile d'environnement e est ooleenne
3 [true]! x:=x+; [e]! y:=y-x; [not e]! y:=y+; L'ensemle des vriles V est fx; yg L'ett est l'ett initil et le seul ett epteur, designe pr les ^ehes en zigzg Les trnsitions sont etiquetees pr l'lphet = f; ; g suivnt le tleu : tion [true]! x:=x+; [e]! y:=y-x; [not e]! y:=y+; etiquette Nous supposons mintennt l'existene de deux proesseurs P 0 et P, P 0 possednt lvrile x, et P possednt lvrile y L fontion de plement onsideree est don denie pr : (0) = fg et () = f; g Le systeme reprti nl ser le suivnt: [true] site 0 [true]! x:=x+; [e] site! put(,x); [not e] [not e]! y:=y+; [e]! x:=get(0);y:=y-x; 3 Formlistion L'ojetif de e prgrphe est d'exposer un modele formel permettnt d'exprimer le proede de reprtition pr trnsformtion d'un utomte, en mettnt l'ent sur les proprietes omportementles qui sont onservees Connissnt priori les reltions de dependne lint les tions (une reltion de semi-ommuttion, tiree en prtique de l'nlyse du progrmme sequentiel), l'ensemle des sequenes d'tions possiles peut ^etre pture un utomte ni dit \d'ordres", dns lequel les trnsitions sont etiquetees pr des ordres prtiels nis Le resultt theorique sur lequel on se fonde est que, prtnt du lngge formel deni pr l'utomte sequentiel initil, l'ensemle des reeritures des mots de e lngge pr l reltion de semi-ommuttion, est extement l'ensemle des extensions lineires de l fmille d'ordres denie pr l'utomte d'ordre que nous onsiderons Le resultt ser illustre l'ide de notre exemple 3 L reltion de semi-ommuttion Considerons don l'utomte du prgrphe preedent sur l'lphet des tions = f; ; g: Plus generlement, on onsidere l'utomte P =(Q; q; F;!) reprtir, ou Q est l'ensemle des etts de l'utomte P, q 2 Q l'ett initil de P, F Q l'ensemle des etts epteurs, et!qql reltion de trnsition Les ommuttions possiles des tions (reltion d'independne entre les tions, que nous notons /) sont denies pr les dependnes de donnees et de ontr^ole du progrmme P Pour hque tion, on note LUES et ECRIT ES les ensemles de vriles respetivement lues et erites pr ette tion Dns notre exemple, nous vons : tion LUES ECRITES fxg fxg fx; yg fyg fyg fyg Dns l m^eme idee que les onditions de Bernstein [Ber66], on dir qu'une tion ne depend ps de l'tion ( \peut ommuter ve" ) lorsqu'il n'y ps de vriles erites pr et lues pr Dns le s ontrire, il est lir que l sequene : ne peut ^etre ssee : 8; 2 ;/ () ECRIT ES() \ LUES() =;et 6= Ii / = f(; ); (; ); (; )g, reltion non symetrique L reltion de dependne est otenue pr omplementtion et se represente pr un grphe dns lequel nous vons designe les rs pr des lettres greques : ; ; : : Pour simplier ii, l'utomte est onsidere deterministe
4 L reltion d'independne induit une reltion de reeriture, denissnt l'ensemle des sequenes d'tions que l'on peut otenir en ommutnt les tions independntes prtir d'une sequene initile Cette reltion, ppelee semi-ommuttion dns [CL87], et notee *, est l fermeture re- exive et trnsitive de l reltion * L reltion * etnt l plus petite reltion verint: 8u; v 2? ; 8; 2 ; u v* uv () (; ) 2/ Pour hque pire de mots u; v 2?, u*vsignie que v est une deformtion possile du mot u, onformement l reltion d'independne / L fermeture droite pr * d'un mot u 2? est l'ensemle des deformtions possiles du mot u, et est notee : [u] * = fvju *vg; e que l'on etend ux lngges de mots A? pr [A] * = S u2a [u] * L longueur d'un mot u 2? est notee juj, et pour i =:::juj, u i designe l i ieme lettre de u Pour notre exemple, soit kp k =(? )? le lngge engendre pr l'utomte P, s fermeture droite [kp k] * est le lngge reonnu pr l'utomte inni miniml suivnt: C'est ette pite de ommuttion qui v permettre de produire une implnttion reprtie performnte prtir de l'utomte de deprt L'ojetif du prlleliseur est de produire un ode qui en prote u mximum, 'est--dire qui v utoriser le plus possile de deformtions, le mximum etnt deni justement pr [kp k] * Pour endrer formellement le proessus de reprtition, on v le onsiderer omme etnt une suession de trnsformtions elementires depuis l'utomte initil P, jusqu' un utomte ^P qu'il sur de projeter sur hun des proessus pour otenir l version reprtie nle L'exemple que nous vons pris montre ien que le dre des utomtes nis sur des mots est trop restreint (l fermeture pr l reltion de semi-ommuttion n'engendrnt ps forement un lngge regulier) C'est pourquoi nous llons psser des utomtes sur des ordres prtiels 3 L'utomte d'ordres Donnons d'ord quelques denitions usuelles Un ordre (prtiel) etiquete [Pr86] (ope pour fire plus ourt) est un triplet = (E ; ;' ), ou est une reltion d'ordre prtielle sur E et ' : E! un etiquetge des elements de E On onsiderer les ope \non-onurrents" dns lesquelles les elements de m^eme etiquette sont omprles Nous dessinerons les opes pr le grphe de l redution trnsitive de l reltion, et en mettnt les etiquettes sur les nuds L projetion d'un ope sur un ensemle A est le sous-ordre j A otenu en ne grdnt que les elements d'etiquette sur A Unidel (resp un ltre) d'un ope est un sous-ensemle I E (resp F E ) ferme pr preedene (resp pr suession) : 8i 2 I ;e2e ;e i)e2i et 8f 2 F ;e 2 E ; f e ) e 2 F Pour un mot u 2?, ~u designe l'ope (f;:::;jujg;;i7! u i ), qui est l'ordre totl 2 de- ni pr les lettres suessives du mot u Une extension lineire d'un ope est un ope =(E ; ;' ) dns lequel est un ordre totl et (l'ordre est preserve) Le lngge des extensions lineires d'un ope ni est le lngge L()? tel que : 8u 2? ; u 2 L() () ~u est isomorphe une extension lineire de De fon generle, les mots seront onsideres omme des opes totlement ordonnes et reiproquement Pour un ensemle d'opes A, L(A) = S 2AL() designe l'union de tous les ensemles d'extensions lineires des ordres de A Enn, pour pouvoir prler de l'ordre induit pr une pplition, nous notons, pour une pplition f : A! B et une reltion inire B 2, pr < ;f A 2 l reltion induite pr : 8; 2 A; (; ) 2< ;f () (f();f()) 2 Le premier resultt sur lequel nous nous fondons est que l fermeture droite d'un mot pr l reltion * est l'ensemle des extensions lineires d'un ope Informellement, e dernier est onstruit en \oupnt" le mot ux endroits ou deux lettres suessives peuvent ommuter Lemme Soit u 2? et / 2 Lreeriture sur? engendree pr / etnt designee pr * [u] * = L ( u;6/ ) ou u;6/ = E ~u ; ( ~u \< 6/;'~u )? ;' ~u 2:un ordre est totl lorsque hque pire d'elements est ordonnee
5 Ce lemme est une simple extension du resultt donne dns [CM85, Zie87] qui onernit une reltion de ommuttion symetrique L reltion d'independne que nous vons onsideree est irreexive Cel ssure que l'ope mentionne ii est non-utoonurrent Sur notre exemple, prenons un mot de kp k, soit u = ::: {z } ::: {z } p p 2 S fermeture [u] * est l'ope suivnt: p i :::::: {z } p n Dns notre exemple, onsiderons l'lphet des tions, uquel on rjoute des elements de synhronistion ; ; Ave et lphet, on onstruit les piees ^; ^; ^ suivntes : ^ ^ Pr exemple, le mot v = est l reeriture du mot u = 2kPkve l reltion * L'ope ^u=^^^^^^^^est le suivnt: ^ Informellement, on remrque que e grphe est l ontention de \piees" elementires L suession de es piees, qui s'orgnise suivnt un shem semlle l'utomte de deprt P,v pouvoir ^etre representee pr e que nous vons ppele \un utomte d'ordres" Un tel utomte est un utomte lssique dns lequel les trnsitions ne sont plus etiquetees pr des lettres, mis pr des opes Pour el, il sut de denir une notion de ontention entre opes : Denition Soit et deux opes non-utoonurrents L ontention de et, designee pr est le plus petit ope non-utoonurrent tel que E = E E, et ' = ' ', dmettnt E omme idel et E omme ltre (etnt l'union disjointe de deux ensemles) Informellement, l'etiquetge denit des h^nes (sous-ordres totux) en onsidernt tous les elements de m^eme etiquette L ontention onsiste lors, pour hune des etiquettes, roher l'extremite superieure de l h^ne du premier ordre l'extremite inferieure de l h^ne du deuxieme ordre, les extremites des h^nes jount le r^ole \d'epingles" L ontention de et est don telle que tout element de etiquete est plus grnd que toute ourrene de dns Il est file de onstter que l'ensemle des opes non-utoonurrents sur un lphet, muni de ette ontention \" est un monode, d'element neutre ~" =(;;;;;) Denition 2 Un utomte d'ordres est un utomte dont les trnsitions sont etiquetees pr des opes nis Le lngge kqk d'un utomte d'ordres Q est l'ensemle des ontentions des etiquettes des sequenes eptees (dns le sens usuel du terme) Nous onsttons que le mot v est une extension lineire de l projetion de ^u sur Finlement, l'ensemle des mots de l fermeture de kp k pr l reltion * est l'ensemle de toutes les extensions lineires du lngge de l'utomte d'ordres ^P idessous, projete sur : ^ ^ 2 Formellement: [kpk] * = L ^P 4 Le shem de ompiltion Dns le prgrphe preedent, nous vons introduit l notion d'utomte d'ordres qui sert oder l fermeture droite d'un lngge regulier modulo une reltion d'independne Nous llons mintenntpresenter l onstrution eetive d'un tel utomte, qui ser ensuite reprti sur les proessus L synthese est presentee en trois etpes Nous denissons d'ord l'lphet de synhronistion Les tions de synhronistion permettent ^
6 de preserver les dependnes entre les tions L'utomte d'ordre est derive de l'utomte initil en remplnt hque trnsition q!q 0 pr ^ l trnsition q!q 0,ou^est l'ope sur l'lphet de synhronistion union, odnt insi l'tion et ses dependnes vis vis des utres tions L seonde etpe onsiste en l redution du nomre de synhronistions en prennt en ompte les synhronistions dej pssees du lul Nous otenons lors un utomte d'ordre optimise, n'eetunt une synhronistion que lorsque neessire Ces trnsformtions preservent le omportement du progrmme initil, modulo l reltion d'independne entre les tions Cei onstitue le resultt prinipl de l'rtile Les prolemes de dependnes et de synhronistion ontete resolus, mis ps l reprtition physique Pour el, dns une derniere etpe, hque vrile du progrmme initil est plee sur un proesseur Don une tion de l'utomte n'est presente que sur un seul proesseur: elui qui ete l vrile Les synhronistions sont mterilisees pr l'envoi et l reeption de messges trvers un reseu ompletement mille de nux FIFO 4 L'utomte de se Tout d'ord, pour des reltions inires ;'sur un lphet, et pour une lettre 2, on note : ' = ' \ ( fg) les ouples de ' se terminnt ve l lettre ; ' = ' \ (fg) eux ommennt pr l lettre, et ' =f(u; v)j9w 2 ; (u; w) 2 '; (w; v) 2 g, l omposition usuelle des reltions P(A) designe l'ensemle des prties de l'ensemle A Nous onstruisons lors un lphet de synhronistion en onsidernt l reltion de dependne, puisque 'est ien elle-i qui exige une synhronistion Les uto-dependnes n'etnt ps onsiderer, nous denissons l'lphet de synhronistion =6/ n f(; )g 2 (l'lphet est don forme de ouples) Il reste don former les opes qui vont etiqueter les trnsitions de l'utomte d'ordres L'utomte d'ordres ssoie P est ^P,deni en remplnthque trnsition q!q 0 de l'utomte P pr l trnsition q!q 0,ve : ^ B C ^ = & % C A Informellement, l'opertion onsiste etiqueter hque trnsition pr un ensemle d'epingles permettnt de mteriliser pr l ontention les dependnes entre tions Les etts epteurs et l'ett initil restent inhnges L'utomte ^P montre dns le prgrphe preednt ete produit en utilisnt ette regle, ve =(; );=(; ) et=(; ) Cette methode, mlheureusement, peut produire des synhronistions redondntes Considerons pr exemple ^ ^ ^ : (; ) (; ) (; ) (; ) (; ) (; ) (; ) (; ) (; ) (; ) (; ) (; ) L synhronistion! (; )! (; )! est redondnte puisque le hemin! (; )! (; )!! (; )! (; )! ssure dej l'ordonnnement deet Le proleme est don de n'engendrer une synhronistion que lorsque neessire : l'expose de l solution fit l'ojet du sousprgrphe suivnt 4 L'utomte optimise L'idee est de mettre dns l'ett de l'utomte une informtion de ontexte, donnnt les synhronistions qui peuvent se produire prtir de et ett, e qui permettr lors de se rendre ompte de l redondne Nous otenons insi un utomte ugmente ^P deni pr : 8 < : Q ^P = Q P() q^p = (q; ;) F ^P = F P() ve les trnsitions q!q 0 de P remplees pr ^ (q; p)! (q; p); (q 0 ; C (p)) pour un ontexte p 2 P() Le nouveu ontexte C (p) pres le frnhissement d'une trnsition! est otenu en ^ ne grdnt omme epingles pssees que elles qui restent neessires : on enleve du ontexte ournt l synhronistion que l'on vient d'eetuer () et elles que l'on ree eventuellement pr trnsitivite (p ) Ce qui donne : C (p) =(pn n(p))[ L'etiquette de l trnsition est telle que seules les synhronistions du ontexte sont onsiderees : 0 82p 8 2 ^(p) = & % C A Pour notre exemple, l onstrution d'un tel utomte optimise otenu en prournt le grphe de trnsitions prtir de l'ett initil donne le resultt suivnt:
7 ; ; 2; ;!S 0!?S 0! 2;; 2;; Il fut mintennt prouver que l'utomte ^P, tel que nous l'vons deni, v eetivement engendrer tous les omportements possiles otenus pr deformtion des omportements de l'utomte initil P, ompte tenu de l reltion d'independne / C'est--dire que l fermeture droite du lngge de P est l'ensemle des extensions lineires du lngge d'ordres de ^P : Theoreme Les lngges de P et ^P sont lies pr l'eglite suivnte : [kp k] * = L k ^P kj L preuve, omise ii pour une rison de ple, est onsultle dns [Ci94] Elle s'ppuie sur les proprietes de l onstrution des etiquettes et le lemme 3 4 L synthese du systeme ommunint Les ommunitions sont inserees en fontion du plement sur le reseu des tions de l'utomte P Elles ont pour r^ole de reliser des synhronistions On insere don une pire emissionreeption sur le hemin usl entre deux tions dependntes et distntes Soit = S i2i i, l'ensemle des tions de ommunition Ave pour tout i 2 I, i =?S j!i ;!S i!j, les tions loles 2;j2I ) est l'- de ommunition!si!j (resp?s i!j tion d'emission (resp reeption) du proessus i vers le proessus j ve l vleur De plus, 8 2 ;(!Si!j )=iet (?S i!j )=j Pr exemple, onsiderons l trnsition de l'ett 2;; vers l'ett ; de ^P Sur le hemin = (; )!, unehnge est insere r () =06= () Sur l'utre hemin!, rien n'est insere r l synhronistion est lole : () = = () L fontion de ompiltion resultnte se presente enore omme une extension de l fontion ^(p) de onstrution des etiquettes que nous ne detillons ps ii Le theoreme 4 reste vlide Avnt derepliquer l'utomte sur les proessus, il onvient mintennt de lineriser les trnsitions de elui-i n d'implnter le rtere sequentiel des proessus Il s'git don de rempler hque ope etiquette des trnsitions pr une extension lineire de l'ope Le hoix de elle-i est ritrire et est un hoix d'implnttion Ces extensions lineires sont des mots de ( 6/)? L'utomte d'ordre insi modie est projete sur hun des proessus L projetion est telle que seules les tions pprtennt u proessus sont grdees Dns notre exemple, (0) = f;!s g 0! et () = f; ;?S 0!g Le systeme projete est : P 0 :: P ::!S 0! 2!S 0!!S 0! 2 2 2?S 0!:?S 0! :?S 0!: 2 Ce qui donne pres minimistion 3, l'utomte ttendu : 3: Les trnsitions d'etiquettevide se onserventpuisque qu'elles orrespondent une leture des vriles d'environnement
8 P 0 ::!S 0! P ::?S 0! 2' 5 Conlusion et perspetives Nous vons presente un modele formel permettnt de prendre en ompte le proleme de l reprtition d'utomtes retifs sur un reseu de proesseurs Dns e modele, l synthese est presentee omme une suession de rnements de l'utomte initil jusqu' otenir pr projetion le systeme reprti nl L'ttention est portee sur l retion du mximum de prllelisme ompte tenu des dependnes du progrmme initil et du nomre de proessus iles Il est noter que es idees ont ete elorees prtir de l'implnttion d'un premier outil de reprtition d'utomtes \o" issus de progrmmes Lustre [CGP94, Gir94] et de l preuve d'un shem de prllelistion de progrmmes HFP [BCJT93] Plusieurs xes de reexion restent ouverts onernnt le omportement de l'implnttion reprtie pr rpport l semntique initile du progrmme sequentiel Notmment qund les vriles d'environnement sont reprtir Nous vons onsidere jusqu' present que les vriles d'environnement (edns notre exemple) etient essiles depuis les proessus Il peut ^etre interessnt pour pousser plus vnt l reprtition d'imginer que es vriles (lues) sont plees sur les proessus En s de rnhement dns l'utomte initil (hoix), il devient lors neessire de diuser de l'informtion u sein du reseu pour ssurer l oherene des hoix sur hun des proessus Pour el, de m^eme que preedemment, on sit denir une fontion de ompiltion qui insere (ette fois-i sur le hemin des epingles de sortie des opes etiquette) les ehnges neessires l diusion Mis l'etlissement du theoreme 4 requiere quelques hypotheses omme le hoix lol : pour tout rnhement entre deux tions et, on impose () =(), et l'sene de onits : pour toute utre tion, 6/ et 6/ L'exmen des onsequenes de es hypotheses et de leur rel^hement est en ours Referenes [APT90] F Andre, JL Pzt, nd H Thoms Pndore: system to mnge dt distriution In ACM Interntionl Conferene on Superomputing, June [AR88] IJ Alerserg nd G Rozenerg Theory of tres Theoretil Computer Siene, 60:{82, 988 [BCJT93] C Breu, B Cillud, C Jrd, nd R Thorvl Corretness of utomted distriution of sequentil progrms In A Bode, M Reeve, nd G Wolf, editors, PARLE'93, Prllel Arhitetures nd Lnguges Europe, pges 57{528 LNCS 694, Springer Verlg, June 993 [Ber66] AJ Berstein Anlysis of progrms for prllel proessing IEEE Trnstions on Eletroni Computers, 5:757{762, Otoer 966 [Ci94] B Cillud Contriution l modelistion du SPMD : distriution synhrone d'utomtes PhD thesis, IFSIC/Universite de Rennes I, Juin 994 [CGP94] P Cspi, A Girult, nd D Pilud Distriuting retive systems In 7th Int Conf on Prllel nd Distriuted Computing Systems, PDCS'94, Ls Vegs, Otoer 994 [CK88] D Cllhn nd K Kennedy Compiling progrms for distriuted-memory multiproessors The Journl of Superomputing, 2:5{69, 988 [CL87] M Clerout nd M Ltteux Semiommuttions Informtion nd Computtion, 73:59{74, 987 [CM85] R Cori nd Y Metivier Reognizle susets of prtilly elin monoids Theoretil Computer Siene, 35:79{89, 985 [Gir94] A Girult Sur l reprtition de progrmmes synhrones These, Institut Ntionl Polytehnique de Grenole, 994 [Hop9] RP Hopkins Distriutle nets In G Rozenerg, editor, Advnes in Petri Nets 99,volume 524 of Leture Notes in Computer Siene Springer-Verlg, 99 [Mz86] A Mzurkiewiz Tre theory InAdvn- ed Course on Petri Nets, LNCS # 255, pges 279{324, 986 [Pet93] A Petit Reognizle tre lnguges, distriuted utomt nd the distriution prolem At Informti, 30:89{0, 993 [Pr86] V Prtt Modeling onurreny with prtil orders Interntionl Journl of Prllel Progrmming, 5():33{7, 986 [Zie87] W Zielonk Notes on nite synhronous utomt RAIRO Informtique Theorique et Applitions, 2(2):99{35, 987
Techniques d analyse de circuits
Chpitre 3 Tehniques d nlyse de iruits Ce hpitre présente différentes méthodes d nlyse de iruits. Ces méthodes permettent de simplifier l nlyse de iruits ontennt plusieurs éléments. Bien qu on peut résoudre
Plus en détailMcAfee Firewall Enterprise Control Center
Guie e émrrge rpie Révision A MAfee Firewll Enterprise Control Center version 5.3.1 Ce guie e émrrge rpie fournit es instrutions générles sur l onfigurtion e MAfee Firewll Enterprise Control Center. 1
Plus en détailIntégrale et primitives
Chpitre 5 Intégrle et primitives 5. Ojetif On herhe dns e hpitre à onstruire l opérteur réiproue de l opérteur de dérivtion. Les deux uestions suivntes sont lors nturelles. Question : Soit f une pplition
Plus en détailSTI2D Logique binaire SIN. L' Algèbre de BOOLE
L' Algère de BOOLE L'lgère de Boole est l prtie des mthémtiques, de l logique et de l'électronique qui s'intéresse ux opértions et ux fonctions sur les vriles logiques. Le nom provient de George Boole.
Plus en détailINSTRUCTIONS POUR L INSTALLATION ET LE FONCTIONNEMENT DES SERRURES À POIGNÉE BÉQUILLE
INSTRUCTIONS POUR L INSTALLATION ET LE FONCTIONNEMENT DES SERRURES À POIGNÉE BÉQUILLE POUR LES SERRURES D ENTRÉE À CLÉ EXTÉRIEURES VERROUILLABLES, À POIGNÉE DE BRINKS HOME SECURITY. POUR LES PORTES DE
Plus en détailNotes de révision : Automates et langages
Préprtion à l grégtion de mthémtiques 2011 2012 Notes de révision : Automtes et lngges Benjmin MONMEGE et Sylvin SCHMITZ LSV, ENS Cchn & CNRS Version du 24 octore 2011 (r66m) CC Cretive Commons y-nc-s
Plus en détailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mthémtiques nnée 2009-2010 Chpitre 2 Le prolème de l unicité des solutions 1 Le prolème et quelques réponses : 1.1 Un exemple Montrer que l éqution différentielle :
Plus en détailCorrection de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) (
Correction de l épreuve CCP PSI Mths PREMIÈRE PARTIE I- Soit t u voisinge de, t Alors ϕt t s = ϕt ρt s ρs Pr hypothèse, l fonction ϕt ϕt est lorsque t, il en est donc de même de ρt s ρt s ρs cr ρ s est
Plus en détailFONDATION CLEMENTINE ET MAURICE ANTILLE
FONDATION CLEMENTINE ET MAURICE ANTILLE Règlement d ttriution de ourses et de prêts d études et de formtion du déemre 006 Artile premier Ojet et hmp d pplition Le présent règlement est étli en pplition
Plus en détailRadioCommunications CDMA
Conservtoire tionl es Arts et Métiers Cours u Conservtoire tionl es Arts et Métiers RioCommunitions CDMA (Version 7) Mihel Terré terre@nmfr Eletronique C4 / Conservtoire tionl es Arts et Métiers Les performnes
Plus en détailSynthèse de cours (Terminale S) Calcul intégral
Synthèse de cours (Terminle S) Clcul intégrl Intégrle d une onction continue positive sur un intervlle [;] Dns cette première prtie, on considère une onction continue positive sur un intervlle [ ; ] (
Plus en détail638604 CTC Generic 815446 LITHO FLEXO. PANTONE 000 05a mm/dd/yy xxxxxx. PANTONE 000 06a mm/dd/yy xxxxxx PANTONE 000. 07a mm/dd/yy xxxxxx.
Trez un erle de po (5, mm) de dimètre u entre du ord de l porte. " /" 9/6" /8" 5 5 0 5 POUR DISTANCE D ENTRÉE de /8 po (60 mm) Pliez e grit sur l ligne pointillée et plez elle-i sur l ngle de l porte POUR
Plus en détaill appareil et vérifier les composants Module tambour-cartouche de toner (pré-installé)
Guide d instlltion rpide Commener MFC-8510DN MFC-8520DN Commenez pr lire le Guide de séurité du produit, puis suivez ttentivement l proédure d instlltion et de onfigurtion dérite dns e Guide d'instlltion
Plus en détailMcAfee Firewall Enterprise, Multi Firewall Edition
Guie e émrrge rpie Révision A MAfee Firewll Enterprise, Multi Firewll Eition version 8.3.x Ce guie e émrrge rpie fournit es instrutions générles sur l onfigurtion e MAfee Firewll Enterprise, Multi Firewll
Plus en détailL'algèbre de BOOLE ou algèbre logique est l'algèbre définie pour des variables ne pouvant prendre que deux états.
ciences Industrielles ystèmes comintoires Ppnicol Roert Lycée Jcques Amyot I - YTEME COMBINATOIRE A. Algère de Boole. Vriles logiques: Un signl réel est une grndeur physique en générl continue, on ssocie
Plus en détailLANGAGES - GRAMMAIRES - AUTOMATES
LANGAGES - GRAMMAIRES - AUTOMATES Mrie-Pule Muller Version du 14 juillet 2005 Ce cours présente et met en oeuvre quelques méthodes mthémtiques pour l informtique théorique. Ces notions de bse pourront
Plus en détailThéorème de Poincaré - Formule de Green-Riemann
Chpitre 11 Théorème de Poincré - Formule de Green-Riemnn Ce chpitre s inscrit dns l continuité du précédent. On vu à l proposition 1.16 que les formes différentielles sont bien plus grébles à mnipuler
Plus en détailGABARIT À PÊNE DORMANT ÉLECTRONIQUE
Trez un erle de 1 po (25,4 mm) de dimètre u entre du ord de l porte. 2" 1 3/4" 1 9/16" 1 3/8" 51 45 40 35 POUR DISTANCE D'ENTRÉE de 2 3/8 po (60 mm) Pliez e grit sur l ligne pointillée et plez elle-i sur
Plus en détailL éditorial. rapport d activité 2010-2012. Francis Daumas. décembre 2014 éditorial
déemre 2014 éditoril L éditoril Frnis Dums Direteur Conernnt l onservtion à long terme des Un premier oup d œil dns le rétroviseur nous L onstrution du nouveu «pôle énergie» données numériques, à ôté des
Plus en détailTout ce qu il faut savoir en math
Tout ce qu il fut svoir en mth 1 Pourcentge Prendre un pourcentge t % d un quntité : t Clculer le pourcentge d une quntité pr rpport à une quntité b : Le coefficient multiplicteur CM pour une ugmenttion
Plus en détailIntroduction à la modélisation et à la vérication p. 1/8
Introduction à l modélistion et à l vériction Appliction ux systèmes temporisés Ptrici Bouyer LSV CNRS & ENS de Cchn Introduction à l modélistion et à l vériction p. 1/8 Modélistion & Vériction Introduction
Plus en détaill'appareil et vérifiez les composants Cartouches d'encre incluses [x4] CD-ROM d'installation CD-ROM de documentation
Guide d instlltion rpide Commener DCP-J35W Veuillez lire ttentivement e Guide d'instlltion rpide pour onnître l proédure de onfigurtion et d'instlltion vnt d'utiliser l'ppreil. AVERTISSEMENT ATTENTION
Plus en détailStatuts ASF Association Suisse Feldenkrais
Sttuts ASF Assocition Suisse Feldenkris Contenu Pge I. Nom, siège, ojectif et missions 1 Nom et siège 2 2 Ojectif 2 3 Missions 2 II. Memres 4 Modes d ffilition 3 5 Droits et oligtions des memres 3 6 Adhésion
Plus en détailLa plateforme Next Generation Mini guide
L plteforme Next Genertion Mini guie Ce guie onis été réé pour vous permettre e vous fmiliriser rpiement ve les nomreuses fontionnlités et outils isponiles sur l plteforme Next Genertion. Apprenez où trouver
Plus en détailProduction statistique: passage d une démarche axée sur les domaines à une démarche axée sur les processus
Nations Unies Conseil éonomique et soial Distr. générale 31 mars 2015 Français Original: anglais ECE/CES/2015/26 Commission éonomique pour l Europe Conférene des statistiiens européens Soixante-troisième
Plus en détailWieland-Werke AG, 89070 Ulm, Allemagne Février 2012
Wieln-Werke AG, 89070 Ulm, Allemgne Février 2012 Conitions générles e livrison 1. Conitions ontrtuelles, roit pplile Nous livrons et fournissons es presttions onformément à notre onfirmtion e ommne érite
Plus en détailOutils pour un. partenariat. renouvelé. entre propriétaires et gestionnaires. résidences sociales et logements-foyers
Outils pour un prtenrit renouvelé entre propriétires et gestionnires résienes soiles et logements-foyers éition septemre 2011 Outils pour un prtenrit renouvelé entre propriétires et gestionnires résienes
Plus en détailessais dossier Oser s équi Prothèses auditives
essis dossier u LES AUDIOPROTHÉSISTES AU BANC D ESSAI p. 46 u UN APPAREIL ADAPTÉ À VOS BESOINS p. 50 u FAIRE BAISSER LA FACTURE? PAS SI SIMPLE p. 52 Prothèses uditives Oser s équi AUDIOPROTHÉSISTES Fe
Plus en détailManSafe. pour les Utilitiés. La Protection antichute pour les Industries de l'energie. Français. TowerLatch LadderLatch
MnSfe pour les Utilitiés L Protection ntichute pour les Industries de l'energie Frnçis TowerLtch LdderLtch Les questions de protection nti-chute Les chutes de huteur sont l cuse de mortlité l plus importnte
Plus en détailNE connectez PAS le câble USB à ce stade (si vous utilisez un câble USB). de l'appareil et vérification des composants. Noir Jaune Cyan Magenta
Guie instlltion rpie Commener MFC-495CW Avnt 'utiliser l'ppreil, veuillez lire e Guie 'instlltion rpie pour otenir les instrutions sur les proéures 'instlltion et e onfigurtion équtes. AVERTISSEMENT ATTENTION
Plus en détailChapitre 11 : L inductance
Chpitre : inductnce Exercices E. On donne A πr 4π 4 metn N 8 spires/m. () Selon l exemple., µ n A 4π 7 (8) 4π 4 (,5) 5 µh (b) À prtir de l éqution.4, on trouve ξ ξ 4 3 5 6 6,3 A/s E. On donne A πr,5π 4
Plus en détailAlgorithmes sur les mots (séquences)
Introduction Algorithmes sur les mots (séquences) Algorithmes sur les mots (textes, séquences, chines de crctères) Nomreuses pplictions : ses de données iliogrphiques ioinformtique (séquences de iomolécules)
Plus en détailRevue des Sciences et de la Technologie - RST- Volume 5 N 1 / janvier 2014
Revue des Sienes et de la Tehnologie - RST- Volume 5 N 1 / janvier 214 L impat d une Charge Fortement Capaitive Sur la Qualité du Filtrage d un FAP Contrôlé Par un Filtre Multi-Variable Hautement Séletif
Plus en détailLICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE. Unité d enseignement LCMA 4U11 ANALYSE 3. Françoise GEANDIER
LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE Unité d enseignement LCMA 4U ANALYSE 3 Frnçoise GEANDIER Université Henri Poincré Nncy I Déprtement de Mthémtiques . Tble des mtières I Séries numériques. Séries
Plus en détailsemestre 3 des Licences MISM annnée universitaire 2004-2005
MATHÉMATIQUES 3 semestre 3 des Licences MISM nnnée universitire 24-25 Driss BOULARAS 2 Tble des mtières Rppels 5. Ensembles et opértions sur les ensembles.................. 5.. Prties d un ensemble.........................
Plus en détailComment évaluer la qualité d un résultat? Plan
Comment évaluer la qualité d un résultat? En sienes expérimentales, il n existe pas de mesures parfaites. Celles-i ne peuvent être qu entahées d erreurs plus ou moins importantes selon le protoole hoisi,
Plus en dé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étailChapitre IV- Induction électromagnétique
37 Chapitre IV- Indution életromagnétique IV.- Les lois de l indution IV..- L approhe de Faraday Jusqu à maintenant, nous nous sommes intéressés essentiellement à la réation d un hamp magnétique à partir
Plus en détailLITE-FLOOR. Dalles de sol et marches d escalier. Information technique
LITE-FLOOR Dlles de sol et mrches d esclier Informtion technique Recommndtions pour le clcul et l pose de LITE-FLOOR Générlités Cette rochure reprend les règles de se à respecter pour grntir l rélistion
Plus en détailCommencer MFC-J4410DW
Guie instlltion rpie Commener MFC-J440DW MFC-J460DW Veuillez lire le Guie e séurité u prouit vnt 'instller l'ppreil. Lisez ensuite e Guie 'instlltion rpie pour onnître l proéure e onfigurtion et 'instlltion
Plus en détailSolutions électriques VELUX
Solutions életriques VELUX Les produits életriques VELUX utilisent l tehnologie io-homeontrol, protoole de ommunition sns fil séurisé, prtgé ve de grnds frints dns l univers du Bâtiment. Les téléommndes
Plus en détailProjet INF242. Stéphane Devismes & Benjamin Wack. Pour ce projet les étudiants doivent former des groupes de 3 ou 4 étudiants.
Projet INF242 Stéphane Devismes & Benjamin Wak Pour e projet les étudiants doivent former des groupes de 3 ou 4 étudiants. 1 Planning Distribution du projet au premier ours. À la fin de la deuxième semaine
Plus en détailSYSTEME DE TELEPHONIE
YTEME DE TELEPHOIE LE OUVEUTE PTIE MOITEU COULEU Le système de téléphonie comporte un moniteur vec un écrn couleurs de intégré u téléphone. Cette prtie est disponile en lnc, nthrcite et Tech. TLE DE MTIEE
Plus en détailMétrologie des paramètres S : vers une meilleure traçabilité des analyseurs de réseaux vectoriels en France
6 th Interntionl Congress of Metrology, 3 (3) DOI:.5/ metrology/ 33 C Owned by the thors, pblished by EDP Sienes, 3 Métrologie des prmètres S : vers ne meillere trçbilité des nlysers de résex vetoriels
Plus en détailLe compte satellite des institutions sans but lucratif
Institut des omptes nationaux Le ompte satellite des institutions sans ut luratif 2000-2001 Contenu de la puliation Le ompte satellite des institutions sans ut luratif (ISBL) est élaoré d après les définitions
Plus en détailCommencer DCP-7055W / DCP-7057W /
Guide d instlltion rpide Commencer DCP-7055W / DCP-7057W / DCP-7070DW Veuillez lire ttentivement le livret Sécurité et réglementtion vnt d'effectuer les réglges de votre ppreil. Consultez ensuite le Guide
Plus en détailChapitre VI Contraintes holonomiques
55 Chpitre VI Contrintes holonomiques Les contrintes isopérimétriques vues u chpitre précéent ne sont qu un eemple prticulier e contrintes sur les fonctions y e notre espce e fonctions missibles. Dns ce
Plus en détailCours d Analyse IV Suites et Séries de fonctions
Université Clude Bernrd, Lyon I Licence Sciences, Technologies & Snté 43, boulevrd 11 novembre 1918 Spécilité Mthémtiques 69622 Villeurbnne cedex, Frnce L. Pujo-Menjouet pujo@mth.univ-lyon1.fr Cours d
Plus en détailSéquence 8. Probabilité : lois à densité. Sommaire
Séquence 8 Proilité : lois à densité Sommire. Prérequis 2. Lois de proilité à densité sur un intervlle 3. Lois uniformes 4. Lois exponentielles 5. Synthèse de l séquence Dns cette séquence, on introduit
Plus en détailSommaire. 6. Tableau récapitulatif... 10. Sophos NAC intégré Vs. NAC Advanced - 17 Février 2009 2
Sommire 1. A propos de Sophos... 3 2. Comprtif des solutions Sophos NAC... 4 3. Sophos NAC pour Endpoint Security nd Control 8.0... 4 3.1. Administrtion et déploiement... 4 3.2. Gestion des politiques
Plus en détailLicence M.A.S.S. Cours d Analyse S4
Université Pris I, Pnthéon - Sorbonne Licence MASS Cours d Anlyse S4 Jen-Mrc Brdet (Université Pris 1, SAMM) UFR 27 et Equipe SAMM (Sttistique, Anlyse et Modélistion Multidisiplinire) Université Pnthéon-Sorbonne,
Plus en détailUniversité Paris-Dauphine DUMI2E. UFR Mathématiques de la décision. Notes de cours. Analyse 2. Filippo SANTAMBROGIO
Université Pris-Duphine DUMI2E UFR Mthémtiques de l décision Notes de cours Anlyse 2 Filippo SANTAMBROGIO Année 2008 2 Tble des mtières 1 Optimistion de fonctions continues et dérivbles 5 1.1 Continuité........................................
Plus en détailANALYSE NUMERIQUE NON-LINEAIRE
Université de Metz Licence de Mthémtiques - 3ème nnée 1er semestre ANALYSE NUMERIQUE NON-LINEAIRE pr Rlph Chill Lbortoire de Mthémtiques et Applictions de Metz Année 010/11 1 Tble des mtières Chpitre
Plus en détail/HVV\VWqPHVFRPELQDWRLUHV
/HVV\VWqPHVFRPELQDWRLUHV I. Définition On ppelle système combintoire tout système numérique dont les sorties sont exclusivement définies à prtir des vribles d entrée (Figure ). = f(x, x 2,,, x n ) x x
Plus en détailIntroduction a l'algorithmique des objets partages. Robert Cori. Antoine Petit. Lifac, ENS Cachan, 94235 Cachan Cedex. Resume
Introduction a l'algorithmique des objets partages Bernadette Charron{Bost Robert Cori Lix, Ecole Polytechnique, 91128 Palaiseau Cedex, France, charron@lix.polytechnique.fr cori@lix.polytechnique.fr Antoine
Plus en détail1. 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 2. 2.1.
T/TR 01-01 Pge 3 r+ 1. EQUIPMENT CONCERNE L interconnexion numerique interntionl pour le service visiophonique et de visioconf&ence necessite l stndrdistion des principux prmttres num&iques tels que d~it,
Plus en détailEnsEignEmEnt supérieur PRÉPAS / BTS 2015
Enseignement supérieur PRÉPAS / BTS 2015 Stnisls pour mbition de former les étudints à l réussite d exmens et de concours des grndes écoles de mngement ou d ingénieurs. Notre objectif est d ccompgner chque
Plus en détailNCCI : Calcul d'assemblages de pieds de poteaux encastrés
NCCI : Calul d'assemblages de pieds de poteaux enastrés Ce NCCI fournit les règles relatives au alul d'assemblages de pieds de poteaux enastrés. Ces règles se ontentent de ouvrir la oneption et le alul
Plus en détailBASE DE BIOÉTHIQUE SECTION 1 : SYLLABUS PROGRAMME D ÉDUCATION EN ÉTHIQUE
COURS DE BASE DE BIOÉTHIQUE SECTION 1 : SYLLABUS PROGRAMME D ÉDUCATION EN ÉTHIQUE Seteur es sienes soiles et humines Division e l éthique es sienes et es tehnologies Design & Proution: Juli Cheftel SHS/EST/EEP/2008/PI/1
Plus en détailMesures du coefficient adiabatique γ de l air
Mesures du oeffiient adiabatique γ de l air Introdution : γ est le rapport des apaités alorifiques massiques d un gaz : γ = p v Le gaz étudié est l air. La mesure de la haleur massique à pression onstante
Plus en détailToyota Assurances Toujours la meilleure solution
Toyot Assurnces Toujours l meilleure solution De quelle ssurnce vez-vous besoin? Vous roulez déjà en Toyot ou vous ttendez s livrison. Votre voiture est neuve ou d occsion. Vous vlez les kilomètres ou
Plus en détail3- Les taux d'intérêt
3- Les tux d'intérêt Mishkin (2007), Monnie, Bnque et mrchés finnciers, Person Eduction, ch. 4 et 6 Vernimmen (2005), Finnce d'entreprise, Dlloz, ch. 20 à 22 1- Mesurer les tux d'intérêt comprer les différents
Plus en détailBAILLY-GRANDVAUX Mathieu ZANIOLO Guillaume Professeur : Mrs Portehault
BAILLY-GRANDVAUX Mathieu ZANIOLO Guillaume Professeur : Mrs Portehault 1 I. Introdution...3 II. Généralités...3 Caratéristiques ommunes aux deux phénomènes...3 La différene entre la phosphoresene et la
Plus en détailFonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples
45 Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples Les espaces vectoriels considérés sont réels, non réduits au vecteur nul et
Plus en détailConseils et astuces pour les structures de base de la Ligne D30
Conseils et stuces pour les structures de bse de l Ligne D30 Conseils et stuces pour l Ligne D30 Ligne D30 - l solution élégnte pour votre production. Rentbilité optimle et méliortion continue des séquences
Plus en détailAVENTICUM. Petit guide actif pour découvrir l ancienne capitale de l Helvétie romaine cycle 2 degré 5-6 PER. Un jour à. Moi c est Camillus, et toi?
Petit guide tif pour déouvrir l nienne pitle de l Helvétie romine yle 2 degré 5-6 PER Moi est Cmillus, et toi? Dniel Stevn 2011 1 Mode d emploi Je suis un Romin d Aventium, une ville que j ime utnt que
Plus en détail- Phénoméne aérospatial non identifié ( 0.V.N.I )
ENQUETE PRELIMINAIRE ANALYSE ET REFEREWCES : Phénoméne érosptil non identifié ( 0VNI ) B8E 25400 DEF/GEND/OE/DOlRENS du 28/9/1992 Nous soussigné : M D L chef J S, OPJ djoint u commndnt de l brigde en résidence
Plus en détailUSB cable users: Do not connect the USB cable until step A2.
Bsis Guide Strt Here Commenez ii 1 USB ble users: Do not onnet the USB ble until step A2. Utilisteurs de âble USB : Ne onnetez ps le âble USB vnt l étpe A2. Use this guide to set up the hrdwre nd onnet
Plus en détailAvant d utiliser l appareil, lisez ce Guide de référence rapide pour connaître la procédure de configuration et d installation.
Guide de référence rpide Commencer Avnt d utiliser l ppreil, lisez ce Guide de référence rpide pour connître l procédure de configurtion et d instlltion. NE rccordez PAS le câle d interfce mintennt. 1
Plus en détailTurbine hydraulique Girard simplifiée pour faibles et très faibles puissances
Turbine hydrulique Girrd simplifiée pour fibles et très fibles puissnces Prof. Ing. Zoltàn Hosszuréty, DrSc. Professeur à l'université technique de Kosice Les sites hydruliques disposnt de fibles débits
Plus en détailThèse Présentée Pour obtenir le diplôme de doctorat en sciences En génie civil Option : structure
République Algérienne Démocrtique et Populire Ministère de l enseignement supérieur et de l recherche scientifique Université Mentouri de Constntine Fculté des sciences et sciences de l ingénieur Déprtement
Plus en détailNEWS PRO ACTIV. www.activexpertise.fr. [Juillet 2015] Ce mois-ci on vous parle de. L arrêté est applicable à compter du 1er Juillet 2015.
Ce mois-ci on vous prle de i Rpport de repérge minte : Trnsmission u Préfet obligtoire à compter du 1 er juillet 2015 Simplifiction des formlités : De bonnes nouvelles pour les entreprises de dignostic
Plus en détailLOGICIEL FONCTIONNEL EMC VNX
LOGICIEL FONCTIONNEL EMC VNX Améliortion des performnces des pplictions, protection des données critiques et réduction des coûts de stockge vec les logiciels complets d EMC POINTS FORTS VNX Softwre Essentils
Plus en détailCompte rendu de la validation d'un observateur cascade pour la MAS sans capteurs mécaniques sur la plate-forme d'essai de l'irccyn
Compte rendu de l vlidtion d'un oservteur cscde pour l MAS sns cpteurs mécniques sur l plte-forme d'essi de l'irccyn Mlek GHANES, Alin GLUMINEAU et Roert BOISLIVEAU Le 1 vril IRCCyN: Institut de Recherche
Plus en détailTOUT CE QU IL FAUT SAVOIR POUR LE BREVET
TOUT E QU IL FUT SVOIR POUR LE REVET NUMERIQUE / FONTIONS eci n est qu un rappel de tout ce qu il faut savoir en maths pour le brevet. I- Opérations sur les nombres et les fractions : Les priorités par
Plus en détailPour développer votre entreprise. Compta LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI!
Pour développer votre entreprise Compt Avec EBP Compt, vous ssurez le suivi de l ensemble de vos opértions et exploitez les données les plus complexes en toute sécurité. Toutes les fonctionnlités essentielles
Plus en détailANALYSE : FONCTIONS D UNE VARIABLE RÉELLE
Jen-Pierre Dedieu, Jen-Pierre Rymond ANALYSE : FONCTIONS D UNE VARIABLE RÉELLE Institut de Mthémtiques Université Pul Sbtier 31062 Toulouse cedex 09 jen-pierre.dedieu@mth.univ-toulouse.fr jen-pierre.rymond@mth.univ-toulouse.fr
Plus en détailLa protection différentielle dans les installations électriques basse tension
Juin 2001 La protetion différentielle dans les installations életriques basse tension Ce guide tehnique a pour objetif de mettre en évidene les prinipes de fontionnement des protetions différentielles
Plus en détailModule 2 : Déterminant d une matrice
L Mth Stt Module les déterminnts M Module : Déterminnt d une mtrice Unité : Déterminnt d une mtrice x Soit une mtrice lignes et colonnes (,) c b d Pr définition, son déterminnt est le nombre réel noté
Plus en détailLe canal étroit du crédit : une analyse critique des fondements théoriques
Le cnl étroit du crédit : une nlyse critique des fondements théoriques Rfl Kierzenkowski 1 CREFED Université Pris Duphine Alloctire de Recherche Avril 2001 version provisoire Résumé A l suite des trvux
Plus en détailNécessité de prendre en compte des termes d ordre G 3 pour mesurer γ à 10 8 près
Néessité de prendre en ompte des termes d ordre G 3 pour mesurer γ à 10 8 P. Teyssandier Observatoire de Paris Dépt SYRTE/CNRS-UMR 8630UPMC P. Teyssandier ( Observatoire de Paris Dépt SYRTE/CNRS-UMR Néessité
Plus en détailGuide d'utilisation Easy Interactive Tools Ver. 2
Guide d'utilistion Esy Interctive Tools Ver. 2 Guide d'utilistion Esy Interctive Tools Ver.2 Présenttion de Esy Interctive Tools 3 Crctéristiques Fonction de dessin Vous pouvez utiliser Esy Interctive
Plus en détailCOMPARAISON MULTIPLICATIVE DE GRANDEURS. schéma CE2 CM1 CM2
référé ou orne supérieure référent ou orne inférieure COMPARAISON MULTIPLICATIVE DE GRANDEURS shém CE2 CM1 CM2 x : x : Il y 5 fois plus e hises à l ntine que ns l lsse. Il y en 25 ns l lsse. Comien y -t-il
Plus en détailGuide des bonnes pratiques
Livret 3 MINISTÈRE DE LA RÉFORME DE L'ÉTAT, DE LA DÉCENTRALISATION ET DE LA FONCTION PUBLIQUE 3 Guide des bonnes prtiques OUTILS DE LA GRH Guide des bonnes prtiques Tble des mtières 1. Introduction p.
Plus en détailRéalisation de sites Internet PME & Grandes entreprises Offre Premium. Etude du projet. Webdesign. Intégration HTML. Développement.
Rélistion de sites Internet PME & Grndes entreprises Offre Premium Etude du projet Réunions de trvil et étude personnlisée de votre projet Définition d une strtégie de pré-référencement Webdesign Définition
Plus en détailDocumentHumain. Confidentiel. Disposition de fin de vie
Confidentiel Disposition de fin de vie DoumentHumain Mes volontés juridiquement valables onernant ma vie, mes périodes de souffrane, les derniers moments de mon existene et ma mort Institut interdisiplinaire
Plus en détailÉtape II. Compétences à développer de 8 à 12 ans. Grilles des compétences
Grilles des ompétenes Compétenes à développer de 8 à ans COMPÉTENCES DE 8 À ANS Les ompétenes en «aratères droits» sont à ertifier. (symbole en fin de ligne) Les ompétenes en «aratères italiques» sont
Plus en détailCOURS D ANALYSE. Licence d Informatique, première. Laurent Michel
COURS D ANALYSE Licence d Informtique, première nnée Lurent Michel Printemps 2010 2 Tble des mtières 1 Éléments de logique 5 1.1 Fbriquer des énoncés........................ 5 1.1.1 Enoncés élémentires.....................
Plus en détailLa pratique institutionnelle «à plusieurs»
L prtique institutionnelle «à plusieurs» mury Cullrd Février 2013 Nicols, inquiet: «Qund je suis seul vec quelqu un, il se psse des choses» Vlentin, à propos de l institution : «Ici, y beucoup de gens,
Plus en détailStructures algébriques
Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe
Plus en détailFormat UNIMARC Bibliographique abrégé
Formt UNIMARC Biliogrphiqe régé Ce doment donne l étt d formt près l dexième mise à jor de 1998. Il ontient en pls qelqes modifitions eptées pr le Comité permnent UNIMARC lors de s dernière rénion nnelle
Plus en détailClasseur courtier d assurance. Comment organiser son activité et se préparer à un contrôle
Clsseur courtier d ssurnce Comment orgniser son ctivité et se préprer à un contrôle 67, venue Pierre Grenier 92517 BOULOGNE-BILLANCOURT CEDEX Tél : 01.46.10.43.80 Fx : 01.47.61.14.85 www.streevocts.com
Plus en détailPour développer votre entreprise LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI!
Pour développer votre entreprise Gestion Commercile Gérez le cycle complet des chts (demnde de prix, fcture fournisseur), des stocks (entrée, sortie mouvement, suivi) et des ventes (devis, fcture, règlement,
Plus en détail#DSAA. Marseille. u Lycée Denis Diderot {Lycée Marie Curie é Lycée Jean Perrin. Lycée Saint Exupéry
# Marseille u Lyée Denis Diderot {Lyée Marie Curie é Lyée Jean Perrin Lyée Saint Exupéry #sommaire_ Introdution Diplôme Supérieur d Arts Appliqués spéialité Design / Marseille 4 Projet pédagogique global
Plus en détailremboursements factures prêts chômage dettes Le surendettement
les hiers de l tion soile remoursements ftures prêts hômge dettes Le surendettement Repères Selon l Assoition frnçise des soiétés finnières (ASF), reprennt les sttistiques présentées pr l Bnque de Frne
Plus en détailVotre dossier d adhésion
MSH INTERNATIONAL pour le ompte Votre dossier d adhésion Vous avez besoin d aide pour ompléter votre dossier d adhésion? Contatez-nous au +33 (0)1 44 20 48 77. Adhérent Bulletin d adhésion Titre : Mademoiselle
Plus en détailInfluence du milieu d étude sur l activité (suite) Inhibition et activation
Influence du milieu d étude sur l ctivité (suite) Inhibition et ctivtion Influence de l tempérture Influence du ph 1 Influence de l tempérture Si on chuffe une préprtion enzymtique, l ctivité ugmente jusqu
Plus en détailPartie 4 : La monnaie et l'inflation
Prtie 4 : L monnie et l'infltion Enseignnt A. Direr Licence 2, 1er semestre 2008-9 Université Pierre Mendès Frnce Cours de mcroéconomie suite 4.1 Introduction Nous vons vu dns l prtie introductive que
Plus en détailETUDE COMPARATIVE RELATIVE AU SERTISSAGE DES CANALISATIONS EN CUIVRE DANS LE SECTEUR DE LA RENOVATION
- Février 2003 - ETUDE COMPARATIVE RELATIVE AU SERTISSAGE DES CANALISATIONS EN CUIVRE DANS LE SECTEUR DE LA RENOVATION Centre d Information du Cuivre 30, avenue Messine 75008 Paris HOLISUD Ingénierie 21,
Plus en détailConditions Générales d Assurances Edition 2012.10
Assurne ménge Etudints Conditions Générles d Assurnes Edition 2012.10 Index Pge Art. A Couverture de se...... 2 Choses ssurées, risques ssurles... 2 Presttions et sommes d ssurne....... 4 Art. B Couverture
Plus en détail