Научная статья на тему 'Социо-эколого-экономическая модель региона в параллельных вычислениях'

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

CC BY
592
86
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СОЦИО-ЭКОЛОГО-ЭКОНОМИЧЕСКАЯ МОДЕЛЬ / ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ / ПАРАЛЛЕЛЬНЫЕ АЛГОРИТМЫ / ДИНАМИЧЕСКОЕ РАСПАРАЛЛЕЛИВАНИЕ ПРОГРАММ / Т-СИСТЕМА / SOCIO-ECOLOGO-ECONOMIC MODEL / OPTIMAL CONTROL / PARALLEL ALGORITHMS / DYNAMIC PARALLEL PROGRAMS / T-SYSTEM

Аннотация научной статьи по математике, автор научной работы — Гурман Владимир Иосифович, Матвеев Герман Анатольевич, Трушкова Екатерина Александровна

Разработана общая процедура (с методическими рекомендациями) приближенного синтеза оптимального управления для социоэколого-экономической модели региона. Создан комплекс программ DSEEmodel 1.0, реализующий на кластерном вычислительном устройстве параллельные алгоритмы сценарных расчетов, оптимизации и улучшения приближенно-оптимального управления для социо-эколого-экономической модели с целью проведения многовариантных расчетов, связанных с разработкой стратегии устойчивого развития региона. В целом это – новый подход к проблеме ситуационного управления регионом с использованием суперЭВМ для реализации полномасштабной социо-эколого-экономической модели.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Гурман Владимир Иосифович, Матвеев Герман Анатольевич, Трушкова Екатерина Александровна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

A general procedure of the approximate optimal control synthesis for socio-ecological-economic model of the region is developed. A set of programs DSEEmodel 1.0, which implements at the cluster computing devices parallel algorithms for scenario calculations, optimization and improvement of an approximate optimal control for socio-ecological-economic model to conduct multivariant calculations relating to the development of strategies for sustainable development in the region is created. In general, this is a new approach to the problem of situational control region by using supercomputers to implement full-scale socio-ecological-economic model.

Текст научной работы на тему «Социо-эколого-экономическая модель региона в параллельных вычислениях»

УДК 519.68:519.86 ББК 22.19

СОЦИО-ЭКОЛОГО-ЭКОНОМИЧЕСКАЯ МОДЕЛЬ РЕГИОНА В ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЯХ1

Гурман В. И.2, Матвеев Г. А.3, Трушкова Е.А.4

(Учреждение Российской академии наук Институт программных систем имени А.К. Айламазяна РАН, Переславль-Залесский)

Разработана общая процедура (с методическими рекомендациями) приближенного синтеза оптимального управления для социо-эколого-экономической модели региона. Создан комплекс программ В8ЕЕтойе\ 1.0, реализующий на кластерном вычислительном устройстве параллельные алгоритмы сценарных расчетов, оптимизации и улучшения приближенно-оптимального управления для социо-эколого-экономической модели с целью проведения многовариантных расчетов, связанных с разработкой стратегии устойчивого развития региона. В целом это - новый подход к проблеме ситуационного управления регионом с использованием суперЭВМ для реализации полномасштабной социо-эколого-экономической модели.

Ключевые слова: социо-эколого-экономическая модель, оптимальное управление, параллельные алгоритмы, динамическое распараллеливание программ, Т-система.

1 Работа выполнена при финансовой поддержке РГНФ (проект №0902-00650) и РФФИ (проекты №09-01-00170 и №10-06-00081)

2 Владимир Иосифович Гурман, доктор технических наук, профессор, ([email protected]).

3Герман Анатольевич Матвеев, ([email protected]).

4 Екатерина Александровна Трушкова, ([email protected]).

Введение

В конце 1970-х годов в Сибирском отделении Академии наук в связи с решением проблемы сохранения природного комплекса озера Байкал и прилегающего региона были инициированы исследования с целью эволюционного развития классических моделей экономической динамики (см., например, [12]) путем дополнения их экологическими блоками в сопоставимых терминах при сохранении их преимущественно теоретического характера. Они оказались успешными и вылились в достаточно общую методологию моделирования и системного анализа регионов [8, 11].

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

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

1. Описание математической модели

Концепция рассматриваемой модели трактует регион как открытую систему, разделенную условно на три взаимодействующих подсистемы: экономическую, природную и социальную [9]. Экономическая подсистема включает традиционные произ-110

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

Модель описывается следующими соотношениями:

(1) с = (Е - А(в)) у - Ви - А* г - В* и* - Алй - Влил, т = N (т - т) - С(в)у - Би - Б*и + С*г + тг - ехг,

ттт ^ т ^ ттах у

(3) к = и - [6]ку к* = и* - [6г]к*у кл = ил - [6а]ка,

(4) Ут1п ^ У ^ [в]ку 0 ^ г ^ [в*]к*у 0 ^ й ^ [ва]ка,

() и ^ 0, и* ^ 0, иа ^ 0,

(5) в = - ([й] + Щпъ + \Hdif]) (в — в)у

(6) П = ^(1 - 1)ртс - I (т - т)2^ е-рЬу 0 ^ I ^ 1.

Здесь в качестве переменных состояния выступают векторы к е М”1, к* е М”2, кл е М”3 - основные фонды в экономическом, природо-социо-восстановительном и инновационном секторах (п3 = п1 (п1 + п2)); т е М”1 - индексы состояния природной среды и социума; в е М”3 - инновационные индексы (агрегированное описание изменения за счет инноваций элементов матрицы прямых затрат в экономическом секторе А(в) и матрицы коэффициентов прямого воздействия отраслей экономики на компоненты природной и социальной подсистем С (в) ); П е М -благосостояние. Переменными управления служат векторы у, г,

й - выпуски продукции по отраслям, активное природо-социо-

7 ^

восстановление, активные инновации; и, и*, ии - инвестиции в экономическом, природо-социо-восстановительном и инновационном секторах. Остальные величины, входящие в модель (1)-

(6): с - конечное потребление; Г(к) = [в]к, Г* (к*) = [в*}к*, Гл(кл) = [ва]ка; 5, 5*, 5Л - мощности и темпы амортизации в экономическом, природо-социо-восстановительном и инновационном секторах; р - цены; т - заданная функция (опорная), напри-

Г Г

мер получаемая из статистического прогноза; гш', ех' - миграционные потоки загрязнений и ресурсов; А*, Ал - прямые затраты в природо-социо-восстановительном и инновационном секторах; В, В*, Вл - фондообразующие затраты в указанных секторах; N - коэффициенты взаимовлияния компонентов природной и социальной подсистем; Б, Б* - коэффициенты воздействия на компоненты природной и социальной подсистем при инвестициях в отрасли экономики и в природо-социо-восстановительный сектор; Нп,0, [Hdif ] - матрицы, отражающие влияние инвестиций и диффузии инноваций; ттт, ттах - минимально и максимально допустимые индексы состояния природной среды и социума, утш - минимально допустимые выпуски продукции по отраслям.

Данная модель может трактоваться как непрерывная, так и дискретная по времени. Точкой сверху в непрерывном варианте обозначаются производные по времени (к = ^ и т. д.), а в дискретном - конечные разности (к = и т. д.), где Н

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

Одной из важных целей построения модели (1)-(6), как и в классических задачах экономической динамики, является оптимальный выбор управляющих воздействий по критерию максимума некоторого функционала полезности. Эта процедура служит по существу продолжением процесса моделирования, определяя поведение действующих сторон (агентов) исходя из единого принципа. Здесь предлагается достаточно очевидный критерий оптимальности: на заданном отрезке времени [Ь/] (период, го-

ризонт планирования) максимизировать величину П(Ьр) (функционал благосостояния) при заданных ограничениях и заданном состоянии в начале периода: n(tj) = 0, k(tj) = kj, kz(tj) = Щ, kd(tj) = kj, r(tj) = rj, 6(tj) = 6j.

После представления наборов фазовых и управляющих переменных модели (1)-(6) в виде соответствующих векторов x = (k,kz ,kd,r,9, П), u = (y,z,u,uz ,ud,ä), замены ограничений штрафными добавками в минимизируемый функционал задачу оптимизации для модели (1)-(6) можно рассматривать как задачу оптимального управления в стандартной форме

X = f (t, x(t),u(t)), t G T = {tj,... ,tF},

X G Rn, u G Rp,

(7) П = U\ +2U2 +2n\(ui + U2) + l,

p = 2ui + 2u2 + 2ui(ui + U2), x(tj) = xj, F (x(tF)) ^ min, и применять к ее исследованию известные методы теории оптимального управления.

2. Программно-алгоритмический инструментарий

На основе рассматриваемая версии модели разработан программно-алгоритмический комплекс DSEEmodel 1.0 для суперЭВМ серии «СКИФ» Союзного государства «Россия-Белоруссия». Все основные алгоритмы комплекса программ DSEEmodel 1.0 реализованы в рамках Г-системы с открытой архитектурой (OpenTS) на языке программирования Г++. Г-система -система параллельного программирования, реализующая концепцию автоматического динамического распараллеливания программ. Это оригинальная российская разработка, которая ведется в Институте программных систем РАН [1,2]. Г-система автоматически (без участия программиста) выполняет распараллеливание фрагментов кода в программе, планировку вычислений, синхронизацию параллельных фрагментов кода, обмен данными между фрагментами программы и распределение данных по различным узлам кластера. Причем эти действия определяются и выполняются в динамике, во время исполнения программы (а не пла-

нируются заранее, в статике, во время компиляции). Г-система предоставляет язык программирования T++ (очень простой параллельный диалект C++), который предназначен для эффективной реализации динамического распараллеливания.

Комплекс DSEEmodel 1.0 предназначен для компьютерной поддержки следующих типов расчетов:

1) сценарный анализ - программа поиска решения (прямого расчета системы) при задании всех входных величин;

2) моделирование неопределенностей - программы случайных изменений коэффициентов и входов моделей с целью исследования их на устойчивость и чувствительность;

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

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

2.1. Сценарный расчет

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

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

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

Предполагается прямой расчета системы (1)-(6)) при задании входных величин: п1, п2, Ь1, , Н, к(Ь1), к*(Ь1), кЛ(Ь1), т(Ь1), в(Ь1),

П(Ъ), 5, 5*, 5Л, т, гшг, ехг, р, в, р, I, N, Щп,и, Нщ, С*, Б, Б*, А*, А^, В, В*, Ва, и управлений у, г, й, и, и*, иЛ в моменты времени Ь1 у... уЬр - Н.

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

2.2. Моделирование неопределенностей

Предполагается исследовать чувствительность целевого функционала (П(Ьр)) = -П(Ьр) при заданных управлениях

к малым изменениям коэффициентов матрицы прямого воздействия отраслей экономики на компоненты природной и социальной подсистем С (в) и матрицы прямых затрат в экономическом секторе А(в).

Данный сценарий предполагает задание входных величин:

п1, п2, Ь1, , Н, к(Ь1), к*(Ь1), кЛ(Ь1), т(Ь1), в(Ь1), П(Ь1), 5, 5*, 5а,

115

r, imr, exr, p, в, р, l, N, Hinv, Hdif, Cz, D, Dz, Az, Ad, B, Bz, Bd, и управлений y, z, d, u, uz, ud в моменты времени tj,...,tF — h. В дальнейшем производится расчет для каждого нового набора входов с изменением одного коэффициента матрицы А(в) (матрицы C(в)) на 1% от исходного значения текущего коэффициента. При этом очевидно, что вычисления могут вестись параллельно для каждого текущего значения входов. По окончании сравниваются изменения значения целевого функционала Fo на исходном наборе входных данных и на текущих наборах входных данных.

2.3. Поиск магистрального решения

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

Из рассматриваемой системы (1)-(6) исключаются дифференциальные уравнения относительно kz, kd и в. Управления u, z считаются неограниченными, ud = 0, d = 0, C(в) = const = C(e(tj)), А(в) = const = A(e(tj)), Bz = 0, D = 0, Dz = 0. Ищется решение задачи оптимального управления следующего вида:

k = u — [5]k, t £ [tj,tF], r = N (r — r) — Cy + Czz + imr — exr,

(8) П = ((1 — l)pT((E — A) y — Bu — Az z) — l (r — rf) e-pt, k(tj) = kj, k(tF) = kF, r(tj) = rj, n(tj) = 0,

—n(tF) ^ min .

Применяется специальный метод преобразования к производной системе (сингулярной релаксации) [4], который, вкратце состоит в следующем. Записывается вспомогательная система

dk „ dr дП pt T

тг- = E, — = 0, — = —(1 — l)e-ptpT B,

дт\ дт\ дт\

dk Гг _ дП . pt T

— = 0, — = Cz, — = —(1 — l)e-ptpTAz,

дт2 дт2 дт2

где тi £ Rni, т2 £ Rn2, и находится ее интергал (скалярный)

(9) I (t) = n(t) + pT(t)Bk(t) + p>T (t)Az (Cz )-lr(t),

116

где р(г) = (1 - 1)е рЬр. Заметим, что р(г) = -рр(г). Далее записывается полная производная (9) в силу системы (8)

¡(г) = П(г) - рртг(г)Вк(г) + р? (г)Вк(г)--ррТ(г)А* (С* )-1т(г) + рТ(г)А* (С* )-1т(Ь) =

= рТ(г) {е - а - а*(С*)-1С) у(г)--р?(-Ь)В (рЕ +[5]) к(Ь)-

-1ер1 (т(г) - т)2 + у?(г)А*(С*)-1 ^ - рЕ) т(г) + ((г),

где ((г) — функция только от г.

В результате максимизации полученного выражения при каждом г е [ь,гр] по переменным у, к, т в области

ттт ^ т(г) ^ 'Ттах^ к1ош (г) ^ к(г) ^ kup(t)у

ушт < у (г) < [в\к(г),

где к1ош(г) = к1 е-^1, кир(г) = кре'[ё^(Ьр^ — решения уравнения к = -[5]к при условиях к(г1) = к1, к(гр) = кр соответственно, получается тройка функций у (г), к (г), к(г), называемая магистралью. Ее комбинация с заданными граничным точками, как правило, разрывна. Предлагается аппроксимировать магистральное решение в окрестности разрывов линейными функциями с заданными коэффициентами наклона следующим образом.

1. Максимизация по к.

а) если {-рТВ(рЕ + [5])}{ > 0, то

к.(г) = \ К(г; и, го + я, Ь(го) , кир г(г0 + S))у г е [г0,г0 + S)у

кг(1) = \ кирг(г), г е [го + 8,гР],

где К(г; т0уT1уX0уX1) — прямая, проходящая через точки (т0,х0), (т1, X]) (выход на магистраль).

б) если 0-рТВ(рЕ + [5])} < 0, то

'к (г)__/ kloшi(t) 1 г е [го 1 гр я),

^) = \ К(г;гр- Sуki(tF)уkloшi(гр - я)), г е [гр - я,гр].

в) если 0-рТВ(рЕ + [5])} = 0, то

к(г) = К(г; го,груki(tо)уki(tр)), г е [го,гр}.

2. Максимизация по у.

Если справедливо {рт (Е — А — А*(С*)-1С)}г ^ 0, то Уг(г) = {[в]к(г)}; иначе уг(Ь) = 0.

3. Максимизация по г.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Расчет вспомогательных величин г* и г:

1 _ 1 т

г* = г + (ртА*(С*)-1(М — рЕ))Т ,

Г*г, если I = 0,Г*г Е [гтш г,Гтах г],

Гтт г, если 1 = °, Г*г < гтт г,

г = < или 1 = °,{рТА*(С*)-1(М — рЕ)}. < 0,

Ттах І, если І = 0,Г*і >г

тах г ч

или І = 0,{рТ А* (О* )-1(N — рЕ)}. > 0;

гі (^), если І = 0, {рТА* (О* )-1^ — рЕ)}І = 0,

г М = } І Х(І'; І0,І° + s,ri(t0),r), 1 Є [і0,і0 + ^ иначе

Гі(І) = { і Г, t Є ІЬ + 8,^], ИНаЧЄ-

Далее, из уравнений (8) к = и — [5]к находим и = к + [5]/г. Из уравнений (8) Г = N (г — г) — Су + С * г + гшт — ехг находим и = (С* )-1 (У — N (к — г) + Су — гш* + ех^. Используя ограничения (4) 0 ^ г ^ [в*}к* и условия к*(¿х) = к|, к*(¿р) = кр (если они заданы), полагаем к* = кг. Если это необходимо,

вг

то аппроксимируем решение в окрестности разрывов линейными функциями с заданными коэффициентами наклона:

{\(г; го,го + в, к*(го), %(го + в)), г е [го,го + в),

-щкг(г), г е [¿о + в,гр — в),

\(г-,гр,гр — в,к*(гр), в*кг(гр — в)), г е [гр — в,гр].

X.*

Далее из уравнений (3) находим и* = к + [5*]к*.

Найденную аппроксимацию магистрального управления составят функции к(г), к(г), и(г), и*(г), иЛ(г) = 0, ¿(г) = 0, которые

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

Поиск магистрального решения предполагает задание входных величин: п1, п2, ¿1, ¿р, К, к(гх), к*(¿1), кЛ(г1), г(гх), 0(^1), П(£/), 5, 5*, 54, (г), гшг, ехг, р, (0), р, I, N, Нгпи, Hdif, С*, Б, Б*, А*, А4, В, В*, В4, Г тт, Гтах, в, в*, в4, Утт, и, возможно, некоторых из величин к(гр), к*(¿р), г(гр). В случае, когда все величины к(Ьр) заданы, алгоритм поиска магистрального решения последователен. В случае, когда некоторые из величин к(Ьр) не заданы, алгоритм поиска магистрального решения должен выполняться на некотором количестве принудительно заданных вариантов недостающих исходных величин, что порождает параллельные вычисления.

2.4. Последовательное улучшение управления

Задача улучшения управления ставится следующим образом: имеется начальное решение задачи оптимального управления (7) — допустимый элемент ш1 = (х1 (г), и1 (¿)), требуется найти допустимый элемент ш11 = (х11 (¿),ип(г)), такой, что е (х11 (гр)) < е (х1 (гр)).

Метод улучшения первого порядка в случае, когда Е = Ео (т. е. ограничения не учтены с помощью штрафных добавок в минимизируемом функционале), выражается формулами

■и11 (г) = и1(г) + ±(г,х1 (г),и(г)) ф(г + ^,

'Ф(г) = ¡х (г,х1 (г),и1 (г)) ф(г + К), г = — h,...,tI,

Ф(гр) = (0,..., 0,1 — а)т,

где а е (0,1] - параметр метода. Для исследуемой модели (1)-(6) сложность заключается в процедуре выбора весовых коэффициентов при добавлении штрафных добавок в минимизируемый функционал и в нахождении матриц частных производных ¡и и ¡х в силу нелинейности исходной модели (1)-(6). Для преодоления первой сложности в ПК ШСОЫ была предложена достаточно универсальная процедура выбора весовых коэффициентов при добавлении штрафных добавок на каждой итерации алгорит-

ма улучшения [5, 6, 7]. Матрицы же частных производных были вычислены аналитически.

Алгоритм улучшения управления предполагает задание входных величин: п1, п2, ¿1, ¿р, К, к^1), к*(гI), к4(г1), г(гх), 0(^1), П(гх), 5, 5*, 54, (г), гшг, ехг, р, (0), р, I, N, Нгпи, Н4г$, С*, Б, Б*, А*, А4, В, В*, В4, гтщ, гтах, в, в*, в4, утт, и начальных управлений у, г, ¿, и, и*, и4 в моменты времени ¿I,... ,гр — К. В области изменения параметра метода улучшения а выбирается равномерно несколько значений, и параллельно для каждого значения параметра проводятся итерации улучшения начального управления.

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

3. Тестовые расчеты

Были проведены расчеты для двух условных регионов с основными исходными данными, соответствующими Переславско-му региону [5] и Байкальскому региону [3]. Реальных данных в настоящее время далеко не достаточно для формирования полных наборов, необходимых для практических содержательных расчетов. Это самостоятельный сложный комплекс междисциплинарных эмпирических исследований, связанных с моделированием конкретных регионов и организованных также на основе концептуальной модели. Представление об этом дают соответствующие разделы монографий [3, 5]. Для проведения тестовых расчетов реальные данные были дополнены значительным количеством условных. В качестве параметров, подлежащих инновационным изменениям, были выбраны коэффициенты матриц прямых производственных затрат А прямых воздействий отраслей экономики на компоненты природы и социума С. С учетом возможностей высокопроизводительных параллельных вычислений агрегирование в инновационном блоке не производилось.

Для непрерывной модели региона типа «Переславский» соответствующий набор данных представлен в таблице 1. Эконо-120

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

1 2 индексами: г1 - приведенный запас природных ресурсов; г2 - качество природной среды; г3 - численность населения; г4 - индекс социального развития. Вектор инновационных индексов составляют 9 коэффициентов матрицы А и 12 коэффициентов матрицы С. Общая размерность вектора состояния составляет 54, вектора управлений - 56.

На этих данных было проведено три типа расчетов (1, 3, 4). Вначале находилось магистральное решение (расчет типа 3), затем оно модифицировалось в начальное приближение для управлений и рассчитывался соответствующий сценарий (расчет типа 1), далее запускался итерационный процесс улучшения (расчет типа 4). Результаты расчетов представлены на рис. 1-5. Значения экономических переменных отнесены к начальным значениям, а природно-социальных - к опорным (невозмущенным). Они демонстрируют качественный характер оптимальной стратегии устойчивого развития региона, несмотря на условность исходных данных. А именно, природно-социальные индексы остаются в заданных границах. При этом 1-я и 2-я отрасли оказываются нерентабельными с учетом затрат на восстановление природной и социальной среды, и их выпуски остаются на нижней границе, определенной из условий занятости. Третья отрасль становится рентабельной на 15-м году в результате инновационных процессов, и ее выпуск переключается на максимальный. Хотя в целом экономика остается нерентабельной, но тенденция накопления регионального дохода сменяется с отрицательной на положительную.

Для условного региона типа «Байкальский» были проведены расчеты типа 2 по моделированию неопределенностей. А именно, исследовались изменения целевого функционала в процентах при изменении коэффициентов матриц А и С также в процентах (т. е в терминах логарифмических производных). Базовый набор данных был сформирован исходя из информации, предоставленной специалистами Иркутского и Бурятского науч-

Таблица 1.

т 211 251 37,3

к* (0) 4 12 0,15 8,5

ка(0) 121121121111212111122

г(0) 5755 0,8 69,5 0,44

гтгп 5000 0,3 60 0,4

г тах 6000 1,3 120 0,8

Г 6000 0,7 100 0,5

Р 1 1 1

5 0,06 0,06 0,07

5* 0,07 0,09 0,06 0,11

5а 6 ,0 0, 6 ,0 0,

Утгп 42,2 43,925 9,325

в 0,4 0,35 0,5

в* 3,7 0,019 0,03 0,0026

вЛ 0,003 ... 0,003

Г ^ , N 1= ^ - 3 нулевые

С * (^) 1111

Нп (diag) 0,01 ... 0,01

А 0,08 0,001 1е - 05 0,5 0,4 0,35 0,001 0,006 0,06

В 0 0 0 0,45 0,65 0,4 0 0 0

А* 0,2 80 3 200 0,4 90 40 1000 0 0,6 20 3000

В* 0 0 0 0 0,3 0,35 0,2 0,15 0 0 0 0

С 122 0 0,011 0 0,0018 0,002 0,0011 0,0001 0,0005 0,0003 0,0002 0,0001 0,0003

ных центров СО РАН. Экономика при этом описывалась наиболее детально как совокупность 38 отраслей, а природно-социальный блок — посредством 8-ми агрегированных индексов. Полные размерности динамической системы (7), соответствующей построенной социо-эколого-экономической модели (1)-(6), составили п = 3551, р = 3588, т. е. получившаяся конкретная модель описывает динамику 3551 величины под действием 3588 управляющих воздействий.

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

Проводились вычислительные эксперименты по исследованию эффективности параллельной версии программ анализа чувствительности и улучшения управления на суперкомпьютере СКИФ МГУ «Чебышёв». Полученные данные представлены в таблицах 2 и 3.

Таблица 2. Эффективность параллельной версии программы анализа чувствительности_______________________________

Число процессоров (ядер) Время работы программы, с (мин) Ускорение

8 3466 (58) 6,232

19 1483 (25) 14,565

38 785 (13) 27,516

64 520 (9) 41,538

Аналогичные эксперименты проводились с параллельными версиями программ оптимизации на суперкомпьютере СКИФ «Первенец-М», расположенном в ИПС РАН. Полученные данные представлены в таблице 4.

Таблица 3. Эффективность параллельной программы улучшения управления____________________________________________

Число процессоров (ядер) Время работы программы, с (мин) Ускорение

1 703 (12) 1

2 394 (7) 1,78

4 230 (4) 3,06

9 202 (3) 3,48

Таблица 4. Эффективности параллельных программ оптимизации_________________________________

Число процессоров (ядер) Время работы программы, с (мин) Ускорение

Поиск магистрального решения

1 603 (10) 1

4 173 (3) 3,49

8 105 (2) 5,74

16 89(1) 6,78

Поиск магистрального решения с последующим расчетом динамики

1 2275 (38) 1

4 622 (10) 3,66

8 351 (6) 6,48

16 288 (5) 7,90

-

к 41) к2(0 кЩ) (1(1) -улучшение с2Р) -улучшение с3Р) -улучшение

•—#—• А 4, А А--А--4

'Ч~' Л

-

О 5 10 15 20

годы

Рис. 1.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Рис. 2.

Рис. 3.

Рис. 4.

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

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

ч

учшение лучшение лучшение

- V • «ИЧЦ-у А - А- -А с|21(1) -у

V

- N

- 1 1 1 1 '■ч 1 " 1

- 1 1 1 1 1 1 1 1

- 1 1 1 1 1 1

О 5 10 15 20

^ годы

Рис. 5.

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

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

Следует отметить как недостаток невысокую эффективность в данном случае градиентного метода улучшения управления. Это связано с тем, что результирующие управления (например, y3(t)) меняются скачкообразно в то время как на начальном приближении они достаточно плавные. Скачки же реализуются медленно в течение многих итераций. В перспективе планируется применить глобальный метод Кротова [12], который в настоящее время реализуется в составе ПК ISCON.

Литература

1. АБРАМОВ С. М., ЕСИН Г. И., ЗАГОРОВСКИЙ И. М., МАТВЕЕВ Г. А., РОГАНОВ В. А. Принципы организации отказоустойчивых параллельных вычислений для решения вычислительных задач и задач управления в Т-Системе с открытой архитектурой (OpenTS) // Труды Межд. конф. «Программные системы: теория и приложения», Переславль-Залесский, октябрь 2006. - М.: Наука, Физматлит. - Т. 1. - C. 257-264.

2. АБРАМОВ С. М., ЗАГОРОВСКИЙ И. М., КОВАЛЕНКО М. Р., МАТВЕЕВ Г. А., РОГАНОВ В. А. Миграция от MPI к платформе OpenTS: эксперимент с приложениями PovRay и ALCMD

// Труды Межд. конф. «Программные системы: теория и приложения», Переславль-Залесский, октябрь 2006. - М.: Наука, Физматлит. - Т. 1. - C. 265-275.

3. БЛИНОВ А. О., ГУРМАН В. И., ТРУШКОВА Е. А., ФРА-ЛЕНКО В. П. Программный комплекс оптимизации закон овуправления // Программные продукты и системы. - 2009.

- №2. - С. 95-100.

4. ГУРМАН В. И. Принцип расширения в задачах управления. - М.: Наука, Физматлит, 1997.

5. ГУРМАН В. И., ТРУШКОВА Е. А. Приближенные методы оптимизации управляемых процессов // Эл. науч. журнал Института программных систем имени А. К. Айлама-зяна РАН «Программные системы: теория и приложения». -2010.-Т. 1, №4.

6. ГУРМАН В. И., ТРУШКОВА Е. А., УХИН М. Ю. Улучшение управления, реализующего скользящий режим // Автоматика и телемеханика. - 2008. - №3. - C. 161-171.

7. КОВАЛЕНКО М. Р., МАТВЕЕВ Г. А., ОСИПОВ В. И., ТРУШКОВА Е.А. Параллельный алгоритм улучшения управления // Труды IV межд. конф. «Параллельные вычисления и задачи управления» (PACO’2008), Москва, 2729 октября 2008 г., ИПУ им. В.А.Трапезникова РАН. -ISBN 978-5-91450-016-7.

8. Модели управления природными ресурсами / Под ред. В. И. Гурмана - М.: Наука, 1981.

9. Моделирование социо-эколого-экономической системы региона // Под ред. В. И. Гурмана, Е. В. Рюминой. - М.: Наука, 2001.

10. Организация Объединенных Наций: основные факты. -М.: Издательство «Весь Мир», 2005.

11. Эколого-экономическая стратегия развития региона: Математическое моделирование и системный анализ на примере Байкальского региона. - Новосибирск: Наука, 1990.

12. ЭРРОУ К. Применение теории управления к экономическому росту // В кн.: Математическая экономика. - М.: Мир, 1974.

SOCIO-ECOLOGICAL-ECONOMIC REGION MODEL IN PARALLEL COMPUTING

Vladimir Gurman, Institute of Programm Systems of RAS, Pereslavl, Doct.Sc., professor ([email protected]).

German Matveev, Institute of Programm Systems of RAS, Pereslavl, ([email protected]).

Ekaterina Trushkova, Institute of Programm Systems of RAS, Pereslavl, Cand.Sc., ([email protected]).

Abstract: A general procedure of the approximate optimal control synthesis for socio-ecological-economic model of the region is developed. A set of programs DSEEmodel 1.0, which implements at the cluster computing devices parallel algorithms for scenario calculations, optimization and improvement of an approximate optimal control for socio-ecological-economic model to conduct multivariant calculations relating to the development of strategies for sustainable development in the region is created. In general, this is a new approach to the problem of situational control of the region by using supercomputers to implement full-scale socio-ecological-economic model.

Keywords: socio-ecologo-economic model, optimal control, parallel algorithms, dynamic parallel programs, T-system.

Статья представлена к публикации членом редакционной коллегии В. В. Кульбой

i Надоели баннеры? Вы всегда можете отключить рекламу.