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

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

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

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

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

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

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

Рассматривая схему (в соответствии с рисунком 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, т.е. цепь и сечение одновременно существуют на наборе .

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

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

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

Источник питания охранного устройства
В настоящее время существует множество систем, предназначенных для осуществления охраны и безопасности объектов. С развитием науки и техники у ...

Автомат для кормления аквариумных рыб
Автомат для кормления аквариумных рыб - устройство предназначенное для автоматического сброса корма для рыб в аквариум. Цель курсового проекта - разработка конструкции и ...