Устройство для определения тестов контроля исправности релейных структур
Иллюстрации
Показать всеРеферат
С!иоа Советских
Социалистических
Республик (!1)526896
К АВТОРСКОМУ СВИДЕТЕЛЬСТВУ
1 !
)
I5 I.Ч. 1(л. - G 06 Г 11, 00
I
I1 (61) Донолн1!Телы)ое к авт. свид-ву— !
22) Заявлено 21.0i.75 (21) 2099454/24 ! с присосди!!енисм заявки х1)—
Государственный комитет
Совета Министров СССР по делам изобретений и открытий (23) Приоритет— (43) Опубликовано 30.08.76. Бюллетень хе 32 (53) У,ЧК 681 325 6 (088.8) 145) Дата опубликования «писан!!я 14.1;. ., (72) Автор изобретения
П. Е. Ч истя ков (71) Заявитель (54) УСТРОЙСТВО ДЛЯ ОПРЕДЕЛЕНИЯ ТЕСТОВ
КОНТРОЛЯ ИСПРАВНОСТИ РЕЛЕЙНЫХ СТРУКТУР
Изобретение относится к области вычислительной техники и может быть использовано в автоматизироваьн)ых системах .контроля.
Известны устройства для определения минимальных тестов контроля исправности релейных структур, содержащие переключатели, выходы которых соед1шены с нулевыми и един!нянь|ми входами соответствующих триггеров.
Недостатком известныx устройств является относительно невысокое быстродействие, Гкоторос обусловлено,необходимостью введения пачаlbHb!x условий с помощью переклюHàòñëåé перед вычислением каждого из наборов определяемого теста, а также необходимостью записи вручную каждого из вычислен- (5 ных наборов теста.
Целью изобретения я1вляется повышение быстродействия устройства и коэффициента использования оборудования.
Поставленная цель достигается тем. что в устройство введены счетчики, ключи, элементы И вЂ” НЕ, элемент задержки, формирователи, триггеры управления и блок регистрации. причем единичные выходы триггеров через соответствующие ключи первой группы соединены со входами блока регистрации, нулевой вход первого триггера управления соедине -1 с выходом первого счетчи!ка, ед1гничный Bbiход — соединен с управляющим входом клю- З0 ча, вход которо;о подключен ко Bx01)1 устройства, выход — соединен со счетным Входом второ)о TpHггсра управле)шя, единичный выход которого соединен со зходами;!ерсключателей, со входом первого счетчика н через элемент задержки со в.,одом второго счетчика, нулевой зыхо1 — иодк Ilo lci{ к у;1равляющсму Bx«:Iv блока реl ilcTpBI!IIH, первые входы элементов 11 — HE соединены с соответствуюЩнм и Вы хо.1а м н 11(- Р 101 О ф01)м н Роза Гс и ° в--"О 1 которого полило IOH к выходу второго счетчика, BTopi!с зхо lbl элсмс;)тоз 11 — ИЕ сос:1!.!с!Ibl с яулсвым выходом третьего триггера управления, сдпиичный вход .которого соединен с cooTBcTcTI3vlolUHì выходом второго счетчика, выходы элемс)!тов 11 — НЕ через второй формирователь соединены с соответствующ!!в ми входами ключей второй группы, выходы которых чсрсз третий формирователь подклю 1PH bI 1К СЧ СТ1Н 1! М BXÎДа М COOTBPTCTBA К)ШН триггеров, управляющие входы клю-!сй втоРой ГР 11.1.1Ы .!ОДК 1IОЧЕНЬ! К COOTBPTCTB 1 Ю1ЦИМ выходам BTopoI0 счетчика, управляющие Вх«lbi счетчиlHîB и нулевые вхо !»I триггеров управления зод1клочены к первому управляющему входу устройства, второй управляющий вход 1которого соединен с единичным входом первого триггера управления, третий управляющий вход — со вторым управляющим ВхОдом первого с !етчика.
521>89 С
Схема устройства представлена па чер те>ке.
Триггеры 1,— II; служат для преобразования изменяемых состояний перемен Ib!v в двоичный код, выражающий,каждый отдельный набор теста Т; переключателями 2,— 26 устанавливаются исходные данные для вычисления наборов теста Т, связанные с устаг<овкой переменных нулевой функции, описыва om»x размыкающпе и замыкающие контакты исходной структуры. 1|аждую переменную обозначим с чертой и без черты, например а и а, Ь и Ь; переменная с чертой соответствует конта,кту, через который сигнал подается на
«ед1шпчныи» вход соответствующего триггера, а переменная без черты — на «нулевой» вход этого же триггера.
Пусть логическая функция
20 (1) F = а b с + а d — с1г; у которой
25 а, b, с, d, е, 1г—
;IeI>CHIC;IIlbIC И (3) 50 аЬс, аd, e/г— элементарнь.е пмпликанты, описывает структуру, для которой необходи>мо определить наборы теста Т.
На чертеже с помощью переключателей
2 — 26 набраны значения >переменных (2) в качестве исходI! blx данных.
С помощью формирователей 3 -3b выполненных, например, на обы шых пакетных переключателях (пакетные переключатели на 40 cðòcæå не показаны), формируются рабочие входы и выходы ключей 4 — 4., а также их управляющис входы. Число ключей соответствует числу импликант (3), а число рабочих входов и выходов в ключах соответствует 45 числу переменных в соответствующей импликапте. Сформированные ключи, их рабочие входы и выходы, а также управля1ощие входы, выражан>т исходные данные для вычисления т""T I Т, отражающие конфигурацию 50 структуры, описанной логи еской функцч: и (1)
Элементы И вЂ” HE (Шеффера) о — 5-„у>прав,IsIciIb!c сигналы " выходов счетчика 6 и тригг:ра 7 формируют команды для вычис",åíèÿ 55 наборов теста Т, которые поступают через ключи 4 на соответствующие счетные входы
1ðиггсров 1.
Счетчик 6 осуществляет расГ!редс ление управляющих импульсов, которые по двум раз- 50 сбщенным каналам каждого его выхода одновр"менно воздействуют на и рвые входы элементов 5 и управляющие входы соотв=тствующих ключей 4, а также формирует управляющий импульс на одном из выходов и выдает на единичный вход триггера 7. На нулевом выходе триггера 7 формируются «единичный» или «нулевой» сигналы, поступающие на вторые входы элементов 5 в качестве управляющих.
В состав блока регистрации входят обмотки синхроимпульсов 8! — 8; и пуансоны 9 — 96 для набивки цифровых символов на бумажную ленту. Ьлок 10 совместно с узлом управления 11 всякий раз по управляющим импульсам с нулевого выхода триггера 12 сс>ществляет печать на бумажную ленту двойчных чисел (наборов теста Т), снимаемых с выходов триггеров 1; — II; и:юдазае.,! .я; чс;>=з < l!o !I 13; — 13б .Ia блек 8 регистрации, напр. !мер блок печати.
Триггер 14 управляет ключом 15 на в|оде триггера 12.
Счетчик 16 формирует сигнал переполнеIll!>I III>ll отсчете пачки импульсов, задаваемой дополнением «Д» и равной числу наборов вычисляемого теста. Сигнал переполнения переводит триггер 14 в «нулевое» состояние и, та,ким образом, закрывает ключ !5.
Элемент 17 задержки осуществляет задержку импульсов, подаваемых на вхо1 счет чика 6. Цифрами 18 — 21 обозначены вхо-,ь. устройства.
Алгоритм определения наборов сост-!."ë>.I<:— щпх тестов Т, н Т, (Т = TI . Тo) рассматр,— вается ниже на конкретном примере.
Пусть требуется определить наборы теста
TI для оесповторной структуры класса II, описываемой булевой функцией (1), Op! I условии, что каждой ее переменной заданы ясса:
P(a) = 1, Р(Ь) = ", РГс) = 4, P(d) = 8.
Р(с) = IG, Р(lг) = 32.
Для определения отдельного набора текста
Т, пад унн<цисй (1) последовательно проводятся операции первого и второго рода.
Операция перво"î рода заклloчаеT ÿ в том, что всем переменным оез чсоты элеменпгарной нмнлпканты булевой функции, выражающей элементарпу1о цcllo÷.<ó структуры, пзменя1от состояния на ооратные. Т", <èì образо>4, контролируемая цепочка структу-,.ы "„;мыкасTc>! !,а";,
Прп выполнении операции второго рода всем остальным переменным булевой функции с чертой, не входящим в выделенную э.1сментарную импликанту, изме.IHIQT состо Jfl!.ÿ на обратные, т. е. размы кают в структуре соответствующие нормально замкнутые контакты.
Пр» определении набора теста для контроля
LIcIIo- кн, описываемой элем нтарной Ilмплпкаптой аb с на обрыв, в результате операций первого и второго рода изменяют со "тоя!!I!r переме<чные b, d, 1г:
F,. =аbс+ ad+ е/г.
526896
Т! = 42 36 - 29 (4) аbc dek
110 101 (6) Набор теста будет равен сумме вссов указа!ш|ых переменных, т. е. равен 42. Наборы теста для,контроля цепочек а d ?I ek определя!отся аналогично и оказываются соответственно равш,!Ми 36 и 29 Таким образом, тест
Для определения отдель;|ого:!абора тесты
Тр ияд булевой функцией (1) послелозатсльио проводятся упрощенная операция третьего рола и операция второ:О ро L3.
Упроще?|ная операция третьего роля заключается в том, что:!еременная с чертой, соответствующая контролируемому контакту изменяется иа переменную без icpTb!, т. с, ко:tтролируемый контакт структуры )размь|кястся, 1 зсе .персмсипыс Ос3 черты имплп)канты, B которой расположена контролируемая персмсlll!3я, пзмепяlотся иа псремепнъ|е с чср той.
При выполнении операций упроще: Iblx третьего рода и операций второго рода наборы теста Т, лля контроля контактов а, К с, d, е, k будут иметь соответственно значения:
T = 43. 40. 46. 37. 44. 13. 61 (5) При этом переменная а .контролируется двумя наборами 48 и 87.
Работа устройства для приведенного выше примера происходит следующим образом.
Переклочатели 2 замыкаются B сторону
Тсх обозначе||ий состояний переме ных, которые имеют место з исходной булевой функции (1), т. е. а, b, с, d, е, k.
Эта операция выражает первую установку исхол |ых данных для определения наборов теста T. При этом замыкание переключателей 2 в сторо !у переменных с чертой переволит соотзетствующие триггеры в единичное состоя-! ше, 3 зам!1 кя1|ие переключателей 2 в сторону перемен!|ых без черты переводит соответствующие триггеры в «пулевое» состояние,|рп
:1риходе на входы .переключателей упразляю. щих сигналов.
С помощью формирователей 8 по исхол;|ой функции в ДНФ (1) формируются ключи 4, входы и выходы их выражают вторые исходные данные для вычисления теста Т, отража|о|цие коиф?!гурацию структуры.
По команде «Исходное» на вхоле 18 счетчики б и 16 !переводятся в исходные состояния, а триггеры 7, 14, 12 — в нулевые состояния.
При этом !13 вторые вхолы элементов 5 подаются единичные сигналы.
В счетчик 1б по входу 21 вводится допол-! нение «Д», обеспечивающее формирование импульса переполнения при отсчете заланного числа наборов теста Т.
По команде «Пуск» на вхоле 19 устройстза триггер 14 переводится в «единич?ioe» состояние, ключ 15 открывается и ?!а счетный вход триггера 12 со входа 20 устройства начинают поступать импульсы определенной частоты.
Псрвый же импульс на единичном выхолс триггера 12 изменит состояние триггеров 1 в соответствии с положением >перскл|очятелей 2, 3 также посту !IIT !13 c÷ñòBûc Bxî Lbl c÷cò÷èoB6и 16.
113 .1срзом вы 0 Li счсГ!иl а 6 (см. чертеж, :!Срзый выход сверху) сформируется управляющий импульс, который совместно с сли10 1 пч;!Ы11 C!11113,!OÌ на пу, liBOÌ BblXO LC Tp!1 . ТСра сформирует нулс.!ой сигнал пя Bb!x.i |. э!С1!с iT3 5, ll 01!роет кл10ч 4!. При это>1 зыxолс хлоча 41 сформируется сшl!31 0 1;, 3;I3 выходах всех Ост;?льцых кшочсй 4.> 4р бу
1. T н .левые сигналы, так ках о:|п за рыть!.
1 я".. :!. 06p 33011, пгпял c Bl>lxo:LoB к.lючси -1
0 1 1 00 00 ||оступаст па с-|стпыс Bхолы сооТ:; тстзующ:lx Триггеров 1 и изменяет их состояние. При этом на единичных выходах триггероз 1 булст сформирован двой|иый сигнал:
Второй и».|ульс частоты на счетном входе триггера 12 переведет триггер 12 в нулевое состояние и иа вход узла управления 11 поступит управляющий единичиьш сигнал. Узсл
30 управления 11 сработает и сиихроимпульсы с обмоток 8 откроют те ключи 18, па первые вхолы которых поланы единичные сигналы с выколов триггеров 1. Соответствующие пуанiопы 9 сряботшот и отпечатают символы зъ соответствующие «!» на зала :!ых позициях бумяж-!oil;lcнть). Пуансоны, 1!с сраоотавшп по;|улевым сигналам с выколов соответствующих кл|очей 18, нс отис-|ятяют иа зял!)иных позициях Оумажной ленты символов и это б)140;|ст означать 1|ули в соот;зстстзующпх:10111LLBI1x Лвоич:|о:о числа.
Таким 0!) разом, |вон -! 1! ос ч пс, 10, От:I сч 31ч1.!нос па !)1 v!3)Klloll 1c:Iтс, !)Y.?ст соответствовать лвоич;!Омх сиг алх (6) и составит псрзый зя
4> бор теста (5) равный 48.
Второй:|:10слслу|о|цис няооры теста (51
B hi l B C,1 Я 10 Т С и ?! П ?1 Л О П Ч Н О .
После по Ió÷cBBÿ всех ?lаборов тест3 (5) пя послелнсм (нижнем) выхолс c÷cò÷èx3
50 сформируется c!l!:|ал п псревелет триггер 7 в единичное состояние, со вторых вколов элементов 5 будет снят елпппч;!ый сигна i п с этого момента устройство начинает вычислять набоpbi теста Т, (4).
С появлс:!ием управляющего импульса .!1 первом (верхнем) вхоле счетчика 6 вновь о";— кроется ключ 4, и на его выходе сформируc.ся сиг:!3л 1 1 1, а па выходах всех осталь: ы;
00 ключей 4 будут ?11левыс сигна lbl, тя,к кяк î.il! закрыть!.
Таким образом. сигнал 1 1 1 0 0 0 0 пост пает на счетные вхолы соответствующих триггеров 1 и llзмепяет их состояние. При этом пя ед:(п!(чпь(х выходах триггеров (оудет сформпроза двоичный сигнал:
abc dek
Ol0 101.
Следовательно, олок 8 печати Bàôïêñèðóåò ла (бума>иную лепту двоичное число, соотзетс TB ующее не рв о му на оо ру теста (4) 42.
Прп,Вычислении наборов теста па бумахк пой лепте блока печати оудет отпечатана следующая информация: 42, 42, 42, 36, Зб 29, 29.
Б полученной информации следует мдалпть
Все повторяющиеся наборы, и в точности будут получены наборы теста Т(((4) .
1 как только оудут получены Все !(аборь; теста Т, па выходе счетчика (б сформируется сигнал переполнения, триггер 14 перезсдетsI В пулевое состояние, ключ (аз закроется,,ра бота усвройстза прекратится. На бумажно!1 ,(сите зафиксируются все наборы теста Т.
Формула изобретен я
Устроиство д;(я определения тестов:<о((троля пс!(разности релейных структур, содер кащее переключатели, выходы которых .соединены с пулевыми п ед((пичнымп зхо;амп соответстзу(ощих триггеров, о т л и 1 а ю щ е е с я тем, что, с целью повышения быстродействия устpoIfcTBB B коэффициента использования Обору дования, з,него введены счетчики, (ключи. эле(менты И вЂ” HE, элемент за,re(pa<(
Д РН« П О ВХОДО,I BTOPOГО СЧЕТ)П(|ка, Irvc!BBoif зыхо ход,подкгпо leil;< у.-.разляющсму .Входу блока регистрации. первые Bxî..(ы элементов И вЂ” HE -О:llп:(с:I
Л . ;;: C:fl)f,".ООТГСТСТЗТЧОщ(,,чп BB(xOëà )ll! первого формирователя, Bxo( кото, огo по л
<, дк. ючен к,выходу второго счет:ика, Вторь:: зхо |ы элечс((тоз И вЂ” H= осдп, единич:(ыи Bxp;I которого соснине. с соотзетстзующпм выходом второго счетчика, выло.|ы элемептоз И вЂ” HE ер з
:ерез зто ои формирователь соединены с соответстзующими зходамп ключеи второ"! групп((, выходы которых через третий формирователь подклю и "пы К СЧЕТПЫМ BXOД((М ССО ГЗСТ "ТВУ!0|ЦП; триггеров, управляющие Вхо.|ы ключей 3TOðO() группы подключены к с007Ве стзуюп(пм выходам Второго c÷ñò ((I(!:.а, у:(разляющпе вход сче
ПЕ ВХОД ), тчикоз п нулевые входы триггеров v:I1pBBЛЕПИЯ .ПО,(<.1
„<. ючены к первому управляющему входу устройства, второй управляющий вход которого сое,(пиен с едиппч;(ым входом первог0 триггеог управления, гретпй хпразляющпй вход — со |Вторым управляющим зхозом .::сизого счетчика.
526896
) (! 3
)
I
i
Составитель А. Жеренов
Текред 3. Тараненко
Корректор Н. Синкина
Редактор Н. Коляда
Заказ 926,/1221 Изд. ¹ 1673 Тираж 864 Подписное
ЦНИИПИ Государственного комитета Совета Министров СССР по делам изобретений и открыт й
Москва, Ж-35, Раушская наб., д. 4/5
Тип. Харьк. 4ил. пред, «Патент»