«Синтез проверяющих и диагностических тестов для устройств железнодорожной автоматики, телемеханики и связи»

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

Так, например, для релейно-контактных схем при построении проверяющих тестов используют метод цепей и сечений.

Рисунок 5 – Релейно-контактная схема

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

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

Рассматриваемая схема (рис.5) имеет 3 цепи:

,

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

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

Для того чтобы проверить некоторый контакт параллельно-последовательной схемы (рис.5) на отсутствие неисправности типа «разрыв», необходимо обеспечить наличие какой-либо цепи, содержащей этот контакт, и обрыв всех других цепей, в которые не входит данный контакт. Тогда при отсутствии неисправности схема будет замкнута, а о наличии неисправности будет свидетельствовать разомкнутое состояние схемы (реле F выключено).

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

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

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

Проверим цепи на неисправности типа «разрыв»:






Проверим сечения на неисправности типа короткое замыкание:

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

Таким образом, проверочный тест для приведенной на рисунке 5 релейно-контактной схемы будет представлять множество входных наборов

Т_п={0,1,2,3,5,7} или Т_п={ , , , , , }