7419

Синтез управляющих автоматов. Таблица переходов автомата Мили

Лекция

Коммуникация, связь, радиоэлектроника и цифровые приборы

Тема: Синтез управляющих автоматов. Таблица переходов автомата Мили. Таблица переходов используется для построения комбинационных частей автомата Мили, в частности - для определения функций возбуждения элементов памяти и определения функций вых...

Русский

2013-01-23

82 KB

29 чел.

Тема: Синтез управляющих автоматов. Таблица переходов автомата Мили.

Таблица переходов используется для построения комбинационных частей автомата Мили, в частности – для определения функций возбуждения элементов памяти и определения функций выходов автоматов.

В отличии от абстрактного канала строится структурная таблица переходов и выходов. Для построения таблицы используется результаты кодирования состояний автоматов, результаты выбора элементов памяти, из которых видно, какие информационные входы имеют элементы памяти.

  1.  Определение числа состояний автомата происходит по автоматному графу.

Число элементов памяти автомата:

N = ] log2(L) [, L- число вершин.

  1.  Кодирование состояний автомата предполагает задание двоичного кода каждого состояния.

qi - <p1 , p2 , … , pN>

q1 - <00>

q2 - <01>

q3 - <10>

q4 - <11>

  1.  Выбор элементов памяти. В качестве элементов памяти – триггеры различного типа. В зависимости от типа триггера становится известно, как менять состояние элементов памяти в следующий момент времени.

Если в следующий момент времени возбуждать эти информационные входы, то можно менять состояния элементов памяти в зависимости от входных сигналов. Используя результаты кодирования и  определения информационных входов можно построить структурную таблицу переходов.

Таблица переходов.

ТТ№ №

Исходное состояние

Код исходного состояния

Следующие состояния

Код следующего состояния

Входной набор

Выходной набор

Сигнал возбуждения

1

2

q1

00

q2

q3

01

10

Bx1

B1

y2,y3

y1

S1

S2

3

4

q2

01

q3

q4

10

11

2

x2

y3

y3,y5

S1, R1

S1

5

q3

10

q4

11

1

y7

S2

6

7

q4

11

q1

q2

00

01

3

x3

y2,y0

y2,y3

R1,R2

R1

Таблица переходов позволяет перейти к функциям возбуждения элементов памяти и определения уравнений, формирующих выходные сигналы.

Автомат Мили представляет собой блок-схему.

KC1 осуществляет определение функции возбуждения элементов памяти.

q(t+1)= φ(g(t),X)

X= {B, x1 ,x2 , …, xn}, Y=f(q1 ,q2 , … , qk , X)

Q – элемент памяти , набор триггеров, который используется для кодирования состояний. Каждый триггер, имеет прямой инверсный выход. Число триггеров = N

KC2 – формирует функции выходов автомата. Функции выхода зависят от состояний автомата и исходного состояния.

Построение функциональной схемы автомата Мили.

Для построения необходимо определить логические уравнения, реализующие функции возбуждения автомата (закон функционирования КС1) и определить логические уравнения, реализующие функции выходов (закон функционирования КС2).

Используя структурную таблицу переходов можно определить уравнения, реализующие функции возбуждения:

   S1= q1∙B 1+q22+q4x2

R1=q4x3+q43

S2=q1∙Bx1+q3

R2=q22+q43

y1=q1∙B1

y2=q1Bx1+q43+q4x3

y3=q1∙Bx1+q22+q2x2+q4x3

y4=q3

y5=q22

y0=q43

    Пусть базис элементов 155-ой серии, тогда схема имеет вид:


КС1

DC

Q

B

KC2

x1

xn

φ1(S,R)

φN

p1

1

pN

N

q1

q2

y1

yn

X

Y


 

А также другие работы, которые могут Вас заинтересовать

22892. Рівність многочленів 82.5 KB
  Два многочлени і вважаються рівними аналітично якщо вони рівні як відображення . Два многочлени і над полем рівні тоді і тільки тоді коли вони рівні аналітично і алгебраїчно. Доведення Зрозуміло що якщо многочлени і рівні алгебраїчно то вони рівні і аналітично.
22893. Кратність коренів многочленів 47 KB
  Якщо є коренем цього многочлена то за теоремою Безу . Корінь ненульового многочлена коренем кратності якщо ділиться на і не ділиться на . Число коренів даного многочлена з урахуванням їх кратності не перевищує степеня даного многочлена. Доведення Припустимо корені многочлена кратності відповідно .
22894. Теорема 97 KB
  Незвідними над полем є всі многочлени 1го степеня і лише вони. Доведення якщо степінь дорівнює 1 то многочлен незвідний якщож степінь більший 1 то за наслідком многочлен можна розкласти в добуток многочленів 1го степеня і звідний. Незвідні многочлени над плем дійсних чисел Визначимо деякі типи незвідних многочленів над полем . Такий многочлен незвідний.
22898. ВИЗНАЧНИКИ ДРУГОГО ТА ТРЕТЬОГО ПОРЯДКУ 94 KB
  Визначником другого порядку називається число =x1y2–y1x2 Означення. Визначником третього порядку називається число =x1y2z3y1z2x3z1x2y3–z1y2x3–y1x2z3– x1z2y3 У визначнику можна визначити дві діагоналі. Для обчислення визначника третього порядку існує правило трикутників.
22899. Поняття перестановки 113 KB
  В перестановці елементи не повторюються. Поняття інверсії Будемо казати що два числа в перестановці натуральних чисел утворюють інверсію якщо та в перестановці стоїть раніше від . Наприклад в перестановці 4 2 1 3 інверсії утворюють пари чисел 42 41 43 21 Постановка називається парною якщо її елементи утворюють разом парне число інверсій і непарною якщо вони утворюють непарне число інверсій. Наприклад в перестановці 4 2 1 3 елементи утворюють 4 інверсії тобто перестановка парна.
22900. Поняття інверсії 18 KB
  Наприклад в перестановці 4 2 1 3 інверсії утворюють пари чисел 42 41 43 21 Постановка називається парною якщо її елементи утворюють разом парне число інверсій і непарною якщо вони утворюють непарне число інверсій. Наприклад в перестановці 4 2 1 3 елементи утворюють 4 інверсії тобто перестановка парна. В перестановці 2 1 3 4 інверсію утворює лише пара чисел 21 тому перестановка непарна.