Доклады Российской академии наук. Математика, информатика, процессы управления, 2023, T. 509, № 1, стр. 94-100

Подавление спекл шумов в медицинских изображениях путем сегментации-группирования 3D объектов на основе дисперсного контуролет представления

В. Ф. Кравченко 12*, академик РАН Ю. В. Гуляев 1**, В. И. Пономарев 3***, Г. Аранда-Бохоргес 3****

1 Институт радиотехники и электроники им. В.А. Коте-льникова Российской академии наук
Москва, Россия

2 Московский государственный технический университет им. Н.Э. Баумана
Москва, Россия

3 Национальный Политехнический институт Мексики (Instituto Politecnico Nacional)
Мехико, Мексика

* E-mail: kvf-ok@mail.ru
** E-mail: gulyaev@cplire.ru
*** E-mail: vponomar@ipn.mx
**** E-mail: gibran.aranda.bionics@gmail.com

Поступила в редакцию 09.09.2022
После доработки 24.11.2022
Принята к публикации 26.12.2022

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

Аннотация

Впервые обоснована и реализована процедура фильтрации ультразвуковых и магнитно-резонансных изображений (УЗИ, МРИ), искаженных мультипликативным (спекл) шумом. Процедура включает следующие этапы: сегментация изображения в ряд однородных регионов, формирование сходных структур в трехмерном пространстве (3D), голоморфное преобразование, пороговая фильтрация изображения в пространстве контуролет преобразования (CLT) с оценкой на основе группирования 3D структур по информационной степени близости и обратное гомоморфное преобразование. Дана физическая интерпретация процедуры фильтрации изображений в условиях спекл шумов и разработана структурная схема подавления шумов. Моделирование предложенного подхода подтвердило преимущество новой процедуры фильтрации изображений в терминах общепризнанных критериев: оценки структурного индекса схожести, пикового отношения сигнал/шум, индекса сохранения контуров и индекса разрешения альфа, а также и при визуальном сравнении профильтрованных изображений.

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

1. ВВЕДЕНИЕ

Улучшение качества деталей изображений в системах дистанционного зондирования и в медицинских исследованиях существенно усложнено вследствие влияния шумов различной природы, смазывания деталей и контуров. Ультразвуковые изображения (УЗИ) и магнитно-резонансные изображения (МРИ) широко используются в диагностике, анализе органов и структур мягких тканей, вследствие неинвазивного, безболезненного характера и используемых вычислительных методов при обработке, и считаются важными при медицинской визуализации. Основной проблемой, возникающей при интерпретации таких изображений, является наличие случайных зернистых образований в рисунке, известных как спекл-шум, который снижает контрастность мягких тканей и ограничивает возможности диагностики, обнаружения и классификации. Спекл-шум в УЗИ и МРИ должен при фильтрации подавляться без искажений каких-либо критических характеристик изображений, в частности контуров и мелких деталей, иначе анализ изображений может приводить к неверным решениям в приложениях (визуализация опухолей, разпознавание видов поражений, медицинская диагностика заболеваний, др.). Устранение этого шума является обязательным для улучшения структуры контуров и их восстановления в УЗИ и МРИ [18]. Ряд эффективных методов фильтрации основан на применении статистических процедур [16] совместно с использованием дисперного представления изображений в базисах преобразований (DCT, различных вэйвлет и контуролет функций, др.), которые позволяют улучшить визуализацию деталей и контуров, сохранить хроматические и стуктурные свойства [79].

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

Здесь предожен и обоснован оригинальный подход в обработке МРИ и УЗИ, искаженных спекл-шумом, на основе использования идей, изложенных в [19]. Этот подход сочетает этапы: сегментации схожих участков в изображении, группирования 3D структур на основе информационного критерия близости, гомоморфной фильтрации, обработки изображений в дисперсном их представлении и апостерионной обработки. Метод содержит три этапа: на первом этапе изображение сегментируется в ряд областей (кластеров), которые разделяют объекты со сходными структурными свойствами, выбранными на основе предложенного критерия схожести. Внутри сегментированной области проводится группирование 3D структур (лучей) из объектов со схожими свойствами на основе нового информационного критерия близости. На заключительном шаге первого этапа каждый луч объектов подвергается гомоморфному преобразованию (log), которое формирует новые структуры в 3D пространстве. На следующем этапе фильтрации лучи из 2D объектов изображения в сегментах преобразуются на основе дискретного контуролет преобразования (Countourlet Transform: CLT). Здесь сгруппированные схожие объекты образуют третью координату в дисперсном представлении изображения, существенно увеличивая объем выборки и улучшая качество фильтрации. Лучи из 2D объектов изображения подвергаются пороговой фильтрации в CLT пространстве и обратному ICLT преобразованию. На третьем этапе реализуется обратное гомоморфное преобразование (exp), после которого формируется оценка профильтрованного изображения путем взвешенного среднего из 2D структур изображения в каждом луче с весами, определяемыми их информационной близостью.

Критериями, используемыми при сравнении предложенных алгоритмов с известными в литературе, являются: пиковое отношение сигнал-шум в децибеллах (PSNR), оценка структурного индекса схожести (SSIM), индекс сохранения контуров (EPI) и индекс разрешения ∝ (альфа) [13].

Результаты многочисленных численных экспериментов в условиях различных интенсивностей шумов на изображениях из базы данных подтверждают эффективность нового метода, позволяющего существенно уменьшить искажение МРИ и УЗИ cпекл шумами, восстанавливая мелкомасштабные детали и контуры изображений, улучшая разрешение и визуальное качество изображений.

2. ПОСТАНОВКА ЗАДАЧИ И МЕТОД РЕШЕНИЯ

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

Рис. 1.

Блок-схема метода фильтрации спекл шумов.

Регистрируемое искаженное изображение X(i, j) в случае модели спекл-аддитивного шума (ε(i, j) и N(i, j)), которая характерна для изображений дистанционного зондирования или сформированных датчиками УЗИ или МРИ при медицинской диагностике:

(1)
$S\left( {i,j} \right) = \varepsilon \left( {i,j} \right)Y\left( {i,j} \right) + n\left( {i,j} \right),$
анализируется с целью формирования групп схожих объектов. На первом шаге на основе анализа гистограммы изображения оценивается количество однородных областей со схожими структурными свойствами и проводится сегментация (кластеризация) областей в изображении по алгоритму супер-пикселей (Superpixel [10]).

Следующим этапом в предлагаемом методе является поиск блоков (patch), похожих на опорный с использованием меры взаимной информации (Mutual Information, MI), которая характеризует статистическую зависимость между двумя случайными массивами части изображения. Эта мера MI(X0, Xk) представляет собой среднее количество информации, получаемой в формируемом 3D луче при добавлении к опорному блоку X0 нового блока Xk в конкретной кластерной области.

В каждом сегменте реализуется поиск схожих блоков (block-matching, BM) и формируются 3D образования из объектов со схожими 2D стуктурами на основе критерия взаимной информации MI для опорной 2D стуктуры X0 с пикселями X0p и схожей Xk с пикселями Xkq:

(2)
$\begin{gathered} MI({{X}_{0}},{{X}_{k}}) = - {{\Sigma }_{p}}{{\Sigma }_{q}}P({{X}_{0}} = {{X}_{{0p}}},{{X}_{k}} = {{X}_{{kq}}}) \times \\ \times \;{{\log }_{2}}\frac{{P\left( {{{X}_{0}} = {{X}_{{0p}}},{{X}_{k}} = {{X}_{{kq}}}} \right)}}{{P\left( {{{X}_{0}} = {{X}_{{0p}}}} \right)P\left( {{{X}_{k}} = {{X}_{{kq}}}} \right)}}, \\ \end{gathered} $
где P(X0= X0p, Xk = Xkq) определяет совместную плотность вероятности для пикселей в опорном и схожем блоках, а $P\left( {{{X}_{0}} = {{X}_{{0p}}}} \right)$ и $P\left( {{{X}_{k}} = {{X}_{{kq}}}} \right)$ характеризуют плотности вероятности только для пикселей в каждом блоке, опорном и схожем соответственно.

Для каждого опорного блока X0(i, j) все найденные схожие блоки Xk(i, j), k = 1, , K определяют трехмерную структуру, луч из 2D окон, которые упорядочены с учетом степени схожести согласно критерию MI.

В дальнейшем каждый луч с выделенными объектами подвергается гомоморфному преобразованию (log), формируя новые структуры в 3D. Операция log преобразовывает спекл шум в аддитивный, причем в областях, где $\varepsilon \left( {i,j} \right)Y\left( {i,j} \right)$ значительно превосходит интенсивность аддитивных шумов N(i, j), модель шума (1) преобразуется в аддитивную шумовую модель:

(3)
$\begin{gathered} \log \left[ {X\left( {i,j} \right)} \right] \approx \log \left[ {\varepsilon \left( {i,j} \right)} \right] + \log \left[ {Y\left( {i,j} \right)} \right] + \\ + \;N\left( {i,j} \right){\text{/}}\left[ {\varepsilon \left( {i,j} \right)Y\left( {i,j} \right)} \right]. \\ \end{gathered} $

На следующем этапе преобразование CLT, примененное к этим 3D структурам, формирует в пространстве преобразования массив данных $\tilde {Y}\left( {i,j;m} \right)$, который подвергается пороговой фильтрации. При жесткой пороговой обработке все коэффициенты, величина которых больше выбранного порогового значения, остаются неизменными, а другие, величина которых меньше ${{{{\lambda }}}_{a}}~$, полагаются равными нулю. На основе анализа средних значений 2D структур выделяются области с плавным изменением интенсивности (a = 1) и области с границами или мелкими деталями (a = 2).

(4)
$\begin{gathered} \hat {Y}\left( {i,j;m} \right) = \left\{ {\begin{array}{*{20}{l}} {\tilde {Y}\left( {i,j;m} \right),\quad \tilde {Y}\left( {i,j;m} \right) \geqslant {{\lambda }_{a}}} \\ {0,\quad \tilde {Y}\left( {i,~j;~m} \right) < {{\lambda }_{a}};} \end{array}} \right. \\ ~a = 1,\;\;{\text{smooth}};\;\;a = 2,\;\;{\text{detail}}. \\ \end{gathered} $

Сгруппированные схожие объекты образуют третью координату в дисперсном представлении изображения, существенно увеличивая объем выборки и улучшая качество фильтрации. В дальнейшем массив данных $\hat {Y}\left( {i,j;m} \right)~$ подвергается обратному преобразованию (ICLT), формируя первую аппроксимацию оцененных блоков $~\hat {Y}(i,j;m)$, $m = 1, \ldots ,K$. На следующем этапе процесс 3D обработки завершается линейной фильтрацией, которая формирует финальную оценку изображения, используя линейный фильтр с весами, зависящими от степени информационной схожести (MI) блоков:

(5)
$\hat {Y}\left( {i,j} \right) = \frac{{\sum\limits_{m = 1}^K {\hat {Y}\left( {i,j;~m} \right){{Q}_{m}}} ~}}{{\sum\limits_{m = 1}^K {{{Q}_{m}}} ~}},\quad {{Q}_{m}} = MI\left( {{{X}_{{0~}}},{{X}_{m}}} \right).$

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

3. РЕЗУЛЬТАТЫ ЧИСЛЕННОГО МОДЕЛИРОВАНИЯ

Свойства нового метода фильтрации спекл-шумов, названного SMI-3D-CLT, а также известных наилучших по качеству алгоритмов [1, 59] были исследованы на основе стандартных численных критериев PSNR, SSIM, EPI и индекса разрешения ∝, а также используя субъективный визуальный анализ профильтрованных изображений. Критерий PSNR вычисляется так:

(6)
$PSNR = 10{{\log }_{{10}}}\frac{{{{{\left( {255} \right)}}^{2}}}}{{MSE}},$
а величины SSIM критерия рассчитываются по формуле:
(7)
$SSIM\left( {Y,\hat {Y}} \right) = \frac{{\left( {2{{\mu }_{Y}}{{\mu }_{{\hat {Y}}}} + {{C}_{1}}} \right)\left( {{{\sigma }_{{Y\hat {Y}}}} + {{C}_{2}}} \right)}}{{\left( {\mu _{Y}^{2} + \mu _{{\hat {Y}}}^{2} + {{C}_{1}}} \right)\left( {\sigma _{Y}^{2} + \sigma _{{\hat {Y}}}^{2} + {{C}_{2}}} \right)}}.$
В формуле (7) ${{{{\mu }}}_{Y}}$ и ${{{{\mu }}}_{{\hat {Y}}}}$ определяют локальные средние для Y и $\hat {Y}$ соответственно; $\sigma _{Y}^{2}$ и $\sigma _{{\hat {Y}}}^{2}$ являются локальными значениями дисперсий для Y и $\hat {Y}$, и ${{\sigma }_{{Y\hat {Y}}}}$, – это локальная функция ковариации для Y и $\hat {Y}$. Константы cn выбираются такими, чтобы избежать нестабильности [12].

Индекс EPI [1, 2] оценивает количество сохраненных контуров в обработанном изображении, что важно при фильтрации медицинских УЗИ, где контуры несут информацию о подозрительных стуктурах, связанных с заболеванием. Критерий EPI вычисляется так:

(8)
$\begin{gathered} EPI\left( {Y,\hat {Y}} \right) = \\ = \frac{{\sum\limits_{i = 1}^M {\sum\limits_{j = 1}^N {\left( {\Delta Y\left( {i,j} \right) - {{\mu }_{{\Delta Y}}}} \right)\left( {\Delta \hat {Y}\left( {i,j} \right) - {{\mu }_{{\Delta \hat {Y}}}}} \right)} } }}{{\sqrt {\sum\limits_{i = 1}^M {\sum\limits_{j = 1}^N {{{{\left( {\Delta Y\left( {i,j} \right) - {{\mu }_{{\Delta Y}}}} \right)}}^{2}}{{{\left( {\Delta \hat {Y}\left( {i,j} \right) - {{\mu }_{{\Delta \hat {Y}}}}} \right)}}^{2}}} } } }}, \\ \end{gathered} $
где ΔY и $\Delta \hat {Y}$ – это профильтрованные высокочастотным фильтром изображения Y и $\hat {Y}$ соответственно; ${{\mu }_{{\Delta Y}}}$ и ${{\mu }_{{\Delta \hat {Y}}}}$ определяют их средние значения.

Индекс разрешения $ \propto ~$ – это метрика, связанная с разрешением в МРИ или в УЗИ [6], которая вычисляется как процент пикселей функции автокорреляции профильтрованного изображения внутри области, где эта функция превышает 75% от его максимального значения. Большее значение $ \propto ~$ указывает на лучшее разрешение изображения.

Изображения из баз данных МРИ и УЗИ [13, 14], искаженные спекл шумом разной интенсивности (СКО шума: 0.02–0.10), были обработаны алгоритмами. Представленые в табл. 1, 2 величины PSNR, SSIM, EPI и $ \propto $ – это их усредненные значения по совокупности изображений из баз данных [13, 14] в случае применения алгоритмов фильтрации нового SMI-3D-CLT, и алгоритмов BM3D [5], SD-BM3D [6], DLRA [7], K-SVD [9], CLT [8] и DES-SP-MAP [1], а также визуальный анализ рис. 2 подтверждают, что новый алгоритм превосходит лучшие из известных в широком диапазоне интенсивностей шумов. Эффективная фильтрация изображений MRI-5 и US-12, в которых наблюдается много мелких деталей и контуров, и вариации интенсивности, подтверждает робастность предложенного метода для разных интенсивностей спекл-шумов.

Таблица 1.

Усредненные по изображениям базы данных МРИ [13] значения PSNR/ alfa, SSIM и EPI в случае применения различных алгоритмов фильтрации BM3D, SD-BM3D, K-SVD, CLT, DLRA, DES-SP-MAP и предложенного алгоритма SMI-3D-CLT

  СКО
Фильтр 0.02 0.04 0.06 0.08 0.10 0.02 0.04 0.06 0.08 0.10 0.02 0.04 0.06 0.08 0.10
BM3D 25.28/0.125 23.12/0.124 22.33/0.122 21.69/0.120 20.92/0.119 0.645 0.601 0.576 0.566 0.524 0.738 0.719 0.696 0.684 0.676
SD-BM3D 26.52/0.130 24.56/0.129 23.45/0.127 22.77/0.125 21.97/0.123 0.677 0.631 0.594 0.573 0.550 0.775 0.755 0.731 0.718 0.710
K-SVD 25.47/0.126 23.29/0.125 22.49/0.123 21.85/0.121 21.07/0.120 0.650 0.610 0.570 0.550 0.528 0.744 0.724 0.702 0.689 0.681
DLRA 26.79/0.128 24.49//0.127 23.66/0.124 22.98/0.122 22.17/0.121 0.651 0.607 0.571 0.552 0.529 0.746 0.726 0.703 0.690 0.683
CLT 25.49/0.133 23.35/0.132 22.55/0.130 21.91/0.128 21.13/0.126 0.683 0.637 0.599 0.579 0.555 0.782 0.762 0.738 0.724 0.716
DES-SP-MAP 26.38/0.134 24.82/0.134 23.61/0.132 23.04/0.132 22.47/0.131 0.689 0.642 0.607 0.580 0.561 0.775 0.765 0.747 0.731 0.729
Новый SMI-3D-CLT 27.45/0.141 25.09/0.140 24.24/0.137 23.55/0.135 22.71/0.133 0.700 0.653 0.614 0.593 0.569 0.801 0.780 0.756 0.742 0.734
  PSNR/alfa SSIM EPI
Таблица 2.

Усредненные по изображениям базы данных УЗИ [14] значения PSNR/alfa, SSIM и EPI в случае применения различных алгоритмов фильтрации BM3D, SD-BM3D, K-SVD, CLT, DLRA, DES-SP-MAP и предложенного алгоритма SMI-3D-CLT

  СКО
Фильтр 0.02 0.04 0.06 0.08 0.10 0.02 0.04 0.06 0.08 0.10 0.02 0.04 0.06 0.08 0.10
BM3D 20.19/0.170 18.46/0.169 17.87/0.166 17.32/0.163 16.71/0.162 0.515 0.480 0.482 0.436 0.419 0.590 0.574 0.556 0.546 0.540
SD-BM3D 21.21/0.182 19.39/0.181 18.39//0.177 18.36/0.176 17.54/0.173 0.541 0.504 0.474 0.458 0.440 0.620 0.603 0.584 0.573 0.567
K-SVD 20.35/0.172 18.60/0.171 17.97/0.168 17.44/0.165 16.83/0.163 0.519 0.484 0.455 0.439 0.422 0.594 0.579 0.560 0.550 0.544
DLRA 20.40/0.174 18.64/0.173 18.01/0.169 17.50/0.167 16.88/0.165 0.520 0.485 0.456 0.441 0.423 0.596 0.580 0.562 0.552 0.546
CLT 21.40/0.182 19.56/0.181 18.90/0.177 18.36/0.174 17.70/0.173 0.546 0.509 0.479 0.462 0.444 0.625 0.608 0.589 0.579 0.572
DES-SP-MAP 21.53/0.188 19.85/0.188 19.04/0.185 18.41/0.182 17.87/0.180 0.551 0.513 0.481 0.468 0.448 0.634 0.611 0.597 0.582 0.577
Новый SMI-3D-CLT 21.93/0.192 20.04/0.191 19.36/0.188 18.81/0.184 18.14/0.182 0.559 0.521 0.490 0.474 0.455 0.640 0.623 0.604 0.593 0.586
  PSNR/alfa SSIM EPI
Рис. 2.

Профильтрованные МРИ и инвертированные ошибки при фильтрации разными методами: (а) изображение MRI-05 искаженное спекл шумом со среднеквадратическим отклонением σ = 0.40. Фильтр K-SVD (PSNR = 19.38 dB, EPI = 0.710): (б) увеличенная выделенная часть из MRI-05, (в) инвертированные ошибки. Фильтр CLT (PSNR = 19.46 dB, EPI = 0.728): (г) увеличенная выделенная часть из MRI-05, (д) инвертированные ошибки. Новый фильтр SMI-3D-CLT (PSNR = 21.07 dB, EPI = 0.750): (е) увеличенная выделенная часть из MRI-05, (з) инвертированные ошибки. (ж) Профильтрованные УЗИ и инвертированные ошибки при фильтрации разными методами: (з) изображение US-12 искаженное спекл шумом со среднеквадратическим отклонением σ = 0.80. Фильтр DLRA (PSNR = 20.45 dB, EPI = 0.584): (и) увеличенная выделенная часть из US-12, (к) инвертированные ошибки. Фильтр CLT (PSNR = 20.98 dB, EPI = 0.618): (л) увеличенная выделенная часть из US-12, (м) инвертированные ошибки. Новый фильтр SMI-3D-CLT (21.20 dB, EPI = 0.658): (н) увеличенная выделенная часть из US-12, (о) инвертированные ошибки.

4. ВЫВОДЫ

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

1. Предложенный метод, который основан на дисперсном представлении данных путем использования CLT, пороговой фильтрации и корреляции между схожими объектами, эффективно восстанавливает сложные структуры в МРИ и УЗИ.

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

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

4. Новый метод подтвердил наилучшее качество как в значениях критериев (PSNR, SSIM, EPI и alfa), так и при субъективном визуальном анализе профильтрованных изображений среди всех известных методов.

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

  1. Кравченко В.Ф., Пономарев В.И., Пустовойт В.И., Аранда-Бохоргес Г. // Доклады РАН. Математика, информатика, процессы управления. 2021. Т. 499. № 2. С. 67–72.

  2. Aranda-Bojorges G., Ponomaryov V., Reyes-Reyes R., Cruz-Ramos C., Sadovnychiy S. // IEEE Geosci. Rem. Sens. Lett. 2020. V. 19, art. 4018005. https://doi.org/10.1109/LGRS.2021.3108774

  3. Reyes-Reyes R., Aranda-Bojorges G., Garcia-Salgado B., Ponomaryov V., Cruz-Ramos C., Sadovnychiy S. // Sensors. 2022. V. 22. 5113. https://doi.org/10.3390/s22145113

  4. Kravchenko V., Perez H., Ponomaryov V. Adaptive Signal Processing of Multidimensional Signals with Applications. Moscow: Fizmatlit, 2009.

  5. Dabov K., Foi A., Katkovnik V., Egiazarian K. // IEEE Trans. Image Process. 2007. V. 16. № 8. P. 2080–2095.

  6. Santos C.A.N., Martins D.L.N., Mascarenhas N.D.A. // IEEE Trans. Image Process. 2017. V. 26. 2632–2643. https://doi.org/10.1109/TIP.2017.2685339

  7. Sameera V.M.S., Sudhish N.G. // Sensing Imaging. 2017. V. 18. P. 1–28. https://doi.org/10.1007/s11220-017-0181-8

  8. Jubairahmed L., Satheeskumaran S., Venkatesan C. // Clust. Comput. 2019. V. 22. P. 11237–11246.

  9. Jaburalla M.Y., Lee H.N. // Appl. Sci. 2018. V. 8. 903. P. 1–17. https://doi.org/10.3390/app8060903

  10. Achanta R., Shaji A., Smith K., Lucchi A., Fua P., Süsstrunk S. // IEEE Trans. Pattern Anal. Mach. Intell. 2012. V. 34. P. 2274–2282.

  11. Jensen J.A. // Med. Biol. Eng. Comput. 1996. V. 34. P. 351–352.

  12. Wang Z., Bovik A. // IEEE Signal Process. Mag. 2009. V. 26. № 1. P. 98–117.

  13. https://openfmri.org/dataset/ (accessed: June21, 2022).

  14. http://splab.cz/en/download/databaze/ultrasound (accessed: June 19, 2022).

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

Инструменты

Доклады Российской академии наук. Математика, информатика, процессы управления