Научная статья на тему 'Имитационные и оптимизационные модели сложных систем с учетом их структуры'

Имитационные и оптимизационные модели сложных систем с учетом их структуры Текст научной статьи по специальности «Математика»

CC BY
488
91
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ДИНАМИЧЕСКИЕ ОРИЕНТИРОВАННЫЕ ГРАФЫ / ИЕРАРХИЧЕСКАЯ СТРУКТУРА / ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ И ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ / DYNAMIC DIRECTED GRAPHS / HIERARCHICAL STRUCTURE / LINEAR PROGRAMMING AND OPTIMAL CONTROL

Аннотация научной статьи по математике, автор научной работы — Угольницкий Геннадий Анатольевич

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

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

It is convenient to simulate matter-energetic processes in complex systems with dynamic directed graphs (digraphs) reflecting the structure of a system. Acyclic digraphs naturally describe the structure of a hierarchical system. Linear programming and optimal control problems based on matrices of these digraphs are considered, examples of their applications are given.

Текст научной работы на тему «Имитационные и оптимизационные модели сложных систем с учетом их структуры»

УДК 62-50:681.3 ББК 22.18 65.23 65.29

ИМИТАЦИОННЫЕ И ОПТИМИЗАЦИОННЫЕ МОДЕЛИ СЛОЖНЫХ СИСТЕМ С УЧЕТОМ ИХ СТРУКТУРЫ

Угольницкий Г. А.1

(Южный федеральный университет, Ростов-на-Дону)

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

Ключевые слова: динамические ориентированные графы, иерархическая структура, линейное программирование и оптимальное управление.

1. Введение

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

1 Геннадий Анатольевич Угольницкий, доктор физикоматематических наук, профессор (ougoln@mail.ru).

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

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

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

2. Динамические орграфы и их использование в имитационном моделировании

Описание состояния сложной системы в момент t с учетом ее структуры включает следующие элементы.

1. Множество вершин Y(t) = (^(0, ..., уп(0), где п(0 - количество вершин в момент t. Разобьем множество Y(t) на два непересе-кающихся подмножества: "t Y(t) = Y1(t) и Y2(t), Y1(t) п Y2(t) = 0 (в частности, возможно Y2(t) = 0). Будем называть вершины из Y1(t) компартментами и обозначать квадратами, а вершины из Y2(t) - преобразователями и обозначать кругами.

2. Множество дуг 2(0 = ^/(0}, 1 < i,- < п(0, 1 < к < N, где zi]k(t)

- дуга из вершины у{ в вершину у- (в частности, петля при i = -),

по которой может перемещаться ресурс k в момент t; N - общее число ресурсов в системе.

3. Множество переменных состояния компартментов

X(t) = {x*(t)}, 1 < i < n(t), 1 < k < N, где xtk(t) - количество ресурса k в компартменте yi e Y1 в момент t. Тогда xi(t) - вектор состояния компартментаyi в момент t (набор всех его ресурсов).

4. Множество переменных состояния дуг

F(t) = {¿/(t)}, 1 < i, j < n(t), 1 < k < N, где fk(t) - вес дуги z/(t), т. е. либо количество ресурса k, переносимое за время [t, t + 1] из вершины yi в вершину y, i Ф j, либо величина прироста (убыли) ресурса k в компартменте yi за то же время, i = j (шаг по времени равен единице). В каждой рассматриваемой ситуации (задаче) множество F(t) можно разбить на два непересекающих-ся подмножества: V t F(t) = Fj(t) u F2(t), Fj(t) n F2(t) = 0 (в частности, возможно F2(t) = 0). Переменные из множества Fj(t) будем называть регулируемыми (они изменяются в силу заданных соотношений), а переменные из F2(t) - регулирующими или просто регуляторами (они могут изменяться произвольно на допустимом множестве).

5. Множество ограничений на емкость компартментов

X = {X;k}, 1 < i < n(t), 1 < k < N, где Xj - максимальное количество ресурса k, которое может содержаться в компартменте уг.

6. Множество ограничений на пропускную способность дуг

F = {£/}, 1 < i, j < n(t), 1 < k < N, где - максимальное количество ресурса k, которое может быть перемещено из вершины yi в вершину y;, i Ф j, или произведено (уничтожено) в компартменте yi, i = j, за единицу времени. Таким образом, обобщенное состояние сложной системы есть множество S(t) = <Y(t), Z(t), X(t), F(t), X, F>.

Чтобы избежать рассмотрения орграфов с кратными дугами, будем сопоставлять каждой вершине yi e Y единственный вес xi(t), а каждой дуге zij e Z - единственный вес aij(t). Тогда динамическая структура системы состоит из отдельных «скалярных» структур, каждая из которых отображает определен-

ный аспект вещественно-энергетических взаимодействий в системе.

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

1. Перемещение ресурса к между двумя компартментами yi и у- в момент t может происходить при наличии дуги 2ук(() (рис. 1).

Х,к0)

хДг)

Рис. 1. Перемещение ресурса к между компартментами у^ и у-

Пусть в момент t запасы ресурса к в компартментах у1 и у-равны х/(0 и х/(^ соответственно, а переменная состояния дуги zik(t) есть //(0. Тогда

(1) хк ^+1)=хк (о - /-к (о,х/ ^+1)=х-к (о+/-к ^).

2. Синтез/элиминация ресурса к в компартменте у1 в момент t возможны при наличии петли ziik(t) (рис. 2).

с

Уі

Х,к(І)

Рис. 2. Синтез/элиминация ресурса к в компартменте у

Случай /і,к(ґ) > 0 соответствует синтезу, а /ик(ґ) < 0 — элиминации ресурса к. В результате получаем

(2) хк (/ +1) = хк (0 + Лк (г).

3. Превращение одних ресурсов в другие возможно при наличии вершины-преобразователя из множества У2. Это наиболее сложный класс процессов, содержащий разнообразные подклассы, которые можно группировать различным образом, например:

802

а) простое превращение (ресурса к в ресурс 1);

б) сложное превращение (одного ресурса в несколько, нескольких в один или нескольких в несколько); или

A) единичное превращение (внутри одного компартмента); Б) бинарное превращение (между двумя компартментами);

B) множественное превращение (между несколькими компартментами).

Рассмотрим в качестве примера случай бБ. Пусть начальные запасы ресурсов хД/), х/(0, х/(0- Превращение удовлетворяет соотношению

хк«+1)=х,к«) - /1Рк«),

х/ (г +1) = х; (г) - /Р (г), х/ (г +1) = х/ (г) + // (г),

где у, у) - компартменты, уР - преобразователь. Рассмотрим в качестве примера хорошо известную модель «хищник-жертва»

... йхЛ Лх2

& = ^ х1 - У1 х1 х2 =~ех2 + 72х1 х2 ’

где х1(г), х2(0 - биомассы популяций жертвы и хищника соответственно в момент г; е1, е2 - коэффициенты естественного прироста популяций; у1, у2 - коэффициенты взаимодействия жертвы и хищника. Представление модели (4) с помощью динамического орграфа показано на рис. 3.

Рис. 3. Представление модели «хищник-жертва» с помощью динамического иерархического орграфа

Здесь петли 21\ и г222 описывают прирост (синтез) биомассы жертв (ресурса 1) и убыль (элиминацию) биомассы хищников (ресурса 2) в компартментах у1 и у2 соответственно, а преобразование у3 - простое бинарное превращение биомассы жертв в биомассу хищников. В общем случае естественная динамика

ресурсов системы отображается балансовым уравнением для каждого компартмента и каждого ресурса:

Xjk (t +1) = Xjk (t) + £ j (t) - £ jk (t),

(5) У, eS/(t) y, eSj-(t)

1 < i, j,I < n(t),1 < k < N,

Соотношение (5), дополненное начальными данными, представляет собой имитационную модель, описывающую динамику системы с учетом ее структуры. Уравнение (5) учитывает как пассивную регуляцию системы (за счет изменения f[k, fmj e F1 в силу заданных соотношений), так и активную (за счет выбора fpk, fj e F2). Активная регуляция может дополнительно изменять множества Y и Z. Изменения множеств X и F естественно назвать ресурсными, а изменения множеств Y и Z - структурными. Совокупность ресурсных и структурных изменений определяет динамику системы S.

Обобщенное состояние системы S(t) изменяется также при внешних воздействиях. Внешнюю среду системы можно представить вершиной у0 с вектором состояния x0(t) = (x01(t), ..., x0N(t)). Соответственно множество дуг Z(t) дополняется элементами вида z0ik(t), zi0k(t), а множество переменных состояния дуг F(t) - элементами f0lk(t), f0k(t), 1 < i < n(t), 1 < k < N. Влияние внешней среды на систему учитывается в (5) без потери общности при условии, что у0 может входить в множества Sj+, Sj~. Кроме того, внешнее воздействие может изменять множества Y(t), Z(t). При наличии нескольких источников воздействия приходится вводить несколько внешних вершин y0i, ..., у ом, соответствующих дуг и переменных состояния.

Рассмотрим в качестве примера модель «хищник-жертва» с учетом антропогенного воздействия (эксплуатации)

dx1 dx2

(6) —1 = ex1 - gx1 x2 - aAx1,—- = -e2x2 + g2x1 x2 - pAx2,

dt dt

где по сравнению с моделью (4) добавлены характеристики антропогенной эксплуатации сообщества: интенсивность 1 и способы а, р. Представление модели (6) с помощью динамиче-

ского иерархического орграфа дано на рис. 4. По сравнению с рис. 3 здесь к компартментам у («жертвы») и у2 («хищники») добавлен компартмент у0, отображающий внешнюю среду сообщества (источник эксплуатации), и дуги ¿ю1, ¿202 с переменными состояния аЛхь /Лх2.

Рис. 4. Моделирование эксплуатации в системе «хищник-жертва» с помощью динамического орграфа

Кроме соотношения (5), возможны и другие правила изменения значений вершин [8].

3. Теоретико-графовое моделирование иерархических систем

Будем описывать структуру иерархической системы конечным связным ориентированным графом Б = (У, X), где У = {уь ...,уп} - множество вершин, обозначающих элементы системы; X = {(у-, у-)} - множество дуг, обозначающих связи между элементами.

Будем говорить, что вершины у е У, у- е У связаны отношением иерархии (у < у), если существует путь от у к у- ; в частности, допускается путь нулевой длины. Будем называть связные орграфы без контуров иерархическими (Я-орграфами).

Будем говорить, что вершины уг е У, у- е У связаны отношением строгой иерархии (у < у-), если существует путь нену-

левой длины от у{ к у-. Будем называть связные орграфы без контуров и петель строго иерархическими (£И-орграфами).

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

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

Расстояние V) от вершины и до вершины V в орграфе Б

равно длине кратчайшего пути из и в V. Назовем расстоянием а?(М, V) от множества вершин М с У(П) до вершины V наименьшее из всех расстояний ё(и, V), и е М. В случае, когда вершину можно поместить в несколько слоев, будем выбирать тот, который ближе к первому слою. Слои, равноотстоящие от первого слоя, объединяются в один слой.

Указанные условия однозначно определяют разбиение множества вершин строго иерархического орграфа на слои У(БИ) = Ь1 и Ь2 и ... и Ьт, Ьр п Ьд = 0 ,р, д = 1, ..., т, где т - число слоев в орграфе. Каждый слой содержит п вершин, так что п1 + п2 + ... + пт = п, где п - число вершин орграфа.

Введем следующие определения [10].

Иерархический (строго иерархический) орграф называется:

- левым однополюсным, если п1 = 1;

- правым однополюсным, если пт = 1;

- двухполюсным, если п1 = пт = 1.

Левый (правый) однополюсный орграф называется:

а) древовидным, если

п1 < п2 < ... < пт (п1 > п2 > ... > пт соответственно);

б) строго древовидным, если знаки неравенств строгие.

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

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

4. Иерархические задачи

линейного программирования

Ориентированный граф D или, что то же самое, его матрица смежности A естественным образом определяют пару задач линейного программирования (ЗЛП): прямую

(7) (c, x) ® max, Ax < b, x > 0,

где x = (xb ..., xn) - вектор значений вершин; c = (cb ..., cn) - вектор коэффициентов целевой функции; b = (bi, ..., bn) - вектор правых частей ограничений;

(c, x) - скалярное произведение векторов, и двойственную

(8) (b, p) ® min, Ap > c, p > 0,

гдеp = (p1, ...,pn) - вектор двойственных переменных.

Заметим, что транспонирование сохраняет свойство иерархичности (строгой иерархичности) матрицы смежности с точностью до перестановки составляющих ее блоков. Заметим также, что в любом строго иерархическом орграфе существует ni > i вершин без входных дуг и nm > 1 вершин без выходных дуг. Вершинам без входных дуг соответствуют нулевые столбцы в матрице A , а вершинам без выходных дуг - нулевые столбцы в A'. Переменные ЗЛП, соответствующие нулевым столбцам, входят в левые части ограничений с нулевыми коэффициентами и могут принимать любые неотрицательные значения.

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

Поэтому во избежание неразрешимости ЗЛП переменные, соответствующие нулевым столбцам, следует исключать из

целевой функции. Чтобы сохранить общий вид ЗЛП (7) и (8), положим эти переменные равными нулю.

Пусть SH = (Y, Z) - строго иерархический орграф с n вершинами, квадратная матрица A = ||Оу|| порядка n - его матрица смежности, atj - вес дуги (y, y) е Z, xt - значение вершины у е Y. Строго иерархической ЗЛП, порождаемой орграфом SH, назовем ЗЛП вида (7), где x = (0, ..., 0, X j, ..., xn),

с = (0, ..., 0, Cni+j, ..., Cn), b = (bj, ..., bn_m , 0, ..., 0), nj, nm - число

вершин в первом и последнем слоях SH соответственно. Аналогично, для двойственной ЗЛП (8) полагаем

Р = ..., P„-nm , 0, ..., 0).

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

Теорема 1. Оптимальное решение правой древовидной ЗЛП с двумя слоями вершин xn ® max, Ax < b, x > 0 определяется по формуле x* = min{bj/ajn, ..., bn_j/an_j,n}.

Левая древовидная ЗЛП с двумя слоями вершин имеет вид

n

(9) £c]x] ® max

j = 2

(j0) ltiajxJ < ^

j=2

(11) xj > 0, j = 2,...,n.

Соотношение (j0) определяет гиперплоскость в пространстве векторов x2, ..., xn. Область допустимых значений ЗЛП

(9)-(jj) образуется пересечением этой гиперплоскости с координатными плоскостями, а все крайние точки суть точки пересечения гиперплоскости (j0) с осями координат. Приведенные рассуждения доказывают следующую теорему.

Теорема 2. Оптимальное решение левой древовидной ЗЛП с двумя слоями вершин имеет вид (0, ..., 0, XI, 0, ..., 0), где точка

*

Xj определяется условием CjXj = maxc.x..

2<j<n J j

Заметим, что теорема 1 справедлива также для левой двойственной ЗЛП с матрицей Л\, а теорема 2 - для двойственной ЗЛП с матрицей Л'. В общем случае для последовательных ЗЛП справедлива следующая Теорема 3 Г101. Пусть ЗЛП имеет вид

n

(12) I cjxj ® max

j=n +1

«и+1 \+1 + ... + ai,nl-n2 Vn 2 < К

(13) ...

an ,n1 +1 Xn1 +1 + ... + an1,n1 —n2 X^-n2 < bn ’

a x ++ a x < h

+1,«1 + n2 +1 n^ + n +1 . nj +1,«1 + n2 + Пз n + n2 + Пз — «і +1 ’

(14) ...

a x +... + a x <h ,

n—nm —nm—i,n—nm n —nm n-nm—i,n n n—nm — n^— 1 ’

(15) ап-пт_1п-птХп-пт ++а„-,%_1,пХ £ Ьп-пт_^

(16) х} > 0,7 = п +1,...,п.

Тогда вектор (х1, ..., хп*) является оптимальным планом ЗЛП (12)-(16) тогда и только тогда, когда:

подвектор (х1 , ..., хп*) является оптимальным планом ЗЛП

п + п^2

(17) I с7х7 ® тах

з=п+1

при ограничениях (13) и

(18) х} > 0,з = п +1,...,п + п2;

подвектор (х^+ 1, ..., х* + ) является оптимальным планом

ЗЛП

n + n + „з

(19) £ cjxj ® max

j=nj + », +J

при ограничениях (14) и

(20) xj > 0, j = n + n2 +1,...,n + n2 + n3;

подвектор (xn-n , xn*) является оптимальным планом ЗЛП

n

(21) £ cjxj ® max

j =n-nm

при ограничениях (15) и

(22) x} > 0, j = n - nm,...,n.

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

Рассмотрим в качестве примера биологическую систему, состоящую из видов i = 1, ..., n, в которой особи одного вида могут питаться особями другого вида. Построим ориентированный граф SH = (Y, Z), в котором вершины y1, ...,yn е Y обозначают виды, а дуга (y, yj) е Z проводится в том и только том случае, если j-й вид питается i-м (от жертвы к хищнику). Естественно считать, что если i-й вид питается j-м, то j-й вид не может питаться i-м; каннибализм также исключается. Тогда орграф SH не содержит контуров и петель, т. е. является строго иерархическим.

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

Сопоставим каждой вершине уг значение рг, равное биомассе вида г в начале некоторого периода, а каждой дуге (у,у) - вес Оу, равный доле биомассы особи вида г, переходящей в биомассу особи вида j при выедании в течение периода. Обозначим также:

Ьг - затраты на содержание одной особи вида г (предполагается, что биосистема создается человеком для своих нужд);

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

Тогда можно сформулировать строго иерархическую ЗЛП

п-1

ЕЬгРг ®

(23)

Е Рг - °3 , j = П1 + 1,..., n, Рг - 0,1 = П - 1,

гeSj+

где 8/ - множество видов, служащих пищей для j-го вида; п1 -число видов, не питающихся другими видами данной биосистемы. Эта ЗЛП является двойственной для правого однополюсного орграфа, поэтому в случае двух видов для ее решения можно использовать теорему 1, а в общем случае - теорему 3.

5. Иерархические задачи оптимального управления

Пусть SH = (Y, Z) - строго иерархический орграф с n вершинами. Строго иерархической задачей оптимального управления (ЗОУ), порождаемой SH, называется задача

(24) (cT+1, xT+1) + E (С, X) + £ (&, U) ® max

t=1 t=0

(25) X+1 = A x + b'u‘;

f

(26) Dtu‘ <d‘,t = 0,1,...,T;

(27) x0 =Xo,

где xt, ut, b\ ct, dt, x0 - векторы из Rn; набор (x/, иД btt, d/, x0i)

является значением вершины y; для вершин первого слоя yt е L1

(28) dt = 0;

для вершин последнего слоя yt е Lm

(29) U = 0;

At, Bt, Dt - строго иерархические матрицы весов дуг (каждой дуге из Z приписываются три значения aj, bj, dj).

Требуется найти последовательность управлений uopt\ t = 0, ..., T, удовлетворяющих (26), которая вместе с соответствующей последовательностью xopt\ определяемой формулой (25) при начальном значении (27), максимизирует целевую функцию (24). Как известно [2], для линейных дискретных ЗОУ справедлива

Теорема 4 (принцип максимума). Для того чтобы в задаче

(24)-(27) управление uopt‘ было оптимальным, необходимо и достаточно, чтобы выполнялось условие

(30) Ht (UoJ, p‘) = max Ht (u, p),

ueUt

где Ut - множество векторов ut, описываемое множеством (26); pt - соответствующие условию (25) двойственные переменные, определяемые формулой

(31) pt-1 = С + Atpf,t = T,T -1,...,1;pT = 0; функция Гамильтона имеет вид

(32) Ht(u,Р) = (b ,U) + (Р,Btu<).

Пользуясь рекуррентными соотношениями (31), легко получить формулу для вычисления pt:

(33) p = ct+1 + A/+ 2 + AtV+3 +... + AtT-t+1cT,t = 0,...,T -1.

Таким образом, функция Гамильтона (32) является линейной функцией переменных ut: H(ut) = (Ct,ut), где не содержащая ut векторная величина Ct зависит от параметров At, Bt, bt, ct.

Добавим к ЗОУ (24)-(27) естественно возникающие в приложениях условия неотрицательности

(34) ut > 0.

Тогда для нахождения максимума функции Гамильтона

(32) при ограничении (26) нужно решить ЗЛП

(35) (Ct,ut) ® max,Dt ut < dt,ut > 0,t = 0,1,...,T.

Эта ЗЛП является строго иерархической того же типа, что и исходная строго иерархическая ЗОУ (24)-(27); в частности, для решения последовательных ЗЛП применима теорема 3.

Рассмотрим динамическое обобщение предыдущего примера из раздела 4. Пусть x/ - биомасса вида i в момент t (скажем, в начале года t); uit - «сбор урожая» (изъятие) биомассы вида i в момент t; bit - цена единицы биомассы вида i в момент t; cit -биологическая ценность единицы биомассы вида i в момент t;

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

aij - доля биомассы особи вида i, переходящей в биомассу особи вида j при выедании в течение периода; e - коэффициент естественного прироста для i-го вида. Динамику биомассы j-го вида опишем уравнением

(36) xjt+1 = xj+Sjx; + х apx/ - Z avxl- uj,

ieSj+ keSj

где Sj+ , Sf - множества видов, служащих «жертвами» и «хищниками» для j-го вида соответственно, j = 1, ..., n. Тогда можно поставить следующую ЗОУ:

T

(37) J = (cT+1, xT+1) + Z (bt,ut) ® max

t=1

(38) xt+1 = (E + e + A'-S)x -ut;

(39) 0 < и* < х*,* = 0,...,Т;

(40) х0 = х0.

Принципиальное отличие ЗОУ (37)-(40) от ЗОУ (24)-(27) заключается в том, что ограничение на управления (26) заменено на (39), т. е. область допустимых управлений зависит от фазовых переменных. Поэтому функция Гамильтона здесь имеет вид

(41) Н(X,и*) = (Ь*, и*) + (р*,МХ - и*) + (1*,и* - х*),

где М = (Е + е + Л' - 5), 1* - множитель Лагранжа (вектор из Я").

Матрица М является иерархической, а не строго иерархической, как в ЗОУ (24)-(27). Необходимые и достаточные условия максимума функционала (37) можно записать в форме [2]:

(42) graduH(х,и) = Ь - р* +1 = 0;

(43) 1* > 0,(1*,и* - X) = 0.

Из (43) получаем условия

(44) 1/ >-0, и* = х/или и/ Ф х‘ ,А‘ = 0, г = 1,..., п, * = 1,..., Т.

Но из (42) 1* = р* - Ь* = с* + 1 + Лс* + 2 + ... + ЛТ- * - 1сТ - Ь*. Правая часть этого соотношения может обратиться в ноль только при специально подобранных значениях параметров Л, Ь, с, что для реальной биосистемы маловероятно. Поэтому почти всегда можно считать, что 1 не обращаются в ноль. Тогда из (44) остается единственная возможность

(45) и/ = х/, г = 1,..., п, * = 1,..., Т.

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

(46) х*+1 = (М - Е) х*, откуда с учетом (40) получаем

хо* = (М - Е )*х0 = (е + Л'-5 )*х0, * = 0,1,...,Т +1;

(47) Т

^ = (сТ+1 ,(е + Л' - 5 )Т+1 х0) + £ (Ь* ,(е + Л' - 5 )* х0).

*=1

Здесь также для сообщества из двух видов применима теорема 1, для сообщества из многих видов - теорема 3.

Аналогично можно определить линейные многошаговые игры двух лиц с иерархическими матрицами [10].

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

Динамические орграфы представляются удобным инструментом компьютерной имитации, позволяющим отобразить структуру моделируемой системы. Например, в терминах динамических орграфов можно описать три механизма реакции системы на внешнее воздействие [9]: 1) поисковый - поиск структурного элемента, способного разрешить возникшую в результате воздействия проблемную ситуацию без изменения состояния системы 5; 2) ресурсный - изменение вещественноэнергетических потоков в системе (множества ^2); 3) структурный - изменение структуры системы (множеств У и Т).

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

Литература

1. БЕРЖ К. Теория графов и ее приложения. - М.: ИЛ, 1962. -320 с.

2. БОЛТЯНСКИЙ В.Г. Оптимальное управление дискретными системами. - М.: Наука, 1973. - 446 с.

3. ГАВРИЛОВ В.М. Оптимальные процессы в конфликтных ситуациях. - М.: Сов.радио, 1969. - 160 с.

4. ГОРСТКО А.Б., УГОЛЬНИЦКИЙ Г.А. Оптимизация структуры ориентированного графа как метод моделирования в

экологии // Проблемы экологического мониторинга и моделирования экосистем. - 2000. - Т.17. - С. 68-81.

5. КОФМАН А., ДЕБАЗЕИ Г. Сетевые методы планирования.

- М.: Прогресс, 1968. - 184 с.

6. НОВОСЕЛЬЦЕВ В.Н. Теория управления и биосистемы. -М.: Наука, 1978. - 320 с.

7. ПОНТРЯГИН Л.С. и др. Математическая теория оптимальных процессов / Понтрягин Л.С., Болтянский В.Г., Гам-крелидзе Р.В., Мищенко Е.Ф. - М.: Наука, 1983. - 392 с.

8. РОБЕРТС Ф. Дискретные математические модели с приложениями к социальным, биологическим и экологическим задачам. - М.: Мир, 1986. - 486 с.

9. СЫРОЕЖИН И.М. Методы структурной настройки систем управления производством / Сыроежин И.М., Забежинская Е.Б., Захарченко Н.Н. и др. - М.: Статистика, 1976. - 184 с.

10. угольницкий га. Линейная теория иерархических систем. Препринт. - М.: ИСА РАН, 1996. - 55 с.

SIMULATION AND OPTIMIZATION MODELS OF COMPLEX SYSTEMS WITH RESPECT TO THEIR STRUCTURE

Guennady Ougolnitsky, Southern Federal University, Rostov-on-Don, Doctor of Science, Professor (ougoln@mail.ru).

Abstract: It is convenient to simulate matter-energetic processes in complex systems with dynamic directed graphs (digraphs) reflecting the structure of a system. Acyclic digraphs naturally describe the structure of a hierarchical system. Linear programming and optimal control problems based on matrices of these digraphs are considered, examples of their applications are given.

Keywords: dynamic directed graphs, hierarchical structure, linear programming and optimal control.

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

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