Вход

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

Рекомендуемая категория для самостоятельной подготовки:
Курсовая работа*
Код 172742
Дата создания 2013
Страниц 66
Источников 1
Мы сможем обработать ваш заказ (!) 29 марта в 12:00 [мск]
Файлы будут доступны для скачивания только после обработки заказа.
1 820руб.
КУПИТЬ

Содержание

Содержание
Введение
1. Цели и задачи технической диагностики
2 Диагностирование систем
2.1 Диагностирование устройства по его функциональной схеме
2.1.1 Проверяющий тест.
2.1.2 Диагностический тест
2.2 Диагностирование релейно–контакных схем
2.3. Метод цепей и сечений
3.1. Диагностирование комбинационной логической схемы
Заключение
Список литературы

Фрагмент работы для ознакомления

Таким образом φ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.

2

Список литературы [ всего 1]

Список литературы
1. Дмитриенко И.Е., Дьяков Д.В., Сапожников В.В. Измерение и диагностирование в системах железнодорожной автоматики, телемеханики и связи. М: Транспорт, 1994.
Очень похожие работы
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
bmt: 0.00705
© Рефератбанк, 2002 - 2024