GRAFCET : IEC/CEI 60848

Dimension: px
Commencer à balayer dès la page:

Download "GRAFCET : IEC/CEI 60848"

Transcription

1 GRAFCET : IEC/CEI ) Rappels 2) Structuration & Hiérarchisation 3) Implémenter Des Grafcets 4) Coordination De Taches Raymond Philippe maj avril 2006 vidéo

2 GRAFCET : IEC/CEI ) Rappels

3 Historique GRAphe Fonctionnel de Commande d Étape-Transition 1977 L AFCET propose les bases d'un outil qu'elle appelle GRAFCET NF C03-190: Norme française 1987 IEC 848: Norme européenne (reprend une partie de la norme NF) 2002 IEC langage de spécification GRAFCET pour diagrammes fonctionnels en séquence maintenance

4 Introduction E/S r0 Transitions r0 Etapes A r1 B Actions B r2 Liaison(s) orientée(s) r1 A r2 réceptivités

5 Etapes 9 9 variable d étape de l étape 9 9 =0 (False) 9 =1 (true) 9 9 Etat actif de l étape * Symbole de l étape initiale * est un repère alphanumérique

6 Réceptivités La réceptivité est une fonction logique! Réceptivité toujours vraie Repère associé à une transition 3 [vol>100] + x1.e1 vol 100 > 1 e1 AND OR (*) a + b

7 Règles De Construction Graphique Respecter l alternance étape transition!

8 1 Situation Initiale La situation initiale d'un Grafcet caractérise le comportement initial de la partie commande (vis à vis de la PO, de l'opérateur ). Elle correspond aux étapes actives au début du fonctionnement. Elle traduit généralement un état de repos.

9 2 Franchissement D'une Transition Une transition est dite validée lorsque toutes les étapes immédiatement précédentes sont actives. franchissement SI : la transition est validée ET réceptivité associée vraie franchie Non franchissable franchissable

10 3 Evolution Des Étapes Actives Le franchissement d'une transition entraîne : l'activation de toutes les étapes immédiatement suivantes et la désactivation de toutes les étapes immédiatement précédentes franchissable franchie

11 4 Evolution Simultanée Plusieurs transitions simultanément franchissables sont simultanément franchies franchissable franchie

12 5 Activation Et Désactivation Simultanée D'une Étape Si au cours du fonctionnement la même étape est simultanément activée et désactivée elle reste active

13 Postulat Temporel la durée séparant l instant où une transition est franchissable de l instant où elle est franchie (appelée durée d évolution) est aussi petite qu il est nécessaire, mais non nulle. En conséquence, la durée minimale de l activité d une étape ne sera jamais nulle.

14 Exemple Du Registre À Décalage e.a e e e a t t t t t 3 e

15 Convergence & Divergence En OU 2 M1 x.y 3 V2+ Yx.y 6 V1+ v 21 v 11 4 V3+ 7 V4+ v 31 v 41 8 V1- v 20 v 10 9 V3-5 V2- V4-

16 Saut et Reprise De Séquence SAUT REPRISE

17 Convergence & Divergence En ET 2 M1 z 3 V1+ 7 V3+ v 11 v 31 4 V2+ 8 V4+ v 21 v 41 5 V1-9 V3- v 10 6 V2- étapes d attente 1 v 20. v V4-

18 A Éviter formellement! a a Synchronisation?

19 Temporisations 1 2 3s/1 3s opérateur normalisé "t1/en/t2" CEI/IEC

20 normal Actions continues

21 Actions continues condition d assignation d 2 C C=2.d a * t1/2 2 2 C action C retardée de t1 t1/2 Une proposition logique * conditionne l action 2 C action C limité de t1 Front interdit!

22 Evolution non fugace 1 1 a a 2 A a=1 2 A b b 3 3 c c 1=1 a=0 b=0 c=0 2=1 a=1 b=0 c=0

23 Evolution fugace caractérisée par le franchissement de plusieurs transitions successives à l occurrence d un événement unique 1 2 a b A a=1 (t21) 1 2 a b A Activation «virtuelle» de 2 et franchissement «virtuel» de t21 3 c 3 c 1=1 a=0 b=1 c=0 3=1 a=1 b=1 c=0

24 Evolution fugace conséquence sur les assignations a b c A 1=1 a=0 b=1 c=0 Dans ce cas, l action continue A associé à l étape instable 2 n est pas réalisée a=1 1 2 (t21) 3 a b c A 3=1 a=1 b=1 c=0

25 Actions mémorisées 2 a B:=1 a Action au front descendant (désactivation de l étape) Action au front montant (activation de l étape) 2 B:=0 L action B:=1 traduit le set de la variable booléenne B L action B:=0 traduit le reset de la variable booléenne B

26 Actions mémorisées action sur événement a e 2 B:=1 La variable booléenne B est mise à 1 lorsque l évenement e se produit a condition que l étape 2 soit active

27 Compteurs 1 c:=0 1 c:=n c:=c+1 3 c:=c-1 [C<N] [C=N] [C>0] [C=0]

28 Evolution fugace conséquence sur les affectations a b c A:=1 1=1 a=0 b=1 c=0 A=0 Dans ce cas, l action mémorisé A:=1 associé à l étape instable 2 est réalisée a=1 1 2 (t21) 3 a b c A:=1 3=1 a=1 b=1 c=0 A=1

29 GRAFCET : IEC/CEI ) Rappels 2) Structuration & Hiérarchisation 3) Implémenter Des Grafcets 4) Coordination De Taches Raymond Philippe maj avril 2006 vidéo

30 2) Structuration & Hiérarchisation

31 Macro Etape E5 EPANSION Etape Entrante M5 1 Cycle =1 2 S5 Etape Sortante

32 Comportement Dynamique Transition validée Transition validée E5 E5 E5 E M5 M5 M5 M S5 S5 S5 S5

33 Remarque M5 E5 1 2 l expansion de la macro-étape est la représentation unique d un fonctionnement et n est donc pas «duplicable» comme un sousprogramme. S5

34 Mécanisme Appel Réponse Acquittement Comment exécuter G1 à partir de T1? 10 G1 T1 APPEL 11 T1 13 REPONSE ACQUITTEMENT T1

35 Utilisation En Sous Programme TACHE A 10 TA 1 TACHE A TA 1 +TA 2 appel 13 réponse TA 2 TACHE A 13 réponse 13 TA 1.TA 2 acquittement

36 Ressource Commune A 99 B M1 R1 Ici, l étape 99 Représente la ressource Commune M2 R2 La ressource peut être utilisée par A (macro M1) ou B (macro M2)

37 Comportement Dynamique A 99 B (t1) R1 R2 M1 M2 L étape 99 est active, la «ressource» est libre

38 Comportement Dynamique A 99 B (t1) R1 R2 M1 M2 Le franchissement de la transition (t1) entraîne la désactivation de l étape 99. La ressource est donc utilisée par M1

39 Comportement Dynamique A 99 B R1 R2 M1 M2 Le processus B doit attendre la fin du processus A (M1) pour utiliser la ressource qui n est plus disponible (étape 99 inactive)

40 Comportement Dynamique A 99 B R1 R2 M1 M2 La fin de la macro M1 entraîne la réactivation de l étape 99. La ressource est de nouveau disponible pour B par exemple

41 Forçage 10 F/Grafcet : {contexte} 10 Grafcet {contexte} nouvelle écriture Le forçage est un ordre interne consécutif à une évolution. L application du forçage est prioritaire par rapport à toute évolution. Les actions associées aux étapes des grafcets forcés sont maintenues pendant la durée du forçage! Le grafcet forcé ne peut évoluer tant que l ordre de forçage est présent.

42 Cohérence La cohérence de la hiérarchie impose que : Si un grafcet force un autre grafcet, la réciproque est impossible Un grafcet ne peut être forcé que par un et un seul grafcet GM1 GM0 Gs21 Gs7 Gs1 Gs1 Gs22 GM2 Gs2

43 Forçage Dans La Situation Vide (Désactivation) 10 Gs { } L activation de l étape 10 entraîne la désactivation de toutes les étapes du grafcet Gs Gs

44 Forçage Dans Une Situation Donnée 10 Gs {4,5} L activation de l étape 10 entraîne l activation des étapes 4 et 5 du grafcet Gs et le maintient dans ce contexte tant que l ordre de forçage est émis Gs

45 Forçage Dans La Situation Courante :Figeage 10 Gs {*} L activation de l étape 10 entraîne le figeage du grafcet Gs dans la situation courante et le maintient dans ce contexte tant que l ordre de forçage est émis Gs

46 Forçage Dans La Situation Initiale 10 Gs {INIT} L activation de l étape 10 entraîne l initialisation du grafcet Gs et le maintient dans ce contexte tant que l ordre de forçage est émis Gs

47 Exemple a a=1 a 2 F/G1: {8} 6 2 G1{8} a 8 3 Pas d activation de l étape 7 7 a 8 G1 G1

48 Etape Encapsulante * 3 L activation de l étape encapsulante entraîne L activation des étapes indiquées par * * * est appelé lien d activation

49 Etape Encapsulante * 3 * 2 4 Les grafcets encapsulés peuvent ensuite évoluer normalement tant que l étape encapsulante est active 3 5

50 Etape Encapsulante * 3 * 2 4 La désactivation de l étape encapsulante entraîne la désactivation de toute les étapes encapsulée 3 5

51 Etape Encapsulante initiale l étape encapsulante 10 est initiale, car elle encapsule une étape initiale 1. * 2 3 Les étapes 10 et 1 sont actives à l instant initial. Ensuite, seul l étape 3 est activée lors de l activation de l étape 10

52 Etape Source & puit 10 Etape source - Moyen d activation Etape initiale Forçage 11 Encapsulation 12 Etape source - Moyen de desactivation 13 8 Forçage Encapsulation

53 Transition source & puit La transition source est toujours validée La transition puit ne présente aucune étape aval.

54 GRAFCET : IEC/CEI ) Rappels 2) Structuration & Hiérarchisation 3) Implémenter Des Grafcets 4) Coordination De Taches Raymond Philippe maj avril 2006 vidéo

55 3) Implémenter Des Grafcets Vous disposez d un atelier logiciel SFC? 0ui Les difficultés se limitent à la saisie des structures complexes, exotiques et à la réalisation des forçages Non Les ateliers SFC n offrent pas toujours la possibilité de réaliser des structures hiérarchisées complexes ( Mode de Marches et d Arrêt) n 1:= b 0 and e0 or b 1 and not e1;

56 Algorithme Sans Recherche De Stabilité Initialisation 0 Calcul des réceptivités 1 A complexes 2 r2 A B Calcul de l évolution r1 Commande des actions

57 Passage sur API début Init? Oui Initialisation Non Calcul des réceptivités complexes Calcul de l évolution Commande des actions E T S E T S fin

58 Méthode N 1 (Trivial) Initialisation init 0 0 S 1 2 R0=i0.i1.i2 r2 A A B init 0 S 1 R OU 1 R 2 R init S r1 2 R

59 Méthode N 1 calcul des réceptivités 0 i0 i1 i2 r0 r0=i0.i1.i2 1 A r2 2 A B r1

60 Méthode N 1 Évolution r S r0 0 R 1 A r1 1 2 r1 S 2 r2 A B r2 2 1 R 0 S 2 R

61 Méthode n 1 commande des actions 0 1 A 1 r0 A 2 r1 2 A B 2 B r2

62 Exemple Complet 0 1 A r1 2 A B r2

63 Traitement des divergences 10 r10 r R S 12 S r R r201 R 22 S

64 Traitement des divergences 10 r r1 r2 R 11 r S R 12 S 20 r r3 21 r4 R 22 S r R S

65 Non respect de la règle r0 r4 r R r1.11 r1.21 S r r2 r5 R 12 S Re-synchronisation impossible

66 temps de franchissement «nul» e e P S 0 R 1 e e P S 1 R e e 2 0 Compteur et structure registre impossible P S 2 R

67 Exercice 0 1 ^e0 S1 S4 e1 e3 /e1.(to/1) S2 2 4 C S1 5 S2 3 e2 e2 =1

68 Méthode 2 Principe De Base 1 0 r1 r3 i = nouvelle état i = ancien état Exemple 0 et 0 0:= 1.r (0.r3) nouvel Conditions maintient a condition de ne état d activation De l activation pas évoluer!

69 Méthode 2 Mémorisation 1 évolution 0:=1.r1+0./(0.r3) mémorisation 0:= 0 0 r1 r3 évolution 0:=1.r1+0./(0.r3) mémorisation 0:= 0 E T S Cycle n-1 Mémorisation du nouvel état dans l ancien pour le cycle suivant! E T S Cycle n

70 Méthode N 2 (Trivial) Initialisation 0! Uniquement l ancien état (i) init 0 S 1 2 R0=i0.i1.i2 r2 A A B init 0 S 1 R OU 1 R 2 R init S r1 2 R

71 Méthode 2 calcul des réceptivités 0 1 r0=i0.i1.i2 r2 A r0:=i0. i1. i2 R0:=i0 and i1 and i2; 2 A B r1

72 Méthode 2 Évolution 0 r0 0:=2.r2+0./(0.r0) 1:=0.r0+1./(1.r1) 2:=1.r1+2./(2.r2) 1 A r1 0:= 0 2 r2 A B 1:= 1 2:= 2 Toute les équations sont évaluées avec l état antérieur ce qui permet le respect des règles 4 et 5!

73 Méthode 2 commande des actions 0 1 r0 A A:= 1+ 2 B:= 2 r1 2 A B r2

74 Cas Général r1 r2 0 r3 r4 0:=(1.2.r r2) + 0.[0.(r3+r4)]

75 Exercice 0 1 ^e0 S1 S4 e1 e3 /e1.(to/1) S2 2 4 C S1 5 S2 3 e2 e2 =1

76 Exemple CADEPA Rôle de W0,4 W0,5 et W0,6?

77 Exemple CADEPA Rôle de W0,1 W0,2 W0,3?

78 Exemple CADEPA Rôle de W0,0?

79 Réalisation Des Forçages fo 0 R 1 S 2 R (fo = true) permet le forçage du grafcet (fi = true) permet le figeage du grafcet e./fi e./fi e./fi

80 Méthode 1 en ST (*Evolution utilisation d un entier comme Pointeur d étape*) If (StepG7 = 0) and r0 THEN 0 StepG7 := 1; ELSIF (StepG7 = 1) and r1 THEN StepG7 := 2; 1 r0 A ELSIF (StepG7 = 2) and r2 THEN r1 StepG7 := 0; END_IF; (*actions*) 2 r2 A B A:= (StepG7 = 1) OR (StepG7 = 2); B:= (StepG7 = 2);

81 Algorithme Avec Recherche De Stabilité

82 GRAFCET : IEC/CEI ) Rappels 2) Structuration & Hiérarchisation 3) Implémenter Des Grafcets 4) Coordination De Taches Raymond Philippe maj septembre 2005 vidéo

83 Chapitre 4 Coordination Des Taches La construction d un grafcet sans méthode est envisageable pour des automatismes simples, à faible taux de parallélisme entre tâches.

84 GCT Grafcet de coordination des tâches Mais un management efficace de l outil de production passe par l optimisation du temps de cycle. L objectif est donc de proposer une méthode «simple» permettant de construire un grafcet assurant l exécution d un maximum de tâches opératives en temps masqué. Temps masqué : temps d un travail accompli pendant l exécution d un autre travail

85 ETAPE 1 découpage en tâches opératives T1 Fin T1 La décomposition fonctionnelle de la PO regroupe un ensemble de constituants (actionneurs, pré-actionneurs, capteurs) localisé dans l espace A cette ensemble correspond une tâche PC représentée par un grafcet et définissant les actions associées les sujets de bts MAI proposent toujours cette phase d analyse

86 Exemple bts mai 1997 ligne de palettisation de bouteilles d eau

87 Rappel notion de tâche en grafcet L étape T1 invoque la tâche T1 définie par le grafcet GT1 10 GT1 T1 APPEL 11 T1 Fin T1 (13) REPONSE ACQUITTEMENT T1

88 assemblage de dalles en bois Une dalle (250x250) est constituée d'un parement d'essences diverses et de lambourdes collées sur ce dernier afin d'assurer la rigidité de la dalle. Les deux lambourdes en débordement sont ensuite usinées après le séchage de la colle

89 Découpage de la PO attente T3 PREHENSION DES LAMBOURDES T2 Fin T2 DEPOSE DES LAMBOURDES T1 Fin T1 TRANSFERT ENCOLLAGE Fin T3 T5 DEPOSE DES DALLES Fin T1 T4 PREHENSION DES DALLES Fin T4

90 ETAPE 2 tableau des antériorités On indique pour chaque tâche la ou les fins de tâches nécessaires à son exécution La fin de T3 autorise les tâches T1, T4 et T5 fint1 fint2 fint3 fint4 fint5 Exemple, pour réaliser T3 il faut avoir terminé T2 et T4 T1 T2 T3 T4 T5

91 tableau des antériorités assemblage de dalles en bois T1 T2 fint1 fint2 fint3 fint4 fint5 T1 TRANSFERT ENCOLLAGE T2 DEPOSE DES LAMBOURDES T3 PREHENSION DES LAMBOURDES T4 PREHENSION DES DALLES T5 DEPOSE DES DALLES T3 T4 T5 L installation est en production (hors marche de démarrage ou de clôture)

92 TACHE 1 transfert & encollage T1 T2 fint1 fint2 fint3 fint4 fint5 T1 TRANSFERT ENCOLLAGE T2 DEPOSE DES LAMBOURDES T3 PREHENSION DES LAMBOURDES T4 PREHENSION DES DALLES T5 DEPOSE DES DALLES T3 T4 T5 Le transfert encollage est possible si la dépose des lambourdes (T2) est faite ET si la préhension des dalles (T4) est réalisée

93 TACHE 2 dépose des lambourdes T1 T2 fint1 fint2 fint3 fint4 fint5 T1 TRANSFERT ENCOLLAGE T2 DEPOSE DES LAMBOURDES T3 PREHENSION DES LAMBOURDES T4 PREHENSION DES DALLES T5 DEPOSE DES DALLES T3 T4 T5 La dépose des lambourdes est possible si le transfert encollage (T1) est terminé ET si la préhension des lanbourdes est faite (T3)

94 TACHE 3 préhension des lambourdes T1 T2 fint1 fint2 fint3 fint4 fint5 T1 TRANSFERT ENCOLLAGE T2 DEPOSE DES LAMBOURDES T3 PREHENSION DES LAMBOURDES T4 PREHENSION DES DALLES T5 DEPOSE DES DALLES T3 T4 T5 La préhension de nouvelle lambourdes est possible si la dépose des lanbourdes précédente est faite (T2)

95 TACHE 4 préhension des dalles T1 T2 fint1 fint2 fint3 fint4 fint5 T1 TRANSFERT ENCOLLAGE T2 DEPOSE DES LAMBOURDES T3 PREHENSION DES LAMBOURDES T4 PREHENSION DES DALLES T5 DEPOSE DES DALLES T3 T4 T5 La préhension des dalles est possible si le transfert encollage est terminé ET si la dépose précédente est faite (T5)

96 TACHE 5 dépose des dalles T1 T2 fint1 fint2 fint3 fint4 fint5 T1 TRANSFERT ENCOLLAGE T2 DEPOSE DES LAMBOURDES T3 PREHENSION DES LAMBOURDES T4 PREHENSION DES DALLES T5 DEPOSE DES DALLES T3 T4 T5 La dépose des dalles est possible si leur préhension est réalisée (T4)

97 Résultat de l analyse T1 T2 fint1 fint2 fint3 fint4 fint5 T1 TRANSFERT ENCOLLAGE T2 DEPOSE DES LAMBOURDES T3 PREHENSION DES LAMBOURDES T4 PREHENSION DES DALLES T5 DEPOSE DES DALLES T3 T4 T5

98 ETAPE 3 Extraction des graphes partiels Les étapes 2/3 et 4/3 autorisent la tâche T3 Convergence en ET 2/3 4/3 T1 fint1 fint2 fint3 fint4 fint5 =1 T2 T3 T3 Fin T3 T4 T5 3/1 3/4 3/5 Les étapes 3/1, 3/4 et 3/5 sont les autorisations qui émanent de la tâche T3 Divergence en ET

99 Extraction du graphe T1 fin T1 fin T2 fin T3 fin T4 fin T5 2/1 4/1 T1 T2 =1 T3 T4 T1 T5 Fin T1 1/2 1/4

100 Extraction du graphe T2 fin T1 fin T2 fin T3 fin T4 fin T5 1/2 3/2 T1 T2 =1 T3 T4 T2 T5 Fin T2 2/1 2/3

101 Extraction du graphe T3 fin T1 fin T2 fin T3 fin T4 fin T5 2/3 T1 T2 =1 T3 T4 T3 T5 Fin T3 3/2

102 Extraction du graphe T4 fin T1 fin T2 fin T3 fin T4 fin T5 1/4 5/4 T1 T2 T3 =1 T4 T5 T4 Fin T4 4/1 4/5

103 Extraction du graphe T5 fin T1 fin T2 fin T3 fin T4 fin T5 4/5 T1 T2 =1 T3 T4 T5 T5 Fin T5 5/4

104 Résultat des graphes partiels 2/1 4/1 1/2 3/2 2/3 1/4 5/4 4/5 =1 =1 =1 =1 =1 T1 T2 T3 T4 T5 Fin T1 Fin T2 Fin T3 Fin T4 Fin T5 1/2 1/4 2/1 2/3 3/2 4/1 4/5 5/4 Même nombre d étapes d autorisations en haut et en bas

105 ETAPE 4 Assemblage final + Assembler les graphes partiels en gardant une seul étape d autorisation

106 4/1 2/1 =1 T1 T1 TRANSFERT ENCOLLAGE Fin T1 5/4 1/4 1/2 3/2 =1 =1 T4 PREHENSION DES DALLES T2 DEPOSE DES LAMBOURDES Fin T4 Fin T2 4/5 2/3 T5 =1 DEPOSE DES DALLES T3 =1 PREHENSION DES LAMBOURDES Fin T5 Fin T3

107 4/1 2/1 La mise en place des étapes initiales doit permettre l évolution du grafcet sans «blocage» Cet aspect est généralement abordé au niveau des MMA 4/5 T5 5/4 T4 =1 Fin T4 =1 DEPOSE DES DALLES T1 =1 1/4 1/2 PREHENSION DES DALLES Fin T1 T1 TRANSFERT ENCOLLAGE T2 =1 3/2 DEPOSE DES LAMBOURDES Fin T2 2/3 T3 =1 PREHENSION DES LAMBOURDES Fin T5 Fin T3

108 synthèse ETAPE 1 ETAPE 3 T1 T1 fin T1 fin T2 fin T3 fin T4 fin T5 1/4 5/4 Fin T1 T2 T3 =1 T4 T5 T4 Fin T4 4/1 4/5 ETAPE 2 ETAPE 4 4/1 2/1 fint1 fint2 fint3 fint4 fint5 T1 =1 T1 TRANSFERT ENCOLLAGE T1 5/4 Fin T1 1/4 1/2 3/2 T2 T3 T4 =1 PREHENSION DES DALLES Fin T4 T2 =1 DEPOSE DES LAMBOURDES Fin T2 T4 4/5 2/3 T5 T5 =1 DEPOSE DES DALLES T3 =1 PREHENSION DES LAMBOURDES Fin T5 Fin T3

109 Etape 2 : tableau de coordination type sujet bts Début si Fin autorise T1 fint1 fint2 fint3 fint4 fint5 T1 TRANSFERT ENCOLLAGE Fin T2 et fin T4 T2 et T4 T2 T3 T4 T5 T2 DEPOSE DES LAMBOURDES T3 PREHENSION DES LAMBOURDES Fin T1 et fin T3 Fin T2 T1 et T3 T2 T4 PREHENSION DES DALLES Fin T1 et fin T5 T1 et T5 T5 DEPOSE DES DALLES Fin T4 T4

110 Temps de cycle Diagramme de GANTT T1 T4 T5 T1 T4 T1 T5 T4 T1 TRANSFERT ENCOLLAGE T2 DEPOSE DES LAMBOURDES T3 PREHENSION DES LAMBOURDES T4 PREHENSION DES DALLES T5 DEPOSE DES DALLES T2 T2 T2 4/1 2/1 T3 T3 T1 =1 T1 TRANSFERT ENCOLLAGE Fin T1 5/4 1/4 1/2 3/2 =1 =1 T4 PREHENSION DES DALLES T2 DEPOSE DES LAMBOURDES Fin T4 Fin T2 4/5 2/3 TC = temps de cycle entre 2 déposes consécutives de dalle T5 =1 DEPOSE DES DALLES Fin T5 T3 =1 PREHENSION DES LAMBOURDES Fin T3 Ici TC = T4+T5

111 Temps de cycle phase transitoire de démarrage T5 T1 T1 T1 T4 T1 4/1 2/1 T2 T2 T1 =1 T1 TRANSFERT ENCOLLAGE T3 T3 T3 5/4 Fin T1 1/4 1/2 3/2 =1 =1 T4 PREHENSION DES DALLES T2 DEPOSE DES LAMBOURDES Fin T4 Fin T2 4/5 2/3 temps de cycle pour la première dépose de dalle T5 =1 DEPOSE DES DALLES Fin T5 T3 =1 PREHENSION DES LAMBOURDES Fin T3 TC= 3T1+T2+T4+T5

112 Analyse aspect du choix d aiguillage OU caisse vide = cv L information cv est mise à 1 au début de T2 lors de la prise de la dernière rangée. L information cv est mise à 0 au début de T2 lors de la prise de la première rangée.

113 Analyse aspect du choix d aiguillage OU Début si Fin autorise T1 Fin T4 T2 T2 T3 (FIN T3 et /cv) OU (FIN T1 et FIN T3 et cv) Fin T2 (T3 si /cv) OU (T3 et T4 si cv) T2 T4 Fin T2 et cv T1

114 Extraction des graphes Début si Fin autorise 3/2 3/2 1/2 T1 Fin T4 T2 /cv T2 T3 (FIN T3 et /cv) OU (FIN T1 et FIN T3 et cv) Fin T2 (T3 si /cv) OU (T3 et T4 si cv) T2 T2 cv Fin T2 T4 Fin T2 et cv T1 /cv cv 2/3 2/3 2/4

115 Extraction des graphes Début si Fin autorise 3/2 1/2 T1 Fin T4 T2 /cv T2 T3 (FIN T3 et /cv) OU (FIN T1 et FIN T3 et cv) Fin T2 (T3 si /cv) OU (T3 et T4 si cv) T2 T2 cv Fin T2 T4 Fin T2 et cv T1 /cv cv 2/3 2/4

116 Extraction des graphes Début si Fin autorise 2/4 T1 Fin T4 T2 T2 T3 (FIN T3 et /cv) OU (FIN T1 et FIN T3 et cv) Fin T2 (T3 si /cv) OU (T3 et T4 si cv) T2 T4 =1 Fin T4 T4 Fin T2 et cv T1 4/1

117 Extraction des graphes Début si Fin autorise 2/3 T1 Fin T4 T2 T2 T3 (FIN T3 et /cv) OU (FIN T1 et FIN T3 et cv) Fin T2 (T3 si /cv) OU (T3 et T4 si cv) T2 T3 =1 Fin T3 T4 Fin T2 et cv T1 3/2

118 Extraction des graphes Début si Fin autorise 4/1 T1 Fin T4 T2 T2 T3 (FIN T3 et /cv) OU (FIN T1 et FIN T3 et cv) Fin T2 (T3 si /cv) OU (T3 et T4 si cv) T2 T1 =1 Fin T1 T4 Fin T2 et cv T1 1/2

119 2/4 2/3 4/1 3/2 1/2 T4 =1 T3 =1 T1 =1 /cv T2 cv Fin T4 Fin T3 Fin T1 Fin T2 4/1 3/2 1/2 /cv cv 2/3 2/4

120 4/1 T3 =1 Fin T3 Déposer rangée T1 =1 Transfert caisse vide Fin T1 3/2 1/2 /cv cv T2 Prélever rangée Fin T2 /cv cv 2/3 2/4 T4 =1 Evacuer caisse pleine Fin T4

121 4/1 T3 =1 Fin T3 Déposer rangée T1 =1 Transfert caisse vide Fin T1 3/2 1/2 /cv cv T2 Prélever rangée Fin T2 /cv cv 2/3 2/4 Mise en place des étapes initiales (nécessite une initialisation de cv) T4 =1 Fin T4 Evacuer caisse pleine

122 temps de cycle théorique TCth Temps de cycle déterminé par les "Concepteurs". C'est celui que le "Moyen de Production" est capable de réaliser lorsqu'il est bien approvisionné et que toutes ses séquences de fonctionnement sont respectées. Il doit être mis à jour en fonction des évolutions techniques et des réalités du terrain. projet sofivin 2004

123 temps de cycle pratique TCp C'est le temps de cycle qui correspond à la performance que l'on attend du "Moyen de Production", à une période donnée, en fonction des engagements fixés par les usines le temps de cycle pratique est le temps de référence pour le management de la performance. TCp =< TCth Conseil pour les concepteurs TCth > TC demandé dans le CDCF Prévoir à la conception 10% de marge

124 Unité de temps Dixième de seconde Centième de seconde dmh = dix millième d heure (1dmH = 0,36 s et 1s = 2,78 dmh ) cmh = cent millième d heure (1cmH = 0,036 s et 1 s = 27,78 cmh)

125 Les temps d état d'un moyen de production Temps pendant lequel le moyen produit des pièces (bonnes ou mauvaises), dans le respect ou non du temps de cycle et avec tout ou partie des fonctions en service. Temps pendant lequel le moyen produit des pièces bonnes, au temps de cycle de référence et avec toutes ses fonctions en service. Temps pendant lequel l'utilisateur engage son moyen avec la volonté de produire.cette volonté se traduit par l'utilisation de moyens Techniques et Humains. Temps d arrêt dont la cause est interne au périmètre de mesure. La cause de ce type d arrêt peut-être imputable au moyen, à son outillage, au produit entrant, à une cause fonctionnelle ou à l exploitation du moyen. Temps d'arrêt pendant lequel le moyen de production ne peut accomplir sa fonction pour des causes externes. Dépassement du temps de cycle de référence de durée inférieure à un seuil paramétrable ne provoquant pas d'arrêt du moyen.

126 Les temps d état d'un moyen de production temps pendant lequel l'utilisateur n a pas la volonté de produire.

127 Taux de qualité Taux de qualité Le nombre de pièces bonnes réalisées correspond au nombre de pièces bonnes livrées au client.

128 Disponibilité propre DP Disponibilité opérationnelle Do

129 Taux de rendement synthétique TRS NPTR est le nombre de pièces théoriquement réalisables par le moyen si le moyen n'avait aucun arrêt, fonctionnait au temps de cycle théorique (Tcth) et n'engendrait aucun rebut pendant le temps requis. NPTR : Nombre de Pièces Théoriquement Réalisables = Tr/Tcth Le TRS permet de suivre l'évolution du fonctionnement des équipements NPB t TRS = = NPB NTPR t CR R

130 notes Who Was Henry Gantt? Born in 1861 in Calvert County Maryland, Gantt led an active life as an industrial engineer and consultant. He worked directly with Frederick W. Taylor for a number of years and in 1917 invented the Gantt chart, a horizontal bar chart that was an innovative way to manage overlapping tasks. Temps d'état et indicateurs de suivi de performances des moyens de production : document cnomo E R /E

DECODER LES GRAFCET ET REPERER LES DIFFERENTS POINTS DE VUE

DECODER LES GRAFCET ET REPERER LES DIFFERENTS POINTS DE VUE MI V B DECODER LES GRAFCET ET REPERER LES DIFFERENTS POINTS DE VUE Maintenance industrielle Niveau V CAFOC - GIP de l académie de Lyon - 9, rue Pierre Baizet - CP - 696 Lyon cedex 9 7 9 8-78 7 7 - gipal-cafoc@ac-lyon.fr

Plus en détail

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) Surveillance et maintenance prédictive : évaluation de la latence de fautes Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) SURVEILLANCE Analyser une situation et fournir des indicateurs! Détection de symptômes!

Plus en détail

CONFIGURATION DE L AUTOMATE SIEMENS

CONFIGURATION DE L AUTOMATE SIEMENS CONFIGURATION DE L AUTOMATE SIEMENS Créer un projet Dans le bureau de Windows, double-cliquer sur l icône «SIMATIC Manager» : Cliquer ensuite sur l icône «nouveau» : Choisir un nom de projet et valider

Plus en détail

3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes

3. 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étail

Catalogue - Formation en «électropneumatique et systèmes automatisés process control system»

Catalogue - Formation en «électropneumatique et systèmes automatisés process control system» entre echnologies Avancées Catalogue - en «électropneumatique et systèmes automatisés process control system» 2012-2013 Boulevard du Château 12, 7800 ATH Tél : 068/26.88.80 Fax : 068/26.88.81 E-Mail :

Plus en détail

Grafcet Designer v.2.0 Manuel de Référence

Grafcet Designer v.2.0 Manuel de Référence Grafcet Designer v.2.0 Manuel de Référence Avril 2014 TecAtlant Le Fort bloqué 27 Allée des Macareux 56270 Ploemeur FRANCE Tél. : +33 (0)9 80 32 79 40 Limitations de garantie Les éventuels supports sur

Plus en détail

ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview.

ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview. ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview. Sciences et Technologies de l Industrie et du Développement Durable Formation des enseignants parcours : ET24 Modèle de

Plus en détail

Manuel de référence du langage Exemples Les aventures de Docteur R. www.irai.com

Manuel de référence du langage Exemples Les aventures de Docteur R. www.irai.com Manuel de référence du langage Exemples Les aventures de Docteur R. www.irai.com 1. Eléments communs... 7 1.1. Les variables... 7 1.1.1. Les variables booléennes... 7 1.1.2. Les variables numériques...

Plus en détail

UNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX

UNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX UNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX PLAN

Plus en détail

Variateurs de vitesse

Variateurs de vitesse Présentation, description Altivar Présentation La carte programmable Controller Inside permet d adapter le variateur de vitesse aux applications spécifi ques par l intégration des fonctions d automatisme.

Plus en détail

KL5121. Pour activer des sorties en fonction de la position d'un codeur

KL5121. Pour activer des sorties en fonction de la position d'un codeur KL5121 Pour activer des sorties en fonction de la position d'un codeur VERSION : 1.0 / PH DATE : 07 Février 2006 Sommaire Ce manuel explique de manière pratique les étapes successives pour mettre en œuvre

Plus en détail

- Le Diagramme de Gantt. - Le Diagramme de Pert - La Méthode QQCQCCP - La Méthode MOSI - Cahier des charges fonctionnel

- Le Diagramme de Gantt. - Le Diagramme de Pert - La Méthode QQCQCCP - La Méthode MOSI - Cahier des charges fonctionnel Planifier le projet > Identifier les étapes > Organiser le projet > Identifier les étapes - Le Diagramme de Gantt > Organiser le projet - Le Diagramme de Pert - La Méthode QQCQCCP - La Méthode MOSI - Cahier

Plus en détail

Organigramme / Algorigramme Dossier élève 1 SI

Organigramme / Algorigramme Dossier élève 1 SI Organigramme / Algorigramme Dossier élève 1 SI CI 10, I11 ; CI 11, I10 C24 Algorithmique 8 février 2009 (13:47) 1. Introduction Un organigramme (ou algorigramme, lorsqu il est plus particulièrement appliqué

Plus en détail

Conception de circuits numériques et architecture des ordinateurs

Conception de circuits numériques et architecture des ordinateurs Conception de circuits numériques et architecture des ordinateurs Frédéric Pétrot Année universitaire 2014-2015 Structure du cours C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 Codage des nombres en base 2, logique

Plus en détail

Cours A7 : Temps Réel

Cours A7 : Temps Réel Cours A7 : Temps Réel Pierre.Paradinas / @ / cnam.fr Cnam/Cedric Systèmes Enfouis et Embarqués (SEE) Motivations Du jour : les mécanismes multitâches, la gestion des priorités, l ordonnancement, la gestion

Plus en détail

Millenium3 Atelier de programmation

Millenium3 Atelier de programmation Millenium3 Millenium 3 Millenium3 1. Aide en ligne CLSM3... 2 1.1 Présentation de l'atelier de programmation... 2 1.1.1 Présentation de l'atelier de programmation... 2 1.2 Comment débuter avec l'atelier

Plus en détail

Module EC2b Programmation et Automatisation Bâtiment

Module EC2b Programmation et Automatisation Bâtiment Licence Professionnelle EGC-ITEB Energie - Génie Climatique: Intelligence Technique et Energétique du Bâtiment Module EC2b Programmation et Automatisation Bâtiment par Pr. Eddy BAJIC IUT Nancy Brabois

Plus en détail

Animation pédagogique sur l oscilloscope à mémoire Hameg HM 507

Animation pédagogique sur l oscilloscope à mémoire Hameg HM 507 Animation pédagogique sur l oscilloscope à mémoire Hameg HM 507 Les réglages matériels généraux de l oscilloscope Hameg HM 507 Ce sont les réglages qui sont actifs aussi bien en mode Analogique (oscilloscope

Plus en détail

Problèmes liés à la concurrence

Problèmes liés à la concurrence ENS Cachan Problématique Difficile de gérer la concurrence : Pas toujours facile d avoir des fonctions réentrantes. Risque de race condition : ex : x :=x+1 x :=x+1 On voudrait des blocs d instructions

Plus en détail

Cours de Génie Logiciel

Cours 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étail

DIAGNOSTIQUER EN UTILISANT L INFORMATIQUE

DIAGNOSTIQUER EN UTILISANT L INFORMATIQUE DIAGNOSTIQUER EN UTILISANT L INFORMATIQUE Maintenance industrielle Niveau IV CAFOC - GIP de l académie de Lyon - 39, rue Pierre Baizet - CP201-69336 Lyon cedex 09 04 72 19 80 21-04 78 47 27 11 - gipal-cafoc@ac-lyon.fr

Plus en détail

Serrure Motorisée Asservie - Mise en Applique

Serrure Motorisée Asservie - Mise en Applique ZD313357 Ve B MAJ le 21.03.13 Serrure Motorisée Asservie - Mise en Applique Notice d installation Verrouillage motorisé 1 / 2 point (s). Système à sécurité positive (rupture de courant) Conforme à la norme

Plus en détail

VIII- Circuits séquentiels. Mémoires

VIII- Circuits séquentiels. Mémoires 1 VIII- Circuits séquentiels. Mémoires Maintenant le temps va intervenir. Nous avions déjà indiqué que la traversée d une porte ne se faisait pas instantanément et qu il fallait en tenir compte, notamment

Plus en détail

GPA770 Microélectronique appliquée Exercices série A

GPA770 Microélectronique appliquée Exercices série A GPA770 Microélectronique appliquée Exercices série A 1. Effectuez les calculs suivants sur des nombres binaires en complément à avec une représentation de 8 bits. Est-ce qu il y a débordement en complément

Plus en détail

Agrégation de liens xdsl sur un réseau radio

Agrégation de liens xdsl sur un réseau radio Agrégation de liens xdsl sur un réseau radio Soutenance TX Suiveur: Stéphane Crozat Commanditaire: tetaneutral.net/laurent Guerby 1 02/02/212 Introduction 2 Introduction: schéma 3 Définition d un tunnel

Plus en détail

Algorithmique & programmation

Algorithmique & programmation Algorithmique & programmation Type structuré Article, Enregistrement, Structure Définition de nouveaux types!! On a vu les types simples "! entier, booléen, caractère, chaîne de caractères!! Comment gérer

Plus en détail

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances

Plus en détail

Programmation graphique des applications de contrôle-commande

Programmation graphique des applications de contrôle-commande Programmation graphique des applications de contrôle-commande par Francis COTTET Professeur d Université LISI/ENSMA et Patrick RENARD Directeur de la communication National Instruments France 1. Généralités...

Plus en détail

Cours de Programmation en Langage Synchrone SIGNAL. Bernard HOUSSAIS IRISA. Équipe ESPRESSO

Cours de Programmation en Langage Synchrone SIGNAL. Bernard HOUSSAIS IRISA. Équipe ESPRESSO Cours de Programmation en Langage Synchrone SIGNAL Bernard HOUSSAIS IRISA. Équipe ESPRESSO 24 septembre 2004 TABLE DES MATIÈRES 3 Table des matières 1 Introduction 5 1.1 La Programmation Temps Réel.........................

Plus en détail

2011-2012 TP D AUTOMATISME TS2 CIRA (première partie)

2011-2012 TP D AUTOMATISME TS2 CIRA (première partie) 2011-2012 TP D AUTOMATISME TS2 CIRA (première partie) YVES DARCQ LYCEE COUFFIGNAL 2011-2012 TABLE DES MATIERES I] LANGAGES DE PROGRAMMATION DES API... 2 1] ELEMENTS COMMUNS AUX DIFFERENTS LANGAGES... 2

Plus en détail

MODE D EMPLOI. Station météo avec senseur extérieur sans fil WS-1100

MODE D EMPLOI. Station météo avec senseur extérieur sans fil WS-1100 MODE D EMPLOI Station météo avec senseur extérieur sans fil WS-1100 FR SOMMAIRE 1 2 11 3 4 5 10 9 6 8 1. affi chage de l horloge DCF 2. les précisions météorologiques avec des symboles 3. pression de l

Plus en détail

OCL - Object Constraint Language

OCL - Object Constraint Language OCL - Object Constraint Language Laëtitia Matignon laetitia.matignon@univ-lyon1.fr Département Informatique - Polytech Lyon Université Claude Bernard Lyon 1 2012-2013 Laëtitia Matignon SIMA - OCL - Object

Plus en détail

Les diagrammes de modélisation

Les 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étail

UML et les Bases de Données

UML et les Bases de Données CNAM UML et les Bases de Données UML et les Bases de Données. Diagramme de classes / diagramme d objets (UML)...2.. Premier niveau de modélisation des données d une application...2.2. Les éléments de modélisation...2.2..

Plus en détail

Logique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

Logique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques. Logique binaire I. L'algèbre de Boole L'algèbre de Boole est la partie des mathématiques, de la logique et de l'électronique qui s'intéresse aux opérations et aux fonctions sur les variables logiques.

Plus en détail

Programmation en langage C d un µcontrôleur PIC à l aide du compilateur C-CCS Sommaire

Programmation en langage C d un µcontrôleur PIC à l aide du compilateur C-CCS Sommaire Programmation en langage C d un µcontrôleur PIC à l aide du compilateur C-CCS CCS Sommaire Généralités sur le langage. 2 Structure d un programme en C.. 3 Les constantes et équivalences.. 4 Les variables...

Plus en détail

Chapitre 4 : Exclusion mutuelle

Chapitre 4 : Exclusion mutuelle Chapitre 4 : Exclusion mutuelle Pierre Gançarski Juillet 2004 Ce support de cours comporte un certain nombre d erreurs : je décline toute responsabilité quant à leurs conséquences sur le déroulement des

Plus en détail

Traduction des Langages : Le Compilateur Micro Java

Traduction des Langages : Le Compilateur Micro Java BARABZAN Jean-René OUAHAB Karim TUCITO David 2A IMA Traduction des Langages : Le Compilateur Micro Java µ Page 1 Introduction Le but de ce projet est d écrire en JAVA un compilateur Micro-Java générant

Plus en détail

CONCIERGE 400 MANUEL DE L UTILISATEUR SÉRIE PROFESSIONAL PÊNE DORMANT ÉLECTRONIQUE 01/2015

CONCIERGE 400 MANUEL DE L UTILISATEUR SÉRIE PROFESSIONAL PÊNE DORMANT ÉLECTRONIQUE 01/2015 CONCIERGE 400 SÉRIE PROFESSIONAL PÊNE DORMANT ÉLECTRONIQUE MANUEL DE L UTILISATEUR 01/2015 IMPORTANT : Avant la première utilisation, prière de lire la page 19 dans le manuel de l utilisateur pour des

Plus en détail

Introduction à MATLAB R

Introduction à MATLAB R Introduction à MATLAB R Romain Tavenard 10 septembre 2009 MATLAB R est un environnement de calcul numérique propriétaire orienté vers le calcul matriciel. Il se compose d un langage de programmation, d

Plus en détail

WEBVIEW. Serveur Web embarqué dans DIRIS G NOTICE D UTILISATION. www.socomec.com. http://www.socomec. com/webview_ software

WEBVIEW. Serveur Web embarqué dans DIRIS G NOTICE D UTILISATION. www.socomec.com. http://www.socomec. com/webview_ software NOTICE D UTILISATION WEBVIEW Serveur Web embarqué dans DIRIS G FR http://www.socomec. com/webview_ software www.socomec.com FR SOMMAIRE 1. DOCUMENTATION...3 2. OPÉRATIONS PRÉALABLES...3 3. PRÉSENTATION...3

Plus en détail

REALISATION d'un. ORDONNANCEUR à ECHEANCES

REALISATION d'un. ORDONNANCEUR à ECHEANCES REALISATION d'un ORDONNANCEUR à ECHEANCES I- PRÉSENTATION... 3 II. DESCRIPTION DU NOYAU ORIGINEL... 4 II.1- ARCHITECTURE... 4 II.2 - SERVICES... 4 III. IMPLÉMENTATION DE L'ORDONNANCEUR À ÉCHÉANCES... 6

Plus en détail

Génie Logiciel avec Ada. 4 février 2013

Génie Logiciel avec Ada. 4 février 2013 Génie Logiciel 4 février 2013 Plan I. Généralités II. Structures linéaires III. Exceptions IV. Structures arborescentes V. Dictionnaires I. Principes II. Notions propres à la POO I. Principes Chapitre

Plus en détail

Cursus Sage ERP X3 Outils & Développement. Le parcours pédagogique Sage ERP X3 Outils et Développement

Cursus Sage ERP X3 Outils & Développement. Le parcours pédagogique Sage ERP X3 Outils et Développement Cursus Outils & Développement Vous êtes Consultant, Chef de Projets, Directeur des Systèmes d Information, Directeur Administratif et Financier, Optez pour les «formations Produits» Nous vous proposons

Plus en détail

INITIATION AU LANGAGE C SUR PIC DE MICROSHIP

INITIATION AU LANGAGE C SUR PIC DE MICROSHIP COURS PROGRAMMATION INITIATION AU LANGAGE C SUR MICROCONTROLEUR PIC page 1 / 7 INITIATION AU LANGAGE C SUR PIC DE MICROSHIP I. Historique du langage C 1972 : naissance du C dans les laboratoires BELL par

Plus en détail

Atelier C TIA Portal CTIA06 : programmation des automates S7-300 Blocs d organisation

Atelier C TIA Portal CTIA06 : programmation des automates S7-300 Blocs d organisation Atelier C TIA Portal CTIA06 : programmation des automates S7-300 Blocs d organisation CTIA06 Page 1 1. Types de blocs de programme L automate met à disposition différents types de blocs qui contiennent

Plus en détail

Rappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme

Rappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme Rappel Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.univ-paris-diderot.fr 6 mai 2015 Jusqu'à maintenant : un petit langage de programmation

Plus en détail

Introduction à l informatique temps réel Pierre-Yves Duval (cppm)

Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme:

Plus en détail

Module de mesure de courant pour relais statiques serie HD Module de mesure de courant HD D0340I

Module de mesure de courant pour relais statiques serie HD Module de mesure de courant HD D0340I Plage de tension de commande: 4... 30 VDC Plage de courant de charge: 2 A... 40 A Controle permanent de courant Apprentissage du courant de consigne par bouton poussoir ou par entrée externe Seuil d'alarme

Plus en détail

Initiation aux Sciences de l Ingénieur LIVRET DE SECONDE

Initiation aux Sciences de l Ingénieur LIVRET DE SECONDE Etablissement : NOM : Classe :. Année scolaire : 20.. / 20 Initiation aux Sciences de l Ingénieur LIVRET DE SECONDE N fiche Savoirs Compétences Supports d apprentissage (à compléter) Validation (par l

Plus en détail

Recherche dans un tableau

Recherche dans un tableau Chapitre 3 Recherche dans un tableau 3.1 Introduction 3.1.1 Tranche On appelle tranche de tableau, la donnée d'un tableau t et de deux indices a et b. On note cette tranche t.(a..b). Exemple 3.1 : 3 6

Plus en détail

L AUTOMATISME LE SIGNAL

L AUTOMATISME LE SIGNAL L AUTOMATISME LE SIGNAL Page 1 sur 7 Sommaire : 1- Champ de l automatisme définitions 2- Correspondance entre phénomènes physiques et signaux a. Capteur b. Exemple de capteur TOR c. Exemple de capteur

Plus en détail

TP_Codeur_Incrémental

TP_Codeur_Incrémental Lycée Lislet Geoffroy BTS MAI TP2 - Codeur incrémental Cod-2 Etre capable de : Décrire l allure des signaux délivrés par un codeur incrémental. Enoncer les caractéristiques principales d un codeur incrémental.

Plus en détail

Twincat PLC Temperature Controller. Régulation de Température à l aide de TwinCAT PLC.

Twincat PLC Temperature Controller. Régulation de Température à l aide de TwinCAT PLC. Twincat PLC Temperature Controller Régulation de Température à l aide de TwinCAT PLC. VERSION : 1.0 / JYL DATE : 28 Novembre 2005 1 Installation...4 2 Présentation :...4 3 Schéma fonctionnel :...5 4 Générateur

Plus en détail

Auto formation à Zelio logic

Auto formation à Zelio logic Auto formation à Zelio logic 1 Les Produits Félicitations, vous avez choisi l'un des produits Zelio 2 suivants : 2 Environnement Le Zelio Logic est programmable à l'aide du logiciel Zelio Soft ou en Saisie

Plus en détail

ÉLÉMENTS DE GESTION DE PROJET

ÉLÉMENTS DE GESTION DE PROJET ÉLÉMENTS DE GESTION DE PROJET Gilles Boulet PMP gb@gillesboulet.ca Mai 2006 Révision Février 2009 Le management de projet est composé de 5 grands processus faisant chacun appel à 9 domaines de connaissances

Plus en détail

Initiation à LabView : Les exemples d applications :

Initiation à LabView : Les exemples d applications : Initiation à LabView : Les exemples d applications : c) Type de variables : Créer un programme : Exemple 1 : Calcul de c= 2(a+b)(a-3b) ou a, b et c seront des réels. «Exemple1» nom du programme : «Exemple

Plus en détail

FRANCAIS ENGLISH DEUTSCH ITALIANO ESPANOL NEDERLANDS PORTUGUESES MANUEL UTILISATEUR USER S GUIDE BENUTZERHANDBUCH GUIDA PER L UTENTE GUIA DEL USUARIO

FRANCAIS ENGLISH DEUTSCH ITALIANO ESPANOL NEDERLANDS PORTUGUESES MANUEL UTILISATEUR USER S GUIDE BENUTZERHANDBUCH GUIDA PER L UTENTE GUIA DEL USUARIO PAVE NUMERIQUE CALCULATRICE MANUEL UTILISATEUR USER S GUIDE BENUTZERHANDBUCH GUIDA PER L UTENTE GUIA DEL USUARIO GEBRUIKERSGIDS MANUAL DO USUARIO FRANCAIS ENGLISH DEUTSCH ITALIANO ESPANOL NEDERLANDS PORTUGUESES

Plus en détail

NPIH800 GENERATION & RESEAUX. PROTECTION de COURANT TERRE

NPIH800 GENERATION & RESEAUX. PROTECTION de COURANT TERRE GENERATION & RESEAUX PROTECTION de COURANT TERRE NPIH800 assure la protection à maximum de courant terre des réseaux électriques de moyenne et haute tension. Ce relais multifonction surveille les défauts

Plus en détail

Continuité et dérivabilité d une fonction

Continuité et dérivabilité d une fonction DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité

Plus en détail

Baccalauréat ES/L Amérique du Sud 21 novembre 2013

Baccalauréat ES/L Amérique du Sud 21 novembre 2013 Baccalauréat ES/L Amérique du Sud 21 novembre 2013 A. P. M. E. P. EXERCICE 1 Commun à tous les candidats 5 points Une entreprise informatique produit et vend des clés USB. La vente de ces clés est réalisée

Plus en détail

DU BINAIRE AU MICROPROCESSEUR - D ANGELIS CIRCUITS CONFIGURABLES NOTION DE PROGRAMMATION

DU BINAIRE AU MICROPROCESSEUR - D ANGELIS CIRCUITS CONFIGURABLES NOTION DE PROGRAMMATION 145 NOTION DE PROGRAMMATION 1/ Complétons notre microprocesseur Nous avons, dans les leçons précédentes décrit un microprocesseur théorique, cependant il s inspire du 6800, premier microprocesseur conçu

Plus en détail

MANUEL DE L UTILISATEUR

MANUEL DE L UTILISATEUR 4600 MANUEL DE L UTILISATEUR Sommaire : 1. INTRODUCTION... 4 2. ACTIVATION/DESACTIVATION DU SYSTEME PAR LA RADIOCOMMANDE DU VEHICULE OU PAR LA RADIOCOMMANDE COBRA... 4 3. FONCTIONS ACTIVES (Description

Plus en détail

Cours d Algorithmique-Programmation 2 e partie (IAP2): programmation 24 octobre 2007impérative 1 / 44 et. structures de données simples

Cours d Algorithmique-Programmation 2 e partie (IAP2): programmation 24 octobre 2007impérative 1 / 44 et. structures de données simples Cours d Algorithmique-Programmation 2 e partie (IAP2): programmation impérative et structures de données simples Introduction au langage C Sandrine Blazy - 1ère année 24 octobre 2007 Cours d Algorithmique-Programmation

Plus en détail

ANNEXE 5 (1 page) MIC2920x

ANNEXE 5 (1 page) MIC2920x ²² ANNEXE 5 (1 page) MIC2920x Coefficient : 5 DT 7/ 29 ANNEXE 6 (1 page) - ADG 719 Coefficient : 5 DT 8/ 29 ANNEXE 7 (3 pages) - ESDAxxSCy Coefficient : 5 DT 9/ 29 ANNEXE 7 (suite) Coefficient : 5 DT 10/

Plus en détail

LES TYPES DE DONNÉES DU LANGAGE PASCAL

LES TYPES DE DONNÉES DU LANGAGE PASCAL LES TYPES DE DONNÉES DU LANGAGE PASCAL 75 LES TYPES DE DONNÉES DU LANGAGE PASCAL CHAPITRE 4 OBJECTIFS PRÉSENTER LES NOTIONS D ÉTIQUETTE, DE CONS- TANTE ET DE IABLE DANS LE CONTEXTE DU LAN- GAGE PASCAL.

Plus en détail

Notice d installation de la Centrale VIGIK DGM1

Notice d installation de la Centrale VIGIK DGM1 Notice d installation de la Centrale VIGIK DGM1 Version 3.5 NOTICE DE MONTAGE ET D UTILISATION N homologation : PS 200306-01 MS 200306-02 Informations préliminaires Présentation des possibilités de la

Plus en détail

Qualité du logiciel: Méthodes de test

Qualité 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étail

Algorithmique des Systèmes Répartis Protocoles de Communications

Algorithmique des Systèmes Répartis Protocoles de Communications Algorithmique des Systèmes Répartis Protocoles de Communications Master Informatique Dominique Méry Université de Lorraine 1 er avril 2014 1 / 70 Plan Communications entre processus Observation et modélisation

Plus en détail

PLANIFICATION DE PROJET ET METHODES D ORDONNANCEMENT

PLANIFICATION DE PROJET ET METHODES D ORDONNANCEMENT P a g e 1 PLANIFICATION DE PROJET ET METHODES D ORDONNANCEMENT NOTION DE PROJET ET D ORDONNANCEMENT Lors de la réalisation d un projet industriel (construction d usine, d autoroute, recherche et développement

Plus en détail

Compilation (INF 564)

Compilation (INF 564) Présentation du cours Le processeur MIPS Programmation du MIPS 1 Compilation (INF 564) Introduction & architecture MIPS François Pottier 10 décembre 2014 Présentation du cours Le processeur MIPS Programmation

Plus en détail

Compression Compression par dictionnaires

Compression Compression par dictionnaires Compression Compression par dictionnaires E. Jeandel Emmanuel.Jeandel at lif.univ-mrs.fr E. Jeandel, Lif CompressionCompression par dictionnaires 1/25 Compression par dictionnaire Principe : Avoir une

Plus en détail

Gestion de projets logiciels. Xavier Dubuc

Gestion de projets logiciels. Xavier Dubuc Gestion de projets logiciels Résumé blocus Xavier Dubuc 16 janvier 2011 1 Table des matières 1 Planification (PERT-GANTT) 3 1.1 Définitions............................................. 3 1.2 Analyse un

Plus en détail

Cours Informatique Master STEP

Cours Informatique Master STEP Cours Informatique Master STEP Bases de la programmation: Compilateurs/logiciels Algorithmique et structure d'un programme Programmation en langage structuré (Fortran 90) Variables, expressions, instructions

Plus en détail

Sélection du contrôleur

Sélection du contrôleur Démo CoDeSys - 1 - 1. Configuration de l environnement de travail : Lancer le logiciel CoDeSys Fichier Nouveau Lors de la première utilisation, une boîte de dialogue apparaît permettant la sélection du

Plus en détail

uc : Cas d utilisation Top-Chair [Utilisation normale] Fauteuil Top-Chair Déplacer le fauteuil sur tous chemins «include» «include» «extend»

uc : Cas d utilisation Top-Chair [Utilisation normale] Fauteuil Top-Chair Déplacer le fauteuil sur tous chemins «include» «include» «extend» TopChair S c Première partie Présentation du système Plus d autonomie pour plus de liberté! TopChair S c offre aux personnes à mobilité réduite une nouvelle possibilité de se déplacer sans assistance à

Plus en détail

Enquête 2014 de rémunération globale sur les emplois en TIC

Enquête 2014 de rémunération globale sur les emplois en TIC Enquête 2014 de rémunération globale sur les emplois en TIC Enquête 2014 de rémunération globale sur les emplois en TIC Les emplois repères de cette enquête sont disponibles selon les trois blocs suivants

Plus en détail

Introduction à la programmation orientée objet, illustrée par le langage C++ Patrick Cégielski cegielski@u-pec.fr

Introduction à la programmation orientée objet, illustrée par le langage C++ Patrick Cégielski cegielski@u-pec.fr Introduction à la programmation orientée objet, illustrée par le langage C++ Patrick Cégielski cegielski@u-pec.fr Mars 2002 Pour Irène et Marie Legal Notice Copyright c 2002 Patrick Cégielski Université

Plus en détail

SYSTEMES DE TRANSFERT STATIQUE: CEI 62310, UNE NOUVELLE NORME POUR GARANTIR LES PERFORMANCES ET LA SÉCURITÉ

SYSTEMES DE TRANSFERT STATIQUE: CEI 62310, UNE NOUVELLE NORME POUR GARANTIR LES PERFORMANCES ET LA SÉCURITÉ White Paper 10 2010 SYSTEMES DE TRANSFERT STATIQUE: CEI 62310, UNE NOUVELLE NORME POUR GARANTIR LES PERFORMANCES ET LA SÉCURITÉ MATTEO GRANZIERO, Responsabile comunicazione tecnica, SOCOMEC UPS Avant l

Plus en détail

>I Maçonnerie I ESCALIERS MAISON INDIVIDUELLE

>I Maçonnerie I ESCALIERS MAISON INDIVIDUELLE ESCALIERS >I Maçonnerie I Sommaire Terminologie Textes de référence Mise en œuvre Conception Finition Produits Cahier des Clauses Techniques Particulières Terminologie Ouvrage de circulation verticale

Plus en détail

6.5.2 Reset_Scénario... 11 6.5.3 Démarrage_Zibase... 11 6.6 Mise sous alarme, surveillance... 11 6.6.1 Eclairage Allée Temp... 11 6.6.

6.5.2 Reset_Scénario... 11 6.5.3 Démarrage_Zibase... 11 6.6 Mise sous alarme, surveillance... 11 6.6.1 Eclairage Allée Temp... 11 6.6. Table des matières 1. Définition des besoins... 4 1.1 Monitoring... 4 1.2 Actions... 4 1.3 Alertes... 4 2. Modules et capteurs actuels... 4 2.1 Les actionneurs type lampes... 4 2.2 Les actionneurs type

Plus en détail

LOGIcIEL WZP. QUICKSTART-logiciel-WZP-6004V1.2

LOGIcIEL WZP. QUICKSTART-logiciel-WZP-6004V1.2 GUIDE DE Démarrage rapide du LOGIcIEL WZP QUICKSTART-logiciel-WZP-6004V1.2 Consignes de sécurité importantes ATTENTION! Avant de commencer l installation de votre matériel, lisez attentivement la section

Plus en détail

EL70x1 en mode position. Mise en œuvre rapide. VERSION : Beta / DATE : 31 Juillet 2011

EL70x1 en mode position. Mise en œuvre rapide. VERSION : Beta / DATE : 31 Juillet 2011 - EL70x1 en mode position Mise en œuvre rapide VERSION : Beta / DATE : 31 Juillet 2011 Les bornes EL70x1 permettent de contrôler des moteurs pas à pas. Soit la consigne est générée par une tâche NC, soit

Plus en détail

Temps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Septembre 2011

Temps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Septembre 2011 Temps Réel Jérôme Pouiller Septembre 2011 Sommaire Problèmatique Le monotâche Le multitâches L ordonnanement Le partage de ressources Problèmatiques des OS temps réels J. Pouiller

Plus en détail

Gestion de projet - contraintes, chevauchement, attente entre 2 tâches, jalons

Gestion de projet - contraintes, chevauchement, attente entre 2 tâches, jalons Gestion de projet - contraintes, chevauchement, attente entre 2 tâches, jalons GÉRARD CASANOVA - DENIS ABÉCASSIS Paternité - Pas d'utilisation Commerciale - Pas de Modification : http://creativecommons.org/licenses/by-nc-nd/2.0/fr/

Plus en détail

Programmer en JAVA. par Tama (tama@via.ecp.fr( tama@via.ecp.fr)

Programmer en JAVA. par Tama (tama@via.ecp.fr( tama@via.ecp.fr) Programmer en JAVA par Tama (tama@via.ecp.fr( tama@via.ecp.fr) Plan 1. Présentation de Java 2. Les bases du langage 3. Concepts avancés 4. Documentation 5. Index des mots-clés 6. Les erreurs fréquentes

Plus en détail

HAM841K CENTRALE D'ALARME POUR SYSTEMES DE SECURITE COMMERCIAUX ET D'HABITATION

HAM841K CENTRALE D'ALARME POUR SYSTEMES DE SECURITE COMMERCIAUX ET D'HABITATION CENTRALE D'ALARME POUR SYSTEMES DE SECURITE COMMERCIAUX ET D'HABITATION MANUEL D'UTILISATION MANUEL D'UTILISATION CENTRALE D'ALARME POUR SYSTEMES DE SECURITE COMMERCIAUX ET D'HABITATION INTRODUCTION Le

Plus en détail

IN 102 - Cours 1. 1 Informatique, calculateurs. 2 Un premier programme en C

IN 102 - Cours 1. 1 Informatique, calculateurs. 2 Un premier programme en C IN 102 - Cours 1 Qu on le veuille ou non, les systèmes informatisés sont désormais omniprésents. Même si ne vous destinez pas à l informatique, vous avez de très grandes chances d y être confrontés en

Plus en détail

Caractéristiques techniques

Caractéristiques techniques Marque de commande Caractéristiques Possibilité de positionner la tête du détecteur par rotations successives 40 mm, non noyable Fixation rapide Propre à l'emploi jusqu'à SIL 2 selon IEC 61508 Accessoires

Plus en détail

Exclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011

Exclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011 Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique

Plus en détail

LA METHODE GRAI. B. VALLESPIR, G. DOUMEINGTS Université Bordeaux I - ENSEIRB LAPS/GRAI UMR CNRS 5131

LA METHODE GRAI. B. VALLESPIR, G. DOUMEINGTS Université Bordeaux I - ENSEIRB LAPS/GRAI UMR CNRS 5131 LA METHODE GRAI B. VALLESPIR, G. DOUMEINGTS Université Bordeaux I - ENSEIRB LAPS/GRAI UMR CNRS 5131 Sommaire 1. Introduction 2. Le modèle GRAI 3. La grille GRAI 4. Les réseaux GRAI 5. La démarche 6. Les

Plus en détail

Pourquoi l apprentissage?

Pourquoi l apprentissage? Pourquoi l apprentissage? Les SE sont basés sur la possibilité d extraire la connaissance d un expert sous forme de règles. Dépend fortement de la capacité à extraire et formaliser ces connaissances. Apprentissage

Plus en détail

ST1 (Installation-Protection) 1 ST1. Version 23. Janvier 2013. Calcul de structures. Installation Protection S E T R A

ST1 (Installation-Protection) 1 ST1. Version 23. Janvier 2013. Calcul de structures. Installation Protection S E T R A ST1 (Installation-Protection) 1 ST1 Version 23 Janvier 2013 Calcul de structures Installation Protection S E T R A ST1 (Installation-Protection) 2 TABLE DES MATIERES PROCEDURE D'INSTALLATION...3 1.1 -

Plus en détail

Les 5 différents types d ordres

Les 5 différents types d ordres Les 5 différents types d ordres «Au marché» «A la meilleure limite» «Limité» «A seuil de déclenchement» ou «Stop» «A plage de déclenchement» 1 Définitions Type d ordre «Au marché» «A la meilleure limite»

Plus en détail

Introduction aux algorithmes répartis

Introduction aux algorithmes répartis Objectifs et plan Introduction aux algorithmes répartis Sacha Krakowiak Université Joseph Fourier Projet Sardes (INRIA et IMAG-LSR http://sardes.inrialpes.fr/people/krakowia! Introduction aux algorithmes

Plus en détail

Cours Programmation Système

Cours Programmation Système Cours Programmation Système Filière SMI Semestre S6 El Mostafa DAOUDI Département de Mathématiques et d Informatique, Faculté des Sciences Université Mohammed Premier Oujda m.daoudi@fso.ump.ma Février

Plus en détail

.NET - Classe de Log

.NET - Classe de Log .NET - Classe de Log Classe permettant de Logger des données Text Dans tous les projets, il est indispensable de pouvoir stocker de l'information textuelle : Pour le suivi des erreurs Pour le suivi de

Plus en détail

Licence ST Université Claude Bernard Lyon I LIF1 : Algorithmique et Programmation C Bases du langage C 1 Conclusion de la dernière fois Introduction de l algorithmique générale pour permettre de traiter

Plus en détail

La programmation des PIC en C. Les fonctions, les interruptions.

La programmation des PIC en C. Les fonctions, les interruptions. La programmation des PIC en C Les fonctions, les interruptions. Réalisation : HOLLARD Hervé. http://electronique-facile.com Date : 26 août 2004 Révision : 1.2 Sommaire Sommaire... 2 Introduction... 3 Structure

Plus en détail

Cours A7 : Temps Réel

Cours A7 : Temps Réel Cours A7 : Temps Réel Pierre.Paradinas / @ / cnam.fr Cnam/Cedric Systèmes Enfouis et Embarqués (SEE) Organisation des cours 12 prochaines séances 6 janvier au 24 mars, Partiel le 27 janvier, Les 3 et 24

Plus en détail