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

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

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

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

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

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

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

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

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

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

Исследование узлов и систем автоматического регулирования
Объектом исследования данного курсового проекта является системы автоматического регулирования, их виды, элементарные звенья и их математические модели с те ...

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

Моделирование элементов и систем управления
Управляемый объект состоит их четырех типовых динамических звеньев, соединенных между собой в определенной последовательности с образованием двух замкнутых контуров (рису ...