Метод цепей и сечений

Для хранения ТФН из-за ее большого размера требуется большой объем памяти, что снижает размерность решаемых задач. В связи с этим для различных объектов диагноза разработаны специальные модели и методы, которые не имеют универсального характера, но с учетом особенностей объекта позволяют более просто решать задачи построения тестов. Для релейно-контактных схем при построении проверяющих тестов применяется метод цепей и сечений.

Под цепью понимает набор состояний контактов, которые обеспечивают наличие цепи проводимости между полюсами схемы.

Под сечением понимает набор состояний контактов, которые обеспечивают разрыв всех цепей схемы.

Перечисление всех цепей и сечений однозначно задает схему. Под цепью, урезанной на каком то контакте, понимают набор состояний контактов, соответствующей данной цепи, из которого исключен этот контакт. Аналогично определяется сечение, урезанное на каком-то определенном контакте.

В алгоритм вычисления проверяющей функции какого-то контакта для неисправности типа «разрыв» выписываются все цепи, содержащие этот контакт, и все сечения, содержащие этот контакт, определяются все сечения, урезанные на этом контакте. Каждую выписанную цепь рассматривают в сочетании с каждым урезанным сечением. Для них определяют входные наборы, на которых они одновременно существуют. Проверяющую функцию находят как объединение всех полученных наборов.

Алгоритм вычисления проверяющей функции для короткого замыкания аналогичен алгоритму вычисления проверяющей функции для неисправности типа «разрыв», только термин «цепь» необходимо заменить на термин «сечение».

Рассматривая схему (в соответствии с рисунком 2.1.2) видим, что она имеет три цепи:

,

а также содержит три сечения,

Все остальные сечения содержат противоречия, например, и поэтому их из рассмотрения исключаем.

Определим проверяющую функцию для контакта :

) Контакт входит в цепи и сечения . Сечения, урезанные на контакте , равны .

.1) Цепь существует при подаче входных переменных a1=0, b1=1, а сечение - при b2=0, т.е. цепь и сечение одновременно существовать не могут.

.2) Цепь существует при подаче входных переменных a1=0, b1=1, а сечение - при =1, т.е. цепь и сечение одновременно существуют на наборе .

.3) Цепь существует при подаче входных переменных a1=0, =1, а сечение - при b2=0, т.е. цепь и сечение одновременно существуют на наборе .

.4) Цепь существует при подаче входных переменных a1=0, c1=1, а сечение - при =1, т.е. цепь и сечение одновременно существуют на наборе .

) Контакт входит в цепи и сечения .

Интересное из раздела

История появления полупроводниковых интегральных схем
сентября 1958 года сотрудник фирмы Texas Instruments (TI) Джек Килби продемонстрировал руководству три странных прибора - склеенные пчелиным воском на стеклянно ...

Обзор современных систем спутниковой навигации
спутниковая навигационная глобальное позиционирование На сегодняшний день в мире существует несколько навигационных систем, использующих искусственные спутни ...

Линейная антенная решетка
Антенны СВЧ широко применяют в различных областях радиоэлектроники - связи, телевидении, радиолокации, радиоуправлении, а также в системах инструмент ...