Введение
В последнее время в связи с предъявлением все более высоких требований к процессам управления в различных технических областях проблема идентификации становится исключительно важной. Невозможно обеспечить качественное управление системой, если параметры ее математической модели заранее не определены. Для построения такой модели могут быть использованы различные методы, включающие себя как использование теории, так и проведение экспериментов. Опыт, накопленный при проектировании систем управления, сообщает о том, что нельзя построить адекватную математическую модель, опираясь только лишь на теоретические сведения. Сформированная таким образом математическая модель, как правило, значительно отличается от реальной системы, что приводит соответственно к снижению качества управления. Поэтому в процессе проектирования систем управления одновременно с теоретическими исследованиями проводятся многочисленные эксперименты по определению и уточнению математической модели системы.
Понятие параметрической идентификации
По своей сути, параметрическая идентификация – это определение оптимальных параметров объекта управления системы при заданной ее структуре. Отсюда следует, что задача идентификации сводится, в общем случае, к определению оператора модели, преобразующего входные воздействия объекта в выходные величины [1]. Оператор объекта является его математической формализацией, т.е. математической моделью объекта, и может быть определен в соответствующих пространствах функций. Операторы могут характеризоваться разными структурой и характеристиками, и соответственно, задача идентификации объекта может иметь различные постановки. Представим модель объекта в виде следующей структурной схемы (рис. 1).
Рисунок 1 - Структурная схема объекта
На схеме приняты следующие обозначения:
u и y – входные и выходные сигналы системы. Такие сигналы могут быть предопределенными или случайными. Входной сигнал обычно еще называют задающим воздействием. Другие сигналы, так же подаваемые на вход называются помехами или возмущениями.
x – управляющее воздействие или наблюдаемый сигнал, который анализируют косвенно по сигналу , полученному в результате преобразования оператором В в объекте управления;
и – ненаблюдаемые помехи, которым свойственно оказывать вредное влияние на переходный процесс САУ, ухудшая ее точность. Чаще всего они являются случайными процессами типа белого шума, содержащие, в редких случаях, детерминированные составляющие.
ξ и – обычно ненаблюдаемые параметры, представляющие собой случайные сигналы, коррелированные во времени.
А, В, Р, R – искомые операторы, на нахождение которых, соответственно, и будет направлена основная задача идентификации. Вид таких операторов может быть как известен, так и нет.
Таким образом, изучив структурную схему и составляющие её параметры, описанные выше, можно выделить следующие основные задачи идентификации:
1) Задача нахождения характеристик (параметров) объекта. Она заключается в определении по известным наблюдаемым переменным u и y операторы (или параметры операторов) А и В. В некоторых случаях вместе с определением параметров А и В требуется определить параметры операторов Р и R, которые преобразуют ненаблюдаемые белые шумы и в ненаблюдаемые сигналы и .
2) Задача оценивания переменных состояния. Состояние объекта характеризуется многомерной переменной состояния, вектором, однозначно определяющим все его характеристики. По известным наблюдаемым случайным сигналам u и y при известных операторах А, B, Р, R с известными параметрами требуется определить (оценить) ненаблюдаемый случайный сигнал х [2].
3) Задача генерации случайных сигналов с заданными характеристиками или определения оптимальных характеристик случайных сигналов. По наблюдаемым переменным u или y требуется определить оператор Р или R.
Знакомство с методами параметрической идентификации
Возможные различные методы идентификации существенно зависят от разных форм представления математических моделей – обыкновенных дифференциальных, разностных уравнений, уравнений свертки и т.д. При этом ни один из методов идентификации не является универсальным для идентификации всех видов математических моделей, а используется в отдельных областях применения [3].
Наибольшее распространение при параметрической идентификации линейных объектов управления получили следующие рекуррентные методы:
1) метод ошибок предсказания (Гаусса, Ньютона), градиентные и другие;
2) метод наименьших квадратов;
3) методы инструментальных переменных;
4) метод моделирующих функций.
Метод ошибок предсказания
Данный метод сформулирован для дискретных систем на базе разностных схем. Определяется оценка параметров модели за n – итераций:
(1.1)
В общем случае:
(1.2)
где: .
Ошибка предсказаний – разность между выходным сигналом и его прогнозом на основе моделей в k-ый момент времени. Для выхода системы:
(1.3)
Нужно сформировать прогноз в момент времени t по данным, полученным на момент времени t – 1 включительно, после чего вычислить ошибку предсказания:
(1.4)
Для оценки возможны два принципиально различных метода предсказания. Как известно, системы управления по источнику управляющего сигнала бывают двух основных типов – разомкнутые системы и замкнутые системы. Метод прямого предсказания используется в разомкнутых системах. Суть такой системы сводится к построению оценки в виде линейной комбинации уровней предшествующих элементов, обращаясь за этими данными к запоминающему устройству. Такой пример как раз приведен выше. Большой недостаток данного метода в том, что оценки, полученные на входе и на выходе, будут существенно различаться между собой, что, в конечном счете, приведет к потере устойчивости системы.
Метод обратного предсказания используется в замкнутых системах с обратной связью. Преимущество такого метода заключается в том, что в передатчике получается оценка в виде линейной комбинации прошлых ошибок предсказания
Метод наименьших квадратов
Данный метод служат базовым подходом к параметрической идентификации. В нем благодаря линейности и дискретному времени, по которому происходит работа объекта управления, определение параметров сводится к простым и универсальным решениям [3]. Задачи идентификации в данном случае сводится к следующему: по имеющимся необходимым данным, полученным по результатам наблюдения за входным и выходным сигналами с интервалом дискретизации , требуется оценить значения параметров, обеспечивающих минимальное значение функционала невязки между рассчитанными и фактическими данными.
(1.5)
Здесь величина представляет невязку, определенную как разность между выходом исследуемого объекта y и реакцией, вычисленной по математической или физической модели объекта. Невязка определяется различными помехами и шумами, которые оказывают влияние на объект управления, а также остальные воздействия окружающей среды. Однако, независимо от происхождения возникающих ошибок, метод наименьших квадратов минимизирует сумму квадратичной невязки для дискретных значений.
Оценка по МНК , минимизирующая критерий (1.5), находится из условия существования минимума функционала:
(1.6)
Важным свойством оценок по МНК является существование только одного локального минимума, совпадающего с глобальным. Поэтому оценка является единственной. Ее значение определяется из условия экстремума функционала (1.6):
(1.7)
Из (1.7) следует соотношение, определяемое систему нормальных уравнений:
(1.8)
Таким образом, в общем случае, если является невырожденной матрицей, оценки по методу наименьших квадратов получаются решениям матричного уравнения (1.8):
(1.9)
Метод инструментальных переменных
Такой метод является усовершенствованием метода наименьших квадратов, он применяется в случае, если оценка МНК не будет стремиться к нулевой из – за наличия смещения между математическим ожиданием оценки от истинного вектора . Эта величина интерпретируется как смещение компонента вектора оценки. Наличие такого параметра может существенно повлиять на оценку параметров объекта управления. Эту проблему можно уменьшить за счет использования инструментальных переменных [4].
Метод инструментальных переменных предполагает наличие набора переменных называемых инструментами. Инструменты должны быть некоррелированные с ошибкой и, напротив, как можно сильнее коррелированны с регрессорами . Количество инструментов должно быть не меньше количества регрессоров.
Как только инструменты выбраны, можно применить двухшаговый МНК для оценивания вектора . На первом шаге находятся обычные МНК-оценки матрицы параметров уравнения регрессии . В результате получаем следующие оценки исходных переменных :
(1.10)
где
На втором шаге также обычным МНК оценивается исходная модель (1.9) с заменой регрессоров на их оценки (1.10), полученные на первом шаге:
(1.11)
Учитывая, что , окончательно получаем формулу оценок метода инструментальных переменных:
(1.12)
Метод моделирующих функций
Метод моделирующих функций не требует перехода от непрерывного времени к дискретному. Для определения нужных параметров объекта управления происходит вычисление площадей под кривыми, образованными перемножением переходных функций на специально сформированные функции в виде затухающих экспонент (рис. 2). После вычисления площадей составляется и решается система линейных уравнений относительно коэффициентов полиномов числителя и знаменателя передаточной функции объекта управления.
Рисунок 2 - Вычисление площадей под кривыми
В качестве одного из методов нахождения площади можно использовать геометрический смысл определенного интеграла. Его суть заключается в том, что площадь плоских фигур определяется через определённый интеграл от неотрицательной функции и равна площади криволинейной трапеции (рис. 3). Для вычисления данного интеграла следует воспользоваться формулой Ньютона – Лейбница представленной ниже:
(1.13)
Рисунок 3 – Метод Ньютона-Лейбница
Подводя небольшой итог про данный метод идентификации, следует отметить, что класс входных сигналов при использовании метода моделирующих функций ограничен ступенчатыми функциями, соответственно, он применим только для предварительной идентификации.
Заключение
Обобщая вышесказанное, можно сказать, что предметом теории идентификации являются методы определения математических моделей по результатам экспериментальных исследований. В зависимости от объема предоставленной информации о системе различают задачи идентификации в широком и узком смысле. При решении задач идентификации в широком смысле данная информация о системе либо незначительна, либо вообще отсутствует. Система представляется в виде «черного ящика», и для ее идентификации необходимо решение ряда дополнительных задач, связанных с выбором класса модели, оценкой стационарности, линейности и др. При решении задачи идентификации в узком смысле считается, что известны структура системы и класс моделей, к которому она относится. Такая постановка задачи идентификации и встречает различные решения, описанные выше, поскольку наиболее соответствует реальным условиям проектирования и, соответственно, широко используется в инженерной практике.