
книги из ГПНТБ / Василенко, Ю. А. Синтез дискретных структур учеб. пособие
.pdf139
Мяли зависят как от внутреннего состояния автомата, |
так и от |
|||||||||||
значения сигналов |
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 р .‘ |