Функциональные схемы систем тестового и функционального диагноза.
Рассмотрим теперь более детально, функциональные схемы систем тестового и функционального диагнозов.
Будем считать, что алгоритм диагноза, реализуемый в той или иной системе диагноза, задан и содержит множество элементарных проверок.
Функциональная схема системы тестового диагноза показана на рис. 2.1. По командам блока управления (БУ), хранящего алгоритм диагноза, источник воздействий (ИВ) вырабатывает воздействия элементарных проверок и в соответствии с алгоритмом диагноза вопределенной последовательности подает их через устройство связи (УС) на объект диагноза (ОД), а также, возможно, на физическую модель (ФМ) объекта. В общем случае устройство связи (УС) может коммутировать каналы связи по сигналам блока управления.
Если, например, система (рис.3) решает задачу проверки исправности объекта, то реализация физической модели сводится к представлению функции
(2.6)
для всех . Для этого случая на рис.3 рядом с выходом физической модели указано множество сигналов .
При поиске неисправностей объекта возможны разные варианты организации процесса тестового диагноза. Если до реализации процесса неизвестно, исправен объект или неисправен, то в физической модели должны быть представлены как зависимость (2.6), так и зависимости:
(2.7)
для всех и всех , т.е. множество выходных сигналов физической модели образуют множества и .
БУ |
ИВ |
ФМ |
ИууУ |
БРР |
ус УС |
од ОД |
СД |
Результаты д БРР УС оза |
Рис.3. Функциональная схема системы тестового диагноза
Часто процесс тестового диагноза организуют в два этапа: сначала реализуют алгоритм проверки исправности объекта и только в случае получения результата проверки «объект неисправен» переходят к реализации алгоритма поиска неисправностей. При наличии предварительной информации о том, что объект неисправен, для решения задачи поиска неисправностей достаточно, чтобы физическая модель реализовала только зависимости (2.7), т.е. выдавала множество сигналов .
Таким образом, физическая модель объекта выдает информацию о возможных технических состояниях объекта в виде возможных результатов , элементарных проверок из множества П.Эта информация поступает в блок расшифровки результатов (БРР).
Ответами объекта диагноза на воздействия являются фактические результаты элементарных проверок . Эти результаты через устройство связи (УС) поступают на измерительное устройство (ИУ) и затем с выхода последнего (в некоторой, возможно, преобразованной форме) - на вход блока расшифровки результатов. Показанная на рисунке 3 пунктиром обратная связь между блоком расшифровки результатов (БРР) и блоком управления (БУ)выполняется тогда, когда реализуемый в системе алгоритм диагноза представляет собой условную последовательность элементарных проверок. В этом случае очередная элементарная проверка из множества Пназначается в зависимости от фактических результатов предшествующих ей элементарных проверок.
В блоке расшифровки результатов производится сопоставление возможных и и фактических результатов элементарных проверок, назначаются очередные элементарные проверки и формируются результаты диагноза.
Функциональная схема системы функционального диагноза показана на рис.4.
БУ |
ФМ |
ИУ |
БРР |
УС |
ОД |
уi |
yj |
Основные входы |
Основные выходы |
Результаты диагноза |
СД |
Рис.4. Функциональная схема системы функционального диагноза
С объекта снимаются, во-первых, сигналы управления (на рис.4 они обозначены символом yi) средствами диагноза и, во-вторых, сигналы ответов объекта на воздействия . Сигналы yi - нужны тогда, когда имеется необходимость управления физической моделью (ФМ) и блоком управления (БУ) в зависимости от режима работы объекта. Блок управления по сигналам yi, а также, возможно, по сигналам обратной связи от блока расшифровки результатов (БРР) осуществляет коммутацию каналов в устройстве связи (УС). Если на систему функционального диагноза возложены также функции защиты объекта, то (БРР) выдает команды на управление объектом.
Как и в системах тестового диагноза, блок расшифровки результатов (БРР) производит сопоставление фактических результатов элементарных проверок с возможными результатами и ,выдаваемыми физической моделью. Когда система решает задачу проверки правильности функционирования объекта, достаточно, чтобы физическая модель хранила и выдавала только множество результатов. При поиске неисправностей необходимо знание также результатов .
Примером систем функционального диагноза являются широко распространенные системы централизованного контроля, в которых о техническом состоянии объекта судят по результатам сравнения фактических значений параметров объекта с их верхними и нижними допустимыми значениями. В этом случае физической моделью объекта диагноза является аппаратура хранения и выдачи указанных допустимых значений контролируемых параметров.
В заключение отметим, что здесь были рассмотрены в определенном смысле общие условия проведения процессов диагноза. Не всегда в практике требуется или возможно проведение диагноза с глубиной до каждой одной неисправности объекта (например, часто нет необходимости различать неисправности одной и той же сменной компоненты объекта). Иногда полезно обеспечить возможность формировать результаты тестового диагноза по ходу процесса и тем самым прекращать его, не дожидаясь реализации всех элементарных проверок из множества П.
В системах функционального диагноза не всегда можно конструктивно четко отделить аппаратуру, принадлежащую объекту диагноза, от аппаратуры средств диагноза. Более того, встроенные средства функционального диагноза могут использоваться для целей тестового диагноза, а структура функционирующего объекта диагноза может отличаться от его структуры при тестовом диагнозе.
Представленные на рисунках 3 и 4 функциональные схемы систем диагноза могут претерпеть те или иные изменения в зависимости от того, какими являются эти системы - автоматическими, автоматизированными или ручными, какие применяются в них средства диагноза - универсальные (управляемые по сменной программе) или специализированные, программные или аппаратурные и т.п.
Таблица функций неисправностей.
Совокупность функций (2.3) и (2.4) можно представить в табличной форме.
Обозначим множество технических состояний объекта символом E. Пусть обозначает его исправное состояние, а - его i - неисправное состояние. Каждому i-му неисправному состоянию соответствует неисправность из множества S, и наоборот.
Построим прямоугольную таблицу, в строках которой поставим элементарные проверки из множества П, а в столбцах – технические состояния e из множества Е, или что тоже , функции , , реализуемые объектом, находящимся в исправном или i-неисправном состоянии. Значение индекса i=0 относится к столбцу исправного состояния e. На пресечении столбцов и строк таблицы проставим результат элементарной проверки объекта, находящегося в техническом состоянии . Множество всех результатов , ; обозначим символом R. Очевидно, . Построенную таблицу будем называть таблицей функций неисправностей объекта диагноза.
R | Е | |||||
е0 | … | … | ||||
П | ||||||
… | ||||||
… | ||||||
Непосредственное использование данной таблицы часто бывает затрудненно, по причине высокой размерности таблицы. Однако как универсальная математическая модель объекта диагноза она очень наглядна и удобна для процедур построения и реализации алгоритмов диагноза.
Можно заметить, что задание таблицы эквивалентно заданию системы функций (2.3) и (2.4). Столбец задает поведение исправного объекта, т.е. функцию (2.3), а остальные ее столбцы – поведения неисправного объекта, т.е. функцию (2.4).
Для определенности примем, что множество П обладает свойством обнаружения неисправностей из множества S, т.е. для любой неисправности найдется хотя бы одна элементарная проверка , - такая, что , а также свойством различения всех неисправностей из множества S, т.е. для каждой пары неисправностей , , , найдется хотя бы одна элементарная проверка , такая, что
Как всякая математическая модель объекта диагноза таблица функций неисправностей нужна для построения алгоритмов диагноза и для построения физической модели объекта.
Изложим основные операции процесса построения алгоритма диагноза по таблице функций неисправностей.
Задание на построение алгоритма диагноза должно содержать сведения о требуемой глубине диагноза. Требуемую глубину диагноза можно задавать через фиксированное разбиение множестваЕ на непересекающихся подмножеств , где ν=1,2, …, λ .
Тогда проверке исправности, работоспособности или правильности функционирования соответствует минимальная глубина диагноза, при которой λ=2., причем E1={ } и E2={ }, i=1,2, ,…, |S|. При поиске неисправности с максимальной глубиной диагноза (т.е. с точностью до каждого одного технического состояния) λ=|S|+1; E1={ }; Eν={ }, i=1,2,…,|S|; ν=i+1. Промежуточные значения глубины диагноза характеризуются условием 2<λ<|S|+1.
Способ разбиения множестваЕ технических состояний объекта на подмножества является достаточно универсальным. Но он неудобен тогда, когда отсутствует соответствие такого разбиения разбиению объекта на конструктивные составные части. Значительно удобнее требуемую глубину диагноза задавать через разбиение множества конструктивных компонент объекта на непересекающиеся подмножества. Например, широко известно требование проведения диагноза с глубиной до сменного блока. Этот случай соответствует рассмотрению одиночных неисправностей объекта. Поэтому получаем λ=N+1, E1={e0}, Eν=El. Где Еl– подмножество технических состояний неисправностей каждого отдельного блока; N – количество сменных блоков, если в качестве последних принять неисправности каждого сменного блока. Иначе обстоит дело тогда, когда нельзя исключить возможность существования неисправности в нескольких блоках. В этом случае получаем 2N-1 подмножеств технических состояний, т.е. (с учетом исправного состояния е) λ=2N.
Основу любого алгоритма диагноза составляет совокупность (множество) Пвходящих в него элементарных проверок. Для того чтобы обеспечить требуемую глубину диагноза, эта совокупность должна различать каждую пару технических состояний, принадлежащих разным подмножествам Еν и Еμ , хотя может не различать любую пару технических состояний, принадлежащих одному и тому же подмножеству Еν. Первое условие означает, что для каждой пары технических состояний , , принадлежащих разным подмножествам Еν и Еμ, среди элементарных проверок совокупности П найдется хотя бы одна элементарная проверка , результаты и которой различны, т.е. . Совокупность П элементарных проверок алгоритма диагноза будем называть полной, если она обеспечивает проведение диагноза либо с заданной глубиной, либо с глубиной обеспечиваемой множеством П всех допустимых элементарных проверок. Совокупность П называется не избыточной, если удаление из нее одной элементарной проверки ведет к уменьшению глубины диагноза.
Построение по таблице функций неисправностей всех полных не избыточных совокупностей элементарных проверок П можно осуществить, выполнив 2 операции.
1. Просмотром всех возможных неупорядоченных пар столбцов таблицы выделить пары технических состояний, принадлежащих разным подмножествам Еν и Еμ, и для каждой такой пары просмотром (перебором) всех строк таблицы определить подмножества элементарных проверок результаты и которых для технических состояний , , различны.
2. Перебором всех подмножеств , полученных в результате выполнения операции 1, найти все такие совокупности П элементарных проверок, чтобы в каждой из них для каждого подмножества нашлась хотя бы одна элементарная проверка , принадлежащая этому подмножеству .
Остановимся теперь на применении таблицы функций неисправностей при построении физической модели объекта в СД. Определение совокупности элементарных проверок, входящих в алгоритм диагноза, соответствует выделению определенной совокупности строк таблицы функций неисправности. Подтаблицу, образованную совокупностью строк, будем называть П-таблицей функций неисправностей. Нетрудно видеть, что П-таблица является заданием функций (2.6), (2.7), определяющих физическую модель объекта в средствах диагноза. При представлении физической модели объекта П-таблицей процесс расшифровки фактических результатов элементарных проверок можно представить следующим образом. Каждая проверка выделяет строку П-таблицы, а ее фактический результат делит множество столбцов таблицы на два подмножества. Те столбцы , i=1,2,…|S|, для которых , вычеркиваются из таблицы. Оставшиеся столбцы, для которых , представляют подмножество возможных технических состояний объекта. Завершению процесса диагноза соответствует момент, когда в таблице останется единственный не вычеркнутый столбец. Вычеркивание столбца означает, что объект диагноза неисправен.
Чем меньше число строк таблицы, тем проще процесс диагноза.
Сокращение размерности результатов элементарных проверок дает следующий прием. В каждой строке таблицы все результаты элементарной проверки, , удовлетворяющие условию , i=1,2,…|S|, принимаются равными 1, остальные результаты этой проверки, для которых имеет место неравенство , принимаются равными 0, независимо от того, различны они или одинаковы. При этом результат любой элементарной проверки может трактоваться только как положительный или как отрицательный . Упрощенную таблицу будем называть двоичной математической моделью объекта диагноза. Заметим, что в этой модели столбец , соответствующий исправному состоянию объекта, содержит только положительные результаты элементарных проверок.
Эффективных путей сокращения размеров таблицы нет. Она остается громоздкой и требует больших объемов вычислений. В этом состоит основная причина поиска и разработки различных более экономных способов представления и обработки информации. Платой является отказ от получения точных решений.