Устройство для определения тестов контроля исправности релейных структур

 

С!иоа Советских

Социалистических

Республик (!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ил. пред, «Патент»