а общее число неисправностей кратности k подсчитывается по формуле:
.
(3.7)
Например, для схемы (рис.
3.1) общее число неисправностей равно = 5660,
число одиночных неисправностей – 16, двойных – 112 и т.д.
Рассмотрим влияние неисправностей на работу контактных схем. Как известно [25], замыкающий контакт реле реализует логическую функцию «повторение», а размыкающий контакт – функцию «отрицание». Поэтому возникновение физических неисправностей типа «обрыв» или «короткое замыкание» можно интерпретировать как изменение логической функции, реализуемой контактом. А именно, неисправный контакт реализует функции «константа О» (при обрыве) и «константа 1» (при коротком замыкании). По этой причине указанные неисправности называют константными логическими неисправностями.
Их возникновение, в свою
очередь, приводит к тому, что функция алгебры логики (ФАЛ) , вычисляемая схемой с неисправностью
, отличается от ФАЛ F исправной схемы. Например, найдем
функции
для неисправностей
и
в схеме (рис. 3.1). Из формулы (3.1)
получаем
,
.
Нетрудно видеть, что и
. Это означает, что неисправность типа
«обрыв» уменьшает число двоичных наборов, на которых функция равна 1, а
неисправность типа «короткое замыкание», наоборот, увеличивает их число.
Из рассмотренного примера
виден смысл введения понятия константной логической неисправности. Она является
математической моделью физической неисправности. Моделирование заключается в
«проекции» неисправности на логическую формулу путем фиксации ее букв в 0 или
1. Это относится и к кратным неисправностям. Например, для неисправности
третьей кратности имеем:
. (3.8)
Неисправности типа ложное
включение или невключение реле и большинство обрывов соединительных проводов
также могут задаваться моделью константных неисправностей. Например, ложное
включение (невключение) реле а
в схеме рис. 3.1 описывается неисправностью кратности два
, а обрыв провода между
контактом
и полюсом 2 – неисправностью
.
Лишние провода, перепутывание проводов, а также некоторые обрывы являются «нелогическими» неисправностями в том смысле, что они не могут быть смоделированы фиксацией в 0 или 1 букв логической формулы. Это существенно осложняет способы их обнаружения и локализации.
3.3. Вычисление проверяющих функций
для неисправностей контактов
Сформулируем условия
обнаружения одиночной неисправности контакта. Чтобы обнаружить обрыв
некоторого контакта необходимо и достаточно
обеспечить выполнение двух условий: 1) создать хотя бы один путь проводимости
схемы, проходящий через контакт
; 2) создать хотя бы
одно урезанное сечение схемы, проходящее через контакт
(то
есть сечение, в котором исключено состояние контакта
).
Тогда при отсутствии неисправности схема будет замкнута, а при наличии
неисправности – разомкнута.
На рис. 3.6 показаны
условия обнаружения обрыва контакта в схеме рис. 3.1.
Рис.3.6. Условия обнаружения обрыва контакта
При подаче на вход схемы двоичного
набора abcdf = 01100 существует путь и урезанное сечение
. Набор 01100 является разрешенным (F = 1), а при наличии обрыва
становится запрещенным (F*
= 0). Такой набор называется тестовым относительно данной неисправности.
Все множество тестовых наборов образуют проверяющую функцию неисправности
.
Алгоритм 3.1.
(Вычисление проверяющей функции неисправности типа обрыв контакта ).
1. Выписывается дизъюнкция
всех конъюнкций ЭНФ (путей схемы) , содержащих букву
.
Для контакта в схеме рис. 3.1 имеем (см. формулу 3.3):
.
2. Выписывается дизъюнкция
всех урезанных конъюнкций ОЭНФ (сечений) ,
содержащих букву
. Для контакта
имеем (см. формулу 3.4):
.
3. Исключаются индексы букв ЭНФ и находится
проверяющая функция как произведение: =
×
.
Для неисправности имеем:
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.