47. Логическая модель непрерывной системы.

Применение логической модели для диагностирования непре­рывной системы относится к детерминированным методам. Система как объект диагностирования разбивается на некото­рое множество блоков. Эти блоки и связи между ними составля­ют структурную схему системы. На рис. 8.2 приведен пример структурной схемы, содержащей восемь блоков. Внешние вхо­ды системы обозначе­ны символами x_i. Вы­ходы блоков, которые являются и входами смежных блоков, а также внешние выхо­ды системы обозначе­ны символами z_j. Учитывая то, что обнаружение неисправностей в логических моде­лях происходит с точностью до блока структурной схемы, важ­ное значение имеет оптимальность разбиения системы на бло­ки. При этом следует учитывать удобство измерения выходных сигналов блоков (сигналов z_j), сменность блоков, конструктив­ные особенности и др.

Рисунок 8.2 – Структурная схема непрерывной системы

Входные и выходные сигналы блоков описываются одним или несколькими физическими параметрами (напряжение, ток, часто­та, фаза и др.). Каждый параметр может измеряться отдельно с це­лью контроля работы блока. Поэтому в структурной схеме произ­водится «расщепление» входов x_i и выходов z_j на несколько сигна­лов x_if и z_jk. В результате этого получают функциональную схему системы. В нашем примере (см. рис. 8.2) для простоты предполо­жим, что сигналы x₁ и z₂, характеризуются двумя параметрами, а остальные сигналы — одним параметром. Функциональная схема приведена на рис. 8.3.

Рис. 8.3. Функциональная схема непрерывной системы

Для построения ло­гической модели каж­дый блок Q_r функцио­нальной схемы, кото­рый имеет k_r выходов, заменяется k_r блоками, каждый из которых имеет один выход и су­щественные для данно­го выхода входы. Блок Q₁ на рис. 8.3 заменяется двумя блоками Q₁₁ и Q₁₂ (рис. 8.4). Если все блоки имеют по одно­му выходу, то в част­ном случае логическая модель будет совпа­дать с функциональной схемой.

Рис. 8.4. Логическая модель непрерывной системы

Логическая модель содержит всю необхо­димую информацию для диагностирования системы. Эта информация заключена в логических связях между бло­ками, отражающих влияние неисправностей одних блоков на работу других. Будем считать, что все входные и выходные параметры бло­ков доступны для измерений и известны области их допустимых зна­чений. Тогда переменные x_i и z_j являются двоичными переменными. Они равны 1, если значения соответствующих им параметров нахо­дятся в допустимых пределах, и равны 0 в противном случае.

В результате анализа логической модели строится таблица функций неисправностей. Стро­ки таблицы соответствуют элементарным тестовым проверкам π. При такой проверке на внешние входы системы подаются сигналы x_i, причем все они имеют допустимые значения, и производится измерение сигнала z_j на выходе одного из блоков. Таким образом, на логи­ческую модель подается единственное входное воздействие, у кото­рого все внешние сигналы равны 1. Число элементарных проверок не более числа блоков модели. В действительности, это число может быть меньше, если выходы не всех блоков доступны для измерения.

Графы табл. 8.5 соответствуют неисправностям системы. Рассмат­риваются только неисправности одного блока. Любые неисправнос­ти внутри одного блока Q_j проявляются на его выходе одинаково (отклонением сигнала z_j за допустимые пределы). Поэтому все та­кие неисправности рассматриваются как одна одиночная неисправ­ность. Графа е соответствует исправно­му состоянию системы (все блоки исправны).

Таблица 8.5

	e	e11	e12	e2	e3	e4	e5	e6	e7	e8
π11	1	0	1	1	1	1	1	1	1	1
π12	1	1	0	1	1	1	1	1	1	1
π2	1	1	1	0	1	1	1	1	1	1
π3	1	0	0	1	0	1	1	1	1	1
π4	1	0	0	0	1	0	1	1	0	0
π5	1	0	0	1	0	1	0	1	1	1
π6	1	0	0	1	0	1	0	0	1	1
π7	1	0	0	0	0	0	0	1	0	0
π8	1	0	0	0	0	0	0	1	0	0

При тестовой проверке вывод об исправности блока Q_j следует из результатов измерения сигнала z_j на его выходе. Выход z_j будет допустим только тогда, когда все входы блока Q_j допустимы и сам блок исправен. Следовательно, блок Q_j исправен, если при про­верке выход Q_j, допустим.

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

В рассматриваемом примере (см. табл. 8.5) существует три ми­нимальных множества контрольных точек {4, 6}, {6, 7} и {6, 8}. Конкретное множество выбирается исходя из удобства измерения соответствующих сигналов z_j.