Научная статья на тему 'Алгоритм идентификации статического объекта с переходом из пространства входов-выходов в пространство оценок параметров'

Алгоритм идентификации статического объекта с переходом из пространства входов-выходов в пространство оценок параметров Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
512
179
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ИДЕНТИФИКАЦИЯ / ОГРАНИЧЕНИЯ / СТАТИЧЕСКИЙ ОБЪЕКТ / ОЦЕНКИ ПАРАМЕТРОВ / ОШИБКА ИЗМЕРЕНИЯ ВЫХОДА / IDENTIFICATION / RESTRICTIONS / STATIC CONTROL OBJECT / PARAMETER ESTIMATION / OUTPUT MEASUREMENT ERROR

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Гусев Сергей Сергеевич

Рассматривается алгоритм идентификации статического объекта с ограничениями. Предлагается случай, когда ошибка измерения выхода объекта y приводит к выходу оценок параметров за область допустимых оценок параметров H только с некоторой вероятностью p для всех n-мерных блоков и случай больших ошибок, когда вероятность строго равна нулю. Проводится анализ связи ошибки и вероятностей с использованием формулы Крамера.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Гусев Сергей Сергеевич

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Identification algorithm for static object: transition from space of inputs-outputs to space of parameters estimates

We suggest an algorithm to identify a static control object with restrictions. We start with the case when the output measurement error leads to some probability of parameter estimates to leave the admissible set for all n-dimensional blocks. We then consider the case of large errors, when this probability is equal to zero. We study the connection between errors and probabilities using the Cramer formula.

Текст научной работы на тему «Алгоритм идентификации статического объекта с переходом из пространства входов-выходов в пространство оценок параметров»

УДК 519.714.2 ББК 32.965.5

АЛГОРИТМ ИДЕНТИФИКАЦИИ СТАТИЧЕСКОГО ОБЪЕКТА С ПЕРЕХОДОМ ИЗ ПРОСТРАНСТВА ВХОДОВ-ВЫХОДОВ В ПРОСТРАНСТВО ОЦЕНОК ПАРАМЕТРОВ

Гусев С. С.1

(ФГБУН Институт проблем управления им. В.А. Трапезникова РАН, Москва)

Рассматривается алгоритм идентификации статического объекта с ограничениями. Предлагается случай, когда ошибка измерения выхода объекта у приводит к выходу оценок параметров за область допустимых оценок параметров H только с некоторой вероятностью p для всех п-мерных блоков и случай больших ошибок, когда вероятность строго равна нулю. Проводится анализ связи ошибки и вероятностей с использованием формулы Крамера.

Ключевые слова: идентификация, ограничения, статический объект, оценки параметров, ошибка измерения выхода.

1. Введение

Невозможно представить себе современную науку без широкого применения математического моделирования. Сущность этой методологии состоит в замене исходного объекта математической моделью и дальнейшем изучении модели с помощью реализуемых на компьютерах вычислительно-логических алгоритмов [7]. Работа не с самим объектом, а с его моделью дает возможность относительно быстро и без существенных затрат исследовать его свойства и поведение в

1 Сергей Сергеевич Гусев, соискатель (gs-serg@mail.ru).

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

Наличие моделей и механизмов управления привлекательно как с точки зрения управляющего органа [5] - так как позволяет предсказать поведение управляемых субъектов, так и с точки зрения управляемых субъектов - так как делает предсказуемым поведение управляющего органа. То есть снижение неопределенности за счет использования механизмов управления является одним из существенных свойств любой организации как социального института.

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

Модели, построенные в процессе идентификации объектов, могут быть использованы для разных целей. На практике чаще всего модели используются или для прогноза выхода объекта на некоторое время вперед, или для расчета контура управления. В первом случае от модели требуется небольшая ошибка прогноза, во втором - «хорошие» оценки параметров управляемого объекта. Второе требование гораздо жестче. Получить хороший прогноз намного легче, чем точные оценки параметров. Основная причина такого положения - критерии идентификации. Широко используемый на практике среднеквадратический критерий полностью адекватен задаче минимизации ошибки прогноза. При этом оценки параметров могут быть и плохими. Для решения задачи получения точных оценок при среднеквадратическом критерии идентификации

необходимо ввести дополнительные требования к входным сигналам и распределениям помех.

На практике неизвестный объект редко бывает «черным ящиком». В большинстве случаев имеется априорная информация о свойствах объекта, которая следует из физических, технических, технологических и других условий. Эта информация существенно сужает область поисков неизвестных параметров. Например, если заранее известно, что объект устойчив, а применительно к технологическим процессам это почти всегда так, то параметры объекта могут лежать только в определенной области устойчивости. То же самое относится и к входным переменным. Обычно из опыта эксплуатации конкретного объекта известно, что коэффициенты усиления по входным переменным ограничены в каких-то пределах, как было описано выше в задаче идентификации объекта управления.

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

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

В работе предпринимается попытка встроить проверку оценок в сам алгоритм идентификации. До недавнего времени

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

из-за

2. Постановка задачи

Рассмотрим алгоритм идентификации, учитывающий априорную информацию о параметрах объекта. Будем рассматривать объект вида

(1) У = ИТх,

где у - скалярный выход объекта; х - вектор-строка входных переменных размерности п; И - вектор-строка неизвестных параметров объекта размерности п. Дополнительно об объекте (1) известно, что параметры И, принадлежат априорно известной области Н, т.е.

(2) И е Н .

Задача состоит в том, чтобы по экспериментальным данным, заданным в виде матрицы

(3) А =

х

12

х

1 п

х.

х,.

5 х.

х.

х„

х„.

У1

V 2

VI

51 52 ЯП У,

определить оценки параметров И с учетом условия (2). Критерием точности определения оценок параметров объекта является известная область принадлежности параметров И.

3. Алгоритм идентификации

Из матрицы исходных экспериментальных данных (3) выделим матрицу входов размеров п х 5

х

11

х

х

2п

х

i 2

Х11 Х12

Х21 Х22

^2и

X.

X.

х„

51 5 2

и матрицу выхода 1 х 5

У Т =|К У2".У,|| •

Алгоритм идентификации, подробно описанный в [9], состоит в следующем. Из матрицы исходных данных (3) выбираются блоки из произвольных и строк (по размерности объекта). Для каждого блока составляется своя система уравнений. Ниже приведена система уравнений, соответствующая первому из таких блоков

к1 хп + ^2 Х12 + ••• + киХ1и = У1, к1Х21 + к2Х22 + ••• + киХ2и = У2,

к Хи1 + к2 Хп 2 + ••• + кхпп = уп;

1 и1 2 и 2 И ИИ У и'

где к - оценки параметров объекта h, или в матричном виде Хк т = У •

Произведя умножение левой и правой частей этого равенства слева на X , получим систему нормальных уравнений

X т Хк т = X тУ, по которой с помощью МНК вычисляются оценки параметров объекта (1)

Из матрицы (3) можно получить СИ таких и-мерных блоков, для каждого из которых строится свой вектор оценок параметров объекта (1) Все эти оценки параметров собраны в матрицу В, содержащую С1 строк и 2и столбцов и имеющую вид:

(4) В =

а

а.

а.

а

21

а

22

а

2п

а

L1

а

а

кп к 12

к к

21 22

кк

... К,

... к

2п

к

Ln

*Ь 2 ^Ьп '"Ь1 '"Ь 2

где Ь = С"п .

В любой 7-й строке матрицы В в первых п позициях перечислены номера строк а7/ матрицы А, использованные для вычисления п оценок к/, вычисленных по этим строкам и расположенных в (4) в 7-й строке на последних п позициях. Априорное условие (2) учитывается путем вычеркивания из (4) всех строк, в которых оценки к не удовлетворяют условию к е Н,

где

к- = к,., к,-

к,.

7 = 1, 2,

5.

71 п7 2

В результате вычеркивания получается матрица

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Во =

а

а

а

а

а

а

22

а

2п

к11 к1. к21 к

22

к1 к

2п

а

а

кк Л

к

*N 1 KЛN 2 '"N1 N 2 "^п

к, е Н, где N < Ь.

Введем вектор частости размерности 5, имеющий вид = ||^(1) ^(2) ... ,

где - частота использования номера }-й строки матрицы А в матрице В0.

Введем новую матрицу F, отличающуюся от А тем, что в нее добавлен столбец, включающий вектор w

(5) F =

1 Хп ^(2) 2 Х

Х

21 Х 22

У1 У1

5 Х51 Х 2 ••• ХШ У*

Последний шаг алгоритма состоит в следующем. Строки матрицы F сортируются по первому столбцу так, чтобы значения м?(}) возрастали снизу вверх. Обозначим полученную таким образом матрицу через F0.

Оператор, реализующий описанный алгоритм, обозначим через Этот оператор преобразует матрицу исходных данных А в матрицу данных, отсортированную по частоте использования строк, в матрице В0, учитывающей априорные условия к е Н. Это можно записать так (6) Fo = ^{4}, кг е Н .

Рассмотрим некоторые свойства оператора позволяющие существенно увеличить точность идентификации, но для начала приведем сравнение приведенного алгоритма идентификации статического объекта с алгоритмом идентификации статического объекта работы [9].

В работе [9] алгоритм идентификации статического объекта состоит в следующем. Из матрицы исходных данных (3) выбираются блоки из произвольных и строк (по размерности объекта). Для каждого блока составляется своя система уравнений. Из матрицы (3) можно получить С1 таких и-мерных блоков, для каждого из которых строится свой вектор оценок параметров объекта (1). Все эти оценки параметров собраны в матрицу В, содержащую С1 строк и 2и столбцов.

Отличительной особенностью приведенного выше алгоритма от алгоритма, описанного в работе [9] является наличие дополнительного вектора частости м>, по которому сортируются строки, представляя новую матрицу F, которая отличается от матрицы А тем, что в нее добавлен столбец, включающий вектор частости м>. Строки матрицы F

сортируются по первому столбцу так, чтобы значения w(j) возрастали снизу вверх.

4. Основные результаты

Докажем, что оператор ^ преобразует матрицу исходных данных (3) таким образом, что данные с большими ошибками измерения с большой вероятностью оказываются внизу блока данных. Это позволяет отбросить часть данных с большими ошибками и использовать для идентификации только отфильтрованные данные.

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

4.1. БОЛЬШИЕ ОШИБКИ

Предварительно введем некоторые определения. Будем называть ошибку измерения конкретного выхода у7 большой, если при использовании этого выхода в любом п-мерном блоке оценки к £ Н.

Докажем следующее утверждение.

Теорема 1. Если в блоке исходных данных (3) точно в т произвольных строках выход у измеряется с большой ошибкой и выполняется условие 5 > п + т, то в результате использования оператора ^ все строки с ошибкой окажутся внизу матрицы F0, по верхним 5 - т - п строкам этой матрицы могут быть получены точные оценки параметров объекта (1). Доказательство приведено в [8].

4.2. ОБЩИЙ СЛУЧАЙ

Рассмотрим теперь случай, когда ошибка измерения выхода у приводит к выходу оценок за область Н только с некоторой вероятностью р для всех п-мерных блоков, в который вошел этот выход у. Ранее, при больших ошибках, эта вероятность строго была равна единице.

Пусть среди всех 5 данных (3) только два произвольных измерения выхода сделаны с ошибкой. Для краткости будем называть и-мерных блок, не содержащий строки с ошибочными измерениями, чистым, а содержащий - ошибочным. Ссылки на и-мерный блок и однозначно ему соответствующую строку в В, будем использовать одновременно.

Тогда имеет место следующая теорема.

Теорема 2. Если среди исходных данных (3) есть только два измерения выхода уг и у, сделанные с ошибками, которые приводят к выходу оценок за область Н с вероятностью рг и р, соответственно, и для определенности рг > р,, то в результате применения оператора ^ в среднем будут выполняться неравенства

(7) ^(к) > w{j) > , к Ф г, к Ф ] . Доказательство. Число всех возможных и-мерных блоков

равно си и столько же строк в матрице В. Вычислим число строк матрицы В, содержащих 0, 1 и 2 ошибки соответственно. Не содержат ошибок

(8) = С5"-2 строк.

При этом каждая из (5 - 2) чистых строк упоминается п 5 - 2

Содержит строку г

(10) = с;-1 .

Грязная строка г в этом блоке упоминается все N раз

N = Си-1

Каждая чистая в этом блоке упоминается

N = п -1 Си-2

1Уг01 ^5-2 •

5-1

Содержит строку ,

(11) N] = С;-1 .

Содержит строки, и г

(9) N01 =-- С;-2 = С;-31 раз.

(12) Nj = с;:22.

Среднее число строк с одной ошибкой i или j или двойной ошибкой i j, попавших в блок B0 (т.е. в которых оценки не вышли за границы области H), будет равно

(13) Niq = (1 : p, С:/ , Nq = (1 : Pj )Cn: .

(14) Nj = (1 : p, )(1 : Pj )C;_:22.

Комбинируя формулы (5)-(14), вычислим средние частости упоминания строк в матрице B0.

Частота упоминания каждой чистой строки состоит из четырех компонент:

N = С«-1 = n(S : n)(s : П : 1)

N 01 Cs-3 , Cs ,

5(5 :1)

N0l = (1 : p, )СП:22 = (1 : p, ) ^П-1 СП ,

5(5 :1)

N0 j = (1 - p, ) С,

S(S : 1)

N = (1 ) n(n :1)(n : 2) Cn

N<* = (1 : pipj ) 5(5 :1)(S : 2)

Общая частота упоминания каждой чистой строки

г-2) "

С:

N01 =

01 5(5 :1)

(S : n)(s : П :1) ^ : 2)

(П :1) + (2 : ^ : pj ) + (1 : pipj .

Частота упоминания строк с помехой i и j

П - 2

(1 : pt ) + (1 : p,p] ) - С

(15) N, = П(П :1)

(16) n, =

5(5 :1) П(П : 1)

5(5 :1)

(1 : p ] ) + (1 : ptp, )

5 : 2 _

П : 2

en.

} 5-2_

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

N > N,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

как следует из (15) и (16), должно соблюдаться условие

N = 1 - Рг > 1 - Р, = Nj илир, >рг. Что доказывает требования теоремы. Чтобы соблюдалось условие N01 > N., необходимо

N 01 =

(5 - И)(5 - И - 1) (И - 2)

(и-1) + (2 - р - р,) + (1 - рР )(П-2), (И - 2)

>

> (1 - рг) + (1 - р,р,)

(5 - 2)

(5 - п)(5 - И - 1) „

N 01 = ^-^-+ 2 - р1 > 1,

01 (и -1) 1

(5 - И)(5 - И - 1) ,

--—-- + 1 > р .

(и -1) 1

То есть всегда, когда 5 > и + 2.

Стоит подчеркнуть, что последовательность строк, задаваемая теоремой 2, выполняется только в среднем, а не в каждом конкретном случае.

5. Связь ошибки и вероятностей

При реализации описанного алгоритма промежуточные оценки вычисляются по МНК с использованием формулы Крамера

М

К = Ц"> г = 1, 2, и,

где и = XТХ - определитель матрицы (3); и. - определитель, который получается из определителя матрицы и заменой г-го столбца столбцом свободных членов.

При наличии ошибок измерения выхода оценки можно представить в следующем виде [6]:

ра Р5\ |и| |Р|

где ие - матрица, содержащая ошибку е в1-м столбце.

Или подробнее, ошибка определения оценки к будет определяться формулой

(17) к, = к, + е^,

1 1 |Р|

где \Ву\ - минор матрицы не содержащий ошибок измерения выхода.

Ошибка оценки параметров

Аиа = кА - кА

и ошибка измерения выхода е связаны, как следует из (17), следующим образом:

л/ 1ВА

Ак = -е -

и

Вероятностное распределение ошибки определения параметра Ак будет иметь то же самое распределение, что и распределение ошибки измерения выхода с точностью до не зависящего от помехи коэффициента |Ву\ / |Р|.

Если Де)- плотность вероятности распределения центрированной ошибки измерения выхода (М{е} = 0), то среднее значение ошибки определения параметра объекта будет определяться формулой

В

М{Ак} = -{ /(е)еАе.

\и\

И, очевидно, будет равно нулю.

Дисперсия ошибки определения параметра будет равна

I |2

2 В

D{Аk} = -| /(е)е2^_ёе .

Р2

ее<2 \и |

Рассмотрим случай, когда априорно известная область существования параметров Н представляет собой параллелепипед с ребрами, параллельными осям в пространстве параметров. Ошибка измерения выхода имеет центрированное нормальное распределение N(0, о). Для оценок параметров используются блоки (типа (4)), в которых только один выход измеряется с ошибкой. Рассмотрим два блока данных, отличающихся тем и только тем, что в одном случае ошибка измерения выхода имеет распределение N(0, о1), а в другом N(0, о2). Для определенности о1 > о2.

Тогда имеет место следующее утверждение.

При прочих равных условиях вероятность р1 выхода оценки к/ за границы области Н в первом случае будет больше вероятности р2 выхода оценки к/ за границы области Н во втором.

Доказательство непосредственно следует из рис. 1.

Рис. 1. Распределение ошибки оценки

Дисперсии ошибки измерения выхода е и ошибки оценки АН параметров связаны (в соответствии с (17)) коэффициентом

Ы

а = - т-г,

м

т.е. дисперсии оценок ст1п и ст2и вычисляются через дисперсии ошибки измерения выхода по формулам

Плотность вероятности ошибки определения параметров при ошибке измерения выхода с параметрами N(0, с1) и N(0, а2) определяется формулами

. МЛ!

I о 2 ./№) =-= • в ,

ст

422м

(к-к2 )2

ЫК) =—/=• * 2ст" . СТ2к^ 2М

Поскольку априорная область существования оценок в обоих случаях одна и та же:

Пш1п < hi < Пшах ,

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

Вероятности выхода оценок за область Н задаются формулами

^шах Пшах

Р1 = 1 - | МЮ^ , Р2 = 1 - | ЛС^)^ .

6. Пример идентификации статического объекта

6.1. ИСХОДНЫЕ ДАННЫЕ

Для примера рассмотрим статический объект с тремя входами [9]. Структура модели, которая считается известной, задается уравнением

(18) у* = ахи + Ьх2[ + схъ., I = 1, 2, ..., 9.

Исходные данные приведены в таблице 1. Заранее известно, что оценки параметров а, Ь и с лежат в пределах:

(19) 0 < а < 2; -1 < Ь < 0; 0 < с < 1,4. 70

СТ2Н = аст2.

п •

'Ш1П

п •

ш1П

Необходимо по данным 9 экспериментам получить оценки параметров модели (18), учитывая априорную информацию о неизвестных параметрах а, Ь и с, содержащуюся в неравенствах (19), и оценить точность полученных оценок.

Таблица 1. Исходные данные для идентификации трехмерного объекта

№ Х1 Х2 Х3 у

1 1 2 3 11

2 1 1 4 9

3 1 5 3 15

4 2 2 3 14

5 2 6 1 11

6 3 2 2 15

7 1 0 3 6

8 1 3 1 8

9 0 0 7 7

6.2. МНК ОЦЕНКИ БЕЗ УЧЕТА АПРИОРНОЙ ИНФОРМАЦИИ

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

а = 0,18 ± 0,33; Ь = 0,29 ± 0,41; с = 0,78 ± 0,23.

Множественный коэффициент корреляции для такой модели будет равен Я = 0,83. Эти результаты используем в дальнейшем для сравнения с методом идентификации, учитывающим априорную информацию. Множественный коэффициент корреляции используется для исследования тесноты взаимосвязи между одним показателем и некоторым набором других показателей [6, 7].

6.3. ПЕРЕХОД В ПРОСТРАНСТВО ПАРАМЕТРОВ

Поскольку нам задан трехмерный объект, то для получения какой-либо оценки требуется не менее трех экспериментов, т.е. трех строк из таблицы 1. Используя все возможные комбинации из 9 по 3, получим 84 оценки, вычисленные по разным сочетаниям трех строк из таблицы исходных данных. На рис. 2 показана схема отбора трехстрочных блоков из блока исходных данных.

Для вычисления одного вектора оценок необходимо отобрать не менее трех строк. На рисунке выбираются 2, 6 и 8 строки из блока исходных данных.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Все данные о промежуточных оценках сведены в таблицу 2. Таблица содержит 84 строки оценок параметров а, Ь и с и номера строк блока исходных данных, которые были использованы для получения оценок в данной строке. Все полученные 84 оценки сведены в блок промежуточных оценок, показанный в таблице 2.

БЛОК ИСХОДНЫХ ДАННЫХ

N0 х1 Л'з У

1 1 2 3 11

2 1 1 4 9 ,

3 1 5 3 15

4 2 2 3 14

5 2 6 1 11

6 3 2 2 15 ,

7 1 0 3 6

8 1 3 1 8

9 0 0 7 7

ТРЕХСТРОгШЬШ БЛОК УРАВНЕНИИ ДЛЯ ПОЛУЧЕНИЯ ПРОМЕЖУТОЧНЫХ ОЦЕНОК

N0 XI х2 .V

2 1 1 4 9

6 3 2 2 15

8 1 3 1 8

Рис. 2. Схема отбора трехстрочных блоков из блока исходных данных

Таблица 2. Полный блок промежуточных оценок

№ Оценки параметров Номера выбранных строк 1М

а Ь с П1 П2 П3

1 10 1,3 2 1 2 3 1

2 4 2,6 0,6 1 2 4 1

3 -18 7 5 1 2 5 1

i 3,5 1,1 1,1 2 6 8 1

84 3 1,3 1 7 8 9 1

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

Таблица 3. Усеченный блок промежуточных оценок

№ Оценки параметров Номера выбранных строк

а Ь с П1 П2 П3

1 0,73 -0,56 1,03 1 2 3

2 0,68 -0,52 1,02 1 2 4

3 0,72 -0,55 1,03 1 2 5

i 0,73 -0,57 1,01 2 6 9

35 0,72 -0,53 1,03 7 8 9

В таблице 3 содержатся только оценки, удовлетворяющие априорным ограничениям (14). Номера строк исходных данных, по которым вычислялись эти «хорошие» оценки, записаны в трех последних столбцах таблицы 3. На рис. 3 приведены гистограммы частоты использования разных строк блока исходных данных.

X 30 -

£ 25

| 20 II I

¡8 15

0 £■ 10 [ I

1 о _ ю о

| О ■■■■■■■■ I

й 12345678Э

т

Номера строк блока исходных данных

Рис. 3. Гистограммы частоты использования разных строк блока исходных данных; черные прямоугольники в полном блоке промежуточных оценок, серые - в усеченном блоке

Как видно из рис. 3, в полном блоке промежуточных оценок (черные прямоугольники) все строки блока исходных данных используются одинаковое число раз, а именно 28. Совершенно другая картина в усеченном блоке промежуточных оценок, хранящем только «хорошие» оценки, удовлетворяющие условиям (19).

Серые прямоугольники, соответствующие усеченному блоку, имеют разную высоту. Строки 1-4, 6,7 и 9 используются по 15 раз, а строки 5 и 8 не используются совсем. Естественно предположить, что для получения «хороших» оценок, удовлетворяющих априорным условиям, использовались менее зашумленные исходные данные. Если принять эту гипотезу, то следует из блока исходных данных удалить те строки, которые редко используются.

6.4 ВОЗВРАЩЕНИЕ В ПРОСТРАНСТВО ИСХОДНЫХ ДАННЫХ

После удаления 5 и 8 строки блок исходных данных примет вид таблицы 4.

Проведем определение параметров модели (18) методом наименьших квадратов, используя данные из усеченной таблицы данных 3.

Таблица 4. Блок исходных данных, в котором удалены малоинформативные строки 5 и 8_

УСЕЧЕННЫЙ блок исходных данных

N0 Х1 Х2 Хз У

1 1 2 3 11

2 1 1 4 9

3 1 5 3 15

4 2 2 3 14

5 2 6 1 11

6 3 2 2 15

7 1 0 3 6

8 1 3 1 8

9 0 0 7 7

В результате получим следующие значения оценок параметров по 7 экспериментам:

а = 0,72 ± 0,0099; Ь = -0,53 ± 0,0149; с = 1,01 ± 0,0066. Множественный коэффициент корреляции для такой модели будет равен R = 0,999910. Сравнивая эти результаты с идентификацией по 9 экспериментам, видим, что точность оценок резко увеличилась.

В заключение заметим, что истинные значения параметров объекта были равны

а = 0,7; Ь = -0,5; с = 1.

7. Алгоритмы идентификации класса статических объектов управления

7.1. ПРИМЕР АЛГОРИТМА ИДЕНТИФИКАЦИИ ДЛЯ КЛАССА СТАТИЧЕСКИХ ОБЪЕКТОВ УПРАВЛЕНИЯ

Примером исследуемого алгоритма идентификации для класса статических объектов будет служить метод идентификации статического объекта Чадеева - Илюшина, приведенный в работе [9].

В [9] рассматривается алгоритм идентификации по вероятностному критерию. Исходные экспериментальные

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

7.2. СРАВНЕНИЕ АЛГОРИТМА СТАТИЧЕСКОГО ОБЪЕКТА С ПЕРЕХОДОМ ИЗ ПРОСТРАНСТВА ВХОДОВ-ВЫХОДОВ В ПРОСТРАНСТВО ПАРАМЕТРОВ С ПРИВЕДЕННЫМ АЛГОРИТМОМ ДЛЯ ДАННОГО КЛАССА ОБЪЕКТОВ

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

итерации алгоритма Чадеева -Илюшина, подобные тем, которые приведены в статье для алгоритма идентификации статического объекта с переходом из пространства входов-выходов в пространство параметров, нет смысла, так как результаты расчетов будут отличаться только отсутствием вектора частости м> алгоритма Чадеева - Илюшина из [9]. Использование алгоритма идентификации статического объекта с переходом из пространства входов-выходов в пространство параметров на практике показывает, что автор настоящей статьи, разработавший данный алгоритм идентификации для класса статических объектов, внес изменения в класс статических объектов. Единственным фактором алгоритма идентификации статического объекта с переходом из пространства входов-выходов в пространство параметров является наличие вектора частости м>, которая позволяет существенно увеличить точность расчета оценки параметров объекта управления путем отсеивания малоиформативных строк. Эти небольшие изменения в алгоритме идентификации статического объекта с переходом из пространства входов-выходов в пространство параметров, во-первых, отличают его от других алгоритмов класса статических объектов управления, а во-вторых, позволяют получать более точные оценки параметров объекта управления. Это позволяет обеспечить получение более точного значения множественного коэффициента корреляции для объекта управления и существенно повысить его быстродействие.

Научную новизну и практическую ценность [1] настоящей работы, обусловленные сравнительным результатом обоих алгоритмов, определяет:

- введение вектора частости м>, позволяющего отсеивать малоинформативные строки [1], тем самым сокращая время перебора строк блока преобразованных исходных данных статического объекта управления;

- увеличение точности расчета оценок параметров статических объектов управления;

- практическое применение алгоритма идентификации статического объекта с переходом из пространства входов-выходов в пространство параметров;

- математическая простота [1] использования математического аппарата на практике применительно к статическим объектам управления.

7.3. ВЫВОДЫ ПО РЕЗУЛЬТАТАМ ИССЛЕДОВАНИЯ

Результаты исследований уже существующих алгоритмов идентификации для класса статических объектов управления с алгоритмом идентификации статического объекта с переходом из пространства входов-выходов в пространство параметров показывают, что разработанный алгоритм идентификации для класса статических объектов управления показывает лучшие результаты в увеличении точности расчета оценок параметров статических объектов управления, определении множественного коэффициента корреляции [2, 3] и других характерных показателей для данного класса объектов. Алгоритм идентификации статического объекта с переходом из пространства входов-выходов в пространство параметров подходит для решения задач, связанных с классом статических объектов. Результат очевиден.

8. Заключение

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

Также проведен анализ связи ошибки измерения выхода с

вероятностью выхода оценок параметров за априорно известную

область существования параметров объекта.

Литература

1. ГУСЕВ С.С. Построение модифицированного алгоритма идентификации динамического объекта управления по экспериментальным данным ядерной энергетической установки // Управление большими системами. - 2014. - №47. -С.167-186.

2. КЕНДАЛЛ М.Дж., СТЬЮАРД А. Статистические выводы и связи. - М.: Изд-во Наука, 1973. - 896 с.

3. КРАМЕР Г. Математические методы статистики. - М.: Изд-во 2, стерео., 1975. - 648 с.

4. ЛИННИК Ю.В. Метод наименьших квадратов и основы математико-статистической теории обработки наблюдений. - М.: Изд-во Физматгиз, 1962. - 349 с.

5. НОВИКОВ Д.А. Теория управления организационными системами. - М.: Московский психолого-социальный институт, 2005. - 584 с.

6. РАЙБМАН Н.С., ЧАДЕЕВ В.М. Построение моделей процессов производства. - М., «Энергия», 1975. - 376 с.

7. САМАРСКИЙ А.А., МИХАЙЛОВ А.П. Математическое моделирование: Идеи. Методы. Примеры. - 2-е изд., испр. -М.: ФИЗМАТЛИТ, 2005. - 320 с.

8. ЧАДЕЕВ В.М., ГУСЕВ С.С. Идентификация с ограничениями. Определение оценок параметров статического объекта // Труды VII Международной конференции «Идентификация систем и задачи управления» SICPRO '08. Москва, 28-31 января 2008 г. - М.: Институт проблем управления им. В.А. Трапезникова РАН, 2008. - С. 261-269.

9. ЧАДЕЕВ В.М., ИЛЮШИН В.Б. Метод идентификации, учитывающий априорную информацию о параметрах объекта // Труды V Международной конференции «Идентификация систем и задачи управления» SICPRO

'06. Москва, 30 января - 2 февраля 2006 г. - М.: Институт проблем управления им. В.А. Трапезникова РАН, 2006. - С. 1091-1105.

IDENTIFICATION ALGORITHM FOR STATIC OBJECT: TRANSITION FROM SPACE OF INPUTS-OUTPUTS TO SPACE OF PARAMETERS ESTIMATES

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Sergey Gusev, Institute of Control Sciences of RAS, Moscow, PhD student (gs-serg@mail.ru).

Abstract: We suggest an algorithm to identify a static control object with restrictions. We start with the case when the output measurement error leads to some probability of parameter estimates to leave the admissible set for all n-dimensional blocks. We then consider the case of large errors, when this probability is equal to zero. We study the connection between errors and probabilities using the Cramer formula.

Keywords: identification, restrictions, static control object, parameter estimation, output measurement error.

Статья представлена к публикации членом редакционной коллегии М.В. Губко

Поступила в редакцию 09.02.2014.

Опубликована 31.05.2014.

i Надоели баннеры? Вы всегда можете отключить рекламу.