Analyse des temps de réponse et de la demande processeur en ordonnancement temps réel de tâches périodiques
|
|
- Violette Dumouchel
- il y a 6 ans
- Total affichages :
Transcription
1 Ecole d été Temps Réel septembre 2005 Analyse des temps de réponse et de la demande processeur en ordonnancement temps réel de tâches pérodques Pascal Rchard Laboratore d Informatque Scentfque et Industrelle ENSMA et Unversté de Poters pascal.rchard@unv-poters.fr
2 Sommare 1. Introducton 2. Prncpes des deux Analyses 3. Tests Exacts 4. Tests Approchés 5. Les prncpaux problèmes rencontrés 2
3 1.1 Tâches pérodques Actvaton pérodque des tâches et notatons : D T D T J C J C r (k) R d (k) r (k+1) r (l) E d (l) r (l+1) R : Pre temps de réponse E : Melleur temps de réponse 3
4 1.1 Les problèmes d ordonnancement Ordonnancement en-lgne : Ordonnancement : chox ou concepton d un l algorthme chox du système d explotaton temps réel (Contrantes technques) Valdaton : vérfer le respect des contrantes temporelles Tests d ordonnançablté ou de fasablté (Problèmes d évaluaton des performances) 4
5 1.2 Technques de valdaton Analyse fondée sur le facteur d utlsaton Analyse de la demande processeur C T Analyse du temps de réponse Pont commun : une échéance d une tâche n est dépassée que dans un ntervalle de temps où le processeur est actf. 5
6 1.2. Technques d analyse Tâches pérodques ordonnancement nfn Soluton : - Détermnaton du pre scénaro d actvaton des tâches pouvant engendrer le non respect d une contrante temporelle - Calculer la durée cumulée d exécuton des tâches dans un ntervalle d étude fn correspondant au scénaro pre cas 6
7 1.2 Technques d analyse Test est exact s : Scénaro d actvaton (c.f. exposé précédent) : se produt toujours dans la ve du système Et Evaluaton de la demande processeur : calcul exact des durées cumulées d exécuton 7
8 1.2 Technques d analyse Test est approché s Le scénaro ne se produt pas nécessarement Ou Une borne supéreure des durées cumulées d exec. est calculée Surdmensonnement du système temps réel 8
9 2. Prncpes des deux analyses 2.1 Évaluer l actvté du processeur 2.2 Analyse du temps de réponse 2.3 Analyse de la demande processeur 9
10 2.1 Évaluer l actvté du processeur La demande processeur est la durée cumulée d exécuton des tâches : révellées dans l ntervalle de temps [0,t) Notatons : rbf(t) (request bound functon) ou G(t) Utlsaton : analyse des systèmes à prorté fxe révellées et à termner dans l ntervalle [0,t] Notatons : dbf(t) (demand bound functon) ou H(t) Utlsaton : analyse EDF 10
11 2.1 Foncton rbf(,t) Rbf(,t) : Request Bound Functon Pour chaque tâche, la durée cumulée d exécuton des tâches dans l ntervalle [0,t) consste à: 1. Trouver le nombre k de requêtes de la tâche dans l ntervalle 2. Multpler k par la pre durée d exécuton des tâches C 11
12 Foncton rbf(,t) Requête k révellée avant t Requête (k+1) révellée après ou à la date t ( ) < < + T r t k t T k r T r t k t kt r + C T r t t rbf =, 0 max ), (τ
13 2.1 Foncton rbf(,t) Foncton de traval du processeur sur [0,t[ W ( t) = rbf ( t) = rbf ( τ, t) n j= 1 j Foncton de traval des tâches de prortés supéreures ou égales à. W ( t) = rbf ( t) = rbf ( τ, t) j= 1 j 13
14 2.1 Foncton dbf(t) Dbf(0,t) (demand bound functon) : Requêtes révellées et à termner dans l ntervalle [0,t] n dbf (0, t) max 0, 1 = =1 t r D T + C 14
15 2.1 Exemple (1/2) Confguraton de tâches (r =0): Tâches C D T H =120 15
16 2.1 Exemple (2/2) rbf(t) dbf(t) t 16
17 2.2 Analyse du temps réponse Analyse tâche par tâche : 1. Détermner le pre scénaro d actvaton des tâches condusant la tâche analysée à son pre temps de réponse 2. Calculer le pre temps de réponse dans l ntervalle d étude assocé au scénaro par approxmaton successve (formule tératve) Trouver un algorthme avec une convergence rapde 3. Vérfer R D Etablr un résultat analytque 17
18 2.3 Analyse de la demande processeur Analyse smultanée de toutes les tâches : 1. Calculer la durée cumulée d exécuton H des tâches dans tout ntervalle de temps [t 1,t 2 ] t ( ) < t dbf t, t t t 1 2 Rq: La noton de scénaro permet de lmter le nombre d ntervalles [t 1,t 2 ] à étuder 18
19 3. Tests exacts Analyse du temps de réponse Prorté fxe EDF Analyse de la demande processeur Prorté fxe EDF 19
20 3.1. Analyse temps réponse (FPP) Systèmes à prorté fxe (Joseph et al. 1986) Résoluton W (t)=t par approxmaton successve (en partant d une borne nféreure de R ) R rbf(t) t Algorthme pseudo-polynomal (Complexté : Pb ouvert) 20
21 3.1. Analyse temps réponse (EDF) Systèmes sous EDF (attenton au pre scénaro!) a) Tâches pérodques (sans ggue) : Aucun algorthme (pseudo-polynomal) exact connu Statut Complexté : ouvert b) Tâches sporadques (ou pérodques avec ggue sur actvaton): Spur (1996) propose un algorthme exact pseudopolynomal 21
22 3.2 Demande Processeur (FPP) Tâches à prorté fxe (Lehoczky, Sha et Dng 89): Scénaro : rechercher une faute temporelle dans [0,D ) Prncpe du test : Il exste une date t telle que la charge de traval des tâches de prorté supéreure ou égale à est termnée dans l ntervalle [0,D ) t [0, D ) W ( t) t 22
23 3.2 Demande Processeur (FPP) Améloraton du test : W (t)/t ne change de valeur qu à chaque nouveau rével de tâches S = bt j j D = 1, b = 1 Tj Schedulng Ponts ou Testng Set Nombre de dates à tester dépend des paramètres des tâches (Algorthme pseudo-polynomal) 23
24 3.2 Demande Processeur (FPP) Formulaton synthétque (et classque) du test : max mn 1 n t S W = t ( t) 1 24
25 3.2 Demande Processeur (FPP) Tâches C D T Exemple : S S S = = = { 10} { 10,20,30} { 10,20,30,40,50,60,70,80,90,100} t W 1 (t)/t 0,2 W 2 (t)/t 1,2 0,7 0,5 W 3 (t)/t 6,7 3,4 2,3 2,0 1,7 1,4 1,4 1,2 1,14 1,1 Système non ordonnançable 25
26 3.2 Demande Processeur (FPP) Remarques de mse en œuvre: Les tâches peuvent être analysées séparément Dès qu une date t S respecte la condton alors la tâche est ordonnançable Ordre d étude des dates de S est quelconque (plus performant de commencer par la fn) 26
27 3.2 Demande Processeur (EDF) Tâches pérodques à échéance sur requête dbf n ( 0, t) = C = 1 t + T D T Scénaro : ( 0, t2 t1 ) dbf ( t1, t2 ) t1 t2 dbf < La pérode d étude se lmte à l ntervalle [0, t lmte ] 27
28 3.2 Demande Processeur (EDF) Test de Baruah, Howell, Roser (1990): ordonnançable s, et seulement s, ( 0, t) t t, 0 < t tlm dbf < Rq: S pour une date t la condton n est pas vérfée, alors le système est non ordonnançable Il exste des améloratons lmtant le nombre de ponts d ordonnancement (dates t) à tester. 28
29 3.2 Demande Processeur (EDF) Tâches C D T Exemple : Condton non vérfée pour t=100 dbf ( 0,100) =
30 3.2 Demande Processeur (EDF) Interprétaton graphque t= rbf(t) dbf(t) t 30
31 4. Tests Approchés Intérêts : Temps de calcul trop long Admsson en-lgne de tâches pérodques Condton suffsante d ordonnançablté S test répond OK système ordonnançable Snon, pas de concluson 31
32 4.1 Tests Approchés sans garante Mas quelles sont les garantes? Ex: Analyse du temps de réponse en Ordonnancement non préemptf, FPP Prorté 1 C 1 T 1 =T 2 Prorté 2 C 2 Temps de réponse exacts sont : R R * 1 * 2 = C = C C 2 32
33 4.1 Tests Approchés sans garante Analyse classque du temps de réponse : Calcul en tenant compte de la plus longue tâche mons prortare R + 1 = C1 C2 Aucune garante de performance : R C 2 * 1 = 1 + R1 C1 33
34 4.1 Tests Approchés sans garante Analyse holstque d un système temps réel (analyse du temps de réponse) VAN M1 M4 7 M M3 8 M M M M8 25 M M M5 M6 M7 M M M1 6 M CAN M1 8 M
35 4.1 Tests Approchés sans garante Thèse de Ken Tndell, 1994 (York Unversty) Les ggues sur actvaton modélsent la dépendance entre les calculs des temps de réponse des tâches et des messages Prncpe de l analyse : ntalser les ggues à 0 Calculer les temps de réponse processeur par processeur et réseau par réseau (systèmes ndépendants) Mettre à jour les ggues avec les temps de réponse Itérer les calculs jusqu au premer pont fxe 35
36 4.1 Tests Approchés sans garante Chaque système (processeur, réseau) possède sa propre foncton de calcul du pre temps de réponse 1 n R ( k ) = ( k ) = (0) = TempsReponse J J max 0 j pred ( ) ( ( k 1), J ) ( ( k ) R ) n : nombre de tâches et de messages pred() : prédécesseur mmédat de dans le graphe de communcaton 36
37 4.1 Tests Approchés sans garante Temps de calcul : Calculs sont rapdes (sous problèmes pseudo-polynomaux) L ordre de résoluton des équatons a peu d nfluence sur le temps de calcul Pessmsme : Améloraton des bornes (Palenca et al., 1998, 1999, 2003) L analyse holstque permet de valder des systèmes où les processeurs sont chargés à 70% (M. Rchard, 2003) 37
38 4.2 Tests Approchés avec garante Algorthme approché A pour toute nstance de problème I (d optmsaton) ( A( I) OPT ( I) ) OPT ( I) ε Approxmaton polynomale Schéma d approxmaton polynomale (PTAS) Schéma d approxmaton polynomale complet (FTPAS) Algorthmes où ε est un paramètre d entrée 38
39 4.2. Approxmaton des temps de réponse Approxmaton polynomale (avec garante) des temps de réponse Aucun résultat n est connu dans la lttérature 39
40 4.2. Approxmaton de la demande processeur Ordonnançablté et approxmaton Le test répond OK Syst. Ordonnançable Le test répond OK Syst. non Ordonnançable sur un processeur plus lent (vtesse 1-ε) 40
41 4.2. Approxmaton de la demande processeur Approxmaton de la foncton de traval W(t) (Syst. à prorté fxe Fsher et Baruah (2004)) approx_rbf(tau_3,t) f(t)=t approx_rbf(tau_2,t) On ne consdère qu un nombre lmté de palers, pus On utlse une borne sup. lnéare 41
42 4.2. Approxmaton de la demande processeur FPTAS de Fsher et Baruah (2004), (2005), k premers palers rbf ( 0, t) = rbf (0, t) t ( k 1) = C + t C T t > T ( k 1) T Borne supéreure lnéare de la foncton rbf(t) t 42
43 4.2. Approxmaton de la demande processeur Le test : Utlsaton du prncpe de l analyse de la demande processeur de Lehoczky, Sha et Dng (1989) Ensemble de test à une talle polynomale D 43
44 5.1 Les Smplfcatons Rendre un calcul exact. s assurer que le pre scénaro peut survenr Ajouter des ggues sur actvatons Consdérer des tâches sporadques plutôt que pérodques 44
45 5.2 Les dffcultés Les deux problèmes à étuder avant de concevor un test 1. Anomales d ordonnancement «rédure la durée d une tâche peut rendre le système non ordonnançable» 1. Complexté (P, NP, co-np, ) 45
46 5.1. Anomales Ex: ordonnancement non préemptf (FPP) C 2 =2 4 C 2 =1 46
47 5.1. Anomales Anomales en monoprocesseur Ressources partagées Contrantes de précédence en FPP Tâches avec suspenson (Entrée/Sorte) 47
48 5.1. Anomales Les anomales rendent : Ordonnancement non robuste Pre scénaro est plus dffcle à caractérser 48
49 5.2. Complexté Complexté des problèmes d ordonnançablté Stratéges Caractérstques Complextés Dspatchng des tâches Pmtn, no susp D =T ; r =0 P Pmtn, no susp D T ; r =0 ouvert Pmtn, no susp r 0 co-np-dffcle Pmtn, susp D =T ; r =0 NP-Dffcle No pmtn NP-Dffcle 49
50 5.2. Complexté Un cas troublant : tâches à départ smultané et à échéance sur requête Test en FPP (Lehoczky, Sha et Dng 89) Répondre OK en temps polynomal NP Test EDF (Baruah, Roser, Howell 90) Répondre OK en temps polynomal co-np 50
51 Conclusons Analyse du temps de réponse Calcul par approxmaton successve Nombreuses extensons Pas de tests approchés avec garante de perf. Analyse de la demande processeur Calcul sur un ensemble de test Dffcle à étendre à des syst. complexes Tests approchés avec garante de perf. 51
52 Consels de lecture Analyse de la demande processeur EDF : Rpoll, Crespo, Mok «Improvement n feasblty testng for real-tme tasks», Journal of Real-Tme Systems, 11(1):19-39, 1996 FPP : Manabe, Aoyag «A feasblty decson algorthm for rate monotonc and deadlne monotonc schedulng», Journal of Real-Tme Systems, 14(2): ,
53 Et encore plus bentôt. RTNS 2006 Real-Tme and Network Systems ma 2006 Poters 53
Calcul de tableaux d amortissement
Calcul de tableaux d amortssement 1 Tableau d amortssement Un emprunt est caractérsé par : une somme empruntée notée ; un taux annuel, en %, noté ; une pérodcté qu correspond à la fréquence de remboursement,
Plus en détailhal-00409942, version 1-14 Aug 2009
Manuscrt auteur, publé dans "MOSIM' 008, Pars : France (008)" 7 e Conférence Francophone de MOdélsaton et SIMulaton - MOSIM 08 - du mars au avrl 008 - Pars - France «Modélsaton, Optmsaton et Smulaton des
Plus en détailSTATISTIQUE AVEC EXCEL
STATISTIQUE AVEC EXCEL Excel offre d nnombrables possbltés de recuellr des données statstques, de les classer, de les analyser et de les représenter graphquement. Ce sont prncpalement les tros éléments
Plus en détailEH SmartView. Identifiez vos risques et vos opportunités. www.eulerhermes.be. Pilotez votre assurance-crédit. Services en ligne Euler Hermes
EH SmartVew Servces en lgne Euler Hermes Identfez vos rsques et vos opportuntés Plotez votre assurance-crédt www.eulerhermes.be Les avantages d EH SmartVew L expertse Euler Hermes présentée de manère clare
Plus en détailPlan. Gestion des stocks. Les opérations de gestions des stocks. Les opérations de gestions des stocks
Plan Geston des stocks Abdellah El Fallah Ensa de Tétouan 2011 Les opératons de gestons des stocks Les coûts assocés à la geston des stocks Le rôle des stocks Modèle de la quantté économque Geston calendare
Plus en détailProjet de fin d études
Unversté Franços Rabelas Tours Ecole Polytechnque Unverstare de Tours Département Informatque Projet de fn d études Ordonnancement Juste à Temps avec geston des stocks Chopn Antone Mrault Arnaud 3ème année
Plus en détailRemboursement d un emprunt par annuités constantes
Sére STG Journées de formaton Janver 2006 Remboursement d un emprunt par annutés constantes Le prncpe Utlsaton du tableur Un emprunteur s adresse à un prêteur pour obtenr une somme d argent (la dette)
Plus en détailPage 5 TABLE DES MATIÈRES
Page 5 TABLE DES MATIÈRES CHAPITRE I LES POURCENTAGES 1. LES OBJECTIFS 12 2. LES DÉFINITIONS 14 1. La varaton absolue d'une grandeur 2. La varaton moyenne d'une grandeur (par unté de temps) 3. Le coeffcent
Plus en détailFiche n 7 : Vérification du débit et de la vitesse par la méthode de traçage
Fche n 7 : Vérfcaton du débt et de la vtesse par la méthode de traçage 1. PRINCIPE La méthode de traçage permet de calculer le débt d un écoulement ndépendamment des mesurages de hauteur et de vtesse.
Plus en détailAnalyse des Performances et Modélisation d un Serveur Web
SETIT 2009 5 th Internatonal Conference: Scences of Electronc, Technologes of Informaton and Telecommuncatons March 22-26, 2009 TUNISIA Analyse des Performances et Modélsaton d un Serveur Web Fontane RAFAMANTANANTSOA*,
Plus en détailMontage émetteur commun
tour au menu ontage émetteur commun Polarsaton d un transstor. ôle de la polarsaton La polarsaton a pour rôle de placer le pont de fonctonnement du transstor dans une zone où ses caractérstques sont lnéares.
Plus en détailEvaluation de performances d'ethernet commuté pour des applications temps réel
Evaluaton de performances d'ethernet commuté pour des applcatons temps réel Ans Koubâa, Ye-Qong Song LORIA-INRIA-INPL, Avenue de la Forêt de Haye - 5456 Vandoeuvre - France Emal : akoubaa@lorafr, song@lorafr
Plus en détailLes jeunes économistes
Chaptre1 : les ntérêts smples 1. défnton et calcul pratque : Défnton : Dans le cas de l ntérêt smple, le captal reste nvarable pendant toute la durée du prêt. L emprunteur dot verser, à la fn de chaque
Plus en détailCalculer le coût amorti d une obligation sur chaque exercice et présenter les écritures dans les comptes individuels de la société Plumeria.
1 CAS nédt d applcaton sur les normes IAS/IFRS Coût amort sur oblgatons à taux varable ou révsable La socété Plumera présente ses comptes annuels dans le référentel IFRS. Elle détent dans son portefeulle
Plus en détailChapitre 3 : Incertitudes CHAPITRE 3 INCERTITUDES. Lignes directrices 2006 du GIEC pour les inventaires nationaux de gaz à effet de serre 3.
Chaptre 3 : Incerttudes CHAPITRE 3 INCERTITUDES Lgnes drectrces 2006 du GIEC pour les nventares natonaux de gaz à effet de serre 3.1 Volume 1 : Orentatons générales et établssement des rapports Auteurs
Plus en détailMesure avec une règle
Mesure avec une règle par Matheu ROUAUD Professeur de Scences Physques en prépa, Dplômé en Physque Théorque. Lycée Alan-Fourner 8000 Bourges ecrre@ncerttudes.fr RÉSUMÉ La mesure d'une grandeur par un système
Plus en détailQ x2 = 1 2. est dans l ensemble plus grand des rationnels Q. Continuons ainsi, l équation x 2 = 1 2
Exo7 Nombres complexes Vdéo parte. Les nombres complexes, défntons et opératons Vdéo parte. Racnes carrées, équaton du second degré Vdéo parte 3. Argument et trgonométre Vdéo parte 4. Nombres complexes
Plus en détailPrise en compte des politiques de transport dans le choix des fournisseurs
INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE N attrbué par la bblothèque THÈSE Pour obtenr le grade de DOCTEUR DE L I.N.P.G. Spécalté : Géne Industrel Préparée au Laboratore d Automatque de Grenoble Dans
Plus en détailEcole Polytechnique de Montréal C.P. 6079, succ. Centre-ville Montréal (QC), Canada H3C3A7 lucas.greze@polymtl.ca robert.pellerin@polymtl.
CIGI 2011 Processus d accélératon de proets sous contrantes de ressources avec odes de chevaucheent LUCAS GREZE 1, ROBERT PELLERIN 1, PATRICE LECLAIRE 2 1 CHAIRE DE RECHERCHE JARISLOWSKY/SNC-LAVALIN EN
Plus en détailEditions ENI. Project 2010. Collection Référence Bureautique. Extrait
Edtons ENI Project 2010 Collecton Référence Bureautque Extrat Défnton des tâches Défnton des tâches Project 2010 Sasr les tâches d'un projet Les tâches représentent le traval à accomplr pour attendre l'objectf
Plus en détailEn vue de l'obtention du. Présentée et soutenue par Meva DODO Le 06 novembre 2008
THÈSE En vue de l'obtenton du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE Délvré par l'unversté Toulouse III - Paul Sabater Spécalté : Informatque Présentée et soutenue par Meva DODO Le 06 novembre 2008 Ttre
Plus en détailPourquoi LICIEL? Avec LICIEL passez à la vitesse supérieure EPROUVE TECHNICITE CONNECTE STABILITE SUIVIE COMMUNAUTE
L og c el s de D agnos t c s I mmob l er s Cont ac t eznous 32BddeS t r as bougcs3010875468 Par scedex10tel. 0253354064Fax0278084116 ma l : s er v c e. c l ent @l c el. f r Pourquo LICIEL? Implanté sur
Plus en détailAssurance maladie et aléa de moralité ex-ante : L incidence de l hétérogénéité de la perte sanitaire
Assurance malade et aléa de moralté ex-ante : L ncdence de l hétérogénété de la perte santare Davd Alary 1 et Franck Ben 2 Cet artcle examne l ncdence de l hétérogénété de la perte santare sur les contrats
Plus en détailBTS GPN 2EME ANNEE-MATHEMATIQUES-MATHS FINANCIERES MATHEMATIQUES FINANCIERES
MATHEMATIQUES FINANCIERES I. Concepts généraux. Le référentel précse : Cette parte du module M4 «Acquérr des outls mathématques de base nécessares à l'analyse de données économques» est en relaton avec
Plus en détailProfessionnel de santé équipé de Médiclick!
Professonnel de santé équpé de Médclck! Dosser Médcal Partagé en Aqutane Ce gude vous présente les prncpales fonctonnaltés réservées aux professonnels de santé membres du réseau AquDMP. Sommare Connexon
Plus en détailExercices d Électrocinétique
ercces d Électrocnétque Intensté et densté de courant -1.1 Vtesse des porteurs de charges : On dssout une masse m = 20g de chlorure de sodum NaCl dans un bac électrolytque de longueur l = 20cm et de secton
Plus en détailDES EFFETS PERVERS DU MORCELLEMENT DES STOCKS
DES EFFETS PERVERS DU MORCELLEMENT DES STOCKS Le cabnet Enetek nous démontre les mpacts négatfs de la multplcaton des stocks qu au leu d amélorer le taux de servce en se rapprochant du clent, le dégradent
Plus en détailPro2030 GUIDE D UTILISATION. Français
Pro2030 GUIDE D UTILISATION Franças Contents Garante... Introducton... 1 Artcle nº 605056 Rév C Schéma nº A605056 Novembre 2010 2010 YSI Incorporated. Le logo YSI est une marque déposée de YSI Incorporated.
Plus en détailSystème solaire combiné Estimation des besoins énergétiques
Revue des Energes Renouvelables ICRESD-07 Tlemcen (007) 109 114 Système solare combné Estmaton des besons énergétques R. Kharch 1, B. Benyoucef et M. Belhamel 1 1 Centre de Développement des Energes Renouvelables
Plus en détailTD 1. Statistiques à une variable.
Danel Abécasss. Année unverstare 2010/2011 Prépa-L1 TD de bostatstques. Exercce 1. On consdère la sére suvante : TD 1. Statstques à une varable. 1. Calculer la moyenne et l écart type. 2. Calculer la médane
Plus en détailTHESE. Khalid LEKOUCH
N d ordre : /2012 THESE Présentée à la FACULTE DES SCIENCES D AGADIR En vue de l obtenton du GRADE DE DOCTEUR EN PHYSIQUE (Spécalté : Energétque, Thermque et Métrologe) Par Khald LEKOUCH MODELISATION ET
Plus en détailLE RÉGIME DE RETRAITE DU PERSONNEL CANADIEN DE LA CANADA-VIE (le «régime») INFORMATION IMPORTANTE CONCERNANT LE RECOURS COLLECTIF
1 LE RÉGIME DE RETRAITE DU PERSONNEL CANADIEN DE LA CANADA-VIE (le «régme») INFORMATION IMPORTANTE CONCERNANT LE RECOURS COLLECTIF AVIS AUX RETRAITÉS ET AUX PARTICIPANTS AVEC DROITS ACQUIS DIFFÉRÉS Expédteurs
Plus en détailPour plus d'informations, veuillez nous contacter au 04.75.05.52.62. ou à contact@arclim.fr.
Régulaton Sondes & Capteurs Détente frgo électronque Supervson & GTC Humdfcaton & Déshu. Vannes & Servomoteurs Comptage eau, elec., énerge Ancens artcles Cette documentaton provent du ste www.arclm.eu
Plus en détailCorrections adiabatiques et nonadiabatiques dans les systèmes diatomiques par calculs ab-initio
Correctons adabatques et nonadabatques dans les systèmes datomques par calculs ab-nto Compte rendu du traval réalsé dans le cadre d un stage de quatre mos au sen du Groupe de Spectroscope Moléculare et
Plus en détail1 Introduction. 2 Définitions des sources de tension et de courant : Cours. Date : A2 Analyser le système Conversion statique de l énergie. 2 h.
A2 Analyser le système Converson statque de l énerge Date : Nom : Cours 2 h 1 Introducton Un ConVertsseur Statque d énerge (CVS) est un montage utlsant des nterrupteurs à semconducteurs permettant par
Plus en détailI. Présentation générale des méthodes d estimation des projets de type «unité industrielle»
Evaluaton des projets et estmaton des coûts Le budget d un projet est un élément mportant dans l étude d un projet pusque les résultats économques auront un mpact sur la réalsaton ou non et sur la concepton
Plus en détailCREATION DE VALEUR EN ASSURANCE NON VIE : COMMENT FRANCHIR UNE NOUVELLE ETAPE?
CREATION DE VALEUR EN ASSURANCE NON VIE : COMMENT FRANCHIR UNE NOUVELLE ETAPE? Boulanger Frédérc Avanssur, Groupe AXA 163-167, Avenue Georges Clémenceau 92742 Nanterre Cedex France Tel: +33 1 46 14 43
Plus en détailStéganographie Adaptative par Oracle (ASO)
Stéganographe Adaptatve par Oracle ASO Sarra Kouder, Marc Chaumont, Wllam Puech To cte ths verson: Sarra Kouder, Marc Chaumont, Wllam Puech. Stéganographe Adaptatve par Oracle ASO. CORESA 12: COmpresson
Plus en détailContact SCD Nancy 1 : theses.sciences@scd.uhp-nancy.fr
AVERTISSEMENT Ce document est le frut d'un long traval approuvé par le jury de soutenance et ms à dsposton de l'ensemble de la communauté unverstare élarge. Il est soums à la proprété ntellectuelle de
Plus en détailAVERTISSEMENT. Contact SCD INPL: mailto:scdinpl@inpl-nancy.fr LIENS
AVERTISSEMENT Ce document est le frut d un long traval approuvé par le jury de soutenance et ms à dsposton de l ensemble de la communauté unverstare élarge. Il est soums à la proprété ntellectuelle de
Plus en détailBe inspired. Numéro Vert. Via Caracciolo 20 20155 Milano tel. +39 02 365 22 990 fax +39 02 365 22 991
Ggaset SX353 / französsch / A31008-X353-P100-1-7719 / cover_0_hedelberg.fm / 03.12.2003 s Be nspred www.onedrect.fr www.onedrect.es www.onedrect.t www.onedrect.pt 0 800 72 4000 902 30 32 32 02 365 22 990
Plus en détailProtection. la PROTECTION EN SAVOIR PLUS SUR. Les services. Dossier Métier. La Réglementation. - Mettre à disposition gratuitement et personnellement
Dosser Méter Protecton EN SAVOIR PLUS SUR la PROTECTION Les servces Etude de poste Nos équpes de spécalstes Protecton peuvent étuder les rsques sur chaque poste de traval et préconser les équpements les
Plus en détailPerformances de la classification par les Séparateurs à Vaste Marge (SVM): application au diagnostic vibratoire automatisé
4th Internatonal Conference on Coputer Integrated Manufacturng CIP 2007 03-04 Noveber 2007 Perforances de la classfcaton par les Séparateurs à Vaste Marge (SVM): applcaton au dagnostc vbratore autoatsé
Plus en détailOrdonnancement temps réel
Ordonnancement temps réel Laurent.Pautet@enst.fr Version 1.5 Problématique de l ordonnancement temps réel En fonctionnement normal, respecter les contraintes temporelles spécifiées par toutes les tâches
Plus en détailChapitre IV : Inductance propre, inductance mutuelle. Energie électromagnétique
Spécale PSI - Cours "Electromagnétsme" 1 Inducton électromagnétque Chaptre IV : Inductance propre, nductance mutuelle. Energe électromagnétque Objectfs: Coecents d nductance propre L et mutuelle M Blan
Plus en détailQualité de service 7. Ordonnanceurs de paquets. Contexte. Intégration de services. Plan. Multiplexage. FIFO/DropTail. Priorités
NE52 éseaux avancés Qualté de servce hrstophe Deleuze ESISA/INPG LIS 7 déc 24/3 jan 25 ontexte commutaton de crcuts partage statque solaton complète ex : vox gaspllage de la bande passante commutaton de
Plus en détailInterface OneNote 2013
Interface OneNote 2013 Interface OneNote 2013 Offce 2013 - Fonctons avancées Lancer OneNote 2013 À partr de l'nterface Wndows 8, utlsez une des méthodes suvantes : - Clquez sur la vgnette OneNote 2013
Plus en détailLes prix quotidiens de clôture des échanges de quotas EUA et de crédits CER sont fournis par ICE Futures Europe
Méthodologe CDC Clmat Recherche puble chaque mos, en collaboraton avec Clmpact Metnext, Tendances Carbone, le bulletn mensuel d nformaton sur le marché européen du carbone (EU ETS). L obectf de cette publcaton
Plus en détailRéseau RRFR pour la surveillance dynamique : application en e-maintenance.
Réseau RRFR pour la survellance dynamue : applcaton en e-mantenance. RYAD ZEMOURI, DANIEL RACOCEANU, NOUREDDINE ZERHOUNI Laboratore Unverstare de Recherche en Producton Automatsée (LURPA) 6, avenue du
Plus en détailAPPROXIMATION PAR RÉSEAUX À FONCTIONS RADIALES DE BASE APPLICATION À LA DÉTERMINATION DU PRIX D ACHAT D UNE
APPROXIMATION PAR RÉSEAUX À FONCTIONS RADIALES DE BASE APPLICATION À LA DÉTERMINATION DU PRIX D ACHAT D UNE OPTION. A. Lendasse, J. Lee 2, E. de Bodt 3, V. Wertz, M. Verleysen 2 Unversté catholque de Louvan,
Plus en détail- Acquisition de signaux en sismologie large bande. - Acquisition de signaux lents, magnétisme, MT.
87 DUCAPTEURAUXEANQUESDEDONNEES. TECHNQUES D'NSTRUMENTATON EN GEOPEY8QUE. J:M. CANTN Unversté Lous Pasteur (Strasbourg 1) nsttut de Physque du Globe de Strasbourg Ecole et Observatore de Physque du Globe.
Plus en détailTerminal numérique TM 13 raccordé aux installations Integral 33
Termnal numérque TM 13 raccordé aux nstallatons Integral 33 Notce d utlsaton Vous garderez une longueur d avance. Famlarsez--vous avec votre téléphone Remarques mportantes Chaptres à lre en prorté -- Vue
Plus en détailREPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE. MEMOIRE Présentée à
REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE MEMOIRE Présentée à L Unversté de Batna Faculté des Scences Département de Physque
Plus en détailMÉTHODES DE SONDAGES UTILISÉES DANS LES PROGRAMMES D ÉVALUATIONS DES ÉLÈVES
MÉTHODES DE SONDAGES UTILISÉES DANS LES PROGRAMMES D ÉVALUATIONS DES ÉLÈVES Émle Garca, Maron Le Cam et Therry Rocher MENESR-DEPP, bureau de l évaluaton des élèves Cet artcle porte sur les méthodes de
Plus en détailCorrigé du problème de Mathématiques générales 2010. - Partie I - 0 0 0. 0.
Corrgé du problème de Mathématques générales 2010 - Parte I - 1(a. Sot X S A. La matrce A est un polynôme en X donc commute avec X. 1(b. On a : 0 = m A (A = m A (X n ; le polynôme m A (x n est annulateur
Plus en détailACTE DE PRÊT HYPOTHÉCAIRE
- 1 - ACTE DE PRÊT HYPOTHÉCAIRE 5453F QC FR-2010/01 Taux fxe Le. Devant M e, notare soussgné pour la provnce de Québec, exerçant à. ONT COMPARU : ET : (C-après parfos appelé dans le présent Acte l «emprunteur»
Plus en détailG estionnaire d espaces
MANUTENTION MISE À HAUTEUR & POSITIONNEMENT ACCÈS SÉCURISÉ SERVICES G estonnare d espaces Produt Franças PRODUIT EXCLU SMAI MOTORISATION ÉLECTRIQUE ÉCO RESPONSABLE ÉCO SOLUTIONS www.sma.fr - contact@sma.fr
Plus en détailsanté Les arrêts de travail des séniors en emploi
soldarté et DOSSIERS Les arrêts de traval des sénors en emplo N 2 2007 Les sénors en emplo se dstnguent-ls de leurs cadets en termes de recours aux arrêts de traval? Les sénors ne déclarent pas plus d
Plus en détailINTRODUCTION. Jean-Pierre MAGNAN Chef de la section des ouvrages en terre Département des sols et fondations Laboratoire central
Etude numérque de la consoldaton undmensonnelle en tenant compte des varatons de la perméablté et de la compressblté du sol, du fluage et de la non-saturaton Jean-Perre MAGNAN Chef de la secton des ouvrages
Plus en détailGENESIS - Generalized System for Imputation Simulations (Système généralisé pour simuler l imputation)
GENESS - Generalzed System for mputaton Smulatons (Système généralsé pour smuler l mputaton) GENESS est un système qu permet d exécuter des smulatons en présence d mputaton. L utlsateur fournt un ensemble
Plus en détailLeanConcept. La solution déploiement du Lean Manufacturing. Stockage Logistique Ergonomie Environnement Aménagement Services
Stockage Logstque Ergonome Envronnement Aménagement Servces La soluton déploement du Lean Manufacturng SIRE 4808480004 - NAF 4669C - VA ntracommunautare FR 9480848 www.sma.fr - contact@sma.fr - Fax 05
Plus en détailGrandeur physique, chiffres significatifs
Grandeur physque, chffres sgnfcatfs I) Donner le résultat d une mesure en correspondance avec l nstrument utlsé : S avec un nstrument, ren n est ndqué sur l ncerttude absolue X d une mesure X, on consdère
Plus en détailIntegral T 3 Compact. raccordé aux installations Integral 5. Notice d utilisation
Integral T 3 Compact raccordé aux nstallatons Integral 5 Notce d utlsaton Remarques mportantes Remarques mportantes A quelle nstallaton pouvez-vous connecter votre téléphone Ce téléphone est conçu unquement
Plus en détailMots-clés : Système multicapteurs, Réseau local, Réseaux de neurones, Supervision, Domotique. xigences système d'une nouvelle
Mots-clés : xgences système d'une nouvelle fonctonnalté dans l'habtat ndvduel : cas de la survellance Système multcapteurs, Réseau local, Réseaux de neurones, Supervson, Domotque. des personnes âgées et
Plus en détailParlons. retraite. au service du «bien vieillir» L Assurance retraite. en chiffres* 639 192 retraités payés pour un montant de 4,2 milliards d euros
Édton Pays de la Lore Parlons La lettre aux retratés du régme général de la Sécurté socale 2012 retrate L Assurance retrate en chffres* 12,88 mllons de retratés 17,58 mllons de cotsants 346 000 bénéfcares
Plus en détailP R I S E E N M A I N R A P I D E O L I V E 4 H D
P R I S E E N M A I N R A P I D E O L I V E 4 H D Sommare 1 2 2.1 2.2 2.3 3 3.1 3.2 3.3 4 4.1 4.2 4.3 4.4 4.5 4.6 5 6 7 7.1 7.2 7.3 8 8.1 8.2 8.3 8.4 8.5 8.6 Contenu du carton... 4 Paramétrage... 4 Connexon
Plus en détailCalculs des convertisseurs en l'electronique de Puissance
Calculs des conertsseurs en l'electronque de Pussance Projet : PROGRAMMAON ate : 14 arl Auteur : herry EQUEU. EQUEU 1, rue Jules Massenet 37 OURS el 47 5 93 64 herry EQUEU Jun [V37] Fcher : ESGN.OC Calculs
Plus en détailSurveillance temps-réel des systèmes Homme-Machine. Application à l assistance à la conduite automobile
Survellance temps-réel des systèmes Homme-Machne. Applcaton à l assstance à la condute automoble Mguel Gonzalez-Mendoza To cte ths verson: Mguel Gonzalez-Mendoza. Survellance temps-réel des systèmes Homme-Machne.
Plus en détailVIELLE Marc. CEA-IDEI Janvier 1998. 1 La nomenclature retenue 3. 2 Vue d ensemble du modèle 4
GEMINI-E3 XL France Un outl destné à l étude des mpacts ndustrels de poltques énergétques et envronnementales VIELLE Marc CEA-IDEI Janver 1998 I LA STRUCTURE DU MODELE GEMINI-E3 XL FRANCE 3 1 La nomenclature
Plus en détailRAPPORT DE STAGE. Approcher la frontière d'une sous-partie de l'espace ainsi que la distance à cette frontière. Sujet : Master II : SIAD
UFR SCIENCES ET TECHNOLOGIES DEPARTEMENT DE MATHEMATIQUES ET INFORMATIQUE 63 177 AUBIERE CEDEX Année 2008-2009 Master II : SIAD RAPPORT DE STAGE Sujet : Approcher la frontère d'une sous-parte de l'espace
Plus en détailGénéralités sur les fonctions 1ES
Généraltés sur les fonctons ES GENERALITES SUR LES FNCTINS I. RAPPELS a. Vocabulare Défnton Une foncton est un procédé qu permet d assocer à un nombre x appartenant à un ensemble D un nombre y n note :
Plus en détailImpôt sur la fortune et investissement dans les PME Professeur Didier MAILLARD
Conservatore atonal des Arts et Méters Chare de BAQUE Document de recherche n 9 Impôt sur la fortune et nvestssement dans les PME Professeur Dder MAILLARD Avertssement ovembre 2007 La chare de Banque du
Plus en détailCHAPITRE 14 : RAISONNEMENT DES SYSTÈMES DE COMMANDE
HAITRE 4 : RAISONNEMENT DES SYSTÈMES DE OMMANDE RAISONNEMENT DES SYSTÈMES DE OMMANDE... 2 INTRODUTION... 22 RAELS... 22 alcul de la valeur ntale de la répone à un échelon... 22 alcul du gan tatque... 22
Plus en détailPREMIERS PAS en REGRESSION LINEAIRE avec SAS. Josiane Confais (UPMC-ISUP) - Monique Le Guen (CNRS-CES-MATISSE- UMR8174)
PREMIERS PAS en REGRESSION LINEAIRE avec SAS Josane Confas (UPMC-ISUP) - Monque Le Guen (CNRS-CES-MATISSE- UMR874) e-mal : confas@ccr.jusseu.fr e-mal : monque.leguen@unv-pars.fr Résumé Ce tutorel accessble
Plus en détailOPTIMALITÉ DU MÉCANISME DE RATIONNEMENT DE CRÉDIT DANS LE MODÈLE ISLAMIQUE DE FINANCEMENT
Etudes en Econoe Islaque, Vol. 6, Nos. & (-7) Mouharra, Raab 434H (Novebre 0, Ma 03) OPTIMALITÉ DU MÉCANISME DE RATIONNEMENT DE CRÉDIT DANS LE MODÈLE ISLAMIQUE DE FINANCEMENT ALIM BELEK Résué Le ratonneent
Plus en détailChapitre 7 : Intégration sur un intervalle quelconque
Universités Paris 6 et Paris 7 M1 MEEF Analyse (UE 3) 2013-2014 Chapitre 7 : Intégration sur un intervalle quelconque 1 Fonctions intégrables Définition 1 Soit I R un intervalle et soit f : I R + une fonction
Plus en détailLICENCE DE SCIENCES PHYSIQUES UV 3LSPH50. Année 2004-2005 MODÉLISATION. Recherche des paramètres d'une représentation analytique J.P.
LICENCE DE SCIENCES PHYSIQUES UV 3LSPH50 Année 004-005 MODÉLISATION Recherche des paramètres d'une représentaton analytque JP DUBÈS 3 MODÉLISATION Recherche des paramètres d'une représentaton analytque
Plus en détailLes méthodes numériques de la dynamique moléculaire
Les méthodes numérques de la dynamque moléculare Chrstophe Chpot Equpe de chme et & bochme théorques, Unté Mxte de Recherche CNRS/UHP 7565, Insttut Nancéen de Chme Moléculare, Unversté Henr Poncaré, B.P.
Plus en détailDirigeant de SAS : Laisser le choix du statut social
Drgeant de SAS : Lasser le chox du statut socal Résumé de notre proposton : Ouvrr le chox du statut socal du drgeant de SAS avec 2 solutons possbles : apprécer la stuaton socale des drgeants de SAS comme
Plus en détailErP : éco-conception et étiquetage énergétique. Les solutions Vaillant. Pour dépasser la performance. La satisfaction de faire le bon choix.
ErP : éco-concepton et étquetage énergétque Les solutons Vallant Pour dépasser la performance La satsfacton de fare le bon chox. ErP : éco-concepton et étquetage énergétque Eco-concepton et Etquetage
Plus en détailEn vue de l'obtention du. Présentée et soutenue par Elayeb Bilel Le 26 juin 2009
THÈSE En vue de l'obtenton du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE Délvré par Insttut Natonal Polytechnque de Toulouse (INPT) Dscplne ou spécalté : Informatque Présentée et soutenue par Elayeb Blel Le
Plus en détailEURIsCO. Cahiers de recherche. Cahier n 2008-05. L épargne des ménages au Maroc : Une analyse macroéconomique et microéconomique.
Cahers de recherche EURIsCO Caher n 2008-05 L épargne des ménages au Maroc : Une analyse macroéconomque et mcroéconomque Rapport d étude Najat El Mekkaou de Fretas (coordnateur) Eursco Unversté Pars Dauphne
Plus en détailZ77A-G45 GAMING Séres
Franças Z77A-G45 GAMING Séres Carte mère MS-7752 Spécficatons Processeurs Supportés 3ème Génératon Intel Core 7 / Core 5 / Core 3 / Pentum / Celeron processeurs dans LGA 1155 socket Jeux de puces Puces
Plus en détailSéparation de Sources par lissage cepstral des masques binaires
Séparaton de Sources par lssage cepstral des masques bnares Ibrahm Mssaou 1 Zed Lachr 1, 2 (1) École natonale d ngéneurs de Tuns, ENIT, BP. 37 Le Belvedere, 1002 Tuns, Tunse (2) Insttut natonal des scences
Plus en détailDes solutions globales fi ables et innovantes. www.calyon.com
Des solutons globales f ables et nnovantes www.calyon.com OPTIM Internet: un outl smple et performant Suv de vos comptes Tratement de vos opératons bancares Accès à un servce de reportng complet Une nterface
Plus en détailLes déterminants de la détention et de l usage de la carte de débit : une analyse empirique sur données individuelles françaises
Les détermnants de la détenton et de l usage de la carte de débt : une analyse emprque sur données ndvduelles françases Davd Boune Marc Bourreau Abel Franços Jun 2006 Département Scences Economques et
Plus en détailPrêt de groupe et sanction sociale Group lending and social fine
Prêt de roupe et sancton socale Group lendn and socal fne Davd Alary Résumé Dans cet artcle, nous présentons un modèle d antsélecton sur un marché concurrentel du crédt. Nous consdérons l ntroducton de
Plus en détailL automatisme de portail sans fils
Bo t erensa l l e enconnect onw F Feucl gnot antàl ed enconnect onw F Bo t erdépor t é ( enopt on) enconnect on W F Phot ocel l ul esen connect onw F 3cabl esàbr ancher Phase-Neut r e-ter r e 220V Bar
Plus en détailLes déterminants de la détention et de l usage de la carte de débit : une analyse empirique sur données individuelles françaises
Les détermnants de la détenton et de l usage de la carte de débt : une analyse emprque sur données ndvduelles françases Davd Boune a, Marc Bourreau a,b et Abel Franços a,c a Télécom ParsTech, Département
Plus en détailGUIDE D ÉLABORATION D UN PLAN D INTERVENTION POUR LE RENOUVELLEMENT DES CONDUITES D EAU POTABLE, D ÉGOUTS ET DES CHAUSSÉES
GUIDE D ÉLABORATION D UN PLAN D INTERVENTION POUR LE RENOUVELLEMENT DES CONDUITES D EAU POTABLE, D ÉGOUTS ET DES CHAUSSÉES Gude destné au mleu muncpal québécos NOVEMBRE 2013 Coordnaton : Martn Cormer,
Plus en détailÉconométrie. Annexes : exercices et corrigés. 5 e édition. William Greene New York University
Économétre 5 e édton Annexes : exercces et corrgés Wllam Greene New York Unversty Édton françase drgée par Dder Schlacther, IEP Pars, unversté Pars II Traducton : Stéphane Monjon, unversté Pars I Panthéon-Sorbonne
Plus en détailÉtranglement du crédit, prêts bancaires et politique monétaire : un modèle d intermédiation financière à projets hétérogènes
Étranglement du crédt, prêts bancares et poltque monétare : un modèle d ntermédaton fnancère à projets hétérogènes Mngwe Yuan et Chrstan Zmmermann Introducton et objet de l étude Par étranglement du crédt
Plus en détailClemenceau. Régime sinusoïdal forcé. Impédances Lois fondamentales - Puissance. Lycée. PCSI 1 - Physique. Lycée Clemenceau. PCSI 1 (O.
ycé Clnca PCS - Physq ycé Clnca PCS (O.Granr) ég snsoïdal forcé pédancs os fondantals - Pssanc ycé Clnca PCS - Physq ntérêt ds corants snsoïdax : Expl d tnsons snsoïdals : tnson d sctr (50 H 0 V) s lgns
Plus en détailContrats prévoyance des TNS : Clarifier les règles pour sécuriser les prestations
Contrats prévoyance des TNS : Clarfer les règles pour sécurser les prestatons Résumé de notre proposton : A - Amélorer l nformaton des souscrpteurs B Prévor plus de souplesse dans l apprécaton des revenus
Plus en détailDriss HARRIZI. MOTS CLES : contrôle de gestion - système d'éducation et de formation système d information - établissement public.
Ver sunenouvel l ecul t ur emanagér al e:mét hodol og e dem seenpl aced unsyst èmedecont r ôl edegest on dansunét abl ssementpubl c Casd uneacadém er ég onal ed éducat onetde f or mat on. Aut eur s:dr
Plus en détailPauvreté et fécondité au Congo
BUREAU D'APPLICATION DES METHODES STATISTIQUES ET INFORMATIQUES DT 14/2007 Pauvreté et fécondté au Congo Samuel AMBAPOUR Armel MOUSSANA HYLOD BAMSSII BAMSI B.P. 13734 Brazzavlle DT 14/2007 Pauvreté et
Plus en détailÉLÉMENTS DE THÉORIE DE L INFORMATION POUR LES COMMUNICATIONS.
ÉLÉMETS DE THÉORIE DE L IFORMATIO POUR LES COMMUICATIOS. L a théore de l nformaton est une dscplne qu s appue non seulement sur les (télé-) communcatons, mas auss sur l nformatque, la statstque, la physque
Plus en détail1. INTRODUCTION. Rev. Energ. Ren. : 11 èmes Journées Internationales de Thermique (2003)103-110
Rev. Energ. Ren. : 11 èes Journées Internatonales de Therque (00)10-110 Sulaton Nuérque Undensonnelle du Phénoène de Transfert de Chaleur, Masse et Charge dans une Ple à Cobustble à Mebrane Echangeuse
Plus en détailChapitre 1.5a Le champ électrique généré par plusieurs particules
hapte.5a Le chap électque généé pa pluseus patcules Le chap électque généé pa pluseus chages fxes Le odule de chap électque d une chage ponctuelle est adal, popotonnel à la chage électque et neseent popotonnel
Plus en détailManuel d'installation du système
Manuel d'nstallaton du système Système -énerge pour le chauffage et l'eau chaude GENIA HYBRID INTRODUCTION Tale des matères Gude d nstructons Documentaton produt Documents assocés Explcaton des symoles
Plus en détail