Синтез цифровых автоматов. Захаров Н.Г - 101 стр.

UptoLike

Составители: 

100
Тип 13. Сигналы асинхронные нестабильные в состоянии р
. Таковыми могут
быть сигналы типов 6-9, не преобразуемые в синхронные. Этот тип сигналов, нена-
дежных в данном состоянии р, может быть применен в качестве входных сигналов
автомата, только в условиях выполнения дополнительных предосторожностей, ком-
пенсирующих их ненадежность.
Тип 14. Сигналы, модулируемые в состоянии р
. Это серии тактирующих (тип 1)
или синхронных импульсных (тип 5) сигналов, которые модулируются с целью выре-
зания из серий пакетов сигналов требуемой конфигурации. Такие пакеты использу-
ются при композиции автоматов в качестве тактирующих сигналов, для отсчета вре-
мени, синхронизации и т. п.
Модулирование можно производить при пребывании автомата в данном со-
стоянии р. Для этого достаточно записать символ модулируемого сигнала в качестве
условия строки остановки в пункте р автограммы, а в качестве выходногосимвол
промодулированного сигнала. Реализация выражения последнего сигнала, получен-
ного в результате формального синтеза автомата, и дает требуемый пакет первичных
сигналов.
Такой пакет можно вторично модулировать, разбив его на субпакеты. Для этого
в условие той же строки остановки надо дописать через конъюнкцию модулирую-
щий сигнал типа 12 с временными параметрами, соответствующими конфигурации
требуемых субпакетов. Аналогично, введя в то же условие еще один часто меняю-
щийся сигнал, можно модулировать и субпакеты и т. д. Здесь открываются большие
возможности для формализации сложных процессов взаимодействия в синхронных
системах.
В качестве модулируемых сигналы типа 14 проходят только через схему тер-
мов, как бы едва задевая автомат. Поэтому в пункте р они присутствуют в прямом ва-
рианте и отсутствуют в инверсном. При определении формальной полноты пункта р
их не следует учитывать, полагая их равными 1.
Тип 15. Сигналы асинхронные импульсные в состоянии р
. Это импульсные
сигналы, используемые в условиях автограммы при синтезе автоматов только с одно-
ступенчатыми элементами памяти. Ими могут быть сигналы типов 1 или 5, причем
сигналы типа 5 используются в условиях автограммы вместо тактирующих. Как пра-
вило, сигналами типа 5 осуществляется непосредственное взаимодействие автоматов
между собой. Эти сигналы проходят через формеры термов и выходов двух (и более)
взаимодействующих автоматов, отчего задержка их во времени увеличивается, а на-
дежность уменьшается, и поэтому применение сигналов типа 5 нежелательно.
При соответствующей формулировке условий автограммы и ограничении глу-
бины взаимодействия автоматов, например, двумя автоматами, иногда можно в виде
исключения применять сигналы типа 5 в качестве сигналов типа 15 в биавтоматах и
моноавтоматах.
Тип 16. Сигналы, надежные в состоянии р
. Этот тип сигналов включает типы
10-12, 14, 15. Надежным в состоянии р будет называться сигнал такой стабильности,
длительности и момента появления, что он может надежно произвести требуемое
воздействие на автомат, находящийся в состоянии р. В противном случае сигнал счи-
тается ненадежным в состоянии р и, в соответствии с приведенной классификацией,
должен быть отнесен к сигналам типа 13.
Из всех входных сигналов автомата наибольший интерес представляет надеж-
ность в данном состоянии р лишь тех сигналов, которые входят в условия пункта р,