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

11)526896 Сова Советских Свциалистических Республик6.) 1 дид.цитс 1 ыде к авт. свил-ву 4/24 22) Заявлено 21.01.75 (2 ) 209 д .Ч.1 хг.- 6 0 0 с присосдисцисм заявки хе -(23) Приоритет -143) Опубликовано 30.08.76. Бюллетень хе 3 асударственныи комитет авета Министров СССР 53) У,"1,К 681.325ам изобретении открытий пуол иковаци 5 описания 1 .1 4 д) Лат 2) Автор изобретен и(54) УСТРОЙСТВО ДЛЯ ОПРЕДЕЛЕНИЯ ТЕСТОВ КОНТРОЛЯ ИСПРАВНОСТИ РЕЛЕЙНЫХ СТРУКТУ ся к ооласти вь ет быть исполь системах контр для определен роля исправцос кащие переклю ены с нулевыми етствующих три ых устройств окое быстроле еобходимостью с помощью пе ием кажлого и а, а также не каждого из вы числи. зозано оля.ия мити речатели,и елиггс ров,являетйствис, О взелереклю з цабо- обхолиислен;ювыше ис эффициента являествавация. Поставленная цель достигается тем, что в устройство ввелены счетчики, ключи, элементы И - НЕ, элемент задержки, формирователи, триггеры управления и блок регистрации. причем единичные выходы триггеров через 25 соответствующие ключи первой группы соединены со входами блока регистрации, нулевой вход первого триггера управления соелине. с выходом первого счетчика, елгничцый выход - соелинец с управляющим входом клю- зо Изобретение относит тельной техники и моя в автоматизировацпых Известны устройства цимальцых тестов конт лейцых струступор, солер выходы которых соели гчны;ми входами соотв Недостатком извест ся относительно цевыс сотордс обусловлено ,н иия цачальцых условий чатслей перел вычислен ров определяемого тес мостью записи вручную цых наборов теста. Целью изобретения быстродействия устрой использования оборудочд, зхол которого полключсц ко входу устроиства, выход - соелицец со счетным входом второо тзиггсра упрдвлещя, сдицичцый выход которого сослицеи со зхолами;ерсключателей, со вхолом первого счетчика и через элемент здлержки со входом второго счетчика, нулевой зыхдл - иолклочсн к у;равляющсму вхолу блока регистрации, первые входы элементов 11 - НЕ соединены с соответствующими Выхд дми 1 ерлд д фдрмирдзд Гсл 5 3 хокоторого полклочсн к выходу второго счетчика, вторыс зхдлы элсмс;тоз 11 - НЕ сдсл- зсы с,нулсвым выходом третьего григгерд управления, елиичный вход которого соелиен с соответствующим выходом второго счетчика, выхолы элементов 11 - НЕ через второй формирователь сослинецы с соответствующими виолами ключей второй группы, выхоль которых чсрсз трепй формирователь полклдчены с счетньм входам соответствук 1 щи с триггердз, управляющие вхолы ключей втд 11 дй Гр 11 ы .Олк,очень к сддтветств ющи. выхолам зто,1 ого счетчика, управляющие вхолы счетчикоз и нулевые входы триггеров управления золклочены к первому управляющс. му вхолу устройства, второй управляющий вход соторого соелицец с единичным вхолом первого триггера управления, третий управляющий вхол - со вторым управляющим вхолом первого счетчика.Схема устройства представлена па чер теке.Триггеры 1, - 1, служат для преобразования изменяемых состояний переменных в двоичный код, выражающий, каждый отдельный набор теста Т; переключателями 2, - 26 устанавливаются исходные данные для вычисления наборов теста Т, связанные с устаОвкой переменных нулевой функции, описыВВ 10 щпх рязмыкяющ 1 ке и замыкяощие контакты исходной структуры. 1 аждую переменную обозначим с чертой и без черты, например а и а, Ь и Ь; переменная с чсртой соответствует коцтякту, через который сип 1 ял подастся цаи15 е;пцпчныи вход соответствующего трггеря, а переменная без черты - па нулевой вход этого же триггера.Пусть логическая функция 20(3) 50 элементарные пмпликацты, описывает структуру, дгя которОЙ цеоохолимо Опре;слить пяборы теста Т.На чертеже с помощью переклю Ятелсй 2, - 26 набраны значения переменных (2) В качестве исходных данных.С помощью формирователей 3 - 3, выполненных, например, на обы гпых пакетных переключателях (пакетные переключатели на 40 чертеже це показаны), формируются рабочие входы и выходы ключей 4, - 4., а также их управляющис Входы. Число ключей соответствует числу импликант (3), а число рабочих входов и выходов в ключах соответствует 45 числу переменных в соответствующей имплика;ге. Сформированные ключи, их рабочие Входы и выходы, а также управляощие входы, выражант исходные данные для вычисления теста Т, отражающие конфигурацию 50 структуры, описанной логическои функ: л ()Элементы И - НЕ (Шефчера) 5 - 51, управляемые сигналы с выходов счетчика 6 и тригг:ра 7 формируют команды для вычисления 55 наборов теста Т, которые поступают через клочи 4 на соответствующие счетцые Входы триггеров 1,Счетчик 6 ОсущестВляРт рясгредслецие управляощих импульсов, которьс по двум раз сбщенпым каналам каждого его выхода одновр"менно воздействуют ца и рвые входы элементов 6 и управляющие входы соотв:тстдующих ключей 4, а также формирует управляющий импульс па одном из выходод и вы дает на единичный вход триггера 7. На нулевом выходе триггера 7 формируются единичный или нулевой сигналы, поступающие на вторые входы элементов Ь в качестве управляющих,В состав блока регистрации входят обмотки синхроимпульсов 8, - 8; и пуансоны 9 - 96 для набивки цифровых символов на бумажную ленту. Ьлок 10 совместно с узлом управления 11 всякий раз по управляющим импульсам с нулевого выхода триггера 12 осуществляет печать ца бумажную ленту двойчпых чисел (наборов теста Т), снимаемых с выходов трпггсров 11 - 16 и подазае.,ых чс;:з 4 Очи 13; - 13, 1 а блох 8 регистрацпп, ца.1 р 1- мер блок печати.Триггер 14 управляет к,ючом 16 1 а воде триггера 12.Счетчик 16 формирует сигнал переполнения прп отсчете пачки импульсов, задаваемой дополнением Д и разной числу наборов вычисляемого теста, Сигнал переполнения переводит триггер 14 в пулевое состояние и, та,ким образом, закрывает ключ 6.Элемент 17 задержки осуществляет задержку импульсов, подаваемых ца вход счет чика 6. Цифрами 18 - 21 обозна сы дходь устройства.Алгоритм определения наборов состздляО - щпх тестов Т, 1 Т, (Т = Т 1. Т) рассматр:1- Вастся ниже ца конкретном примере.Пусть требуется опре.слить наборы тестя Т для оесповторпой структуры класса 11, опсываемой булевой Чуцкцией (1), прп услови:,1, что каждой ее переменной заданы Вс:я:Р(а) = 1, Р(Ь) = ."., 1 Гс)= 4, Р(с 1) = 8.Р(с) = 16, Р(lг) = 32.Лля определения отдельного набора текста Т, пад укцисй (1) последовательно проводятся операции первого и второго рода.Операция первого ро;а закл 10 чяст" я д том, что всем переменным оез черты элемспгярной цмцлпкацты булевой функции, выражающей элсментарпуо цепочку структуры, пзецяо. состояния па ооратпые. ТЯ;зим осразом, контролируемая цепочка структуры дс.1.кается ЦЯКОЗОТКО.Прц выполнении операции второго рода Всем Остальным гРрсмснцым булевой фупкцпи с чертой, це входящим в Вы:еле.ио э.схВцтарную ипликапту, изме яют состояния ца обратные, т. е. размы 1 каот в структуре соотвсгствующие нормально замкнутые контакты. Пр Определении набора теста для контроля цспочк, о;исывасмой элем итарой цмплпкаптой а Ь с на обрыв, в результате операций первого и второго рода изменяют состояПе переменные Ь, гУ, 1 г:г",. = а Ь с + ад + е 1 г.(6) Набор теста будет равен сумме вссов указасиых переменных, т. е. равен 42. Наборы теста для,контроля цепочек ад и ей определяотся аналогично и оказываются соответственно равш,Ми 36 и 29 Таким образом, тест Для определения отдель;ого:абора теста Т, иял булевой функцией (1) послелозатсльио проводятся упрощенная операция третьего рола и операция второ:о рода.Упроще 1 ная операция третьего роля заключается в том, что:1 еременная с чертой, соответствующая контролируемому контакту изменяется иа перемецную без черты, т. с. ко:1- тролируемый контакт структуры размыкается, я зсе,иерсмсииыс осз черты импли 1 хяить 1, в которой расположена контролируемая персия переменные с чертой.При выполнении операций упроше:шых третьего рода и операций второго рода наборы теста Т, лля контроля контактов а, Ь, с, а, е, Й будут иметь соответственно значения: Т = 43. 40, 46. 37, 44. 13. 61 (5) При этом переменная а .контролируетсядвумя наборами 43 и 37.Работа устройства для приведенного вышепримера происходит следующим образом.Переклиочатели 2 замыкаются в сторонутех обозначе ий состояний переменных, которые имеют место з исходной булевой функции (1), т. е. а, Ь, с, с, е, й.Эта операция выражает первую установкуисходих лаиных для определения наборов теста Т. При этом замыкание переключателей 2в сторону переменных с чертой переволит соотзетствующие триггеры в единичное состояше, д зам 11 кяцие переключателей 2 в сторонупеременых без черты переводит соответствующие триггеры в нулевое состояние;риприходе на входы, переключателей упразляю.щих сигналов.С помощью формирователей 3 по исхол;1 ойфуикц 11 и в ДНФ (1) формируются ключи 4,входы и Выходы их выражают вторые исхолиые данные лля вычисления теста Т, отража 1 о 1 цие коиф 1 гурацию структуры.По команде Исходное на вхоле 18 счетчики б и 16 лереводятся в исходные состояния,а триггеры 7, 14, 12 - в нулевые состояния.При этом ца вторые вхолы элементов 5 подаются елииичиые сигналы,В счетчик 16 по входу 21 вводится дополнение Д, обеспечивающее формированиеимпульса переполнения при отсчете залаиногочисла наборов теста Т.По команде Пуск на вхоле 19 устройстзатриггер 14 переводится в единичное состояние, ключ 15 открьвается и на счетный Входтриггера 12 со входа 20 устройства начиняют поступать импульсы определенной частоты.Псрвый же импульс на единичном выхолс триггера 12 изменит состояние триггеров 1 в соответствии с положением герскл 1 очятесей 2, 5 я также поступит ця счстиыс входы счстчикозби 16,Нд псрзом выхоле счсгчика 6 (сз. чертеж,:Срзый выход сверху) сформируется управляющий импульс, который совместно с сли О 1 ич;1 ым сиги д,10 м ця иу,сном Выходе триг".сря сформирует цулс.ой сигнал пя Выхо .злес:1 тя 5, и Откроет 1.лоч 4,. При этом 1зыхолс хлпоча 4, сформируется сшидл 01;, д цд зыхолах всех остальных кпОчс 4, 4 р бу 1 л т нулевые сигналы, так ках о:п закрыть.1 якл. Об 13 дз 01, пгцял с ВВ 1 холОВ к,1 ючси 4 0110000:1 оступаст иа счстиыс Входы соотз;тстяуюшпх триггеров 1 и изменяет их состояние. При этом ца слииичных выходах триггеров 1 булст сформирован лвой иный сигнал: 25Второй им.ульс частоты на счетном входетриггера 12 переведет триггер 12 в нулевое состояние и иа вход узла управления 1 поступит управгяОщи 1 елиничиьш сигнал. Узсл 30 управления 11 сработает и сиихроимпульсыс обмоток 8 откроют те кл 1 очи 13, иа первые вхолы которых поланы единичные сигналы с выхолов триггеров 1. Соответствующие пуансоны 9 срябота 1 от и отпечатают символы 35 соответствующиеца задан;ых позицияхбумяж:.Ой лезть. Пуансоны, ис сраоотавши по;1 улевым си:Валям с выходов соответствующих клочей 13, цс отисятяют иа здлд:пых позициях оумажной ленты символов и это б 1 у;1 ст означать пули в соотвстстзуОШих:ОЯ 11.циях двоичного числа.Таким Оордз 0.1, лвдичиос чис 10 От.с"111 д.цос ца бтм 11 жцо 1;1 с:тс, б лет соответствовать Лвоичпомх сицдлм 16) и составит псрз 1)11:д бор теста (5) равный 43.Второи .1:1 Ослслуоцис няооры теста (51ВЫЧИСЛЯОТСЯ 11 ЦЯ,10 ИЧНО,После получс 1 и 1 я всех наборов теста (5)ид послелнсм 1 цижнсх) выхолс счетчихд 50 сформируется сиг:Ял и переведет триггер 7 Вединичное состояние, со вторых вколов элементов 5 булет снят елииич;ый сигнал и с этого момента устройство начинает вычислять наборы теста Т, (4). С появлс:ием управляющего импхсься:1 д первом 1 зсрх:.ем) вхоле счетчика 6 вновь от - кроется ключ 4, и на его выхолс сформируется сцг:ал 111, а иа выходах всех осталь:их 1 лк 1 чей 4 будут 11 улеВыс сиг 11 алы, тдк как 01 и зякрытьь Таким образом, сигнал 111 0000 посту -пает на счетные вхолы соответствующих триг геров 1 и изменяет их состояние. При этом пдединичных выходах триггеров 1 оудет сфор.Ц розан двоичный сигнал:асс ИейО О 101.Слс.озательцо, олок 8 печати зафиксирует ла бумажную лепту двоичное число, соответствуОщее первому наоору теста 4) 42.Прц вычислении наборов теста ца бумаж. цой лепте блока печати оулет отпечатана слслующая ццформацця: 42, 42, 42, Зб, Л, 29, 29.Б полученной пцрормации следует у;влить все повторяющиеся наборы, ив точцостц будут получены наборы теста Т 1)4).хак только оудут получены все цаборь: теста Т, ца выходе счетчика Уб с 1)ормируется сигнал переполнения, триггер 74 переведется в цулевое состояние, ключ Б закроетсяра бота устройства прекратится. На бумажцой лепте зафцксируются все наборы теста Т.Формула изоб)ретсццянУстроиство: я определения тестов копроля неравности релейных структур, содержащее переключатели, выходы которых соелццены с пулевыми ц елццичцымц зходамц соотзетствуощих триггеров, о т л и ч а ю шее с я тем, что, с целью повышения быстродействия устОйстзя ц коэффцецта 1 спо ьзоза(нпя 000)у лования, з,него введены счетчики, (ключи, элементы И - НЕ, элемент за;ержки, формцрова. тели, триггеры управления и блок регистрации, причем единичные выходы триггеров через соответствующие лючц лезой Г пп;ц, нулезоисо входамп Олока,рсгцст,а,цвход первого триггера управления сое;ццеп с выходом первого счетчпа, едцпч ый в- ход - соединен с управляоцим зхо: Ом ,д которого подключен по вхоч с ства, выхо - сх лу устрой. од - соединен со счетцым входом второго триггера управления, единичный выход котох рого соелц сц со входами пере:л". сл, со зхо;1 ом первого счетчца и :саз элемет за е гд ржси .о входом Горого счетчц. ка, нмлевой зыхо, . Г, "ход,подкгпочец к у.-.разляющс. му входу блока регистрации. первые входы элементов И - НЕ -О:цс;1Л о , , . СПЬ С СООТГСТСТЗУО- ццмц захола: цеРВОГО 1)ОРлЦРОватс Я Вхо: КОТО, ОГО ПО Лдк, ючен к,выходу второго счетчика, Вторь:с зхо.ы элемсцтов И - Н. ослиединичный Вхэл (которОГО сос,цне . с соответствующим выхо;ом второго счетчика, выхолы элементов И - НЕер зерез вто оии формирователь соединены с соотзетствующими зходами ключеи второй груп 1, выхолы которых через третий формирователь полклю чецы К СЧЕТЦЫМ ЗХОГк ССОТЗЕТ "ТВУЮ 1 ЦЦХ триггеров, управляющие вхо;ы ключей зторой группы подключены к соовветствуюцим в,холам второго счет ц:а, у:равляющце вхол".че, 1 д рщ Отгтчиков ц нулевые вхолы триггеров у;раз- ЕЦИЯ ПО 1 К 1, ючены к первому управляющему входу устройства, второй упразляощиц вход которого соединен с елцццч;ым входом первого триггег уира влевця, грети й уира зляюш.(й Вхо: - Со вторым управляющим аховом .:срзого счетчика.Изд, М 1673И Государственного комитетапо делам изобретений иМосква, Ж, Раушская Тира овета ткрь: ф лл Министроии4/5