
книги из ГПНТБ / Евреинов Э.В. Цифровые автоматы с настраиваемой структурой (однородные среды)
.pdfсоединении. Отображение |
графов в |
виде |
структурной |
|||
схемы в ОС дает новые возможности для |
решения |
раз |
||||
личных |
задач |
цифрового |
моделирования, |
распознавания |
||
образов |
и др. |
Б л а г о д а р я |
возможности |
построения |
кана |
лов связи, соответствующих дугам графа между верши нами, и передачи сигналов по этим к а н а л а м в ряде слу чаев можно реализовать эффективные алгоритмы реше ния сложных задач . Одним из проявлений гибкости является программное изменение структуры ОС до ре шения пли во время решения задачи .
Программное изменение структуры помимо возможно сти расширения области применения ОС, например д л я создания самоорганизующихся систем, позволяет т а к ж е влиять па технологию производства ОС . В частности, при создании ОС может допускаться существенный процент
появления |
негодных элементов, |
которые затем |
исключа |
||||
ются из структуры |
путем |
обхода неисправных |
элементов |
||||
с помощью |
программной |
настройки. |
|
|
|||
3-2. П Р О И З В О Д И Т Е Л Ь Н О С Т Ь О Д Н О Р О Д Н Ы Х С Р Е Д |
|
||||||
Д л я обычных |
устройств |
существуют ограничения по |
|||||
быстродействию в |
связи |
с |
конечной |
скоростью распро |
|||
странения |
сигналов в к а н а л а х |
связи |
между элементами, |
||||
которая не |
может |
превышать |
скорость света. Д л я одно |
родных сред благодаря возможности параллельного вы полнения операций ограничения по быстродействию свя заны лишь с квантовым барьером.
Современные вычислительные машины в значитель ной мере приблизились к теоретическому пределу бы стродействия д л я машин с последовательным выполнени ем операций. Одним из в а ж н ы х достоинств ОС является возможность существенного повышения производитель ности по сравнению с обычными автоматами, поскольку теоретический предел повышения быстродействия нахо дится д а л е к о и не препятствует резкому увеличению про изводительности за счет параллельного выполнения опе раций.
В обычных устройствах основным средством повыше
ния производительности является увеличение |
тактовой |
частоты элементов. П р а в д а , существует т а к ж е |
возмож |
ность увеличения производительности за счет использова ния более эффективных алгоритмов, основанных на ис пользовании больших объемов памяти. Будем предпола-
60
гать, что при рассмотрении производительности имеется возможность использования сколь угодно больших объе
мов памяти. На производительность влияют |
т а к ж е |
ско |
|||
рость ввода и вывода данных, |
надежность |
устройства, |
|||
удобство |
эксплуатации и т. д. |
|
|
|
|
При рассмотрении производительности ОС и сравне |
|||||
нии ее с |
производительностью |
обычных |
устройств |
огра |
|
ничимся |
двумя ф а к т о р а м и , влияющими |
на |
производи |
тельность: тактовой частотой элементов и объемом па мяти. Что ж е касается остальных параметров, их доля в оценке производительности значительно меньше по сравнению с 'выделенными параметрами . В этих усло виях производительность обычного универсального про граммного автомата Vy.n.a определяется тактовой часто той элементов v-y.
|
|
|
Vy.„.a = aiva, |
|
|
||
где а\ — коэффициент |
пропорциональности. |
|
|||||
|
Производительность |
автомата |
V0.c, |
реализованного |
|||
в |
ОС, пропорциональна тактовой |
частоте |
|
элементов У Э |
|||
и |
числу параллельных |
ветвей Я |
или числу |
элементов N |
|||
в |
автомате, |
обеспечивающем |
распараллеливание вычис |
||||
лений: |
|
|
|
|
|
|
|
|
|
Ко.с = а2 £>э # = Cl'lVvN, |
|
|
|||
где а2 и а'о — коэффициенты |
пропорциональности. |
||||||
|
Использование в обоих |
типах |
автоматов элементов |
||||
с. однаковой |
тактовой |
частотой |
о т р а ж а е т современное |
состояние 'физико-технологической базы, когда отсутст вуют быстродействующие элементы, применение которых приблизило-бы к световому барьеру.
Из сравнения произволительностей видно, что при использовании существующих элементов и достигнутом уровне микроминиатюризации можно создавать ОС с производительностью, значительно превышающей про изводительность обычных устройств.
В том ж е случае, когда будут р а з р а б о т а н ы элементы с тактовой частотой и такими их размерами, что можно создавать обычные универсальные машины с производи тельностью, близкой к предельной дл я последовательных машин, в ОС можно получить эту производительность или
д а ж е существенно |
превысить |
ее, применяя |
элементы |
|
с меньшей |
тактовой |
частотой, |
но используя |
большее их |
число. Ка к |
известно, |
снижение |
тактовой частоты позво |
ляет увеличить габарит ОС при одновременном соблюде-
61
нии ограничении |
по скорости распространения |
сигналов |
|
в к а н а л а х связи |
м е ж д у элементами . |
|
|
В приведенных формулах производительности |
не от |
||
р а ж а е т с я одна в а ж н а я особенность ОС. Если |
в |
универ |
сальных программных автоматах набор операций зада
ется постоянным, |
то в ОС этот набор может меняться |
в зависимости от |
решаемой задачи . Это означает, что |
универсальный программный автомат для эффективного
решения |
любой |
задачи требует |
увеличения |
быстродейст |
||||
вия |
реализации |
операций, характерных |
для |
данной за |
||||
дачи, |
с |
помощью универсального набора . В ОС таких |
||||||
потерь |
быстродействия не происходит, поскольку д л я |
|||||||
к а ж д о й |
задачи задается свой набор операций и пет не |
|||||||
обходимости в ы р а ж а т ь |
к а ж д у ю операцию |
с |
помощью |
|||||
раз и навсегда |
заданного универсального набора . |
|||||||
В а ж н о й особенностью |
ОС, |
которая |
т а к ж е |
не отра |
||||
ж е н а |
в |
приведенной формуле |
оценки |
производительно |
сти, является возможность представления решаемой за дачи структурной схемой, а не в виде программы, запи
санной на универсальном |
алгоритмическом |
языке, как |
это делается в обычных |
универсальных |
программных |
автоматах . П р и реализации структурной схемы в ОС информация от операции к операции передается непос редственно, без помощи оперативной памяти. Это позво
ляет |
не тратить время |
на команду |
обращения |
к памя |
ти, а |
т а к ж е время на |
выполнение |
ее. Таким |
образом, |
в ОС |
имеется возможность достичь принципиально сколь |
|||
угодно большой производительности |
и в отличие от уни |
|||
версальных программных автоматов |
за счет структурно |
го моделирования избежать потерь на непроизводитель ное выполнение операций универсального набора и
обращения к памяти |
при реализации операций, |
харак |
терных д л я решения |
данной задачи . |
|
3-3. Н А Д Е Ж Н О С Т Ь И Ж И В У Ч Е С Т Ь О Д Н О Р О Д Н Ы Х С Р Е Д |
|
|
Одним из в а ж н ы х |
требований, предъявляемых |
к уст |
ройствам, является требование надежности. Особенно воз растают требования к надежности устройств при перехо
де к |
микроэлектронным |
схемам. Это |
объясняется |
тем, |
|||
что |
с появлением такой |
перспективной |
физико-техноло |
||||
гической базы, как микроэлектроника, появилась |
воз |
||||||
можность |
создавать |
сложные системы с большим числом |
|||||
элементов, |
а т а к ж е |
устройства хотя |
и с небольшим |
чис |
|||
лом |
элементов, но без возможности |
доступа к ним в |
слу- |
62
чае выхода элементов из строя, например устройства управления космическими аппаратами . Создание слож ных микроэлектронных систем с высокой плотностью упаковки элементов фактически исключает возможность ремонта, что в свою очередь предъявляет высокие тре бования к надежности элементов.
Следует отметить, что в самой микроэлектронике за ложены предпосылки для резкого повышения надежно
сти. М а л ы е размеры схем облегчают условия |
для защи |
ты от случайных воздействий. Меньшее число |
соединений |
разнородных материалов позволяет надеяться на умень шение количества выходов схем из строя за счет соеди нений. Более тесные связи между компонентами в схе мах при термическом, механическом, химическом и элект рическом взаимодействиях приводят к идентичным изме нениям характеристик различных компонент. Меньшее число операций в технологическом процессе изготовле ния микросхем, небольшое разнообразие материалов обу словливают более однородную продукцию. Все это приво дит к меньшей стоимости микросхем, а следовательно, к возможности использования резервирования для повы шения надежности.
Несмотря на принципиальные возможности повыше ния надежности микросхем, обеспечение надежности микроэлектронных схем является сложной комплексной
проблемой, которая |
включает |
в себя целый ряд |
проблем |
[Л. 3-5]. Одной из |
в а ж н е й ш и х |
проблем является |
обеспе |
чение внутрисхемных и внешнесхемных соединений. При
построении устройств необходимо соединять |
компоненты |
|||
в микросхему, а затем соединять |
микросхемы |
в узлы, |
||
блоки и |
устройства. М а л ы е размеры контактов, |
необхо |
||
димость |
применения многослойного |
монтажа |
исключают |
возможность использования обычных способов соедине
ний. Сложность решения проблемы соединений |
.связана |
|
с противоречивостью требований уменьшения |
размеров |
|
соединений и увеличения их надежности. |
Проведенные |
|
оценки отказов для 'контактов внутри схемы |
показывают, |
что интенсивность отказа для одного внутреннего кон такта составляет А , = 5 - 1 0 - 1 0 отказ/ч. Е щ е большее влия ние на надежность микросхемы оказывают внешние кон такты при соединении микросхем в аппаратуре . В а ж н о е значение для обеспечения надежности микросхем имеет
разработка физической теории надежности, |
включающей |
в себя исследование физических причин, |
вызывающих |
63
отказы, создание физических моделей отказов, разработ ку методов ускоренных испытаний и прогнозирования
отказов. |
В а ж н о с т ь |
ускоренных |
испытаний |
микросхем |
|
обусловлена тем, |
что |
обычные методы требуют больших |
|||
з а т р а т |
времени |
и |
средств на |
проведение |
-испытаний. |
Проведенные испытания полупроводниковых интеграль
ных схем показывают, что интенсивность отказов |
схемы |
||
из 15—30 и более компонентов соответствует |
надежности |
||
лучших |
образцов обычных кремниевых транзисторов и |
||
составляет А, = 0,7 • 10~7 отказ/ч. |
|
|
|
Д л я |
обеспечения надежности в а ж н у ю |
роль |
играет |
тщательный контроль качества микросхем. Поскольку микросхемы, а тем более большие интегральные схемы являются довольно с л о ж н ы м и устройствами, необходимо применение автоматизированных методов измерения па раметров микроэлектронных схем с целью проверки год ности микросхем, диагностики неисправностей и прогно
зирования эксплуатационной надежности |
схем. |
Р а с |
смотрим теперь вопросы обеспечения надежности |
в свя |
|
зи с особенностями построения ОС. |
|
|
В обычных устройствах при использовании |
микро |
|
схем, особенно при переходе к большим' |
интегральным |
|
схемам, приходится сталкиваться с двумя |
трудностями: |
необходимостью увеличения внешних выводов и увели
чения числа слоев |
печатного |
монтажа как внутри схемы, |
|||
так и при |
соединении |
схем |
в |
устройство. К а к у ж е ука |
|
зывалось |
ранее, |
это |
приводит |
к снижению надежности |
и, следовательно, требуется применять специальные ме ры по обеспечению заданной надежности.
В однородных средах число внешних выводов может быть сделано небольшим и независимым от сложности устройства. При реализации непрерывного технологиче ского процесса изготовления ОС нет необходимости в из готовлении отдельных интегральных схем со своими вы
водами. |
К а к |
-известно, |
в ОС |
элементы соединяются |
со |
||||
своими |
соседями по |
простой |
схеме, не требующей |
внеш |
|||||
них |
выводов |
д л я соединений. |
Н е менее в а ж н ы м |
свойст |
|||||
вом |
О С |
являются |
простота |
и регулярность структуры |
|||||
элементов, а |
т а к ж е |
схемы их |
соединений друг с другом. |
||||||
Это позволяет применять д л я соединений |
элементов |
ОС |
|||||||
однослойный |
монтаж, |
а внутри элемента |
ограничиться |
двухслойным м о н т а ж о м . Высокая |
однородность струк |
|
туры элементов ОС и связей |
между ними позволяет так |
|
ж е обеспечить существенно |
более |
высокую надежность |
64
б л а г о д а р я возможности существенного упрощения техно логического процесса.
Не менее важным обстоятельством, влияющим на увеличение надежности, является режим работы ОС. При работе ОС предполагается, что все элементы работают с тактовой частотой, не превышающей оптимально до пустимой по выделению мощности рассеяния. Благода ря возможности параллельной организации вычислитель ного процесса в ОС нет необходимости прибегать к при менению сверхбыстродействующих элементов. З а д а н н а я производительность достигается путем параллельной ра
боты многих элементов. При этом для ОС |
характерно |
||
равномерное рассеяние |
мощности |
по всей |
структуре. |
Б л а г о д а р я равномерности |
нагрузки |
каждого |
из элемен |
тов ОС создаются благоприятные условия для обеспече ния минимального и равномерно распределенного уров ня помех по всей структуре. Таким образом, с конструк
тивной стороны |
ОС |
предъявляет |
минимум |
требований |
|||
к обеспечению |
высокой надежности |
элементов |
и |
ОС |
|||
в целом по •сравнению с обычными |
методами |
реализации |
|||||
устройств. В обычных устройствах |
из-за фиксированной |
||||||
структуры связей с выходом из строя |
хотя |
бы |
одного |
||||
элемента становится |
неисправным |
все |
устройство |
в |
це |
лом. В этом случае приходится прибегать либо к ремон ту, что из-за малых размеров элементов и высокой плотности их упаковки затруднено, либо выбрасывать сменный блок или все устройство. В ОС выход из строя отдельных элементов не приводит к выходу из строя
устройства в целом, т а к как путем обхода |
неисправного |
||
элемента с помощью посылаемых извне |
сигналов |
удает |
|
ся восстановить работу устройства, не |
прибегая |
к его |
|
физическому ремонту. Таким образом, |
в |
ОС благодаря |
программной настройке можно реализовать режим «жи вучести», когда выход из строя элементов приводит не к выходу из строя ОС в целом, а лишь к постепенному снижению ее возможностей. Кроме того, программная настройка позволяет существенно повысить надежность схем в ОС за счет реализации схем резервирования.
Переход к созданию ОС позволяет существенно упростить проблему контроля и диагностики неисправ ных элементов. В обычных устройствах по мере роста сложности растет и сложность тестов для контроля и обнаружения неисправных элементов. В ОС имеется принципиальная возможность уйти от необходимости по-
5—235 |
65 |
иска неисправных элементов в сложных схемах путем перехода к групповой проверке элементов ОС по едино му тесту. Период функционирования ОС можно разде
лить |
на два |
э т а п а : 1) этап |
контроля |
и настройки;2) ра |
|||||
бочий |
этап, |
в |
котором |
в |
ОС |
реализуется |
требуемая |
||
структурная |
схема. |
|
|
|
|
|
|
||
На первом этапе в ОС настраивается структура конт |
|||||||||
рольной схемы, |
которая |
может |
быть |
довольно |
простой |
||||
благодаря |
однотипности |
|
элементов |
и связей |
между |
||||
ними. Алгоритм |
контроля |
т а к ж е |
может быть |
достаточно |
простым из-за относительной простоты элемента ОС .
Однородность |
структуры |
ОС |
позволяет |
применять |
одни |
|
и тот же алгоритм сразу |
к |
большому |
числу элементов, |
|||
что |
приводит |
к заметному |
сокращению |
времени контро |
||
л я |
и поиска |
неисправных |
элементов. Координаты |
неис |
правных элементов могут быть зафиксированы во внеш ней памяти настройки и использованы для уточнения структурной схемы автомата, реализуемой в ОС. Па
втором этапе |
после |
настройки ОС |
с учетом изменений |
||
в |
структурной |
схеме |
(в связи с обходом и исключением |
||
из |
схемы неисправных элементов) осуществляется |
функ |
|||
ционирование |
схемы. |
В разработке |
проблемы |
поиска |
неисправностей в ОС можно выделить две в а ж н ы е за дачи: поиск неисправного элемента и поиск в сочетании с анализом причин неисправностей.
Процедура поиска и анализа причин неисправностей в схеме элемента может быть разбита на два этапа. На
первом |
этапе определяется |
возможный |
электрический |
||||
тип отказа (короткое замыкание, обрыв, |
нестабильность |
||||||
характеристик, уход за пределы допуска) |
и |
по |
возмож |
||||
ности указывается компонент или группа |
компонентов, |
||||||
дефект в которых мог послужить причиной |
отказа. |
Н а |
|||||
этом этапе элемент рассматривается как |
функциональ |
||||||
ная схема. Д л я |
диагностики |
неисправностей |
можно |
при |
|||
менять |
методы |
построения |
контролирующих |
тестов. |
В случае необходимости д л я различения логически не |
|
различимых неисправностей можно ввести дополнитель |
|
ные признаки, в качестве которых используются |
значе |
ния сопротивления, токов и напряжений в цепях, доступ |
|
ных контролю. Задачей 'второго этапа диагностики |
|
элемента ОС является определение точного места |
и фи |
зической |
причины |
дефекта, приведшего |
к отказу. |
Н а |
этом этапе элемент рассматривается как |
конструктивная |
|||
единица. |
Наиболее |
предпочтительными |
методами |
д л я |
6?
точной локализации места и причин неисправностей являются неконтактные методы: метод визуального контроля, метод индикации инфракрасного излучения, метод с использованием электронного сканирующего микроскопа. При отыскании оптимальных процедур ди агностических испытании представляет интерес разра
ботка |
математической |
модели |
диагностируемого |
объек |
||||||
та. С помощью такой |
модели |
|
становится возможным |
|||||||
исследование влияния |
ката |
|
|
|
1 |
|||||
строфических отказов на ста |
6Z |
*1 |
6Z |
|||||||
тическую и динамическую ха |
|
|
\ |
|||||||
рактеристики модели, а так |
|
|
||||||||
ж е |
влияние на них |
разброса |
|
a |
|
-о-г |
||||
параметров схемы при одно |
|
0 |
|
|||||||
|
|
|
||||||||
временном наличии |
большо |
|
0 |
|
|
|||||
го числа |
неисправностей. |
|
|
|
|
|||||
|
Решению задачи |
отыска |
|
|
|
|
||||
ния |
неисправного |
элемента |
|
|
|
|
||||
ОС |
|
посвящен |
ряд |
работ |
|
|
|
|
||
[Л. |
3-6—3-8]. Представляет |
|
17 |
17 |
||||||
интерес |
разработка |
методов |
|
|||||||
построения контрольных те |
Рис. 3-1. Схема АНС. |
|
||||||||
стов ОС, которые одновре |
|
|||||||||
|
|
|
|
|||||||
менно |
являются |
и |
диагно |
|
|
|
|
|||
стическими [Л. 3-6]. Контрольные |
и диагностические те |
|||||||||
сты |
ОС |
из-за |
однородности |
структуры |
имеют |
своей |
основой контрольный тест одного элемента. Элемент ОС можно рассматривать как совокупность четырех элемен
тарных каналов, взаимодействующих |
между |
собой внут |
ри элемента. З а д а ч у контроля в ОС |
удобно |
представить |
как проверку каждого из каналов элемента на совокуп
ности тест-наборов с одновременной подачей |
некоторых |
|||||||
тест-наборов на все элементы, |
расположенные по /-на |
|||||||
правлению относительно |
проверяемого |
элемента |
(т. е. |
|||||
в той ж е /-й строке или |
в |
том |
ж е |
Z-м |
столбце); |
такие |
||
проверки д о л ж н ы быть осуществлены |
по |
всем |
выходам |
|||||
элемента. З а д а ч а диагностики |
неисправностей в ОС за |
|||||||
ключается в определении |
двух |
координат |
неисправного |
|||||
элемента и сводится к задаче |
контроля |
данного элемен |
||||||
та на двух пересекающихся |
направлениях. |
|
|
|
||||
Д л я тест-наборов, подаваемых |
на два |
соседних |
эле |
мента а и b по /-му направлению, вводятся понятия со вместимого, сопряженного и самосопряженного тестнаборов. Пусть, например, на элемент ОС а (рис. 3-1)
5* |
«7 |
подается тест-набор |
/ = ( о ч , 02, |
а 3 ) а |
= 001. |
Пусть |
па |
|
ropii' |
|||||
зонталы-юм |
выходе |
исправного элемента |
а |
появляется |
||||||||
сигнал |
ва |
=0. Тогда |
на элемент |
b |
может |
быть |
подан |
|||||
|
вых |
^ |
|
|
|
|
|
|
|
|
|
|
только такой тест-набор, который является |
|
совмести |
||||||||||
мым, т. е. имеющий значение сигнала |
о й з = 0 |
на |
горизонт |
|||||||||
тальном |
входе. |
|
|
|
|
|
|
|
|
|
|
|
Если |
совместимые |
тест-наборы |
совпадают, |
как, |
на |
|||||||
пример, |
(3j, |
а,, а 3 ) а = |
(з,, |
а2 , а 3 ) с = 0 0 1 |
на |
элементах |
а и |
|||||
с, то такие наборы называются самосовместимыми. |
|
Сов |
||||||||||
местимый тест-набор, подаваемый |
на |
элемент |
Ь, |
назы |
||||||||
в а е т с я |
сопряженным |
по |
i-му |
направлению с |
тест-набо |
ром, подаваемым на элемент а, если изменение значения
сигнала |
а" |
|
(на |
а" |
) на |
i-м |
выходе |
элемента а |
из-за |
|||||||||
неисправности |
последнего приводит |
к |
изменению |
сигнала |
||||||||||||||
а'' |
|
(на |
а |
) |
на |
i-м выходе элемента |
Ь. В частном |
слу- |
||||||||||
чае сопряженные тест-наборы |
могут |
|
совпадать; |
такие |
||||||||||||||
тест-наборы будут называться |
самосопряженными. |
|
||||||||||||||||
|
Время |
проверки |
элементов |
ОС |
на |
|
минимальном |
те |
||||||||||
сте |
зависит |
от |
числа |
тест-наборов, |
используемых |
для |
||||||||||||
контроля |
элемента. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Элемент ОС можно настроить так, что один и тот же |
|||||||||||||||||
выходной |
сигнал |
(г В Ы х; будет появляться |
не |
па |
одном, |
|||||||||||||
а на |
нескольких |
выходах, |
соответствующих |
различным |
||||||||||||||
к а н а л а м , |
т. е. можно |
обеспечить Ствых ? = авых |
j - |
|
|
|||||||||||||
|
Пусть |
на |
элемент |
а, |
который |
настроен |
так, |
что |
||||||||||
аГых4= |
3оых^' п |
° Д а н |
тест-набор U. Если |
к |
соседнему |
с ним |
||||||||||||
(по |
направлению |
/) |
элементу |
с |
применен |
тест-набор |
||||||||||||
такой, |
что изменение |
значения |
сигнала |
с" |
=<з" |
|
.—ос |
|||||||||||
|
|
|
j-ro канала элемента |
с) |
|
|
|
выХг |
выхз |
3 |
||||||||
(на |
входе |
приводит |
к |
изменению |
||||||||||||||
значения |
выходного |
сигнала |
о" |
J |
элемента |
с, |
то |
тест - |
||||||||||
набор |
tj является |
сопря/кенным |
с |
U на |
пересекающихся |
|||||||||||||
направлениях |
(i |
и |
/ ) . |
|
|
|
|
|
t% |
|
|
|
|
|
|
|||
|
Чтобы |
контрольный |
тест-набор |
был |
бы |
одновре |
менно и диагностическим, необходимо отыскать тест-на бор t, сопряженный с данными на каком-либо направле нии, пересекающемся с i-м направлением . П р и этом одновременно с подачей данного тест-набора ti на эле менты, связанные i-м к а н а л о м , выбранный сопряженный тест-набор t подается на соседние элементы. Наиболее эффективными контрольно-диагностическими тест-набо-
68
рами являются тест-иаборы, самосопряженные на двух пересекающихся к а н а л а х (направлениях); на одном та ком тест-наборе могут быть одновременно (за один такт) проверены соответствующие каналы всех элементов ОС, что позволяет обнаружить не только факт неисправности,
по и координаты неисправного элемента. |
Общее |
число |
контрольно-диагностических тестов Ми.я, |
а т а к ж е |
время |
проверки и диагностики неисправностей |
(число |
тактов |
N) |
связаны |
с числом элементов |
(элементарных |
каналов) |
|||||||||||
следующим |
соотношением: |
|
|
|
|
|
|
|
|
|
|||||
|
( M K |
. s ^ i V ) < / . { ^ - | + (/' + |
/ " + |
/ " ' - / - ) ( m I + |
|
|
|
||||||||
|
|
|
|
|
+ /пг + . . . + / п р ) , |
|
|
|
|
|
|
||||
где |
/ — число |
тест-наборов в минимальном |
тесте |
для |
|||||||||||
|
|
элементарного |
канала, |
самосопряженных |
|
на |
|||||||||
|
|
на двух |
пересекающихся |
направлениях; |
|
|
|||||||||
|
{р/2} — число пар пересекающихся |
канало в |
(направ |
||||||||||||
|
|
лений), |
округленное |
до |
ближайшего |
большего |
|||||||||
|
|
|
целого |
числа; |
|
|
|
|
|
|
|
|
|
|
|
|
/ ' — ч и с л о |
тест-наборов, |
самосопряженных |
(/' = |
1) |
||||||||||
|
|
|
только по i-му |
к а н а л у ; |
|
|
|
|
|
|
|
|
|||
|
/" — число |
|
тест-наборов, |
|
взаимносопряженных |
||||||||||
|
|
|
(г = 2) |
по г'-му каналу; |
|
|
|
|
|
|
|
|
|||
|
/"' — число |
тест-наборов |
из |
|
минимального |
теста, |
|||||||||
|
|
|
сопряженных |
по и'-му |
каналу |
в периоды |
|
из |
|||||||
|
|
|
г^2 тест-наборов; |
|
|
|
|
|
|
|
|
|
|||
>П\, 1П2, |
• • •, nii, • • •, Шр — число |
групп |
связанных |
элемен |
|||||||||||
|
|
|
тарных каналов 1-го, |
2 - г о , . . . , |
г' - го, ... , |
р-го |
|||||||||
|
|
|
направлений, определяемое числом функци |
||||||||||||
|
|
|
ональных элементов в структуре ОС. |
|
|
|
|||||||||
|
Зависимость |
времени |
проверки |
|
структуры ОС |
от чис |
|||||||||
л а |
элементов можно исключить, если |
одновременно |
про |
||||||||||||
верять |
на |
сопряженных |
(по t'-му |
каналу) |
тест-наборах |
||||||||||
не |
одну |
группу |
(строку, |
столбец) |
элементов, |
связанных |
|||||||||
к а н а л а м и по i'-му |
направлению, а |
все |
такие |
группы, |
и |
лишь после фиксации неисправности на каком - либо на
ружном выходе г'-го к а н а л а подавать на элементы |
конт |
рольно-диагностический тест д л я обнаружения |
второй |
координаты неисправного элемента. Число контрольных
тестов М'ц |
и время |
проверки |
(число |
тактов |
N') |
в этом |
случае определяются |
выражением |
|
|
|
||
(М'к |
=N')<1 |
j - f - J + (/' |
+ / " + |
/ ' " . г + |
г') |
р, |
69