Построение проверяющих и диагностических тестов

Таким образом φ0b3 =

Для контакта «b3» определяем проверочную функцию φ1b3:

Контакт «b3» входит в сечение, а также в цепь. Цепь урезанная на контакте «b3»: .

Цепь существует при подачи c =0. Сечение существует при подачи входных переменных: a =0, b = 0, c = 0.

Т.е. цепь G3/b3 и сечение H1 одновременно существует на наборе .

Таким образом φ1b3 =

Для контакта «b4» определяем проверочную функцию φ0b4:

Контакт «b4» входит в цепь и, а также в сечение. Сечение урезанные на контакте «b» :

Цепь G4 существует при подачи a = 0, b=0, c = 1 а сечение — a = 0, c = 1. Т. е. цепь G4 и сечение H2/b4 одновременно существует на наборе .

Таким образом φ0b4 =

Для контакта «b4» определяем проверочную функцию φ1b4:

Контакт «b4» входит в сечение, а также в цепь. Цепь урезанная на контакте «b4»: .

Цепь существует при подачи a = 0, c = 1. Сечение существует при подачи входных переменных: a =0, b = 1, c = 0.

Т.е. цепь G4/b34 и сечение H2 одновременно существует на наборе .

Таким образом φ1b4 =

Для контакта «c1» определяем проверочную функцию φ0c1:

Контакт «c1» входит в цепь, а также в сечение. Сечение урезанные на контакте «с1»: .

Цепь G1 существует при подачи входной переменное a = 1, с = 0 а сечение — a = 1, b = 0. Т. е. цепь G1 и сечение H3/c1 одновременно существует на наборе .

Таким образом φ0c1 =

Для контакта «c1» определяем проверочную функцию φ1c1:

Контакт «c1» входит в сечение, а также в цепь. Цепь урезанная контакте «с1»: .

Цепь существует при подачи входных переменных a =1. Сечение существует при подачи входных переменных: a = 1, b = 0, с=0.

Т.е. цепь G2/c1 и сечение H1 одновременно существует на наборе .

Таким образом φ1c1 =

Для контакта «c3» определяем проверочную функцию φ0c3:

Контакт «c3» входит в цепь, а также в сечение ,. Сечение урезанные на контакте «с3»: ,.

Цепь G3 существует при подачи входной переменное b=1, с = 0 а сечение — a = 0, b=1. Т. е. цепь G3 и сечение H2/c3 одновременно существует на наборе .

Таким образом φ0c3 =

Для контакта «c3» определяем проверочную функцию φ1c3:

Контакт «c3» входит в сечение, а также в цепь. Цепь урезанная контакте «с3»: .

Цепь существует при подачи входных переменных b =1. Сечение существует при подачи входных переменных: a = 0, b = 1, с=1.

Т.е. цепь G3/c3 и сечение H2 одновременно существует на наборе .

Таким образом φ1c3 =

Для контакта «c4» определяем проверочную функцию φ0c4:

Контакт «c4» входит в цепь, а также в сечение ,. Сечение урезанные на контакте «с4»: ,.

Цепь G4 существует при подачи входной переменное a=0, b=0, с = 1 а сечение — a = 0, b=0. Т. е. цепь G4 и сечение H1/c4 одновременно существует на наборе .

Таким образом φ0c4 =

Для контакта «c4» определяем проверочную функцию φ1c4:

Контакт «c4» входит в сечение, а также в цепь. Цепь урезанная контакте «с4»: .

Цепь существует при подачи входных переменных a=0, b =0. Сечение существует при подачи входных переменных: a = 0, b = 0, с=0.

Т.е. цепь G4/c4 и сечение H1 одновременно существует на наборе .

Таким образом φ1c4 =

Таким образом получим следующие проверяющие функции:

φ0а1 =

φ1а1 =

φ0а2 =

φ1а2 =

φ0а4 =

φ1а4 =

φ0b2 =

φ1b2 =

φ0b3 =

φ1b3 =

φ0b4 =

φ1b4 =

φ0c1 =

φ1c1 =

φ0c3 =

φ1c3 =

φ0c4 =

φ1c4 =

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

Tп = φ0a* φ1a * φ0b* φ1b *φ0c* φ1c =

= * * * * * * * * * ** * * * * ** = * * * * * * *

Таким образом, проверяющий тест представляется множеством входных наборов:

Tп = {, ,, , }

3.

1. Диагностирование комбинационной логической схемы

Логический элемент ЛЭ представляет собой устройство (рис. 3.1), имеющее n входов и один выход, на котором реализуется некоторая функция алгебры логики (ФАЛ) F (х). Неисправность во внутренней структуре ЛЭ приводит к тому, что на его выходе вместо функции F (х) реализуется функция неисправности f (x). Тест проверки ЛЭ должен определить, какую из функций [F (x) или f (x)] реализует элемент. Число и вид функций неисправности зависят от внутренней структуры ЛЭ. Анализ неисправностей и построение теста ЛЭ выполняют при помощи ТФН.

Рисунок 3.1 Логический элемент Существуют константные неисправности. Такие неисправности можно инвертировать как фиксацию в константу (нуль или единица) сигнала на входе или выходе ЛЭ. Например, обрыв входа элемента ИЛИ-НЕ соответствует фиксации на нем нулевого сигнала, обрыв перехода Э — К транзистора — фиксации на выходе элемента единичного сигнала и т. д. В общем случае элемент с n входами может иметь 2n+2 константные неисправности, так как каждые вход и выход могут быть зафиксированы как в нуль, так и в единицу. На схемах константные неисправности обозначают в виде кружков, расположенных около соответствующих входов и выходов (рис. 3.2). Верхние кружки соответствуют неисправностям «константа 1» (К > 1), а нижние — неисправностям «константа 0» (К >0). Как правило, ЛЭ имеет только один вид неисправности на входе.

Рисунок 3.2 — Обозначение константных неисправностей

Для ЛЭ можно выделить классы эквивалентных неисправностей, которые показаны на рис. 3.3 в виде графов, нанесенных на изображение элементов. Эквивалентные неисправности соединены прямыми линиями. Рассмотрим, например, элемент ИЛИ. В класс эквивалентных неисправностей входят неисправности 1, 3 и 5, соответствующие неисправностям вида К> 1 входов и выхода элемента. Очевидно, что если на каком-либо входе зафиксировать сигнал единицу, то такой же сигнал фиксируется на выходе. При этом по выходу элемента невозможно определить, где имеет место неисправность — на каком входе или выходе. Для этих неисправностей равны функции неисправности (f1=f3=f5) и проверяющие функции. При построении Тп и Тд от класса эквивалентных неисправностей рассматривается только один ее представитель.

Рисунок 3.3 — Классы эквивалентных неисправностей для логических элементов Среди константных неисправностей выделяются импликантные неисправности. Неисправность Ni, находится в отношении импликации к неисправности Нj, (обозначается: Ni > Нj), если на тех входных наборах, на которых равна единице проверяющая функция неисправности Ni φi, равна также единице и проверяющая функция неисправности Njφj (φi > φj). Отношение импликации указывается на изображениях элементов в виде стрелок, направляющих от Ni к Nj .

Комбинационная схема содержит логические элементы и связи (соединения) между ними. В ней возможны следующие дефекты: неисправности ЛЭ, обрывы соединений, замыкания между соединениями (в том числе с шинами питания), перепутывание связей (неправильный монтаж).

Для построения комбинационной схемы задана функция:

F = (1,2,4,6,7) a, b, c

F = {001,010, 100, 110,111}

Составим таблицу истинности

Таблица 3.

1. — Таблицу истинности

№ a b c 0 0 0 0 1 0 0 1 2 0 1 0 3 0 1 1 4 1 0 0 5 1 0 1 6 1 1 0 7 1 1 1

Перейдем к карте Карно:

Получим следующую минимизированную функцию:

(3.1)

Синтезируем ее в полном базисе:

Выберем для проверки полный базис. При этом необходимо перерисовать наносят неисправности компонент схемы. Под компонентами понимают входы и выходы элементов и входы схемы. Если выход элемента или вход схемы соединен со входом только одного элемента, то это соединение рассматривают как одну компоненту. Если в схеме имеется точка разветвления, то в качестве компонент выступают как точки разветвления, так и все ветви разветвления. Для каждой компоненты указывают две константные неисправности К> 1 и К>0 .

Для каждого логического элемента наносятся графы эквивалентных неисправностей и указывают отношения импликации между неисправностями, в результате чего устанавливают отношения между неисправностями для всей схемы.

Нумеруются неисправности, причем среди эквивалентных неисправностей нумеруют только одну, ближе всех расположенную к выходу (для нее наиболее просто вычислить проверяющую функцию); все неисправности, к которым направлены дуги, не нумеруют если хотя бы к одной из эквивалентных неисправностей направлена дуга, то ни одну из них не нумеруют. В результате данной операции сокращают список неисправностей, которые необходимо рассматривать при построении теста. В данной схеме пронумеровано 12 неисправностей, в то время как исходное множество содержит 18 неисправности.

Функция i -ой неисправности рассчитывается следующим образом: например для первой неисправности на выходе элемента НЕ фиксируется 1, этот элемент реализует инвертирование входа а, следовательно для получения функции f1 в формулу 3.

1.надо подставить 1.

Составим ТФН (табл. 3.2), в которую включают все пронумерованные неисправности. Таблица 3.

2. ТНФ

Входной набор F f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16 f17 f18 f19 f20 f21 № abc 0 000 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 001 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 1 2 010 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 3 011 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 0 4 100 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 5 101 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 6 110 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 111 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1

Составим проверяющие функции по таблице:

φ1 = 4 v 7

φ2= 4

φ3= 7

φ4= 0 v 3

φ5 = 3

φ6 = 5

φ7 = 0 v 1 v 3

φ8 = 4 v 5 v 7

φ9= 1 v 2

φ10= 2

φ11= 1

φ12 =3

φ13 = 3

φ14 = 0

φ15 = 3

φ16= 5

φ17= 0 v1 v5

φ18= 2 v 3 v 7

φ19 = 0v 2 v 4

φ20 = 1 v 3 v 5

φ21 = 0

Тогда проверяющий тест имеет следующий вид:

Тп= (4 v 7)* 4* 7* (0 v 3)* 3* 5* (0 v 1 v 3)* (4 v 5 v 7)* (1 v 2)* 2* 1*3* 3* 0* 3* 5* (0 v1 v5)*(2 v 3 v 7)* (0v 2 v 4)* (1 v 3 v 5)* 0 = 0*1*2*3*4* 7

Тогда проверяющий тест имеет следующий вид:

Тп1 = 0*1*2*3*4* 7

При расчете диагностического теста, не учитывают отношения импликации между неисправностями. На схему наносят только графы эквивалентных неисправностей, которые нумеруют в соответствии с указанным для них правилом. В результате число неисправностей, включаемых в ТФН, увеличивается. В нашем случае в ТФН дополнительно включаются обе неисправности выхода элемента ИЛИ2. По диагностическому тесту строят словарь неисправностей.

Таблица 3.

3. ТНФ Входной набор F f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16 f17 f18 f19 f20 f21 f22 f23 № abc 0 000 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 001 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 2 010 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 3 011 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 4 100 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 5 101 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 6 110 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 7 111 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 По формуле (2.6) определим различающую функцию:

φ1,2= 7

φ1,3= 4

φ1,4= 0 v3v4v7

φ1,5= 3v4v7

φ1,6=4v5v7

φ1,7= 0v1v4v7

φ1,8=5

φ1,9=1v2v4v7

φ1,10=2v4v7

φ1,11=1v4v7

φ1,12=3v4v7

φ1,13=3v4v7

φ1,14=0v4v7

φ1,15=3v4v7

φ1,16=4v5v7

φ1,17=0v1v4v5v7

φ1,18=2v3v4

φ1,19=1v3v4v5v7

φ1,20=0v4v7

φ1,21=0v2v7

φ1,22=0v3v4v5v7

φ1,23=1v2v6

φ 2,3=4v7

φ2,4= 0v3v4

φ2,5= 3v4

φ2,6=4v5

φ2,7= 0v1v3v4

φ2,8=5v7

φ2,9=1v2v4

φ2,10=2v4

φ2,11=1v4

φ2,12=3v4

φ2,13=3v4

φ2,14=0v4

φ2,15=3v4

φ2,16=4v5

φ2,17=0v1v4v5

φ2,18=2v3v4v7

φ2,19=1v3v4v5

φ2,20=0v4

φ2,21=0v2

φ2,22=0v3v4v5

φ2,23=1v2v6v7

φ3,4= 0v3v4

φ3,5= 3v7

φ3,6=5v7

φ3,7= 0v1v3v7

φ3,8=4v5

φ3,9=1v2v7

φ3,10=2v7

φ3,11=2v7

φ3,12=3v7

φ3,13=3v7

φ3,14=0v7

φ3,15=3v7

φ3,16=5v7

φ3,17=0v1v5v7

φ3,18=2v3

φ3,19=0v2v4v7

φ3,20=1v3v5v7

φ3,21=0v7

φ3,22=0v3v5v7

φ3,23=1v2v4v6

φ4,5= 3v5

φ4,6=0v1

φ4,7= 3v4v5v7

φ4,8=1v2v3

φ4,9=2v3

φ4,10=1v3

φ4,11=;

φ4,12=0

φ4,13=0v3

φ4,14=;

φ4,15=3v5

φ4,16=0v1v3v5

φ4,17=2v7

φ4,18=0v2v3v4

φ4,19=1v5

φ4,20=1v3

φ4,21=;

φ4,22=0v5

φ4,23=1v2v3v4v6v7

φ5,6=3v5

φ5,7= 0v1

φ5,8=3v4v5v7

φ5,9=1v2v3

φ5,10=2v3

φ5,11=1v3

φ5,12=;

φ5,13=;

φ5,14=0v3

φ5,15=0v5

φ5,16=1v5

φ5,17=0v2v3v7

φ5,18=2v4

φ5,19=0v1v3v5

φ5,20=;

φ5,21=0v3

φ5,22=3v5

φ5,23=0v1v2v4v6v7

φ6,7= 0v1v3v5

φ6,8=4v7

φ6,9=1v2v5

φ6,10=2v5

φ6,11=1v5

φ6,12=3v5

φ6,13=3v5

φ6,14=0v5

φ6,15=3v5

φ6,16=;

φ6,17=0v7

φ6,18=2v3v5v7

φ6,19=0v2v4v5

φ6,20=1v3

φ6,21=0v5

φ6,22=0v3

φ6,23=1v2v4v5v6v7

φ7,8=0v1v3v4v5v7

φ7,9=0v2v3

φ7,10=0v1v2v3

φ7,11=0v3

φ7,12=0v1

φ7,13=0v1

φ7,14=1v3

φ7,15=0v1

φ7,16=0v1v3v5

φ7,17=3v5

φ7,18=0v1v2v7

φ7,19=1v2v3v4

φ7,20=0v5

φ7,21=1v3

φ7,22=1v5

φ7,23=0v2v3v4v6v7

φ8,9=1v2v4v5v7

φ8,10=2v4v5v7

φ8,11=1v4v5v7

φ8,12=3v4v5v7

φ8,13=3v4v5v7

φ8,14=0v4v5v7

φ8,15=3v4v5v7

φ8,16=4v7

φ8,17=0v1v4v7

φ8,18=2v3v4v5

φ8,19=0v2v5v7

φ8,20=1v3v4v7

φ8,21=0v3v4v5v7

φ8,22=0v3v4v7

φ8,23=1v2v5v6

φ9,10=1

φ9,11=2

φ9,12=1v2v3

φ9,13=1v2v3

φ9,14=0v1v2

φ9,15=1v2v3

φ9,16=1v2v5

φ9,17=0v2v5

φ9,18=1v3v7

φ9,19=0v1v4

φ9,20=2v3v5

φ9,21=0v1v2

φ9,22=0v1v2v3v5

φ9,23=4v6v7

φ10,11=1v2

φ10,12=2v3

φ10,13=2v3

φ10,14=0v2

φ10,15=2v3

φ10,16=2v5

φ10,17=0v1v2v5

φ10,18=3v7

φ10,19=0v4

φ10,20=1v2v3v5

φ10,21=0v2

φ10,22=0v2v3v5

φ10,23=1v4v6v7

φ11,12=1v3

φ11,13=1v3

φ11,14=0v1

φ11,15=1v3

φ11,16=1v5

φ11,17=0v5

φ11,18=1v2v3v7

φ11,19=0v1v2v4

φ11,20=3v5

φ11,21=0v1

φ11,22=0v1v3v5

φ11,23=2v4v6v7

φ12,13=;

φ12,14=0v3

φ12,15=;

φ12,16=3v5

φ12,17=0v1v3v5

φ12,18=2v7

φ12,19=0v2v3v4

φ12,20=1v5

φ12,21=0v3

φ12,22=0v5

φ12,23=1v2v3v4v6v7

φ13,14=0v3

φ13,15=;

φ13,16=3v5

φ13,17=0v1v3v5

φ13,18=2v7

φ13,19=0v2v3v4

φ13,20=1v5

φ13,21=0v3

φ13,22=0v5

φ13,23=1v2v3v4v6v7

φ14,15=0v3

φ14,16=0v5

φ14,17=1v5

φ14,18=0v2v3v7

φ14,19=2v4

φ14,20=0v1v3v5

φ14,21=;

φ14,22=3v5

φ14,23=0v1v2v4v6v7

φ15,16=3v5

φ15,17=0v1v3v5

φ15,18=0v2v7

φ15,19=0v2v3v4

φ15,20=1v5

φ15,21=0v3

φ15,22=0v5

φ15,23=1v2v3v4v6v7

φ16,17=0v1

φ16,18=2v3v5v7

φ16,19=0v2v4v5

φ16,20=1v3

φ16,21=0v5

φ16,22=0v3

φ16,23=1v2v4v5v6v7

φ17,18=0v1v2v3v5v7

φ17,19=1v2v4v5

φ17,20=0v2v3

φ17,21=1v5

φ17,22=1v3

φ17,23=0v2v4v5v6v7

φ18,19=0v3v4v7

φ18,20=1v2v7

φ18,21=0v2v3v7

φ18,22=0v2v5v7

φ18,23=1v3v4v6

φ19,20=0v1v2v3v4v5

φ19,21=2v4

φ19,22=2v3v4v5

φ19,23=0v1v6v7

φ20,21=0v1v3v5

φ20,22=0v1

φ20,23=2v3v4v5v6v7

φ21,22=3v5

φ21,23=0v1v2v4v6v7

φ22,23=0v1v2v3v4v5v6v7

Составим диагностический те ст используя формулу (2.7) (при этом используется закон поглощения) Тогда проверяющий тест имеет следующий вид:

Тд= 7*4*(0 v3v4v7)*(3v4v7)*(4v5v7)*(0v1v4v7)*5*(1v2v4v7)*(2v4v7)*(1v4v7)*(3v4v7)*(3v4v7)*(0v4v7)*(3v4v7)*(4v5v7)*(0v1v4v5v7)*(2v3v4)*(1v3v4v5v7)*(0v4v7)*(0v2v7)*(0v3v4v5v7)*(1v2v6)*(4v7)*(0v3v4)*(3v4)*(4v5)*(0v1v3v4)*(5v7)*(1v2v4)*(2v4)*(1v4)*(3v4)*(3v4)*(0v4)*(3v4)*(4v5)*(0v1v4v5)*(2v3v4v7)*(1v3v4v5)*(0v4)*(0v2)*(0v3v4v5)*(1v2v6v7)*(0v3v4)*(3v7)*(5v7)*(0v1v3v7)*(4v5)*(1v2v7)*(2v7)*(2v7)*(3v7)*(3v7)*(0v7)*(3v7)*(5v7)*(0v1v5v7)*(2v3)*(0v2v4v7)*(1v3v5v7)*(0v7)*(0v3v5v7)*(1v2v4v6)*(3v5)*(0v1)*(3v4v5v7)*(1v2v3)*(2v3)*(1v3)*0*(0v3)*(3v5)*(0v1v3v5)*(2v7)*(0v2v3v4)*(1v5)*(1v3)*(0v5)*(1v2v3v4v6v7)*(3v5)*(0v1)*(3v4v5v7)*(1v2v3)*(2v3)*(1v3)*(0v3)*(0v5)*(1v5)*(0v2v3v7)*(2v4)*(0v1v3v5)*(0v3)*(3v5)*(0v1v2v4v6v7)*(0v1v3v5)*(4v7)*(1v2v5)*(2v5)*(1v5)*(3v5)*(3v5)*(0v5)*(3v5)*(0v7)*(2v3v5v7)*(0v2v4v5)*(1v3)*(0v5)*(0v3)*(1v2v4v5v6v7)*(0v1v3v4v5v7)*(0v2v3)*(0v1v2v3)*(0v3)*(0v1)*(0v1)*(1v3)*(0v1)*(0v1v3v5)*(3v5)*(0v1v2v7)*(1v2v3v4)*(0v5)*(1v3)*(1v5)*(0v2v3v4v6v7)*(1v2v4v5v7)*(2v4v5v7)*(1v4v5v7)*(3v4v5v7)*(3v4v5v7)*(0v4v5v7)*(3v4v5v7)*(4v7)*(0v1v4v7)*(2v3v4v5)*(0v2v5v7)*(1v3v4v7)*(0v3v4v5v7)*(0v3v4v7)*(1v2v5v6)*1*2*(1v2v3)*(1v2v3)*(0v1v2)*(1v2v3)*(1v2v5)*(0v2v5)*(1v3v7)*(0v1v4)*(2v3v5)*(0v1v2)*(0v1v2v3v5)*(4v6v7)*(1v2)*(2v3)*(2v3)*(0v2)*(2v3)*(2v5)*(0v1v2v5)*(3v7)*(0v4)*(1v2v3v5)*(0v2)*(0v2v3v5)*(1v4v6v7)*(1v3)*(1v3)*(0v1)*(1v3)*(1v5)*(0v5)*(1v2v3v7)*(0v1v2v4)*(3v5)*(0v1)*(0v1v3v5)*(2v4v6v7)*(0v3)*(3v5)*(0v1v3v5)*(2v7)*(0v2v3v4)*(1v5)*(0v3)*(0v5)*(1v2v3v4v6v7)*(0v3)*(3v5)*(0v1v3v5)*(2v7)*(0v2v3v4)*(1v5)*(0v3)*(0v5)*(1v2v3v4v6v7)*(0v3)*(0v5)*(1v5)*(0v2v3v7)*(2v4)*(0v1v3v5)*(3v5)*(0v1v2v4v6v7)*(3v5)*(0v2v7)*(0v2v3v4)*(1v5)*(0v3)*(0v5)*(1v2v3v4v6v7)*(0v1)*(2v3v5v7)*(0v2v4v5)*(1v3)*(0v5)*(0v3)*(1v2v4v5v6v7)*(0v1v2v3v5v7)*(1v2v4v5)*(0v2v3)*(1v5)*(1v3)*(0v2v4v5v6v7)*(0v3v4v7)*(1v2v7)*(0v2v3v7)*(0v2v5v7)*(1v3v4v6)*(0v1v2v3v4v5)*(2v4)*(2v3v4v5)*(0v1v6v7)*(0v1v3v5)*(0v1)*(2v3v4v5v6v7)*(3v5)*(0v1v2v4v6v7)*(0v1v2v3v4v5v6v7) = 0*1*2*4*5*7

Тп1= 0*1*2*4*5*7

Словарь неисправностей показан в табл. 3.4

Второй варрант нахождения диагностического теста Тд'=0*1*2*3*4* 7*0*1*2*4*5*7 =0*1*2**34*5*7

Словарь неисправностей показан в табл. 3.

5.

Таблица 3.

4.Словарь неисправностей Входной набор F f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16 f17 f18 f19 f20 f21 f22 f23 № abc 0 000 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 001 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 2 010 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 4 100 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 5 101 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 7 111 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0

Таблица3.

5. Словарь неисправностей Входной набор F f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16 f17 f18 f19 f20 f21 f22 f23 № abc 0 000 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 001 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 2 010 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 3 011 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 4 100 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 5 101 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 6 110 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 7 111 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0

Заключение

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

Также осуществлено диагностирование релейно-контакной схемы, заданной преподавателем. Рассматривалось два случая неисправности контактов — обрыв и к.з. Также как и раньше получен словарь неисправности, поиск по которому осуществляется следующим образом. На входы схемы последовательно подаются входные наборы, входящие в диагностический тест. Для каждого случая фиксируются значения выхода схемы (например, по состоянию реле F). Полученные результаты сравнивают с данными, приведенными в словаре неисправностей. Если значения совпадают, то схема исправна. В противном случае полученные значения состояния реле F указывают на класс эквивалентных неисправностей, внутри которого находится неисправность, имеющаяся в схеме.

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

1. Дмитриенко И. Е., Дьяков Д. В., Сапожников В. В. Измерение и диагностирование в системах железнодорожной автоматики, телемеханики и связи. М: Транспорт, 1994.