402869

АНИЕ ТЕН И Я 286 Союз СоаетскихоциалистичеснихРеспублик ВТОРСКОМУ СВИДЕТЕЛЬСТВ Зависимое от авт. свидетельства162969/18 Заявлено 01,111,19с присоединениемПриоритетОпубликовано 19.. Кл, б 06 11/О явкиосударственныи камитеСовета Министрав СССРао делам изааретенийи открытий 973 Бюллетень Ъ 4 К 681.325.6(088,8 Дата опубликования описания. 1 У.197 Авторизобретения Чистяков явител СТРОЙСТВО ДЛЯ ОПРЕДЕЛЕНИЯ МИНИМАЛЬНЫХ ТЕСТОВ КОНТРОЛЯ ИСПРАВНОСТИ РЕЛЕЙНЫХ СТРУКТУР25Для определения отдельноТ,н 1 н над булевой функциейпроводятся операции первогоОперация первого рода за30 что всем переменным без чер го набора теста последовательно и второго рода. ключается в том, ты элементарной Изобретение относится к области вычислительной техники.Известны устройства для вычисления булевых функций для 2 комбинаций состояний ее переменных при их общем числе, равным й.Известные устройства не позволяют вычислить некоторое подмножество комбинаций состояний переменных, содержащееся в множестве 2", по значениям булевой функции, т. е. решить обратную задачу с определенными начальными условиями,Целью изобретения является повышение быстродействия определения наборов теста по булевой функции, описывающей контролируемую релейную структуру.Сущность изобретения заключается в том, что в устройстве счетный вход каждого триггера через замыкающий контакт соответствукщего первого переключателя и замыкающий контакт общего переключателя соединен с положительной клеммой источника питания. Нулевой и единичный входы каждого триггера через замыкающие контакты соответствующего второго переключателя и размыкающий контакт общего переключателя соединены с положительной клеммой источника питания.Схема устройства представлена на чертеже,В ее состав входят триггеры 1 - 7, переключатели 8 - 22 и источник питания 23. Набор триггеров служит для преобразования изменяемых состояние переменных в двоичный код, выражающий каждый отдельныйнабор теста Т.Переменная с чертой а. и Ь соответствуетконтакту, через который сигнал подается наединичный вход соответствующего триггера, апеременная без черты а и Ь - на нулевойвход этого же триггера. Для переключателей15 - 21 те же переменные записываются в безразличном состоянии, например, а и Ь.Алгоритм определения наборов составляюЩИХ ТЕСТОВ Т дщ И Т ъщн РаССМатРИВаЕТСЯ НИ"же на конкретном примере.Пусть требуется определить наборы тестаТкн 1 н ДЛЯ СТРУКТУРЫ КЛаССа, ОПИСЫВаЕМОй бУлевой функцией в дизыонктивной нормальнойформе (ДНФ).20 Р.=аЬс+аЫ+ей, при условии, что каждойее переменной заданы весаРГа) = 1,Р/Ь/ = 2,Р(с/ = 4,Р/4 = 8, (1)Р/е/ =. 16,Р/Ъ/ = 32,импликанты булевой функции, выражающей элементарную цепочку структуры, изменяют состояние на обратные. Таким образом, контролируемая цепочка структуры замыкается накоротко.При выполнении операции второго рода всем остальным переменным булевой функции с чертой, не входящим в выделенную элементарную импликанту, изменяют состояние на обратные, т, е. размыкают в структуре соответствующие размыкающие контакты. При определении набора теста для контроля цепочки, описываемой элементарной импликантой аЬс на обрыв изменяют состояние переменные Ь, 3, й.Р= а Ь с+ ад+ е 1. (2)Набор теста будет равен сумме весов указанных переменных, т. е. равен 42. Наборы теста для контроля цепочек ахи ей определяются аналогично и оказываются соответственно равными 36 и 29.Для определения отдельного набора теста Т ип над булевой функцией последовательно проводятся операции третьего и второго рода,Операция третьего рода заключается в том, что переменная с чертой, соответствующая контролируемому контакту, изменяется на переменную без черты, т. е, контролируемый контакт структуры размыкается, а все переменные булевой функции без черты, соответствующие замыкающим контактам, объединяемым элементарными цепочками, проходящими через контролируемый контакт, изменяются на переменные с чертой. Наборы теста для контроля контактов а, Ь, с, д, е, Й имеют соответствующие им значения 35, 40, 46, 44, 13, 61. Применение вычисленных наборов теста Тчи, определяется спосооом логического контроля релейных структур.Раббота устройства для приведенного выше примера происходит следующим образом,Переключатели 8 - 13 замыкаются в сторону тех обозначений состояний переменных, которые имеют место в исходной булевой функции, т. е, а, Ь, с, К е, Й. Зта операция выражает установку исходных данных для определения наборов теста Т, при этом замыкание переключателей в сторону переменных с35 40 45 50 5 10 15 20 25 30 чертой переводит соответствующие триггеры в единичное состояние, а замыкание переключателей в сторону переменных без черты переводит соответствующие триггеры в нулевое состояние. Пусть требуется вычислить набор теста Т, для контроля цепочки аЬс на обрыв. Для этого замыкаются переключатели 15 - 17, осуществляется перевод переключателя 22 в другое положение по сравнению с положением изображенном на чертеже. В результате триггеры изменяют свои состояния и формируют двоичный код, соответствующий десятичному числу 42.Перед каждым очередным определением набора теста переключатели 15 - 22 переводятся в исходное состояние. При вычислении теста Т, для контроля, например, контакта а на короткое замыкание, замыкаются переключатели 16 - 18 для переменных Ь, с, д. Указанные переменные булевой функции соответствуют контактам, которые объединяются элементарными цепочками, проходящими через контролируемый контакт а, Изменяется положение переключателя 22, триггеры формируют двоичный код, соответствующий десятичному числу 35. В данном случае также все переключатели 15 - 22 устанавливаются в исходное состояние перед каждым очередным определением набора теста Т.Предмет изобретения Устройство для определения минимальных тестов контроля исправности релейных структур, содержащее триггеры, переключатели и источник питания, отличающееся тем, что, с целью повышения быстродействия определения наборов теста по булевой функции, описывающей контролируемую релейную структуру, в нем счетный вход каждого триггера через замыкающий контакт соответствующего первого переключателя и замыкающий контакт общего переключателя соединен с положительной клеммой источника питания, нулевой и единичной входы каждого триггера через замыкающие контакты соответствующего второго переключателя и размыкающий контакт общего переключателя соединены с положительной клеммой источника питания.402869 Составитель нов Редактор еманова Техред А. Камышникова Корректор Н. каз 668,6ЦИИ ПодписноеСССР И Го ипографня, пр. Сапунова зд М 2084дарственного комитетапо делам изобретений и осква, Ж, Раушская Тираж 64Совета й 1 ипистоооткрытийаб.,