19/09/20161 Étude d'un algorithme de fermeture causale sur des courbes d'arrivée ayant des parties affines Guillaume Sarrazin TER 2011 Verimag Encadrants.

Slides:



Advertisements
Présentations similaires
Les limites de l’UML Présenté par : Samah Dekhil 1.
Advertisements

Pour quoi RANDONNEUR Rythme d’Analyse de Nouvelle Donner sur l’Objectif des Norme et des Négociation d’Entraide pour Unir la Relation des participants.
1 Etude Statique sur l’axe horizontal du berce BB.
Présentation. Page 1 Page 2.
CHAftITREI ARCHITECTURE de BASE. Modèle de Von Neumann Langage d’assemblage1 John Von Neumann est à l'origine d'un modèle de machine universelle de traitement.
SRT 2 NTP. Nécessité ● Les ordinateurs utilisent des horloges à quartz – Peu de précision – Tendance à dériver – Parfois plusieurs secondes par jour.
Présentation du projet JAVA Système de messagerie instantanée cryptée.
Réalisation collective Réalisation individuelle Fournisseur : Jeulin Coût total par élève de la réalisation: 4,91€ HT ( calcul basé sur effectif de.
Le Bug Tracking Pourquoi chasser les insectes? Théotim Delannay Aymeric Boisard.
MINISTERE DE L’ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE Université d’Adrar Diagramme d’états-transitions Présenté par Sbai Omar Benothman.
A. Objectifs de la séquence: à l'issue de la séquence, il faut être capable de: Identifier l’ordre et la nature d’un filtre Tracer les diagrammes asymptotiques.
Concepts pour le contrôle de flux
CEMTEC Comment scénariser l’éclairage d’un escalier ?
Présenté par: Salhi Amina
Information, Calcul, Communication
Entraînement et évaluation d’une méthode de régression
PROJET JAVA Automatisation d’une rame de métro
Les substances chimiques dangereuses de la Directive Cadre sur l’Eau
Système de commande automatique Linéarité- L'équation des éléments
Les symboles et la schématisation.
Représentation de l'information en binaire:
L’Instruction de Test Alternatif
Analyse Performance Chaine Energie + Problématique
DEFINITION DU CONCEPT DE MODÈLE DE PERFORMANCE
Les Instructions – Organigramme
PowerPoint 5 (secondaire) : Perspectives et idéologies
Plan Introduction Parcours de Graphe Optimisation et Graphes
TRACES NUMÉRIQUES DE MOBILITÉ : COMMENT SUIVRE LA PISTE ?
TRACES NUMÉRIQUES DE MOBILITÉ : COMMENT SUIVRE LA PISTE ?
MODELE NUMERIQUE ET CARACTERISATION EXPERIMENTALE
Langage de Modélisation UML
Implantation d’un îlot ou d’une Chaîne de Production
Codification et Représentation de l’information
Techniques du Data Mining
INTELLIGENCE ARTIFICIELLE
Le futur simple et le futur proche
1. Présentation générale du système
DATA WEARHOUSE 1ère année LA: Technologies systèmes d’information
Segmentation des images sonar texturées
Formation sur les bases de données relationnelles.
Les écritures de clôture
Adaptive Neuro Fuzzy Inference System (ANFIS)
Présentation des nouveaux programmes de Technologie Mai 2008
Modélisation objet avec UML
Plan Introduction Parcours de Graphe Optimisation et Graphes
B.Shishedjiev - Informatique
Module d’Enseignement à Distance pour l’Architecture Logicielle
Julia Erskine Poget, psychologue FSP
Les indices simples Définition
Chapitre de géographie : Les espaces productifs.
La cartographie sur ordinateur
Un Mécanisme d‘Adaptation Guidé par le Contexte en Utilisant une Représentation par Objets Manuele Kirsch Pinheiro Laboratoire LSR – IMAG, Équipe SIGMA.
Module 5 : Gestion de l'accès aux ressources à l'aide de groupes
Les Propriétés du Nombre
Reconnaissance de formes: lettres/chiffres
Présenté par: Souleymane MOUSSA Encadré par: M’hammed SAHNOUN
Numérique et Sciences Informatiques
L ’ Intelligence Artificielle
Analyse et Mise en place de fvpat Webdev Server
Design, innovation et créativité
INTELLIGENCE ARTIFICIELLE
Numérique et Sciences Informatiques
Présentation projet de fin d’études
UC : Diagramme des cas d’utilisation Req : Diagramme d’exigence
I. Aouichak, I. Elfeki, Y. Raingeaud, J.-C. Le Bunetel
Type Tableau Partie 1 : Vecteurs
Elément de cytologie.
Le corps pur et ses caractéristiques
Thématiques : Google classroom Nom enseignant : Christophe Sieller
Transcription de la présentation:

19/09/20161 Étude d'un algorithme de fermeture causale sur des courbes d'arrivée ayant des parties affines Guillaume Sarrazin TER 2011 Verimag Encadrants : Karine Altisen et Matthieu Moy

19/09/20162 Plan de la présentation I.Contexte a) RTC b) Courbe d'arrivée c) ac2lus d) Causalité II.Fermeture causale a) Implémentation dans ac2lus b) Algorithme de normalisation III.Exemple/Résultat produit a) Présentation du système utilisé b) Résultat

19/09/20163 Plan de la présentation I.Contexte a) RTC b) Courbe d'arrivée c) ac2lus d) Causalité II.Fermeture causale a) Implémentation dans ac2lus b) Algorithme de normalisation III.Exemple/Résultat produit a) Présentation du système utilisé b) Résultat

19/09/20164 Principe RTC ● Temps réel : pire/meilleur cas pour un système ● But : caractériser le flux d'événements d'un système ● Real Time Calculus ● Courbes d'arrivée

19/09/20165 Courbe d'arrivée Un couple de courbe (α l. α u ) Une courbe haute α u => flux d'événements maximal Une courbe basse α l => flux d'événements minimal

19/09/20166 Problème lors de l'utilisation de courbe d'arrivée ● Présence de régions interdites ● Nécessité de rendre la courbe plus précise

19/09/20167 Présentation de ac2lus ● Limite du RTC : système à états ● D'autres approches du problème : ac2lus ● Réutilise le principe des courbes d'arrivée ● Utilise le langage synchrone Lustre ● Outils de vérification

19/09/20168 Plan de la présentation I.Contexte a) RTC b) Courbe d'arrivée c) ac2lus d) Causalité II.Fermeture causale a) Implémentation dans ac2lus b) Algorithme de normalisation III.Exemple/Résultat produit a) Présentation du système utilisé b) Résultat

19/09/20169 Courbe d'arrivée dans ac2lus ● Une courbe d'arrivée est composée de: ➔ Ensemble de points ➔ Ensemble de droites ● Représente de façon finie un ensemble de points infini Représentation machine: name_up: alpha_u; points_up: 0, 6, 6, 6; segment_up: (1x + 3)/1; name_low: alpha_l; points_low: 0, 0, 1, 2, 3, 4; segment_low: (1x - 2)/2;

19/09/ Algorithme de fermeture causale ● Existence d'un algorithme de fermeture causale ● Implémenté pour une représentation avec des droites Courbe d'origineCourbe normaliséeCourbe causale

19/09/ Plan de la présentation I.Contexte a) RTC b) Courbe d'arrivée c) ac2lus d) Causalité II.Fermeture causale a) Implémentation dans ac2lus b) Algorithme de normalisation III.Exemple/Résultat produit a) Présentation du système utilisé b) Résultat

19/09/ Présentation de l'exemple

19/09/ Entrée (1) Courbe normaliséeCourbe causale Courbe d'origine

19/09/ Résultat (1) Sortie avec la courbe normalisée en entrée : name_up: alpha_u; points_up: 0, 2, 4, 5; segment_up: (1x + 20)/0 ; name_low: alpha_l; points_low: 0, 0, 0, 0; segment_low: (1x - 20)/4; Sortie avec la courbe causale en entrée: name_up: alpha_u; points_up: 0, 2, 4, 15; segment_up: (1x + 20)/0 ; name_low: alpha_l; points_low: 0, 0, 0, 0; segment_low: (1x - 20)/3;

19/09/ Conclusion ● Courbe d'arrivée permet de décrire un ensemble de flux d'événements. ● La causalité permet d'avoir une courbe d'arrivée plus précise. ● La causalité permet d'éviter des dead-lock et autres problèmes comme de faux contre-exemples. ● Contributions : ➔ Implémentation de l'algorithme de fermeture causale pour des courbes d'arrivée définies avec des portions affines ➔ Ajout de certaines fonctionnalités de tracé à ac2lus ➔ Exemple d'utilisation de ac2lus