Version imprimable
Bonjour à tous,
Je dois concevoir un automate qui lit la séquence 1 1 0 0 1
J'ai fait cet automate :
Pièce jointe 623241
Puis la table de vérité suivante :
Pièce jointe 623242
J'ai déduit les équations suivantes :
Pièce jointe 623243
J'ai le circuit suivant :
Pièce jointe 623244
Dites moi si c'est correct.
Mon circuit fonctionne mais j'ai une erreur dans mes equations je pense.
Merci d'avance pour votre aide,
Bonjour,
Mes souvenirs sur les détections de séquence sont anciens, mais ce qui est sûr, c'est que le graphe que tu montres ne correspond ni à celui d'une machine de Mealy ni à celui d'une machine de Moore. Il manque la moitié des transitions (que se passe-t-il si par exemple à l'état 0, l'entrée est un 0 au lieu d'un 1 ?), et l'état de la sortie n'est pas indiqué sur le graphe.
Le reste se déduisant du graphe, il faut d'abord un graphe correct ;)
Citation:
Envoyé par f-leb
Hello,
Je te remercie pour ta réponse. C'est un automate simple le graphe est juste.
C'est la table de vérité, les équations et le circuit qui me posent problème.
Le graphe est au moins incomplet...Citation:
Envoyé par Fatouchka
Par exemple, si je commence à saisir la séquence "1 1 0", je suis à l'état 3. Mais quel est l'état suivant si je saisis maintenant un "1" ? Ton graphe ne l'indique pas (et donc je ne sais pas dans quel état j'ère ?:pastaper:). Une machine doit pouvoir définir l'état de ses sorties en fonction de toutes les entrées possibles.
Voici un exemple de graphe (machine de Mealy) pour une séquence plus courte "1 0 1" :
Pièce jointe 623270
Sur les arcs, état entrée/état sortie. La sortie vaut naturellement 1 quand la séquence exacte est découverte (arc S2 vers S1).
Le graphe n'est donc pas si simple que cela (ce n'est pas une simple boucle en plus), mais je ne suis pas capable de définir des équations si le graphe n'est pas complet...
Bonjour,
Je ne reviendrai pas sur le fait que le diagramme d'état n'est pas complet ne serait-ce que parce que la sortie n'est pas définie (à quoi sert il alors ?).
La fin n'est pas non plus spécifiée : est-ce qu'un motif identifié réinitialise le processus ? Autrement dit est-ce que 1 1 0 0 1 1 0 0 1 produit deux sorties valides ou une seule ?
La reconnaissance d'un seul motif à partir d'une entrée série avec horloge incite plutôt à utiliser un circuit à décalage suivi d'un comparateur. C'est certes moins pédagogique mais consomme moins de surface PCB. Un malheureux MCU comme un AtTiny serait encore plus efficace (et potentiellement moins cher) sur ce plan.
En résumé, les éléments du problème (ou les exigences) ne sont pas complètement spécifiées. C'est le premier problème.
Ensuite les états et transitions ne sont pas exhaustifs. Par ailleurs, il faut vérifier, quand le nombre d'états n'est pas une puissance de 2 que les état fantômes sont correctement gérés (les états X) ne serait-ce que pour gérer un démarrage dans un de ces états.
Bon courage.
