Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Идентификация и диагностика в информационно-управляющих системах ави..pdf
Скачиваний:
8
Добавлен:
15.11.2022
Размер:
7.29 Mб
Скачать

(САУ), необычайно расширился с внедрением бортовых цифровых вычис­ лительных машин (БЦВМ). В частности, стало возможно проводить на борту не только регистрацию и предотвращение аварийных ситуаций, но также и достаточно глубокий диагноз состояния двигательных и энерге­ тических установок. Подобная возможность, естественно, потребовала разработки как алгоритмов диагностики технического состояния различ­ ных элементов, диагностики процессов и режимов ГТД и КЭУ, так и прин­ ципов построения самой системы диагностики, которая должна войти сос­ тавной частью в общую информационно-управляющую систему (МУС) таких объектов, базирующуюся на достаточно мощных и надежных БЦВМ. Поэтому значительная часть книги посвящена изложению результатов исследований, проводившихся в этих направлениях.

В книгу включен также ряд вопросов, смежных, методически примы­ кающих к изложенным. В их число входят, например, оптимальные алго­ ритмы разгона ГТД, которые могут служить эталонными при диагностике реальных процессов разгона двигателей.

Не входя непосредственно в круг алгоритмов идентификации и диагнос­ тики объектов, подобные исследования расширяют круг вопросов, связан­ ных с созданием ИУС, использующих мощные БЦВМ.

Объектами идентификации- и диагностики в книге являются: во второй главе - современные авиационные двигателй, а именно одновальные турбо­ реактивные двигатели (ТРД) и двухвальные двухконтурные турбореактив­ ные двигатели с общей камерой смешения и форсажной камерой (ТРДДФ); в третьей и четвертой главах исследуются одно- и многоэлементные термо­ эмиссионные ядерные космические энергетические установки.

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

§ 1.2. ПОСТАНОВКА ЗАДАЧ ИДЕНТИФИКАЦИИ И ДИАГНОСТИКИ

Как известно [1.12], в задаче идентификации и в задаче диагностики мы имеем дело с недоопределенными системами объект-модель. Разница состоит в том, что в задаче идентификации недоопределенной является модель (в то время как объект считается в достаточной мере изученным) и усилия исследователей направлены на доопределение модели. В задаче же диагностики недоопределенность, которую следует объяснить, лежит в объекте. Но и в* этом случае, как и при идентификации, изменения вносятся в модель с таким расчетом, чтобы свойства модели оказались идентичными свойствам объекта. Те изменения, которые необходимо внести в модель для достижения идентичности с объектом при их физической и инженерной интерпретации, и дают основания для постановки диагноза. Методически обе задачи решаются практически одинаково, и задачу диагностики можно рассматривать как задачу идентификации некоего нового объекта, который отличается от известного новыми свойствами параметрического или инже­ нерно-физического характера, порожденными либо нерасчетным измене­

нием характеристик, либо возникновением нерасчетных конструктивных или физических эффектов.

Математическая постановка задачи может быть сформулирована следую­ щим образом [1.3].

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

Для разработки таких систем привлекается вся априорная информация об объекте управления: конструкторская и техническая документация, данные по теплофизическим, прочностным' и электрическим свойствам конструкционных материалов, весовые сводки, данные по потокам вещест­ ва и энергии, гидродинамические характеристики гидравлических трактов, моменты инерции вращающихся частей и т.п.

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

Таким образом, задачу идентификации можно сформулировать следую­

щим

образом. Пусть имеется

модель установки,

задаваемая оператором

5 =

\ В и В2}

 

 

 

 

 

 

 

п (

 

dut

дщ

diij

дщ

д т‘Uj \

п

 

и\щ>

>.

) .

» ч

>•••» . m . I _

 

\

 

dXj

dyt

дг,-

dt

dt ‘ /

 

 

i= 1 , 2 , . . . .a , «, = «,(?,);

 

 

B\^Qi=

\Xi,yuzh t \

 

 

 

(1.1)

 

(

 

дщ

 

driщ

\

 

 

 

* / U

,

dxt

 

- 7 Ч

=

 

 

\

 

 

d trJ

/

 

 

kp = l , 2 , . . . , / , / = l , 2 , . . . , T, Kt < 4,

где S p — граничные замкнутые многообразия в пространствах, размерность которых меньше К {; Vi (fli) - заданные функции, определенные на мно­ гообразиях S p; т и г определяют порядок высших производных по вре­ мени.

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

Аналогично задача Коши, определяемая системой обыкновенных дифферен­ циальных уравнений, задается оператором В2 :

I ф,0, И/, и',, щ , и

\ п0) = О,

 

 

Вг I i = a + 1, а + 2 , . . .

,0,

 

(1.2)

U / 1г = о =и,0. Щ|, =0 = «/о,

=o

 

Совокупность пространств

образует

пространство SN, \ R f l \ =

= SN, т.е. S

 

 

 

/= i

 

 

 

Решением системы уравнений £(м) = 0

являются некоторые вектор-

функции и*, отвечающие определенным совокупностям начальных и гранич­ ных условий. Эти вектор-функции обращают систему уравнений (1.1), (1.2) в тождество: В(и*) = 0. Очевидно,что w*= 1 и*\ ,/ =1, 2, . ..,/3.

Задача идентификации. Пусть имеются экспериментальные динамичес­ кие процессы, полученные при испытаниях установки q^l Е £?э (<2э ~ выделенный класс динамических процессов, i = 1 , 2 , . . . , Л), которые харак­ теризуются вектор-функцией измеряемых координат q3i ->ру (г), р* (t) = = {M/у (О I , р / (0 Е М, где / = 1 , 2 , . . . , р; М - выделенный класс измеряе­ мых функций, соответствующих Сэ* При этом мы отвлекаемся от ошибок измерений и будем считать р/ точными значениями.

Чтобы сравнить результаты измерений с результатами расчетов, получаю­ щимися из решения уравнений модели (1.1), (1.2), необходимо определить совокупность граничных и начальных условий, чтобы они соответствовали экспериментальным условиям, порождающим процессы q3i . Поставленные таким образом граничные задачи породят решения системы В (U) = 0 ->J7Д которые будут соответствовать q3 i . Обозначим процессы, соответствующие решениям и * , а их множество —Q = { qt }

Далее возникает задача сравнения элементов множеств Q и <2Э • Процессы q3i характеризуются измеряемыми координатами р /(г) ЕМ, р/ (f) опреде­ лены на пространстве измеряемых координат S z Это пространство, есте­ ственно, уже входит в пространство рассчитываемых координат систе­ мы S N: S z Е S N Введем оператор Ру, переводящий решения U*в векторфункции вычисляемых измеряемых координат y t :

Py(U!) = Yt(t)9 Yt(f)e M .

Естественно, что вектор-функции У/ имеют ту же размерность, что и вектор-функции измеряемых координат объекта р / :

У/(0= { я / ( 0 1 . / = 1 , 2 , . . . , р .

Образуем величину

шах | yij(t) - ntj{t) I = со, G П, hi

которая будет мерой неточности модели В в процессе q^{. Задача иденти­ фикации состоит в таком изменении модели В , чтобы мера неточности мо­ дели по всем экспериментальным процессам <7э/ ^ (2э была бы меньше заданной величины: со/ < е.

Пусть имеется некоторая конкретная модель объекта, задаваемая опера-

Оц >aki

(

дщ

дщ

, . . . , а к(

д"Чщ

\

F i \ a u uh a2i

, a3i —

dt

1-0,

\

дх{

ду,

 

1

/_

_ дщ

_

dm‘~ 1ut \

 

В,

 

.........

dtmi

Qi^Sp

 

 

/ = 1 , 2 ,

/ = 1,2,

 

 

(1.3)

(Ф/(Л ОцЩ, /02“ /> . . . , *п1*1,Мя*У) = 0,

в 2| i' = 0£+ 1,

а + 2 , . . . ,0,

 

 

 

I и, I, =0 = Що, Щ \t =о = Щ0, . . . , u\ni~ 1) \t =о = и}ь ' ' 1)•

Пусть множество А =

представляет коэффициенты при неизвестных

и их производных в уравнениях

(1.3), вычисленные с учетом всех извест­

ных конструктивных особенностей установки и всех физических процес­ сов, действующих в ней.

Первой задачей идентификации будет задача ’’подгонки” коэффициентов математической модели В. Эта задача может быть сформулирована следую­

щим образом. Выделим среди коэффициентов А

= {д|

модели В то под­

множество ’’сомнительных” коэффициентов А \

=

, X = а, 0,. . . , р,

значения которых не могут быть вычислены без привлечения эксперимен­ тальных данных. Такими могут быть, например, коэффициенты, определяе­ мые гидравлическими сопротивлениями трактов теплоносителя, темпера­ турные зависимости реактивности реактора и т.п. Уточнение значений этих коэффициентов с учетом данных экспериментов #э/ и должно свести к до­ пустимой величине расхождения со* теоретических и экспериментальных за­ висимостей. Таким образом, мы будем искать новые значения ’’сомнитель­ ных” коэффициентов А \ = , X = а, 0,. . ., р.

Естественно, что изменения коэффициентов модели В приведет к изме­ нению величин со*, которые приобретут значения со}:

со; = со;04^).

Пусть область возможного изменения значений коэффициентов А \ есть £2, т.е. А \ € £ 1 . Тогда возникают следующие задачи идентификации.

1. Отыскание области £2 Е £2, в которой со| _лежит_в заданных пределах, т.е. требуется найти область £2, такую, что если А \ £ £2, то

max [сo'i(A'x)]

< е .

(1.4)

2. Отыскание

сот *п, т.е. таких Лх Е £2, на которых достигается comin =

= min

[max (со* (A J j) ].

_

n

i

 

Любой набор коэффициентов А \ решает задачу идентификации. Набор коэффициентов А \ дает ’’наилучшую” идентификацию, достижимую в моде­ ли В.

Если же неравенство (1.4) не может быть достигнуто, т.е. если comin = = min [ max (со'* 04 \) ) ] > е, то задача идентификации не решается подбором коэффициентов в операторе В. Это значит, что при разработке модели не

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

 

(

дщ

дщ

 

 

dPlUj

 

dm‘+viut

\

 

h дх{

’ dyi

 

dtPi

dxfi+1

dtmt+vi

/ ° ’

В\

1- 1,2.....® ,0 +1,...,«+5,

 

 

4i=\xt,yi,zu 1 1

 

 

 

 

 

 

 

/

дщ

 

 

dri+r,iUi \

= ч>№д-

 

 

 

* \ Щ' д х {

, "

дП+Ч

)

 

 

 

4 i ^ S p

 

 

 

$i(t, Щ, щ .........Ц((“<>,..

.,

и\п*+жд) = О,

 

 

В’г\ Щlt=o = И/о, •• •

 

 

 

=

 

 

л = а + б + 1,

а + б + 2 ,

. : . , к + 1 , . . . , 0+Х-

 

 

Для

этого

нового

оператора В’ при граничных и начальных условиях,

соответствующих выбранным процессам qt Е Q, получаются

новые реше­

ния U]'\

 

в \ и г ' ) = О,

 

которые породят новые вектор-функции измеряемых координат Y\ (г) и

соответственно новые значения со/' = max \ y \ j ( t ) —М//(0

I, после чего

t,j

 

применение метода подгонки коэффициентов, как правило, решает задачу идентификации. Ищем А \ = [ , X = а, . . . , р, где А \ Е £2, такие, что

шах [со/' \) ] < е , или ’’наилучший” набор коэффициентов А \ Е £2, при

/

котором

%

Wmin (Ах) = min [ шрс (щ/'04\))] •

пi

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

Задача дагностеки. Как уже говорилось, задача диагностики ставится тогда, когда в объекте возникают отклонения от расчетных режимов рабо­ ты и необходимо понять их происхождение. Для этого вносятся определен­ ные изменения в модель объекта, цель которых —привести в соответствие поведение модели с поведением объекта. В более простых случаях для это­ го достаточно изменить коэффициенты уравнений, не меняя их структуры.

В более сложных случаях приходится изменять и структуру модели. Мето­ дика исследований, как и математическая постановка задачи, в этих слу­ чаях не отличается от таковых для задачи идентификации. Отличие состоит лишь в том, что до появления нерасчетных ситуаций модель объекта была идентифицирована и, следовательно, необходимость внесения в нее измене­ ний вызвана какими-либо изменениями в объекте.

Несколько по-иному может быть поставлена задача диагностики переход­ ных режимов изучаемых объектов: процессов пуска, останова и смены ре­ жимов работы. Такие динамические режимы обладают, как правило, харак­ терными ’’динамическими эффектами”, под которыми мы понимаем ха­ рактерные особенности переходных процессов, к числу которых можно отнести, например, общее время пускового процесса, наличие или отсут­ ствие перерегулирования координат системы, пространственные и времен­ ные градиенты, последовательность протекания физических процессов и динамических явлений и их зависимость от неточности задания начального состояния установки и т.п. Естественно, что расчетная система характер­ ных динамических эффектов е,- зависит от начального состояния U0 G U в принятой математической модели В = { В г, В2\ и от выбранного управ­ ления Wf (t) G W :

в{ = е{(В, U0, НО, / = 1 , 2 ,

Таким образом, возникает предварительная задача определения системы характерных динамических эффектов: для оператора В, класса начальных условий и выбранного класса управлений W определить систему харак­ терных динамических эффектов Е = {е/ (В, U0, W)\ , i = 1, 2, . . ., п. Оче­ видно, что разные классы начальных условий и разные классы управлений породят различные системы динамических эффектов.

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

Пусть имеет оператор В = \ B lt В2 1 , и пусть U* есть решение уравнения В (£/) для граничных и начальных условий и управлений, принадлежащих к выделенным классам Мо/ G U 0iWj G W.

Пусть функция U* содержит систему эффектов Е = { е* } , i = 1 , 2 , . . .

, п.

Пусть далее из эксперимента следует наличие в изучаемых динами­

ческих режимах динамических эффектов { еа } G Е, а = 1, 2 , . . . , т. Тре­

буется

изменить модель В до В1 = \В[, В 2 1 таким образом, чтобы ре­

шение

системы уравнений В'(Ц ) = 0 для класса начальных условий U0

и класса управлений W содержало эффекты {еа J , т.е. система эффектов Е?, соответствующая оператору В*, содержала эти эффекты:

Е '= \е{ \ , / = 1 , 2 , . . . , а , .. . ,л.

Отыскание такого оператора В \ а вместе с тем и техническая его интер­ претация и решают поставленную задачу диагностики переходных режимов.

и

§ 1.3. МЕТОДЫ ИДЕНТИФИКАЦИИ

Создание формализованных моделей сложных динамических объектов связано со сжатием описательной и фактической информации. Первым этапом в решении проблемы является идентификация объекта исследова­ ний —построение его математической модели по результатам наблюдений. Задача идентификации формулируется следующим образом: по результа­ там наблюдений над входными и выходными переменными объекта пост­ роить оптимальную в некотором смысле модель. Практическое решение за­ дачи идентификации представляет собой вычислительную процедуру оце­ нивания неизвестных параметров математической модели, в результате которой устанавливаются закономерности функционирования исходного объекта. Реализация вычислительной процедуры идентификации обычно производится на ЭВМ (БЦВМ), которая обладает достаточным быстродей­ ствием и объемом памяти. Это создает объективные предпосылки для автоматической обработки больших массивов наблюдений реальных объек­ тов исследований.

К настоящему времени в разнообразных областях исследований накоп­ лен достаточный опыт решения задач идентификации объектов различной природы [1.1, 1.5, 1.9, 1.10]. Повышенный интерес исследователей и инже­ неров к методам идентификации обусловлен естественным желанием эффективной организации функционирования объекта в эру быстродей­ ствующих ЭВМ с их развитым математическим обеспечением. При опи­ сании и анализе конкретных вычислительных алгоритмов идентификации, приведенных ниже, необходимость использования ЭВМ становится очевид­ ной. В связи с этим рассмотрим наиболее часто применяемые методы реше­ ния задач идентификации и проведем сравнение по ряду критериев.

В

качестве объекта

идентификации рассмотрим линейную дискрет­

ную систему

с одним входом и (t ) и одним выходом у (г) :

 

x(tk+l) = Fx(tk)+bu(tk) + dw(tk),

 

(1.5)

z(tk) = hTx(t k) + v(tk),

 

 

где F

— матрица системы размерности (п X п) ; b,h, d — вектор-столбцы

размерности

(и X 1);

x ( t k) «-мерный вектор состояния (фазовый век­

тор);

u ( t k) ,

z (tk)

-

входные, выходные переменные

объекта;

w(ffc),

v (t k)

случайные помехи и погрешности.

 

 

Матрица F (« X и) определяется через вектор-столбец /

= ( Д ,

, / п) :

где 0 —нулевой вектор размерности (п — 1); Е — единичная матрица раз­ мерности (п г X r t j ) ; « i = « —1.

Неизвестными параметрами, модели являются вектора / и Ь, при этом измерение z (tk) в системе формируется с помощью вектор-строки Л:

йг = [ 1 , 0 , . . . , 0 ] .

Если объект идентификации является полностью управляемым и наб­ людаемым, то его модель можно записать разностным уравнением «-го

порядка:

 

 

z(0t+n)= ^

^

bju(tk+i_ i ) + £

/=1

/= i

/= i

где Cit(tk H - i ) = d /w (^ +/_ 1)

Cn+1 = 1» ^Л+1 "

/л +1

 

 

 

Решением этого уравнения является следующее выражение:

z(tk) = hTF kx(t0) +

^

hTF>bu(tk _i+l)+ V

hTFidw(tk _i+l),

 

/ = о

/ = о

 

которое для нулевых начальных условий и для b - d

принимает вид

z(fk)= 2 hTF lb[u(tk 4 _ 1)+ w ( t k 4 _ 1)]=

2

^(/)[w(ffc_y_i) +

/ = о

 

 

/ = о

 

где # (/) = hTF !b импульсная переходная функция модели.

ВЗАИМНО-КОРРЕЛЯЦИОННЫЙ МЕТОД

Идентифицируемая модель объекта — импульсная переходная функция g ( j ) ДЛЯ / = 0, 1 , 2 , . . . при х (£о) = 0. В качестве входного сигнала u(fj) используется случайный (бинарный) шум с дискретным интервалом кван­

тования tj

=t о +/ Af 0-

 

 

В соответствии с определением корреляционной функции

R zu (m )= M \z(tN)u{tN^ m)\ = м \ 2

g(j)[u(tN _/_!) +

 

 

1/ = о

 

 

)

N—1

 

 

J

/ = о

 

= 2

g ( j ) R uu(tn - i -

l),

(1.6)

/ = о

 

 

 

где RzuQn) , Ruu(™ —/ —1) —корреляционные функции; N —число интер­ валов наблюдений.

Очевидно, что для последовательности m = 1, 2 , . . . , N выражение (1.6) можно записать

[ * z * ( l ) l

= [ Д ИИ( 0

) , . . . , Д

ИИ( - Л Г + 1 У |

UzuK ’ U z u ( A 0 J

[ R u u (N

- 1 ) , .

. . , R UU(0) J

или в векторном виде

QZU(N) = QUU(N)G(N~ 1).

(1.7)

Для случайного бинарного шума с 7V дискретными интервалами и интен-

имеем

Я7

 

 

а2

2, 1, • • • , 1

q ' N ” " 9N

<2ии(Ю =

J1

; QZl(N) =

 

 

2

 

1, 1,

-,2

Q_ Q_

’ " • • » q

_N

9 N

 

 

Разрешая (1.7) относительно G (N — 1), получаем

 

 

 

N

2 , 1 ...........Г

 

 

G(N — 1) = —-------

 

 

 

9 2(Л Г+1)

 

 

 

 

1 , 1 , - . . , 2

 

 

Однако взаимные корреляционные функции R z и (т)

(т = 1,2, . . , N)

не могут быть вычислены точно, поэтому они определяются приближенно:

1м

Е z(tk)u(tk _ m),

М + 1 к = О

где М число измерений на входе и выходе.

Приближенная оценка импульсной переходной функции G(N — 1) для N интервалов и М измерений > т) может быть получена на основе следую­

щего выражения:

 

 

 

GM(N —1) = G M ~ 1( N -

1) +

 

 

1

N

, r z(tM)

'

- G M~ 1( N - l)

М+ 1 ( N + l ) q 2

,2 -

 

 

 

 

 

 

Поскольку

конечной целью идентификации является оценка векторов

/ , Ъ системы

(1.5), то их можно найти для N - 2 п

(где п — порядок систе­

мы) следующим образом:

 

 

 

£(Л /) =

 

 

 

 

U M (H - 1 ) J

 

-1

 

~ ^ ( 0 ) , . . . ,gM(n — 1)

 

кщ =

 

 

f ’* '( 2 n - l)

_ £ " ( » ! - 1),... , № « - 1 1

 

 

Основным

недостатком

этого метода является необходимость введе­

ния в систему вспомогательного случайного шума и заполнение информа­ цией 2п значений для одной итерации вычислений.

МЕТОД СТОХАСТИЧЕСКОЙ АППРОКСИМАЦИИ

Алгоритм метода построен на вычислениях по следующему выражению:

при к = 1, п + 2, 2п + 3, ..

., где р ( ------ I

—коэффициенты стохастической

аппроксимации; S f k+n_

1) = [z(f*),

> z(ffc+n- j)>

u ( t k ) , .

,

u(tk+n_ i ) ] ; q2, о 2 — интенсивности случайных функций

w(f), v(t)

неизвестными функциями распределения)

соответственно; Е —единичная

матрица (п X п) ; в нулевая матрица.

 

 

 

Если d(n X 1) —известный вектор (см. (1.5)), то

О О

 

О

D =

d\»0, •••>

0

1-----

1

К)

 

 

1

 

О__

 

- d n

~

d ° = D

dn-\

 

1

J i

.

Л

л

00

При выполнении условий ||/(f0) II

+ ЦЬ(Г0) II

< .°°, 2 р(Г.) = 00 и

 

 

/ = 1

оо

2 Р2 (fi) < 00 вычислительный алгоритм сходится с вероятностью 1,

/ = 1

но скорость его сходимости невелика, т е. он требует много машинного времени.

Алгоритм прост и удобен в реализации, но необходимо априорное зна­ чение диспе]эсий (^2, а2) и вектора d. Кроме того, чтобы избежать смеще­ ния оценок /(f/), b ( t j ) y на каждой итерации требуется (2п + 1) измерений выходного сигнала.

МЕТОД МАКСИМАЛЬНОГО ПРАВДОПОДОБИЯ

Алгоритм метода основан на использовании преобразованной формы ис­ ходного уравнения:

71—1

П—1

z ( t k) = X

f i z ( t k_ n+i)+ 2 biU(tk+i- n) + $(tk),

/= о

/= 1

где£(Г*)= 2 [^w(ffc_„+f)—/f и(*£_„+,-)]; /о = — 1*>^о = 0.

/=о

Если случайные функции w (ffc)

Е N(0, q„)

и v(tk) Е

N(0,

q l), то

S(tj) также является нормальным

(гауссовым)

шумом f(/y)

Е N

( 0, q \ ) \

величина

вычисляется следующим образом:

q\ = М

Jf (f,) £(/,_,) ] = | о [(fi+ifi)ql + (dt dt+j)q2w] .

Представим неизвестные параметры модели, подлежащие идентифи­

кации,

в виде вектора 0 (Зп X 1) :

 

 

 

 

 

 

 

 

в

~

[fi ,/г>

• •

 

>^2»• • •»

 

»с2»• • •»

>

 

 

 

 

r f l e Qf ( ^ +/_ 1) = ^ w ( r fc+l_ 1) - / / u(r/t+l_i);

cn+i = 1;

c/„+i=0.

 

Наилучшей

оценкой

вектора

z f t )

(для

заданного

вектора

0) будем

считать оценку

 

 

 

 

 

 

 

 

 

 

 

 

 

* ft/0 ) - M \ z ft)/z ft), II ft), 0}

;

a 2 ft) =M {[z ft) -

2 ft/0 )]2 J

 

Тогда плотность

распределения

оценок

сигнала

z f t)

удовлетворяет

соотношению

 

 

 

 

 

 

 

 

 

 

 

 

 

 

р (z ft)/z ft), u ft), 9)G N (z (и/e), a2 ft)),

 

 

 

 

 

 

где

lim

af ft) = a2 < °°.

 

 

 

 

 

 

 

 

 

 

 

fj- —>oo

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определим ошибку аппроксимации через выражение e f t/0 )

= z ( t k) —

z f t/0 )

(при

этом

a2 = М[е2 (tk/e)] 0,

которая

удовлетворяет выра­

жению

 

 

 

 

W—1

 

 

 

« -I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^ ftr/0)

Z ftp) —(

2

Cj вftc_n+//0) * ^

[//^ ft: —и+ )"*’

ft: —/2+/)] )•

 

 

 

 

 

 

/=0

 

 

 

7 = О

 

 

 

 

 

 

Тогда

максимизация

апостериорной

вероятности

p (z(tk),

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

,

u (t0),

в) =

П P i z i t r f / z f f j - i ) ,

0)p(z(to)l6) для

 

 

 

 

 

 

 

 

 

/ = 1

будет эквивалентна максимизации

преобразованного уравнения для z f t )

функции правдоподобия £*(0, a*)

 

 

 

 

 

 

 

к

= In \p(z(tk)/u (tk_ l ) , 0)] = с - — X

 

 

-

1

к

е 2 f t / 0 )

 

постоянная величина). Максимизация

X In [а2]

-

2

— 4 ^

 

 

 

 

 

2/ = 1

 

а 2

 

 

 

 

 

 

 

 

 

 

функции

Ьк (в, ое)

означает,

что

должны

выполняться

условия

ЪЬк (0, пе)

_

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Э

При некоторых допущениях на свойства входной последовательности w ft), / = 0, 1,. .. , задача идентификации сводится к двухточечной крае­ вой задаче (см.: [1.10, 1.11]) и может быть решена в реальном масштабе времени. Алгоритм решения задачи идентификации в этом случае имеет вид:

 

d eft-

/0)

1) задаем начальные условия e f t/ 0 ) ;------------

для / = 1 , 2 , . . . , л, оцен-

Л

Ьв

 

ку 0 f t )

= 0о и полагаем N = 0;

2) по

формуле для e f t/0 ) вычислим ошибку для М последователь­

ных измерений k = N+ 1,TV + 2 ,. .. , N + M ;

3) определим функции чувствительности e(f//0) по векторам /, Ь, с:

9e(tk/e)

^

ч

" - 1

Э e(tk_ n+ild)

— —

= - z ( f fc_ „+/) -

2 с,-------—-------- ,

о//

 

 

/= о

9/,-

»«('*/«)

^

ч

" - 1

д е ('к-пн1в)

— —— = - « ( * * _ „ + / ) -

2 с,------- ----------- ,

obj

 

 

i=o

bbj

*e(tkl6)

,

ч

« - 1 3e(r*_n+,/0)

Г

----c Ufc-n+/)-

2, Q

Эс/

ЭСу

 

 

1= 1

дляЛ = Л^+ 1,7V + 2 , : . .

+ Л/;

 

4) вычислим градиент

 

1 *

функции J(6) = — 2 e2 (f,/0), которая полу-

чена из условий maxZ,,- (0, <Je) :

fc /=1

 

 

в

 

 

 

bJ(6)

л

,

 

;

--------= —2 2

e(tjje) —-— -—

30

f= N +1 7

30

 

 

 

 

 

32/(0 )

5)вычислим матрицу вторых производных

Э02

- s = " s " [Эс( '/е) iilwl.

30

y=jv+1L 30

30

J ’

6) уточним оценку 6(N + М) после М измерений по рекуррентной формуле

л

1

, Э/ ( 0)

6(N + M) = 9 ( N ) -

---------- S ' 1 — — ;

 

N/M + 1

Э0

7) проведем ЛГ измерений входных и выходных переменных и fa), z fa) и положим новое значение N = N + М. Последние п значений функций

e(ti/d) и

be fa/в)

---------- примем за начальные оценки для следующей итерации

 

Э0

и перейдем к шагу 2).

Итерационный процесс заканчивается тогда, когда улучшение оценки

Ъ{ы+М) становится незначительным.

Недостатком вычислительного алгоритма является необходимость за­ дания начальной оценки 0О? которая должна быть достаточно близкой к истинному значению 0opt (условие сходимости процедуры), кроме того, все случайные функции w f a ) , v fa) должны быть гауссовыми.

МЕТОД МАКСИМИЗАЦИИ АПОСТЕРИОРНОЙ ВЕРОЯТНОСТИ

Алгоритм удобен в тех случаях, когда предполагается, что помехи н>(Г*)

и v(tk) являются гауссовыми (т.е.

G N[0,

L

G ^ [0 , q l ]

и идентификацию параметров требуется проводить вместе с оценкой сос­ тояний х(£). При этом вектор неизвестных параметров рассматривается

2. Зак. 552

17

как часть нового вектора состояния X T (tk) = [xT (tk), ат, Ът] системы, которая определяется следующими выражениями:

* (f*+ \) = Fx (tk) + bu (tk) + dw(tk),

m+i)=/(**),

b(tk+i ) = b(tk),

при f ( t 0)=f, b(t0) = b.

Подставляя эти выражения в уравнения (1.5), получим следующие нелинейные разностные уравнения расширенной системы:

X { t k+l) = f [ X { t k)M*k)] + d'w {tk), z (t k) = h'T X ( t k) + v(tk)

при jc(r0) = Зс >где d ’,h' вектор-строки размерности (3п X 1). Апостериорная вероятность нового состояния здесь является гауссо­

вой и может быть вычислена в соответствии с выражениями

p ( X kl z k) = p[X(t0) , X ( t l ), ■, Х ( 1 к)/2 (П),2 (12) , .. .,*(?*)],

p ( X k/zk)=

P(Z I X ) ?

к

1

iX ) =G' Пп exp

] - - —г [ z ( t j ) - h TX ( f t) \ 2 | X

 

р ( * Л)

i= 1

2^2

X exp <—

1

7—1). u (f/ —1 )ll2 1

 

2<7 l ( g Tg)

 

 

X exp

X ( t 0) - X

0 ||2po‘

 

где G* постоянный множитель.

Максимизация апостериорной вероятности в такой постановке экви­

валентна минимизации квадратичного критерия

 

J= 2 { [2 (Л) - h TX( ti)]2 +

- Ч

w(f,)} +\\X(t o) - Xo\ \ p2 ->

i=i(2qi

2q„

)

Ио

с учетом ограничений

 

 

 

X{tj) = f[X (f,_ ! ), и (Гу_ 1Я + d'w (f/_! ), 7 = 1 , 2 , . . . , *

 

для каждого нового вьшолненного измерения сигнала z ( t k),

к= 1 , 2 , . . .

Такая минимизация требует решения следующей двухточечной краевой задачи для каждого к = 1 , 2 , . . .

X (ti+1l k ) = f [ ^ ( t flk),u(tf)) +d'w(tjlk),

w{tjjk)=

Htf) =

*!, \ M*/+i) + -T

- * r * (f /) ], X (*) = 0;

Ab f T

x(folk) = Po — — XQ +X 0,

OX Q

где X(Y,) —вспомогательная переменная.

Решение двухточечной задачи может быть получено с помощью ЭВМ заменой f [ X (fy) , и (Гу) ] — Ф(/у) X (Гу), где Ф(/у) - переходная матрица раз­ мерности (Зп X Зп) :

в Е \ в I

ф(?/)= /(*/>_!*(*/);

в

I

Е

\

в

_ в

I

в

I

Е

I

|

В этом случае рекурсивный алгоритм идентификации имеет форму фильтра Калмана:

h t k l t k) = Ф(Г*_i ) X ( t k _ 1/tk _ 1 y+P(tkltk)h '[ z (г*) -

- h ' T <l>(tk _ 1) X ( t k _ l ltk _ l )],

P(tkltk) = $ ( t k_ l )p{tk_ l ltk_ l )<bT(tk_i) + ql>d'd'T,

P(tkltk) = p ( t kltk_ i ) - p ( t kltk)h'[h'Tp(tkltk_ l )h' + ql]-1h'T X *p{tk!tk- 1),

P(t0lt0) = p0.

Этот алгоритм обладает рядом недостатков, среди которых можно от­

метить следующие. Требуются

гауссовые шумовые последовательности

с известными статистиками

и известными коэффициентами d 1 Алго­

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

МЕТОД НАИМЕНЬШИХ КВАДРАТОВ

Этот метод идентификации существенно отличается от изложенных. Здесь не требуется знание вероятностных характеристик случайных величин w(fj-), v ( tj) , и алгоритм в этом смысле является крайним случаем по срав­ нению с байесовским (максимизации апостериорной вероятности), при котором необходимо иметь полное вероятностное описание случайных процессов. Алгоритм идентификации по методу максимального правдо­ подобия можно рассматривать как промежуточный, поскольку для его применения уже нет необходимости знать априорную плотность вероят­ ности оцениваемых параметров. Алгоритм метода наименьших квадратов позволяет найти оценку искомых параметров при еще меньшей априорной информации.

Исходная система описывается уравнением

х (tk+1) = Fx (tk) + bи (tk) + w (f*),

где F ( n X n ) , b (n X 1) —неизвестные матричные параметры; w (rfc) —век­ тор случайных возмущений.

Необходимо предположить, что вектор состояния х(£) и управляющее воздействие и (t) измеряются для любого момента времени tk из интервала

19

наблюдений

[f0, /дг] . Рассмотрим /-ю строку исходного уравнения, кото­

рая запишется в виде

 

xi (tk+1) = f / x (tk) + bj и (tk) + Wj (tk),

 

где fj (1 X n)

- вектор-строка матрицы F(n X л) ; bj -

величина /-й строки

вектора Ъ(и XI ) .

 

Нужно подобрать такой вектор параметров C j =

[//, bj] размерности

((и + 1) X I ) , чтобы минимизировать критерий качества приближения по

процессу х/ (tk) :

 

JXj=

2

[xj(tk+l) - ( f j x ( t k) + bju(tk))]2q (tk),

 

к

 

 

где qitk)

— матрица веса, связанная с вероятностными характеристиками

случайных возмущений w(t) .

Оптимальная оценка {fj, bj)opt, которая минимизирует критерий Jxj, называется оценкой по методу наименьших квадратов. Вычислительный ал­ горитм идентификации связан с моделью наблюдений, записанной в мат­ ричном виде:

У $ 1 = [У*

К ^ т] ^ i = Vkc^

 

 

 

 

 

где F * / 1 =

[Xjity),

Xj(t2),

..., Xj (t дг) ] T;

Vu

=

[w(r0), ц ^ ) ,

T

k

k

k

 

k

массивы наблюдений дли­

;

Vx =

[ Vx l ,

Vx 2 ,

 

Vx n ] -

ной N.

 

 

 

 

 

 

 

 

 

Критерий качества приближения процесса Xj{t)

записывается в виде

матричной формы

 

 

 

 

 

 

 

 

j Xj = т ( С 1 - ^ Ч ) ге ( ^ +1

-

V kc,)

=

\

 

r k +i

 

xj

 

 

 

XJ

 

 

 

 

 

 

Поскольку минимизация квадратичной формы

J Xj

представляет собой

обычную задачу поиска экстремума, то оптимальная по методу нзимень-

opt

opt

т

шихквадратов оценка ( f j , bj)

- с j

является корнем уравнения

где 0 —нулевой вектор размерности [{п + 1) X I ] . Отсюда искомая оценка наименьших квадратов равца

 

Г

opt

opt

k+ 1

 

 

 

[(Vk)TQ V k ]'l ( V k)TQV xj

 

 

 

Характеристики алгоритма

 

Метод

Началь­

Время

Нормированная ошибка

Сложность

п/п

вычис­

 

 

алгоритма

 

 

ная

лений,

2500 итера­

6000 итера­

идентифи­

 

 

оценка

 

 

 

с

ций

ций

кации

 

 

 

 

 

1

Взаимно-корреля­

Произ­

2

0,05

0,015

Малая

 

ционный

вольная

 

 

 

 

2

Стохастической

Произ­

5

0,65

0,42

Малая

 

аппроксимации

вольная

 

 

 

 

3

Максимального

Близкая

40

0,03

-

Значитель­

 

правдоподобия

 

 

 

 

ная

4

Максимальной

Близкая

200

0.045

0,03

Значи­

 

апостериорной

 

 

 

 

тельная

 

вероятности

 

 

 

 

 

5

Наименьших

Произ­

1

0,08

-

Малая

 

квадратов

вольная

 

 

 

 

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

Алгоритм имеет ряд недостатков, среди которых нужно отметить

смещенность оценки Cj если среднее значение w(r) ненулевое [w (г) ] Ф 0 ) , а также необходимость располагать полной информацией по x (f ), w (О на всем интервале наблюдений. Однако наглядность и простота вычислений делают этот метод наиболее привлекательным и ши­ роко применяемым (см.: [1.7, 1.8] ).

Для сравнения всех описанных алгоритмов идентификации была выбра­ на линейная система 3-го порядка, достаточно чувствительная к шумам:

'0 1 0 ‘ “ 1 "

x(tk+1)

0

0

1

1

[«(ffc) + w(ffc)],

 

 

А

Л

/ з .

_ 2

_

z(r*) = (1, О, 0) x ( t k) + v(tk).

Коэффициенты исходной системы соответственно равны (0,56; 0,68; —0,18), при этом входная последовательность u ( t k) для взаимно-корреля­ ционного алгоритма была выбрана в виде бинарного шума с дискретным периодом квантования A t = 0,01 с, а для других алгоритмов —u ( t k) = 0. Все случайные процессы и шумы будем считать гауссовыми:

w(r*) &.N[0, 1,0],

v(tk) E N [ 0, 0, 25],

x (t0) G N [ 2 , 10,0].

Начальную оценку для алгоритма стохастической аппроксимации при­ мем p ( t Q) = 20Е, где Е - единичная матрица. Для алгоритма максималь­ ного правдоподобия вычислительный процесс начинается с точки, близкой к точному значению вектора / . Число измерений М было равным

100... 150.

Совокупность результатов, характеризующих возможности вычислитель­ ных алгоритмов идентификации, реализованных на мини-ЭВМ, приведены в таблице 1.1. Результаты указывают на преимущество метода наименьших квадратов.

Алгоритмы идентификации, за исключением метода наименьших квадра­ тов, имеют один серьезный недостаток, ограничивающий их применение, — использование случайных функций типа ’’белого шума”.

§ 1.4. СТРУКТУРА СИСТЕМЫ ДИАГНОСТИКИ

Как известно [1.12], диагноз сложных технических комплексов (таких, как ГТД и КЭУ) можно проводить с разной степенью подробности. Пред­ ставляется, что в условиях бортовой ИУС автономного космического аппарата может быть организован трехуровневый диагноз состояния и неисправ­ ностей объекта [1.13]: а) аварийный диагноз, или диагноз малой глубины; б) диагноз средней глубины; в) диагноз большой глубины. Организацию системы диагноза для КЭУ, имеющую длительный период работы, можно представить в виде схемы, изображенной на рис. 1.1. Аварийный диагноз осуществляется по таблице неисправностей или еще проще — при выходе важных параметров КЭУ за границы, которые заранее определяются как аварийные. Если же сравнение состояния КЭУ с таблицей неисправностей не позволяет поставить диагноз или диагноз оценивается как недостаточно достоверный, система обращается к алгоритмам диагноза средней глубины. Диагноз средней глубины производится с помощью упрощенной модели КЭУ [1.4]. Такая модель состоит из обыкновенных дифференциальных и алгебраических уравнений, она описывает элементы КЭУ ’’укрупненно” (или, как говорят, в сосредоточенных параметрах, таких, например, как средняя температура реактора, средняя температура теплоносителя, средние величины электрических напряжений и токов в элементах преобра­ зователя) .

Чтобы определить неисправность или причину выхода КЭУ за границы расчетных состояний, в модель должны быть введены изменения, отражаю­ щие предполагаемую причину неисправного или нерасчетного состояния, после чего производится расчет изучаемого режима в соответствии с началь­ ными и граничными условиями, зафиксированными системой измерений. Перечень таких изменений должен храниться в таблице возможных неисправностей (таблице альтернативных состояний). Если рассчитанные процессы в достаточной мере хорошо совпадают с процессами, зафиксиро­ ванными системой измерений, то внесенные в модель изменения опреде­ ляют характер неисправности. Если же совпадение не достигается, произво­ дится новое обращение к таблице возможных неисправностей, осуще­ ствляется новое изменение модели и затем новый расчет режимов. Процедура повторяется до получения диагноза или до исчерпания таблицы

Рис. 1.1. Схема системы диагностики

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

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

Диагноз большой глубины производится по максимально подробной мо­ дели КЭУ, какая только может быть использована в бортовой ИУС.

В этой модели должны быть учтены все существенные особенности КЭУ,

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

Рис. 1.2. Структура системы диагностики КЭУ автономной ИУС Т —период диагностики, Тр —время кампании

неисправностей производится изменение модели и сравниваются характер­ ные эффекты расчетных и реальных процессов. Отличие — в большем перечне характерных эффектов и большой точности сравнения.

Следует отметить, что диагноз средней и большой глубины может произ­ водиться и периодически (см. рис. 1.1) в профилактических целях для постановки прогноза дальнейшего функцирнирования КЭУ. Во время дли­ тельных кампаний, когда происходят ресурсные изменения параметров установки, необходимо периодически при работе на стационарных режимах подавать на установку малые возмущения по входным параметрам с целью выявления ресурсных изменений в объекте и корректировки математиче­ ских моделей, хранящихся в памяти БЦВМ.

Результаты диагноза во всех случаях передаются верхним уровням уп­ равляющей части ИУС, ответственным за принятие решения о необходимых мерах управления. После проведения диагноза на каждом уровне глубины и перед тем, как обращаться к более глубокому уровню, в том случае, если на этом уровне диагноз не был поставлен, система диагностики обращается к алгоритмам, которые должны ответить на вопрос о том, допускает ли сложившаяся ситуация задержку с принятием решения до проведения более подробного диагноза или ситуация такова, что решение надо принимать немедленно, несмотря на некоторую неточность определения состояния. Полная структура системы диагностики КЭУ, соответствующая схеме системы диагностики (рис. 1.1), с учетом указанных алгоритмов приведена на рис. 1.2.

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

ЛИТЕРАТУРА

1.1.Буяновский Л Л ., Гришунин AJJ. Восстановление динамических характеристик объекта методом стохастической аппроксимации // Изв. вузов. Нефть и газ. 1970. № 1.

1.2.Динамика и управление ядерным ракетным двигателем / Под ред.акад. Б.Н.Пет­ рова. М.: Атомиздат, 1974.

1.3.Информационно-управляющие системы космических энергетических устано­

вок / Под ред. акад. Б.Н. Петрова. М.: Атомиздат. 1979.

1.4.Основы автоматического управления ядерными космическими энергетически­ ми установками / Под ред. акад. Б.Н. Петрова. М.: Машиностроение, 1974.

1.5.Пайзиев Э. Идентификация сложных объектов управления при помощи част­ ных корреляционных и дисперсионных функций // Автоматика и телемеханика. 1968.

10.

1.6.Пархоменко П.П., Согомонян Е.С. Основы технической диагностики. М.: Энер-

гоиздат, 1981.

1.7.СейджЭ., МелсДж. Идентификация систем управления. М.: Связь, 1976.

1.8.Сейдж Э., Меле Дж. Теория оценивания и ее применение в связи и управлении.

М.: Связь, 1976.

1.9. Сулейменова Л.К. Экспериментальное определение динамических характерис­ тик блока котел-турбина статическим методом // Автоматика и телемеханика. 1965. №2.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]