Методы априорного статистического анализа управляемого движения летательных аппаратов
Под априорным статистическим-анализом или анализом точности понимают определение статистических характеристик (математических ожиданий, дисперсий, распределений вероятностей и т. п.) фазовых и выходных координат, описывающих управляемое движение ЛА, по известным математической модели системы управления ЛА и статистическим характеристикам случайных факторов, при которых происходит движение ЛА (начальных условий, параметров и возмущений). Такой анализ называют априорным, поскольку обычно он проводится на этапе проектирования системы управления движением ЛА, т. е. априори.
При решении практических задач применяют различные методы априорного статистического анализа в зависимости от особенностей математической модели, описывающей управляемое движение ЛА (линейная или нелинейная, стационарная или нестационарная и т. п.), а также от состава и статистических характеристик рассматриваемых случайных факторов. В данной главе излагаются некоторые из этих методов: метод переходной матрицы, частотный метод, метод статистической линеаризации, методы теории марковских процессов и метод статистического моделирования (Монте-Карло).
МЕТОД ПЕРЕХОДНОЙ МАТРИЦЫ
В ряде случаев статистический анализ управляемого движения ЛА проводят, рассматривая линеаризованные уравнения возмущенного движения ЛА в нормальной форме Коши:
В этом уравнении X—вектор состояния (фазовый вектор), состоящий из п компонент; A(t) — динамическая матрица системы, имеющая размерность п×п; u(t) — вектор входных (управляющих и возмущающих) воздействий системы размерности п.
Переменные, рассматриваемые при статистическом анализе в качестве выходных, не обязательно совпадают с компонентами фазового вектора системы. В общем случае вектор выходных координат y(t) размерности k связан с фазовым вектором x(t) и вектором входных воздействий u(t) линейным соотношением
в котором Е(1) и D(t) —матрицы размерности k×n.
Переходная матрица. Уравнению (2.1) может быть поставлена в соответствие переходная матрица , характеризующая динамические свойства рассматриваемой системы. Элементами переходной матрицы являются переходные функции , связывающие единичное импульсное воздействие на систему по координате в момент s с реакцией системы на это воздействие по координате в момент . Переходную матрицу , соответствующую фиксированному моменту s, находят, рассматривая однородное уравнение
соответствующее уравнению (2.1), в котором вектор х заменен вектором . Уравнение (2.3) интегрируют п раз, задавая в качестве начальных условий векторы . Получают п линейно независимых вектор-функций , которые, будучи собранными вместе, образуют переходную матрицу .
В матричной форме определение переходной матрицы , соответствующей фиксированному моменту , записывается как интегрирование обыкновенного дифференциального уравнения
при начальном условии , где — единичная матрица размерности п.
Как функция меняющегося аргумента s при фиксированном моменте наблюдения реакции системы, переходная матрица может быть найдена путем интегрирования матричного уравнения, сопряженного к уравнению (2.4) [13, 4].
С использованием переходной матрицы общее решение системы (2.1) записывается так [4]:
Здесь первое слагаемое характеризует реакцию системы на начальное условие , второе — на внешнее воздействие u(s) при .
Если матрица А динамической системы — постоянная, т. е. сама система — стационарная, то переходная матрица такой системы зависит только от разности аргументов , т. е. . Для стационарной системы существенным является только интервал времени между моментами s приложения воздействия к системе и t наблюдения ее реакции .
Корреляционная функция фазового вектора.Соотношение (2.5) позволяет определить вектор математических ожиданий mx(t) и матричную корреляционную функцию , если — случайный вектор, характеризуемый вектором математических ожиданий и корреляционной матрицей , a u(t) —векторный случайный процесс, характеризуемый математическим ожиданием и матричной корреляционной функцией .
Применение к (2.5) операции математического ожидания дает
Вычитая почленно (2.6) из (2.5), получаем соотношение для центрированного вектора:
где .
По определению . Предполагая и u(t) некоррелированными, в результате необходимых выкладок с использованием (2.7) получаем
При t1 = t2 = t из (2.8) получаем выражение для корреляционной матрицы фазового вектора:
Пример.В проекциях на оси орбитальной системы координат OXY компланарное относительное движение двух космических летательных аппаратов, один из которых (пассивный) движется по круговой орбите вокруг Земли, а второй (активный) сближается с первым (рис. 2.1), может быть описано следующей системой линейных дифференциальных уравнений [34]:
где — орбитальная угловая скорость пассивного ЛА; ах и ay — проекция управляющего ускорения активного ЛА на оси системы OXY.
Рис. 2.1. К примеру анализа точности относительного движения ЛА
Предположим, что управление траекторией активного ЛА происходит импульсно и что последний перед встречей импульс скорости VK прикладывается в момент t0. При коррекции имеют место случайные ошибки реализации корректирующего импульса. Требуется определить корреляционную матрицу случайных отклонений ЛА в относительном движении по положению и скорости в момент , полагая ошибки реализации корректирующего импульса по составляющим Vx и Vv независимыми, характеризуемыми дисперсиями и .
Решение задачи начнем с определения переходной матрицы , соответствующей системе (2.10). Для этого перепишем систему (2.10) в виде векторного линейного уравнения
х = Ах, (2.11)
в котором
Составив уравнение вида (2.4), соответствующее (2.11) и (2.12), и решив его аналитически при начальном условии , получаем следующие элементы матрицы :
В рассматриваемой постановке задачи корреляционная матрица Kx(t0) обусловлена только дисперсиями ошибок реализации корректирующего импульса скорости, поэтому
где
Подстановка (2.14), а также и в первую часть формулы (2.5) дает искомую корреляционную матрицу .Второе слагаемое в формуле (2.5) в данном случае равно нулю, поскольку считается, что возмущения, действующие на аппараты в период , отсутствуют. Элементы матрицы характеризующие отклонения аппаратов по положению, равны
Если входное воздействие u(t) является стационарным случайным процессом с корреляционной функцией , а система (2.1) стационарна и устойчива, то в установившемся режиме по окончании переходного процесса, вызванного начальными условиями, вектор состояния системы x(t) также будет стационарным случайным процессом. Матричная корреляционная функция этого процесса уже не зависит от корреляционной матрицы случайного вектора начальных условий :
Переходя в (2.15) к переменным , и ,получаем выражение для матричной корреляционной функции фазового вектора устойчивой стационарной линейной системы в установившемся режиме:
а при выражение для корреляционной матрицы фазового вектора
В частном случае, когда случайное воздействие u(t)—векторный белый шум с матрицей корреляционных функций , где — матрица интенсивностей шума,
ЧАСТОТНЫЙ МЕТОД
Данный метод используется в тех случаях, когда движение летательного аппарата описывается системой линейных уравнений вида (2.1) с постоянными коэффициентами, а математические ожидания и дисперсии выходных координат вычисляются для установившегося режима, т. е. по окончании переходного процесса, обусловленного начальными условиями движения летательного аппарата.
Переходная функция и частотная характеристика стационарной линейной системы.Пусть скалярное входное воздействие стационарной устойчивой линейной системы u(t) — гармонический процесс , а в качестве выхода рассматривается одна из составляющих фазового вектора x(t). Если - переходная функция, соответствующая рассматриваемым выходу x(t) и входу u(t), то в соответствии с (2.5) в стационарном режиме
Величину
являющуюся преобразованием Фурье от переходной функции , называют частотной характеристикой рассматриваемой линейной системы. Она характеризует реакцию системы по координате x(t) на гармоническое воздействие . По известной передаточной функции системы W(p), связывающей рассматриваемые вход ивыход, частотную характеристику получают путем замены переменной р на , а сопряженную частотную характеристику W*( ) — на— .
Спектральная плотность выходной координаты.Пусть входное воздействие u(t) стационарной линейной системы — скалярный стационарный процесс, а в качестве выходной переменной рассматривается составляющая x(t) фазового вектора в установившемся режиме. В соответствии с (2.16) для, корреляционной функции скалярной переменной x(t) имеем
где — переходная функция, связывающая u(t) с x(t).
Корреляционная функция выходного процесса и егоспектральная плотность связаны друг с другом преобразованием Фурье (1.56). Подстановка (2.21) в (1.56) дает
Учитывая, что
- спектральная плотность входного воздействия,
- частотная характеристика, связывающая u(t) с x(t),
- сопряженная частотная характеристика, получаем
Соотношение (2.23) устанавливает связь между спектральными плотностями входа и выхода стационарной линейной системы через ее частотную характеристику, если входное воздействие u(t) — стационарный случайный процесс.
Дисперсия выходной координаты. Подстановка (2.23) в (1.56) позволяет найти корреляционную функцию выходной переменной
а в (1.57) —его дисперсию
Метод статистического анализа, основанный на использовании формулы (2.25) для определения дисперсии выходной координаты системы в установившемся режиме, называют частотным.
Математическое ожидание выходной переменной в установившемся режиме рассчитываем с помощью соотношения
где Wp — передаточная функция рассматриваемой системы, связывающая вход u(t) с выходом x(t).
Вычисление интеграла . Если спектральная плотность — дробно-рациональная функция от , то вычисление дисперсии (2.25) может быть сведено к вычислению интеграла стандартного вида
где
Все корни многочлена должны быть расположены в левой полуплоскости. Значение интеграла (2.27) вычисляется по формуле [32]
где Dn — определитель Гурвица для полинома , вычисляемый на основе матрицы Dn сэлементами
а определитель Сп вычисляется для матрицы Сп, получаемый из Dn путем замены ее первого столбца на b0, b1 ,..., bn-1 . Выражения для при п= 1 ... 5 приведены в приложении 2.
Пример. Найдем дисперсию Dx переменной x(t) на выходе системы с передаточной функцией
и(р)
на вход которой поступает шум u(t) со спектральной плотностью . Имеем
где
Здесь
В данном случае
Поэтому, учитывая, что b0=0, получаем
Окончательно
ФОРМИРУЮЩИЕ ФИЛЬТРЫ
Формирующим фильтром называется динамическая система или ее модель, реализованная на ЭВМ, свойства которой подобраны так, что при подаче на вход системы белого шума на выходе получается случайный процесс x(t) с заданными статистическими характеристиками. Задачу о построении формирующего фильтра приходится решать во всех случаях, когда статистический анализ системы, находящейся под воздействием небелых (окрашенных) шумов, по тем или иным соображениям целесообразно заменить анализом другой, расширенной системы, входные воздействия которой — белые шумы. Как будет показано далее, подобная ситуация возникает, в частности, при статистическом анализе систем, возмущаемых окрашенными шумами, с использованием методов теории марковских процессов или метода статистического моделирования (Монте-Карло), а также при апостериорном оценивании состояния системы с помощью методов рекуррентной фильтрации.
Очевидно, способ построения формирующего фильтра зависит от статистических характеристик рассматриваемого процесса x(t): скалярного или векторного, стационарного или нестационарного, гауссового или с произвольным распределением вероятностей. Для стационарного скалярного гауссовского случайного процесса формирующий фильтр может быть построен с использованием соотношения (2.23). Действительно, как это следует из формулы (2.23), в тех случаях, когда спектральная плотность процесса x(t) может быть представлена в виде произведения комплексно сопряженных сомножителей, один из которых есть частотная характеристика искомого формирующего фильтра, а другой — его сопряженная частотная характеристика в качестве формирующего фильтра может быть взята передаточная функция , соответствующая частотной характеристике .
Пример. Для случайного процесса x(t) со спектральной плотностью формирующий фильтр имеет передаточную функцию
Поскольку для него
Если ввести вспомогательную переменную и рассматривать ее в качестве фазовой координаты фильтра, то передаточной функции (2.30) можно поставить в соответствие уравнение формирующего фильтра в нормальной форме Коши относительно этой переменной:
где —стандартный белый шум.
Интересующий нас процесс x(t) получаем из и с помощью соотношения .
спектральная плотность —не рациональная дробь, для определения формирующего фильтра с помощью соотношения (2.23) целесообразно провести аппроксимацию заданной функции дробно-рациональной функцией. Способы построения формирующих фильтров для нестационарных гауссовских случайных процессов, а также для стационарных векторных корреляционных процессов рассмотрены в книге [24].