Файл: Уманский А.И. Обнаружение неисправностей в сложных электротехнических системах учебное пособие.pdf

Скачать файл (4,18Мб)

Заказать решение

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 04.04.2024

Просмотров: 43

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

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

2.9. Способ априорного признака

Одним из факторов, влияющих на эффективность процесса поиска отказавших элементов, является порядок (очередность) выполнения отдельных проверок. Способ ацриорного признака оз начает, что при определении очередной проверки на любом шаге процесса локализации неисправностей используется один и тот же какой-либо априорный признак. При изложении сущности этого способа воспользуемся следующей моделью (рис.2 .9 .1 ).

- N

Рис.2.9.1

Пусть диагностируемая система состоит из ы элементов, сое диненных между собой каким-либо способом в соответствии со структурной схемой. Каждый элемент характеризуется априорной вероятностью отказа ££• и временем потребным для его проверки

t- . Необходимо определить очередность поэлементных проверок

системы из	условия минимального значения	Г .
В ряде	работ L2.3.4] показано, что средняя продолжитель

ность процесса локализации одной неисправности будет минималь ной при следующей последовательности проверок элементов:

I . При условии fc,= t 2=...= <:£=...= £„ и	.
элементы системы необходимо проверять в последовательности,
отвечающей неравенству
(9.1)

I - 1

		6	8
2. При условии	t	* t	И
последовательность	проверок должна отвечать неравенству
	Я j-1 у		(9.2)
	h	- i	ч

Решение вышеприведенной задачи позволяет обосновать воз можность практической реализации способа априорного признака, сущность которого заключается в том, что очередной элемент подлежащий проверке, определяется на основании количественного значения определенного признака проверки (проверяемого элемен та ). Характерной особенностью такого признака является,црежде всего, его общность, т .е . он должен быть присущ всем провер кам, составляющим данный процесс локализации неисправностей.

В качестве таких общих признаков, от которых зависит эффектив ность процесса локализации неисправностей, могут быть приняты:

-надежность проверяемых элементов;

-время (продолжительность) проверок;

-стоимость проверок.

Иногда в качестве таких признаков могут использоваться

некоторые относительные величины.			Например,		следующие:
-	"время -	вероятность" d -	=	’
-	стоимость - вероятность		^	, где	-	стоимость
проверки i- ro		элемента системы.		1
В заключение отметим, что программа проверок,						лежащая в
основе	процессов, которые реализуют рассмотренный способ ло
кализации неисправностей, является жесткой,					т .е .	она устанав
ливается заранее и в ходе самого			процесса не изменяется.

2.10. Способ условной программы

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

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

По своему характеру эти программы являются гибкими. Сущность способа условной программы рассмотрим на следующем

примере.

Пусть диагностируемая система, структурная схема которой позволяет выполнить Т различных проверок, может находиться в п неисправных состояниях. Каждая из указанных проверок может иметь только два исхода: положительный (I) или отрицательный

(0 ;. Зависимость исхода проверок от состояния системы представленз в виде таблицы неисправностей.

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


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

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

Зная результат первой проверки, в дальнейших действиях можно ограничиться только одним из указанных подмножеств со стояний системы. Это эквивалентно исключению из дальнейшего рассмотрения той части диагностируемой системы, которая оказа лась исправной. Следующим шагом процесса локализации неисправно стей будет выбор второй проверки, которая, в свою очередь,раз делит одно из полученных подмножеств на два. Аналогичным обра зом процесс поиска отказавши элементов продолжается, пока не будет установлено действительное состояние диагностируемой системы.

Из вышеизложенного примера нетрудно видеть, что на каждом шаге процесса локализации неисправностей имеет место анализ результата предыдущей проверки, который используется для опре деления подмножества, из которого' должна быть выбрана очеред ная проверка.

Условная программа процесса локализации неисправностей мо жет быть представлена в виде схемы (графа).

Типовой узел такой схемы изображен на рис.2.10Л .

Проверка тс^-	, которая является элементом подмножества
( я Л .с тс делит подмножество			состояний		fs;V-9 s на два непу-
1</Jt	r - i l	г	1«	т,	I d J ь
стых подмножества	15^j •	и \|s^	.	Каждому из этих подмножеств