Смекни!
smekni.com

Синтез синхронного управляющего автомата (стр. 1 из 7)

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

МЕЖДУНАРОДНЫЙ ИНСТИТУТ КОМПЬЮТЕРНЫХ ТЕХНОЛОГИЙ

ФАКУЛЬТЕТ ИНФОРМАЦИОННЫХ И ЭНЕРГЕТИЧЕСКИХ СИСТЕМ

КАФЕДРА вычислительные машины, системы, комплексы и сети

КУРСОВОЙ ПРОЕКТ

по дисциплине " ТЕОРИЯ АВТОМАТОВ"

ТЕМА: "Синтез синхронного управляющего автомата"

Расчетно – пояснительная записка

Разработал студент гр. ВМо-072 / Н.А.Волокитина /

подпись, дата инициалы, фамилия

Руководитель / C.H. Плотников /

подпись, дата инициалы, фамилия

Нормоконтролер / /

подпись, дата инициалы, фамилия

Защищен ________________ Оценка ___________________

дата

ВОРОНЕЖ 2010

МЕЖДУНАРОДНЫЙ ИНСТИТУТ КОМПЬЮТЕРНЫХ ТЕХНОЛОГИЙ

ФАКУЛЬТЕТ ИНФОРМАЦИОННЫХ И ЭНЕРГЕТИЧЕСКИХ СИСТЕМ

КАФЕДРА информатики и вычислительной техники

ЗАДАНИЕ

на курсовой проект

по дисциплине " ТЕОРИЯ АВТОМАТОВ"

Тема проекта: "Синтез синхронного управляющего автомата"

Студент группы ВМо-072 Волокитина Надежда Александровна

фамилия, имя, отчество

Номер варианта___9 – 2.14 ____________________________________

Технические условия: тип управляющего автомата – Мура; способ кодирования внутренних со­стоя­ний автомата –эффективный 2 способ; тип триггерных схем – комбинированные син­хронные двухтакт­ные RS - триггеры; элементная база логического преобразователя – двух­уровневая программи­руемая логиче­ская матрица; количество входных сигналов УА – 6; ко­личество выходных сигналов (микроопераций) УА – 7; количество микрокоманд УА – 10; количество микроопераций в каждой микрокоманде – 2..5; количество операторных вершин ГСА – 13; количество условных вершин ГСА – 8; разновидность УА – инициальный.

Содержание и объем проекта

расчетно - пояснительная записка – страниц формата А4, поясняющие текст, рисунки, рас­четы, таб­лицы, схема электрическая функциональная УА.

_

Задание принял студент гр. ВМо-072 / Н.А.Волокитина /

подпись, дата инициалы, фамилия

Руководитель / C.H. Плотников /

подпись, дата инициалы, фамилия

Замечания руководителя.

Содержание

ОСновная часть……………………………………………………………...….6

1. Основные особенности теории синхронных автоматов…….………..….…6

2. Общие принципы построения и реализации синхронных

управляющих автоматов………………………………………..…..……...7

2.1 Обобщённая структура и принцип функционирования

синхронных управляющих автоматов.……………….…..……..…........7

2.2 Последовательность синтеза синхронных управляющих

автоматов………………………………………………………..…..…….8

2.3 Начальная формализация задачи синтеза УА……………..……….…9

3. Исходные данные для курсового проектирования…………….…..…......11

4. Автоматное описание управляющего автомата………………..…..……..12

5. Анализ граф _- схемы алгоритма синтезируемого управляющего

автомата и детализация его структурной схемы. Исходные данные

для курсового проектирования………………………….…..………..…......14

5.1 Анализ и разметка граф-схемы алгоритма…………..……..………..14

5.2 Описание управляющего автомата с помощью таблиц переходов

и вы­ходов. …………………………………………….……………….15

6. Структурный синтез управляющего автомата со схемной

реализа­цией логики управления. ………………..………….…………....16

6.1 Тип элементов памяти. ………….…..…………………..…………...16

6.2 Структурное кодирование входных, выходных сигналов и

состоя­ний автомата. ………….…..………..……………..…………..17

6.3 Детализация блока памяти…………………………………………...19

6.4 Составление расширенной структурной таблицы

пере­ходов и выходов………………………………………………...20

6.5. Составление логических уравнений для выходных сигналов и

функций возбуждения блока памяти ……………………………....21

6.6 Минимизация логических функций возбуждения и выходов….….22

7. Разработка и оформление схемы электрической функциональной

синте­зиро­ванного синхронного управляющего автомата…………………23

ЗАКЛЮЧЕНИЕ……………………………………………………….……….……25

Литература………………………………………………………….………….26

1. Основные особенности теории синхронных автоматов

Математической моделью дискретного устройства является абстрактный ав­томат, определяемый как шестикомпонентный кортеж, или вектор [4 - 11]:

S = (Z, A ,W, δ, λ, a1), (1)

у которого:

Z={z1,…zf…zF} - множество входных сигналов автомата (входной алфавит);

A={a1,…am…aM} - множество состояний автомата (алфавит состояний);

W={w1,…wg…wG} – множество выходных сигналов автомата (выходной ал­фа­вит);

δ : A х Z ® A – функция переходов автомата, реализующая отображение Dδ

A х Z на A.

Другими словами, функция δ некоторым парам состояние - входной сиг­нал (am, zf) ставит в соответствие состояние автомата as = δ (am, zf), as

A;

λ : A х Z ® W – функция выходов, реализующая отображение D

A х Z на W, которая некоторым парам состояние - входной сигнал (am, zf) ста­вит в соответствие выходной сигнал автомата wg = λ (am, zf);

a1

A – начальное состояния автомата.

Под алфавитом здесь понимается непустое множество попарно различ­ных символов. Элементы алфавита называются буквами, а конечная упоря­дочен­ная последовательность букв - словом в данном алфавите.

Абстрактный автомат имеет один вход и один выход. Автомат работает в дискретном времени, принимающем целые неотрицательные значения t = 0,1,2,… В каждый момент t дискретного времени автомат находится в не­ко­тором состоянии a(t) из множества состояний автомата, причем в началь­ный момент времени t(0) автомат может находиться в начальном состоянии a(0) = a1. В момент t, будучи в состоянии a(t), автомат способен воспринять на входе бу­кву входного алфавита z(t)

Z. В соответствии с функцией выхо­дов он выдает в тот же момент времени t букву выходного алфавита w(t) = λ (a(t), z(t)) и в соответствии с функцией переходов перейдет в сле­дующее состояние a(t +1)=δ (a(t), z(t)), причем a(t +1)
A, а w(t)
W. Смысл поня­тия абстрактного авто­мата состоит в том, что он реализует неко­торое отображе­ние множества слов входного алфавита Z в множество слов выход­ного алфа­вита W. Иначе, если на вход автомата, установленного в на­чальное состояние a1, подавать буква за буквой некоторую последователь­ность букв входного алфавита z(0), z(1), z(2), … - входное слово, то на вы­ходе автомата будут по­следовательно появ­ляться буквы выходного алфавита w(0), w(1), w(2), … - выходное слово. Каж­дому входному слову соответст­вует опреде­ленное вы­ходное слово, структура которого определяется функ­циями пере­ходов и вы­ходов.

Таким образом, на уровне абстрактной теории понятие "работа автомата" понимается как преобразование входных слов в выходные слова. Структур­ной моделью нулевого уровня абстрактного автомата является модель, пред­став­лен­ная на рис. 1.


Z W

Рис. 1 Структурная модель абстрактного автомата

(нулевой уровень)

Чтобы задать конечный автомат S, необходимо описать все компоненты вектора S = (Z, A ,W, δ, λ, a1), т.е. входной и выходной алфавиты и алфавит со­стояний, а также функции переходов и выходов. Среди множества состоя­ний может быть выделено начальное состояния автомата a1, в котором авто­мат на­ходится в момент t = 0.

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

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