Содержание
Введение
1 Способы задания конечных автоматов
2 Синтез асинхронного конечного автомата
2.1 Кодирование асинхронного автомата
2.2 Синтез релейно-контактного автомата
2.3 Синтез автомата на бесконтактных элементах
3 Синтез синхронного автомата
Заключение
Список литературы………………………………………………………………..
Выдержка из текста
2.1 Кодирование асинхронного автомата
При синтезе асинхронного автомата необходимо решить вопрос ис-ключения критических состязаний элементов памяти (ЭП) Наиболее рас-пространенными способами, предполагающими исключение критических состязаний в процессе синтеза, являются методы кодирования таблиц пе-реходов таким образом, чтобы при функционировании автомат не смог оказаться в не заданных по условиям переходов состояниях. Универсаль-ным является метод кодирования ТП по столбцам [2], использование ко-торого рассмотрим на примере синтеза автомата, заданного ТП (таблица 2.1) и ТВ (таблица 2.2). При этом методе вводится понятие -класса, представляющего собой множество, включающее устойчивое и все неустойчивые состояния, из которых заданы переходы в данное устойчивое состояние. Критические состояния возникают в том случае, когда схема в результате состязаний ЭП попадает вместо одного устойчивого состояния в другое, т. е. из одного -класса схема ошибочно перейдет в другой. Для исключе¬ния этого явления вводятся переменные, разделяющие -классы внутри каждого столбца ТП. Они имеют одинаковое значение в кодах состоя¬ний одного -класса и различное для кодов состояний других -классов. Для разделения состояний внутри одного -класса вводятся дополнительные переменные, которые одновременно являются разделяющими для -классов другого столбца.
Таблица 2.1 Таблица переходов
Таблица 2.2 Таблица выходов
XX
X0X1X0X1
S0S1S2S0Z1Z0
S1S0S3S1Z0Z1
S2S1S3S2Z0Z1
S3S2S0S3Z1Z0
Согласно используемому методу для первого столбца заданной таблицы (таблица 2.1) 11=0,2, 12=1,3, а для второго — 21=1,2, 22=0,3, где в скобках указаны номера строк с устойчивыми и неустойчивыми состояниями.
Необходимое количество элементов памяти определяется по формуле:
(2.1)
Список использованной литературы
1Сапожников В.В., Кравцов Ю.А., Сапожников Вл. В. Теоретические основы железнодорожной автоматики и телемеханики: Учебник для вузов ж.-д. транп. М.: Транспорт, 1995. 320 с.
2Сапожников В.В., Кравцов Ю.А., Сапожников Вл. В. Дискретные устройства железнодорожной автоматики, телемеханики и связи: Учебник для вузов ж.-д. транп. М.: Транспорт, 1988. 255 с.
3Слюзов Ю.И., Требин В.Я. Дискретные устройства железнодорожной автоматики и телемеханики. Омск, 2001. 94 с.
4Кондратьева Л.А. Реле и трансмиттеры: Учебное иллюстрированное пособие. – М.: Учебно-методический кабинет МПС России, 2002 – 23 с.
5Слюзов Ю.И., Сушков С.А., Михайлов В.В. Основные элементы устройств железнодорожной автоматики, телемеханики и связи: Методические указания к лабораторным работам по дисциплине «Теоретические основы автоматики и телемеханики». – ОмГУПС, 2005 – 39 с.
6Шило В.Л. Популярные цифровые микросхемы. – М.: Радио и связь, 1988.
7Тутевич В.И. Телемеханика. – М.: Высшая школа, 1985.
8Воронов А.А. Теория автоматического управления. – М.: Высшая школа, 1977.