САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
КАФЕДРА КОМПЬЮТЕРНЫХ ТЕХНОЛОГИЙ И СИСТЕМ
Шавонина Ксения Сергеевна
Выпускная квалификационная работа бакалавра
Непрерывная модель в задаче выбора
последовательности измерений
Направление 010400
Прикладная математика и информатика
Научный руководитель,
кандидат физ.-мат. наук,
доцент
Чашникова В. В.
Санкт-Петербург
2016
Содержание
Введение......................................................................................................... 3
Постановка задачи ........................................................................................ 5
Обзор литературы ......................................................................................... 7
Глава 1 Два подхода к определению параметров системы по
результатам измерений ................................................................................. 8
1.1.
Метод наименьших квадратов ...................................................... 9
1.2.
Гарантирующий подход .............................................................. 11
Глава 2 Оптимальный состав измерений.................................................. 17
2.1.
Статический случай – задача Эльвинга ..................................... 17
2.2.
Непрерывная модель. Одно переключение ............................... 19
2.3.
Непрерывная модель. Несколько переключений ..................... 24
Глава 3 Выбор оптимального состава измерений в задачах спутниковой
навигации ..................................................................................................... 28
3.1.
Некоторые теоретические сведения ........................................... 28
3.2.
Анализ результатов на примере системы спутников ............... 31
Выводы ......................................................................................................... 34
Заключение .................................................................................................. 35
Список литературы ..................................................................................... 36
2
Введение
Задача определения и прогноза движения объекта по результатам
наблюдений стоит перед человечеством с древних времен. Еще в Древней
Греции античные философы и ученые наблюдали за движением Солнца,
Луны и других объектов на небе. Долгое время задача определения движения
небесных тел оставалась одной из первостепенных задач науки. В XV-XVIII
веках совместными усилиями Коперника, Кеплера и Ньютона была получена
математическая модель Солнечной системы. Однако основные параметры
этой системы (массы небесных тел, их координаты и составляющие
скоростей) не измерялись напрямую. Для их определения использовались
угловые координаты небесных объектов, которые получались в процессе
астрономических
наблюдений.
Так
появилась
задача
определения
параметров сложной реальной системы по результатам наблюдений за ее
движением.
В настоящее время эта задача находит применение в различных сферах
научной и повседневной деятельности. С помощью вычисления задержки
сигнала от спутников определяются координаты объектов на земной
поверхности.
Задачи
рассматриваемого
типа
ставятся
в
геодезии,
картографии, физике, биологии и социологии.
Для эффективного решения таких задач в 1794 году Гауссом был
изобретен специальный математический аппарат – метод наименьших
квадратов, который достаточно хорошо себя зарекомендовал. С появлением
мощной вычислительной техники, а также появившейся потребностью
определять параметры состояния системы в процессе управления движением,
стали развиваться статистические методы обработки информации. Однако
вследствие недостаточной надежности результатов, полученных таким
способом, все чаще стал применяться минимаксный подход.
Следует заметить, что при применении любого метода получается не
3
точное состояние системы, а лишь некоторая оценка. При использовании
метода наименьших квадратов любое дополнительное измерение улучшает
(или по крайней мере не ухудшает) точность получаемой оценки при условии
некоррелированности получаемых измерений. Однако чаще всего имеется
ограничение на количество возможных измерений, таким образом, возникает
задача правильного распределения этих измерений между имеющимися
источниками наблюдения с целью увеличения точности получаемой оценки
состояния системы.
В статическом случае, при известном измерительном базисе, решение
задачи распределения измерений между объектами наблюдения дает метод
Эльвинга. Однако на практике возникают задачи, когда и сами наблюдаемые
объекты изменяют свое положение во времени. В этом случае задача
становится в разы сложнее, так как оптимальный измерительный базис
меняется с течением времени, и возникает потребность определить не только
количество измерений с каждого источника, но также и последовательность
снятия измерений. Исследованию этого вопроса и посвящена данная работа.
В первой главе приведены два основных подхода к решению задачи
определения параметров системы по результатам измерений. Во второй главе
рассмотрена комбинация этих методов, а также переход к непрерывной
модели для динамического случая с одним переключением между
наблюдаемыми объектами. Также в третьем параграфе второй главы
предложен алгоритм нахождения оптимального количества переключений
при ограничении их числа и вычисления моментов времени смены объекта
наблюдения. В третьей главе алгоритм проиллюстрирован на примере задачи
спутниковой навигации.
4
Постановка задачи
Пусть имеется некоторая динамическая система, состояние которой
необходимо определить. Предположим, что состояние этой системы в любой
момент времени может быть описано конечным m-мерным вектором
параметров q – вектором состояния данной системы. Для того чтобы
определить вектор q, производят измерения некоторых величин, которые
зависят от состояния самой системы. Пусть d – n-мерный вектор измерений,
состоящий
из всех используемых измерений (n – число измерений) и
связанный с вектором состояния соотношением:
(1)
В общем случае зависимость
нелинейная и
При разложении функции
где
.
в ряд Тейлора получается:
- некоторое приближенное опорное значение вектора ,
– матрица частных производных, вычисленная в
точке
,
– матрица Гессе, вычисленная в некоторой
точке
такой, что
Пусть
. Пусть также нормы матриц
настолько малы,
чтобы определить линейную систему
.
В общем случае элементы матрицы
Пусть имеется
зависят от времени:
.
объектов наблюдения, с которых можно снимать
измерения, и пусть количество возможных измерений ограничено числом
.
Предполагается, что ошибки измерений некоррелированны. Задача состоит в
5
том, чтобы определить, с каких источников и в какой последовательности
необходимо снимать измерения при условии:
где
- количество измерений, отвечающее источнику , чтобы получить
оценку вектора состояния максимально близкую к реальному состоянию
системы.
Можно рассмотреть линейную функцию оценки вектора состояния
(2)
где
– заданный вектор с постоянными коэффициентами, и в качестве
критерия оптимальности рассматривать дисперсию данной функции.
Таким образом задача сводится к минимизации максимальной
дисперсии функции .
6
Обзор литературы
К настоящему моменту представлено не так много литературы,
посвященной задачам рассматриваемого типа. В большинстве
существующих работ рассматриваются статистические методы решения
задачи нахождения параметров по результатам измерений. В работе [1]
широко освящен метод максимального правдоподобия, а также рассмотрены
вопросы состоятельности, условий несмещенности и эффективности оценок,
полученных по этому методу. Основные критерии оценивания, а также ряд
статистических методов может быть найден в работе [2]. Метод наименьших
квадратов подробно описан в книгах [3], [4] и [5], а его прикладная сторона и
некоторые примеры можно найти в работе [6]. Также в [5] отдельная глава
посвящена минимаксному подходу получения оценок.
В [7] Эльвингом описан метод, комбинирующий статистический и
минимаксный подходы. В трудах [8] и [9] изложены методы оптимального
планирования эксперимента, которые основаны на указанных выше методах.
Однако вся рассмотренная выше литература представлена для статических
случаев. Переход к непрерывной модели для динамического случая впервые
был предложен в статье [10] и лег в основу данной работы.
7
Глава 1 Два подхода к определению параметров
системы по результатам измерений
Точное определение состояния системы, как уже говорилось выше,
невозможно в силу многих факторов. Компоненты вектора измерения
получаются в результате наблюдения за реальной системой, однако принятая
математическая модель может быть неточной и описывать систему с
некоторой погрешностью. Поэтому имеют место ошибки метода:
где
– истинное значение вектора измерения,
– истинное значение
вектора состояния системы.
Также непосредственно при самом измерении получаются неточные
значения параметров вектора измерений, таким образом, появляется вектор
ошибок измерений:
где
– полученное в результате измерений значение вектора .
В рассмотрение вводится система условных уравнений:
Алгоритм получения оценки вектора состояния
измерений
по вектору
носит название алгоритма фильтрации:
(3)
Его задача – уменьшение влияния указанных выше ошибок.
Любой
алгоритм
фильтрации
должен
обладать
следующими
свойствами:
1. Зависимость (3) должна быть однозначной.
2. Должно выполняться условие несмещенности:
т. е. если ошибки измерения или ошибки модели отсутствуют, то он
8
должен давать истинное значение вектора состояния.
Точность полученного результата характеризует вектор погрешности:
Оценка
называется несмещенной, если справедливо:
при некоторых условиях, наложенных на методические и измерительные
ошибки.
1.1. Метод наименьших квадратов
Пусть теперь
- это суммарная ошибка, объединяющая измерительные
и методические погрешности. Тогда получается равенство:
Имеются следующие предположения:
1. Определена математическая модель (1).
2. Известно математическое ожидание
3. Матрица ковариации
задана с точностью до некоторого
произвольного множителя и положительно определена.
Пусть имеется линейная математическая модель:
(4)
В общем случае система является несовместной, так как число неизвестных
меньше числа уравнений. В таком случае нужно отыскать алгоритм, который
бы минимизировал норму вектора невязки:
где
- оценка вектора состояния.
Получается система:
В [11] показывается, что норма вектора невязки минимизируется теми
и только теми векторами , которые удовлетворяют системе:
(5)
9
Если
, то система (5) имеет единственное псевдорешение:
(6)
где
- псевдообратная матрица к матрице , которая находится как:
Если
, то тогда:
где S – матрица координат векторов сингулярного базиса в пространстве
состояний, T – матрица координат векторов сингулярного базиса в
пространстве измерений, Q – матрица вида:
– сингулярные числа матрицы ,
.
Таким образом, полученная псевдообратная матрица
искомый алгоритм фильтрации. Если обозначить
– это и есть
, то из формул (2) и
(6) получается следующий результат:
где
(7)
Ковариационная матрица для оценки функции
принимает вид
дисперсии случайной величины:
Согласно теореме Гаусса-Маркова, метод наименьших квадратов
обеспечивает минимум дисперсии оценки произвольной линейной функции
10
вектора
на множестве всех линейных несмещенных оценок при
использовании
линейной
математической
модели
(4)
и
принятых
допущениях 1-3, описанных выше. Важным следствием теоремы ГауссаМаркова и очевидным плюсом метода наименьших квадратов является его
универсальность,
которая
заключается
в
одновременном
получении
оптимальной оценки всех однородных линейных функций вектора состояния,
то есть
вектора
и, следовательно,
никаким образом не зависит от выбора
. Еще одно следствие заключается в том, что оптимально
использовать все составляющие вектора измерений
[5].
К минусам же данного метода можно отнести то, что при некоторых
условиях он дает завышенно оптимистичные оценки точности получаемых
результатов.
Метод наименьших квадратов относится к статистическим методам и
является частным случаем метода максимального правдоподобия. Более
подробно статистические методы обработки измерительной информации
описаны в работах [1] и [2].
1.2. Гарантирующий подход
Наряду с рассмотренным выше классическим подходом – методом
наименьших квадратов – широкое распространение получил неклассический
подход к решению данной задачи, который называется гарантирующим.
Оценки состояния системы, получаемые с помощью данного метода, носят
название минимаксных.
Множество
возможных ошибок
и критерий оптимальности
задаются следующим способом:
1) Про составляющие
( = 1, 2, …, n) вектора ошибок измерений
ничего не известно кроме того, что они ограничены по модулю
некоторой положительной постоянной α:
11
Если ввести обозначение:
то
в
качестве
гарантированной
характеристики
точности
используется значение:
2) Нахождение
является
, которая обеспечит минимум величины
целью
алгоритма
фильтрации
при
,
гарантирующем
подходе. Также, не нарушая общности, все составляющие
вектора ошибок измерения
считаются равноточными.
Пусть рассматриваемая система описывается линеаризованной
моделью (4) и имеется линейная функция , определяемая формулой (2).
Также задано измеренное значение вектора
и ошибка
удовлетворяет
указанным выше положениям 1-2. Согласно теореме, изложенной в [5], среди
всех линейных оценок вида
удовлетворяющих условию несмещенности
может быть найдена по крайней мере одна оптимальная по указанному выше
критерию оценка
системы
, получаемая в результате решения
линейных уравнений
где
– некоторая достаточная совокупность измерений,
выбираемая оптимальным образом из составляющих вектора , а
квадратная матрица, составленная из
выбранным измерениям
–
строк, соответствующих в матрице
.
Данная теорема решает вопрос как о выборе оптимального алгоритма
фильтрации, так и о выборе оптимального измерительного базиса, так как все
12
составляющие вектора , не входящие в состав вектора
, могут быть
исключены из дальнейшего рассмотрения без ухудшения точности
получаемой оценки [5].
Компоненты вектора
– это не что иное, как
коэффициенты разложения вектора по строкам матрицы , т.е.:
.
Таким образом, задача сводится к отысканию вектор-строки
такой,
чтобы она обеспечивала решение следующей задачи абсолютной
минимизации:
при условии несмещенности
.
В [12] показано, что решение этой задачи эквивалентно решению
некоторой задачи линейного программирования. В [13] был предложен
следующий способ сведения к задаче линейного программирования.
Можно заменить искомый вектор
вектором
длины
и на его
компоненты ввести ограничение:
Матрица
заменяется матрицей , состоящей из
получаемой из матрицы
строк и
приписыванием снизу матрицы – . Условие
несмещенности принимает вид
, и решается следующая задача
линейного программирования:
Ненулевые компоненты вектора
базисным строкам матрицы
будут соответствовать выбранным
либо – .
Способы решения данной задачи можно найти, например, в [14].
Также определить оптимальный измерительный базис можно с
13
помощью решения, основанного на геометрической интерпретации.
Особенно наглядной является геометрическая интерпретация для случаев,
когда вектор состояния является двумерным или трехмерным. В двумерном
случае строки матриц
и–
рассматриваются как векторы на плоскости. По
этим векторам строится выпуклая оболочка, и оставляются лишь те векторы,
на которые эта выпуклая оболочка натянута. Вектор-строка также
изображается как вектор, находится пересечение этого вектора с границей
выпуклой оболочки, и в качестве оптимального измерительного базиса
берутся те вектора, на которые эта граница натянута. В трехмерном случае
все делается аналогичным образом, лишь с тем отличием, что векторы
изображаются в трехмерном пространстве, а в качестве границы выпуклой
оболочки выступает поверхность многогранника. Математическое
обоснование такого решения и различные случаи подробно рассмотрены в
[5].
Например, для матрицы
и вектора
геометрическая интерпретация показана на рисунке 1.
14
Рисунок 1
– строки матрицы
, а
– это строки
матрицы – . Как видно из рисунка 1, вектора
границы линейной оболочки. Вектор
оболочки в точке
векторов
и
и
не достигают
пересекает границу линейной
, которая принадлежит отрезку, соединяющему концы
. Таким образом, оптимальным будет выбор первой и
третьей строки матрицы .
Рассмотренный в этом параграфе метод всегда имеет решение, и
размерность оптимального измерительного базиса не превышеет
[5]. В
некоторых ситуациях этот метод дает несколько оптимальных решений,
которые являются эквивалентными. Однако чаще всего в прикладных
задачах
достаточно
найти
какое-то
одно
15
оптимальное
решение
и
ограничиться им.
Плюсом гарантирующего подхода является то, что он не требует
знания вероятностных характеристик вектора ошибок, а также обеспечивает
гарантированную оценку точности получаемых результатов. То есть по
сравнению с методом наименьших квадратов данный метод является
надежным, хоть и оценки состояния системы получаются очень грубыми. К
существенным минусам этого метода можно отнести тот факт, что
минимаксные оценки в общем случае не являются универсальными и зависят
от выбора оцениваемого параметра (то есть выбора вектора ).
16
Глава 2 Оптимальный состав измерений
В предыдущей главе были описаны два различных подхода к решению
поставленной задачи, каждый из которых имеет свои сильные и слабые
стороны. В настоящей главе осуществляется переход к методам, которые
получены комбинированием рассмотренных выше подходов с целью
уменьшения влияния недостатков обоих. Получаемые результаты имеют
привязку к уже конкретным источникам наблюдения, а также учитывается
ограничение на число возможных измерений.
Имеется
линейная или
линеаризованная
модель (4). Пусть
с
применением гарантирующего подхода найден некоторый оптимальный
измерительный базис, и он состоит из
из
которых
источников
соответствует
свой
базисных строк матрицы , каждой
источник
наблюдения.
, как говорилось выше, не превышает числа
Количество
размерности
вектора состояния. Пусть число возможных измерений ограничено числом
Нужно распределить
.
возможных измерений между имеющимися
источниками оптимальным образом.
2.1. Статический случай – задача Эльвинга
В [7] рассматривается следующий метод для случая, когда объекты
наблюдения статичны. Пусть матрица
пусть
не меняется с течением времени. И
– это количество измерений, которое нужно снять с источника ,
. Таким образом, выполняется равенство:
Вводится следующее обозначение:
Очевидно, что выполняются следующие два условия:
17
(8)
Оценка
вектора состояния системы определяется по методу
наименьших квадратов, а оценка параметра из формулы (2) находится:
Дисперсия оценки может быть найдена по формуле:
где
- это компоненты вектор-строки , которая находится с
помощью формулы (7) из предыдущей главы. Также считается, что все
измерения независимые и некоррелированные.
Критерием оптимальности является достижение минимума величины
, поэтому нужно решить следующую задачу:
Можно воспользоваться методом Лагранжа:
где
- неопределенный множитель Лагранжа. Следовательно, необходимые
условия минимума:
Учитывая первое условие из (8):
(9)
При подстановке этих выражений во второе условие (8) получается
выражение для знаменателя формулы (9):
18
Таким образом, окончательно формула (9) принимает вид:
При заданной строке
это решение единственное. Так как оно найдено
из необходимых условий минимума, то достаточность такого решения
следует из существования отыскиваемого минимума, которое доказано в [5].
Если теперь каждое
искомые
,
, умножить на , то будут найдены
.
2.2. Непрерывная модель. Одно переключение
Теперь можно перейти к непрерывной модели для динамического
случая, которая описана в работе [10]. Пусть теперь
матрицы
и компоненты
меняются с течением времени. Имеется несколько объектов, с
которых можно снимать измерения, и получаемые измерения изменяют свои
значения на отрезке
. Пусть два из них являются оптимальными для
снятия измерений на всем рассматриваемом интервале, назовем эти объекты
A и B. Это обозначает, что выполняется следующее условие:
где
,а
– это k-ая компонента вектора
в базисе выбранных строк матрицы
– это -ая компонента -ой строки базиса [15].
Объекту A соответствует строка
. Пусть на интервале
Необходимо определить целое число
времени
, а объекту B строка
можно провести
измерений.
, отвечающее моменту
, в который нужно переключиться с наблюдения объекта A на
наблюдение объекта B. В качестве критерия оптимальности снова
19
рассматривается минимум дисперсии оценки величины
, задаваемой
формулой (2).
Матрица S, отвечающая линеаризованной системе, определяется как:
Таким образом, получается связь
наблюдений. Пусть
состояния
, где
– N-мерный вектор
– ковариационная матрица. Вектор
может быть получен с помощью псевдообратной матрицы
Тогда ковариационная матрица ошибки измерения принимает вид:
где
и
- это столбцы матрицы .
Пусть c = [0, 1], тогда
. Дисперсия:
Справедливы соотношения:
20
:
Если функции
,
,
,
неубывающие, то выполняются неравенства:
Пусть
21
непрерывные и монотонно
Если
достаточно большое, то можно рассматривать непрерывную
модель и минимизировать следующую функцию:
Если
ближайшая к
на интервале
. Найденное значение
, то ищется дробь
,
будет искомым.
Пусть, например, имеются следующие данные:
Оцениваться будет вторая координата, т.е.
Функция
.
выглядит следующим образом:
и на промежутке от нуля до единицы имеет график, представленный на
рисунке 2.
22
Рисунок 2
Эта функция имеет минимум в точке
, и, следовательно,
переключение с первого объекта на второй необходимо произвести после
произведения 609 измерения. В этом случае дисперсия по второй координате
будет равна
. Для сравнения, если первые 500 измерений
произвести с первого объекта, а вторые – со второго, то дисперсия составит
, то есть будет больше.
Пусть теперь:
Функция
имеет очень сложный вид. Ее график представлен на
рисунке 3.
23
Рисунок 3
Минимум достигается в точке
, переключение нужно
производить после 177 измерения. Дисперсия по второй координате
составляет
2.3. Непрерывная модель. Несколько переключений
Пусть
теперь
возможно
более
одного
наблюдаемыми объектами. Так как в матрице
переключения
имеется
между
строк, то
максимальное количество переключений необходимо в том случае, когда
, когда
где
(
– нечетное, и
- строки матрицы
, когда
). Тогда максимально возможное
количество переключений равняется
Пусть, для определенности,
– четное,
.
– четное. Тогда функции
ввести следующим образом:
24
можно
где
.
То есть функция
теперь зависит от
Пусть
, …,
.
при условии, что
и
ближайшая дробь
переменных
,
вектор
. Для каждого значения
существует
. При нахождении всех
получается
. Если все его компоненты различны, то это
искомый вектор.
Пусть теперь в векторе
начиная с некоторого индекса
векторе
(
и
имеются повторяющиеся элементы. Пусть
и по индекс
,
, элементы в
повторяются. Можно расписать функцию
следующим образом
аналогично):
25
Очевидно, что интегралы вида
или
нулю, так как в данном случае
равны
при всех
. Таким
образом, их можно просто убрать.
Теперь пусть количество повторяющихся элементов четное. Тогда
переключения
не
происходит.
Действительно,
повторяющихся элементов равно 2, тогда
несколько слагаемых из функции
пусть
количество
. Можно рассмотреть
:
Так как средний интеграл равен нулю, то его можно убрать. Но
подынтегральные функции первого и третьего интегралов одинаковые, то
всю эту сумму можно заменить одним интегралом
Таким образом, переключения между объектами не произошло, то есть
26
данные элементы вектора
можно убрать. Аналогичным образом
доказывается для случая четного числа больше двух. Если же имеется
нечетное
количество
повторяющихся
элементов,
то
аналогично
показывается, что можно убрать соответствующие интегралы, но уже
переключение между наблюдаемыми объектами будет иметь место.
Вектор
, составленный из
элементов вектора
,
которые повторяются нечетное число раз, будет искомым.
Можно взять задачу с начальными данными из примеров предыдущего
параграфа и рассмотреть случай двух переключений. Сначала описанным
выше способом будут получены моменты переключения с одного объекта на
другой, а затем будет произведено снова 1000 измерений, которые
произведутся
в
найденной
полученной матрице
последовательности
и
соотношении.
По
будет найдена дисперсия.
Для первого примера минимум функции
достигается при:
здесь 0 обозначает тот факт, что оптимально будет начать измерения не с
первого объекта, а сразу со второго, и лишь после 745 измерения
переключиться на первый объект. Дисперсия в таком случае будет:
,
что уже значительно меньше, чем в предыдущем случае.
Для второго примера
Значит нужно провести 114 измерений с первого объекта, затем
переключиться на второй, провести еще 798 измерений, а затем, суммарно
проведя 912 измерений, снова переключиться на первый объект и провести
еще 88 измерений. Дисперсия составит:
то есть меньше, чем в случае одного переключения.
27
Глава 3 Выбор оптимального состава измерений в
задачах спутниковой навигации
3.1. Некоторые теоретические сведения
Прежде чем перейти к рассмотрению конкретных примеров, нужно
привести основные системы координат, используемые в спутниковой
навигации, а также способы перехода от одной системы координат к другой
[16].
I.
Геоцентрическая экваториальная прямоугольная.
Начало координат – центр масс Земли. Ось
весеннего равноденствия, ось
вращения Земли, ось
II.
направлена в точку
направлена на север и совпадает с осью
дополняет систему до правой тройки.
Гринвичская прямоугольная.
Начало координат – центр масс Земли. Ось
направлена в точку
пересечения экватора и гринвичского меридиана, ось направлена на
север и совпадает с осью вращения Земли, ось
дополняет систему до
правой тройки.
III.
Гринвичская сферическая.
Начало координат – центр масс Земли.
– модуль радиус-вектора,
– угол между плоскостью экватора и радиус-вектором (широта),
λ – угол между плоскостью гринвичского меридиана и радиусвектором (долгота).
Следующая система координат применяется для искусственных
спутников Земли.
IV.
Оскулирующая система координат.
– угол между плоскостью орбиты и плоскостью экватора (наклонение
орбиты),
28
– долгота восходящего узла,
– аргумент перигея,
– большая полуось орбиты,
– эксцентриситет орбиты,
– время прохождения спутника через перицентр,
– угловая скорость движения спутника по орбите.
Если известны координаты в какой-то одной из описанных выше
систем координат, то получить координаты в любой другой системе можно с
помощью следующих формул перехода.
От I к II:
где
где
– звездное время в среднюю гринвичскую полночь для данной даты,
– угловая скорость вращения Земли, и
– среднее солнечное время.
От II к III:
От III к II:
От IV к I:
29
где
, – текущий момент времени.
Одним из методов, используемых для определения координаты точки
на Земле при помощи спутников, является дальномерный метод, основанный
на следующей навигационной формуле:
(10)
где
– это координаты спутника в гринвичской прямоугольной
системе координат, а
– координаты некоторой приближенной точки
на Земле, называемой счислимым местом.
В этом случае компонентами строк матрицы S будут являться частные
производные данной функции по координатам
и λ, вычисляемые по
следующим формулам:
(11)
(12)
Однако для того, чтобы была возможность измерять расстояние до
спутника, он должен находиться в зоне видимости. Это гарантируется
выполнением условия:
где
– радиус-вектор спутника, – радиус-вектор счислимого места.
Абсолютное время находится по формуле:
где date – это день, month – месяц, hour – час, min – минута,
относительного гринвичского времени,
– сдвиг в часах
– коэффициенты вектора:
30
3.2. Анализ результатов на примере системы спутников
В качестве примера можно рассмотреть систему из шести спутников с
координатами в оскулирующей системе координат. Все эти спутники имеют
орбиты радиусом
эксцентриситет
перигея
км, эти орбиты являются круговыми, поэтому
, наклон орбит составляет
, угловая скорость
градусов, аргумент
. Долгота восходящего узла и время
прохождения каждого спутника через перицентр представлены в таблице 1.
№ Ω (градусы) τ (минуты)
1
2
3
4
5
6
0
45
90
135
210
300
30
100
70
0
150
120
Таблица 1
В качестве счислимого места будут выступать координаты СанктПетербурга в гринвичской сферической системе координат:
радиус Земли,
– широта,
–
– долгота. 25 мая 2016 года в 10:00
в зоне видимости будут находиться первый и четвертый спутники. Первый
спутник будет наблюдаем в течение 1 часа и 5 минут с рассматриваемого
момента, четвертый – в течение 4 минут.
Координаты спутников меняются в зависимости от времени . После
преобразования координат спутников сначала в экваториальную
прямоугольную, затем в гринвичскую прямоугольную систему координат, а
также преобразования сферических координат счислимого места в
прямоугольные, можно определить вид навигационной функции (10), а также
31
найти ее производные по формулам (11) и (12). Таким образом, будут
найдены строки
(первый спутник) и
и
, отвечающие спутникам
(четвертый спутник) соответственно. Они будут иметь
следующий вид:
(1.7716*10^7*cos(u1) - 1.02274*10^7*sin(u1) - 4.09233*10^7*sin(u2) +
5.31574*10^7*cos(u3) + 3.06877*10^7*sin(u3))/((3749.5*cos(u1) +
11250.5*cos(u3) - 2728.41)^2 + (3749.5*sin(u1) - 11250.5*sin(u3) + 1575.11)^2
+ (12989.8*sin(u2) - 5455.72)^2)^(1/2),
-(1.0*(1.14097*10^7*cos(u1) - 3058400.0*sin(u1) 2.50611*10^7*cos(u3) + 2.5064*10^7*sin(u3)))/((3749.5*cos(u1) +
11250.5*cos(u3) - 2728.41)^2 + (3749.5*sin(u1) - 11250.5*sin(u3) +
1575.11)^2 + (12989.8*sin(u2) - 5455.72)^2)^(1/2),
-(1.0*(1.77136*10^7*cos(u1) + 4.09233*10^7*sin(u2) 1.02315*10^7*sin(u1) + 5.31503*10^7*cos(u3) +
3.07*10^7*sin(u3)))/(2.04576*10^7*cos(u1) - 0.00000253962*cos(u4) 1.41737*10^8*sin(u2) + 0.00000101877*sin(u4) - 1.18164*10^7*sin(u1) +
6.13836*10^7*cos(u3) + 3.54556*10^7*sin(u3) + 2.6469*10^8)^(1/2),
-(6.00895*10^(-26)*(9.83237*10^31*cos(u1) +
1.70226*10^32*sin(u1) + 2.95024*10^32*cos(u3) 5.10768*10^32*sin(u3)))/(2.04576*10^7*cos(u1) - 0.00000253962*cos(u4)
- 1.41737*10^8*sin(u2) + 0.00000101877*sin(u4) - 1.18164*10^7*sin(u1) +
6.13836*10^7*cos(u3) + 3.54556*10^7*sin(u3) + 2.6469*10^8)^(1/2),
u1 = 0.0399519*t - 1.83246,
u2 = 0.034904*t - 1.04712,
u3 = 0.0298561*t - 0.26178,
u4 = 0.069808*t.
Времени 10:00 25 мая соответствует абсолютное время
минут. Пусть производится измерение расстояния до спутников раз в три
секунды на протяжении трех минут, то есть всего будет произведено 60
измерений. Пусть возможно два переключения между наблюдаемыми
объектами. Функции
достигает своего минимума при значениях:
32
Это говорит о том, что необходимости во втором переключении нет,
так как момент времени
соответствует 60 измерению, после которого
наблюдение спутников прекращается. Таким образом получается, что нужно
снять 41 измерения с первого спутника, а затем переключиться на второй. В
этом случае дисперсия по второй координате, то есть по долготе, составит
.
33
Выводы
1. Произведено исследование различных подходов к решению задачи
определения параметров системы по результатам наблюдений, их
комбинации, а также перехода к непрерывному случаю.
2. Предложен метод нахождения нескольких моментов переключения
между наблюдаемыми объектами, а также проиллюстрировано его
преимущество перед методом с одним переключением.
3. Непрерывная модель для динамического случая проиллюстрирована
на примере определения координат точки на земной поверхности с
помощью системы спутников.
34
Заключение
Таким образом, несмотря на существующий к настоящему времени
мощный математический аппарат, а также увеличивающиеся с каждым годом
технические возможности, проблема определения параметров системы по
данным, получаемым в результате наблюдений, остается не до конца
изученной. Результаты, полученные в ходе выполнения данной работы,
могут послужить основой для дальнейших исследований. В частности,
остается открытым вопрос о связи оптимального количества переключений с
видом функций, которые соответствуют наблюдаемым объектам.
35
Список литературы
1. Кендалл М., Стюарт А. Статистические выводы и связи. Наука, 1973.
2. Рао С. Р. Линейные статистические методы и их применение. Наука,
1968.
3. Ющенко А. П. Способ наименьших квадратов. Изд. Морской
транспорт, 1956.
4. Чеботарев А. С. Способ наименьших квадратов с основами теории
вероятностей. ОНТИ, 1936.
5. Эльясберг П. Е. Определение движения по результатам измерений.
Наука, 1976.
6. Линник Ю. В. Метод наименьших квадратов и основы математикостатистической
теории обработки
наблюдений.
Государственное
издательство физико-математической литературы, 1958.
7. Зуховицкий
С.
И.,
Авдеева
Л.
И.
Линейное
и
выпуклое
программирование. Наука, 1964.
8. Федоров В. В. Теория оптимального эксперимента. Наука, 1971.
9. Kiefer J. Omtimum experimental designs // Actes du congrés international
des mathématiciens, Nice, France, T. 3, Septembre 1970.
10. V. Chashnikova. Choosing a measuring basis to estimate parameters of a
dynamic system // International conference ICNAAM 2015, Rhodos,
Greece, 23-30 September 2015.
11. Воеводин В. В. Линейная алгебра. Наука, 1980.
12. Лидов М., Л. К априорным оценкам точности определения параметров
по методу наименьших квадратов // Космические исследования, Т. 2,
Вып. 5, 1964.
13. Эльясберг П. Е., Бахшиян Б. Ц. Определение траектории полета
космического
аппарата
при
отсутствии
сведений
о
законе
распределения ошибок измерений // Космические исследования, Т. 7,
36
Вып. 1, 1969.
14. Юдин Д. Б., Гольдштейн Е. Г. Линейное программирование. Наука,
1969.
15. V. Tchashnikova. Optimal Choice of Observed Values for C2-class
Functions // International Conference of Informatics and Control, St.
Peterburg, 1997.
16. Чуров Е. П., Суворов Е. Ф. Космические средства судовождения.
Транспорт, 1979.
37
Отзывы:
Авторизуйтесь, чтобы оставить отзыв