CC BY
18
УДК 518.4 + 517.421.1
О. Н. Белоусова
Институт автоматики и электрометрии СО РАН пр. Акад. Коптюга, 1, Новосибирск, 630090, Россия
E-mail: onb@ngs.ru
ИМИТАЦИОННЫЕ МОДЕЛИ И ДЕМО-ВЕРСИИ -ИНФОРМАЦИОННЫЕ ИНСТРУМЕНТЫ ПРЕДСТАВЛЕНИЯ ПРОГРАММНЫХ КОМПЛЕКСОВ В РАМКАХ ИНТЕРНЕТ-СЕРВЕРА «МЕТОДЫ РЕШЕНИЯ УСЛОВНО-КОРРЕКТНЫХ ЗАДАЧ» (НА ПРИМЕРЕ КИНЕМАТИЧЕСКОЙ СЕЙСМОТОМОГРАФИИ) *
Созданный в 2000 г., функционирующий по сегодняшний день и успешно развивающийся сервер «Методы решения условно-корректных задач» является примером интернет-ориенти-рованной информационно-аналитической системы со специализированной научной тематикой [Лаврентьев, Бадажков и др., 2003; Лаврентьев, Белоусова и др., 2003; Белоусова и др., 2004; Белоусова, Кисленко и др., 2005]. Условно-корректные задачи - научное направление, теоретическая и практическая составляющие которого интенсивно и непрерывно развиваются, за большинством результатов стоят соответствующие алгоритмы и программы, поэтому решение задач представления результатов в полном объеме без привлечения современных информационных технологий, имитационного моделирования не представляется возможным.
Представляемое программное обеспечение реализовано на языке Java, что способствует взаимодействию продукта практически с любым браузером (программой доступа в глобальную сеть интернет).
Численное моделирование прямой кинематической задачи Постановка задачи
Данная программа численного моделирования реализует решение прямой кинематической задачи с использованием системы дифференциальных уравнений луча в случае двух пространственных переменных, выписанной в 1967 г. [Лаврентьев, Романов, 1966] как следствие из уравнения эйконала. Решение ищется понижением порядка дифференциальных уравнений (со второго до первого) введением дополнительных переменных, что приводит к увеличению числа уравнений в системе, в которую добавляется еще одно уравнение для расчета времени, после чего применяется метод Рунге-Кутта. Вычисления выполняются согласно методике, подробно описанной А. Г. Романовым [1972а]. В приведенной ниже численной иллюстрации решения прямой кинематической задачи она решается в общей постановке, которая затем при решении обратной кинематической задачи в томографической постановке может быть адаптирована к используемой круговой системе наблюдения.
Программа реализует решение прямой задачи геометрической сейсмики для среды, в которой скорость определяется как
V = 1 + Ax x + Ayy + ^z.
Траектория луча определяется из решения системы нелинейных дифференциальных уравнений:
,,m 9ln V , 9ln V „\, ’ , а/2 1Ч"’ "
У = x У z У + (У - 1)
* Работа выполнена при частичной поддержке РФФИ (грант № 06-01-81000-Бел_а) и междисциплинарной программы СО РАН «Интеграция» (грант № 10).
1818-7900. Вестник НГУ. Серия: Информационные технологии. 2006. Том 4, выпуск 1 © О. Н. Белоусова, 2006
x' = 92Fх у, + ЭЪКх ,z, + (Х,2 _ !) ЭЪК,
ду ^ dz 'дх
z m = д ln V x z, + д ln V y z, + (z' 2 _ 1) д ln V
z дх x z + ду y z + (z 1) dz ■
Здесь x = x(s); y = y(s); z = z(s); x = dx/ds, y = dy/ds, z = dz/ds, s - расстояние вдоль луча. При этом начальные данные:
Xi(s0) = Xi0, yi(s0) = У10, zi(s0) = z°,
X’ (s0) = cos {, у’ (s0) = cos b, z ' (s0) = cos c, s0 = {x,y, z}, где {, b, С - направляющие углы выхода луча из точки s0.
Для вычисления в программе задаются следующие параметры в соответствующих окошках:
• х, у, z - точки выхода луча из источника (0 < x < 4, - 0,5 < у < 0,5, 0 < z < 1);
• Ax, A , Az - коэффициенты глобального градиента скорости (0 < Ах < 0,2, 0 < A < 0,5,
0,5 < AZ <у2);z Х у
• a, b, с определяют координаты вектора выхода луча из точки s
После операции «Normalize» получаем величины
a ' = а/ Уa1 + b2 + с2,
H - шаг в методе Рунге-Кутта (0,001 < H < 0,1),
ь' = b/zar+vrc,
с' = с//а2 + b2 + с2.
Описание демо-версии программы
Демонстрационная версия программы [Белоусова и др., 2004] написана на языке Java и запускается на компьютере пользователя в любом браузере, например Internet Explorer. Программный продукт позволяет задавать в окошках интерфейса численные значения следующих параметров: координаты источника (X, Y, Z), значения амплитуд (Ax, A, Az), направляющих косинусов (a, b, с) и H. В зависимости от заданных параметров на экране происходит отрисовка траектории луча в двух графических окнах по различным плоскостям: XZ и XY. При этом каждый параметр может задаваться в определенных численных ограничениях, что также поясняется рядом с окошком задания значений. Работа с демо-версией программы происходит с помощью следующих кнопок:
• Normalize - нормализация величин a, b, с;
• Clear - очистка экрана;
• Start - вычисление и отрисовка луча.
Численное моделирование обратной кинематической задачи
в томографической постановке
Постановка задачи
Рассмотрим трехмерно-неоднородную среду с показателем преломления n (x,у,z) = V-i(x,у,z), где V(x,у,z) - скорость распространения колебаний в среде. В точке S0 = (x0,у0,0) генерируется сигнал, а в точке S = (xi, у1,0) регистрируется время прихода рефрагированной волны - T(S0, S). Обратная кинематическая задача заключается в определении функции V (x, у, z) по заданной функции T (S0, S). В общем случае обратная кинематическая задача является переопределенной: по функции четырех переменных T (x0, у0, x, у) определяется функция трех переменных V (x, у, z). В переопределенной постановке обратная кинематическая задача исследовалась В. Г. Романовым и Р. Г. Мухометовым.
Организация системы наблюдений в форме окружности радиуса r (с центром в точке (0, 0)) позволяет снять переопределенность задачи, так как теперь Т - функция радиуса r и двух углов { {2 (в полярных координатах) на источник и приемник соответственно.
Исследуемая среда предполагается регулярной. Это означает, что изменения скорости в среде таковы, что паре точек источник-приемник (S0 и Si) соответствует одна геодезичес-
кая линия (луч) Г(£ Si). Следующим важным предположением является то, что скорость V (x, у, z,) представима в виде
V(x) = V(z) + V@), x = (x,у,z),
V & IV, V(z) = A + Bz,
A = const, B = const, A > 0, B > 0.
Соотношение величин A и B таково, что обеспечивается достаточное заглубление луча при заданной базе наблюдения (расстояние между источником и приемником).
Функция V0(z) считается известной, т. е. числа A и B заданы, определению подлежит функция V(x, у, z).
Для дальнейших рассуждений, используя метод линеаризации обратной кинематической задачи для многомерных сред систематически применяемый, начиная с работ [Лаврентьев, Романов, 1966; Романов, 1972а; Романов, 1972б], приходим к формуле
TS0, S) = # nds,
C 0(S0, Si)
где n = V _ V; T = T _ T>.
Значения Т считаются известными (результат решения прямой задачи, а на практике это вектор измерений), значения T0 в случае V0(z) = A + Bz вычисляются в явном виде, а Г0 - дуги
окружностей, лежащих на сфере R2 = (z _ A)2 + lxf, x = (x,y).
На данном этапе задача свелась к определению по функции Ti функции ni из интегрального уравнения.
Рис. 1. Пример работы демо-версии программы в браузере Internet Explorer
Использование системы наблюдений в виде окружности не только снимает перео-пределенность, но и существенно формирует томографическую постановку исследуемой задачи. Лучи Г «натянутые» на окружность системы наблюдений, образуют поверхность шарового сегмента (рис. 2). Изменение радиуса r позволяет получить систему вложенных шаровых сегментов, заполняющих объем исследуемой области в R3. Определяя ni на поверхности таких шаровых сегментов, получаем решение трехмерной задачи. Заметим, что используемое послойное изучение объекта исследования, методика снятия проекционных данных ставит решаемую задачу в один ряд с известными задачами классической томографии.
Методика вычислительного эксперимента
Решению обратной задачи предшествует решение прямой, в данном случае краевой (двухточечной) кинематической задачи.
Двухточечная прямая кинематическая задача решается методом пристрелки в комбинации с интерполяцией времен, рассчитанных для трех точек в окрестности приемника в точку приема. Используется многократное решение задачи Коши для системы дифференциальных уравнений луча с выбором начальных данных, основанном на методе секущих. (Алгоритм решения такой задачи подробно описан, см.: [Lavrentiev et al., 2001]).
В результате в соответствии с использованием метода вычислительной томографии формируется проекционная матрица, элементы которой являются временами прихода рефраги-рованных волн с соответствующими весами, определяемыми переходом от интегрирования вдоль луча Г0 дуги окружности к стягивающей эту дугу хорде, что осуществляет переход к двумерной задаче [Lavrentiev et al., 2001]. Далее полученный на поверхности круг разбивается на пиксели, элементы проекционной матрицы представляются как лучевые суммы, и, применяя метод алгебраической реконструкции, получаем искомое решение томографической задачи (в квадрате, описанном вокруг окружности системы наблюдения) и тем самым исходной обратной кинематической задачи.
Используется фиксированная система наблюдений с 9-ю парами источник-приемник с 8-ю направлениями, угол проекций - 45 градусов, сетка восстановления - фиксированная.
Демонстрационная версия программы, реализующая решение обратной кинематической задачи, написана на Java и запускается на компьютере пользователя в любой программе-браузере (например, Internet Explorer) (рис. 3).
Описание демо-версии программы
Демонстрационная версия данной программы [Белоусова, Ксленко и др., 2005] так же, как и предыдущая, написана на языке Java и запускается на компьютере пользователя в любом браузере, например Internet Explorer. Программный продукт позволяет задавать в окошках интерфейса численные значения параметров для референтной среды (объединены словом «Global»); локальной неоднородности (объединены словом «Local»).
При обработке данных необходимо обязательно произвести следующие операции (соответствующие кнопки интерфейса):
• Solution - решение системы линейных алгебраических уравнений (СЛАУ), полученных из предыдущих операций;
• Median Filter - медианная фильтрация;
• Average - фильтрация с помощью скользящего среднего (сглаживание);
• Interpolation - интерполяция для визуализации.
Рис. 2. Система сбора данных, используемых при решении обратной кинематической задачи в томографической постановке: 1 - источник сигнала; 2 - приемник сигнала
Рис. 3. Иллюстрация работы демо-версии программы, реализующей численное решение обратной кинематической задачи в томографической постановке, в Internet Explorer
А также в интерфейсе программы предусмотрены следующие операции (соответствующие кнопки):
• BVP - насчитывает одну проекцию, в Projection задается любое значение угла проекции;
• Cycle - просвечивание с разных сторон;
• Projection - угол наклона всей системы. Все насчитывается в среде с аномальным включением (скоростная неоднородность), затем насчитывается в среде без включения;
• Parametrs - считывание всех управляющих параметров, заданных пользователем в окошках программы. Раздел задания параметров включает как Global (параметры референтной среды), так и Local (параметры локальной неоднородности);
• Correct decision - вычисление точного решения;
• In left (right) panel - выбор левой (правой) графической панели, на которой будет происходить визуализация точного и полученного численного решений;
• Map image - визуализация точного и численного решений.
Использование достижений вычислительной техники, в частности, WWW-серверов и гипертекстовых систем позволяет на качественно новом уровне поставить и решить проблемы концентрации, систематизации, использования и развития методов решения условнокорректных задач. За 2005 г. было зарегистрировано свыше 150 тысяч обращений к данному серверу пользователей более чем из 50 стран, что свидетельствует о его востребованности и популярности как среди ученых, так и среди студентов всего мира.
Список литературы
Белоусова О. Н., Кисленко Н. П., Хогоев Е. А. Развитие методической составляющей раздела «Геотомография» сервера «Методы решения условно-корректных задач» с использованием демо-версий численного решения томографических задач // Тр. НГАСУ. Новосибирск, 2004. С. 91-99.
Белоусова О. Н., Кисленко Н. П., Хогоев Е. А. Имитационная модель кинематической сейсмотомографии в интернет-проекте «Геотомография» // Тр. НГАСУ Новосибирск, 2005. С. 29-34.
Лаврентьев М. М., Бадажков Д. В., Белоусова О. Н. и др. Информационно-аналитический сервер «Методы решения условно-корректных задач» и его методические аспекты // Вестн. Новосиб. гос. ун-та. Новосибирск, 2003. Т. 3, вып. 1. С. 66-68.
Лаврентьев М. М., Белоусова О. Н., Зеркаль С. М. Раздел «Сейсмическая томография» на информационно-аналитическом сервере «Методы решения условно-корректных задач» // Геофизика. М.: Ред.-изд. центр ЕАГО, 2003. № 3. С. 3-6.
Лаврентьев М. М., Романов В. Г. О трех линеаризованных обратных задачах для гиперболических уравнений // Докл. АН СССР. 1966. Т. 171, № 6. С. 1279-1281.
Романов В. Г. Задача об определении одномерной скорости распространения сигналов в полупространстве по режиму колебаний одной из точек этого полупространства // Математические проблемы геофизики. Новосибирск, 1972а. Вып. 3. С. 67-74.
Романов В. Г. Некоторые обратные задачи для уравнений гиперболического типа. Новосибирск: Наука, 1972б.
LavrentievM. M., Zerkal S. M., Trofimov O. E. Computer Modelling in Tomography and Ill-Posed Problems. The Netherlands: VSP, 2001.
Материал поступил в редколлегию 27.09.2006
