Журнал вычислительной математики и математической физики, 2021, T. 61, № 8, стр. 1278-1286

Метод итераций численного решения уравнения типа свертки для некоторого класса задач

М. Л. Маслаков *

АО “Российский институт мощного радиостроения”
199178 Санкт-Петербург, 11-я линия В.О., 66, Россия

* E-mail: maslakovml@gmail.com

Поступила в редакцию 23.01.2020
После доработки 23.01.2020
Принята к публикации 09.04.2021

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

Аннотация

Предлагается новый итерационный метод для численного решения уравнения типа свертки. Приводится модификация данного метода для случая фильтрации входных данных. Анализируются варианты критерия останова итерационного алгоритма. Рассматривается класс задач, для которых данный метод является достаточно эффективным. Представлены результаты численных экспериментов. Библ. 22. Фиг. 4. Табл. 2.

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

1. ВВЕДЕНИЕ

В работе рассматривается решение интегрального уравнения типа свертки с конечными пределами интегрирования. Данное уравнение можно представить в операторном виде:

(1.1)
$Sx = u,$
где $S \in {{R}^{{K \times M}}}$ – заданный ограниченный линейный оператор, $x \in {{R}^{M}}$ – искомый вектор, $u \in {{R}^{K}}$ – вектор отсчетов правой части уравнения.

Так как на практике правая часть уравнения (1.1) представляет собой результат измерений, то вместо точных значений вектора $u$ имеем вектор ${{u}_{\sigma }}$ такой, что

(1.2)
$\left\| {{{u}_{\sigma }} - u} \right\| = \sigma .$

Уровень ошибки $\sigma $ неизвестен.

Известно [1], что данная задача является некорректно поставленной. Для решения таких задач используют различные регуляризирующие алгоритмы [1], [2], наибольшую популярность из которых получил метод регуляризации Тихонова [1]. Тем не менее достаточно эффективными также являются итерационные регуляризирующие алгоритмы [2]–[12]. Можно выделить несколько основных идей, на которых основаны данные алгоритмы: разбиение исходного оператора на отдельные строки [4], [10]–[12]; решение задачи в виде линейной комбинации некоторых векторов [4]; аппроксимативно-итерационные методы [6]; градиентные методы [8], [9].

При этом аналогично задаче выбора параметра регуляризации, в итерационных методах существует задача выбора числа итераций (критерий останова) [3], [13]–[16]. Для этого достаточно широко используется принцип невязки [2], [13], а также различные эвристические методы [16] в случаях, когда отсутствует приемлемая оценка погрешности $\sigma $.

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

Статья организована следующим образом. В разд. 2 приведено описание предложенного метода и рассмотрен вопрос его сходимости. В разд. 3 проведен анализ вариантов критерия останова итерационного алгоритма. Результаты численного эксперимента представлены в разд. 4. Выводы по работе сформулированы в разд. 5.

2. ОПИСАНИЕ МЕТОДА

Положим, что искомая функция $x(t)$, из отсчетов которой состоит вектор $x$, является физически реализуемой, т.е.

(2.1)
$x(t) \equiv 0,\quad t \leqslant 0,$
(2.2)
$\int\limits_{ - \infty }^\infty {\left| {x(t)} \right|dt} < \infty .$

Для точной правой части уравнение (1.1) имеет единственное решение $x{\kern 1pt} *$. С учетом (1.2) требуется найти приближение $\hat {x}$ такое, что

(2.3)
$\left\| {\hat {x} - x{\kern 1pt} *} \right\| \to \min .$

Представим элементы вектора $\hat {x}$ в виде следующей модели:

(2.4)
$\hat {x}(m) = \sum\limits_{k = 1}^p {{{a}_{k}}f(m,{{\lambda }_{k}})} ,\quad m = 1...M,$
где $p$ – порядок модели, ${{a}_{k}}$ – амплитудные коэффициенты, $f(m,{{\lambda }_{k}})$ – некоторые базовые элементарные функции, ${{\lambda }_{k}}$ – в общем случае вектор параметров функции $f(m,{{\lambda }_{k}})$.

При этом отметим, что $f(m,{{\lambda }_{k}})$ также удовлетворяют условиям (2.1), (2.2).

Порядок модели $p$ неизвестен.

Решение операторного интегрального уравнения типа свертки (1.1) будем определять из следующей итерационной схемы:

(2.5а)
${{u}_{{n - 1}}} = S{{\hat {x}}_{{n - 1}}},$
(2.5б)
${{e}_{n}} = e({{a}_{n}},{{\lambda }_{n}}) = \left\| {{{u}_{\sigma }} - \left( {{{u}_{{n - 1}}} + S{{a}_{n}}f({{\lambda }_{n}})} \right)} \right\| \to \min ,$
(2.5в)
${{\hat {x}}_{n}} = {{\hat {x}}_{{n - 1}}} + {{\hat {a}}_{n}}f({{\hat {\lambda }}_{n}}).$

Начальные условия ${{\hat {x}}_{0}}$ и ${{u}_{0}}$ представляют собой нулевые векторы. Функционал ${{e}_{n}} = e({{a}_{n}},{{\lambda }_{n}})$ будем называть сигналом ошибки, путем минимизации которой получим оценки ${{\hat {a}}_{n}}$ и ${{\hat {\lambda }}_{n}}$.

Рассмотрим сходимость данного алгоритма. Решение уравнения $x{\kern 1pt} *$ можно представить в виде ряда, аналогичного (2.4). В общем случае ряд является бесконечным, однако, полагая $x{\kern 1pt} *$ финитной функцией, для некоторого класса задач значение $p$ может быть конечным и относительно небольшим. Таким образом,

(2.6)
$\left\| {\hat {x} - x{\kern 1pt} *} \right\| = 0.$

Очевидно, что при точных $u$ и $S$ для решения уравнения (1.1) ${{x}_{n}}$, получаемого из (2.5), имеет место

(2.7)
$\mathop {\lim }\limits_{n \to \infty } \left\| {{{x}_{n}} - \hat {x}} \right\| = 0$
и, следовательно,

(2.8)
$\mathop {\lim }\limits_{n \to \infty } \left\| {{{x}_{n}} - x{\kern 1pt} *} \right\| = 0.$

Однако при условии (1.2) справедлива оценка

(2.9)
$\left\| {{{{\hat {x}}}_{n}} - \hat {x}} \right\| \leqslant \left\| {{{x}_{n}} - \hat {x}} \right\| + \varepsilon (n)\sigma ,$
где $\varepsilon (n)\sigma < \infty $, но может быть сколь угодно большой при $n \to \infty $.

Тем не менее с учетом (2.7) существует $n{\kern 1pt} *$ такое, что

(2.10)
$\mathop {\lim }\limits_{\sigma \to 0} \left\| {{{{\hat {x}}}_{{n{\kern 1pt} *}}} - \hat {x}} \right\| = 0.$

3. КРИТЕРИИ ОСТАНОВА

10. Допустим, что известна оценка $\hat {\sigma }$. Пусть также задан допустимый уровень ошибки $\gamma (\hat {\sigma })$. Тогда в случае (см. [14])

(3.1)
$\left\| {{{u}_{\sigma }} - S{{{\hat {x}}}_{{n{\kern 1pt} *}}}} \right\| \leqslant \gamma (\hat {\sigma }),$
будем останавливать итерационный алгоритм в момент $n{\kern 1pt} *$ при условии, что

(3.2)
$\left\| {{{u}_{\sigma }} - S{{{\hat {x}}}_{{n < n{\kern 1pt} *}}}} \right\| > \gamma (\hat {\sigma }).$

Однако нельзя заранее знать точность полученной оценки $\hat {\sigma }$, поэтому приходится выбирать несколько завышенное значение $\gamma (\hat {\sigma })$. Кроме того, получение оценки $\hat {\sigma }$ также связано с определенными трудностями.

20. Вторым вариантом видится использование сигнала ошибки, вычисляемого из выражения (2.5б). В этом случае момент останова $n{\kern 1pt} *$ определяется в виде

(3.3)
$n{\kern 1pt} * = \arg \left( {\mathop {\min }\limits_n {{e}_{n}}} \right).$

Заметим, что в случае “достаточно хорошей” оценки $\hat {\sigma }$ вместо (2.5б) для вычисления сигнала ошибки можно воспользоваться выражением [1], [2]

(3.4)
${{e}_{n}} = \left\| {{{u}_{\sigma }} - \left( {{{u}_{{n - 1}}} + S{{a}_{n}}f({{\lambda }_{n}})} \right)} \right\| - \hat {\sigma }.$

30. Обозначим приращение сигнала ошибки следующим образом:

(3.5)
$\Delta {{e}_{n}} = {{e}_{n}} - {{e}_{{n - 1}}}.$

Из (2.10) можно сделать вывод, что существует $n{\kern 1pt} *$ такое, что

(3.6)
$\begin{gathered} \operatorname{sign} (\Delta {{e}_{{n < n{\kern 1pt} *}}}) < 0, \\ \operatorname{sign} (\Delta {{e}_{{n > n{\kern 1pt} *}}}) > 0. \\ \end{gathered} $

Однако на практике может быть, что, начиная с некоторого $n{\kern 1pt} *$, имеем знакопеременный ряд

(3.7)
$\operatorname{sign} (\Delta {{e}_{n}}),\quad n = \left[ {n{\kern 1pt} *;\infty } \right).$

В этом случае даже если

(3.8)
$\sum\limits_{n = n{\kern 1pt} *}^{{{n}_{{\max }}}} {\Delta {{e}_{n}}} < 0$
итерационный алгоритм (2.5) необходимо остановить, так как это может привести к росту порядка модели и значительной ошибке получаемого решения ${{\hat {x}}_{n}}$.

40. Перепишем уравнение (1.1) в следующей форме:

(3.9)
$s{\kern 1pt} *{\kern 1pt} x = u,$
где $s$ – известный вектор размером ${{m}_{s}} \times 1$, на основе которого в (1.1) образован оператор (матрица) $S$ в уравнении (1.1), $x$ – искомый вектор размером $M \times 1$, $u$ – вектор правой части размером $K \times 1$, а знаком * обозначена операция свертки.

При этом размерность результата свертки есть

(3.10)
$K = {{m}_{s}} + M - 1.$

Тогда можно записать эквивалентное уравнение в следующем виде:

(3.11)
$S{\kern 1pt} '{\kern 1pt} x{\kern 1pt} ' = u,$
где $S{\kern 1pt} '$ – квадратная матрица $K \times K$, $x{\kern 1pt} '$ – вектор столбец $K \times 1$.

При этом $S{\kern 1pt} '$ и $x{\kern 1pt} '$ сформированы из исходных $S$ и $x$ дополнением нулями. Так, искомый вектор $x{\kern 1pt} '$ есть

(3.12)
$x{\kern 1pt} ' = {{[x,0, \ldots ,0]}^{{\text{т}}}}.$

В результате часть элементов искомого вектора $x{\kern 1pt} '$: $x_{{m + 1}}^{'} \ldots x_{M}^{'}$ известна и равна нулю.

Решение уравнения (3.11) обозначим через $\hat {x}_{n}^{'}$. Тогда при наличии оценки $\hat {\sigma }$ и соответствующего допустимого уровня ошибки решения $\varsigma (\hat {\sigma })$ сформулируем критерий останова следующим образом:

(3.13)
$\begin{gathered} {{\left\| {\hat {x}_{{n{\kern 1pt} *}}^{'}} \right\|}_{{m + 1...M}}} \leqslant \varsigma (\hat {\sigma }), \\ {{\left\| {\hat {x}_{{n < n{\kern 1pt} *}}^{'}} \right\|}_{{m + 1...M}}} > \varsigma (\hat {\sigma }). \\ \end{gathered} $

50. В случае отсутствия оценок $\hat {\sigma }$ и $\varsigma (\hat {\sigma })$ потребуем

(3.14)
$\hat {x}_{n}^{'} = {{[{{\hat {x}}_{n}},0, \ldots ,0]}^{{\text{т}}}}$.

Тогда получим оценку $\hat {\sigma }$ [15] из выражения

(3.15)
$\hat {\hat {\sigma }} = {{\left\| {\hat {x}_{{n{\kern 1pt} *}}^{'}} \right\|}_{{m + 1...M}}},$
на основе которой воспользуемся, например, критериями 10 или 20.

60. Для линейных систем часто применяют следующий критерий останова на основе получаемого решения (см. [11]). Рассмотрим следующие неравенства:

(3.16)
$\left\| {{{{\hat {x}}}_{n}} - \hat {x}} \right\| < \left\| {{{{\hat {x}}}_{{n - 1}}} - \hat {x}} \right\| \Rightarrow \left\| {{{{\hat {x}}}_{{n - 1}}} - \hat {x}} \right\| > \frac{1}{2}\left\| {{{{\hat {x}}}_{n}} - {{{\hat {x}}}_{{n - 1}}}} \right\|,$
(3.17)
$\left\| {{{{\hat {x}}}_{n}} - \hat {x}} \right\| \leqslant \left\| {{{{\hat {x}}}_{{n + 1}}} - \hat {x}} \right\| \Rightarrow \left\| {{{{\hat {x}}}_{{n + 1}}} - \hat {x}} \right\| \geqslant \frac{1}{2}\left\| {{{{\hat {x}}}_{{n + 1}}} - {{{\hat {x}}}_{n}}} \right\|.$

Пусть

(3.18)
${{\rho }_{{n{\kern 1pt} *}}} = \frac{{\left\| {{{{\hat {x}}}_{{n{\kern 1pt} * + 1}}} - \hat {x}} \right\|}}{{\left\| {{{{\hat {x}}}_{{n{\kern 1pt} *}}} - \hat {x}} \right\|}}.$

Запишем неравенство

(3.19)
$\left\| {{{{\hat {x}}}_{{n{\kern 1pt} *}}} - \hat {x}} \right\| \geqslant \frac{1}{{1 + {{\rho }_{{n{\kern 1pt} *}}}}}\left\| {{{{\hat {x}}}_{{n{\kern 1pt} * + 1}}} - {{{\hat {x}}}_{{n{\kern 1pt} *}}}} \right\|.$

Значение ${{\rho }_{{n*}}} \geqslant 1$ близко к 1 для многих случаев линейных систем [11]. Следовательно, можно получить оценку в виде

(3.20)
$\left\| {{{{\hat {x}}}_{n}} - \hat {x}} \right\| = \frac{1}{2}\left\| {{{{\hat {x}}}_{{n + 1}}} - {{{\hat {x}}}_{n}}} \right\|.$

4. ЧИСЛЕННЫЙ ЭКСПЕРИМЕНТ

4.1. Компенсация эхо-сигналов и интерференции

Рассмотрим задачу компенсации эхо-сигналов и интерференции, формализуемую как задачу идентификации импульсной характеристики [17], [18]. Данная задача возникает при отражении передаваемого сигнала от неоднородностей и характерна для радиосвязи, проводных и волоконно-оптических линий. При этом в точке приема наблюдается суперпозиция сигналов, со случайными амплитудами и задержками.

Уравнение (1.1) есть уравнение типа свертки. Матрица в этом случае состоит из отсчетов вектора передаваемого известного сигнала (входного воздействия) и представляет собой циркулянтную матрицу (в частном случае может иметь вид матрицы Тёплица [19]). Искомый вектор – вектор отсчетов импульсной характеристики.

Пример 1. Допустим, на приеме имеем сложение трeх сигналов со случайными амплитудами и задержками. Выберем в качестве базовых функций $f(m,{{\lambda }_{k}})$ дельта-функцию Дирака

(4.1)
$\delta (m) = \left\{ \begin{gathered} 1,\quad m = 0, \hfill \\ 0,\quad m \ne 0. \hfill \\ \end{gathered} \right.$

Тогда

(4.2)
$f(m,{{\lambda }_{1}}) = \delta (m - {{\lambda }_{1}}),$
где параметр ${{\lambda }_{1}}$ определяет значение задержки.

На фиг. 1 приведены зависимости погрешности получаемого решения уравнения (1.1) от номера итерации при решении предлагаемым итерационным методом, а также методом итераций Ландвебера–Фридмана [4] и алгоритмом RRGMRES [12], [20].

Фиг. 1.

Зависимости погрешности решения от номера итерации для предлагаемого метода (синяя), метода итераций Ландвебера–Фридмана (красная) и алгоритма RRGMRES (зеленая) при значениях ОСШ 30 дБ (а), 20 дБ (б), 10 дБ (в), 5 дБ (г).

Точками показано значение минимумов ошибки обеспечиваемой данными методами.

Кроме того, для сравнения на фиг. 1 штриховой линией также показана погрешность решения уравнения (1.1) методом регуляризации Тихонова при условии выбора оптимального значения параметра регуляризации.

На фиг. 2 показаны соответствующие зависимости для сигнала ошибки ${{e}_{n}}$.

Фиг. 2.

Зависимости сигнала ошибки ${{e}_{n}}$ от номера итерации для значений ОСШ 30 дБ (1), 30 дБ (2), 10 дБ (3), 5 дБ (4).

Пример 2. Допустим, что каждый сигнал приходит со своей случайной фазой. В этом случае искомая функция $x(t)$ будет характеризоваться переходными процессами, поэтому в качестве базовых функций $f(m,{{\lambda }_{k}})$ возьмем функции вида

(4.3)
$f(m,{{\lambda }_{1}},{{\lambda }_{2}}) = \exp \left( { - {{\lambda }_{2}}\left| {m - {{\lambda }_{1}}} \right|} \right),$
или
(4.4)
$f(m,{{\lambda }_{1}},{{\lambda }_{2}}) = \Theta (m - {{\lambda }_{1}})\exp \left( { - {{\lambda }_{2}}(m - {{\lambda }_{1}})} \right),$
где $\Theta (m)$ – функция скачка или ступенька Хевисайда
(4.5)
$\Theta (m) = \left\{ \begin{gathered} 0,\quad m < 0, \hfill \\ 1,\quad m \geqslant 0. \hfill \\ \end{gathered} \right.$
Здесь коэффициент ${{\lambda }_{1}}$ также характеризует задержку, коэффициент ${{\lambda }_{2}}$ – степень затухания экспоненты.

Отметим, что функции вида (4.3) и (4.4) часто используют в качестве базовых элементарных функций при построении моделей и решении различных задач во многих приложениях [21].

На фиг. 3 приведены зависимости погрешности получаемого решения уравнения (1.1) при использовании базовых функций (4.3) и (4.4).

Фиг. 3.

Зависимости погрешности решения от номера итерации для предлагаемого метода при использовании базовых функций (4.3) (синяя) и (4.4) (фиолетовая) для значений ОСШ 20 дБ (а), 10 дБ (б), 5 дБ (в).

Также штриховой линией показана погрешность решения при использовании метода регуляризации Тихонова. Зависимости точности решения для метода итераций Ландвебера–Фридмана и алгоритма RRGMRES не представлены на фиг. 3, так как в этом случае они существенно проигрывают. Для сравнения в табл. 1 приведены минимальные значения точности получаемого решения $\left\| {x{\kern 1pt} * - \;{{x}_{n}}} \right\|{\text{/}}\left\| {x{\kern 1pt} *} \right\|$, обеспечиваемые всеми рассматриваемыми в работе методами.

Таблица 1.  

Минимальные значения погрешности получаемого решения $\left\| {x{\kern 1pt} {\text{*}} - {{x}_{n}}} \right\|{\text{/}}\left\| {x{\kern 1pt} {\text{*}}} \right\|$, обеспечиваемые рассматриваемыми методами

Метод ОСШ, дБ
20 10 5
Метод регуляризации Тихонова 0.001 0.0053 0.011
Метод итераций Ландвебера–Фридмана 0.0318 0.1418 2.28
Алгоритм RRGMRES 0.0338 0.0438 0.0442
Предлагаемый метод при использовании функций (4.3) 0.002 0.004 0.0042
Предлагаемый метод при использовании функций (4.4) 0.0016 0.0015 0.004

Отметим, что в случае использования базовых функций вида (4.4) удается обеспечить меньшую погрешность решения.

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

Также отметим, что критерии останова 20–40 и 60 обеспечивают оптимальный выбор числа итераций.

4.2. Фильтрация входных данных

Как правило, на практике (см. [22]) перед обработкой измерений осуществляют их предварительную фильтрацию (обычно полосовым фильтром или фильтром нижних частот). Это приводит к тому, что вместо уравнения (1.1) при условии (1.2) необходимо решать уравнение вида

(4.6)
$Sx = B{{u}_{\sigma }},$
где $B$ – матрица коэффициентов фильтра.

Коэффициенты матрицы $B$, как правило, известны точно.

В этом случае выражение для сигнала ошибки вместо (2.5б) примет вид

(4.7)
${{e}_{n}} = e({{a}_{n}},{{\lambda }_{n}}) = \left\| {B{{u}_{\sigma }} - \left( {{{u}_{{n - 1}}} + S{{a}_{n}}f({{\lambda }_{n}})} \right)} \right\|.$

Полагая фильтрацию линейной, что имеет место в большинстве практических случаев, обновление коэффициентов искомого вектора ${{\hat {x}}_{n}}$ осуществляется из выражения

(4.8)
${{\hat {x}}_{n}} = {{\hat {x}}_{{n - 1}}} + B{{\hat {a}}_{n}}f({{\hat {\lambda }}_{n}}).$

В результате решение уравнения (4.6) получим в следующей форме:

(4.9)
${{\hat {x}}_{n}} \to B\hat {x} \cong Bx{\kern 1pt} *.$

Отметим, что в практических приложениях обычно требуется, чтобы решение $\hat {x}$ “содержало” составляющую, связанную с используемым фильтром.

Соответствующие зависимости погрешности получаемого решения уравнения (4.6) в форме (4.9) при использовании базовых функций (4.3) и (4.4) приведены на фиг. 4.

Фиг. 4.

Зависимости погрешности решения от номера итерации для предлагаемого метода при использовании базовых функций (4.3) (синяя) и (4.4) (фиолетовый) при фильтрации входных данных для значений ОСШ 20 дБ (а), 10 дБ (б), 5 дБ (в).

В табл. 2 приведены достигаемые значения погрешностей получаемого решения уравнения (4.6), обеспечиваемые предложенным методом, методом регуляризации Тихонова и алгоритмом RRGMRES. Здесь же приведено требуемое количество итераций.

Таблица 2.  

Минимальные значения точности решения уравнения (4.6) и требуемое число итераций $n$

Метод ОСШ, дБ
20 10 5
$\left\| {x{\kern 1pt} {\text{*}} - {{x}_{n}}} \right\|{\text{/}}\left\| {x{\kern 1pt} {\text{*}}} \right\|$ $n$ $\left\| {x{\kern 1pt} {\text{*}} - {{x}_{n}}} \right\|{\text{/}}\left\| {x{\kern 1pt} {\text{*}}} \right\|$ $n$ $\left\| {x{\kern 1pt} {\text{*}} - {{x}_{n}}} \right\|{\text{/}}\left\| {x{\kern 1pt} {\text{*}}} \right\|$ $n$
Метод регуляризации Тихонова 0.0018 0.0061 0.0075
Алгоритм RRGMRES 0.0025 64 0.0198 64 0.0328 10
Предлагаемый метод при использовании функций (4.3) 0.0003 8 0.0008 14 0.0012 12
Предлагаемый метод при использовании функций (4.4) 0.0005 9 0.0016 7 0.0021 10

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

5. ЗАКЛЮЧЕНИЕ

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

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

  1. Тихонов А.Н., Арсенин В.Я. Методы решения некорректных задач. М.: Наука, 1979.

  2. Верлань А.Ф., Сизиков В.С. Интегральные уравнения: методы, алгоритмы, программы. Киев: Наукова думка, 1986.

  3. Бакушинский А.Б., Кокурин М.Ю. Итерационные методы решения некорректных операторных уравнений с гладкими операторами. М.: УРСС, 2002.

  4. Kaipio J., Somersalo E. Statistical and computational inverse problems. New York: Springer, 2005.

  5. Крянев А.В. Итерационный метод решения некорректных задач // Ж. вычисл. матем. и матем. физ. 1974. Т. 14. № 1. С. 25–35.

  6. Габдулхаев Б.Г. Решение операторных уравнений методом уточняющих итераций // Изв. вузов. матем. 1974. № 5. С. 66–80.

  7. Стрелкова Н.А. Решение операторных уравнений методом итераций Вьеториса // Изв. вузов. матем. 1991. № 3. С. 86–88.

  8. Xiong X., Cheng Q. A modified Lavrentiev iterative regularization method for analytic continuation // J. of Comput. and Appl. Math. 2018. V. 327. P. 127–140.

  9. Xiong X., Xue X., Qian Z. A modified iterative regularization method for ill-posed problems // Appl. Numerical Math. 2017. V. 122. P. 108–128.

  10. Nachaoui A. Numerical linear algebra for reconstruction inverse problems // J. of Comput. and Appl. Math. 2004. V. 162. P. 147–164.

  11. Morigia S., Reichelb L., Sgallaria F., ZamaIterative F. Iterative methods for ill-posed problems and semiconvergent sequences // J. of Comput. and Appl. Math. 2006. V. 193. P. 157–167.

  12. Calvetti D. Preconditioned iterative methods for linear discrete ill-posed problems from a Bayesian inversion perspective // J. of Comput. and Appl. Math. 2007. V. 198. P. 378–395.

  13. Вайникко Г.М. Оценки погрешности метода последовательных приближений для некорректных задач // Автоматика и телемехан. 1980. № 3. С. 84–92.

  14. Емелин И.В., Красносельский М.А. Правило останова в итерационных процедурах решения некорректных задач // Автоматика и телемехан. 1978. № 12. С. 59–63.

  15. Landi G., Loli Piccolomini E., Tomba I. A stopping criterion for iterative regularization methods // Appl. Numerical Math. 2016. V. 106. P. 53–68.

  16. Hansen P.C. Rank-Deficient and Discrete Ill-Posed Problems, SIAM, Philadelphia, 1998.

  17. Кузнецов Е.П., Витязев В.В. Цифровая обработка сигналов в задачах эхо-компенсации: тематический обзор (часть 1) // Цифровая обработка сигналов. 2006. № 3. С. 8–19.

  18. Кузнецов Е.П., Витязев В.В. Цифровая обработка сигналов в задачах эхо-компенсации: тематический обзор (часть 2) // Цифровая обработка сигналов. 2006. № 4. С. 20–28.

  19. Robert M. Gray. Toeplitz and Circulant Matrices: A Review. California, USA: nowpublishers.com, 2000.

  20. Calvetti D., Lewis B., Reichel L. GMRES-type methods for inconsistent systems // Linear Algebra and its Applicat. 2000. V. 316. P. 157–169.

  21. Марпл-мл. С.Л. Цифровой спектральный анализ и его приложения. М.: Мир, 1990.

  22. Santamarina J.C., Fratta D. Discrete Signals and Inverse Problems, John Wiley & Sons, Ltd, 2005.

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