1

INITIATION AUX SCIENCES DE LINGENIEUR

6
folio

DECRIRE LENCHAINEMENT DES TACHES

REALISEES PAR UN SYSTEME AUTOMATISE

COMPETENCE(S) ABORDEE(S)
Traduire un algorithme de description du fonctionnement dun systme combinatoire dans le formalisme le plus appropri les quations BOOLEENNES et les LOGIGRAMMES.

SAVOIRS ET SAVOIR-FAIRE ASSOCIES

Connatre les quatre oprations logiques lmentaires (OUI, NON, ET, OU).
Etudier quelques proprits de lalgbre logique.
Rechercher les quations logiques du fonctionnement du store en modes automatique et manuel.
Traduire ces quations sous forme de logigrammes
Implanter les logigrammes dans la partie commande du systme laide du progiciel dassistance la programmation Automgen.
Vrifier le fonctionnement du systme.
MISE EN SITUATION

Prrequis
Produit et Valeur ajoute.
Organisation fonctionnelle des produits.
Outils dexpression de lanalyse fonctionnelle.
Convertir lnergie et Entraner.
Acqurir linformation

PROGRAMME ISI
Analyser le besoin
Analyser la fonction du produit
Alimenter
Distribuer
Lnergie

Dure : 3 heures

Convertir, Entraner
Transmettre, Adapter
Matriel
Acqurir

Un systme combinatoire (le store Somfy).

Un poste informatique avec Automgen.

Traiter

Linformation

Communiquer
Reprsenter
Un mcanisme
Schmatiser

Fichier : Logique Combinatoire Store . P65

INITIATION AUX SCIENCES DE LINGENIEUR

6
folio

George Boole (1815-1864), mathmaticien anglais, est l'inventeur d'une algbre dite boolenne dont
chaque variable ne peut prendre que deux tats. Les deux tats d'une variable binaire sont des tats logiques
dsigns par les symboles 0 et 1 (Faux et Vrai).
L'tat logique 0 correspond gnrallement un tat d'absence, d'arrt, etc..., l'tat logique 1 un tat
de prsence, de marche, etc... .
1 - ETUDE DES QUATRE OPRATIONS LOGIQUES ELMENTAIRES
A partir du Dossier Ressource Automgen :
Ouvrir le folio de loprateur OUI (page 3).
Choisir la cible PC (page 8).
Compiler le logigramme (page 9).
Excuter le logigramme (page 11).
Cliquer sur la variable dentre a et Observer ltat de la variable de sortie S .
Complter la table de vrit et le chronogramme de loprateur OUI puis Fermer le folio.
Ouvrir successivement les folios NON, ET, OU en suivant lordre des oprations ci-dessus.
Nota

Pour les oprateurs ET et OU, cliquer en suivant la table de vrit sur les variables
dentre a et b .
Dfinition Un chrogramme dcrit l'tat logique (0 ou 1, Faux ou Vrai) d'une variable binaire dans
le temps.
11 - Oprateur OUI ou oprateur Egalit S = a
Logigramme
Table de vrit
a

Chronogramme
1

S
0
1

0
a

0
12 - Oprateur NON ou oprateur Complmentation S = a (se prononce a barre)
Logigramme
Table de vrit
Chronogramme
a

S
0
1

0
a

0
13 - Oprateur ET ou oprateur Produit Logique S = a . b (se prononce a et b)
Logigramme
Table de vrit
Chronogramme
a
&
b

1
S
0
1
b
0
1
a

t
0

Fichier : Logique Combinatoire Store . P65

INITIATION AUX SCIENCES DE LINGENIEUR

6
folio

14 - Oprateur OU ou oprateur Somme Logique S = a + b (se prononce a ou b)

Logigramme
Table de vrit
Chronogramme
a

>1
b

1
S
0
1
b
0
1
a

t
0

2 - ETUDE DE QUELQUES PROPRITS DE L'ALGBRE LOGIQUE

A partir du Dossier Ressource Automgen :
Ouvrir le folio a ET 1 (page 3).
Choisir la cible PC (page 8) Compiler le logigramme (page 9) Excuter le logigramme (page 11).
Cliquer sur la variable dentre a et Observer ltat de la variable de sortie S .
Complter la phrase en prcisant si 1 est lment neutre ou absorbant puis Fermer le folio.
Ouvrir successivement les folios a ET 0 , a OU 1 , a OU 0 , a ET a barre , a OU a barre
en suivant lordre des oprations ci-dessus.
Etudier dans le livre dI.S.I. la commutativit, lassociativit et la distributivit.

a
1
a
0
a
1
a
0

&

S=a.1

S = ____

1 est lment _________ dans un produit logique

&

S=a.0

S = ____

0 est lment _________ dans un produit logique

S=a+1

S = ____

1 est lment _________ dans une somme logique

S=a+0

S = ____

0 est lment _________ dans une somme logique

a
1

Fichier : Logique Combinatoire Store . P65

S = ____

S=a+a

S = ____

S=a.a

a
1

&

INITIATION AUX SCIENCES DE LINGENIEUR

6
folio

3 - ANALYSE FONCTIONNELLE DU SYSTEME

Le store est quip de deux capteurs, un qui dtecte la prsence de soleil, l'autre la prsence de vent.
En marche automatique, lorsqu'un seuil d'intensit lumineuse est atteint, le store se baisse automatiquement. Si un seuil de vitesse du vent est
atteint, le store remonte malgr la prsence de soleil.
En marche manuelle, deux commandes manuelles permettent la descente ou la monte du store. La prsence de vent rend ces deux commandes inoprantes. Le capteur de soleil n'intervient pas dans ce mode de fonctionnement.
Command par une carte lectronique intgre, le store ncessite la
prsence dnergie lectrique.
Aprs lecture du diagramme F.A.S.T. ci-dessous et observation du store et de son clat, identifier
les solutions techniques retenues.

Distribuer
W lectrique
Dialoguer
avec la P.C.

Convertir Wlec.
en W mca.
de rotation

Grer

Adapter la
Vitesse de
Rotation
Maintenir
Toile
en Position

Protger
du
Soleil
Modifier
Position
de la Toile

Informer
Position
de la Toile

Informer la P.C.
des Conditions
Climatiques

Fonction
de Service

Fichier : Logique Combinatoire Store . P65

niveau 1
niveau 2
Fonctions Techniques

Solutions
Techniques

INITIATION AUX SCIENCES DE LINGENIEUR

6
folio

3 - ETUDE DU STORE SOMFY EN MARCHE AUTOMATIQUE

A partir de ltude algorithmique du store, traduire les phrases prcisant la combinaison des variables d'entre (s : soleil, v : vent) ainsi que l'tat du store (KMd : descente, KMm : monte) en une
table de vrit complter puis vrifier sur le systme en fonctionnement.
Trouver, partir de cette table de vrit, l'quation logique de KMd qui autorise la descente du store.
Complter le logigramme avec l'quation de descente du store.
Ecrire sous Automgen le logigramme.
Sauvegarder le logigramme.
Choisir la cible P.C. .
Compiler le logigramme.
Affecter aux variables dentre et de sortie les adresses du tableau en bas de page.
Excuter le logigramme.
Vrifier le fonctionnement du store par simulation P.C.
Variables d'entre

Variables de sortie

absence soleil et absence vent le store monte ou reste mont

absence soleil et prsence vent le store monte ou reste mont

KMd KMm
0

prsence soleil et prsence vent le store monte ou reste mont

prsence soleil et absence vent le store baisse ou reste baiss

Equation logique autorisant la monte du store

: KMm

=
=
=
=
=

(s.v)+(s.v)+(s.v)
( s . v ) + ( v . ( s + s ))
(s.v)+(v.1)=(s.v)+v
(s+v).(v+v)=(s+v).1
s+v

Equation logique autorisant la descente du store : KMd

________________________

Appeler le professeur avant de continuer pour vrifier lexactitude de l'quation

Logigramme de KMm et Kmd
s

Fichier : Logique Combinatoire Store . P65

Tableau daffectation des variables

s
1

KMm

Variables

Adresses

i00

i01

KMm

O00

KMd

O01

INITIATION AUX SCIENCES DE LINGENIEUR

6
folio

3 - ETUDE DU STORE SOMFY EN MARCHE MANUELLE

Complter la table de vrit sur l'tat du store (KMd : descente, KMm : monte) partir des variables d'entre (m : monte, d : descente, v : vent) en observant le systme en fonctionnement.
Retrouver les quations autorisant la descente et la monte du store partir de la table de vrit.
Simplifier l'quation de KMm (monte du store) en utilisant les proprits de l'algbre logique.
Ecrire le logigramme des deux quations.
Ecrire sous Automgen le logigramme.
Sauvegarder le logigramme.
Choisir la cible P.C. .
Compiler le logigramme.
Affecter aux variables dentre et de sortie les adresses du tableau en bas de page.
Excuter le logigramme.
Vrifier le fonctionnement du store par simulation P.C.
m

KMd Kmm

Equation logique autorisant la descente du store

KMd = _____________________________________________

Equation logique autorisant la monte du store

KMm =_____________________________________________

_____________________________________________

Simplification de l'quation

KMm =_____________________________________________

_____________________________________________

_____________________________________________

Appeler le professeur avant de continuer pour vrifier lexactitude des quations

Logigramme de KMm et de KMd

Fichier : Logique Combinatoire Store . P65

Tableau daffectation des variables

Variables

Adresses

i00

i01

i02

KMm

O00

KMd

O01