Antik (1082243), страница 2

Файл №1082243 Antik (Антик М.И. - Синхронные цифровые автоматы) 2 страницаAntik (1082243) страница 22018-01-11СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

Синхронный автомат (схема структурная)1.2. Абстрактный конечный автоматВ качестве основной математической модели СЦА используется абстрактный конечный автомат.Абстрактный конечный автомат это - математическая структура с тремя основными множествами А, B, S.А - называется множеством входных символов;B - называется множеством выходных символов;S - называется множеством (символов) состояний.Абстрактный конечный автомат функционирует в автоматномвремени t=0,1,2,..., определяемом как упорядоченное множествоцелых чисел.

Это означает, что автоматное время дискретно, исущественным является лишь номер момента времени; упорядоченность множества означает, что автоматное время имеет “направление”.Если обозначить через а(t), b(t), s(t) переменные со значениями в соответствующих множествах в момент t, то работа абстрактного конечного автомата описывается уравнениями, которые называются каноническимиs(t+1) = G(s(t),a(t))b(t)= f(s(t),a(t))7G - называется оператором перехода. Оператор перехода G,кроме вычисления значения, выполняет также сдвиг во времениэтого значения.f - называется функцией выхода;Принята также другая форма записи канонических уравнений:s := g(s,а)b = f(s,а)Знак двоеточие (:) означает операцию сдвига значения наединицу времени или иначе – операцию запоминания; g – функцию перехода.

Для фиксированного момента времени t аргументвремя в записи уравнений можно опустить, а так же идентифицировать конкретные значения переменных, например с помощьюиндексов:sj:= g(si, аp)bk= f(si,аp)Если по каким-либо соображениям преобразование, выполняемое комбинационной схемой, удобно записать в виде однойфункции, то возможны следующие формы записи каноническихуравнений:(s:,b) = h(s,а),Вычисления, выполняемые автоматом, можно рассматривать как процесс, т.е. строгую последовательность действий (шагов) преобразования символов, поступающих на а вход автоматав символы, появляющиеся на его b выходе.a(1),a(2),a(3),...,a(t),...b(1),b(2),b(3),...,b(t),...Каждый очередной выходной символ однозначно определяется последовательностью ранее поступивших входных символов, т.е. вычисление имеет свою “историю”.

Эта история сохраняется в автомате в виде переменной – состояние. Состояние автомата - это та минимальная информация, которая необходимадля предсказания дальнейшего поведения автомата. Поведениеавтомата трактуется как переходы из одного состояния в другоесостояние в определенные моменты автоматного времени с одновременным вычислением выходного значения.81.3. Соглашения …Для того чтобы абстрактный конечный автомат адекватномоделировал СЦА, необходимо выполнение некоторых соглашений.Входные и выходные сигналы СЦА, в общем случае, являются двоичными многоразрядными наборами, которые кодируютсимволы соответствующих множеств.Регистр в СЦА запоминает код состояния.

Состояния кодируются двоичными наборами. Количество разрядов памяти, азначит и кода состояния, называется мерностью автомата.КС в свою очередь реализуют функции переходов и выхода.Ход времени в СЦА инициируется изменением значенияединственного сигнала - сигнала синхронизации syn. На какомлибо из фронтов этого сигнала изменяется содержимое RG, азначит и состояние автомата (в схемах на рис.1 RG переключается по положительному (нарастающему) фронту сигнала syn). Переключающие фронты сигнала syn будем называть рабочимифронтами. Интервал времени между соседними рабочими фронтами называется тактовым интервалом или просто тактом (Т).TtРис.2. Структура тактаДля абстрактного автомата не имеет смысла понятие такта,как некоторого интервала “непрерывного” времени.

(Применительно к абстрактному автомату можно понимать термин такткак изменение дискретного времени на одну единицу). Для реального синхронного цифрового автомата величина этого интервала один из важнейших технических параметров, определяющихбыстродействие схемы. Величина этого интервала должна бытьдостаточной для того, чтобы закончились переходные процессы вКС, и установившиеся значения состояния могли быть записаныв RG. Переходные процессы начинаются из-за изменения либосостояния RG, либо изменения входных сигналов.

Изменениезначений на выходах RG происходит всегда на границе такта.9Для корректной работы синхронного автомата изменения входных сигналов должны происходить в интервале τ (рис.2) так, чтобы время t=T-τ , было бы достаточным для завершения переходных процессов.2.Основные структурные составляющие СЦА2.1. Комбинационная схемаВ соответствии с каноническими уравнениями можно детализировать схему СЦА на рис.1.1.-1 и представить СЦА в видесхемы на рис.2.1.-1, где одна КС представлена как декомпозициядвух КС – g и f.gРис.3.

Функции перехода, выхода и памяти в СЦАОдна из них - f реализует функцию выхода, другая - g вычисляет значение нового состояния, RG является памятью, онзапоминает значение состояния, выполняя тем самым операциюсдвига (переноса) во времени.КС, сама по себе, является частным случаем автомата - автомата без памяти или иначе автомата с одним состоянием.При реализации СЦА декомпозиция КС должна быть доведена до комбинационных схем, вычисляющих каждый отдельныйбит состояния и выходного значения.2.2. Память автоматаОдин двоичный разряд кода состояния запоминается триггером, обычно это – D-триггер, который может находиться в составе регистра.Напомним поведение во времени D-триггера с динамиче-10ской синхронизацией (рис.4).Рис.4. D–триггер (обозначение и временные диаграммы)Триггер выдает в течение такта значение, которое он “увидел” на D-входе во время появления рабочего фронта сигнала наC-входе.

Таким образом, D-триггер узнает об изменении сигналана входе D c задержкой, которая называется синхронизационнойзадержкой (τ – на рис.4).На изображении триггера (рис.4) не показаны входы асинхронной установки, обычно необходимые и присутствующие вреальных изделиях.Если в качестве элементов памяти используются JKтриггеры, то для любой i-координаты кода состояния функции,вычисляющие значения на входах триггера Ji и Ki , не зависят отзначения на выходе этого же триггера.

(При доказательстве использовать зависимость q := q ⋅ J ∨ q ⋅ K ).3. Основные типы синхронных автоматовСинхронные автоматы могут быть классифицированы различным образом. Для начала определим разбиения на следующиеклассы синхронных автоматов:1) полностью определенный и частично-определенный, 2) инициальный и неинициальный, а также выделим некоторый класс - 3)класс автоматов Мура.3.1. СЦА полностью и частично определенныеСинхронный автомат полностью определен, если функции fи g определены на всех возможных парах из элементов множества А входных символов и множества S состояний.

Количествоэлементов этих множеств в СЦА определяется разрядностью кодирующих двоичных наборов. Реализованный СЦА всегда полностью определен.11Если функции перехода и выхода определены не всюду, тосинхронный автомат - частично-определенный. При этом если вкаком-либо состоянии не определен переход для входного значения, то предполагается, что это значение не может появиться вовходной последовательности. Если не определено выходное значение, то в этом случае оно безразлично.3.2. Инициальные автоматыАвтомат называется инициальным, если в автомате выделеноодно состояние, называемое начальным (например, s0).

Начальноесостояние может быть параметром автомата; в этом случае говорят, что определено множество начальных состояний. Если нетвыделенного начального состояния, то автомат неинициальный.Для реализации инициального автомата схема СЦА должнабыть сконструирована так, чтобы начальное состояние фиксировалось (запоминалось) в RG до начала работы автомата.3.3.

Автомат МураАвтомат Мура - синхронный автомат, у которого значениявыхода определяются только состоянием автомата в тот же дискретный момент времени. При этом КС, вычисляющая выходноезначение, не связана непосредственно с входными сигналами.b = f(s),s:= g(s,a)Рис.5. Автомат МураПоэтому момент изменения выходных сигналов зависиттолько от момента изменения сигнала синхронизации (рабочегофронта). О такой зависимости между входом и выходом принятоговорить, что вход а и выход b “развязаны во времени”, или иначе - выход автомата “со сдвигом” зависит от входа.3.4. Автомат МилиАвтоматы, у которых вход и выход не развязаны во време-12ни, т.е.

хотя бы один выход зависит от текущего значения на входе, называют автоматами Мили.В автомате Мили могут одновременно существовать выходные переменные, которые зависят от входных переменных, как сосдвигом, так и без сдвига, как, например, в схеме автомата, приведенной на рис.6.c= fc(s),b= fb(s,a1),Рис.6. Автомат Милиs:= g(s,a1,a2)Переменная c зависит только от состояния автомата, т.е. сосдвигом от всех входных переменных. Переменная b зависит отпеременной a1 и состояния.4.Способы описания автоматовФункции f-выхода и g-переходов могут быть интерпретированы и заданы самым различным образом. Возможна следующаядостаточно условная классификация способов задания функциипереходов:1) функция переходов задана как вычисляемая функция, в этомслучае СЦА будем называть СЦА операционного типа, например q:=(q+1)modN, где q – код состояния;2) состояние автомата интерпретируется только как идентификатор шага некоторого вычисления (алгоритма) – в этом случаеСЦА будем называть СЦА управляющего типа.Такая классификация условна, хотя бы потому, что в зависимости от целесообразной интерпретации один и тот же автоматможет быть отнесен к любому из этих типов.4.1.Автоматная таблица.Функции f и g, также как и КС, могут быть заданы в виде13таблицы истинности в любой ее форме, но применительно к синхронным автоматам более других распространена форма двухвходовой таблицы, которая называется автоматной таблицей.Каждому состоянию автомата соответствует строка таблицы.

Характеристики

Тип файла
PDF-файл
Размер
2,53 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
Почему делать на заказ в разы дороже, чем купить готовую учебную работу на СтудИзбе? Наши учебные работы продаются каждый год, тогда как большинство заказов выполняются с нуля. Найдите подходящий учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6363
Авторов
на СтудИзбе
310
Средний доход
с одного платного файла
Обучение Подробнее