Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Василенко, Ю. А. Синтез дискретных структур учеб. пособие

.pdf
Скачиваний:
6
Добавлен:
19.10.2023
Размер:
4.65 Mб
Скачать

139

Мяли зависят как от внутреннего состояния автомата,

так и от

значения сигналов

2С

 

из

операционных устройств:

 

У* *

 

 

vChfylXzHfofXt)VCUfyGCi) VCU ft Cb);

fji* & $ (& };fi= eb $ c xt);

 

 

 

 

 

c b < ß & / j V a S ( b ) f t ( b } f

 

 

 

№ }

 

 

 

 

 

y 6 - Oe$(*t)')ffft$(Xt)<k(Xtb

 

 

 

 

В выранениях

(26)

и [2? J

характеристические функции

и

L?дШ }

принимают

 

только два

значения

О

и

К - I .

Следовательно,

пункции

to i-

Т2.

* j f i

jfü

также принимают

только два

значения,

т .е .

являются по существу

двоичными.

 

Поэтому требуется предварительное перекодирование системы

двоичных функций системой многозначных функций .

 

 

 

Переход от

 

£

двоичных функций к

одной многозначной функ­

ции

(fC Z )

( z . 6 о, £f 2/

I . У к - і }

 

основывается на пред­

ставлении

многѳзначной функции

( fC Z - J

я следующем виде:

 

 

' vjfs

ѵ"'Ѵ/х-і *0/р V ijft

у...

 

 

( X i , X Z, - , £ л ) '

у{ =j-i(X{,XZ}м./XkJ;

j£z - f z № /

" у Х / г / ;

=f K- £ X i>

Z !b )

система двоичных функций*

 

 

 

 

 

140

 

 

 

 

Функция

t j t

 

принимает

значение равное

і

на наборах

G j - t f j

OCg '--jE-ti

.

являющихся коастктуентамм функ­

ции

 

 

'ЭСзj

•"у JCftJ

 

 

 

 

Операции

" ."

и " " являются операциями многозначной

конъюнкции и дизъюнкции системы Россера-Тыокеття.

 

Необходимым условием представления многозначной функции

в виде (

)

является

"ортогональность" системы

представляющих

Функций

гf

t

 

 

 

»

т *в. для любой пары

функций

 

 

 

 

 

' “; Х п )

должно выполняться условие

Это условие

обеспечивается автоматически тем,

что при

поотпоении графа

каждое

peöDO отмечаем не более,

чем одним

выходным сигналов

у

и сигналом возбуждения

£

.

При использовании канонического представления (28) системы

Роосере-Тьюкетта для упрощения многозначной логической функции

целесообразно в

качестве J/p

выбирать самую сложную из вы­

ходных функций

~

 

Тогда, вследствие отсутствия необходимости в реализации

нулевых значений

многозначной

логической функции, исходная

форма представления функции и комбинационная часть многознач­ ного микропрограммного автомата будут проще.

В системе теоретико-множественных операций иэ-за> необхо­ димости реализации нулевых значений функции это соображение

отпадает.

Возможность выбора произвольного отображения множества

двоичных выходных пункций на множество из К констант

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

шифратора, сложность которого остается неизменной. Изменяется

только сложность исходной многозначной логической фувжции.

I

Иное положение имеет место при кодировке функции возбуж­

дения элементов памяти.

В этом случае всегда функции возбуждения

ставятся в соответствие

константа / .

С учетом приведенных соображений

перейден к многозначному

кодированию функций возбуждения:

 

4>(Zj*0 to * i Z t V2Zg_= O-tti rO-Cb(Ji№ t}v

V£ Clo Vг С(і$(Хг) V ZCU Ificrj =

о (fkict) *о (f{ia)ift Ok) у i <f„(a)v

V Z (ft (a )if,(c U ) Y Z f i W i f i c x z ) . ( » /

После вынесения за скобки обцих членов и применения неко­

торых тождественных соотношений многозначной логики

ХСН-і)=Х- Оѵх^х- О-Х-О; Lfo(Xi) уф(Х) У(f2 (Х)~К-і

окончательно получим следующее выражение для < /c z j

(fcг)= / (fp(а/ у

в

у <Ь(щ ау. isoj

Аналогично поступим при кодировке выходных функций мно­

гозначного автомата. При этом,

для шести выходных функций

1^$

достаточно иметь две

выходные многозначные логические

функции

< / £ ^ / и

I

142

После анализа и выбора соответствия между ^ и кон­

стантами 0 , 1 , 2

ПОЛУЧИМ

ь ( f *

о у , V i f z ѵ г р » о -а »

У 0 С/,(£ГЪ1 (/UZ,) У 0& (/их,)уос(ф 44>

у і doу,(х,) уг dof, (х,)=

% (у > * 2 % p t y ѵ і а г У с К ) у / 4 ,і у с Щ ( у у

VDtX»<fcdC,)Ув#аЩЩ$(Хг)=

Вподученные выражения внесем коррективы, связавшіе

спереходом автомата из начально!*® состояния $ 0 в лсбое рабочее состояние.

Такой переход в схемах автоматов осуществляется обычно

под действием запускавшего сигнала i f . Поэтому вместо cU

во все фопмулы ( 3 0 ,3 { ) следует подставить £ с (0

Такой же результат можно было подучить отметив на гра­ фе автомат» Мили ребра, выходящие из вершины &(с , сигналом

2Г еше на этапе построения графа многозначного автома­

та мили» Это на было мделано только иа соображения упроще­ ния промежуточных преобразований.

Окончательно получнм

W jfh [ іЩ Ш Д у щ V zqua/ifrcxi];

функциональная схена многозначного ifiCII автомата на фазо-

импульсных запоминающих и логических элементах о использованием для устоанения гонок двоичной памяти приведена на рас. 1 8 .

Рис. а

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

Длительность тактовых сигналов равна временному интервалу,

в пределах которого возможно появление импульса с выхода фазоим-

пульсного многоустойчивого элемента, т .е . составляет fC малых тактовых периодов.

Для логик с большей значностью ( К у і ) методика синтеза микро*

программных автоматов остается неизменной.

144

ЛИ Т Е Р А Т У Р А .

1.Глушков В. М., Синтез цифровых автоматов, Фиэматгиэ, 1962 г .

2 . Поспелов Д.А., Логические методы анализа и синтеза схем,"Энергия?і

1968 г .

3 .

Нуішнов А.И.,

Cd."Синтез дискретных автоматов в управляющих уст­

 

ройств", "Наука", 1968 г .

 

 

 

4 .

Коваль В.Н .,

Cd. "Вопросы творю электронных цифровых математи­

 

ческих машин",

"Наумова душ а", 1968 г .

 

 

5 .

Пашев С.Г.,Логические методы построения схен в базисе функции

 

Вебба /диссертация на соискание ученой степени кандидата тех­

 

нических к а у х /'Ш , 1967 г .

 

 

 

6 .

Какуран Н .Я.,

Вопросы микросинтеза логических структур /

диссер-

 

тацая на соискание ученой степени кандидата технических наук/.

 

Харьковский институт радиоэлектроники,

1970

г .

.

7 .

Василенко D.А.,Баринов А.К..Какурин

Н.Я.,

Сб."Синтеі логичес-

ких'структур", Ужгород, 1970 г .

8. $)ie.trn.<by<A Zb^Ädruxeldvc Р.^cUn.iißtaojiCon. oß-

 

rnjLbtM} x.ec>Lu.i%cLcur^cy <х*ѵоі

oß'MoMoAx.

 

IfouL&f4:cixf> , — fSBE 3k.QJb6. oix ЕСе&Ѵхогь .Согп.риЛ./9£?ЕС-і$6.

9 .

Поваров Г .Н .,0

методике

анализа симметричных контактных функций,

"Автоматика я телемеханика", 1955,4.

 

10.

Белявский В.Л.,Синтез управляющих м операционных узлов ЦВМ на

 

матрицах коллективного поведения /

-матрицах/, канд.дисс.,М .,

 

1969г.

•*

’ .

 

1 1 .

Миллер Р ., Теория переключательных

схем, І,М .,"Наука",1970 г .

1 2 .

Василенко Ю. А.,Какурин Н.Я.,Минимизация дискретных устройств

 

методом графов,

сб."Приборы и системы автоматики",изд.Харьков­

 

ского университета, вып.24,1972 г .

 

D. Василенко D.А.,Графо-аналитический метод синтеза схем с много­ значным структурным алфавитом, "Автоматика и вычислительная

145

техника", I 5, 1972 г.

14. Сигорский В.П.,Ситников Л.С,,Утяков Л.Л., Многоустойчивые эле­ менты дискретной техники,ивд."Энергия",М.-Л.,1966 г.

15. Гончарук Н.3.,3убчук В.И.,Карпенко В.Й., Фазоиыпульсвый много-

устойчивый элемент и вопросы микрониннаториэавии, сб. "Много-

устойчивые элементы и их применение",иад."Советское радио".М.,1971 16.Корнейчук В.И.,Рбманкѳвич А.М.,Реализация -эначных деямфрате-

ров, сб."Вопросы теории ЭЦВМ*1, изд. "Баунова дукка",вып.2,І9б7

г,

17. Корнейчук З.И.,Романкевич А,М.,Ситников Л.С.Дтяков Л.Л., 0

ре­

ализации функций -ЗИ8ЧН0Й логики, йавестая цузов.Радиофизика,

J 3, 1967 г.

. .

 

18.Ситников Л.С., икогоустойчивые элементы в цифровой измеритель­ ной технике, изд. "Наукова душа", К.,1970

19.Василенко С.А.,&акурин Н.В. .Реализация функционально полных

систем в десятизначной логике, сб."Приборы и системы автомати­ ки", вып.5, 1967 г.

20Дорнейчук В.И., Функционально полный набор шіогозиачных потен­

циальных логических

элементов, "Автоматика и вычислительная

техника", *

1968

г.

21. Моторов Н.Г.,Раков М.А., іузов В.М., Четыржин В.В.,Частотно-фа­ зовые многоустойчивые элементы, изд. "Наукова думка". К., 1973 г.

22.Майоров С.А..Новиков Г.И., Структура цифровых вычислительных малин, над. “Машиностроение",Л.,1970 г.

23.Крайэмер Л.П.,Устройства хранения диокретной информации,Гос-

энергоиадат, М.-Л..Г968 г.

24. Бобраницкий С.'П.,0леф1р Ф.П.Дифрові функціональиі перетворо-

вачі, вид-во "Техніка", К .,1971 р.

25. Быченок Н.Н.Дваськив С.А.,Чеботарев А,П,,Вопрооы синтеза уст­ ройства управления ЦВМ с многозначным структурным алфавитом,

 

cd. "Вопросы теории ЗЦВ1І"Д., вып. 3 , 1969 г .

 

26 .

Баранов С .Н ., Россиков В.В.,

Применение графов

алгоритмов к син­

 

тезу дискретных устройств, cd.

"Вопросы теории

ЭЦВИ",К.,вып.І,

 

I960 г .

 

 

27 .

Бардэинь Я.М.,06 одной классе мавин Тюринга /машины Пинского/,

 

Алгебра и логика /семивар/ I ,1 А б , 1962 г .

 

2 8 .

Витѳнысо И.В.’,Схемы,алгоритмы и многообразия,

Ужгород, 1970 г .

29 .

Вітенько I.В.,Натематична логіка, Ужгород, 1971 р .‘

Соседние файлы в папке книги из ГПНТБ