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

в фантоме биологической ткани на суперэвм МВС1000/М.

Л.П. Басс, О.В. Николаева (ИПМ им. М.В.Келдыша РАН),·

В.С. Кузнецов (РНЦ «Курчатовский институт»), ^·

А.В. Быков, А.В. Приезжев (МГУ им. М.В. Ломоносова),§

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

L.P.Bass, O.V.Nikolaeva (Keldysh Institute of Applied Mathematics, Russian Academy of Science),^·

The direct problem of biological tissue sounding by a laser source of small aperture is considered. Radiation propagation through tissue is modeled by the transport equation. The grid algorithm is presented to solve it. The technique relies on analytical representation of un-scattered light intensity and hemi-analytical method of once-scattered light intensity calculation. Numerical results are presented. They show advantages of considered algorithm of radiative fields calculation in comparison with the statistical modeling method and simplified approach, which leans upon the diffusion equation.

1. Введение

В последнее десятилетие наблюдается повышенный интерес к разработкам новых оптических методов неинвазивной визуализации структуры и диагностики для медицинских приложений, в частности, к методу оптической диффузионной томографии (ОДТ) [1-5]. При реализации метода ОДТ исследуемый объект, например, орган или какой-либо участок тела человека локально зондируется одним или несколькими пучками света, а диффузно отраженное объектом излучение детектируется одним или несколькими приемниками, расположенными, как правило, на различных удалениях от источников. В диффузно отраженную компоненту вносит вклад излучение, рассеянное на расположенных внутри исследуемого объекта оптических неоднородностях (клетках, многоклеточных и субклеточных структурах, например, ядрах и митохондриях). Решение обратной задачи предполагает восстановление пространственного распределения оптических или других свойств, связанных с теми или иными структурами исследуемого объекта по характеру регистрируемого оптического отклика объекта на зондирующее излучение.

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

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

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

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

Таким образом, существует неотложная необходимость разработки более эффективных алгоритмов решения уравнения переноса фотонов для рассматриваемых задач медицинской и индустриальной неинвазивной диагностики. Особенность алгоритма, который предлагается в настоящей работе, состоит в точном учете вклада нерассеянных и однократно рассеянных фотонов, образующих наиболее сингулярную часть решения, в результирующую интенсивность. При этом интенсивность дважды и более рассеянных фотонов является более гладкой функцией, и для ее определения возможно использование метода дискретных ординат на не очень густых сетках, а также полиномиальное представление угловой зависимости решения в интеграле столкновений. Предложенный алгоритм для (x,y,z) и (r,z)- геометрий включен в программу РАДУГА–5.1(П) [8], ориентированную на компьютеры с параллельной архитектурой, что дает возможность использовать в расчетах многопроцессорные ЭВМ. Следует отметить также, что нам не известны другие программы, предназначенные для решения сеточным методом диффузионного уравнения или уравнения переноса, которые включали бы полуаналитический алгоритм расчета поля однократно рассеянных фотонов от точечного источника малой апертуры. Например, алгоритм решения стационарного уравнения переноса методом дискретных ординат в задачах биомедицины представлен в [9]. Однако в этой работе рассматривается такая модель точечного источника, что даже интенсивность нерассеянного излучения не надо выделять аналитически.

Далее статья организована следующим образом. Общая математическая модель переноса излучения от лазерного источника рассматривается в разделе 2, особенности предлагаемого численного алгоритма изложены в разделе 3. Сравнение результатов методических расчетов с экспериментальными данными, а также результатами, полученными методом Монте-Карло и с помощью диффузионного приближения, выполнено в разделе 4.

2. Общая математическая модель

2.1. Уравнение переноса

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

Здесь функция определяет значение интенсивности излучения в точке пространственной области G в направлении вектора ; W – единичная сфера. Вектор задается сферическими координатами , см. Рис. 1, где , q – полярный угол, j – азимутальный угол. Примеры областей G приведены ниже на Рис. 5.

Полное сечение (коэффициент экстинкции) определяет вероятность взаимодействия фотона со средой; сечение рассеяния – вероятность рассеяния фотона; индикатриса рассеяния (фазовая функция) – вероятность изменения направления движения фотона с на .

В сферических координатах интеграл столкновений записывается в виде

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

Здесь – мощность источника; – его угловое распределение; h(a) = 0 при a < 0, h(a) = 1 при a ³ 0; – косинус угла раствора конуса источника, отсчитываемый от оси конуса, определяемой вектором , см. Рис. 2.

Краевые условия для уравнения в данной задаче задают режим отражения фотонов от границы области G

Здесь – внешняя нормаль к , – альбедо отражения, – функция отражения. При условие означает, что фотоны, покинувшие область расчета G через точку границы , не возвращаются в G.

В вычислительной практике индикатриса обычно представляется разложением по полиномам Лежандра

Используя теорему сложения для полиномов Лежандра [10]

а – присоединенные функции Лежандра, представляем интеграл рассеяния следующим разложением

2.2. Приближенные методы

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

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

3. Методы решения уравнения переноса

3.1. Сеточный алгоритм

В практических задачах уравнение обычно решается методом Монте-Карло или сеточным методом. Среди сеточных методов широкое распространение получил метод дискретных ординат (МДО) [7], опирающийся на введение сетки по угловым переменным , замену интегралов квадратурными формулами, введение сеток по пространственным переменным и замену дифференциальных уравнений для функций сеточными уравнениями. Однако, в задачах, где источник излучения описывается дельта-функцией (см. ), при использовании МДО возникают трудности, связанные с сингулярностью решения в окрестности источника. В этом случае приходится специальными методами искать нерассеянную и однократно рассеянную компоненты интенсивности излучения от такого источника и по ним находить пространственно- распределенный источник для дальнейшего расчета многократно рассеянного излучения с помощью МДО.

Таким образом, решение задачи – ищем в форме [13]:

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

Для компоненты, отвечающей дважды и более рассеянному излучению

Решение задач , для точечного источника находится аналитически в классе обобщенных функций [13, 14]. Имеем

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

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

Для точки и направлений , ограниченных условиями , , функция определяется соотношением

Здесь интегрирование выполняется вдоль лежащего внутри конуса отрезка характеристики направления , проходящей через точку . Точка принадлежит этому отрезку. Величина есть косинус угла между осью конуса и вектором, проведенным из его вершины в точку , см. Рис. 3. Величина определяется аналогично.

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

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

3.2. Особенности численного алгоритма

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

- ось конуса источника (вектор ) параллельна оси z задачи;

- геометрические размеры конуса источника не выходят за пределы области расчета G;

- угловое распределение излучения в источнике зависит только от полярного угла между осью источника и направлением излучения от точечного источника в расчетную точку.

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

Радиус основания конуса равен (см. Рис. 3). Углы , определяются как углы между положительным направлением оси x и касательными к основанию конуса, проведенными из проекции точки на плоскость x, y (см. Рис. 3, Рис. 4). Если проекция точки на плоскость z = 0 лежит внутри основания конуса (то есть ), то, очевидно, , . При величины и находим из Рис. 4.

2. Теперь найдем функции , . При любом j из интервала плоскость, проходящая через расчетную точку перпендикулярно плоскости (х, у) под углом j к оси x, пересекает конус источника по гиперболе, см. Рис. 3. Косинусы углов, под которыми видна эта часть гиперболы из расчетной точки, определяют пределы интегрирования по g для данного j в выражениях .

Поиск этих косинусов опирается на аналитические представления конуса с вершиной в точке и углом раствора a

и прямой, проходящей через точку в направлении

Предполагая, что , исключим из выражений , координаты и . Приходим к квадратному уравнению для координаты

Очевидно, что условие касания конуса прямой реализуется, когда D = 0. Введем величину (это возможно, так как для точек, лежащих вне конуса величина ). Тогда условие D = 0 принимает вид

Анализ двух значений угла для касательных показал, что возможны несколько вариантов определения , .

- Существует касательная из данной точки к гиперболе в рассматриваемом сечении конуса и точка касания находится в области расчета. В этом случае пределы интегрирования в определяются как

если точка касания окажется ниже области расчета то

- Не существует касательных к гиперболе. В этом случае и определяются выражениями

Здесь , суть координаты точек пересечения основания конуса и проекции на плоскость z = 0 луча, проведенного через точку в направлении, противоположном , см. Рис. 3.

3. Координаты точек пересечения с поверхностью конуса луча, проведенного через точку в направлении , найдем из соотношений , . Далее легко находятся величины расстояний и от расчетной точки до этих точек пересечения.

4. Установив таким образом пределы интегрирования в равенствах , , находим моменты и , образующие правую часть задачи для двух и более раз рассеянной части излучения .

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

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

В заключение заметим, что описанный алгоритм реализован в программе РАДУГА-5.1(П) как в (x, y, z) геометрии (трехмерная область расчета без каких–либо предположений о симметрии решения), так и в (r, z) геометрии (область расчета – осесимметричный цилиндр).В этом случае учет симметрии области расчета приводит к уменьшению числа расчетных точек.

4. Численные результаты

Оба варианта алгоритма были включены в программу РАДУГА–5.1(П) [8], предназначенную для численного решения краевых задач для уравнения переноса излучения методом дискретных ординат на компьютерах с параллельной архитектурой. Была выполнена серия методических расчетов для осесимметричного цилиндра высотой H = 50 мм и радиусом R = 40 мм, в центр верхней грани которого помещен точечный анизотропный источник апертуры a = 7.5^О (см. Рис. 5). Во всех случаях предполагалось, что рассеяние в цилиндре моделируется известной индикатрисой Хеньи-Гринштайна [1,3] с параметром асимметрии g

Также предполагалось, что на верхней грани цилиндра задано условие полного внутреннего отражения

где – угол полного внутреннего отражения, определяемый в соответствии в законами геометрической оптики по формуле , где n – показатель преломления среды. На нижнем торце цилиндра задавалось нулевое краевое условие

на его внешней поверхности – либо нулевое условие (), либо условие бесконечности (), определяемые соотношением

Подобное условие вводится со следующей целью.

При проведении расчета мы выбираем небольшую часть подвергнутой зондированию ткани, непосредственно прилегающую к точке зондирования. Чем меньше эта часть, тем меньше вычислительных ресурсов требуется для проведения расчета. С другой стороны, чем больше эта часть, тем большую точность имеет расчет. Краевое условие вводится с целью уменьшения размеров рассматриваемой области при сохранении точности расчета. Оно эквивалентно требованию об экспоненциальном убывании функции при увеличении r (удалении от оси цилиндра) при фиксированном значении остальных переменных. Именно экспоненциально должно убывать решение уравнения переноса на значительном удалении от точечного источника.

В первом из расчетов цилиндр предполагался однородным, а в последующих – двухслойным (см. Рис. 5). При этом предполагалось, что тонкий верхний слой имитирует кожу, а толстый нижний – подкожные слои. Толщины верхнего слоя , нижнего слоя , полные сечения и первого и второго слоя соответственно, сечения рассеяния и первого и второго слоя соответственно, показатели преломления n, параметры асимметрии g индикатрисы Хеньи-Гринштайна, углы a раствора точечного источника и значения альбедо на боковой поверхности цилиндра для каждой из рассматриваемых задач приведены в Табл. 1. Все размеры даны в мм, все сечения взаимодействия – в мм^–1. Остальные величины являются безразмерными.

Отметим, что индикатриса Хеньи-Гринштайна при g = 0.8 является сильно вытянутой, и ее представление разложением требует использования слишком большого числа полиномов Лежандра. Поэтому в задачах 2–4 сингулярная часть индикатрисы была представлена дельта–функцией

что позволило для аппроксимации регулярной части использовать всего 16 полиномов Лежандра [15].

Расчеты были выполнены на достаточно густых сетках. Пространственная сетка содержала 169´100 ячеек, а угловая квадратура состояла из 364 узлов, равномерно распределенных по единичной полусфере. Расчеты проводились на суперкомпьютере МВС–1000М с использованием 36 процессоров. Время счета существенно зависело от оптической толщины рассматриваемой среды (см. Табл. 2).

В качестве расчетного результата были приняты значения отраженного вверх излучения на прямой z = H (см. Рис. 5). Полученные по программе РАДУГА–5.1(П) функции представлены на Рис. 6-Рис. 9. Там же приведены экспериментальные данные [16] и величины, найденные нами с помощью диффузионной модели и методом Монте-Карло.

Во всех случаях полученные по программе РАДУГА–5.1(П) функции хорошо согласуются с экспериментальными данными. Аналогичное утверждение справедливо и для остальных методов, кроме диффузионного приближения в задаче 1, см. Рис. 6.

Необходимо отметить отсутствие нефизических осцилляций в решении программы РАДУГА–5.1(П) и сильные осцилляции в решении Монте-Карло (см. Рис. 7, Рис. 8). Такие осцилляции могут привести к существенным погрешностям при использовании содержащей их функции для решения обратной задачи. Причина этих осцилляций – в малом числе фотонов, детектируемых на больших расстояниях от источника. Увеличение числа зондирующих фотонов привело бы к устранению осцилляций, однако потребовало бы существенного увеличения времени счета.

Следует также обратить внимание на некоторое завышение полученного по программе РАДУГА–5.1(П) результата при больших r в задаче 3. Это завышение является естественным следствием использования условия бесконечности и показывает, что данное условие нуждается в усовершенствовании.

5. Заключение

В настоящей работе рассмотрен специальный численный алгоритм решения прямой задачи биомедицинской диагностики – задачи определения полей интенсивности света от анизотропного точечного источника малой апертуры в многомерных областях в предположении, что оптические параметры среды известны. Метод опирается на сеточное решение стационарного уравнения переноса излучения с предварительным аналитическим определением интенсивности нерассеянного излучения и вычислением интенсивности однократно–рассеянного излучения по полуаналитическим формулам. Метод реализован для двух геометрических моделей – (x, y, z) (трехмерная область без каких–либо предположений о симметрии решения) и (r, z) (осесимметричный цилиндр).

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

Авторы выражают глубокую благодарность Т.А. Гермогеновой за полезные обсуждения данной работы.

6. Литература

1. Зимняков Д.А., Тучин В.В. Оптическая томография тканей. Кантовая электроника, Т.32, №10, с.849-867, 2002.

2. Призжев А.В., Тучин В.В., Шубочкин Л.П. Лазерная диагностика в биологии и медицине. М.: Наука, 1989.

3. Тучин В.В. Лазеры и волоконная оптика в биомедицинских исследованиях. Саратов: Изд-во Саратовского ун-та, 1998.

4. Special Section: Diffusing photons in turbid media. Yodh A., Trombrg B., Sevick-Muraca E., Pine D. – Guest editors. J. Opt. Soc. Am. A., Vol. A14, pp.136-342, 1997.

5. Исимару А. Распространение и рассеяние волн в случайно-неоднородных средах. М.: Мир, 1981.

6. Кандидов В.П. Метод Монте-Карло в нелинейной статистической оптике. // УФН, 1996, Т. 166, № 12, с.1309-1338.

7. Басс Л.П., Волощенко А.М., Гермогенова Т.А. Методы дискретных ординат в задачах о переносе излучения. М.: ИПМатем. АН СССР, 1986.

8. Басс Л.П., Гермогенова Т.А., Кузнецов В.С., Николаева О.В. Радуга–5.1 и Радуга–5.1(П) – программы для решения стационарного уравнения переноса в 2–х и 3–х мерных геометриях на одно– и многопроцессорных ЭВМ // Сборник докладов семинара "Алгоритмы и программы для нейтронно–физических расчетов ядерных реакторов (Нейтроника–2001)". 30 октября–2 ноября 2001. Обнинск.

9. Klose A.D., et all. Optical tomography using the time-independent equation of radiative transfer - Part I: forward model // JQSRT, 2002, V. 72, P.691-713.

10. Градштейн И.С., Рыжик И.М. Таблицы интегралов, сумм, рядов и произведений. М.: Гос. изд-во физ.-мат- лит. 1962, 1100 стр.

11. Habetler G, Matkowsky B. Uniform Asymptotic Expansion in Transport Theory with Small Mean Free Paths and the Diffusion Approximation // J. Math. Phys, 1975, V. 16, P. 846–854.

12. Гермогенова Т.А. Регулярные компоненты асимптотических приближений к решениям уравнения переноса в оптически плотных средах // ЖВМиМФ, 1997, T. 37, с.464–482.

13. Гермогенова Т.А.. Задачи с сосредоточенными источниками в стационарной теории переноса. Препринт № 23 ИПМ им. М.В.Келдыша, 1971.

14. Владимиров В.С. Уравнения математической физики. М.: Наука, 1967.

15. Landesman M., Morel J.E. Angular Fokker–Planck Decomposition and Representation Techniques // Nucl. Sci. Eng, 1989, V. 103, P. 1–11.

16. Fawzi Y.S., Abo-Bakr M. Y, El-Batanony M.H., and Kadah Y.M. Determination of the optical properties of a two-layer tissue model by detecting photons migrating at progressively increasing depths // Appl. Opt, 2003, V. 42, № 38, P. 6398–6411.

Задача							n	g	a
1	0	50	–	–	2.007	2	1.33	0.6	0.19	0
2	5	45	7.55	7.5	4.755	4.75	1.4	0.8	0.22	0
3	10	40	7.525	7.5	17.525	17.5	1.4	0.8	0.22	1
4	2	48	7.125	7.5	2.425	2.4	1.4	0.8	0.22	0

Табл. 2. Время счета (в минутах) на 36 процессорах суперкомпьютера МВС–1000М

Задача	Время счета	Оптическая толщина
1	22	100.35
2	60	251.725
3	143	776.25
4	20	130.65

Рис. 1. Сферическая система координат задания вектора направления переноса.

Рис. 2. Область, заполняемая нерассеянными фотонами.

Рис. 3. Схема пересечения конуса излучения точечного источника лучом, исходящим из точки под углом

Рис. 4. Геометрические построения в плоскости x y для определения величин , при .

Рис. 5. Схема области расчета тестовой задачи.

·Работа выполнена при финансовой поддержке РФФИ, грант № 04-01-00404.

§Работа финансировалась грантом Президента РФ «Поддержка научных школ» № 2071.2003.4.