Устройство для формирования тестов дискретных автоматов Советский патент 1979 года по МПК G06F11/04 

ка ца входы.коммутатора переменных: логической функции 2. Коммутатор переменных логической функции 2 представляет собой набор коммутирующих элементов, во включенном состоянии осуществляющих подключение соответствующих выходов к входу коммутатора. Коммутатор переменных элементарных конъюнкций 3 представляет набор коммутирующих элементов, например переключателей, объединенных в пары, осуществляющие подключение выходов комму татора переменных логической функций 2 к входам дешифратора 4. Каждый вход дешифратора подключен к .разлвлкающему (замыкающему) контакту другого переключателя соответствующей пары. Дешифратор -4 служит для преобразо вания двоичных кодов, соответствующи получаемым наборам теста, в сигналы н выходных шинах. Каждой выходной шине соответствует весовое состояние при выбранной базе. В качестве дешифратора 4 может быть использован любой дешифратор, выполненный по Общеизвестной схеме и осуществлякиций преобразование двоичного кода в сигнал на одной из выходных шин. , Индикатор тестовых наборов 5 пред назначен для индикации тестовых наборов в виде весовых состояний при выбранной базе и- представляет собой набор индицирующих элементов, подклю ченных к соответствующим выходным шинам дешифратора 4. Выход блока Управления 1 подключе к входу коммутатора переменных логической функции 2, выходы .которого соединены со входами коммутатора переменных элементарных конъюнкций 3. Выходы коммутатора -;3 подключены к входам дешифратора 4. Нагрузкой деши ратора 4 является индикатор тестовых наборов 5. Устройство работает следующим образом. В исходном состоянии все коммутирующие элементы находятся в выключен ном состоянии. Каждому коммутирующему элементу KONff4yTaTOpa 2 сопоставляются по .по рядку переменные к,. Я.,, X 2, Я „ , х , а каждому коммутирующему элементу коммутатора 3 сопоставляютс по порядку переменные х., , х , Xj 2 .... х , х„ логической функции, реализуемой диагностигэуемой схемой, индицирующим элементам блока 5 - веса состояний наборов 0,1,2... () где и - число переменных функций. Определяются контрольная дизъюнктивная нормальная форма (КДНФ) и ин . версна-я КДНФ логической функции. Для определения наборов диагностического теста, выявляющих разрыв элементов (путей воздействия) диагностируемой cxeivQii, с помощью коммутирующих элементов коммутатора 2 необходимо набрать все переменные инверсии КДНф логической функции, а с помощью коммутатора 3 - все переменные одной из конъюнкций КДНФ. При подаче питания с блока управления 1 индикатор 5 отобразит веса состояний наборов разрыва. Остальные наборы разрыва получаются последовательным набором переменных оставшихся конъюнкций КДНФ с помощью коммутатора 3 - при неизменном положении коммутирующих элементов коммутатора 2. Для определения наборов шунтирования необходимо с помощью коммутатора 2набрать все переменные логической функции, ас помощью коммутатора 3 всё переменные одной из комбинаций инверсной КДНФ. При подаче питания с блока управления 1 индикатор 5 отобразит . веса состояний наборов шунтиования. Остальные наборы шунтирования полу.чаются последовательным набором оставшихся КОНЪЮНКЦИЙ инверсной КДНФ с помощью коммутатора 3 при неизменном положении коммутирующих элементов коммутатора 2. Объединяя все наборы разрыва и все наборы шунтирования, получаем полный диагностический тест. Работу схемы рассмотрим на конкрет.ном примере., Пусть имеется повторная комбинационная схема, реализующая логическую функцию. f (s,VX2)(XзVЯ.,V КДНФ И ее инверсная будут иметь вид: i:.x,x;vx K3vx2X3VX,X2VX, Х, jEjXjV X X X VX XjXjVX.XjX. Выбираем базу Х, х , Xj, х, а исходя из этого каждому коммутирующему, элементу коммутатора 2 сопоставляем переменные х., , х , х , х , Xg, Хз f Х4 «4 ° порядку, а каждому коммутирующему элементу коммутатора 3 .( , -11 Xj, Х , з S 4 4 Для получения наборов разрыва в коммутаторе переменных логической функции 2 включаем элементы, соответствующие переменным Р , т.е.: 2(x,),,),)ijl,2g(Xj),26CXjr2e(X4); И В коммутаторе переменных элементарных конъюнкций 3 - элементы, соответствующие переменным первой конъюнкции Р , т.е. 3 ( X.,) , 3 ( х) . При подаче питания с источника с помощью блока управления в индикаторе тестовых наборов 5 загорятся элементы, соответствующие весам О, , 8, 10. При выбранной базе получим наборы: x,x,jXjX,X,, . Набирая с помощью коммутатора 3 поочередно все переменные остальных конъюнкций F при неизменном положе нии коммутатора 2, получим все остальные наборы разрыва диагностичес10, 6, 14 , кого теста: 6, 4, 1, 9 . licit Illll IIQI , t f i , у , Для получения наборов шунтировани в ко№4утаторе 2 включаем элементы, соответствующие переменным F , тГе. 2,((,г(хр,25(х,),г(х,),); а в коммутаторе 3 - элементы, соответствующие переменным первой конъюн ции F , т.е. 3, ( JJ) , 3j (.«2) , 3g ( х) При подаче питания с. источника в индикаторе тестовых наборов 5 загора ется элемент с весом 3, соответствующим набору: X, Я2 5 4Набирая с помощью коммутатора 3 поочередно все переменные остальных конъюнкций F при неизменном положении коммутатора 2, получим все остальные наборы разрыва диагностичес О , 2 , 13, кого теста 15,12. Объединяя наборы разрыва и наборы шунтирования, получим полный диагностический TecTi полн.йиогн. ( о/ i 2, 3, 4, б, 8 9, 10, 12, 13, 14, 15). Преимуществом предлагаемого уст(Ройства является возможность получен полных ,иагностических тестов не только для бесповторных, но и торных дискретных автоматов, т.е. устройство имеет расширенные функцио нальные возможности. Формула изобретения 1.Устройство для формирования тестов дискретных автоматов, содержащее индикатор тестовых наборов и блок управления, соединенный со входом коммутатора переменных логической функции, выходы которого соединены со входами коммутатора переменных элементарных конъюнкций, отличающееся тем, что, с целью расширения функциональных возможностей за счет обеспечения получения тестов повторных комбинационных схем, в устройство введен дешифратор,.причем выходы коммутатора переменньк элементарных конъюнкций соединены со входами дешифратора, выходы которого соединены с индикатором тестовых наборов . 2.Устройство по п.1, отличающее с я тем, что коммутатор переменных элементарных конъюнкций содержит переключатели, подвижные контакты которых соединены со входами коммутатора, размыкающий контакт одного переключателя каждой пары соединен с замыкающим контактом другого переключателя этой пары, размыкающие и замыкающие контакты всех переключателей являются выходами ко лмутатора. Источники информации, принятые во внимание.при экспертизе 1.Авторское свидетельство СССР 388261, 606 F 11/00, 1971. 2,Авторское свидетельство СССР 458830, G Об F 15/20, 1973.

ч о , .0 Л J , Л 1 .1

Г Д Т1

i

±±1

,.J