Математическое моделирование процессов эвтрофикации в мелководных водоемах на многопроцессорной вычислительной системе

Автор: Сухинов А.И., Никитина А.В., Чистяков А.Е., Семенов И.С., Семенякина А.А., Хачунц Д.С.

Журнал: Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика @vestnik-susu-cmi

Рубрика: Геоинформатика

Статья в выпуске: 3 т.5, 2016 года.

Бесплатный доступ

Работа посвящена разработке методов решения модельной задачи эвтрофикации вод мелководного водоема, учитывающей движение водного потока, микротурбулентную диффузию, гравитационное оседание, пространственно-неравномерное распределение температуры и солености, а также загрязняющих биогенных веществ, кислорода, фито- и зоопланктона и др. В качестве объекта моделирования были выбраны мелководные водоемы - Азовское море и Таганрогский залив. Численное решение задачи основывается на градиентном методе вариационного типа - методе минимальных поправок. Ускорение и эффективность расчетов достигается при использовании многопроцессорной вычислительной системы Южного федерального университета. Решение поставленной задачи водной экологии позволит прогнозировать изменения качества вод мелководных водоемов, а также изучать механизмы формирования в них зон с пониженным содержанием кислорода.

Еще

Математическая модель, эвтрофикация, метод минимальных поправок, параллельные вычисления, азовское море

Короткий адрес: https://sciup.org/147160647

IDR: 147160647   |   УДК: 519.6   |   DOI: 10.14529/cmse160303

Mathematical modeling of eutrophication processes in shallow waters on multiprocessor computer system

The paper covered the development of solution methods for model of eutrophication of shallow water in view the movement of the water flow, microturbulent diffusion, gravitational settling, spatially uneven distribution of temperature and salinity, and pollutants of nutrients, oxygen, phyto- and zooplankton, etc. Shallow waters of the Azov Sea and Taganrog Bay were selected as the object of simulation. Numerical solution of the problem is based on gradient method of variation type - the method of minimal corrections. The acceleration and efficiency of calculations is achieved with using multiprocessor computer system of Southern Federal University. The solution of the problem of water ecology will allow to predict changes of water quality of shallow reservoirs, and to study the mechanisms of formation of zones with low oxygen content.

Еще

Текст научной статьи Математическое моделирование процессов эвтрофикации в мелководных водоемах на многопроцессорной вычислительной системе

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

Статья рекомендована к публикации программным комитетом Международной научной конференции «Параллельные вычислительные технологии – 2016».

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

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

Предложенные модели и методы были применены при разработке программного комплекса, предназначенного для расчета значений концентраций планктона и загрязняющих примесей в Азовском море. Входными данными предложенной выше модели эвтрофикации вод мелководного водоема вида (1) – (3) является поле вектора скорости водной среды, рассчитанное по моделям Сухинова А.И., Чистякова А.Е. [3–6]. Статья организована следующим образом. В разделе 1 приводится разработанная математическая модель эвтрофикации вод мелководного водоема, а также ее исследование на непрерывном и дискретном уровне. Раздел 2 содержит описание разработанных методов вариационного типа для решения, возникающих в процессе дискретизации, сеточных уравнений. Раздел 3 посвящен описанию параллельного алгоритма реализации метода минимальных поправок. Раздел 4 содержит описание программного комплекса, численно реализующего модельную задачу эвтрофикации мелководного водоема. Раздел 5 посвящен описанию и анализу результатов численных экспериментов. В заключении приводятся итоги исследования.

1.    Трехмерная математическая модель эвтрофикации мелководного водоема

Азовское море является внутренним морем расположено на востоке Европы. Его глубина не превышает 13,5 метров и является самым мелким морем в мире. Азовское море подвержено эвтрофикационным процессам в виду своей мелководности. Эвтрофикация (др. греч. εὐτροφία — хорошее питание) — это процесс обогащения морей, озер и рек биогенными веществами, сопровождающийся повышением объемов растительности в водоемах. Эвтрофикация может возникать как результат антропогенного воздействия, так и естественного старения водоема. К химическим биогенным элементам, способствующим эвтрофикации водоема, относятся азот и фосфор. Морские течения, зависящие от рельефа водоема, оказывают влияние на биогенный режим.

При построении модели эвтрофикации вод (ЭВ) Азовского моря и Таганрогского залива использовались работы Матишова Г.Г., Ильичева В.Г., Якушева Е.В., Сухино-ва А.И. [1], Крукиера Л.А., посвященные математическому моделированию гидрохимических процессов. В данных моделях учтено, что при штилях и малых ветрах в придон- ных слоях Азовского моря возникают анаэробные условия. Отсутствие течений в приповерхностных донных слоях влечет за собой высвобождение в раствор (кроме сероводорода) аммония, сульфатов, органических соединений, силикатов и фосфатов, двухвалентного марганца и железа. Расчетная область G представлена на рис. 1.

Рис. 1. Схема расчетной области G

G представляет собой замкнутую область, ограниченную невозмущенной поверхностью водоема S 0 , дном S H = S H ( x , у ) и цилиндрической поверхностью о для 0 t T 0 . У = У 0 U У H ио — кусочно-гладкая граница области G .

Модель будет иметь вид:

,        д S i        д S i     z          х д S i                   д ( д S i А

S, + и --- + v --- + (w — w )--- = ^ A S. + v + V<, i,t                                                           gi                      i i                   i                      i д x ду               д z              д z V д z )                   (1)

где Si — концентрация i -й примеси, i = 1, 17 , индекс i указывает на вид субстанции, i = 1, 17 : 1 — сероводород (H2S); 2 — элементная сера (S); 3 — сульфаты (SO4); 4 — тиосульфаты (и сульфиты); 5 — общий органический азот (N); 6 — аммоний (NH4) (аммонийный азот); 7 — нитриты (NO2); 8 — нитраты (NO3); 9 — растворенный марганец (DOMn); 10 — взвешенный марганец (POMn); 11 — растворенный кислород (O2); 12 — силикаты (SiO3 — метасиликат; SiO4 — ортосиликат); 13 — фосфаты (PO4); 14 — железо (Fe2+) 15 — кремнекислота (H2SiO3 — метакремневая; H2SiO4 — ортокремне- вая); 16 — фитопланктон; 17 — зоопланктон; и = (и, v, w) — скорость водного потока; wgi — скорость осаждения i-й компоненты; цi, vi — коэффициенты турбулентного пе- ремешивания по горизонтальному и вертикальному направлениям соответственно; Vi — функция, описывающая химико-биологический источники (сток), а также агрегирование (слипание-разлипание), если соответствующая компонента является взвесью.

Система (1) рассматривается при следующих граничных условиях:

д S.                                                   ,                                                       ,

S i = 0 на о , если U n 0; —- = 0 на о , если U n 0; S i z = 0 на S 0 ; S i z = -e i S i на S H , ( 2 ) д n                                                ,                         '

где e i — коэффициент поглощения i -й компоненты донным материалом.

Необходимо также добавить начальные условия:

S i

1 1 =0

= S i 0 ( x , у , z ), i = 1, 17.

Проведено исследование трехмерной модели ЭВ Азовского моря вида (1) – (3), получены достаточные условия существования и единственности ее решения, сформулиро- ванные в виде теорем.

Теорема 1. Пусть S i ( x , у , z , t ) ,     v i e C 2( Ut ) n C ( Ut) , где Ut = G x (0 t t 0);

^i = const > 0; U = (u, v, w — wgi), vi(z) e C\G); Sio e C(G), i = 1,17 . Тогда при вы- полнении неравенств: max {Mi, vi} - -1 max {|pi |} > 0

G                          0 G

V i = P i ( S j ) S i + V i , i * j ; V i = LSi - DS i - P i S i , LS i

для всех i = 1, 17 ,

где

d S i d t

+ div ( S i U i ) ,

DSi = Mi A Si + — Ui ^Si- 1,  1 = П (1 / LX + 1 / Ly + 1 / LX);  Lx, Ly, Lz — простран- d z V d z 7

ственные максимальные размеры расчетной области; модельная задача эвтрофикации мелководного водоема ЭВ вида (1) – (3) имеет решение.

Теорема 2. Пусть Si(x, y, z, t), vi e C 2mt) n CMt), Mi = const > 0; и, vi(z) e C 1(G), i = 1, 17 . Тогда при выполнении неравенств: 2Mi (1 / ь2x + 1 / Ly) + 2vi / L > ф1 для всех i = 1,17 (где функции ф1 определяются источниками загрязняющего вещества (ЗВ)) модельная задача ЭВ мелководного водоема вида (1) – (3) имеет единственное решение. Для дискретизации модели (1) – (3) построим в области решения задачи связ- ную сетку rnh . hx, hy, hz — векторные параметры, характеризующие плотность расположения узлов:

® h = { X j = jhx , У к = kh y , Z i = lh z ; j = 0, N , ; к = 0, N y ; 1 = 0, N z ;

Nxhx = LX, Nyhy = Ly, Nzhz = Lz} , ®hT = ®h X ®r, ®r = {tn = nT, n = 0, Nt } , где i, j, к — индексы по направлениям x, y, z; Nx, Ny, Nz — количество узлов по коор- динатным направлениям.

Расчетная область по пространственным

направлениям x , y , z представляет собой

объединение параллелепипедов. Дискретизируем модель (1)

– (3) с помощью разностной

схемы с весами:

q П + 1

S

^^^^^^.

S n

+

n u

Y Sn + U,к ,i

+ (1

^^^^^^.

Y ) S n ) j +1, к , 1

^^^^^^в

(

+

+

^^^^^^в

^^^^^^в

^^^^^^в

^^^^^^в

+

n v

V

Г/

( w n

V

( wn.

т

V

2h x

n u

Y S n + U-к ,1

+ (1

^^^^^^в

Y ) S n ) j -1, к , 1

л

1,

2h x

+

Y S n +1, к +1, 1

+ (1

^^^^^^в

2hy

^^^^^^в

^^^^^^в

M i      n +1

h 2 ( Y S ( i ) j + 1 x

M i

h2y

hz

hz

n

w g (i)j,к,1 +

n w , x g (i) j,k ,1

- , к , 1

( YS ( i ) j , k + 1, 1

(

n

+ (1

+ (1

^^^^^^в

^^^^^^в

U

V

( i ) j, к,1 +

v

V

< j

n

1,

'2

( i ) j , к ,1 -12

< N x

^^^^^^.

Y )Sni ) j , к +1, 1

Y S?- +1

( i ) j,

Y S n +1

7 ( i ) j,

/ ) S ( i ) j + 1, к , 1

/ ) S ( i ) j , k + 1, 1

YS ( i ) j , k , 1 + 1

/ S n +1t , •    ( i ) j , k , 1

^^^^^^в

n v

/ S?- +1

'    ( i ) j ,

+ (1

^^^^^^в

2hy

+ (1

^^^^^^в

2h z

+ (1

^^^^^^в

2 h

z

^^^^^^в

^^^^^^в

+ (1

+ (1

^^^^^^в

^^^^^^B

1,1 к N y

Y )Sni )

Y ) S n )

2 Y S n +1

' ( i ) j ,

! ,к ,1

^^^^^^в

2(1

^^^^^^в

^^^^^^в

^^^^^^в

Y ) S ( i:

:) j , к ,1

)

^^^^^^в

2 / S ,n +1„ , ' ( i ) j , k , 1

Y)S?x ■„ , • ( i ) j , к,1

Y ) S ?

  • •     ( i ) j , к,1

^^^^^^.

+1

^^^^^^в

hz

^^^^^^B

^^^^^^в

2(1

^^^^^^в

Y)S ( i ) j , k , 1

)

^^^^^^в

Y S n +1 ( i ) j ,

/ S n +11 , • ( i ) j , k , 1

hz

1,1 1 Nz

!, к ,1

^^^^^^в

^^^^^^в

Y )S ( i

^^^^^^B

^^^^^^B

^^^^^^.

Y )S ?! )

+

M i      n +1

h 2 ( Y S ( i )

x

j - 1,к ,1

+ (1

^^^^^^в

Y )S ?

< ' ( i ) j -1, к , 1

)

^^^^^^в

M i      n +1

h 2 ( ' ° ( i ) j , k -1, 1

+ (1

^^^^^^в

Y)SL ■ r x i ( i ) j , k -1, 1

y

)

^^^^^^в

) j,k 1

+

Y )S n

  • •     ( i ) j , k , 1

1, i = 1, 17.

-.

^^^^^^B

V i

0,

К

системе (4) добавим аппроксимированные начальные и граничные условия. Ис- следуем устойчивость разностной схемы (4) для этого запишем ее в каноническом виде:

D О n + 1

B 1 S ( i ) j +1, k , l

n + 1                  n + 1                  n + 1

+ B 2 S ( i ) j , к + 1, l  + B 3 S ( i ) j , к , l + 1 + A 1 S ( i ) j , k , l

^^^^^^.

D О n + 1

B4 S ( i ) j -1, k ,l

^^^^^^.

^^^^^^.

D Q n + 1

B 5 S ( i ) j,k -1, l

^^^^^^.

+ B 9 S ( i ) j,k ,l + 1

^^^^^^»

D Q n + 1

B 6 S ( i ) j,k,l -1

n

B10B ( i ) j - 1,к,l

^^^^^^.

1 j Nx

^^^^^^.

- A S n     + B S n + B S n +

2 ( i ) j , k , l          7 ( i ) j + 1, к , l          8 ( i ) j , к + 1, l

B11 S ( i ) j,k -1, l

^^^^^^.

n

B12B ( i ) j, k,l -1

^^^^^^.

V ,

1,1 к N - 1,1 l N - 1,0 n N - y                           z                           t

1, i = 1,

Достаточное условие монотонности и устойчивости модели (4) определяется нове принципа максимума А. А. Самарского при следующих ограничениях:

на

ос-

h x < ||2 A / u n

, h

I с ( ч ) ' у

< 22^ / v

, h < I с ( h ) ' z

||2vi / ( wn

^^^^^^.

w g I

, i = 1, 17. 1C ( Ч )

Исследование погрешности аппроксимации разработанной схемы с весами вида (4) показало, что при у = 0.5 (схема Кранка — Николсон) она имеет наибольший порядок точности по временной и пространственным переменным: O ( г2 + | h |2), где

1у + h z

2.    Метод решения сеточных уравнений

Дискретную модель (4) может быть представлена в виде операторного уравнения: Au = f                                               (7)

с положительно определенным оператором A в гильбертовом пространстве H . Рассмотрим неявный двухслойный процесс вида

B y k + 1

T

^^^^^в

— + Ayk = f, к = 0,1, ...

k

с неким начальным приближением у0 е H и оператором — предобуславливателем в [7]. Всякий двухслойный итерационный процесс (8), характеризуется операторами A и B , энергетическим пространством HD , в котором исследуется сходимость метода, и спо- собом расчета итерационных параметров гк • К основным вопросам теории итерацион- ных методов решения сеточных уравнений относится оптимальный выбор параметров гк [8–10].

Для вычисления параметров г к в методах вариационного типа не требуется априорная информация об операторах задачи (7) (кроме условий общего вида A = A * >  0 , ( DB - 1 A ) = DB - 1 A ). Данные методы основаны на принципе: если задано значение ук , а ук +1 находится по схеме (8), то параметр г к +1 рассчитывается из условия минимизации в

HD энергетической нормы погрешности zk+1 = ук+1 - и , где и — решение уравнения (7). Последовательность ук, рассчитанная на основе выражения (8), в которой значения гк вычисляются из приведенного выше условия, является минимизирующей для квадратичного функционала вида I (у) = (D (у - и), у - и) • Данный функционал имеет ограничения снизу (в силу положительной определенности оператора D ), и его значение достигает минимума, равного нулю при у = и • Выбор параметра гк+1 из приведенного условия гарантирует локальную минимизацию функционала I (у) при переходе от ук к ук+1 • В случае задания оператора-предобуславливателя методом простой итерации

( B = E ) переход от ук к ук +1 осуществляется согласно выражению

У к +1 = У к

^^^^^^.

гк + 1гк , гк = A У k - f

ента для функционала ( A ( y - u ) , y - и ) в точке yk . В направлении антиградиента происходит наискорейшее убывание значения функционала. Параметр т к +1 в H D находится из условия минимизации нормы погрешности z k +1 = y k +1 - и [11].

Формула для вычисления итерационного параметра т к +1 находится в предположении невырожденности оператора A . Погрешности находятся из уравнений: zk = yk - и , к = 0,1,™ . Схема (8) с учетом y k = т к + и , примет вид: z k + 1 = ( e - т кв - 1 a ) z k , k = 0,1,™, z 0 = y 0 - и . С помощью замены zk = D - 1/2xk осуществляется переход к выражению, содержащему только один оператор:

Х к +1 = S k +1 Х к , S k = E - T C, C = D - 1/2 ( DB - 1 A ) D -1/2 .                       (9)

С помощью равенства || zk|| D = || xk || (|| ■ || D — норма в H D , || ■ || — норма в н ) описанную задачу расчета параметра T k +1 можно описать следующим образом: рассчитывается значение параметр T k +1 из условия минимизации нормы xk +1 в пространстве н . Рассмотрим норму:

II xk +11Г = (( E - Tk +1 C ) xk , ( E - Tk +1 C ) xk ) = UNI2 - т +1 ( Cxk , x ) + N ( Cxk , Cxk ) = (10) = ( Cxk , Cxk ) [ Tk +1- ( Cxk , xk ) / ( C xk , Cxk ) ] 2 + INI2 - ( Cxk , xk ) 2 / ( Cxk , Cxk ) .

Оператор C не вырожден, поскольку не вырожден оператор A . Таким образом, для любого xk имеем ( Cxk , Cxk ) > 0 , и минимальное значение нормы xk +1 достигается при

Т+1 = (Cxk, xk) / (Cxk, Cxk) .

Подставим (11) в (10) и получим:

II xk+1|| = Pk+1 INI, где pk+1 = 1 - (Cxk, xk )2 / {(Cxk, Cxk) (xk, xk)}.

Выражение (11) описывает оптимальные значения итерационного параметра T k +1 .

Выражение (11) с учетом xk = D 2zk запишется в виде:

Tk+1 = (DB-1 Azk, zkxk ) / (DB-1 Azk, B-1 Azk ) , k = 0,1, ... .

Принимая во внимание, что Azk = Ayk - Au = Ayk - f = rk — невязка, а B -1 rk = ®k — поправка, выражение для расчета параметра T k +1 запишется в виде:

  • Tk+1 = (D®k, zk) / (D®k, ®k), k = 0,1, ™ ,

а двухслойная итерационная схема (8) представима в явном виде:

yk+1 = yk - Tk+1®k, k = 0,i,..., то алгоритм для данного метода, запишется в виде:

  • 1)    для вектора yk вычисляется вектор невязки rk = Ayk - f ;

  • 2)    вычисляются значения вектора поправки из уравнения B ® k = rk ;

  • 3)    рассчитывается параметр T k +1 из выражения (15);

  • 4)    рассчитывается новое приближение yk +1 из выражения (16).

Рассмотрим двухслойные градиентные методы, которые использованы при решении модельной задачи эвтрофикации вод мелководного водоема. Каждый метод из данного класса имеет свою область применимости и определяется способом задания оператора D. Оператор D выбирается таким образом, чтобы выражение (15) для итерационного параметра тк+1 содержало только известные величины.

Если оператор A самосопряжен и положительно определен в H , то для решения (8) можно использовать метод скорейшего спуска (МСС). Если оператор A невырожден и несамосопряжен, а оператор BA является положительно определенным, то применим метод минимальных невязок (ММН) [12]. С учетом Az k = Ax k - f = rk и A = A * и выражения (15) получим формулу для расчета итерационного параметра т к +1 согласно методу скорейшего спуска:

Т +1 = ( r k - ® k ) / ( A ® k - A ® k ) - k = 0, 1, - .                          (17)

Для случая в = E получим юк = B - 1 rk = rk и выражение для расчета T k + 1 примет вид:

т к +1 = ( r k - r k ) / ( Ar k - Ar k ) - к = 0 - 1- - •                              (18)

При решении модельной задачи (1) – (3) методом скорейшего спуска по невязке параметр T k +1 рассчитывается по формуле (18), а метод скорейшего спуска по поправке реализуется с помощью расчетной формулы (17).

Метод минимальных поправок (ММП) можно применять для решения модельной задачи (1) – (3) в случае любого несамосопряженного невырожденного оператора A , кроме того требуется положительная определенность оператора B A . Для метода минимальных невязок D = A * A .

Формула для итерационного параметра T k +1 в ММП имеет вид:

Т к + 1 = ( A ® k - r k ) / ( A ® k - A ® k ) - k = 0-1- •                          (19)

В случае ( в = e ) требуется положительная определенность оператора A- а формула для T k +1 примет вид:

Т +1 = ( Ar k - r k ) / ( Ar k - Ar k ) - k = 0- 1- •                          (20)

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

В таблице используются следующие обозначения: метод минимальных невязок (ММН); метод минимальных поправок (ММП); метод скорейшего спуска по невязке (МССН); метод скорейшего спуска по поправке (МССП); p — номер итерации; n — номер временного слоя; 1 ф — количество итераций, необходимое для сходимости метода решения СЛАУ для уравнения, описывающего изменение концентрации ф , Ф е { S - X } - где S = S 5 - X = S 16 .

Метод минимальных поправок (ММП) был выбран в качестве основного метода в виду его наибольшей скорости сходимости, согласно данным, приведенным в таблице.

Таблица

Сравнение скоростей сходимости методов вариационного типа

ММП

n

p

1

2

3

4

1

I s = 48, I x = 44

I s = 47, I x = 43

I s = 47, I x = 43

I, = 4 8, I„ = 42

SX

2

I, = 53, I„ = 48

SX

I, = 52, I„ = 47

SX

I, = 53, I„ = 4 6

SX

I = 53, I = 45

SX

3

I, = 21, I„ = 21

SX

I, = 22, I„ = 20

SX

I, = 22, Ix = 19

SX

Is = 21, Ix = 19

SX

4

Is = 17, Ix = 15

SX

Is = 14, Ix = 13

SX

ММН

1

I S = 83, Ix = 65

I S = 77, Ix = 64

I S = 7 6, Ix = 63

I S = 7 6, Ix = 62

2

I S = 87, Ix = 73

I S = 87, Ix = 73

I S = 8 6, Ix = 72

I S = 85, Ix = 71

3

I S = 51, Ix = 51

I S = 50, Ix = 4 6

I S = 4 9, Ix = 43

I S = 4 8, Ix = 4 0

4

I S = 40, Ix = 38

I S = 38, Ix = 35

МССП

1

I S = 6 9, I X = 62

I S = 67, Ix = 61

I S = 67, Ix = 60

I S = 67, Ix = 59

2

I, = 71, Ix = 68

SX

Is = 74, Ix = 67

SX

Is = 74, Ix = 67

SX

I, = 74, Ix = 66

SX

3

I = 35, I = 32

SX

I = 35, I = 30

SX

I = 35, I = 2 9

SX

I, = 34, Ix = 28

SX

4

I, = 24, Ix = 23

SX

Ix = 21, Ix = 20

МССН

1

I = 68, I = 64

SX

Is = 7 9, Ix = 67

SX

I = 78, I„ = 66

SX

I = 7 8, I„ = 65

SX

2

I = 8 6, I = 74

SX

I = 87, Ix = 73

SX

I = 8 6, I„ = 73

SX

I = 8 6, I„ = 72

SX

3

I S = 53, I S = 4 9

I S = 52, Ix = 45

I S = 51, Ix = 42

I S = 4 9, Ix = 41

4

I S = 40, Ix = 38

I S = 36, Ix = 35

3.    Параллельный вариант метода решения сеточных уравнений

Для геометрического разбиения расчетной области с целью равномерной загрузки вычислителей (процессоров) МВС использовался метод k-means, который позволяет найти центры подобластей: Q = Q(3 на основе на минимизации функционала суммарной выборочной дисперсии функции, описывающей расположение элементов (расчетных узлов сетки). Пусть Xi — множество элементов i - ой подобласти, i е {1,..., m} , m — количество подобластей. Q(3) = ^ г1г 22 d2x, c) ^ min , где c = ~Т 22 x — центр v ixi|xexi                                        Xi | xexi подобласти Xi , а d(x, ci) — расстояние между центром подобласти ci и элементом x в Евклидовой метрике. Метод k-means позволяет разбить исходную область на примерно равные подобласти.

Результат работы метода k-means для модельных двумерной и трехмерной областей представлен на рис. 2.

Рис. 2. Декомпозиция области на основе алгоритма k-means: для двумерной (на 9, 38, 150 подобластей); для трехмерной (на 6 и 10)

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

  • 1)    первый центр подобласти задается первым элементом;

  • 2)    второй центр расположен на максимальном удалении от первого центра подобласти;

  • 3)    каждый следующий центр подобласти располагается из условия на максимального удаления от ближайшего центра.

Опишем алгоритм работы k-means.

  • 1)    Рассчитываются начальное расположение центров подобластей при помощи мак-симинного алгоритма.

  • 2)    Все элементы кластеризуются на m клеток Вороного согласно методу ближайшего соседа, т. е. для любого x е X c , где X c — подобласть, должно выполняться условие ||x - s c || = min || x - s i ||, где s c - центр области X c .

  • 3)    Расчет новых центров осуществляется согласно выражению s ^ ) = ।---1 ^ x .

X k )| x е^ >

  • 4)    Выполняется проверка условия остановки алгоритма s^+1 = s^) для всех к = 1, ..., m. Если условие остановки алгоритма не выполняется, то переходим к пункту 2.

  • 4.    Описание программного комплекса

Элементы, лежащие на границах подобластей, обмениваются данными при параллельной реализации алгоритмов решения сеточных уравнений. Задача построения выпуклой оболочки решалась с помощью алгоритма Джарвиса. На основе данного алгоритма найдено расположение элементов, участвующих в обменах данными между вычислителями, и номера вычислителей, передающих и принимающих соответствующие данные [13, 14].

Метод сдваивания был использован для расчета итерационного параметра т при решении сеточных уравнений методом минимальных поправок. Следует отметить, что синхронизация разработанного алгоритма решения задачи (1) – (3) производится только при решении сеточных уравнений ММП на переходах между итерационными слоями.

Для решения модельной задачи эвтрофикации мелководного водоема (1) – (3) был создан комплекс прикладных программ, позволяющий производить расчеты концентраций загрязняющих веществ (ЗВ), фито- и зоопланктона в областях сложной формы (Азовское море и Таганрогский залив) [15].

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

  •    внедрение системы и совершенствование комплексного рыбохозяйственного мониторинга в водоемах (кормовых запасов и базы промысловых объектов наблюдение, прогноз и оценка состояния режима экосистем);

  •    разработку, согласование предложений и мероприятий по обеспечению оптимального режима, сохранения биоразнообразия промысловых ресурсов, экосистем мелководных водоемов;

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

  •    разработку и совершенствование методов диагностики токсического воздействия ЗВ на гидробионты, в том числе ранней и дифференциальной диагностики токсикоза, а также поиск средств антидотной защиты водных экосистем;

  •    организацию и проведение исследований по выявлению тенденций и закономерностей изменения состояния водных экосистем под воздействием антропогенных факторов, разработка предложений и мероприятий по снижению и предупреждению таких воздействий;

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

Значения поля скоростей движения водной среды, рассчитанные в работах [16], относятся к входной информации для моделей гидробиологических процессов, описанных в первой главе. Для математического моделирования гидробиологических и гидродинамических процессов в трехмерной области сложной формы Азовское море и Таганрогский залив использовались последовательно сгущающиеся прямоугольные сетки размерностями: 251 х 351 х 15 , 502 х 702 х 30 , 1004 х 1404 х 60 , ....

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

Калибровка и верификация разработанной модели эвтрофикации вод мелководного водоема проводились на основе экологических данных по Азовскому морю, полученных в ходе научно-исследовательских экспедиций, проводимых учеными ЮФУ, начиная с 2000 года. В ходе исследований акватории Азовского моря изучались: виды и концентрации основных загрязняющих воды Азовского моря веществ; пространственные рас- пределения солености и температуры; кислородный режим; видовой состав фито- и зоопланктона; механизмы возникновения и развития заморов в центрально-восточной части водоема. Обработка экспедиционных данных заключалась в оцифровке, пересчете в стандартные единицы, классификации для использования в разных модельных задачах гидробиологии моря.

На рис. 3 приведена схема разработанного программного комплекса.

Рис. 3. Схема программного комплекса

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

При разработке программного комплекса использовался язык высокого уровня С++. Были разработаны две версии параллельного алгоритма решения модельной задачи эвтрофикации вод мелководного водоема. Первая предназначена для ЭВМ с операционной системой Windows, основана на технологии создания в этой системе дополнительных потоков. Вторая может использоваться для кластерных систем, и основана на технологии передачи сообщений (MPI).

5.    Результаты численных экспериментов

При моделировании пространственно-неоднородных процессов эвтрофикации вод Азовского моря (1) – (3) учитывалась внешняя периодичность, приводящая к усложнению системы. При этом колебания плотности планктона могут быть столь велики, что не могут быть объяснены случайными флуктуациями, и визуальная картина такова, что сравнительно небольшие площади высокой плотности («облака», «пятна») разделены пространствами с различными плотностями, зачастую не фиксируемыми общепринятыми методами наблюдений. Особенно ярко это явление выражено в тех местах водоема, для которых характерна потребность в биогенных элементах. При моделировании процессов эвтрофикации учитывался вегетационный период фитопланктона.

Диффузные процессы сглаживают пространственное распределение и рассеивают «пятна». Одна из попыток объяснить парадокс стабильности «пятен» с помощью численных экспериментов заключалась в предположении об активном передвижении гетеротрофных организмов (зоопланктона и рыб) в направлении градиента «пищи», что обеспечивает закрепление пространственной неоднородности биогенных веществ в водной среде. Устойчивая пространственная неоднородность распределения может быть, например, связана с диффузионными процессами и наличием у фитопланктона механизма эктокринного регулирования, т.е. регулирования скорости роста водорослей посредством выделения в среду биологически активных метаболитов.

На рисунке 4. показаны результаты расчета концентрации загрязняющего биогенного вещества для модели (1) – (3) (начальное распределение полей течений при северном ветре). Приведенные ниже рисунки отражают влияние структур течений водного потока в Азовском море на распределение загрязняющего биогенного вещества и фитопланктона. Белым цветом выделены максимальные значения концентраций биогенного вещества (азота) и фитопланктона черным минимальные.

Рис. 4. Распределение концентрации загрязняющих веществ в различные моменты времени

Результаты моделирования динамики фитопланктона в Азовском море представлены на рис. 5. ( N — номер итерации, начальное распределение полей течений водного потока при северном направлении ветра).

Критерием проверки адекватности построенных моделей гидробиологии мелковод- ного водоема служила оценка погрешности моделирования с одновременным учетом натурных данных по имеющимся n замерам, которая вычислялась по формуле: 5 = ЛДSknat - Sk U Л Sk nat , где Sknat — значение концентрации загрязняющей к=1                               к=1

примеси, полученное с помощью натурных экспедиционных измерений; Sk — значение, рассчитанное с помощью модели (1) – (3).

Рис. 5. Распределение концентрации фитопланктона в различные моменты времени

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

Заключение

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

С помощью модели ЭВ (1) – (3) могут быть описаны процессы ассимиляции NH 4 , нитратредукции (денитрификации), окисления H 2 S , сульфатредукции, нитрифика-ции,окисления и восстановления марганца аммонификации, а также можно изучать механизм условий формирования заморов, прогнозировать изменения кислородного и биогенного режимов в мелководном водоеме. При построении модели были параметризованы процессы биогеохимических циклов химических элементов, ответственных за трансформацию аэробных условий в анаэробные [2].

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

Отличительными особенностями разрабатываемых алгоритмов, реализующих поставленные гидробиологические модельные задачи, являются: высокая производительность, достоверность и точность получаемых результатов. Высокая производительность достигается за счет использования эффективных численных методов решения сеточных уравнений, реализованных на параллельных вычислительных системах в реальном и ускоренном масштабах времени. Достоверность достигается за счет учета определяющих физических факторов, таких как: стоки рек, испарение, сила Кориолиса, сложная геометрия береговой линии и дна водоема, турбулентный обмен, трение о дно и ветровые напряжения, динамическое перестроение расчетной области, а также за счет учета отклонения значения поля давления от гидростатического приближения. Точность достигается применением подробных расчетных сеток, учитывающих степень «заполненности» расчетных ячеек, а также отсутствием неконсервативных диссипативных слагаемых и нефизичных источников (стоков), возникающих в результате конечноразностных аппроксимаций.

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

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

Работа выполнена при частичной финансовой поддержке Задания № 2014/174 в рамках базовой части государственного задания Минобрнауки России, а также при частичной финансовой поддержке РФФИ по проектам № 15-01-08619, № 15-07-08626, № 15-07-08408.

Список литературы Математическое моделирование процессов эвтрофикации в мелководных водоемах на многопроцессорной вычислительной системе

  • Якушев Е.В., Сухинов А.И. и др. Комплексные океанологические исследования Азовского моря в 28-м рейсе научно-исследовательского судна «Акванавт»//Океанология. 2003. Т. 43, №1. С. 44-53.
  • Сухинов А.И., Никитина А.В., Чистяков А.Е. Моделирование сценария биологической реабилитации Азовского моря//Математическое моделирование. 2012. Т. 24, №9. С. 3-21.
  • Сухинов А.И., Чистяков А.Е., Алексеенко Е.В. Численная реализация трехмерной модели гидродинамики для мелководных водоемов на супервычислительной системе//Математическое моделирование. 2011. Т. 23, № 3. С. 3-21.
  • Сухинов А.И., Чистяков А.Е. Параллельная реализация трехмерной модели гидродинамики мелководных водоемов на супервычислительной системе//Вычислительные методы и программирование: Новые вычислительные технологии. 2012. Т. 13. С. 290-297.
  • Белоцерковский О.М. Турбулентность: новые подходы. М.: Наука, 2003. 286 c.
  • Самарский А.А. Теория разностных схем. М.: Наука, 1989. 616 c.
  • Самарский А.А., Николаев Е.С. Методы решения сеточных уравнений. М.: Наука, 1978. 592 c.
  • Коновалов А.Н. К теории попеременно-треугольного итерационного метода//Сибирский математический журнал. 2002. 43:3. С. 552-572.
  • Сухинов А.И., Чистяков А.Е. Адаптивный модифицированный попеременно-треугольный итерационный метод для решения сеточных уравнений с несамосопряженным оператором//Математическое моделирование. 2012. Т. 24, № 1. С. 3-20.
  • Чистяков А.Е. Теоретические оценки ускорения и эффективности параллельной реализации ПТМ скорейшего спуска//Известия ЮФУ. Технические науки. 2010. № 6(107). С. 237-249.
  • Чистяков А.Е., Хачунц Д.С., Никитина А.В., Проценко Е.А., Кузнецова И.Ю. Библиотека параллельных итерационных методов решателей СЛАУ для задачи конвекции-диффузии на основе декомпозиции по одному пространственному направлению//Современные проблемы науки и образования. 2015. № 1. URL: http://www.science-education.ru/121-19510 (дата обращения 4.06.2015).
  • Никитина А.В. Численное решение задачи динамики токсичных водорослей в Таганрогском заливе//Известия ЮФУ. Технические науки. 2010. № 6(107). С. 113-116.
  • Никитина А.В. Модели биологической кинетики, стабилизирующие экологическую систему таганрогского залива//Известия ЮФУ. Технические науки. 2009. № 8(97). C. 130-134.
  • Сухинов А.И., Чистяков А.Е., Бондаренко Ю.С. Оценка погрешности решения уравнения диффузии на основе схем с весами//Известия ЮФУ. Технические науки. 2011. № 8(121). С. 6-13.
  • Сухинов А.И., Чистяков А.Е., Семенякина А.А., Никитина А.В. Параллельная реализация задач транспорта веществ и восстановления донной поверхности на основе схем повышенного порядка точности//Вычислительные методы и программирование: новые вычислительные технологии. 2015. Т. 16. C. 256-267.
  • Никитина А.В., Руднева Т.В., Камышникова Т.В., Бокарева Т.А., Дурягина В.В. К вопросу о формировании заморных зон в восточной части Азовского моря//Современные проблемы науки и образования. 2015. № 1. URL: http://www.science-education.ru/121-19509 (дата обращения 4.06.2015).
  • Никитина А.В., Пучкин М.В., Семенов И.С., Сухинов А.И., Угольницкий Г.А., Усов А.Б., Чистяков А.Е. Дифференциально-игровая модель предотвращения заморов в мелководных водоемах//Управление большими системами. М.: ИПУ РАН. 2015. Вып. 55. C. 343-361.
Еще