Commande des procédés discontinus logique séquentielle [texte imprime] /
Marc Courvoisier ;
Robert Valette . -
Paris : Dunod :
Paris : Bordas, DL 1986, cop. 1986 . - 134 p. : ill. ; 24 cm. - (
Dunod université, ISSN 0750-2435) .
ISBN : 978-2-04-016423-2
Bibliogr. p. [133]-134
Langues : Français
Mots-clés : | Circuits logiques Commutation, Théorie de la Commande automatique Automatismes séquentiels Logic circuits Switching theory |
Index. décimale : | 003.5 |
Note de contenu : | Introduction générale
I. Introduction aux systèmes séquentiels
I.1. Structure d'un système séquentiel
I.2 Analyse d'un circuit séquentiel
I.3 Classification des systèmes séquentiels
I.4 Cellules mémoires ou bascules
II. Synthèse des systèmes séquentiels. Méthodes de base
II.1 Principe
II.2 Description formelle des spécifications
II.3 Réduction
II.4 Codage des états
II.5 Détermination des expressions logiques
III. Systèmes séquentiels complexes
III.1 Limitations dues aux méthodes classiques de synthèse
III.2 Utilisation de diagrammes des transitions réduits
III.3 Détermination des expressions logiques
IV. Réalisations matérielles
IV.1 Quelques problèmes de réalisation
IV.2 Réalisations programmées de machines séquentielles
IV.3 Synthèse directe d'une machine séquentielle
IV.4 Réalisations des réseaux de Petri et du Grafcet
V. Réalisations logicielles
V.1 Introduction
V.2 Réalisation logicielle par automate programmable
V.3 Simulation en temps réel à l'aide d'un calculateur
|
Permalink : | ./index.php?lvl=notice_display&id=9886 |