При синтезе асинхронного автомата нужно постановить вопросец ис-ключения критических состязаний частей памяти(ЭП)Более рас-пространенными методами, предполагающими изъятие критических состязаний в процессе синтеза, являются способы кодировки таблиц пе-реходов таковым образом, чтоб при функционировании робот не сумел очутиться в не данных сообразно условиям переходов состояниях. Универсаль-ным является способ кодировки ТП сообразно столбцам [2], внедрение ко-торого осмотрим на образце синтеза автомата, данного ТП(матрица 2. 1)и ТВ(матрица 2. 2). При этом способе вводится мнение ?-класса, представляющего собой очень много, включающее устойчивое и все неуравновешенные состояния, из которых заданы переходы в данное устойчивое положение. Опас состояния появляются в том случае, когда методика в итоге состязаний ЭП угождает заместо 1-го устойчивого состояния в иное, т. е. из 1-го ?-класса методика неверно перейдет в иной. Для исключе¬ния этого явления вводятся переменные, делящие ?-классы снутри всякого столбца ТП. Они имеют однообразное смысл в кодах состоя¬ний 1-го ?-класса и разное для кодов состояний остальных ?-классов. Для деления состояний снутри 1-го ?-класса вводятся доп переменные, какие сразу являются делящими для ?-классов иного столбца.
Матрица 2. 1 Матрица переходов
Матрица 2. 2 Матрица выходов
X X
X0 X1 X0 X1
S0 S1 S2 S0 Z1 Z0
S1 S0 S3 S1 Z0 Z1
S2 S1 S3 S2 Z0 Z1
S3 S2 S0 S3 Z1 Z0
Сообразно используемому способу для главного столбца данной таблицы(матрица 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.
2.1 Кодирование асинхронного автомата
При синтезе асинхронного автомата необходимо решить вопрос ис-ключения критических состязаний элементов памяти (ЭП) Наибо