Радиотехника и электроника, 2022, T. 67, № 9, стр. 875-889

Субоптимальные алгоритмы с переприсвоением параметров для приема и обработки BOC-сигналов в глобальных навигационных спутниковых системах

М. С. Ярлыков a*, С. М. Ярлыкова b**

a Редакция журнала “Радиотехника и электроника”
125009 Москва, ул. Моховая, 11, стр. 7, Российская Федерация

b Институт кибернетики Российского технологического университета МИРЭА
119454 Москва, просп. Вернадского, 78, Российская Федерация

* E-mail: red@cplire.ru
** E-mail: yarlykova@mirea.ru

Поступила в редакцию 05.04.2022
После доработки 24.04.2022
Принята к публикации 26.04.2022

Полный текст (PDF)

Аннотация

В рамках марковской теории оценивания на основе метода переприсвоения параметров вектора непрерывных процессов разработаны субоптимальные алгоритмы приема и обработки BOC-сигналов, предназначенных для применения в глобальных навигационных спутниковых системах (ГНСС), таких как GPS (США), ГЛОНАСС (Россия), Galileo (Евросоюз) и BeiDou (Китай). Задача решена применительно к векторному дискретно-непрерывному марковскому случайному процессу для случая, когда его непрерывная часть представляет собой векторный диффузионный марковский процесс, а дискретная часть характеризуется простой цепью Маркова на несколько положений. Принято, что полезные BOC-сигналы наблюдаются на фоне аддитивного белого гауссовского шума. Получены аналитические соотношения для субоптимальной условной оценки и матрицы ковариаций субоптимальных условных ошибок оценивания выборки вектора непрерывных параметров. Представлены структурные схемы тех модулей субоптимальной системы приема и обработки BOC-сигналов в ГНСС, которые отличаются от соответствующих модулей квазиоптимальной системы. Результаты работы полностью применимы в случаях шумоподобных сигналов современных ГНСС, у которых BOC-сигналы пока не используются.

ВВЕДЕНИЕ

Данная работа является развитием предыдущей работы [1], в которой на базе марковской теории оценивания (МТО) методом синтеза с переприсвоением параметров вектора непрерывных процессов (НП) были получены аналитические соотношения для оптимальных и квазиоптимальных алгоритмов приема и обработки навигационных шумоподобных сигналов (ШПС) и, в частности, перспективных BOC-сигналов (binary offset carrier modulated signals), глобальных навигационных спутниковых систем (ГНСС), таких как GPS (США), Galileo (Европейский союз), ГЛОНАСС (Россия) и BeiDou (Китай), а также региональных навигационных спутниковых систем NavIC (Индия) и QZSS (Япония) [26].

При реализации на практике в приемниках ГНСС синтезированных квазиоптимальных алгоритмов с учетом области применения и круга решаемых задач на них, как правило, накладываются дополнительные ограничения и приближения. В результате в приемниках ГНСС используются субоптимальные (более простые) алгоритмы.

В работе полагаем, что приемник ГНСС установлен на высокодинамичном подвижном объекте, в частности, на летательном аппарате (ЛА), таком как самолет, вертолет, беспилотный ЛА и т.д. При этом определение местоположения и параметров динамики перемещения подвижного объекта в ГНСС основывается на псевдодальномерном беззапросном методе, при котором требуется одновременная видимость минимум четырех навигационных космических аппаратов (НКА) [5, 6].

Чтобы на основе измеренных псевдодальностей вычислить прямоугольные координаты подвижного объекта (например, в системе ПЗ-90 или WGS-84), в приемнике ГНСС, кроме того, необходимо для каждого НКА иметь сведения об эфемеридах, альманахе, поправках к бортовой шкале времени (ШВ) и т.д., полученные с помощью принятой навигационной служебной информации (СИ) [5, 6].

Таким образом, принимаемый от j-го НКА полезный BOC-сигнал $s{{{\kern 1pt} }_{j}}(t)$ представляет собой нелинейную функцию от векторного дискретно-непрерывного процесса (ДНП) [XT(t), ${\kern 1pt} {{\Theta }_{j}}\left( t \right)$]T:

(1)
$s{{{\kern 1pt} }_{j}}(t) = {{s}_{j}}{\kern 1pt} \left[ {t,{{\Theta }_{j}}(t),{\mathbf{X}}{\text{(}}t{\text{)}}} \right],$
где $j$ – номер НКА, $j$ = $\overline {1{\kern 1pt} ,J} $, J – общее число всех одновременно видимых в данный момент времени НКА, Т – символ транспонирования.

Векторный ДНП [XT(t), ${\kern 1pt} {{\Theta }_{j}}\left( t \right)$]T имеет дискретную часть в виде дискретного процесса (ДП) ${\kern 1pt} {{\Theta }_{j}}{\kern 1pt} \left( {t{\kern 1pt} } \right)$, который содержит навигационную СИ от j-го НКА, и непрерывную часть, представляющую собой векторный диффузионный марковский случайный процесс X(t) (или его выборку).

Компоненты векторного НП X(t), как правило, характеризуют запаздывание принимаемого радиосигнала (содержащее информацию о пространственном положении и динамике перемещения подвижного объекта), фазу радиосигнала, доплеровский сдвиг частоты и т.д. [57].

Дискретный параметр ${\kern 1pt} {{\Theta }_{j}}\left( t \right)$ в принимаемом от j-го НКА BOC-сигнале ${{s}_{j}}(t)$ (1) является манипулируемой фазой и аппроксимируется простой цепью Маркова на $M$ положений [5, 6].

Задача синтеза оптимальных и квазиоптимальных алгоритмов приема и обработки BOC-сигналов в [1] была решена на основе МТО методами нелинейной обработки векторных дискретно-непрерывных марковских случайных процессов [711].

Как известно, у навигационных ШПС, в том числе и у BOC-сигналов, время корреляции компонент вектора НП X(t) много больше длительности такта цепи Маркова, характеризующей ДП ${\kern 1pt} {{{{\Theta }}}_{j}}\left( t \right)$ ($j$ = $\overline {1{\kern 1pt} \,,J} $) [4, 10, 11]. В силу этого в [1] вектор НП X(t) в пределах каждого тактового интервала принимаемого радиосигнала был аппроксимирован векторным квазислучайным процессом, что позволило при разработке алгоритмов применить метод поэтапного решения уравнения Стратоновича [10, 12].

Кроме того, в [1] при разложении совместной апостериорной плотности вероятности (АПВ) векторного ДНП [XT(t), ${\kern 1pt} {{\Theta }_{j}}\left( t \right)$]T был использован метод синтеза с переприсвоением параметров вектора НП X(t) [10, 11].

При получении субоптимальных алгоритмов многомерные дискриминаторы и другие модули в структуре приемников ГНСС разрабатываются применительно к своему частному пространству состояний, характеризуемому вектором параметров радиосигнала (ПРС) ${{{\mathbf{Y}}}_{j}}(t)$ [7, 13].

Каждый вектор ПРС Yj(t) соответствует принимаемому от j-го НКА BOC-сигналу ${{s}_{j}}(t)$ (1), который может быть записан в виде [1, 7, 10]:

(2)
$s{{{\kern 1pt} }_{j}}(t) = {{s}_{j}}{\kern 1pt} \left[ {t,{{\Theta }_{j}}({{t}_{k}}),{{{\mathbf{Y}}}_{j}}(t)} \right],\,\,\,\,j = \overline {1{\kern 1pt} ,J} .$

Компоненты вектора ПРС ${{{\mathbf{Y}}}_{j}}(t)$ представляют собой параметры, от которых принимаемый радиосигнал $s{{{\kern 1pt} }_{j}}{\kern 1pt} (t)$ непосредственно зависит (псевдодальность и псевдоскорость подвижного объекта, фаза и частота сигнала ${{s}_{j}}(t)$ и т.п.). Число векторов ПРС ${{{\mathbf{Y}}}_{j}}(t)$ равно $J$ – числу всех одновременно видимых НКА.

Взаимосвязь каждого вектора ПРС ${{{\mathbf{Y}}}_{j}}(t)$ с вектором НП ${\mathbf{X}}(t)$ определяется соотношением [1, 7, 13]:

(3)
${{{\mathbf{Y}}}_{j}}(t) = {{{\mathbf{L}}}_{j}}\left\{ {{\mathbf{X}}(t)} \right\},$
где ${{{\mathbf{L}}}_{j}}\left\{ {{\mathbf{X}}(t)} \right\}$ – известная нелинейная векторная функция, вектор-столбец ${{{\mathbf{Y}}}_{j}}(t)$ имеет размер ($m{\kern 1pt} \, \times 1{\kern 1pt} $), вектор-столбец ${\mathbf{X}}{\text{(}}t{\text{)}}$ имеет размер $(n \times 1{\kern 1pt} )$.

При получении субоптимальных алгоритмов важную роль играют матрицы Якоби, характеризующие функциональные связи между компонентами вектора НП X(t) и векторов ПРС ${{{\mathbf{Y}}}_{j}}(t)$, где $j$ = $\overline {1{\kern 1pt} ,J} $.

Матрица Якоби $L_{j}^{'}({\kern 1pt} t)$ определяется как частная производная вектора-столбца ${{{\mathbf{Y}}}_{j}}(t)$ по вектору-столбцу ${\mathbf{X}}{\text{(}}t{\text{)}}$ [7, 10, 13]:

(4)
${\mathbf{L}}_{j}^{'}(t) \triangleq \frac{{\partial {{{\mathbf{Y}}}_{j}}(t)}}{{\partial {\kern 1pt} {\mathbf{X}}(t)}} = \left[ {\begin{array}{*{20}{c}} {\frac{{\partial {\kern 1pt} {{y}_{{j1}}}}}{{\partial {{x}_{1}}}}}&{\frac{{\partial {\kern 1pt} {{y}_{{j1}}}}}{{\partial {{x}_{2}}}}}&{...}&{\frac{{\partial {\kern 1pt} {{y}_{{j1}}}}}{{\partial {{x}_{n}}}}} \\ {\frac{{\partial {\kern 1pt} {{y}_{{j{\kern 1pt} 2}}}}}{{\partial {{x}_{1}}}}}&{\frac{{\partial {\kern 1pt} {{y}_{{j2}}}}}{{\partial {{x}_{2}}}}}&{...}&{\frac{{\partial {\kern 1pt} {{y}_{{{\kern 1pt} j2}}}}}{{\partial {{x}_{n}}}}} \\ {...}&{...}&{}&{...} \\ {\frac{{\partial {\kern 1pt} {{y}_{{j{\kern 1pt} m}}}}}{{\partial {{x}_{1}}}}}&{\frac{{\partial {\kern 1pt} {{y}_{{{\kern 1pt} jm}}}}}{{\partial {{x}_{2}}}}}&{...}&{\frac{{\partial {\kern 1pt} {{y}_{{j{\kern 1pt} m}}}}}{{\partial {\kern 1pt} {{x}_{n}}}}} \end{array}} \right],\,\,\,\,j = \overline {1,J} .$

Видно, что каждая матрица Якоби ${\mathbf{L}}_{j}^{'}({\kern 1pt} t)$ имеет размер ($m{\kern 1pt} \,\, \times n{\kern 1pt} $).

Для ряда приложений в области навигации, в том числе и применительно к ГНСС, изменения во времени элементов матриц Якоби ${\mathbf{L}}_{j}^{'}({\kern 1pt} t)$, где $j$ = $\overline {1{\kern 1pt} ,J} $, на тактовых полуинтервалах $[{{t}_{k}},{{t}_{{k + 1}}})$, где $k = 0,1,2,...$, пренебрежимо малы. В силу этого при формировании субоптимальных алгоритмов полагаем постоянными во времени матрицы Якоби на тактовых полуинтервалах [7, 10, 13]:

(5)
${\mathbf{L}}_{j}^{'}({\kern 1pt} t) = {\mathbf{L}}_{j}^{'} = {\text{const}},\,\,\,\,t \in [{{t}_{k}},{{t}_{{k + 1}}}),\,\,\,\,k = 0,1,2,...$

Как видно из (3) и (4), число матриц Якоби ${\mathbf{L}}_{j}^{'}({\kern 1pt} t)$ равно числу всех одновременно видимых НКА $J$.

Цель работы – на основе алгоритмов с переприсвоением параметров получить аналитические соотношения субоптимальных условных оценок выборки вектора НП X(t) и ковариационной матрицы субоптимальных условных ошибок оценивания выборки вектора НП X(t), а также разработать соответствующую структурную схему тех модулей субоптимальной системы, которые отличны от модулей соответствующей квазиоптимальной системы.

В примерах используются sinBOC-сигналы с меандровой модуляцией типа BOC(1,1) на несущей частоте ${{f}_{{\text{Н}}}}$ = 1575.42 МГц при базовой (опорной) частоте ${{f}_{{{\text{О}}{\kern 1pt} {\text{П}}}}}$ = 1.023 МГц, которые характерны для E1OS сигналов ГНСС Galileo и для L1C сигналов ГНСС GPS применительно к спутникам GPS III [3, 4, 14, 15].

В работе всюду каждый вектор представляет собой вектор-столбец; производная от скалярной функции по вектору-столбцу понимается как вектор-строка, а выражения вида $\left[ {{\partial \mathord{\left/ {\vphantom {\partial {\partial {\mathbf{Y}}_{{jk}}^{ * }}}} \right. \kern-0em} {\partial {\mathbf{Y}}_{{jk}}^{ * }}}} \right]$ рассматриваются как операторы, воздействующие на функции, расположенные после них.

1. ПОСТАНОВКА ЗАДАЧИ

Полагаем, что вектор наблюдения (ВН) $\Xi {\kern 1pt} {\kern 1pt} (t)$ на входе приемника ГНСС имеет вид

(6)
$\begin{gathered} \Xi {\kern 1pt} (t) = [{{\xi }_{1}}(t),{{\xi }_{{\text{2}}}}(t),...,{{\xi }_{j}}(t),...,{{\xi }_{J}}(t)]{{{\kern 1pt} }^{T}},\,\,\,\,{\text{где}} \\ t \in \left[ {{{t}_{0}},t} \right),\,\,\,\,j = \overline {1,J} , \\ \end{gathered} $

и характеризуется соотношением

(7)
${\mathbf{\Xi }}{\kern 1pt} {\kern 1pt} (t) = {\mathbf{S}}(t) + {{{\mathbf{G}}}_{\Xi }}(t){\kern 1pt} {\mathbf{N}}(t),\,\,\,\,t \in [{{t}_{0}},t),\,\,\,\,j = \overline {1,J} ,$
где
${\mathbf{S}}(t) = [{{s}_{1}}(t),{{s}_{2}}(t),...,{{s}_{j}}(t), \ldots ,{{s}_{J}}(t)]{{{\kern 1pt} }^{T}}$
– вектор принимаемых полезных BOC-сигналов от всей совокупности J одновременно видимых в данный момент НКА группировки ГНСС;
${\mathbf{N}}(t) = [{{n}_{1}}(t),{{n}_{2}}(t),...,{{n}_{j}}(t), \ldots ,{{n}_{J}}(t)]{{{\kern 1pt} }^{T}}$
– вектор аддитивных независимых стандартных белых гауссовских шумов (БГШ) с известными характеристиками; $j$ – номер НКА.

Переходная матрица ${{{\mathbf{G}}}_{\Xi }}(t)$, входящая в (7), определяет матрицу интенсивностей шумов ${{{\mathbf{B}}}_{{\Xi \Xi }}}(t)$:

(8)
${{{\mathbf{B}}}_{{\Xi \Xi }}}(t) = {{{\mathbf{G}}}_{\Xi }}(t){\mathbf{G}}_{\Xi }^{T}(t),$
где матрица ${{{\mathbf{B}}}_{{\Xi \Xi }}}(t)$ – невырожденная, т.е. ${\mathbf{B}}_{{\Xi \Xi }}^{{ - 1}}\left( t \right)$ существует.

Наблюдение на входе приемника ГНСС от $j$-го НКА ${{\xi }_{j}}(t)$ представляет собой согласно (7) аддитивную смесь полезного BOC-сигнала и шума:

(9)
${{\xi }_{j}}(t) = {{s}_{j}}(t) + {{n}_{j}}(t),\,\,\,\,t \in [{{t}_{0}},t),j = \overline {1,J} ,$
где ${{s}_{j}}(t)$ – принимаемый полезный BOC-сигнал от j-го НКА на входе приемника ГНСС, характеризуемый (7); ${{n}_{j}}(t)$ – аддитивная флуктуационная помеха в наблюдении ${{\xi }_{j}}(t)$ от j-го НКА.

Флуктуационная помеха ${{n}_{j}}(t)$, аппроксимируемая стационарным БГШ, имеет статистические характеристики, определяемые согласно (7), которые записываются в виде

$M[{{n}_{j}}(t)] = 0;\,\,\,\,M[{{n}_{j}}(t){{n}_{j}}(t + \tau )] = \frac{1}{2}{{N}_{{0j}}}\delta \left| {\tau \,} \right|,$
где ${{N}_{{0j}}}$ – интенсивность j-го БГШ, $M[\, \cdot \,]$ – символ усреднения по множеству реализаций.

Полезные BOC-сигналы ${\mathbf{S}}(t)$ на входе приемника ГНСС достаточно детально рассмотрены в [1].

Принятый от j-го НКА полезный BOC-сигнал ${{s}_{j}}(t)$ (1) с использованием многопозиционной фазовой манипуляции (ФМ) для передачи СИ согласно [1] описывается следующим выражением:

(10)
$\begin{gathered} {{s}_{j}}(t) = {{A}_{j}}{\kern 1pt} {{d}_{j}}(t - {{\tau }_{З}}_{j})\cos [({{\omega }_{{\text{Н}}}}_{j} + \Delta {{\omega }_{{D{\kern 1pt} j}}} + \Delta {{\omega }_{{{\kern 1pt} j}}}) \times \\ \times \,\,(t - {{\tau }_{З}}_{j}) + {\kern 1pt} {{\Theta }_{j}}({{t}_{k}} - {{\tau }_{{Зj}}})\frac{{2\pi }}{M} + {{\varphi }_{j}}(t){\kern 1pt} ],\,\,\,j = \overline {1,J} , \\ \end{gathered} $
где ${{A}_{{j\,}}}$ – амплитуда BOC-сигнала, принимаемого от j-го НКА; ${{d}_{j}}(t)$ – модулирующая функция (МФ) BOC-сигнала ${{s}_{j}}(t)$, отражающая специфику навигационных ШПС и собственно BOC-сигналов; ${{\Theta }_{j}}({{t}_{k}})$ – информационный ДП, предназначенный для передачи СИ от j-го НКА; ${{\varphi }_{{j\,}}}(t)$ – фаза радиосигнала; ${{\omega }_{{j\,{\text{Н}}}}} = 2\pi {\kern 1pt} {{f}_{{j\,{\text{Н}}}}}$ – круговая несущая частота радиосигнала; ${{f}_{{j\,{\text{Н}}}}}$ – несущая частота BOC-сигнала; ${{\tau }_{{Зj}}}$ – запаздывание принимаемого радиосигнала ${{s}_{j}}(t)$ на трассе от j-го НКА до подвижного объекта; $\Delta {{\omega }_{{D{\kern 1pt} j}}}$ – доплеровский сдвиг несущей частоты принимаемого радиосигнала ${{s}_{j}}(t)$ на трассе от j-го НКА до приемника ГНСС; $\Delta {{\omega }_{{{\kern 1pt} j}}}$ – медленный сдвиг несущей частоты ${{\omega }_{{j\,{\text{Н}}}}}$, возникающий в канале распространения радиосигнала ${{s}_{j}}(t)$ и в измерительном устройстве приемника. Начало отсчета в (10) принято равным ${{t}_{0}}$ = 0.

В формуле (10) $M = {{2}^{n}}$ представляет собой показатель многопозиционности ФМ, n – целое положительное число. Так, например, при $M = 2$ ($i$ = $\overline {1{\kern 1pt} ,2} $) имеет место двоичная ФМ, при $M = 4$ ($i$ = $\overline {1{\kern 1pt} ,4} $) – квадратурная ФМ.

Отметим, что в (10) и далее используется более общая модель ФМ (многопозиционная ФМ на $M$ положений) по сравнению с двоичной ФМ, которая используется в навигационных сигналах современных ГНСС.

Характеризующий в (10) многопозиционную ФМ ДП ${{\Theta }_{j}}({{t}_{k}})$ = $\left\{ {{{\vartheta }_{i}}} \right\}$ применительно к j-му НКА определяется соотношением

(11)
$\vartheta {{{\kern 1pt} }_{i}}\,\, = i - 1,\,\,\,\,{{\Theta }_{j}}({{t}_{k}}) = \left\{ {i--1} \right\},$
где $i$ – номер состояния ДП ${{\Theta }_{j}}({{t}_{k}})$, $i$ = $\overline {1{\kern 1pt} ,M} $.

У навигационных BOC-сигналов ${{s}_{j}}(t)$ (10) МФ ${{d}_{j}}(t)$ в простейшем случае является результатом перемножения двух двоичных последовательностей: псевдослучайной последовательности (ПСП) дальномерного кода ${{g}_{j}}(t)$ и меандрового поднесущего колебания (МПК) ${{r}_{j}}(t)$ (специфика BOC-сигналов) [24]. Тогда МФ навигационного BOC-сигнала ${{d}_{j}}(t)$ записывается в виде [24]

(12)
${{d}_{j}}(t - {{t}_{0}}) = {{g}_{j}}(t - {{t}_{0}})\,{{r}_{j}}(t - {{t}_{0}}),$
где ${{g}_{j}}(t)$ – ПСП дальномерного кода, характеризующая навигационный ШПС применительно к j-му НКА, и ${{r}_{j}}(t)$ – МПК, отражающее специфику собственно BOC-сигнала ${{s}_{j}}(t)$. Последовательности ${{g}_{j}}(t)$ и ${{r}_{j}}(t)$ состоят из чередующихся единичных видеоимпульсов соответствующей длительности, меняющих свою полярность по определенным законам согласно кодовым коэффициентам, значения которых на каждом такте равны +1 или –1.

Вектор принимаемых полезных BOC-сигналов ${\mathbf{S}}(t)$ (7) от всей совокупности $J$ одновременно видимых в данный момент НКА группировки ГНСС может быть представлен в виде

(13)
${\mathbf{S}}(t) = {\mathbf{S}}\left[ {t,{{{\mathbf{\Theta }}}_{k}},{\mathbf{X}}{\text{(}}t{\text{)}}} \right],$
где ${{{\mathbf{\Theta }}}_{k}} = [{{\Theta }_{{1k}}},{{\Theta }_{{2k}}},...,{{\Theta }_{{jk}}},...,{{\Theta }_{{Jk}}}]{{{\kern 1pt} }^{T}}$ – вектор ДП применительно ко всей совокупности J одновременно видимых НКА; ${{\Theta }_{{jk}}}$ = ${{\Theta }_{j}}({{t}_{k}})$ – ДП принимаемого BOC-сигнала ${{s}_{j}}(t)$ (10) от j-го НКА.

Свойства и характеристики вектора НП ${\mathbf{X}}{\text{(}}t{\text{)}}$, а также его взаимосвязь с векторами ПРС ${{{\mathbf{Y}}}_{j}}(t)$, где $j = \overline {1{\kern 1pt} ,J} $, применительно к решаемой задаче изложены в [1].

Для характеристики вектора НП ${\mathbf{X}}(t)$ в [1] использована типовая математическая модель (ММ) динамики объектов навигации (например, ЛА) на основе прямоугольной гринвичской системы координат, которая описывает положение подвижного объекта и его движение в пространстве применительно к небольшим отрезкам времени [1, 7].

Согласно принятой ММ динамики ЛА имеем, что вектор НП ${\mathbf{X}}(t)$ представляет собой многокомпонентный диффузионный гауссовский марковский процесс, который в общем виде может быть описан векторно-матричным линейным стохастическим дифференциальным уравнением [1, 7]:

(14)
$\begin{gathered} \frac{d}{{dt}}{\mathbf{X}}(t) = {{{\mathbf{A}}}_{X}}(t){\mathbf{X}}(t) + {{{\mathbf{С}}}_{X}}(t){\kern 1pt} {\kern 1pt} {{{\mathbf{U}}}_{{{\text{упр}}}}}(t) + {{{\mathbf{G}}}_{X}}(t){\kern 1pt} {\kern 1pt} {{{\mathbf{N}}}_{X}}(t), \\ {\mathbf{X}}({{t}_{0}}) = {{{\mathbf{X}}}_{0}}, \\ \end{gathered} $
где ${\mathbf{X}}(t) = {{[{{x}_{1}}(t),{{x}_{{\text{2}}}}(t),..,{{x}_{n}}(t)]}^{T}}$ – вектор-столбец НП размером ($n{\kern 1pt} \,\, \times 1$); $n$ – число компонент вектора НП ${\mathbf{X}}(t)$; ${{{\mathbf{A}}}_{{\mathbf{X}}}}(t)$ – матрица состояния размером ($n\,\,{\kern 1pt} \times n$); ${{{\mathbf{U}}}_{{{\text{упр}}}}}(t)$ – детерминированный вектор управления; ${{{\mathbf{С}}}_{X}}(t)$ – матрица управления; ${{{\mathbf{N}}}_{X}}(t)$ – вектор стандартных БГШ; ${{{\mathbf{G}}}_{X}}(t)$ – матрица интенсивностей шумов; ${{{\mathbf{B}}}_{{XX}}}(t) = {{{\mathbf{G}}}_{X}}(t){\mathbf{G}}_{X}^{T}(t)$ – матрица коэффициентов диффузии вектора НП ${\mathbf{X}}(t)$.

Конкретный вид матриц применительно к (14) приведен в [1], где также содержится описание компонент нелинейной векторной функции ${{{\mathbf{L}}}_{j}}\left\{ {{\mathbf{X}}(t)} \right\}$ (3).

У навигационного BOC-сигнала, излучаемого j-м НКА, возможные моменты перехода ДП ${{\Theta }_{j}}({{t}_{k}})$ из одного состояния в другое являются дискретными и определяются выражением ${{t}_{k}} = {{t}_{0}} + kT$, где длительность такта $T = {\text{const}}$.

Длительность такта $T$=$\,{{t}_{{k + 1}}}\,--{{t}_{k}}{\kern 1pt} $ ДП ${{\Theta }_{j}}({{t}_{k}})$ для ГНСС типа ГЛОНАСС, GPS и Galileo равна длительности информационной посылки СИ: $T$ = = ${{\tau }_{{{\text{СИ}}}}}$ = 20 мс [5, 6].

На входе приемника ГНСС у принимаемого от j-го НКА полезного BOC-сигнала ${{s}_{j}}(t)$ (10) возможные моменты времени перехода ДП ${{\Theta }_{j}}({{t}_{k}} - {{\tau }_{{Зj}}})$ из одного состояния в другое являются случайными, поскольку они зависят от случайного запаздывания ${{\tau }_{{Зj}}}$ принимаемого сигнала.

Напомним, что далее применительно к ДП ${{\Theta }_{j}}({{t}_{k}})$ в принимаемом от j-го НКА BOC-сигнале ${{s}_{j}}(t)$ (10) индекс j там, где это не затрудняет понимания, не приводим.

На всех тактовых полуинтервалах времени $[{{t}_{k}},{{t}_{{k + 1}}})$, где $k = 0,1,2, \ldots $, ДП $\Theta ({{t}_{k}})$ остается постоянным и характеризуется априорным уравнением вида

(15)
$\frac{{d{\mathbf{\Theta }}(t)}}{{d{\kern 1pt} t}} = 0,\,\,\,\,{\text{где}}\,\,\,\,t \in [{{t}_{k}},{{t}_{{k + 1}}}),k = 0,1,2, \ldots $

Вектор вероятностей начального состояния ДП $\Theta ({{t}_{k}})$ и матрица одношаговых вероятностей перехода соответственно имеют вид [1, 10, 11]:

(16)
$\begin{gathered} {{{\mathbf{P}}}_{{{\theta }}}}({{t}_{0}}) = \left\{ {{{P}_{{\vartheta i}}}({{t}_{0}})} \right\},\,\,\,\,{\text{где}}\,\,\,\,i = \overline {1{\kern 1pt} ,M} ; \\ {\mathbf{\pi }}({{t}_{k}}) = [{{\pi }_{{il}}}({{t}_{k}})],\,\,\,\,\,{\text{где}} \\ {{\pi }_{{il}}}({{t}_{k}}) = P\left\{ {\Theta ({{t}_{k}} + 0) = \left. {{{\vartheta }_{l}}} \right|\Theta ({{t}_{k}} - 0) = {{\vartheta }_{i}}} \right\}, \\ i,l = \overline {1,M} . \\ \end{gathered} $

В начале k-го такта $[{{t}_{k}},{{t}_{{k + 1}}})$ вероятности состояний ДП $\Theta ({{t}_{k}})$

${{P}_{{\vartheta i}}}({{t}_{k}} + 0) \triangleq P({{t}_{k}} + 0,{\kern 1pt} \,\,\Theta ({{t}_{k}} + 0) = \vartheta {{{\kern 1pt} }_{i}})$

определяются формулой [1, 10, 11]:

(17)
${{P}_{{\vartheta i}}}({{t}_{k}} + 0) = \sum\limits_{m = 1}^M {{{\pi }_{{m{\kern 1pt} {\kern 1pt} i}}}({{t}_{k}})} {{P}_{{\vartheta m}}}({{t}_{k}}--0),\,\,\,i = \overline {1,M} ,$
где ${{P}_{{\vartheta m}}}({{t}_{k}}--0)$ – вероятность состояния ДП $\Theta ({{t}_{k}})$ в конце (k – 1)-го такта $[{{t}_{{k--1}}},{{t}_{k}})$.

Для повышения конструктивности решения задачи синтеза в [1] при использовании методов МТО было применено двухэтапное решение уравнения Стратоновича [10, 12].

Применяя метод двухэтапного решения уравнения Стратоновича, удается применительно к j-му НКА обоснованно упростить ММ оцениваемого вектора состояния (ВС), представляющего собой ДНП [XT(t), ${\kern 1pt} {{\Theta }_{j}}\left( t \right)$]T, и тем самым улучшить конструктивность решения задачи синтеза [1, 12, 13].

Суть такого упрощения ММ оцениваемого ВС [XT(t), ${\kern 1pt} {{\Theta }_{j}}\left( t \right)$]T заключается в возможности описания на тактовых полуинтервалах времени $[{{t}_{k}},{{t}_{{k + 1}}})$, где ${{t}_{k}}$ = ${{t}_{0}}$ + $k{\kern 1pt} {\kern 1pt} {{\tau }_{{{\text{СИ}}}}}$ (k = 0, 1, 2, …), компонент вектора ${\mathbf{X}}(t)$ квазислучайными процессами. Применительно к ГНСС ${{\tau }_{{{\text{СИ}}}}}$ = 20 мс [5, 6]. Обработка ВН $\Xi {\kern 1pt} {\kern 1pt} (t)$ (6–8) при этом выполняется в два этапа.

На первом этапе применительно к каждому k-му такту $[{{t}_{k}},{{t}_{{k + 1}}})$, где $k = 0,\,1,\,2,..$, обрабатывается только вектор НП ${\mathbf{X}}(t)$ (14) оцениваемого ВС [XT(t), ${\kern 1pt} {{\Theta }_{j}}\left( t \right)$]T, поскольку ДП ${\kern 1pt} {{\Theta }_{j}}\left( {t{\kern 1pt} } \right)$ при этом остается постоянным.

В таком случае для первого этапа обработки удается найти точное решение уравнения Стратоновича как решение нелинейной задачи оценки параметров в силу аппроксимации ММ вектора НП ${\mathbf{X}}(t)$ (14) векторным квазислучайным процессом.

На втором этапе обработка осуществляется в дискретном времени в точках $t = {{t}_{k}} + 0$, где $k = 0,1,2, \ldots $, т.е. в точках возможной смены состояния ДП ${\kern 1pt} {{\Theta }_{j}}\left( {t{\kern 1pt} } \right)$ (с учетом запаздывания ${{\tau }_{{Зj}}}$ принимаемого BOC-сигнала ${{s}_{j}}(t)$ (10) на трассе).

При этом оценки компонент вектора НП ${\mathbf{X}}(t)$, полученные на первом этапе обработки, используются в качестве начальных значений для второго этапа обработки ВС [XT(t), ${\kern 1pt} {{\Theta }_{j}}\left( t \right)$]T, где $j = \overline {1{\kern 1pt} ,J} $.

В дискретные моменты времени ${{t}_{k}}$, где k = $ = 0,1,2,..$, вектор НП ${{{\mathbf{X}}}_{k}} = {\mathbf{X}}({{t}_{k}})$, характеризуемый (14), описывается эквивалентным линейным векторно-матричным стохастическим разностным уравнением

(18)
$\begin{gathered} {{{\mathbf{X}}}_{k}} = {{{\mathbf{\Phi }}}_{{XX}}}({{t}_{k}},{{t}_{{k - 1}}}){{{\mathbf{X}}}_{{k - 1}}} + \\ + \,\,{{{\mathbf{\Psi }}}_{{XU}}}({{t}_{k}},{{t}_{{k - 1}}}){{U}_{{{\text{упр}}{\kern 1pt} {\kern 1pt} k}}} + {{{\mathbf{\Gamma }}}_{X}}({{t}_{k}},{{t}_{{k - 1}}})\,{{{\mathbf{N}}}_{{X{\kern 1pt} k}}}, \\ \end{gathered} $
где ${{{\mathbf{N}}}_{{X{\kern 1pt} k}}} = {{{\mathbf{N}}}_{X}}({{t}_{k}})$ – вектор формирующих стандартных дискретных БГШ, ${{{\mathbf{\Phi }}}_{{XX}}}$, ${{{\mathbf{\Psi }}}_{{XU}}}$ и ${{{\mathbf{\Gamma }}}_{X}}$ – известные матрицы, ${{U}_{{{\text{упр}}{\kern 1pt} {\kern 1pt} k}}}$ – дискретный вектор управления.

Аналогично [1] полагаем, что длительность тактового интервала (информационной посылки СИ) $T$ =${{t}_{{k + 1}}}--{{t}_{k}}{\kern 1pt} $ ДП $\Theta \,({{t}_{k}})$ ($T$ = ${{\tau }_{{{\text{СИ}}}}}$ = 20 мс) достаточно мала, чтобы в (1) вектор НП ${\mathbf{X}}(t)$ на каждом полуинтервале $[{{t}_{k}},{{t}_{{k + 1}}})$, $k = 0,\,1,\,2,...$, можно было с требуемой для оценивания степенью точности аппроксимировать векторным квазислучайным процессом [1, 10, 12]:

(19)
$\begin{gathered} {\mathbf{X}}(t) = {\mathbf{f}}(t,{{{\mathbf{X}}}_{k}}),\,\,\,\,t \in [{{t}_{k}},{{t}_{{k + 1}}}),k = 0,1,2,..., \\ {{{\mathbf{X}}}_{0}} = {\mathbf{X}}({{t}_{0}}), \\ \end{gathered} $
где ${\mathbf{f}}(\, \cdot \,)$ – детерминированная векторная функция; ${{{\mathbf{X}}}_{k}} = {\mathbf{X}}({{t}_{k}}) = {\mathbf{f}}({{t}_{k}},{{{\mathbf{X}}}_{k}})$ – начальное значение на $k$-м такте.

Функция ${\mathbf{f}}(t,{{{\mathbf{X}}}_{k}})$ равна [1, 10, 12]

(20)
${\mathbf{f}}(t,{{{\mathbf{X}}}_{k}}) = {{{\mathbf{\Phi }}}_{{XX}}}(t,{{t}_{k}}){\kern 1pt} {\kern 1pt} {{{\mathbf{X}}}_{k}},\,\,\,\,t \in [{{t}_{k}},{{t}_{{k + 1}}}),$
где ${{{\mathbf{\Phi }}}_{{XX}}}(t,{{t}_{k}})$ – переходная матрица состояния (18).

В соответствии с (19) принимаемый от j-го НКА полезный BOC-сигнал $s{{{\kern 1pt} }_{j}}(t)$ (1) в пределах одного тактового полуинтервала $[{{t}_{k}},{{t}_{{k + 1}}})$ принимает вид

(21)
$s{{{\kern 1pt} }_{j}}{\kern 1pt} (t) = s{{{\kern 1pt} }_{j}}{\kern 1pt} {\kern 1pt} \left[ {t,{\kern 1pt} {{\Theta }_{{j{\kern 1pt} k}}}{\kern 1pt} {\kern 1pt} ,{\mathbf{f}}({{t}_{k}},{{{\mathbf{X}}}_{k}})} \right],$
где ${{\Theta }_{{j{\kern 1pt} k}}} = {{\Theta }_{j}}({{t}_{k}}){\kern 1pt} {\kern 1pt} ,$ $t \in [{{t}_{k}},{{t}_{{k + 1}}})$, $k = 0,\,1,\,2,...$, $j$ = $\overline {1{\kern 1pt} ,J} $.

2. ОПТИМАЛЬНЫЕ И КВАЗИОПТИМАЛЬНЫЕ ОЦЕНКИ НА ОСНОВЕ АЛГОРИТМОВ С ПЕРЕПРИСВОЕНИЕМ ПАРАМЕТРОВ ВЕКТОРНОГО ДИСКРЕТНО-НЕПРЕРЫВНОГО ПРОЦЕССА [XT(t), ${\kern 1pt} {{\Theta }_{j}}{\kern 1pt} {\kern 1pt} \left( {t{\kern 1pt} } \right)$]T

Задача синтеза, решенная в [1], заключается в том, чтобы на $k$-м такте $[{{t}_{k}},{{t}_{{k + 1}}})$, где $k = 0,\,1,\,2,...$, имея априорные сведения (11), (18) и (17) и располагая ВН (6) и (7) об оцениваемом ВС [XT(t), ${\kern 1pt} {{\Theta }_{j}}{\kern 1pt} {\kern 1pt} \left( {t{\kern 1pt} } \right)$]T, на основе метода с переприсвоением параметров вектора НП получить оптимальную оценку ${{{\mathbf{\hat {X}}}}_{{k + 1}}}$ выборки вектора НП ${\mathbf{X}}(t)$ и оптимальные оценки ${{\hat {\Theta }}_{j}}$$\left( {{{t}_{{k + 1}}} - 0} \right)$ компонент вектора ДП ${{{\mathbf{\Theta }}}_{k}} = [{{\Theta }_{{1k}}},{{\Theta }_{{2k}}},...,{{\Theta }_{{jk}}},...,{{\Theta }_{{Jk}}}]{{{\kern 1pt} }^{T}}$ применительно ко всей совокупности J одновременно видимых НКА.

Полученная в [1] оптимальная оценка ${{{\mathbf{\hat {X}}}}_{{k + 1}}}$ выборки вектора НП ${\mathbf{X}}(t)$ удовлетворяет критерию минимума апостериорного риска при квадратичной функции потерь.

Известно, что оптимальной оценкой ${{{\mathbf{\hat {X}}}}_{{k + 1}}}$, удовлетворяющей этому критерию, является апостериорное математическое ожидание ${{M}_{{p{\kern 1pt} s}}}\left[ {{{{\mathbf{X}}}_{{k + 1}}}} \right]$ выборки вектора НП ${\mathbf{X}}(t)$ [811]:

(22)
${{{\mathbf{\hat {X}}}}_{{k + {\kern 1pt} {\kern 1pt} 1}}} = {{M}_{{p{\kern 1pt} s}}}\left[ {{{{\mathbf{X}}}_{{k + 1}}}} \right] = \int\limits_{{{{\mathbf{X}}}_{{k + 1}}}} {{{{\mathbf{X}}}_{{k + 1}}}\,{{p}_{{p{\kern 1pt} s}}}\left( {t,{{{\mathbf{X}}}_{{k + 1}}}} \right)d\,{{{\mathbf{X}}}_{{k + 1}}}} ,$
где ${\mathbf{\hat {X}}}(t)$ – оптимальная оценка вектора НП ${\mathbf{X}}(t)$;
${{p}_{{p{\kern 1pt} s}}}\left( {t,{{{\mathbf{X}}}_{{k + 1}}}} \right) \triangleq p(t,\left. {{{{\mathbf{X}}}_{{k + 1}}}} \right|{\mathbf{\Xi }}{\kern 1pt} {\kern 1pt} _{{{{t}_{0}}}}^{{t{{{\kern 1pt} }_{{k + 1}}}}})$
– АПВ выборки вектора НП ${{{\mathbf{X}}}_{{k + 1}}}$;
${\mathbf{\Xi }}{\kern 1pt} _{{{{t}_{0}}}}^{{{{t}_{{k + 1}}}}} = \left\{ {{\mathbf{\Xi }}(\tau ):\tau \in [{{t}_{0}},{{t}_{{k + 1}}}]\,} \right\}$
– реализация ВН ${\mathbf{\Xi }}{\kern 1pt} {\kern 1pt} (t)$ на отрезке $[{{t}_{0}},{{t}_{{k + 1}}}]$ применительно к входу приемника ГНСС.

Если АПВ ${{p}_{{p{\kern 1pt} s}}}\left( {t,{{{\mathbf{X}}}_{{k + 1}}}} \right)$ является унимодальной и гауссовской, то оптимальная оценка ${\mathbf{\hat {X}}}(t)$ согласно критерию (22) и критерию максимума АПВ совпадают [811], что и полагаем выполненным в дальнейшем.

Оптимальная оценка ${{\hat {\Theta }}_{j}}$$\left( {{{t}_{{k + 1}}} - 0} \right)$ ДП ${{\Theta }_{j}}{\kern 1pt} {\kern 1pt} \left( {t{\kern 1pt} } \right)$, где $j$ = $\overline {1{\kern 1pt} \,,J} $, применительно к j-му НКА в соответствии с [1] удовлетворяет критерию минимума апостериорного риска при простой функции потерь, что эквивалентно критерию максимума апостериорной вероятности (АВ) ДП ${{\Theta }_{j}}{\kern 1pt} {\kern 1pt} \left( {t{\kern 1pt} } \right)$ [811]:

(23)
${{\hat {\Theta }}_{j}}\left( {{{t}_{{k + 1}}} - 0} \right) = \vartheta {{{\kern 1pt} }_{i}}\,:\mathop {\max }\limits_{\vartheta {{{\kern 1pt} }_{1}} \leqslant \vartheta {{{\kern 1pt} }_{i}} \leqslant {{\vartheta }_{{{\kern 1pt} M}}}} \left\{ {{{P}_{{i{\kern 1pt} p{\kern 1pt} s}}}({{t}_{{k + 1}}} - 0)} \right\},$
где ${{P}_{{i{\kern 1pt} p{\kern 1pt} s}}}({{t}_{{k + 1}}} - 0)$ – АВ состояния ДП ${{\Theta }_{j}}{\kern 1pt} {\kern 1pt} \left( {t{\kern 1pt} } \right)$ в момент времени $t = {{t}_{{k + 1}}} - 0$.

Задача синтеза оптимальных и квазиоптимальных алгоритмов приема и обработки BOC-сигналов была решена в [1] на базе МТО методами нелинейной обработки векторных ДНП [712].

Реализация полученных в [1] оптимальных алгоритмов практически затруднена, так как требует знания АПВ вектора НП ${\mathbf{X}}\left( t \right)$. В таких случаях, как обычно, применен метод гауссовской аппроксимации, при котором истинная АПВ вектора НП ${\mathbf{X}}\left( t \right)$ аппроксимируется законом Гаусса, и формируются квазиоптимальные алгоритмы [811].

Особенностью применения метода гауссовской аппроксимации применительно к алгоритмам с переприсвоением параметров вектора НП в [1] является то, что гауссовским законом аппроксимируются условные по ДП $\Theta \left( t \right)$ АПВ

${{p}_{{p{\kern 1pt} s}}}\left( {{{t}_{{k + 1}}} + 0,{{{\mathbf{X}}}_{{k + 1}}}\left| {j,i} \right.} \right).$
При формировании оптимальной оценки ДП ${{\hat {\Theta }}_{j}}$$\left( {{{t}_{{k + 1}}} - 0} \right)$ на $k$-м такте все АВ ${{P}_{{i{\kern 1pt} p{\kern 1pt} s}}}({{t}_{{k + 1}}} - 0)$, где $i = \overline {1,{\kern 1pt} {\kern 1pt} M} $, вычисляются в конце первого этапа обработки, т.е. в момент времени $t = $ ${{t}_{{k + 1}}} - 0$, где $k = 0,1,2,....$ Поскольку в течение всего полуинтервала $[{{t}_{k}},{{t}_{{k + 1}}})$ ДП ${\kern 1pt} {{\Theta }_{j}}{\kern 1pt} {\kern 1pt} \left( {t{\kern 1pt} } \right)$ не меняет своего значения, то к окончанию полуинтервала точность оценивания АВ ${{P}_{{i{\kern 1pt} p{\kern 1pt} s}}}({{t}_{{k + 1}}} - 0)$ ДП ${\kern 1pt} {\kern 1pt} {{\Theta }_{j}}{\kern 1pt} {\kern 1pt} \left( {t{\kern 1pt} } \right)$ максимальна.

Соотношение, характеризующее АВ ${{P}_{{i{\kern 1pt} p{\kern 1pt} s}}}(t)$ на первом этапе обработки, имеет следующий вид [1]:

(24)
${{P}_{{i{\kern 1pt} p{\kern 1pt} s}}}(t) = \frac{{{{P}_{{i{\kern 1pt} p{\kern 1pt} s}}}({{t}_{k}} + 0)\exp \left\{ {{{\Phi }_{{{{{\mathbf{X}}}_{k}}i}}}\left( t \right)} \right\}}}{{\sum\limits_{l = 1}^M {{{P}_{{lp{\kern 1pt} s}}}({{t}_{k}} + 0)\exp \left\{ {{{\Phi }_{{{{{\mathbf{X}}}_{k}}l}}}\left( t \right)} \right\}} }},$
где
(25)
${{\Phi }_{{{{{\mathbf{X}}}_{k}}i}}}\left( t \right) \triangleq \int\limits_{{{t}_{k}}}^t {{{M}_{{p{\kern 1pt} s{{{\mathbf{X}}}_{k}}}}}\left\{ {{{F}_{{\Sigma i}}}(\tau ,{{{\mathbf{X}}}_{k}})} \right\}d\tau } $
– усредненный по ${{{\mathbf{X}}}_{k}}$ парциальный ($i$-й) логарифм функционала правдоподобия (ЛФП) вектора НП ${{{\mathbf{X}}}_{k}}$.

Входящая в (25) производная по времени от ЛФП ${{F}_{{\Sigma i}}}(\tau ,{{{\mathbf{X}}}_{k}}{\kern 1pt} )$ применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}{\kern 1pt} {\kern 1pt} (t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}})$ от всех одновременно видимых J НКА определяется по формуле [1]

(26)
$\begin{gathered} {{F}_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{k}}) \triangleq {{F}_{\Sigma }}\left[ {{\kern 1pt} t,{{{\mathbf{\Theta }}}_{k}} = \left\{ {{{\vartheta }_{i}}} \right\}{\kern 1pt} ,{\mathbf{f}}(t,{{{\mathbf{X}}}_{k}})} \right] = \\ = {{{\mathbf{S}}}^{T}}\left( {t,{{{\mathbf{\Theta }}}_{k}} = \left\{ {\vartheta {{{\kern 1pt} }_{i}}} \right\}{\kern 1pt} ,{{{\mathbf{X}}}_{k}}} \right) \times \\ \times \,\,{\mathbf{B}}_{{\Xi \Xi }}^{{--1}}\left[ {{\mathbf{\Xi }}{\kern 1pt} (t) - \frac{1}{2}{\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}} = \left\{ {{{\vartheta }_{i}}} \right\},{{{\mathbf{X}}}_{k}})} \right], \\ \end{gathered} $
где ${{{\mathbf{\Theta }}}_{k}} = [{{\Theta }_{{1k}}},{{\Theta }_{{2k}}},...,{{\Theta }_{{jk}}},...,{{\Theta }_{{Jk}}}]{{{\kern 1pt} }^{T}}$ – вектор ДП для всей совокупности J одновременно видимых НКА.

Усредненное по ${{{\mathbf{X}}}_{k}}$ значение производной по времени от ЛФП ${{F}_{{\Sigma i}}}(\tau ,{{{\mathbf{X}}}_{k}}{\kern 1pt} )$ характеризуется формулой

(27)
$\begin{gathered} {{M}_{{p{\kern 1pt} s{{{\mathbf{X}}}_{k}}}}}\left\{ {{{F}_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{k}})} \right\} \triangleq \\ \triangleq \int\limits_{{{{\mathbf{X}}}_{k}}} {{{F}_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{k}}){{p}_{{p{\kern 1pt} s{\kern 1pt} 1}}}\left( {t,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i} \right.} \right)d{{{\mathbf{X}}}_{k}}} . \\ \end{gathered} $

Начальное условие для (24) Pi ps(tk + 0) определяется на втором этапе обработки на предыдущем ($k$ – 1)-м такте.

Таким образом, на основе критерия (23) в соответствии с (24) на $k$-м такте в конце первого этапа обработки, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$ ($k = 0,\;1,\;2,\,...$), формируются оптимальные оценки ДП ${{\hat {\Theta }}_{j}}$$\left( {{{t}_{{k + 1}}} - 0} \right)$, где $j = \overline {1{\kern 1pt} ,J} $.

3. СУБОПТИМАЛЬНЫЕ ОЦЕНКИ НА ОСНОВЕ АЛГОРИТМОВ С ПЕРЕПРИСВОЕНИЕМ ПАРАМЕТРОВ ВЕКТОРНОГО ДИСКРЕТНО-НЕПРЕРЫВНОГО ПРОЦЕССА [XT(t),${\kern 1pt} {\kern 1pt} {{\Theta }_{j}}{\kern 1pt} {\kern 1pt} \left( {t{\kern 1pt} } \right)$]T

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

В результате используются субоптимальные (более простые) алгоритмы.

В задачах синтеза, решаемых на основе МТО, основное упрощение субоптимальных алгоритмов (по сравнению с квазиоптимальными алгоритмами) состоит в том, что в таких алгоритмах применительно к векторным ДНП матрицы Якоби ${\mathbf{L}}_{j}^{'}({\kern 1pt} t)$(4) на тактовых полуинтервалах $[{{t}_{k}},{{t}_{{k + 1}}})$ принимаются постоянными во времени: ${\mathbf{L}}_{j}^{'}({\kern 1pt} t) = $ ${\mathbf{L}}_{j}^{'} = $ = const (5) [16]. По этой причине в подобных задачах субоптимальные алгоритмы отличаются от соответствующих квазиоптимальных лишь на первом этапе обработки, где и фигурируют матрицы Якоби.

На втором этапе в случае субоптимальных алгоритмов обработка сигналов на каждом такте производится по тем же алгоритмам, что и при квазиоптимальных алгоритмах [1, 13].

При формировании субоптимальных алгоритмов в качестве исходных в соответствии с [1] используем соотношения в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, для квазиоптимальной условной оценки

$\begin{gathered} {\mathbf{X}}_{{j,i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) \triangleq {\mathbf{X}}{\text{*}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.; \\ {{\Theta }_{{jk}}} = {{\vartheta }_{i}};\,\,\,\,j\,\,--\,\,{\text{номер НКА}}) = \\ = \int\limits_{{{{\mathbf{X}}}_{k}}} {{{{\mathbf{X}}}_{k}}p_{{p{\kern 1pt} s{\kern 1pt} {\kern 1pt} 1}}^{ * }\left( {\,{{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i} \right.\,} \right)d{{{\mathbf{X}}}_{k}}} \\ \end{gathered} $
и матрицы ковариаций квазиоптимальных условных ошибок оценивания
$\begin{gathered} {\mathbf{K}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) \triangleq {\mathbf{K}}{\text{*}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.; \\ {{\Theta }_{{jk}}} = {{\vartheta }_{i}}\,;\,\,j\,\,--\,\,{\text{номер НКА}}) = \\ = \int\limits_{{{{\mathbf{X}}}_{k}}} {\left[ {{{{\mathbf{X}}}_{k}}--{\mathbf{X}}_{{j,i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)} \right]} \times \\ \times \,\,{{\left[ {{{{\mathbf{X}}}_{k}}--{\mathbf{X}}_{{j,i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)} \right]}^{T}} \times \\ \times \,\,p_{{p{\kern 1pt} s{\kern 1pt} {\kern 1pt} 1}}^{ * }\left( {{{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i} \right.} \right)d{{{\mathbf{X}}}_{k}}, \\ \end{gathered} $
где
$\begin{gathered} p_{{p{\kern 1pt} s{\kern 1pt} 1}}^{ * }{\kern 1pt} \left( {{{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i\,} \right.} \right) \triangleq \\ \triangleq p_{{{\kern 1pt} 1}}^{ * }{\kern 1pt} \left( {{\kern 1pt} {{t}_{{k + 1}}} - 0,\left. {{{{\mathbf{X}}}_{k}}} \right|{\mathbf{\Xi }}_{{{{t}_{0}}}}^{{^{{{{t}_{{k + 1}}}--0}}}}{\text{;}}\,\,{{\Theta }_{{jk}}} = \vartheta {{{\kern 1pt} }_{i}};\,\,j\,--\,{\text{номер НКА}}} \right) \\ \end{gathered} $
– квазиоптимальная условная АПВ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$; ${\mathbf{X}}_{k}^{ * }$ – квазиоптимальная оценка вектора НП ${{{\mathbf{X}}}_{k}}$; $j$ = $\overline {1{\kern 1pt} ,J} $, $i = \overline {1,M} $.

Квазиоптимальная условная оценка (1-й момент условной АПВ $p_{{p{\kern 1pt} s{\kern 1pt} 1}}^{ * }{\kern 1pt} \left( {{{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i} \right.} \right)$) в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, характеризуется следующим рекуррентным соотношением [1]:

(28)
$\begin{gathered} {\mathbf{X}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) = {{{\mathbf{X}}}_{0}} + \\ + \,\,{\mathbf{K}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)\Phi _{{\Sigma i}}^{'}({{t}_{{k + {\kern 1pt} 1}}} - 0,{{{\mathbf{X}}}_{0}}{\kern 1pt} ), \\ \end{gathered} $
где

(29)
$\begin{gathered} \Phi _{{\Sigma i}}^{'}({{t}_{{k + {\kern 1pt} 1}}} - 0,{{{\mathbf{X}}}_{0}}) \triangleq {{[\frac{{\partial {{\Phi }_{{\Sigma i}}}({{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{0}})}}{{\partial {\kern 1pt} {\kern 1pt} {{{\mathbf{X}}}_{0}}{\kern 1pt} }}]}^{T}} = \\ = \int\limits_{{{t}_{k}}}^{{{t}_{{k + {\kern 1pt} 1}}} - 0} {{\kern 1pt} {\kern 1pt} {{{\left[ {\frac{{\partial {\kern 1pt} {{F}_{{\Sigma i}}}(\tau ,{{{\mathbf{X}}}_{0}})}}{{\partial {\kern 1pt} {\kern 1pt} {{{\mathbf{X}}}_{0}}}}} \right]}}^{T}}d\tau } \\ \end{gathered} $

– первая производная по вектору ${{{\mathbf{X}}}_{0}}$ парциального ($i$-го) ЛФП ${{\Phi }_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{0}})$, представляющая собой вектор-столбец размером ($n{\kern 1pt} \,\, \times 1$).

В формулах (28), (29) и далее для краткости используется обозначение:

$\begin{gathered} {\kern 1pt} {{{\mathbf{X}}}_{0}} \triangleq {\mathbf{X}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{k}} + 0\left| {{{t}_{k}} + 0} \right.) = \\ = {{{\mathbf{X}}}^{ * }}({{t}_{k}} + \left. 0 \right|{{\Theta }_{{jk}}} = {{\vartheta }_{i}};\,\,j\,\,--\,\,{\text{номер НКА}}) = \\ = {{M}_{{p{\kern 1pt} sj,i{\kern 1pt} }}}\left\{ {{{{\mathbf{X}}}_{k}}} \right\} = \int\limits_{{{{\mathbf{X}}}_{k}}} {{{{\mathbf{X}}}_{k}}p_{{p{\kern 1pt} s{\kern 1pt} }}^{ * }\left( {{{t}_{k}} + 0,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i} \right.} \right)d{{{\mathbf{X}}}_{k}}} \\ \end{gathered} $
– квазиоптимальная условная оценка выборки вектора НП ${{{\mathbf{X}}}_{k}}$ в конце второго этапа обработки на предыдущем ($k$ – 1)-м такте, т.е. в момент времени $t = {{t}_{k}} + 0$, при приеме BOC-сигнала ${{s}_{j}}(t)$ (10) от j-го НКА; $k = 0,{\kern 1pt} {\kern 1pt} 1,{\kern 1pt} {\kern 1pt} 2,..,$ $j$ = $\overline {1{\kern 1pt} ,J} $, $i = \overline {1,M} $.

Входящая в (29) производная по времени от парциального ЛФП (т.е. ЛФП, соответствующего значению ДП ${{\theta }_{k}} = \vartheta {{{\kern 1pt} }_{i}}$) ${{F}_{{\Sigma i}}}(\tau ,{{{\mathbf{X}}}_{k}}{\kern 1pt} )$ применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}{\kern 1pt} {\kern 1pt} (t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}})$ от всех одновременно видимых J НКА характеризуется формулой (26). Сам парциальный ЛФП ${{\Phi }_{{\Sigma \,i}}}(t,{{{\mathbf{X}}}_{k}})$ определяется как

(30)
${{\Phi }_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{k}}) = \int\limits_{{{t}_{k}}}^t {{{F}_{{\Sigma i}}}(\tau ,{{{\mathbf{X}}}_{k}}){\kern 1pt} d\tau } .$

Матрица ковариаций квазиоптимальных условных ошибок оценивания (2-й момент условной АПВ $p_{{p{\kern 1pt} s{\kern 1pt} 1}}^{ * }{\kern 1pt} \left( {{{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i} \right.} \right)$) в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, характеризуется следующим рекуррентным соотношением [1]:

(31)
$\begin{gathered} {\mathbf{K}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) = \\ = {{\left[ {{{{\left[ {{{{\mathbf{K}}}_{0}}} \right]}}^{{ - 1}}} - \Phi _{{\Sigma \,i}}^{{{\text{''}}}}({{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{0}})} \right]}^{{ - 1}}}, \\ \end{gathered} $
где
(32)
$\begin{gathered} \Phi _{{\Sigma i}}^{{{\text{''}}}}(t,\,{{{\mathbf{X}}}_{0}}) \triangleq \frac{{\partial {{{\kern 1pt} }^{2}}{\kern 1pt} {{\Phi }_{{\Sigma \,i}}}(t,{{{\mathbf{X}}}_{0}})}}{{{{{(\partial {{{\mathbf{X}}}_{0}})}}^{2}}}} = {{\left[ {\frac{\partial }{{\partial {{{\mathbf{X}}}_{0}}}}} \right]}^{T}}\frac{{\partial {\kern 1pt} {\kern 1pt} {{\Phi }_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{0}})}}{{\partial {\kern 1pt} {{{\mathbf{X}}}_{0}}}} = \\ = \int\limits_{{{t}_{k}}}^t {{{{\left[ {\frac{\partial }{{\partial {{{\mathbf{X}}}_{0}}}}} \right]}}^{T}}\frac{{\partial {{F}_{{\Sigma i}}}(\tau ,{{{\mathbf{X}}}_{0}})}}{{\partial {{{\mathbf{X}}}_{0}}}}d\tau } = {{\left[ {\frac{\partial }{{\partial {{{\mathbf{X}}}_{0}}}}} \right]}^{T}}\int\limits_{{{t}_{k}}}^{{\kern 1pt} t} {\frac{{\partial {{F}_{{\Sigma i}}}(\tau ,{{{\mathbf{X}}}_{0}})}}{{\partial {{{\mathbf{X}}}_{0}}}}d\tau } \\ \end{gathered} $
– вторая производная по вектору ${{{\mathbf{X}}}_{0}}$ парциального ($i$-го) ЛФП ${{\Phi }_{{\Sigma \,i}}}(t,{{{\mathbf{X}}}_{0}})$, представляющая собой матрицу размером ($n{\kern 1pt} \,\, \times n{\kern 1pt} $);

(33)
$\begin{gathered} {{{\mathbf{K}}}_{0}} \triangleq {\mathbf{K}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{k}} + 0\left| {{{t}_{k}} + 0} \right.) = \\ = {\mathbf{K}}{\text{*}}{\kern 1pt} ({{t}_{k}} + \left. 0 \right|{{\Theta }_{{jk}}} = {{\vartheta }_{i}};\,\,j\,\,--\,\,{\text{номер НКА}}) = \\ = {{M}_{{p{\kern 1pt} sj,{\kern 1pt} {\kern 1pt} i{\kern 1pt} {\kern 1pt} }}}\left\{ {\left[ {{{{\mathbf{X}}}_{k}}--{{{\mathbf{X}}}_{0}}} \right]{{{\left[ {{{{\mathbf{X}}}_{k}}--{{{\mathbf{X}}}_{0}})} \right]}}^{T}}} \right\} = \\ = \int\limits_{{{{\mathbf{X}}}_{k}}} {\left[ {{{{\mathbf{X}}}_{k}}--{{{\mathbf{X}}}_{0}}} \right]{{{\left[ {{{{\mathbf{X}}}_{k}}--{{{\mathbf{X}}}_{0}}} \right]}}^{T}}p_{{p{\kern 1pt} s{\kern 1pt} }}^{ * }\left( {{{t}_{k}} + 0,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i\,} \right.} \right)d{{{\mathbf{X}}}_{k}}} \\ \end{gathered} $

– матрица ковариаций квазиоптимальных условных ошибок оценивания $\left[ {{{{\mathbf{X}}}_{k}}--{\mathbf{X}}_{{j,i}}^{ * }({{t}_{k}} + 0\left| {{{t}_{k}} + 0} \right.)} \right]$ в конце второго этапа обработки на предыдущем ($k$ – 1)-м такте, т.е. в момент времени $t = {{t}_{k}} + 0$, при приеме BOC-сигнала ${{s}_{j}}(t)$ (10) от j-го НКА; функция ${{F}_{{\Sigma i}}}(\tau ,{\mathbf{X}}_{k}^{ * })$ в (32) определяется согласно (26); $k = 0,1,2,..,$ $j$ = $\overline {1{\kern 1pt} ,J} $, $i = \overline {1,M} $.

Отметим, что в (32) и далее производная от скалярной функции по вектору-столбцу всюду, как обычно$,$ понимается как вектор-строка, а выражение ${{\left( {{\partial \mathord{\left/ {\vphantom {\partial {\partial {\mathbf{X}}_{k}^{ * }}}} \right. \kern-0em} {\partial {\mathbf{X}}_{k}^{ * }}}} \right)}^{T}}$ представляет собой дифференциальный оператор, воздействующий на функцию, расположенную от него справа.

Соответствующие соотношения для квазиоптимальной безусловной оценки ${\mathbf{X}}{\text{*}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ и матрицы ковариаций квазиоптимальных безусловных ошибок оценивания ${\mathbf{K}}{\text{*}}({\kern 1pt} {\kern 1pt} {{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, применительно к (28) и (31) имеют вид [1]

(34)
$\begin{gathered} {\mathbf{X}}{\text{*}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) = \\ = \sum\limits_{i = 1}^M {{{P}_{{i{\kern 1pt} p{\kern 1pt} s}}}({{t}_{{k + 1}}} - 0){\mathbf{X}}_{{j,i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)} ; \\ \end{gathered} $
(35)
$\begin{gathered} {\mathbf{K}}{\text{*(}}{\kern 1pt} {{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) = \sum\limits_{i = 1}^M {{{P}_{{ip{\kern 1pt} s}}}({{t}_{{k + 1}}} - 0)} \times \\ \times \,\,\left\{ {{\mathbf{K}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) + } \right. \\ + \,\,\left[ {{\mathbf{X}}_{{j,\,i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) - {\mathbf{X}}{\text{*}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)} \right] \times \\ \times \,\,\left. {{{{\left[ {{\mathbf{X}}_{{j,\,i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) - {{{\mathbf{X}}}^{ * }}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)} \right]}}^{T}}} \right\}, \\ \end{gathered} $
где ${{P}_{{i{\kern 1pt} p{\kern 1pt} s}}}({{t}_{{k + 1}}} - 0)$ – АВ состояния ДП ${{\Theta }_{{j{\kern 1pt} k}}}$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$; $k = 0,1,2,..$, $i = \overline {1,M} ,$ $j = \overline {1{\kern 1pt} ,J} $.

Являющиеся исходными для разработки субоптимальных алгоритмов соотношения, которые характеризуют квазиоптимальную условную оценку ${\mathbf{X}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ и матрицу ковариаций квазиоптимальных условных ошибок оценивания ${\mathbf{K}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$, соответственно имеют вид (28) и (31).

При переходе от квазиоптимальных алгоритмов к субоптимальным, как следует из рассмотрения (28) и (31), преобразованиям и упрощениям подвергаются первая $\Phi _{{\Sigma i}}^{'}({{t}_{{k + {\kern 1pt} 1}}} - 0,{{{\mathbf{X}}}_{0}})$ (29) и вторая $\Phi _{{\Sigma i}}^{{{\text{''}}}}({{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{0}})$ (32) производные по вектору ${{{\mathbf{X}}}_{0}}$ парциального ($i$-го) ЛФП ${{\Phi }_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{0}})$, что обусловлено взаимосвязями векторов ПРС ${{{\mathbf{Y}}}_{j}}(t)$ и вектора НП ${\mathbf{X}}(t)$. В выражениях для производных при этом следует переходить к их зависимостям от векторов ПРС ${{{\mathbf{Y}}}_{j}}(t)$, а не от вектора НП ${\mathbf{X}}(t)$.

Первая производная $\Phi _{{\Sigma i}}^{'}({{t}_{{k + {\kern 1pt} 1}}} - 0,{{{\mathbf{X}}}_{0}})$ (29) и вторая производная $\Phi _{{\Sigma i}}^{{{\text{''}}}}({{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{0}})$ (32) получены применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}\left[ {t,{{{\mathbf{\Theta }}}_{k}}{\kern 1pt} ,{{{\mathbf{X}}}_{k}}} \right]$ (7), (13) от всех одновременно видимых $J$ НКА.

Производная по времени парциального ($i$-го) ЛФП ${{F}_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{k}})$ применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}})$ (7) от всех одновременно видимых $J$ НКА характеризуется выражением (26).

При рассмотрении зависимостей производных $\Phi _{{\Sigma i}}^{'}(t,{{{\mathbf{X}}}_{k}})$ и $\Phi _{{\Sigma i}}^{{{\text{''}}}}(t,{{{\mathbf{X}}}_{k}})$ от векторов ПРС ${{{\mathbf{Y}}}_{j}}(t)$ (а не от вектора НП ${\mathbf{X}}(t)$) следует использовать производную по времени ЛФП ${{F}_{j}}(t,{{\Theta }_{j}}({{t}_{k}}),{{{\mathbf{Y}}}_{{jk}}})$ и производную по времени парциального ($i$-го) ЛФП ${{F}_{{ji}}}(t,{{{\mathbf{Y}}}_{{jk}}}) \triangleq $ ${{F}_{j}}(t,{{\Theta }_{j}}({{t}_{k}}) = \left\{ {{\kern 1pt} \vartheta {{{\kern 1pt} }_{i}}} \right\},{{{\mathbf{Y}}}_{{jk}}})$ для какого-либо одного BOC-сигнала $s{{{\kern 1pt} }_{j}}(t) = s{{{\kern 1pt} }_{j}}{\kern 1pt} {\kern 1pt} \left[ {t,{{\Theta }_{j}}({{t}_{k}}){\kern 1pt} ,{{{\mathbf{Y}}}_{j}}{\kern 1pt} (t)} \right]$ (2) и (10), принимаемого от j-го НКА, а не от совокупности сигналов ${\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}})$, принимаемых от всех видимых $J$ НКА.

Производная по времени ЛФП ${{F}_{j}}(t,{{\Theta }_{j}}({{t}_{k}}),{{{\mathbf{Y}}}_{{jk}}})$ применительно к BOC-сигналу sj(t) = sj[t, Θj(tk), Yj(t)], принимаемому от j-го НКА, характеризуется следующим выражением [13]:

(36)
${{F}_{j}}(t,{{{\mathbf{Y}}}_{{jk}}}) = \frac{2}{{{{N}_{{0j}}}}}\left[ {{{\xi }_{j}}(t){{s}_{j}}(t,{{{\mathbf{Y}}}_{{jk}}}{\kern 1pt} )--\frac{1}{2}s_{j}^{2}(t,{{{\mathbf{Y}}}_{{jk}}}{\kern 1pt} )} \right].$

Производная по времени парциального ($i$-го) ЛФП ${{F}_{{ji}}}(t,{{{\mathbf{Y}}}_{{jk}}}{\kern 1pt} )$ применительно к BOC-сигналу

${{s}_{{ji}}}{\kern 1pt} (t) = {{s}_{j}}\left[ {t,{{\Theta }_{j}}{\kern 1pt} ({{t}_{k}}) = \left\{ {{\kern 1pt} \vartheta {{{\kern 1pt} }_{i}}} \right\},{{{\mathbf{Y}}}_{j}}{\kern 1pt} (t)} \right],$
принимаемому от j-го НКА, записывается в виде [13]

(37)
$\begin{gathered} {{F}_{{ji}}}(t,{{{\mathbf{Y}}}_{{jk}}}{\kern 1pt} ) = \frac{2}{{{{N}_{{0j}}}}}\left[ {{{\xi }_{j}}(t){{s}_{{ji}}}(t,{{{\mathbf{Y}}}_{{jk}}}{\kern 1pt} )--\frac{1}{2}s_{{ji}}^{2}(t,{{{\mathbf{Y}}}_{{jk}}}{\kern 1pt} )} \right], \\ i = \overline {1,M} . \\ \end{gathered} $

Формула связи между производной по времени ЛФП ${{F}_{\Sigma }}\left( {{\kern 1pt} t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}}} \right)$ для совокупности принимаемых BOC-сигналов ${\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}})$ от всех одновременно видимых $J$ НКА и производной по времени ЛФП ${{F}_{j}}(t,{{\Theta }_{j}}({{t}_{k}}),{{{\mathbf{Y}}}_{{jk}}})$ для BOC-сигнала $s{{{\kern 1pt} }_{j}}\left[ {t,{{\Theta }_{j}}{\kern 1pt} ({{t}_{k}}),{{{\mathbf{Y}}}_{j}}{\kern 1pt} (t)} \right]$, принимаемого от j-го НКА, определяется следующим соотношением [10, 13]:

(38)
${{F}_{\Sigma }}\left( {{\kern 1pt} t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}}} \right) = \sum\limits_{j = 1}^{J{\text{ }}} {{{F}_{j}}(t,{{\Theta }_{j}}({{t}_{k}}),{{{\mathbf{Y}}}_{{jk}}})} .$

Соответствующая формула связи между производной по времени от парциального ($i$-го) ЛФП ${{F}_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{k}})$ для совокупности принимаемых BOC‑сигналов ${\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}} = \left\{ {{{\vartheta }_{i}}} \right\},{{{\mathbf{X}}}_{k}})$ от всех одновременно видимых $J$ НКА и производной по времени парциального ($i$-го) ЛФП ${{F}_{{ji}}}(t,{{{\mathbf{Y}}}_{{jk}}}{\kern 1pt} )$ для BOC-сигнала

${{s}_{{ji}}}(t) = s{{{\kern 1pt} }_{j}}{\kern 1pt} {\kern 1pt} \left[ {t,{{\Theta }_{j}}{\kern 1pt} ({{t}_{k}}) = \left\{ {{\kern 1pt} \vartheta {{{\kern 1pt} }_{i}}} \right\},{{{\mathbf{Y}}}_{j}}{\kern 1pt} (t)} \right],$
принимаемого от j-го НКА$,$ имеет вид

(39)
${{F}_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{k}}) = \sum\limits_{j = 1}^{J{\text{ }}} {{{F}_{{ji}}}(t,{{{\mathbf{Y}}}_{{jk}}}{\kern 1pt} )} ,\,\,\,\,{\text{где}}\,\,\,\,i = \overline {1,M} .$

Формулы связи, аналогичные (38) и (39), для самих ЛФП могут быть представлены в следующем виде:

(40)
${{\Phi }_{\Sigma }}\left( {{\kern 1pt} t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}}} \right) = \sum\limits_{j = 1}^{J{\text{ }}} {{{\Phi }_{j}}(t,{{\Theta }_{j}}({{t}_{k}}),{{{\mathbf{Y}}}_{{jk}}})} ,$
(41)
${{\Phi }_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{k}}) = \sum\limits_{j = 1}^{J{\text{ }}} {{{\Phi }_{{ji}}}(t,{{{\mathbf{Y}}}_{{jk}}})} ,$
где ${{\Phi }_{\Sigma }}\left( {{\kern 1pt} t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}}} \right)$ – ЛФП для совокупности принимаемых BOC-сигналов ${\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}})$ от всех одновременно видимых $J$ НКА; ${{\Phi }_{{\Sigma i}}}(t,{{{\mathbf{X}}}_{k}})$ – парциальный ($i$-й) ЛФП для совокупности принимаемых BOC-сигналов ${\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}} = \left\{ {\vartheta {{{\kern 1pt} }_{i}}} \right\},{{{\mathbf{X}}}_{k}})$ от всех одновременно видимых $J$ НКА.

Как следует из рассмотрения (29) и (32), чтобы вычислить первую $\Phi _{{\Sigma i}}^{'}(t,{\mathbf{X}}_{k}^{ * })$ и вторую $\Phi _{{\Sigma i}}^{{{\text{''}}}}(t,{\mathbf{X}}_{k}^{ * })$ производные, необходимо знать

$\frac{{\partial {{F}_{{\Sigma i}}}(\tau ,{\mathbf{X}}_{k}^{ * })}}{{\partial {\mathbf{X}}_{k}^{ * }}}$
и, следовательно, с учетом (39) требуется найти
$\frac{{\partial {\kern 1pt} {{F}_{{ji}}}(t,{{{\mathbf{Y}}}_{j}}(t))}}{{\partial {\mathbf{X}}(t)}},$
где ${{F}_{{ji}}}(t,{{{\mathbf{Y}}}_{j}}(t){\kern 1pt} )$ определяется согласно (37).

Видно, что

(42)
$\begin{gathered} \frac{{\partial {\kern 1pt} {{F}_{{ji}}}(t,{{{\mathbf{Y}}}_{j}}(t){\kern 1pt} )}}{{\partial {\kern 1pt} {\kern 1pt} {\mathbf{X}}(t)}} = \frac{{\partial {{F}_{{ji}}}(t,{{{\mathbf{Y}}}_{j}}(t))}}{{\partial {{{\mathbf{Y}}}_{j}}(t)}}\frac{{\partial {\kern 1pt} {\kern 1pt} {{{\mathbf{Y}}}_{j}}(t)}}{{\partial {\kern 1pt} {\kern 1pt} {\mathbf{X}}(t)}} = \\ = \frac{{\partial {{F}_{{ji}}}(t,{{{\mathbf{Y}}}_{j}}(t){\kern 1pt} )}}{{\partial {{{\mathbf{Y}}}_{j}}(t)}}{\mathbf{L}}_{j}^{'}({\kern 1pt} t), \\ \end{gathered} $
где матрица Якоби ${\mathbf{L}}_{j}^{'}({\kern 1pt} t)$ характеризуется формулой (4); ${{{\mathbf{Y}}}_{j}}(t)$ = ${{\left[ {{{y}_{{j1}}}(t){{y}_{{j2}}}(t), \ldots ,{{y}_{{j{\kern 1pt} m}}}(t)} \right]}^{Т}}$ – вектор-столбец размером ($m{\kern 1pt} \,\, \times 1$); ${\mathbf{X}}(t)$ $ = {{[{{x}_{1}}(t){{x}_{{\text{2}}}}(t) \ldots {{x}_{n}}(t)]}^{T}}$ – вектор-столбец размером ($n{\kern 1pt} \, \times \,1$).

3.1. Субоптимальная условная оценка ${\mathbf{\tilde {X}}}{\kern 1pt} ({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$

Субоптимальная условная (по ДП ${{\Theta }_{{jk}}}$) оценка ${{{\mathbf{\tilde {X}}}}_{{ji}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ выборки вектора НП ${{{\mathbf{X}}}_{k}}$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, при приеме BOC-сигнала ${{s}_{j}}(t)$ (16) от j-го НКА определяется как

(43)
$\begin{gathered} {{{{\mathbf{\tilde {X}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) = \\ = \int\limits_{{{{\mathbf{X}}}_{k}}} {{{{\mathbf{X}}}_{k}}{{{\tilde {p}}}_{{p{\kern 1pt} s1}}}({{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{k}}\left| {j,i} \right.)d{{{\mathbf{X}}}_{k}}} , \\ \end{gathered} $
где
(44)
${{\tilde {p}}_{{p{\kern 1pt} s1}}}({{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i} \right.) = \mathcal{N}\left\{ {{{{\mathbf{X}}}_{k}}--{{{{\mathbf{\tilde {X}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.);{\mathbf{\tilde {K}}}_{{j,i}}^{{}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.{\kern 1pt} )} \right\}$
– субоптимальная условная АПВ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$; ${{{\mathbf{\tilde {X}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ – субоптимальная условная оценка выборки вектора НП ${{{\mathbf{X}}}_{k}}$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$; ${{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.{\kern 1pt} )$ – матрица ковариаций субоптимальных условных ошибок оценивания $\left[ {{{{\mathbf{X}}}_{k}}--{{{{\mathbf{\tilde {X}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)} \right]$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$; $\mathcal{N}$ – символ гауссовского закона распределения.

Субоптимальная условная оценка ${{{\mathbf{\tilde {X}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0\,} \right.)$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, на основании (28)–(30) характеризуется следующим рекуррентным соотношением:

(45)
$\begin{gathered} {{{{\mathbf{\tilde {X}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) = \\ = {{{{\mathbf{\tilde {X}}}}}_{0}} + {{{{\mathbf{\tilde {K}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)\,\Phi _{{\Sigma i}}^{'}({{t}_{{k + 1}}} - 0,{{{{\mathbf{\tilde {X}}}}}_{0}}), \\ \end{gathered} $
где $\Phi _{{\Sigma i}}^{'}({{t}_{{k + {\kern 1pt} 1}}} - 0,{{{\mathbf{\tilde {X}}}}_{0}})$– первая производная по вектору ${{{\mathbf{\tilde {X}}}}_{0}}$ парциального ЛФП ${{\Phi }_{{\Sigma i}}}(t,{{{\mathbf{\tilde {X}}}}_{0}})$, определяемая согласно (29) с учетом ограничения (5);
$\begin{gathered} {{{{\mathbf{\tilde {X}}}}}_{0}} \triangleq {{{{\mathbf{\tilde {X}}}}}_{{j,i}}}{\kern 1pt} ({{t}_{k}} + 0\left| {{{t}_{k}} + 0} \right.) = \\ = \int\limits_{{{{\mathbf{X}}}_{k}}} {{{{\mathbf{X}}}_{k}}{{{\tilde {p}}}_{{p{\kern 1pt} s{\kern 1pt} }}}({{t}_{k}} + 0,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i} \right.)d{{{\mathbf{X}}}_{k}}} \\ \end{gathered} $
– субоптимальная условная оценка выборки вектора НП ${{{\mathbf{X}}}_{k}}$ в конце второго этапа обработки на предыдущем ($k$ – 1)-м такте, т.е. в момент времени $t = {{t}_{k}} + 0$; ${{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ – матрица ковариаций субоптимальных условных ошибок оценивания в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$; $j$ = $\overline {1{\kern 1pt} ,J} $, $i = \overline {1,M} $. В формуле (45) парциальный ЛФП ${{\Phi }_{{\Sigma i}}}(t,{{{\mathbf{\tilde {X}}}}_{0}})$ характеризуется в соответствии с (41) и (30).

Далее применительно к субоптимальным алгоритмам (т.е. с учетом ограничения (5)) получим аналитическое соотношение, определяющее первую производную $\Phi _{{\Sigma i}}^{'}({{t}_{{k + {\kern 1pt} 1}}} - 0,{{{\mathbf{\tilde {X}}}}_{0}})$ для принимаемых BOC-сигналов ${\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}} = \left\{ {{{\vartheta }_{i}}} \right\},{{{\mathbf{X}}}_{k}})$ (7) от всех одновременно видимых $J$ НКА.

С этой целью, следуя формуле связи (41), сначала необходимо найти соотношение, характеризующее первую производную $\Phi _{{ji}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ применительно к BOC-сигналу

${{s}_{{ji}}}(t) = {{s}_{j}}{\kern 1pt} {\kern 1pt} \left[ {t,{{\Theta }_{j}}({{t}_{k}}) = \left\{ {{\kern 1pt} \vartheta {{{\kern 1pt} }_{i}}} \right\},{{{\mathbf{Y}}}_{j}}(t)} \right],$
принимаемому от j-го НКА, где $j$ = $\overline {1{\kern 1pt} ,J} $.

Первая производная $\Phi _{{ji}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ на основании (42) может быть представлена в следующем виде:

(46)
где ${{{\mathbf{\tilde {Y}}}}_{{j{\kern 1pt} k}}} = {{{\mathbf{\tilde {Y}}}}_{{j{\kern 1pt} }}}({{t}_{k}})$ – субоптимальная оценка выборки вектора ПРС ${{{\mathbf{Y}}}_{{jk}}}$ в соответствии с (3), ${\mathbf{L}}_{j}^{'}({\kern 1pt} t)$ – матрица Якоби (4), $j$ = $\overline {1{\kern 1pt} ,J} $.

Учитывая правило транспонирования произведения матриц, производную (46) представим следующим образом:

(47)
$\Phi _{{ji}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}}) = \int\limits_{{{t}_{k}}}^t {{{{[{\mathbf{L}}_{j}^{'}(\tau )]}}^{T}}{{{\left[ {\frac{{\partial {{F}_{{ji}}}(\tau ,{{{{\mathbf{\tilde {Y}}}}}_{{j{\kern 1pt} k}}})}}{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}} \right]}}^{T}}d\tau } .$

Формируя субоптимальные алгоритмы, на матрицы Якоби ${\mathbf{L}}_{j}^{'}({\kern 1pt} t)$(4) накладываем ограничение (5) о постоянстве их во времени на каждом тактовом полуинтервале $[{{t}_{k}},{{t}_{{k + 1}}}),\,\,{\text{где}}\,\,k = 0,1,2,...$ [16]. Учтя наложенное ограничение (5), матрицу Якоби ${\mathbf{L}}_{j}^{'}({\kern 1pt} t)$ в формуле (47) вынесем за знак интеграла. При этом производная $\Phi _{{ji}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}}{\kern 1pt} )$ упрощается и принимает вид

(48)
$\Phi _{{ji}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}}) = {{[{\mathbf{L}}_{j}^{'}]}^{T}}\int\limits_{{{t}_{k}}}^t {{{{\left[ {\frac{{\partial {{F}_{{ji}}}(\tau ,{{{{\mathbf{\tilde {Y}}}}}_{{j{\kern 1pt} k}}})}}{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{j{\kern 1pt} k}}}}}} \right]}}^{T}}d\tau } ,$
где $j$ = $\overline {1{\kern 1pt} ,J} $, $i = \overline {1,M} $, $t \in [{{t}_{k}},{{t}_{{k + 1}}}),\,\;k = 0,1,2,...$

Согласно (41) производные $\Phi _{{ji}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}}{\kern 1pt} )$ и $\Phi _{{\Sigma i}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ взаимосвязаны следующим образом:

(49)
$\Phi _{{\Sigma i}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}}) = \sum\limits_{j = 1}^{J{\text{ }}} {\Phi _{{ji}}^{'}(t,{{{{\mathbf{\tilde {X}}}}}_{k}}).} $

Подставив (48) в соотношение (49), находим, что первая производная парциального ($i$-го) ЛФП $\Phi _{{\Sigma i}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ (29) применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}} = \left\{ {\vartheta {{{\kern 1pt} }_{i}}} \right\},{{{\mathbf{X}}}_{k}})$ от всех одновременно видимых $J$ НКА характеризуется следующей итоговой формулой:

(50)
$\Phi _{{\Sigma i}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}}) = \sum\limits_{j = 1}^J {{{{[{\mathbf{L}}_{j}^{'}]}}^{T}}} \int\limits_{{{t}_{k}}}^t {{{{\left[ {\frac{{\partial {\kern 1pt} {\kern 1pt} {{F}_{{ji}}}(\tau ,{{{{\mathbf{\tilde {Y}}}}}_{{jk}}})}}{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{j{\kern 1pt} k}}}}}} \right]}}^{T}}d\tau } ,$
где ${{F}_{{ji}}}(\tau ,{{{\mathbf{\tilde {Y}}}}_{{j{\kern 1pt} k}}})$ определяется в соответствии с (37).

Таким образом, разностное уравнение для субоптимальной условной оценки ${{{\mathbf{\tilde {X}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, согласно (45) и с учетом (5) и (50) применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}\left[ {t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}}} \right]$ (7) от всех одновременно видимых $J$ НКА окончательно принимает вид

(51)
$\begin{gathered} {{{{\mathbf{\tilde {X}}}}}_{{ji}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) = {{{{\mathbf{\tilde {X}}}}}_{0}} + {{{{\mathbf{\tilde {K}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) \times \\ \times \,\,\left[ {\sum\limits_{j = 1}^J {{{{[{\mathbf{L}}_{j}^{'}]}}^{T}}} \int\limits_{{{t}_{k}}}^{{\kern 1pt} {{t}_{{k + {\kern 1pt} 1}}} - 0} {{{{\left[ {\frac{{\partial {{F}_{{ji}}}(\tau ,{{{{\mathbf{\tilde {Y}}}}}_{{j{\kern 1pt} k}}}{\kern 1pt} )}}{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{j{\kern 1pt} k}}}}}} \right]}}^{T}}d\tau } } \right], \\ \end{gathered} $
где матрица Якоби ${\mathbf{L}}_{j}^{'}$ характеризуется в соответствии с (4) и (5), ${{F}_{{ji}}}(\tau ,{{{\mathbf{\tilde {Y}}}}_{{j{\kern 1pt} k}}}{\kern 1pt} )$ определяется согласно (37), $j$ = $\overline {1{\kern 1pt} \,,J} $, $i = \overline {1,M} $, $t \in [{{t}_{k}},{{t}_{{k + 1}}}),\,\;k = 0,1,2,...$

Как следует из сопоставления (28), (45) и (51), разностные уравнения, характеризующие квазиоптимальную условную оценку ${\mathbf{X}}_{{j,i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ и субоптимальную условную оценку , отличаются друг от друга соотношениями для первых производных $\Phi _{{\Sigma i}}^{'}(t,{\mathbf{X}}_{k}^{ * })$ (29) и $\Phi _{{\Sigma i}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ (50).

В случае субоптимальной условной оценки ${{{\mathbf{\tilde {X}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ первая производная $\Phi _{{\Sigma i}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ вычисляется по менее точной, но более простой формуле (50), чем при использовании квазиоптимальной условной оценки ${\mathbf{X}}_{{j,i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$.

Структурная схема модуля формирования субоптимальной условной оценки ${{{\mathbf{\tilde {X}}}}_{{j,i}}}({{t}_{{k + 1{\kern 1pt} }}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$, выполненная в соответствии с алгоритмами (37), (48)(51), представлена на рис. 1.

Рис. 1.

Структурная схема модуля формирования субоптимальной условной оценки ${{{\mathbf{\tilde {X}}}}_{{j,i}}}({{t}_{{k + 1{\kern 1pt} }}} - 0\,\left| {\,{{t}_{{k + 1{\kern 1pt} }}} - 0\,} \right.)$: МФПП – модуль формирования первой производной, ТИ – тактовые импульсы; векторные связи показаны двойными линиями.

На вход МФПП поступают сигнал ${{\xi }_{j}}(t)$ (9) от j-го НКА, представляющий собой аддитивную смесь полезного BOC-сигнала ${{s}_{j}}(t)$ (10) и шума ${{n}_{j}}(t)$, а также опорный BOC-сигнал ${{S}_{{ji}}}(t,{{{\mathbf{\tilde {Y}}}}_{{j{\kern 1pt} k}}})$. На выходной сумматор МФПП поступает как сформированный в нем сигнал первой производной $\Phi _{{j{\kern 1pt} {\kern 1pt} i}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}})$, так и поступающие с других модулей сигналы первых производных $\Phi _{{l{\kern 1pt} i}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}})$, где $l \ne j$, $l = \overline {1{\kern 1pt} ,J} $. С выхода МФПП снимается результирующий сигнал первой производной $\Phi _{{\Sigma i}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}})$, который подается на вход умножителя. На другой вход умножителя подается сигнал матрицы ковариаций субоптимальных условных ошибок оценивания ${{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$. Выходной сигнал умножителя складывается в сумматоре с начальной субоптимальной условной оценкой ${{{\mathbf{\tilde {X}}}}_{0}}$. С выхода сумматора снимется сигнал субоптимальной условной оценки ${{{\mathbf{\tilde {X}}}}_{{j,i}}}({{t}_{{k + 1{\kern 1pt} }}} - 0\left| {{{t}_{{k + 1{\kern 1pt} }}} - 0} \right.)$.

3.2. Матрица ковариаций субоптимальных условных ошибок оценивания ${{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$

Матрица ковариаций ${{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ субоптимальных условных ошибок оценивания $\left[ {{{{\mathbf{X}}}_{k}}--{{{{\mathbf{\tilde {X}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)\,} \right]$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, при приеме BOC-сигнала ${{s}_{j}}(t)$ (10) от j-го НКА определяется как

(52)
$\begin{gathered} {\kern 1pt} {{{{\mathbf{\tilde {K}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) = \\ = \int\limits_{{{{\mathbf{X}}}_{k}}} {\left[ {{{{\mathbf{X}}}_{k}}--{{{{\mathbf{\tilde {X}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)} \right]} \times \\ \times \,\,{{\left[ {{{{\mathbf{X}}}_{k}}--{{{{\mathbf{\tilde {X}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)} \right]}^{{{\kern 1pt} T}}} \times \\ \times \,\,{{{\tilde {p}}}_{{p{\kern 1pt} s{\kern 1pt} {\kern 1pt} 1}}}({{t}_{{k + 1}}} - 0\,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i} \right.)d{{{\mathbf{X}}}_{k}}, \\ \end{gathered} $
где ${{\tilde {p}}_{{p{\kern 1pt} s1}}}({{t}_{{k + 1}}} - 0,{{{\mathbf{X}}}_{k}}\left| {j,i} \right.)$ – субоптимальная условная АПВ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, характеризуемая (44).

На основании (31)–(33) матрица ковариаций субоптимальных условных ошибок оценивания ${{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}\left[ {t,{{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}}} \right]$ (7) и (13) от всех одновременно видимых $J$ НКА характеризуется следующим разностным уравнением:

(53)
$\begin{gathered} {\kern 1pt} {{{{\mathbf{\tilde {K}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.) = \\ = {{\left[ {{{{\left[ {{{{\mathbf{K}}}_{0}}} \right]}}^{{ - 1}}} - \Phi _{{\Sigma i}}^{{{\text{''}}}}({{t}_{{k + 1}}} - 0,{{{{\mathbf{\tilde {X}}}}}_{0}})} \right]}^{{ - 1}}}, \\ \end{gathered} $
где $\Phi _{{\Sigma i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{0}})$ $ \triangleq \frac{{\partial {{{\kern 1pt} }^{2}}{\kern 1pt} {{\Phi }_{{\Sigma i}}}(t,{{{{\mathbf{\tilde {X}}}}}_{0}})}}{{{{{({\kern 1pt} \partial {{{{\mathbf{\tilde {X}}}}}_{0}})}}^{2}}}}$ – вторая производная по вектору ${{{\mathbf{\tilde {X}}}}_{0}}$ парциального ЛФП ${{\Phi }_{{\Sigma i}}}(t,{{{\mathbf{\tilde {X}}}}_{0}})$, определяемая согласно (32) с учетом ограничения (5) в случае субоптимальных алгоритмов; ${{{\mathbf{\tilde {X}}}}_{0}} \triangleq {{{\mathbf{\tilde {X}}}}_{{j,i}}}{\kern 1pt} ({{t}_{k}} + 0\left| {{{t}_{k}} + 0} \right.)$ – субоптимальная условная оценка выборки вектора НП ${{{\mathbf{X}}}_{k}}$ в конце второго этапа обработки на предыдущем ($k$ – 1)-м такте, т.е. в момент времени $t = {{t}_{k}} + 0$;
(54)
$\begin{gathered} {{{\mathbf{K}}}_{0}} \triangleq {{{{\mathbf{\tilde {K}}}}}_{{j,i}}}({{t}_{k}} + 0\left| {{{t}_{k}} + 0} \right.) = \\ = \int\limits_{{{{\mathbf{X}}}_{k}}} {\left[ {{{{\mathbf{X}}}_{k}}--{{{\mathbf{X}}}_{0}}} \right]{{{\left[ {{{{\mathbf{X}}}_{k}}--{{{\mathbf{X}}}_{0}}} \right]}}^{T}}} \times \\ \times \,\,{{{\tilde {p}}}_{{p{\kern 1pt} s}}}\left( {\,{{t}_{k}} + 0,{{{\mathbf{X}}}_{k}}{\kern 1pt} \left| {j,i\,} \right.} \right)d{{{\mathbf{X}}}_{k}} \\ \end{gathered} $
– матрица ковариаций субоптимальных условных ошибок оценивания $\left[ {{{{\mathbf{X}}}_{k}}--{{{\mathbf{X}}}_{0}}\,} \right]$ в конце второго этапа обработки на предыдущем ($k$ – 1)-м такте, т.е. в момент времени $t = {{t}_{k}} + 0$, при приеме BOC-сигнала ${{s}_{j}}(t)$ (10) от j-го НКА; $k = 0,{\kern 1pt} {\kern 1pt} 1,{\kern 1pt} {\kern 1pt} 2,..,$ $j$ = $\overline {1{\kern 1pt} \,,J} $, $i = \overline {1,M} $.

Далее получим аналитическое соотношение, определяющее вторую производную по вектору ${{{\mathbf{\tilde {X}}}}_{k}}$ парциального (i-го) ЛФП $\Phi _{{\Sigma i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ (32) применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}} = \left\{ {\vartheta {{{\kern 1pt} }_{i}}} \right\},{{{\mathbf{X}}}_{k}})$ (13) от всех одновременно видимых J НКА.

Для вторых производных $\Phi _{{\Sigma i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ на основании формулы связи (41) выполняется следующее соотношение:

(55)
$\Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}}) = \sum\limits_{j = 1}^J {\Phi _{{ji}}^{{{\text{''}}}}(t,{{{{\mathbf{\tilde {X}}}}}_{k}})} ,$
где $\Phi _{{ji}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$– вторая производная по вектору ${{{\mathbf{\tilde {X}}}}_{k}}$ парциального ($i$-го) ЛФП ${{\Phi }_{{ji}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ для принимаемого от j-го НКА полезного BOC-сигнала $s{{{\kern 1pt} }_{j}}{\kern 1pt} (t)$ (10).

Согласно (32) вторая производная $\Phi _{{ji}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ может быть вычислена по формуле

(56)
$\Phi _{{ji}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}}) = {{\left[ {\frac{\partial }{{\partial {{{{\mathbf{\tilde {X}}}}}_{k}}}}} \right]}^{T}}\frac{{\partial {\kern 1pt} {{\Phi }_{{ji}}}(t,{{{{\mathbf{\tilde {X}}}}}_{k}})}}{{\partial {{{{\mathbf{\tilde {X}}}}}_{k}}}}.$

Выражение ${{\left[ {{\partial \mathord{\left/ {\vphantom {\partial {\partial {{{{\mathbf{\tilde {X}}}}}_{k}}}}} \right. \kern-0em} {\partial {{{{\mathbf{\tilde {X}}}}}_{k}}}}} \right]}^{T}}$ в (56) на основании (3), (4) и (42) имеет следующий вид:

(57)
$\begin{gathered} {{\left[ {\frac{\partial }{{\partial {{{{\mathbf{\tilde {X}}}}}_{k}}}}} \right]}^{T}} = {{\left[ {\frac{\partial }{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}{\kern 1pt} \,\frac{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}{{\partial {{{{\mathbf{\tilde {X}}}}}_{k}}}}} \right]}^{T}} = {{\left[ {\frac{\partial }{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}{\mathbf{L}}_{j}^{'}} \right]}^{T}} = \\ = {{\left[ {{\mathbf{L}}_{j}^{'}} \right]}^{T}}{{\left[ {\frac{\partial }{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}} \right]}^{T}}. \\ \end{gathered} $

Применительно к субоптимальным алгоритмам в силу принятого ограничения (5) о постоянстве во времени матриц Якоби на тактовых полуинтервалах в (57) имеем

${\mathbf{L}}_{j}^{'}({\kern 1pt} t) = {\mathbf{L}}_{j}^{'} \triangleq \frac{{\partial {{{\mathbf{Y}}}_{j}}}}{{\partial {\kern 1pt} {\mathbf{X}}}} = {\text{const}},$
где $t \in [\,{{t}_{k}},{{t}_{{k + 1}}}),\,\,\,k = 0,1,2,...$ [16].

Согласно (30) и (46) с учетом (5) первая производная

$\Phi _{{ji}}^{'}(t,{{{\mathbf{\tilde {X}}}}_{k}}) \triangleq \frac{{\partial {\kern 1pt} {\kern 1pt} {{\Phi }_{{ji}}}(t,{{{{\mathbf{\tilde {X}}}}}_{k}})}}{{\partial {{{{\mathbf{\tilde {X}}}}}_{k}}}}$
применительно к принимаемому от j-го НКА полезному BOC-сигналу $s{{{\kern 1pt} }_{j}}{\kern 1pt} (t)$ (10) может быть представлена в виде

(58)
$\frac{{\partial {\kern 1pt} {\kern 1pt} {{\Phi }_{{ji}}}(t,{{{{\mathbf{\tilde {X}}}}}_{k}})}}{{\partial {{{{\mathbf{\tilde {X}}}}}_{k}}}} = \frac{{\partial {\kern 1pt} {\kern 1pt} {{\Phi }_{{ji}}}(t,{{{{\mathbf{\tilde {X}}}}}_{k}})}}{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}\,{\mathbf{L}}_{j}^{'}.$

Подставив выражения (57) и (58) в формулу (56), окончательно получим, что вторая производная $\Phi _{{ji}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ для принимаемого от j-го НКА полезного BOC-сигнала $s{{{\kern 1pt} }_{j}}{\kern 1pt} (t)$ (10) характеризуется следующим соотношением:

(59)
$\Phi _{{ji}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}}) = \,\,{\kern 1pt} {{\left[ {{\mathbf{L}}_{j}^{'}} \right]}^{T}}{{\left[ {\frac{\partial }{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}} \right]}^{T}}\frac{{\partial {\kern 1pt} {{\Phi }_{{ji}}}(t,{{{{\mathbf{\tilde {X}}}}}_{k}})}}{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}{\mathbf{L}}_{j}^{'},$
где $j$ = $\overline {1{\kern 1pt} \,,J} $, $i = \overline {1,M} $, $t \in [\,{{t}_{k}},{{t}_{{k + 1}}}),\,\,k = 0,1,2,...$.

Применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}\,(\,t,{{{\mathbf{\Theta }}}_{k}} = \left\{ {{\kern 1pt} \vartheta {{{\kern 1pt} }_{i}}} \right\},{{{\mathbf{X}}}_{k}})$ от всех одновременно видимых $J$ НКА вторая производная парциального (i-го) ЛФП $\Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ (32) на основании (55) и (59) равна:

(60)
$\Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}}) = \sum\limits_{j = 1}^J {{{{\left[ {{\mathbf{L}}_{j}^{'}} \right]}}^{T}}} \,{{\left[ {\frac{\partial }{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}} \right]}^{T}}\frac{{\partial {\kern 1pt} {{\Phi }_{{ji}}}(t,{{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}\,{\mathbf{L}}_{j}^{'},$

где парциальный (i-й) ЛФП ${{\Phi }_{{ji}}}({\kern 1pt} {\kern 1pt} t,{{{\mathbf{\tilde {Y}}}}_{{jk}}})$ для принимаемого от j-го НКА полезного BOC-сигнала $s{{{\kern 1pt} }_{j}}{\kern 1pt} (t)$ (10) по аналогии с (30) имеет вид

(61)
${{\Phi }_{{ji}}}({\kern 1pt} {\kern 1pt} t,{{{\mathbf{\tilde {Y}}}}_{{jk}}}) = \int\limits_{{{t}_{k}}}^t {{{F}_{{ji}}}(\tau ,{{{{\mathbf{\tilde {Y}}}}}_{{jk}}})d\tau } .$

Входящая в (61) функция ${{F}_{{ji}}}(\tau ,{{{\mathbf{\tilde {Y}}}}_{{jk}}})$ характеризуется (37).

Согласно (61) можно записать, что

(62)
$\frac{{\partial {\kern 1pt} {\kern 1pt} {{\Phi }_{{ji}}}(t,{{{{\mathbf{\tilde {Y}}}}}_{{jk}}})}}{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}} = \int\limits_{{{t}_{k}}}^t {\frac{{\partial {\kern 1pt} {\kern 1pt} {{F}_{{ji}}}(t,{{{{\mathbf{\tilde {Y}}}}}_{{jk}}})}}{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}d\tau } .$

Тогда имеем, что вторая производная парциального (i-го) ЛФП $\Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ (32) применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}(t,{{{\mathbf{\Theta }}}_{k}} = \left\{ {{\kern 1pt} \vartheta {{{\kern 1pt} }_{i}}} \right\},{{{\mathbf{X}}}_{k}})$ от всех одновременно видимых $J$ НКА на основании (60) с учетом (62) характеризуется следующей итоговой формулой:

(63)
$\begin{gathered} \Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{{\mathbf{\tilde {X}}}}}_{k}}) = \sum\limits_{j = 1}^{J{\text{ }}} {{{{\left[ {{\mathbf{L}}_{j}^{'}} \right]}}^{T}}} {{\left[ {\frac{\partial }{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}} \right]}^{T}} \times \\ \times \,\,\left[ {\int\limits_{{{t}_{k}}}^t {\frac{{\partial {\kern 1pt} {\kern 1pt} {{F}_{{ji}}}(\tau ,{{{{\mathbf{\tilde {Y}}}}}_{{jk}}})}}{{\partial {{{{\mathbf{\tilde {Y}}}}}_{{jk}}}}}d\tau } } \right]{\mathbf{L}}_{j}^{'}, \\ \end{gathered} $
где ${{F}_{{ji}}}(\tau ,{{{\mathbf{\tilde {Y}}}}_{{jk}}})$ определяется в соответствии с (37), $j$ = $\overline {1{\kern 1pt} \,,J} $, $i = \overline {1,M} $, $t \in [\,{{t}_{k}},{{t}_{{k + 1}}}),\,\,k = 0,1,2,...$

Таким образом, разностное уравнение для матрицы ковариаций ${{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ субоптимальных условных ошибок оценивания $\left[ {{{{\mathbf{X}}}_{k}}--{{{{\mathbf{\tilde {X}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)} \right]$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, применительно к совокупности принимаемых BOC-сигналов ${\mathbf{S}}\left[ {t,{\kern 1pt} {{{\mathbf{\Theta }}}_{k}},{{{\mathbf{X}}}_{k}}} \right]$ (7) и (13) от всех одновременно видимых $J$ НКА с учетом ограничения (5) имеет вид (53), где вторая производная $\Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ определяется формулой (63).

Из сопоставления (31) и (53) видно, что разностные уравнения для матрицы ковариаций ${\mathbf{K}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ квазиоптимальных условных оценок ошибок оценивания и матрицы ковариаций ${\kern 1pt} {{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ субоптимальных условных оценок ошибок оценивания различаются соотношениями, определяющими их вторые производные $\Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{\mathbf{X}}_{k}^{ * })$ (32) и $\Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ (63).

При вычислении матрицы ковариаций субоптимальных условных оценок ошибок оценивания ${\mathbf{\tilde {K}}}{\kern 1pt} ({{t}_{k}}\left| {{{t}_{{k + 1}}} - 0} \right.)$ вторая производная $\Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ вычисляется по менее точной, но более простой формуле, чем при вычислении матрицы ковариаций квазиоптимальных условных оценок ошибок оценивания ${\mathbf{K}}_{{j,{\kern 1pt} {\kern 1pt} i}}^{ * }({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$.

Структурная схема модуля формирования матрицы ковариаций ${{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ субоптимальных условных ошибок оценивания, выполненная в соответствии с алгоритмами (37), (53)(55) и (59)(63), представлена на рис. 2.

Рис. 2.

Структурная схема модуля формирования матрицы ковариаций ${{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\,\left| {\,{{t}_{{k + 1}}} - 0} \right.)$ субоптимальных условных ошибок оценивания: МФВП – модуль формирования второй производной, ВУ – вычитающее устройство, ТИ – тактовые импульсы; векторные связи показаны двойными линиями.

На вход МФВП $\Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$ поступают сигнал ${{\xi }_{j}}(t)$ (9) от j-го НКА, представляющий собой аддитивную смесь полезного BOC-сигнала ${{s}_{j}}(t)$(10) и шума ${{n}_{j}}(t)$, а также опорный BOC-сигнал ${{S}_{{ji}}}{\kern 1pt} {\kern 1pt} (t,{{{\mathbf{\tilde {Y}}}}_{{jk}}})$. Структура МФВП определяется алгоритмом (63). На выходной сумматор МФВП поступают как сформированный в нем сигнал второй производной ${\kern 1pt} \Phi _{{j{\kern 1pt} {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$, так и поступающие с других модулей сигналы вторых производных ${\kern 1pt} {\kern 1pt} \Phi _{{l{\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$, где $l \ne j$, $l = \overline {1{\kern 1pt} ,J} $. С выхода МФВП снимается результирующий сигнал второй производной $\Phi _{{\Sigma {\kern 1pt} i}}^{{{\text{''}}}}(t,{{{\mathbf{\tilde {X}}}}_{k}})$, который подается на вход ВУ. На другой вход ВУ подается сигнал обратной матрицы ${{\left[ {{{{\mathbf{K}}}_{0}}} \right]}^{{ - 1}}}$, где ${{{\mathbf{K}}}_{0}}$ – матрица ковариаций субоптимальных условных ошибок оценивания в конце второго этапа обработки на предыдущем ($k$–1)-м такте. Выходной сигнал ВУ в соответствии с алгоритмом (53) подается на модуль обращения матрицы, где и формируется сигнал матрицы ковариаций ${{{\mathbf{\tilde {K}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ субоптимальных условных ошибок оценивания.

Алгоритмы для вычисления субоптимальной безусловной оценки ${\mathbf{\tilde {X}}}({{t}_{{k + 1}}} - 0\,\left| {{{t}_{{k + 1}}} - 0\,} \right.)$ и матрицы ковариаций ${\mathbf{\tilde {K}}}({\kern 1pt} {\kern 1pt} {{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ субоптимальных безусловных ошибок оценивания в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$, по сути те же самые, что в случае квазиоптимальных алгоритмов [1].

В случае субоптимальных алгоритмов обработка сигналов на втором этапе на каждом такте производится по тем же алгоритмам, что при квазиоптимальных алгоритмах [1].

Основные соотношения субоптимальных алгоритмов для вычисления оценок ДП ${{\tilde {\Theta }}_{{j(k + 1)}}}$, $j = \overline {1{\kern 1pt} \,,J} $, остаются теми же, что и в случае квазиоптимальных алгоритмов [1].

ЗАКЛЮЧЕНИЕ

Рассмотрены субоптимальный прием и обработка навигационных ШПС и, в частности, быстро развивающихся BOC-сигналов (меандровых ШПС), которые предназначены для применения в ГНСС, таких как GPS (США), ГЛОНАСС (Россия), Galileo (Европейский союз) и BeiDou (Китай).

В представленной работе, являющейся развитием [1], на основе метода синтеза с переприсвоением параметров получены более простые аналитические соотношения – субоптимальные алгоритмы приема и обработки BOC-сигналов в ГНСС, что важно для практической реализации.

При переходе от квазиоптимальных алгоритмов к субоптимальным учтено то, что в многоканальном приемнике ГНСС, установленном, например, на ЛА, каждый канал обработки радиосигналов функционирует применительно к своему принимаемому от j-го НКА сигналу ${{s}_{j}}(t)$ (10) и к своему вектору ПРС ${{{\mathbf{Y}}}_{j}}(t)$ (3), соответствующему $j$-му НКА, где $j$ = $\overline {1{\kern 1pt} \,,J} $ (J – число всех одновременно видимых НКА).

Помимо этого, при получении аналитических соотношений субоптимальных алгоритмов на динамику компонент вектора НП ${\mathbf{X}}(t)$ и векторов ПРС ${{{\mathbf{Y}}}_{j}}(t)$ с целью их упрощения наложено ограничение, состоящее в том, что на каждом тактовом полуинтервале $[{{t}_{k}},{{t}_{{k + 1}}})$ матрицы Якоби ${\mathbf{L}}_{j}^{'}(t)$, где $j$ = $\overline {1{\kern 1pt} \,,J} $, (4) были приняты постоянными во времени (5).

Основной научный результат работы состоит в том, что получены аналитические выражения для субоптимальной условной оценки ${{{\mathbf{\tilde {X}}}}_{{j,i}}}$$({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ и матрицы ковариаций ${{{\mathbf{\tilde {K}}}}_{{j,i}}}$$({{t}_{{k + 1}}} - 0\left| {{{t}_{{k + 1}}} - 0} \right.)$ субоптимальных условных ошибок оценивания $\left[ {{{{\mathbf{X}}}_{k}}--{{{{\mathbf{\tilde {X}}}}}_{{j,i}}}({{t}_{{k + 1}}} - 0\,\left| {\,{{t}_{{k + 1}}} - 0\,} \right.)\,} \right]$ в конце первого этапа обработки на $k$-м такте, т.е. в момент времени $t = {{t}_{{k + 1}}} - 0$.

Использованная методика решения задачи синтеза субоптимальных алгоритмов приема BOC-сигналов в полной мере применима и для тех режимов функционирования ГНСС, при которых используются не BOC-сигналы (т.е. не меандровые ШПС), а традиционные ШПС.

Список литературы

  1. Яpлыкoв M.C. // PЭ. 2022. T. 67. № 5. C. 454.

  2. Betz J.W. // Proc. National Technical Meeting of the Institute of Navigation (ION – NTM’99), San Diego. 25–27 Jan. 1999. Fairfax: ION, 1999. P. 639.

  3. Betz J.W. // Navigation J. ION. 2001. V. 48. № 4. P. 227.

  4. Ярлыков М. С. Меандровые шумоподобные сигналы (ВОС-сигналы) и их разновидности в спутниковых радионавигационных системах. М.: Радиотехника, 2017.

  5. Шебшаевич В.С., Дмитриев П.П., Иванцевич Н.В. и др. Сетевые спутниковые радионавигационные системы. 2-е изд. М.: Радио и связь, 1993.

  6. Соловьев Ю.А. Системы спутниковой навигации. М.: Эко-Трендз, 2000.

  7. Ярлыков М.С. Статистическая теория радионавигации. М.: Радио и связь, 1985.

  8. Стратонович Р.Л. Условные марковские процессы и их применение к теории оптимального управления. М.: Изд-во МГУ, 1966.

  9. Ярлыков М.С. Применение марковской теории нелинейной фильтрации в радиотехнике. М.: Сов. радио, 1980.

  10. Ярлыков М.С., Миронов М.А. Марковская теория оценивания случайных процессов. М.: Радио и связь, 1993.

  11. Тихонов В.И., Харисов В.Н. Статистический анализ и синтез радиотехнических устройств и систем. Учеб. пособие для вузов. М.: Радио и связь, 1991.

  12. Ярлыков М.С., Шишкин В.Ю. // РЭ. 1992. Т. 37. № 2. С. 260.

  13. Ярлыков М.С., Ярлыкова С.М. // РЭ. 2021. Т. 66. № 8. С. 733.

  14. Betz J.W., Blanco M.A., Cahn Ch.R. et al. // Proc. 19th Int. Technical Meeting of the Satellite Division of the Institute of Navigation (ION GNSS 2006). Fort Worth. 26–29 Sept. Fairfax: ION, 2006. P. 2080.

  15. Wallner S., Hein G.W., Avila-Rodriguez J.-A. // Proc. 3rd Europ. Space Agency Workshop on Satellite Navigation, Navitec 2006. Nordwijk. 11–13 Dec. Noordwijk: ESTEC, 2006.

  16. Ярлыков М.С., Ярлыкова С.М. // РЭ. 2006. Т. 51. № 8. С. 933.

Дополнительные материалы отсутствуют.