Диагностика отказов системы регулирования уровня в баке (стр. 5 из 18)
≠ 0. (2.16)Если это условие выполняется, i-ый отказ fi можно выявить в рассогласовании r(t). Это условие определяется как условие выявляемости отказа рассогласования r к отказу fi.
Строгое условие выявляемости отказов
Выполнение условия выявляемости отказов не является достаточным для выполнения выявления отказов. Поэтому, вводится строгое условие выявляемости:
≠ 0, (2.17)Если это условие выполняется, то i – ый отказ строго выявляем в рассогласовании r.
2.3.6. Изолируемость отказов
За успешным выявлением отказов следует процедура изоляции отказа, в результате которой отказ отделяется (изолируется) от других отказов. В то время как один сигнал рассогласования достаточен для выявления отказов, для изоляции отказов обычно требуется несколько сигналов рассогласований (или вектор рассогласований). Если отказ отличим от других отказов с использованием одной группы отказов (или вектора рассогласования), то можно сказать, что этот отказ изолируем с использованием этой группы рассогласований (или этого вектора рассогласований). Если вектор рассогласования может изолировать все отказы, то можно сказать что этот вектор рассогласований обладает требуемым свойством изолируемости.
2.3.6.1. Структурирование рассогласований
Одним из методов решения задачи изоляции отказов является проектирование группы рассогласований. Каждое рассогласование проектируется чувствительным к нескольким отказам, при этом оставшиеся рассогласования группы нечувствительны к оставшимся отказам. Построение группы рассогласований, которые должны быть чувствительны к отдельным отказам и нечувствительны к другим отказам известно как структурирование рассогласований.
Процедура проектирования включает в себя два этапа:
первый – определить чувствительные и нечувствительные отношения между рассогласованиями и отказами, соответствующими заданной задаче изоляции;
второй – спроектировать множество формирователей рассогласований в соответствии с принятыми чувствительными и нечувствительными взаимосвязями.
Преимуществом структурирования рассогласований является то, что диагностика упрощается. При этом диагностика заключается в том, чтобы определить какое рассогласование не равно нулю. Для этого отдельно для каждого рассогласования можно выполнить пороговый тест, создавая логическую таблицу решений. С помощью этой таблицы задача изоляции отказов может быть полностью решена.
Если все возможные отказы являются изолируемыми, то группа рассогласований может быть спроектирована в соответствии со следующими условиями чувствительности к отказам:
ri (t) = R(fi (t)); iÎ{1,2 … g}, (2.18)
где R( ) обозначает функциональное отношение. Это называется группой рассогласований Кларка по которой строится схема наблюдателей Кларка, предложенная Кларком (1978г.). Для принятия решения о возникновении определенного отказа может быть использована простая пороговая логика:
ri(t)> Ti => fi(t) ≠ 0, iÎ{1,2 … g}, (2.19)
где Ti (i=1,2 … g) – пороги. Эта структура изолируемых рассогласований очень проста, все отказы могут выявляться одновременно, однако для проектирования на практике эта схема сложна. Даже когда такая совокупность рассогласований может быть спроектирована, обычно при этом не остается свободы проектирования для выполнения других требований, например, устойчивости к ошибкам моделирования.
Наиболее часто используемая и лучшая схема при проектировании совокупности – схема в которой каждое рассогласование чувствительно ко всем отказам, за исключением одного:
, (2.20)Эта схема называется группой рассогласований Франка (Франк, 1987). Если все рассогласования группы рассогласований Франка формируются с использование блока наблюдателей (формирование рассогласований с использованием наблюдателей), то такая структура называется схемой наблюдателей Франка. Изоляция отказов так же может быть выполнена с использованием простого порогового тестирования в соответствии со следующей логикой:
(2.21)для i=1,2 … g.
В качестве простого примера рассмотрим изоляцию трех различных отказов {f1, f2, f3}. Проектирование группы рассогласований может быть выполнено двумя различными способами как изображено на рисунке 2.13. Отказы можно уникально изолировать так же двумя различными методами ((2.19) или (2.20)).
а) схема Кларка б) схема Франка
Рис. 2.13. Группа рассогласований, построенная по схемам Кларка и Франка
2.3.6.2. Фиксирование направления вектора рассогласования
Альтернативным путем выполнения изоляции отказов является проектирование направлений вектора рассогласования, который лежит в фиксированном и специальном для отказа направлении (или субпространстве) в пространстве рассогласований, в соответствии с определенным отказом. Если сделать:
r(t| fi(t)) = αi(t)li; iÎ{1,2 … g}, (2.22)
где постоянный вектор li – сигнатура направления i-го отказа в пространства рассогласований, а = αi – скаляр, который зависит от размера отказа и динамики. С фиксацией направления рассогласования, задача изоляции отказа заключается в определении того, в каком из известных направлений сигнатур отказа лежит вектор генерируемого рассогласования. Чтобы достоверно изолировать отказы, каждая сигнатура отказа должна быть уникально связана с отказом. На рисунке 2.14 изображен метод изоляции отказов с использованием вектора рассогласования в котором рассогласование связано с направлением сигнатуры отказа f2 и, следовательно, в системе наиболее вероятен отказ f2.
Рис. 2.14. Направленный вектор рассогласования для изоляции отказа
2.3.6.3. Изоляция отказов датчиков и исполнительных механизмов
Если нам необходимо выявить только отказы датчиков, то выход системы может быть задан так:
y(s) = Gu(s)u(s) + fs(s). (2.23)
Если мы хотим спроектировать сигнал рассогласования, чувствительный только к одной группе отказов fs1(s) и нечувствительным к другой группе отказов fs2(s), вышеприведенное уравнение может быть переписано так:
. (2.24)Тогда генератор рассогласования примет следующий вид:
r1(s) = Hu1(s) u(s)+ Hy1(s)y1(s). (2.25)
При подстановке y1(s) в это уравнение получим:
r1(s) = [Hu1(s) + Hy1(s)Gu(s)]u(s) + Hy1(s)fs1(s). (2.26)
Рассогласование будет чувствительно только к одной группе отказов fs1(s), когда матрицы передаточной функции генератора рассогласования будут удовлетворять следующим условиям:
(2.27)Это обычное требование для генератора рассогласования. Передаточная матрица Hy1(s) может быть выбрана свободно в соответствии со специальными требованиями. Единственное условие состоит в том, что Hy1(s) должна быть устойчива и реализуема. После выбора Hy1(s) можно определить Hu1(s) в соответствии с формулой Hu1(s)=- Hy1(s)Gu(s). Передаточная матрица Hy1(s) может быть выбрана свободно, поэтому изоляция отказов датчиков всегда возможна.
При возникновении в системе отказа исполнительного механизма, выход системы определяется так:
y(s) = Gu(s)(u(s) + fa(s)), (2.28)
Если мы хотим спроектировать сигнал рассогласования, чувствительный к одной группе отказов fa1(s) и нечувствительный к другой группе отказов fa2(s), то вышеприведенное уравнение будет иметь вид:
y(s) = Gu1(s)[u1(s) + fa1(s)]+ Gu2(s)[u2(s) + fa2(s)]. (2.29)
В этом случае генератор рассогласования:
r1(s) = Hu1(s) u1(s)+ Hy1(s)y(s). (2.30)
При подстановке y(s) в (4.30) получим:
r1(s) = [Hu1(s)+ Hy1(s) Gu1(s)] u1(s)+ Hy1(s) Gu1(s)fa1(s)+
+ H1(s)Gu2(s)[ u2(s)+ fa2(s)]. (2.31)
Чтобы сделать рассогласование чувствительным только к одной группе отказов fa1(s), необходимо выполнение следующих условий:
Hu1(s)= - Hy1(s) Gu1(s),
Hy1(s) Gu2(s)=0, (2.32)
Hy1(s) Gu1(s) ≠0.
Эти уравнения иллюстрируют, что для решения задачи изоляции отказов исполнительного механизма требуется дополнительное условие (Hy1(s) Gu2(s)=0). Устойчивая и реализуемая передаточная матрица Hy1(s), удовлетворяющая этим условиям не всегда существует. Поэтому, мы не обладаем полной свободой при выполнении требований в изоляции отказов исполнительного механизма. Следовательно, изоляция отказов исполнительного механизма не всегда возможна.
2.3.7 Техники формирования рассогласования
Центральной проблемой при диагностике отказов с использованием моделей является формирование сигналов рассогласования. Существует большое количество методов формирования рассогласования. Рассмотрим подробнее более распространенные. Большинство методов могут применяться как к непрерывным, так и к дискретным моделям, тем не менее некоторые методы могут применяться только к дискретным моделям.