EPFL Press Series

Abonnez-vous au flux RSS des nouveautés Flux RSS

  • Ajouter à NetVibes
  • Ajouter à Yahoo
  • Ajouter à Windows Live

Machines séquentielles (TE volume XI)

Traité d'Electricité volume XI

 

De Jacques Zahnd

 

PPUR - Collection : Traité d'Électricité - 3e édition - 14/09/2013

    • eBook [PDF]

      27,40 €
    Formats disponibles →  Format PDF
     
     
     

    Présentation

    Les systèmes, au sens technologique du terme, établissent des relations causales entre des sollicitations dites signaux d’entrée et des réponses dites signaux de sortie. Cas particulier de cette notion générale, les systèmes discrets, appelés ici machines, sont caractérisés par le fait que les signaux ne sont définis qu’à certains instants privilégiés d’échantillonnage, et que les valeurs possibles des signaux en ces instants sont en nombre fini. L’étude de ces machines abstraites débouche sur diverses méthodes de synthèse des systèmes logiques séquentiels. On commence par un rappel des éléments de théorie des ensembles nécessaires à la théorie des machines, permettant au lecteur de se familiariser avec le style mathématique de l’ouvrage. On définit ensuite la notion mathématique de machine, les opérations d’assemblage ou de composition de machines, et l’on représente quelques types fondamentaux de machines. Puis, on passe à certains modes de représentation des machines binaires, les équations de récurrence et les graphes de récurrence booléens appliqués à la formalisation de cahiers des charges. On aborde encore les problèmes de réduction d’une machinne de Mealy et d’assignement d’une machine séquentielle.

    Sommaire

    • Préliminaires
    • Machines
    • Spécification des machines binaires
    • Expressions régulières
    • Réduction des machines de mealy
    • Décomposition et assignement des machines séquentielles
    • Informations

    Supports disponibles

    • eBook [PDF]

      Pdf PDF (MACHINES SEQUENTIELLES ), format 147 x 235, 285 pages
      Téléchargement après achat

    Intégrer ce produit à votre site

    → Copier en mémoire :