21. Исключение критических состязаний за счет введения задержек и путем преобразования таблицы переходов.

Состязания реле могут привести к нарушению алгоритма работы схемы, такие состязания называются критическими. С КС необходимо бороться, существует 2 основных способа:

• Введение задержек. Например, обеспечим Т2>Т3, надеть на сердечник реле медную гильзу, однако этот способ не является общим, т.к может оказаться, что в другом месте ТП критическое состязание возникает как раз при Т2>Т3 и нужно обеспечить Т2<Т3. Крое этого данный метод снижает быстродействие схемы.

• Преобразование ТП с целью устранения условий возникновения КС, при этом работа схемы не будет зависеть от соотношения временных параметров реле.

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

22. Минимизация таблиц переходов.

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

Требования к ВД:

• Начало ВД должно быть одинаково

• Последовательности являются циклическими и могут сменять друг друга в любом порядке

• Длительность такта определяется как время, в течении которого входы сохраняют свое состояние

• Если имеются одинаковые входные отрезки, то им должны соответствовать одинаковые выходные отрезки8

Алгоритм построения ТП и ТВ:

• Вводится начальное состояние соответствующее начальному такту Т1

• Для каждого следующего такта вводится новое устойчивое состояние

• Для каждого такта второй последовательности вводится новое устойчивое состояние за исключением такта начального отрезка, совпадающим с начальным отрезком предыдущей последовательности

• Формируется первичная ТП: является избыточной, в ней имеются пустные клетки, которые означают, что в эти полные состояние схема не попадает. В них ставится знак безразличного состояния.

По этой причине возможна минимизация ТП. Критерием минимизации является количество строк. Совместимые строки – строки, имеющие непротиворечивое заполнение, т.е в одном столбце записаны либо одни и те же цифры, либо в одной цифры в другой безразличное состояние. Одинаковые строки определяют одинаковое поведение схемы, поэтому их можно объединить.

Правила объединения строк:

• В объединенной строке проставляются устойчивые состояния, если хотя бы в одной из объединенных строк есть устойчивое состояние

• Емакс – максимальное подмножество совместимых строк, должно удовлетворять двум условиям:

  • Любые пары из этого множества должны быть совместимы

  • Нет такой строки не входящей в это подмножество, которая была бы совместима со всеми строками

Алгоритм минимизации:

• Находятся множества строк Е, у которых в j столбце проставлены цифры. Если в столбце одно устойчивое состояние, то множества по нему не составляется

• Вычисляются множества Еij для всех

• Из полученных множеств исключаются те, которые полностью входят в другие. Все остальные множества являются Емакс и обозначются латинскими буквами. Составляется таблица покрытия. На пересечении строки и столбца выставляется метка, если данная строка входит в Емакс

• Решается задача покрытия. Необходимо найти минимальное число столбцов, такое чтобы каждая строка имела метку хотя бы в одном столбце. Для решения этой задачи составляется конъюнкция дизъюнкций. Число дизъюнкций равно числу строк. Дизъюнкция образуется из обозначения столбцов, в которых стоит метка данной строки. Далее выражение упрощается используя законы: А*А=А, АvА*Ψ=А, А*(АvΨ)=А

• Выбирается конъюнкция с минимальным числом букв

• Строится минимизированная ТП

• Выполняем перенумерацию ТП