GreatSPN un ensemble d'outils Réseaux de Petri
|
|
- Ève Fortier
- il y a 6 ans
- Total affichages :
Transcription
1 GreatSPN un ensemble d'outils Réseaux de Petri Journée Outils AFSEC Lyon, INSA, 22 juin 2007 Patrice Moreaux, Nabila Salmi LISTIC Polytech'Savoie, Annecy (GT RdP, GDR MACS CNRS)
2 P. Moreaux, N.Salmi, LISTIC - 2 / Plan Introduction à GreatSPN Réseaux de Petri (RdP) GreatSPN et analyse des RdP Modèle stochastique GSPN et GreatSPN Réseaux de Petri colorés (WN) et GreatSPN Réseaux de Petri colorés stochastiques et GreatSPN Conclusions
3 P. Moreaux, N.Salmi, LISTIC - 3 / Plan Introduction à GreatSPN Réseaux de Petri (RdP) GreatSPN et analyse des RdP Modèle stochastique GSPN et GreatSPN Réseaux de Petri colorés (WN) et GreatSPN Réseaux de Petri colorés stochastiques et GreatSPN Conclusions
4 P. Moreaux, N.Salmi, LISTIC - 4 / Historique (1) Outil développé par le groupe Performances de l'u. De Turin (Italie): Ajmone Marsan, Balbo, Bobbio, Chiola, modèle SPN Interface texte, Pascal. Introduction du modèles GSPN Années 1980 Intégration des analyses qualitatives: invariants: semiflots de places, de transitions, syphons, trappes,... Introduction des distributions déterministes et type-phase. Interface graphique
5 P. Moreaux, N.Salmi, LISTIC - 5 / Historique (2) Années 90 modèles de haut niveau Modèles WN et SWN Simulation stochastique (ordinaire et symbolique) Années extensions par compléments SRG étendu (symétries partielles, LIP6) Logiques temporelles Décomposition de SWN... Développé par le groupe Performance du dpt. d'informatique de l'université de Turin Symétries partielles, extensions, logique temporelles: LIP6 Composition: LISTIC, LAMSADE
6 P. Moreaux, N.Salmi, LISTIC - 6 / Fonctionnalités (1) Modèles PN, GSPN, WN et SWN Interface graphique (pour les «petits» PN) Analyse structurelle Calcul du RG et analyse du RG (RG de «grande taille») Analyse de performances des GSPN définition d'indices de performance calcul en transitoire ou à l'équilibre calcul de séries d'indices selon une famille de paramètres (multisolve)
7 P. Moreaux, N.Salmi, LISTIC - 7 / Fonctionnalités (2) Interface avec outils externes: model checkers (logique temporelles), Années extensions par compléments SRG étendu (symétries partielles, LIP6) Logiques temporelles Décomposition de SWN... Fonctionne sous Unix-Linux, en mode texte et graphqiue (X11) Distribution gratuite sur demande pour le monde académique (Université de Turin, Dpt. D'informatique)
8 P. Moreaux, N.Salmi, LISTIC - 8 / Architecture de la démonstration Écran A Windows XP SP2 Serveur X11 GreatSPN Linux 32b Écran B GreatSPN Linux 64b machines en réseau
9 P. Moreaux, N.Salmi, LISTIC - 9 / Plan Introduction à GreatSPN Réseaux de Petri (RdP) GreatSPN et analyse des RdP Modèle stochastique GSPN et GreatSPN Réseaux de Petri colorés (WN) et GreatSPN Réseaux de Petri colorés stochastiques et GreatSPN Conclusions
10 P. Moreaux, N.Salmi, LISTIC - 10 / Réseau de Petri Places Transitions Arcs Marquages, marquage initial
11 P. Moreaux, N.Salmi, LISTIC - 11 / Réseau de Petri comportement Dynamique: franchissabilité, franchissement Graphe d'accessibilité (RG), ensemble des marquages accessibles (RS); bornitude, vivacité,...
12 P. Moreaux, N.Salmi, LISTIC - 12 / Les modèles réseaux de Petri Sémantique discrète (événements discrets) RdP à arcs inhibiteurs, reset,... Sémantique temporelle (temps continu) RdP T à flux,... Sémantique stochastique (processus stochastique) RdP TS à transitions immédiates, distributions type phase,... RdP RdP T RdP TS RdP prédicats-transition, colorés,... RdP TS colorés,... Abréviations à sémantique égale Extensions des modélisations Extensions des domaines sémantiques
13 P. Moreaux, N.Salmi, LISTIC - 13 / Plan Introduction à GreatSPN Réseaux de Petri (RdP) GreatSPN et analyse des RdP Modèle stochastique GSPN et GreatSPN Réseaux de Petri colorés (WN) et GreatSPN Réseaux de Petri colorés stochastiques et GreatSPN Conclusions
14 P. Moreaux, N.Salmi, LISTIC - 14 / GreatSPN interface graphique Démonstration: Édition Sauvegarde, chargement, impression
15 P. Moreaux, N.Salmi, LISTIC - 15 / Analyse qualitative Analyse structurelle: flots de places et transitions, etc. Calcul du graphe d'accessibilité, propriétés comportementales Examen du RG Travail en mode terminal
16 P. Moreaux, N.Salmi, LISTIC - 16 / Plan Introduction à GreatSPN Réseaux de Petri (RdP) GreatSPN et analyse des RdP Modèle stochastique GSPN et GreatSPN Réseaux de Petri colorés (WN) et GreatSPN Réseaux de Petri colorés stochastiques et GreatSPN Conclusions
17 P. Moreaux, N.Salmi, LISTIC - 17 / Le modèle GSPN t t 1 t 2 t 3 t 2 t 4 t 5 t 3 t 2 t 3 t 2 t 3 t 4 t 5 t 4 t 4 t 5 t 5 états tangibles 2 t 6 états évanescents t 4 t 5 t6 Transitions immédiates / temporisées (exponentielles) Délai avant franchissement, tir instantanné Marquage tangible / transitoire
18 P. Moreaux, N.Salmi, LISTIC - 18 / GSPN et chaîne de Markov On se ramène à un processus stochastique sur les états tangibles Pour un GSPN borné, le processus stochastique associé est une chaîne de Markov à espace d'états fini. GreatSPN permet l'édition des GSPN La définition d'indices de performances: fonctions des probabilités des marquages et des vitesses de tir Le calcul de ces indices À temps fini (transitoire) À l'équilibre
19 P. Moreaux, N.Salmi, LISTIC - 19 / GSPN et chaîne de Markov Démonstration Édition Définition des indices de performance Calcul des indices Visualisation des résultats
20 P. Moreaux, N.Salmi, LISTIC - 20 / Plan Introduction à GreatSPN Réseaux de Petri (RdP) GreatSPN et analyse des RdP Modèle stochastique GSPN et GreatSPN Réseaux de Petri colorés (WN) et GreatSPN Réseaux de Petri colorés stochastiques et GreatSPN Conclusions
21 P. Moreaux, N.Salmi, LISTIC - 21 / Well Formed Nets p a p b p c p 2.S r t a t b t c r C = {a,b,c} t X X q a q b q c q Modèle coloré: abréviation de PN («repliage») Modèle structuré: Domaines de couleurs: produit cartésien de couleurs de bases Fonctions d'arc: Identité (<X>), synchronisation/diffusion (<S>), successeur (<!x>) sur classes ordonnées.
22 P. Moreaux, N.Salmi, LISTIC - 22 / GreatSPN et WN GreatSPN est le seul outil interactif gérant les WNs Démonstration Édition Définition des classes et domaines de couleurs Fonctions d'arc
23 P. Moreaux, N.Salmi, LISTIC - 23 / Graphe symbolique d'accessibilité des WN Regroupement de marquages «équivalents» à une symétrie de couleurs près: marquage symbolique (SM) Représentation canonique d'un SM Regroupement des franchissements «équivalents»: Franchissement symbolique Calcul du graphe symbolique directement à partir de la définition du WN: gains si symétries de comportement.
24 P. Moreaux, N.Salmi, LISTIC - 24 / Graphe symbolique d'accessibilité des WN Démonstration: Calcul de SRG Examen du SRG
25 P. Moreaux, N.Salmi, LISTIC - 25 / Plan Introduction à GreatSPN Réseaux de Petri (RdP) GreatSPN et analyse des RdP Modèle stochastique GSPN et GreatSPN Réseaux de Petri colorés (WN) et GreatSPN Réseaux de Petri colorés stochastiques et GreatSPN Conclusions
26 P. Moreaux, N.Salmi, LISTIC - 26 / Le modèle SWN WN + sémantique stochastique des GSPN Sous classes («statiques») de classes de couleur Les paramètres stochastiques (vitesses) ne dépendent que des sous-classes statiques Comme pour les GSPN, le processus stochastique sous-jacent est une chaîne de Markov.
27 P. Moreaux, N.Salmi, LISTIC - 27 / Chaîne de Markov agrégée d'un SWN Le SRG d'un SWN correspond à une chaîne de Markov agrégée de la chaîne induite du SWN. On peut calculer cette chaîne agrégée à partir de la définition du SWN. Gains: selon l'importance des symétries dans le système. Les indices de performance «symétriques» sont calculés à partir de cette chaîne agrégée. Certains indices non agrégés sont dérivables peuvent en être déduits.
28 P. Moreaux, N.Salmi, LISTIC - 28 / Indices de performances d'un SWN Démonstration Édition d'un SWN Calcul d'indices de performance: Agrégés Ordinaires (i.e. Colorés)
29 P. Moreaux, N.Salmi, LISTIC - 29 / Indices de performances «complexes» d'un SWN Indices complexes, dépendant des sous-classes statiques: Outil PERFSWN (LISTIC) Simulation
30 P. Moreaux, N.Salmi, LISTIC - 30 / Simulation stochastique Deux cas ne peuvent être étudiés de manière exacte: Distributions de transistions non exponentielles Taille du graphe d'accessibilité GreatSPN dispose d'un simulateur stochastique Autorisant une sémantique stochastique fine (priorités, interruptions/reprises,...) Avec calcul d'indices comme pour les solutions exactes Avec informations statistiques (seuil et intervalle de confiance) Le simulateur tire partie du SRG pour les SWN
31 P. Moreaux, N.Salmi, LISTIC - 31 / Plan Introduction à GreatSPN Réseaux de Petri (RdP) GreatSPN et analyse des RdP Modèle stochastique GSPN et GreatSPN Réseaux de Petri colorés (WN) et GreatSPN Réseaux de Petri colorés stochastiques et GreatSPN Conclusions
32 P. Moreaux, N.Salmi, LISTIC - 32 / GreatSPN un outil performant et ouvert Outil mature sur le modèle GSPN Outil gérant les (S)WN Stable Avec extension aux cas non symétriques Modèles stochastiques Éprouvés À résolution efficace À simulateur efficace
33 P. Moreaux, N.Salmi, LISTIC - 33 / GreatSPN utilisez le! Disponibilité: conctacter Turin: Manuel: le livre sur les GSPN est disponible en pdf (contacter Turin):
34 P. Moreaux, N.Salmi, LISTIC - 34 / Questions
Modèles à Événements Discrets. Réseaux de Petri Stochastiques
Modèles à Événements Discrets Réseaux de Petri Stochastiques Table des matières 1 Chaînes de Markov Définition formelle Idée générale Discrete Time Markov Chains Continuous Time Markov Chains Propriétés
Plus en détailModélisation et évaluation de performance des systèmes basés composants
9 ième Atelier en Evaluation de Performances Aussois 1-4 juin 2008 Modélisation et évaluation de performance des systèmes basés composants N.Salmi, P.Moreaux, M.Ioualalen LISTIC, Polytech'Savoie LSI, USTHB
Plus en détailCours de Génie Logiciel
Cours de Génie Logiciel Sciences-U Lyon Diagrammes UML (2) http://www.rzo.free.fr Pierre PARREND 1 Avril 2005 Sommaire Les Diagrammes UML Diagrammes de Collaboration Diagrammes d'etats-transitions Diagrammes
Plus en détailbasée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML
basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes
Plus en détailConception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Plus en détailQuatrième partie IV. Test. Test 15 février 2008 1 / 71
Quatrième partie IV Test Test 15 février 2008 1 / 71 Outline Introduction 1 Introduction 2 Analyse statique 3 Test dynamique Test fonctionnel et structurel Test structurel Test fonctionnel 4 Conclusion
Plus en détailFLEXIBILITE CONTINUITE LIAISON PAR INTERNET SOLUTIONS STANDARD
RITOP Le système de conduite de processus pour le service des eaux et de l énergie COMPATIBILITE FLEXIBILITE CONTINUITE LIAISON PAR INTERNET SOLUTIONS STANDARD Aperçu Solutions sur mesure pour aujourd
Plus en détailI Stabilité, Commandabilité et Observabilité 11. 1 Introduction 13 1.1 Un exemple emprunté à la robotique... 13 1.2 Le plan... 18 1.3 Problème...
TABLE DES MATIÈRES 5 Table des matières I Stabilité, Commandabilité et Observabilité 11 1 Introduction 13 1.1 Un exemple emprunté à la robotique................... 13 1.2 Le plan...................................
Plus en détailFazaANGEL supervision pro-active
presentation FazaAngel - page 1/7 FazaANGEL supervision pro-active FazaAngel : supervision pro-active fazaangel surveille tous les «éléments de votre infrastructure : télécom, réseau, serveur, site web
Plus en détailVersion de novembre 2012, valable jusqu en avril 2013
Pré requis techniques pour l installation du logiciel complet de gestion commerciale WIN GSM en version hyper File en configuration Windows Terminal Serveur Version de novembre 2012, valable jusqu en avril
Plus en détailTP1 Méthodes de Monte Carlo et techniques de réduction de variance, application au pricing d options
Université de Lorraine Modélisation Stochastique Master 2 IMOI 2014-2015 TP1 Méthodes de Monte Carlo et techniques de réduction de variance, application au pricing d options 1 Les options Le but de ce
Plus en détailMasses de données. 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA
Masses de données 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA Rédacteurs : Mjo Huguet / N. Jozefowiez 1. Introduction : Besoins Informations et Aide
Plus en détailDécouverte de Microsoft Office 2010 et de Microsoft Exchange Server 2010
Découverte de Microsoft Office 2010 et de Microsoft Exchange Server 2010 Logistique Pause en milieu de présentation Vos questions sont les bienvenues. N hésitez pas! Cette présentation sera téléchargeable
Plus en détailThe Grid 2: Manuel d utilisation
The Grid 2: Manuel d utilisation Bienvenue dans The Grid 2 Merci d avoir choisi The Grid 2! Ce guide va vous apprendre tout ce que vous devez savoir à propos de The Grid 2. Il vous guidera pas à pas pour
Plus en détailFileMaker Pro 12. Utilisation d une Connexion Bureau à distance avec FileMaker Pro 12
FileMaker Pro 12 Utilisation d une Connexion Bureau à distance avec FileMaker Pro 12 2007-2012 FileMaker, Inc. Tous droits réservés. FileMaker, Inc. 5201 Patrick Henry Drive Santa Clara, California 95054
Plus en détailJulien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration
Julien MATHEVET Alexandre BOISSY GSID 4 Rapport Load Balancing et migration Printemps 2001 SOMMAIRE INTRODUCTION... 3 SYNTHESE CONCERNANT LE LOAD BALANCING ET LA MIGRATION... 4 POURQUOI FAIRE DU LOAD BALANCING?...
Plus en détailCycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language
Unified Modeling Language UML Salima Hassas Version Cycle de vie du logiciel Client Besoins Déploiement Analyse Test Conception Cours sur la base des transparents de : Gioavanna Di Marzo Serugendo et Frédéric
Plus en détailGouvernance des mesures de sécurité avec DCM-Manager. Présentation du 22 mai 2014
Gouvernance des mesures de sécurité avec DCM-Manager Présentation du 22 mai 2014 Gérer les actifs logiciels et leur répartition Maîtriser le durcissement des configurations Suivre l application des correctifs
Plus en détailTEMPS PARTIEL Principe général : Quotité de temps partiel Rémunération : 50 % 50 % ; 60 % 60 % ; 70 % 70 % ; 80 % 85,7 % ; 90 % 91,4 %
Syndicat Indépendant Académique de l Enseignement Secondaire Aix-Marseille Syndicat - national - Indépendant de l Enseignement du Second degré Fédération Autonome de l Education Nationale TEMPS PARTIEL
Plus en détailLes processus métiers : concepts, modèles et systèmes
Les processus métiers : concepts, modèles et systèmes Organisation du cours Concepts et notations Modélisation des processus Systèmes de gestion de processus Processus transactionnels Découverte de processus
Plus en détailSemestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016
Semestre HPC Violaine Louvet Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr Labex MILyon, Printemps 2016 V. Louvet (ICJ) Semestre HPC Printemps 2016 1 / 9 Présentation du semestre Modélisation
Plus en détailSpécifications système. Démarrage de l application CertiBru-Res. Premier accès à l application à partir de cet ordinateur
Démarrage du logiciel CertiBru-Res à l attention des certificateurs résidentiels Version juillet 2011 www.bruxellesenvironnement.be Professionnels Energie PEB et climat intérieur certificat PEB Logiciel
Plus en détailLOGICIELS DE PRÉVISIONS
Pour vos appels d offre Mars 2014 LGICIELS DE PRÉVISINS 4 e ÉDITIN SAS INSTITUTE SAS Forecast Server SupplyChainMagazine.fr 19, rue Saint-Georges - 94700 Maisons-Alfort 1. NM de l'éditeur SAS Institute
Plus en détailDATASET / NETREPORT, propose une offre complète de solutions dans les domaines suivants:
Présentation Société DATASET / NETREPORT, propose une offre complète de solutions dans les domaines suivants: Outils d aide à la décision Gamme DATASET Solutions de gestion temps réel du système d information
Plus en détailRecommandations techniques
Recommandations techniques Sage 30 Génération i7 Sage 100 Génération i7 Version 1.0 1 I Recommandations techniques pour Sage 30 Windows Génération i7 Sage 100 Windows Génération i7 2 1.1 Configuration
Plus en détailAlgèbre 40 Analyse 26 14 Stat. 1 - IES : Probabilités discrètes et calcul intégral 29,5 6 Stat. 2 - IES : Probabilités générales 54 8 UE1-02 M-E-IS
1er semestre UE1-01 E Algèbre 40 Analyse 26 14 Stat. 1 - IES : Probabilités discrètes et calcul intégral 29,5 6 Stat. 2 - IES : Probabilités générales 54 8 UE1-02 M-E-IS Introduction au système SAS 25,5
Plus en détailProcessus aléatoires avec application en finance
Genève, le 16 juin 2007. Processus aléatoires avec application en finance La durée de l examen est de deux heures. N oubliez pas d indiquer votre nom et prénom sur chaque feuille. Toute documentation et
Plus en détailLes diagrammes de modélisation
L approche Orientée Objet et UML 1 Plan du cours Introduction au Génie Logiciel L approche Orientée Objet et Notation UML Les diagrammes de modélisation Relations entre les différents diagrammes De l analyse
Plus en détailCes exigences s appliquent à la version 2014 de Sage 200 ERP Extra au 01.12.2014.
système et logicielssupportés 1. système pour serveur Ces exigences s appliquent à la version 2014 de Sage 200 ERP Extra au 01.12.2014. L aperçu décrit l environnement système recommandé pour travailler
Plus en détailModel checking temporisé
Model checking temporisé Béatrice Bérard LAMSADE Université Paris-Dauphine & CNRS berard@lamsade.dauphine.fr ETR 07, 5 septembre 2007 1/44 Nécessité de vérifier des systèmes... 2/44 Nécessité de vérifier
Plus en détailModélisation aléatoire en fiabilité des logiciels
collection Méthodes stochastiques appliquées dirigée par Nikolaos Limnios et Jacques Janssen La sûreté de fonctionnement des systèmes informatiques est aujourd hui un enjeu économique et sociétal majeur.
Plus en détailAIDE ENTREPRISE SIS-ePP Plateforme de dématérialisation des marchés publics
AIDE ENTREPRISE SIS-ePP Plateforme de dématérialisation des marchés publics Ce manuel d'utilisation est destiné à guider les opérateurs économiques durant la phase de consultation jusqu'au dépôt des offres
Plus en détailMonitoring d un Datacenter du concept à la réalisation
Monitoring d un Datacenter du concept à la réalisation Par Norbert Andrey Tél: ++41(0)21 316 26 00 - Fax: ++41(0)21 316 27 26 Page 1 Objectifs - Détecter les défauts de fonctionnement et les notifier -
Plus en détailIntelligent Power Software
Power Quality Software Intelligent Power Software Pour une gestion facile de votre énergie Intelligent Power Software Intelligent Power Software est la suite logicielle d Eaton pour la gestion de votre
Plus en détailChapitre I : le langage UML et le processus unifié
I. Introduction Les méthodes d analyse orientées objet sont initialement issues des milieux industriels. La préoccupation dominante de leurs auteurs est le génie logiciel, c est-àdire les principes et
Plus en détailExigences système Commercial & Digital Printing
Exigences système OneVision Software AG Sommaire 1 Speedflow Check 4.1 Speedflow Edit 4.1 (Windows, Macintosh OSX) Speedflow Recompose 4.1 Speedflow Impose 3.0 2 Speedflow Cockpit 3.1 Speedflow Control
Plus en détailQualité du logiciel: Méthodes de test
Qualité du logiciel: Méthodes de test Matthieu Amiguet 2004 2005 Analyse statique de code Analyse statique de code Étudier le programme source sans exécution Généralement réalisée avant les tests d exécution
Plus en détailMini_guide_Isis_v6.doc le 10/02/2005 Page 1/15
1 Démarrer... 2 1.1 L écran Isis... 2 1.2 Les barres d outils... 3 1.2.1 Les outils d édition... 3 1.2.2 Les outils de sélection de mode... 4 1.2.3 Les outils d orientation... 4 2 Quelques actions... 5
Plus en détailNouveau multifonction Canon PIXMA MP540 : résolution, qualité d impression et innovation.
Communiqué de presse EMBARGO : 26 août 2008 Nouveau multifonction Canon PIXMA MP540 : résolution, qualité d impression et innovation. Des versions haute-résolution de ces images ainsi que d autres peuvent
Plus en détailWINDOWS Remote Desktop & Application publishing facile!
Secure Cloud & Solutions Accès BOYD CLOUD acces informatiques & BYOD sécurisé MYRIAD-Connect facilite votre travail en tous lieux et à tous moments comme si vous étiez au bureau. Conçu pour vous simplifier
Plus en détail3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes
PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason
Plus en détailGestion de la Maintenance Assistée par Ordinateur
Gestion de la Maintenance Assistée par Ordinateur Simplifiez vous la maintenance Gagner en productivité. Réduire les pannes. Améliorer la durée de vie des équipements. Diminuer les coûts de maintenance.
Plus en détailLe poste virtualisé. Vers la simplification du poste de travail. Stéphane Pichevin Responsable poste de travail virtualisé Sun Microsystems
Le poste virtualisé Vers la simplification du poste de travail Stéphane Pichevin Responsable poste de travail virtualisé Sun Microsystems 1 Le poste de travail actuel 2 Un poste complexe et couteux à administrer
Plus en détailAudition pour le poste de Maître de conférence INSA Lyon distributed Robotics avec aectation au CITI. Guillaume Lozenguez.
Audition pour le poste de Maître de conférence INSA Lyon distributed Robotics avec aectation au CITI Guillaume Lozenguez Chercheur post-doctorant, École Normale Supérieure de Lyon, CNRS Doctorat en cotutelle
Plus en détailRelais d'arrêt d'urgence, protecteurs mobiles
Gertebild ][Bildunterschrift Bloc logique de sécurité pour la surveillance de boutons-poussoirs de arrêt d'urgence et de protecteurs mobiles Homologations Caractéristiques des appareils Gertemerkmale Sorties
Plus en détailLes nouveautés d AppliDis Fusion 4 Service Pack 3
Les nouveautés d AppliDis Fusion 4 Service Pack 3 Systancia Publication : Novembre 2013 Résumé La nouvelle version AppliDis Fusion 4 Service Pack 3 ajoute des fonctionnalités nouvelles au produit AppliDis.
Plus en détailFileMaker Pro 13. Utilisation d une Connexion Bureau à distance avec FileMaker Pro 13
FileMaker Pro 13 Utilisation d une Connexion Bureau à distance avec FileMaker Pro 13 2007-2013 FileMaker, Inc. Tous droits réservés. FileMaker, Inc. 5201 Patrick Henry Drive Santa Clara, Californie 95054
Plus en détailListe des notes techniques... xxi Liste des encadrés... xxiii Préface à l édition internationale... xxv Préface à l édition francophone...
Liste des notes techniques.................... xxi Liste des encadrés....................... xxiii Préface à l édition internationale.................. xxv Préface à l édition francophone..................
Plus en détailHistorique. Architecture. Contribution. Conclusion. Définitions et buts La veille stratégique Le multidimensionnel Les classifications
L intelligence économique outil stratégique pour l entreprise Professeur Bernard DOUSSET dousset@irit.fr http://atlas.irit.fr Institut de Recherche en Informatique de Toulouse (IRIT) Equipe Systèmes d
Plus en détailSérie 440R, 1752 Relais de sécurité et automates de sécurité Présentation de la gamme Relais de sécurité et automates de sécurité (440R, 1752)
, 1752 Relais de et automates de Présentation de la gamme Relais de et automates de (440R, 1752) Type Série 440R 440R 440R Caracté - ristiques Homolo - gations Normes Choix du produit Nouvelle génération
Plus en détailSuperviseur de processus ECS
Superviseur de processus ECS Logiciel du superviseur de processus pour commander, observer et consigner les processus Automatisation des installations de traitement thermique avec ECS Le superviseur de
Plus en détailComment configurer votre compte de messagerie BlackBerry? Qu est ce que les solutions BlackBerry?
Qu est ce que les solutions BlackBerry? Comment configurer votre compte de messagerie BlackBerry? Les solutions BlackBerry vous permettent d accéder à une multitude de fonctions : Envoyer et recevoir des
Plus en détailC est quoi le SWAT? Les équipes décrites par James Martin s appellent SWAT : Skilled With Advanced Tools.
1- RAD Quelle sont les avantages que apporte la méthode RAD à l entreprise? Une méthode RAD devrait, d après son auteur, apporter trois avantages compétitifs à l entreprise : Une rapidité de développement
Plus en détailCompte rendu d activité
Dimitri GRAND URIEN année 2011 2013 BTS SIO option : Solution d infrastructure système et réseau Compte rendu d activité SAV Multi-Services Contexte : Suite à une coupure de service, un client nous ramène
Plus en détailProblèmes d ordonnancement dans les systèmes de production. Journée Automatique et Optimisation Université de Paris 12 20 Mars 2003
Problèmes d ordonnancement dans les systèmes de production Michel Gourgand Université Blaise Pascal Clermont Ferrand LIMOS CNRS UMR 6158 1 Le LIMOS Laboratoire d Informatique, de Modélisation et d Optimisation
Plus en détailAIDE ENTREPRISE SIS-ePP Plateforme de dématérialisation des marchés publics
AIDE ENTREPRISE SIS-ePP Plateforme de dématérialisation des marchés publics Ce manuel d'utilisation est destiné à guider les opérateurs économiques durant la phase de consultation jusqu'au dépôt des offres
Plus en détailSolution IT Power Management Gérer la consommation électrique de toute votre infrastructure IT
Solution IT Power Management Gérer la consommation électrique de toute votre infrastructure IT Executive Summary Contenu Introduction à JouleX Energy Manager... 3 Contexte client et enjeux... 4 Un enjeu
Plus en détailWhite Paper - Livre Blanc
White Paper - Livre Blanc Développement d applications de supervision des systèmes d information Avec LoriotPro Vous disposez d un environnement informatique hétérogène et vous souhaitez à partir d une
Plus en détailSextant. RFS Consultants Décembre 2008
Décembre 2008 Le logiciel d assistance administrative indispensable à toute structure de plus d une personne. Le premier logiciel que l on lance le matin et le dernier que l on ferme le soir. Un logiciel
Plus en détailOrganisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et
Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et l'anglais. L'étudiant a le choix entre deux filières
Plus en détail4.2 Unités d enseignement du M1
88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter
Plus en détailConditions tarifaires
Conditions tarifaires CFD-Contracts for Difference Octobre 2013 Conditions Tarifaires Vous trouverez ci-dessous les conditions tarifaires applicables à votre Compte de trading. Les termes, utilisés dans
Plus en détailUtilisation de l'outil AdisTlsMonitoringTester.exe
Fiche technique AppliDis Utilisation de l'outil AdisTlsMonitoringTester.exe Fiche IS00326 Version document : 1.01 Diffusion limitée : Systancia, membres du programme Partenaires AppliDis et clients ou
Plus en détailQUESTION 1 {2 points}
ELE4301 Systèmes logiques II Page 1 de 8 QUESTION 1 {2 points} En se servant de paramètres électriques donnés dans le Tableau 1 ci-dessous, on désire déterminer la fréquence d opération du compteur présenté
Plus en détailSommaire. Page d accueil. Comment effectuer une mise à jour? Comment insérer le logo de sa société? Comment effectuer une sauvegarde?
Sommaire Page d accueil Comment effectuer une mise à jour? Comment insérer le logo de sa société? Comment effectuer une sauvegarde? Page Tiers Comment créer un tiers (client et/ou fournisseur)? Comment
Plus en détailLa gestion intelligente de vos bâtiments :
4 Modem V32 Bis Tel 336B Dinec Building Management La gestion intelligente de vos bâtiments : Contrôle d'accès : DinAccess Supervision de grandeurs physiques : DinCool Gestion technique : DinTalk Gestion
Plus en détailD4.4 Organiser une veille informationnelle
> Définition Définition : «La veille informationnelle est l ensemble des stratégies mises en place pour rester informé, en y consacrant le moins de temps possible en utilisant des processus de signalement
Plus en détailBig Data et Graphes : Quelques pistes de recherche
Big Data et Graphes : Quelques pistes de recherche Hamamache Kheddouci Laboratoire d'informatique en Image et Systèmes d'information LIRIS UMR 5205 CNRS/INSA de Lyon/Université Claude Bernard Lyon 1/Université
Plus en détailL E Ç O N. Marches aléatoires. Niveau : Terminale S Prérequis : aucun
9 L E Ç O N Marches aléatoires Niveau : Terminale S Prérequis : aucun 1 Chaînes de Markov Définition 9.1 Chaîne de Markov I Une chaîne de Markov est une suite de variables aléatoires (X n, n N) qui permet
Plus en détailST U2 Imprimantes multifunctionelles (modèle table) et scanners Edit. 001 / Rév. 000-01 Fev 2011 Page 1 de 12
(modèle table) et scanners Page 1 de 12 IMPRIMANTES, APPAREILS MULTIFONCTIONNELS (MODELE DE TABLE) ET SCANNERS Rédacteur Approbateur B-CS.213 Jo Meert Tél. Editeur Groupe 23 Page 2 de 12 Statut des éditions
Plus en détail1 Démarrer... 3 1.1 L écran Isis...3 1.2 La boite à outils...3 1.2.1 Mode principal... 4 1.2.2 Mode gadget...4 1.2.3 Mode graphique...
1 Démarrer... 3 1.1 L écran Isis...3 1.2 La boite à outils...3 1.2.1 Mode principal... 4 1.2.2 Mode gadget...4 1.2.3 Mode graphique... 4 2 Quelques actions... 5 2.1 Ouvrir un document existant...5 2.2
Plus en détailVISIOCONFÉRENCE AVEC RENATER
VISIOCONFÉRENCE AVEC RENATER Mode d emploi à destination des utilisateurs de visioconférence Eric Marcon, Pascal Padolus, Stéphane Traissac 07/05/2015 Les opinions émises par les auteurs sont personnelles
Plus en détailKPI (Key Performance Indicator) dans MOSS
KPI (Key Performance Indicator) dans MOSS Introduction Un KPI (Key Performance Indicator), Indicateur de Performance ou Indicateur Clé est un concept permettant de présenter à un utilisateur une information
Plus en détailCentrale d Alarme Visiotech
Centrale d Alarme Visiotech ++ www.biolume.com 1 Table des matières GENERALITES... 4 Responsabilités de l installateur et de l utilisateur... 4 Alimentation électrique... 4 Mise en service... 5 PRESENTATION
Plus en détailDécouvrez notre solution Alternative Citrix / TSE
Découvrez notre solution Alternative Citrix / TSE OmniWare est un produit résolument moderne qui répond aux besoins actuels des entreprises en apportant une solution pour la mobilité des collaborateurs,
Plus en détailCompetence Management System (Système de Gestion de Compétences)
Dispositif :... 3 Qu est-ce qu un CMS?... 3 Quels sont les dispositifs intégrés à un CMS... 3 Comment envoyer des emails?... 3 Puis-je envoyer des emails seulement à un groupe de personnes?... 4 Comment
Plus en détailNetCrunch 6. Superviser
AdRem NetCrunch 6 Serveur de supervision réseau Avec NetCrunch, vous serez toujours informé de ce qui se passe avec vos applications, serveurs et équipements réseaux critiques. Documenter Découvrez la
Plus en détailComplexité et auto-organisation chez les insectes sociaux. Complexité et auto-organisation chez les insectes sociaux
Complexité et auto-organisation chez les insectes sociaux Guy Theraulaz Centre de Recherches sur la Cognition Animale CNRS, UMR 5169, Toulouse, France Marathon des Sciences XXIII ème Festival d Astronomie,
Plus en détailchargement d amplitude variable à partir de mesures Application à l approche fiabiliste de la tolérance aux dommages Modélisation stochastique d un d
Laboratoire de Mécanique et Ingénieriesnieries EA 3867 - FR TIMS / CNRS 2856 ER MPS Modélisation stochastique d un d chargement d amplitude variable à partir de mesures Application à l approche fiabiliste
Plus en détailInfrastructure Management
Infrastructure Management Service de Supervision et gestion des infrastructures informatiques DATASHEET Présentation générale Netmind Infrastructure Management (NIM) est un service de supervision et de
Plus en détailAnalyse empirique et modélisation de la dynamique de la topologie de l Internet
Analyse empirique et modélisation de la dynamique de la topologie de l Internet Sergey Kirgizov Directrice de thèse: Clémence Magnien Complex Networks, LIP6, (UPMC, CNRS) Paris, 12 décembre 2014 Plan 1
Plus en détailGalaXy G2 G2-20 G2-44. Guide de l Utilisateur
GalaXy G2 G2-20 G2-44 Guide de l Utilisateur Révision Septembre 2006 Sommaire Sommaire... iii Introduction...1 La maîtrise de votre système d alarme...2 Utilisateurs... 2 Groupes...2 Claviers... 3 Badges
Plus en détailOptions et Volatilité (introduction)
SECONDE PARTIE Options et Volatilité (introduction) Avril 2013 Licence Paris Dauphine 2013 SECONDE PARTIE Philippe GIORDAN Head of Investment Consulting +377 92 16 55 65 philippe.giordan@kblmonaco.com
Plus en détailFIMA, 7 juillet 2005
F. Corset 1 S. 2 1 LabSAD Université Pierre Mendes France 2 Département de Mathématiques Université de Franche-Comté FIMA, 7 juillet 2005 Plan de l exposé plus court chemin Origine du problème Modélisation
Plus en détailRelation entre deux variables : estimation de la corrélation linéaire
CHAPITRE 3 Relation entre deux variables : estimation de la corrélation linéaire Parmi les analyses statistiques descriptives, l une d entre elles est particulièrement utilisée pour mettre en évidence
Plus en détailPrincipales Evolutions Version 1.0.0.230
Principales Evolutions Version 1.0.0.230 es colonnes de vos listings. Réorganiser les Votre vue est automatiquement sauvegardée lorsque vous fermez ferme votre fenêtre. Préférences Créer des zones par
Plus en détailParcours en deuxième année
Parcours en deuxième année Unités d Enseignement (UE) ECTS Ingénierie des réseaux haut 4 débit Sécurité des réseaux et 4 télécoms Réseaux mobiles et sans fil 4 Réseaux télécoms et 4 convergence IP Infrastructure
Plus en détailEnvironnements de développement (intégrés)
Environnements de développement (intégrés) Introduction aux EDI, la plateforme Eclipse Patrick Labatut labatut@di.ens.fr http://www.di.ens.fr/~labatut/ Département d informatique École normale supérieure
Plus en détailZOTERO Un outil gratuit de gestion de bibliographies
ZOTERO Un outil gratuit de gestion de bibliographies Téléchargement sur http://www.zotero.org Zotero est une extension du navigateur Web Firefox 0 Mais désormais applications autonomes par rapport à Firefox
Plus en détailGnuplot. Chapitre 3. 3.1 Lancer Gnuplot. 3.2 Options des graphes
Chapitre 3 Gnuplot Le langage C ne permet pas directement de dessiner des courbes et de tracer des plots. Il faut pour cela stocker résultats dans des fichier, et, dans un deuxième temps utiliser un autre
Plus en détail13) Calibrage du tableau Interwrite Dualboard
13) Calibrage du tableau Interwrite Dualboard Le calibrage permet d ajuster avec précision la pointe de votre stylet avec le pointeur de l ordinateur. 2 façons de calibrer le tableau Interwrite Dualboard
Plus en détailIFT2255 : Génie logiciel
IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti
Plus en détailTP N 57. Déploiement et renouvellement d une constellation de satellites
TP N 57 Déploiement et renouvellement d une constellation de satellites L objet de ce TP est d optimiser la stratégie de déploiement et de renouvellement d une constellation de satellites ainsi que les
Plus en détailMini_guide_Isis.pdf le 23/09/2001 Page 1/14
1 Démarrer...2 1.1 L écran Isis...2 1.2 La boite à outils...2 1.2.1 Mode principal...3 1.2.2 Mode gadgets...3 1.2.3 Mode graphique...3 2 Quelques actions...4 2.1 Ouvrir un document existant...4 2.2 Sélectionner
Plus en détailUtilisation des tableaux sémantiques dans les logiques de description
Utilisation des tableaux sémantiques dans les logiques de description IFT6281 Web Sémantique Jacques Bergeron Département d informatique et de recherche opérationnelle Université de Montréal bergerja@iro.umontreal.ca
Plus en détailÉlasticité des applications à base de services dans le Cloud
1/40 Élasticité des applications à base de services dans le Cloud Mourad Amziani 12 Tarek Melliti 1 Samir Tata 2 1 IBISC, EA4526, Université d'évry Val-d'Essonne, Évry, France 2 UMR CNRS Samovar, Institut
Plus en détailGestion collaborative de documents
Gestion collaborative de documents ANT box, le logiciel qui simplifie votre GED Les organisations (entreprises, collectivités, associations...) génèrent chaque jour des millions de documents, e-mails,
Plus en détailLe Processus RUP. H. Kadima. Tester. Analyst. Performance Engineer. Database Administrator. Release Engineer. Project Leader. Designer / Developer
Le Processus RUP Database Administrator Project Leader H. Kadima Performance Engineer Release Engineer Analyst Designer / Developer Tester Table des matières 1. De l artisanat à l industrialisation de
Plus en détailPourquoi choisir ESET Business Solutions?
ESET Business Solutions 1/6 Que votre entreprise soit tout juste créée ou déjà bien établie, vous avez des attentes vis-à-vis de votre sécurité. ESET pense qu une solution de sécurité doit avant tout être
Plus en détailGdFA. Votre outil de Gestion des Files d Attente en boutique
GdFA Votre outil de Gestion des Files d Attente en boutique Année 2012 Gérez vos files d attente en boutique La solution idéale pour gérer et optimiser votre accueil en boutique, à partir de seulement
Plus en détail