CC BY
54
Poluyanovich Nikolay Konstantinovich - Federal State-Owned Autonomy Educational Establishment of Higher Vocational Education “Southern Federal University”; e-mail: [email protected]; 44, Nekrasovsky, Taganrog, 347928, Russia; phone: +79185693365; the department of electrical engineering and mechatronics; associate professor.
УДК 519.6:532.5
А.В. Никитина, И.С. Семенов
ЧИСЛЕННАЯ РЕАЛИЗАЦИЯ МЕТОДОВ РЕШЕНИЯ ЗАДАЧ БИОЛОГИЧЕСКОЙ КИНЕТИКИ В АЗОВСКОМ МОРЕ
Разработан параллельный алгоритм, учитывающий архитектуру суперЭВМ с распределенной памятью. Для численного расчета модельной задачи динамики планктонных и рыбных популяций используются методы решения СЛАУ вариационного типа. При решении возникающей СЛАУ методом минимальных поправок для расчета итерационного параметра Т использовался алгоритм сдваивания. Параллельная реализация численного решения СЛАУ на многопроцессорной вычислительной системе с распределенной памятью основана на выделении для каждого процессора части расчетной области с помощью метода k-means. Предлагаемый алгоритм численного решения поставленной задачи на суперЭВМ с использованием метода k-means позволит существенно сократить время работы программного комплекса, численно реализующего описанную модельную задачу динамики взаимодействующих популяций в Азовском море. Использование библиотеки MPI обеспечивает лучшее распределение ресурсов компьютера и прирост эффективности алгоритма на распределенных вычислительных системах. Разработанные модели используются для прогнозирования изменения концентрации биологических популяций в мелководных водоемах.
Математическая модель; планктон; алгоритм; эффективность; k-means; MPI; Азовское
море.
A.V. Nikitina, I.S. Semenov
DEVELOPMENT OF METHODS OF THE SOLUTION OF SLAE
FOR THE PROBLEMS OF THE DYNAMICS OF POPULATIONS IN RELATION TO THE WATER AREA OF THE AZOV SEA
Developed parallel algorithm that considers the architecture of supercomputers with distributed memory. For numerical computation of the model problem of the dynamics of plankton and fish populations are used methods of the solution of SLAE of variation type. At the decision arising SLAE for calculation of iterative parameter was used by a method of the minimum amendments algorithm of doubling. Parallel implementation of the numerical solution of SLAE on a multiprocessor computer system with distributed memory is based on the allocation for each processor part of the computational domain by the method of k-means. The offered algorithm of the numerical solution of an objective with use of the k-means method will allow reducing by the super computer significantly operating time of the program complex realizing the described model problem of dynamics of interacting populations in the Sea of Azov. Using the MPI library provides a better distribution of the resources of your computer and increases the effectiveness of the algorithm on distributed computing systems. The developed models are used to predict changes in the concentration of biological populations in the shallow waters.
Mathematical model; plankton; algorithm; efficiency; k-means; MPI; the sea of Azov.
Введение. С развитием вычислительной техники возникает необходимость в создании эффективных алгоритмов, предназначенных для высокопроизводительных систем. На сегодняшний день суперЭвм используются во всех сферах человеческой жизни. При численной реализации математических моделей требуется создание высокоэффективных параллельных алгоритмов. При переходе от непрерывных моде-
лей к дискретным возникает необходимость в решении систем линейных алгебраических уравнений (СЛАУ) большой размерности. В работе представлены методы решения СЛАУ вариационного типа, а также их параллельная реализация на многопроцессорной вычислительной системе с распределенной памятью.
Постановка задачи. Рассмотрим нелинейную пространственно-неоднородную 3Б модель взаимодействия планктона и популяции промысловой рыбы пеленгас: “рыба - фитопланктон - зоопланктон - питательные вещества - детрит”, которая описывается системой дифференциальных уравнений в частных производных в области О, представляющей собой замкнутый бассейн, ограниченный невозмущенной поверхностью водоёма Е0, дном ^ = ^ ^х, у) и цилиндрической поверхностью, для интервала 0 < / < Т{]. X = Х(| 'О Ея ист - кусочно-гладкая граница области О [1,2]:
дХ / \ д ( ()Х\
— + сНуШХ ) = /ихАХ + — \ух — + уха8Х8 -8хХ2 -ехХ -охХР,
д1 у 1 дг\ дг )
52 + сИу(ш) = ц2М + — (у2 —1 + ~ £гг ~
V ' Рг7\ '
5? ' ' дг
дБ
—- + сИу(ио\ = 1Л0М) + — ув —— + 8ХX + ег2 - £0В - РвВР,
¿Ж ОЕ ОЕ у
‘¥- + Шу(ирр) = мРАР + Мур + ГрР0ОР ~ гРР + %РстхХР - 5рР,
(Л иЕ иЕ у
йр = кв^асЮ + к7£гас]2 + kxgradX.
В системе (1) приняты следующие обозначения: X, 2, Б, Б, Р- концентрации фитопланктона (Coscinodiscus), зоопланктона (Copepoda), биогенного вещества (азота), детрита, пеленгаса; а - коэффициент потребления биогенного вещества
фитопланктоном; у ,у ,у - передаточные коэффициенты трофических функций; У - доля питательного вещества, находящегося в биомассе фитопланктона; £,£р - коэффициенты элиминации (смертности) 2,Р соответственно; ех- коэффициент, учитывающий смертность и метаболизм X; 5Х - убыль фитопланктона за счет выедания зоопланктоном; § - убыль зоопланктона за счет выедания рыбами (пеленгасом); § - убыль пеленгаса за счет выедания рыбами и вылова; Б - предельно возможная концентрация биогенного вещества; у = у ^ ¿, х, у, г) - функция
источника загрязнения; В - удельная скорость поступления загрязняющего вещества; £ - коэффициент разложения детрита; 0 - скорость потребления органических остатков пеленгасом; &х - коэффициент убыли фитопланктона в результате потребления его пеленгасом; £ - передаточный коэффициент роста концентрации пеленгаса за счет фитопланктона; /л. - диффузионные коэффициенты в горизонтальном направлении субстанций / е|Р, X, 2, Б} соответственно; V. - диффузион-
ные коэффициенты в вертикальном направлении для \ е {0,Х,2,$,Р}соответст~
венно; А- двумерный оператор Лапласа; й- поле скоростей водного потока; 1] = и + и0~ скорость конвективного переноса вещества; и =й + ир ~ скорость конвективного переноса пеленгаса; ир - скорость движения рыбы относительно воды, к к, к, - коэффициенты таксиса, и, - скорость осаждения 7-й
I) ? А ? X. У/
сУбстанции; I е|х,2,5,Б) [3].
Пусть п - вектор внешней нормали к поверхности, и - нормальная по отношению к ^ составляющая вектора скорости водного потока.
Зададим начальные условия:
X (х, у, г,0~) = Х0 (х, у, г), 2 (х, у, г,0~) = 20 (х, у, г), 5 (х, у, г,0) = 5 (х, У,2),
Б(х,у, г,0) = Бо (х,у, г),Р(х,у, г,0) = Р0 (х,у, г), (х,у, г)е О, г = 0. (2)
Граничные условия (условие Неймана на границах, образованных береговой линией области, и третьего рода для X, 2,5, Б, Р на открытых участках водоема) для системы (1) будут иметь вид:
X = Z = S = D = P = 0 на а, если и„ < 0; dX BZ SS SD SP
n
= 0 на а, если ип > 0; дп дп дп дп дп
дХ д7 дБ дБ дР л „
----= — = — = — = — = 0 на Уп; (3)
дz дz дz дz дz
дХ = є ХдБ = є Б д7 = є 7дВ = є ПдР = є Р на У ----— —є,х, — — —єб, — — —є7, — — —є.б, — — —Єср на У ,тт,
02 02 02 02 02
где є, Є, Є, Є, Є - неотрицательные постоянные; є1, Є3, Є5 - учитывают опускание водорослей, зоопланктона и пеленгаса на дно и их затопление; є2, Є4 - учитывают поглощение биогенного вещества и детрита донными отложениями [4], [5].
Метод решения СЛАУ. Для модельной задачи вида (1)-(3) была проведена дискретизация с использованием неявной схемы с центральными разностями [6], [7]. Возникающие в результате сеточные уравнения можно записать в матричном виде
Ах = /, (4)
где A - линейный, положительно определенный оператор (А > 0). Для нахождения решения задачи (4) будем использовать неявный итерационный процесс [8]:
т+1 _ т
вх--------— + Ахт = /. (5)
Тт+1
В уравнении (5^ - номер итерации, т > 0 -итерационный параметр, а В -некоторый обратимый оператор, который является предобуславливателем или стабилизатором. Обращение оператора В в должно быть существенно проще, чем непосредственное обращение исходного оператора А в (4).
Опишем использование метода минимальных поправок (ММП). Этот метод можно применять для решения уравнения с несамосопряженным, но положительно определенным оператором А. Требуется, чтобы оператор В был самосопряженным, положительно определенным и ограниченным. Метод минимальных поправок определяется следующим выбором оператора Б: Б = А*В~1А.
Формула для итерационного параметра ^ в методе минимальных поправок имеет вид
= (Аш, ,Ш,) , к = (6)
**' (B 'Аш,, Аш„ )• • •
При минимизации нормы поправки в Нв для выбранного оператора D получим:
II % HD=(Dzk,zk) =("Ач,zk)=(ш,rk)=(Вшк,шк) =11 шк IIB •
Норма поправки в Нв может вычисляться в итерационном процессе и использоваться для контроля его окончания.
Реализация ММП на системе с распределенной памятью. Для реализации ММП на суперэвм необходимо решить следующие задачи:
♦ равномерно распределить вычислительные ресурсы задачи по имеющимся вычислительным процессорам;
♦ организовать обмен данными между вычислителями и указать точки синхронизации [9].
Для равномерного распределения ресурсов задачи между вычислителями требуется передать каждому узлу подобласть расчетной области (провести декомпозицию расчетной области) [10]. Стоит отметить, что декомпозиция области напрямую зависит от выбора метода решения СЛАУ. Представим алгоритм разбиения расчетной области для вариационных методов решения СЛАУ на примере ММП.
Расчет параметра г осуществляется по формуле (6). Заметим, что вычис-
ление числителя и знаменателя в формуле (6) может осуществляться параллельно в любой произвольной подобласти расчетной области. Это важное свойство позволяет использовать методы декомпозиции (кластеризации), в частности k-means.
Метод k-means основан на минимизации функционала суммарной выборочной дисперсии разброса элементов (узлов расчетной сетки) относительно центра тяжести подобластей: Q = Q(3). ГдеX. - множество расчетных узлов сетки, входящих в 7-ю подобласть, / ej',...,m}, m —заданное количество подобластей.
Q(3) = £ ^ £ d2(x,Cj) ^min, где с, = |^ X x- центр подобласти Х, а
i |X,|xeX, |Xi|xeX,
d(X, с ) - расстояние между расчетным узлом сетки x и центром подобласти с в Эвклидовой метрике. Метод k-means является сходящимся только тогда, когда все подобласти будут примерно равны.
Алгоритм k-means состоит из следующих шагов:
1. Выбираются начальные центры подобластей при помощи максиминного алгоритма.
2. Все расчетные узлы разбиваются на m клеток Вороного по методу ближайшего соседа, т.е. текущий расчетный узел сетки x e Xс, где Xc - подобласть выбирается из условия IX — s II = min IIX — si|, где s - центр
II с II 1й,<тП Ml с
области X .
3. Рассчитываются новые центры по формуле s(k+1) =________1___
с v(к) I £
X .
4. Проверяется условие остановки s(¿+1) = s(k) для всех k = 1,...,m. Если
условие остановки не выполняется, то осуществляется переход на п. 2 алгоритма.
В качестве центров подобластей максиминный алгоритм выбирает расчетные узлы сетки следующим образом:
♦ первый центр - первый расчетный узел области;
♦ второй центр находится в расчетном узле сетки, расположенном на максимальном расстоянии от первого центра;
♦ если количество подобластей больше 3-х, то каждый следующий центр находится на максимальном удалении от ближайшего центра [11].
Для организации обмена данными требуется найти все точки, лежащие на границе каждой подобласти. Для этой цели используем алгоритм Джарвиса (задача построения выпуклой оболочки).
Необходимо сформировать список соседних подобластей для каждой подобласти и разработать алгоритм пересылки данных между подобластями [12]—[15].
При решении СЛАУ методом минимальных поправок для расчета итерационного параметра т используем метод сдваивания. Синхронизация алгоритма решения задачи (1)—(3) требуется только в ММП при переходе на следующую итерацию [16].
Заключение. В работе описан параллельный алгоритм численного решения задачи динамики популяций на примере модели взаимодействия планктона и рыб.
Предлагаемый алгоритм численного решения поставленной задачи на суперЭВМ с использованием метода k-means позволит существенно сократить время работы программного комплекса, численно реализующего описанную модельную задачу динамики взаимодействующих популяций в Азовском море.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Сухинов А.И., Никитина А.В. Математическое моделирование и экспедиционные исследования качества вод в Азовском море // Известия ЮФУ. Технические науки. — 2011.
— № 8 (121). — С. 62-73.
2. Сухинов А.И., Чистяков А.Е., Алексеенко Е.В. Численная реализация трехмерной модели гидродинамики для мелководных водоемов на супервычислительной системе // Математическое моделирование. — 2011. — Т. 23, № 3. — C. 3-21.
3. Никитина А.В. Модели биологической кинетики, стабилизирующие экологическую систему Таганрогского залива // Известия ЮФУ. Технические науки. — 2009. — № 8 (97).
— С. 130-134.
4. Никитина А.В. Численное решение задачи динамики токсичных водорослей в Таганрогском заливе // Известия ЮФУ. Технические науки. — 2010. — № 6 (107). — С. 113-117.
5. Sukhinov A.I., Sukhinov A.A. Reconstruction 0f 2001 Ecological Disaster in the Azov Sea on the Basis of Precise Hydrophysics Models. Parallel Computational Fluid Dynamics, Mutidisciplinary Applications, Prcoceedings of Parallel CFD 2004 Conference, Las Palmas de Gran Canaria, Spain, ELSEVIER, Amsterdam-Berlin-London-New York-Tokyo, 2005.
— P. 231-238.
6. Никитина А.В., Семенов И.С. Моделирование процессов эвтрофикации мелководного водоема // Известия ЮФУ. Технические науки. — 2013. — № 4 (141). — C. 37-44.
7. Никитина А.В., Третьякова М.В. Моделирование процесса альголизации мелководного водоема путем вселения в него штамма зеленой водоросли Chlorellavulgarisbin // Известия ЮФУ. Технические науки. — 2012. — № 1 (126). — C. 128-133.
8. Чистяков А.Е. Теоретические оценки ускорения и эффективности параллельной реализации ПТМ скорейшего спуска // Известия ЮФУ. Технические науки. — 2010. — № 6 (107).
— С. 237-249.
9. Гергель В.П. Высокопроизводительные вычисления для многопроцессорных многоядерных систем. — М.: Изд.-во МГУ, 2010. — 534 с.
10. Воеводин В.В. Вычислительная математика и структура алгоритмов. - М.: Изд.-во МГУ, 2010. - 166 с.
11. Лепский А.Е., Броневич А.Г. Математические методы искусственного интеллекта.
- Таганрог: Изд-во ЮФУ, 2009. - 39 с.
12. Сухинов А.И., Никитина А.В., Чистяков А.Е. Моделирование сценария биологической реабилитации Азовского моря // Математическое моделирование. - 2012. - Т. 24, № 9.
- С. 3-21.
13. Сухинов А.И., Никитина А.В., Чистяков А.Е., Семенов И.С. Математическое моделирование условий формирования заморов в мелководных водоемах на многопроцессорной вычислительной системе // Вычислительные методы и программирование. - 2013.
- Т. 14. - С. 103-112.
14. Сухинов А.И., Никитина А.В. Создание комплекса математических моделей трофических взаимодействий комаров-звонцов (хирономид) и рыб с целью улучшения экологической обстановки в г. Таганроге и акватории Таганрогского залива // Труды международной научно-практической конференции «Преобразование Таганрога - ключ к возрождению России», 29-30 января 2013 г. - С. 137-138.
15. СухиновА.И., Никитина А.В., ЧистяковА.Е. Восстановление качества вод Азовского моря с помощью численного моделирования // Труды международной научно-практической конференции «Преобразование Таганрога - ключ к возрождению России», 29-30 января 2013 г. - С. 135-137.
16. Никитина А.В., Семенов И.С. Параллельная реализация модели динамики токсичной водоросли в Азовском море с применением многопоточности в операционной системе Windows // Известия ЮФУ. Технические науки. - 2013. - № 1 (138). - С. 130-135.
Статью рекомендовал к опубликованию д.т.н., профессор Я.Е. Ромм.
Никитина Алла Валерьевна - Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Южный федеральный университет»; e-mail: [email protected]; 347928, г. Таганрог, Некрасовский, 44; тел.: 89515168538; кафедра высшей математики; к.ф.-м.н.; доцент.
Семенов Илья Сергеевич - e-mail: [email protected]; тел.: 89085029807; кафедра высшей математики; аспирант.
Nikitina Alla Valer'evna - Federal State Owned-Autonomy Educational Establishment of Higher Vocational Educational “Southern Federal University”; e-mail: [email protected];
44, Nekrasovskiy, Taganrog, 347922, Russia; phone: +79515168538; the department of higher mathematics; cand. ofpthis.-math. sc. associate professor.
Semenov Ilya Sergeevich - e-mail: [email protected]; phone: +79515168538; the department of higher mathematics; postgraduate student.
