А
нализ и синтез систем управления
УДК 519.876.2
УПРАВЛЕНИЕ РАВНОВЕСНЫМИ СОСТОЯНИЯМИ В ПОЛОЖИТЕЛЬНЫХ НЕЛИНЕЙНЫХ НОРМИРОВАННЫХ МОДЕЛЯХ СЛАБОФОРМАЛИЗОВАННЫХ СИСТЕМ
Рассмотрены вопросы существования равновесных (асимптотически устойчивых) состояний и управления такими состояниями в положительных нелинейных нормированных моделях (ПНМ), функционирующих в единичном положительном кубе К из Яп. Обсуждено представление ПНМ в виде функционального графа. Введено понятие допустимого управления как управления со значениями координат из интервала [0, 1] и доказана выпуклость множества равновесных состояний, порождаемых допустимыми управлениями. Для ПНМ с независимыми управлениями и ПНМ с линейной обратной связью по состоянию решена задача перевода модели из произвольного начального состояния в заданное равновесное и определена погрешность подобного перевода. На примере показаны все этапы соответствующих процедур.
Ключевые слова: положительная нелинейная модель, неподвижная точка, нелинейное отображение, допустимое управление, разомкнутая и замкнутая модель.
Е.К. Корноушенко
При моделировании социально-экономических систем (политических, экологических, военных и др.) широко используются так называемые каузальные (причинно-следственные) качественные модели, и имеется обширная литература по таким моделям (см., например, работу [1] и библиографию в ней). Однако, как отмечают многие авторы (см., например, книгу [2]), существующие подходы к построению моделей не позволяют охватить все разнообразие встречающихся ситуаций, особенности происходящих в них процессов — необходимо расширять класс используемых моделей.
ВВЕДЕНИЕ
• В последние годы при моделировании социально-экономических систем широкое распространение получили так называемые когнитивные карты, которые в подавляющем числе случаев можно представить графовой моделью в виде взвешенного графа с постоянными весами на дугах. Одной из первых работ, где некоторые постоянные веса заменены функциями, является работа [1], которая и стимулировала желание исследовать класс подобных моделей.
• В причинно-следственных моделях «камнем преткновения» является допустимость сложения разнознаковых влияний. В ПНМ, как и в работе [1], подобные сложения отсутствуют.
В настоящей статье рассматривается специальный класс качественных нелинейных нормированных моделей — так называемые положительные нормированные модели (ПНМ). Модели этого класса являются непрерывными динамическими системами с дискретным временем, функционирующими в определенном подмножестве неотрицательного квадранта пространства Яп. Выбор ПНМ в качестве объекта исследования обусловлен следующими причинами.
• Графовое представление ПНМ имеет вид функционального графа, в котором все веса на дугах положительны и могут быть константами, произведениями нескольких переменных, скалярными монотонными функциями (возрастающими или убывающими). Скалярные управления (компоненты вектора управления) размещаются на дугах функционального графа. Значения управлений могут не зависеть от текущих значений координат состояния ПНМ (разомкнутая ПНМ) или линейно зависеть от таких коор-
18
СОЫТВОЬ БС!ЕМСЕ8 № 2 • 2014
динат (замкнутая ПНМ с линейной обратной связью по состоянию).
Основное внимание в данной работе, как и в аналогичных работах автора [3, 4], в которых рассматриваются более «простые» нелинейные системы, направлено на анализ поведения ПНМ внутри
единичного положительного куба K в Rп, включающий в себя анализ равновесных (асимптотически устойчивых) состояний в кубе K при выборе того или иного вектора управлений, а также синтез управлений, переводящих (в асимптотическом смысле) ПНМ из произвольного начального состояния в кубе K в заданное устойчивое состояние.
В последние годы был разработан так называемый синергетический подход к проблеме обеспечения целенаправленного поведения в сложных нелинейных системах (здесь большая заслуга принадлежит работам А.А. Колесникова и его коллег (см., в частности, сборник [5])). Далее в п. 2.5 показано, что предлагаемые в данной работе процедуры нахождения управлений для ПНМ полностью интерпретируются в терминах синергетического подхода, а в силу линейного вхождения управлений в уравнения ПНМ — существенно более простые по сравнению с соответствующими процедурами синтеза управлений в рамках синергетичес-кого подхода.
1. ОПРЕДЕЛЕНИЕ ПОЛОЖИТЕЛЬНОЙ НОРМИРОВАННОЙ МОДЕЛИ
1.1. Графовое представление ПНМ
Положительная нормированная модель содержит переменные состояния хр ..., хп, управления u1, ..., u , внешние воздействия z1, ..., zr. Графовое представление ПНМ GnHM отражает структурные связи между этими переменными. Вершинами графа GnHM служат координаты вектора состояния
ПНМ. Всякая дуга ау в этом графе отражает лишь
у
факт непосредственного (без промежуточных вершин) влияния переменной x. на переменную x,
i,
описываемого соответствующей функцией f... Если
i,
характер и сила такого влияния не меняются во
времени, то f.. = w,x, где w, е (0, 1] — постоянный
у У l у
положительный вес. Если сила такого влияния зависит от «чужой» переменной1 xk(xr, x, ..., xv), то f.. = w,xk(xr, x, ..., xv)x;. В рассмотрение включен также случай, когда воздействие x. на x. описыва-
1 Здесь скобки указывают, что к переменной могут быть добавлены соответствующие сочетания переменных, находящихся внутри скобок.
ется непрерывной монотонной (возрастающей или убывающей) функцией у,-/*,.), отображающей еди-
у I
ничный интервал значений х,. в аналогичный интервал значений переменной ху.. Результирующее значение переменной х/ при непосредственном воздействии на нее переменных хк, х, ..., х^ определяется как сумма влияний на х. этих переменных.
Управления иг предназначены для изменения динамики ПНМ путем изменений влияний между переменными в соответствии с выбранной стратегией управления. Если управление иг может изменять влияние/.., этот факт отражается включением сомножителя и в функцию/... В каждую дугу графа
г У
^пнм может входить не более одного управления.
Замечание 1. При выбранном способе введения управлений в ПНМ значения управлений из интервала (0, 1] интерпретируются обратным образом: единичное значение управления говорит об отсутствии данного управления. Нулевое значение управления является самым «жестким» управлением, ведущим к разрыву соответствующей связи в структуре ПНМ. Нулевые значения управлений в данной работе не рассматриваются. ♦
Внешние воздействия, характеризующие состояние внешней по отношению к ПНМ среды, считаются не зависимыми от состояний ПНМ. В графовое представление ^ПНМ добавляется совокупность вершин-истоков, соответствующих компонентам вектора внешних воздействий. Аналогично, если управления не зависят от координат вектора состояния, то каждое управление, входящее в ту или иную дугу графа ^ПНМ, рассматривается как вершина-исток для соответствующей дуги.
Построение функционального графа ПНМ для исследуемой предметной ситуации требует тщательного изучения происходящих в ситуации явлений (особенно при выборе видов влияний), но это — такие же проблемы, как и при построении традиционных качественных причинно-следственных моделей.
1.2. Формальное задание разомкнутой ПНМ
Состоянием ПНМ в момент ? называется вектор Х(?) = (хДО, ..., хи(0). Под разомкнутой ПНМ понимается ПНМ, в которой все управления не зависят от координат вектора состояния и константны. Назовем ПНМ замкнутой при наличии (неизменной) структурной связи между управлениями и переменными состояния. Замкнутая ПНМ рассматривается в п. 2.4.
Формально разомкнутая ПНМ определяется совокупностью уравнений, вид которых определя-
ется структурой ее графового представления. Так, пусть на переменную х. непосредственно влияют переменные хк, ..., хр с соответствующими функциональными весами м., мк., ..., мр.. Локальная причинно-следственная «картинка» временных соотношений между переменными х, хк, ..., хр в мо-
— каждое из уравнений ПНМ содержит хотя бы одно управление3;
«4 тт
— размерности вектора управлений и и вектора состояния Х совпадают, т. е. р = п;
— если управление иг входит в аддитивный член вида х^, х{ , ..., х{ , иг, то коэффициент
мент t и зависимой переменной х, в момент t + 1 wi, «поглощается» управлением и;,
представляется в виде хр + 1) = мг..(?) + мк.(г) + ... + мр.(г). С учетом непосредственных влияний на х. возможных управлений и внешних воздействий получаем уравнение для переменной2 х.:
х(г + 1) =1 Л. ((г), ((0))) + (г.(0)),
к = 1
г е /+, у = 1, ..., п. (1)
Здесь /+ — множество целых неотрицательных чисел, — совокупность координат вектора состояния ПНМ, входящих в формулу для влияния , а запись Х1. (г) означает, что значения этих переменных определены в момент г е /+. Запись со скобками (и{ (0)) означает, что управление и{ может входить в функцию /¡к. при некотором s, при этом значение и,- является константным, выбираемым из интервала (0, 1] в начальный момент времени г = 0; Z = (г1, ..., гд) — вектор внешних константных воздействий, выбираемых также из интервала (0, 1] в момент г = 0. Как и в случае с управлением, скобки для г в выражении (1) означают, что для некоторых у г. = 0. Важно подчеркнуть, что правые части уравнений ПНМ являются аддитивными положительными нелинейными функциями/., I = 1, ..., п, в которые константные ик и гг входят как параметры. Определим вектор-функцию В как В = (/1, ..., /п).
Пусть Я+ — неотрицательный квадрант в Яп, а Мх с Я+ — некоторое множество, в котором функционирует ПНМ. Обозначим ик = [0, 1]р, 2К = [0, 1)3. Далее примем
Допущение 1:
— каждое управление и5 может входить в каждое уравнение ПНМ не более одного раза;
— внешние воздействия и только они могут быть свободными членами в уравнениях ПНМ. При переходе к другому интервалу моделирования вектор Z может заменяться на константный вектор Z', соответствующий другому интервалу. ♦
Для каждого состояния X(0) е МХ, каждого вектора управлений U е UК и вектора внешних воздействий Z е ZK обозначим через X(t, X(0), U, Z) траекторию ПНМ с начальным состоянием X(0) и наборами постоянных параметров U и Z. В силу однозначности функций f. каждая траектория определяется однозначно на МХ для каждого t е J+, при этом X(t, X(0), U, Z) непрерывно зависит от X(0), U, Z. При существовании предела
lim X(t, X(0), U, Z) предельная точка X*(U, Z) на-
t
зывается управляемым равновесным состоянием5 (РС), соответствующим векторам U и Z.
2. ОБ УПРАВЛЯЕМЫХ РАВНОВЕСНЫХ СОСТОЯНИЯХ
2.1. Введение прореженного времени в ПНМ и постулируемые свойства степени отображения F
Моменты времени t, принадлежащие множеству J+, назовем исходным временем. В прореженном времени т с тактностью v каждый такт содержит v тактов исходного времени. Функционирующая в прореженном времени т с тактностью v ПНМ, обозначаемая для краткости как ПНМ(у), определяется следующим образом:
— состояние Q ПНМ(у) в начальный момент т = t = 0 Q(0) = X(0);
— каждая координата #г(т) состояния Q(t) ПНМ(у) в момент т есть #г(т) = x(vt); отображение
F(v) множества состояний ПНМ(у) в себя, реализуемое ПНМ(у), является степенью v отображения F, т. е. F(v) = F v.
Дело в том, что на переменную х\ могут непосредственно
влиять п. неупорядоченных переменных состояния. Для ком-
пактного отображения такой ситуации вводится дополнительный индекс к, перечисляющий эти переменные.
Это ограничение служит предпосылкой для управляемости ПНМ. Согласно замечанию 1 единичные значения управлений могут удаляться из соответствующих уравнений.
Для краткости координаты вектора управления и и сам вектор и будем называть одним словом «управление», а конкретный смысл в каждом случае определяется написанием соответствующей буквы.
Далее везде звездочка при векторе состояния будет обозначать управляемое РС.
п
Обозначим через К положительный ортант (куб) (0, 1]". Примем важное
Допущение 2. Найдутся такие ненулевые константные векторы е ик и Z0 е Хк и такое целое
N > 0, при которых отображение FN (K, U0, Z 0) является сжимающим в кубе K. ♦
Единственную неподвижную точку отображения Fn при выбранных U0 и Z0 обозначим через
X*(U0, Z0). Но тогда, как известно (см., например, [6, с. 17]), и отображение F, не являющееся в общем случае сжимающим в кубе K, имеет ту же неподвижную точку X*(U0, Z0).
Замечание 2. Для выполнения допущения 2 достаточно выполнения условий:
— включение FN(K, U0, Z0) с K, свидетельствующее о том, что FN отображает куб K в себя (проверяется непосредственно для каждого уравнения ПНМ);
— последовательность d(Q(x), Fn(Q(t))), т = 0, 1, 2, ... , является монотонно убывающей последовательностью (проверяется моделированием); d — евклидово расстояние. ♦
При выполнении условий замечания 2 нам не надо беспокоиться о сходимости процесса моделирования в исходном времени (т. е. с использованием отображения F) к РС X *(U°, Z ). Поиск данного РС целесообразно начинать с малых значений координат векторов U0 и Z0.
Итак, пусть X*(U0, Z0) — неподвижная точка отображения F. Тогда справедливы соотношения:
lim X(t, X(0), U0, Z0) = X*(U0, Z0), (2)
t ^ ю
наличии множества соответствующих управляемых РС; о характеристиках упомянутых множеств.
2.2. Анализ множества управляемых равновесных состояний в кубе К
Обозначим через Ху*пр множество управляемых РС в кубе К. Прежде чем характеризовать множество Ху*пр, введем понятие функциональной матрицы
ПНМ. Функциональная матрица М(Х(?), и) является квадратной матрицей порядка п и строится следующим образом. Строка у матрицы М(Х(?), и) соответствует у-му уравнению из системы уравнений (1). Если в графе ПНМ имеется дуга, связывающая переменную х. с переменной х., то (у, /)-й элемент матрицы М(Х(?), и) равен слагаемому /.. в выражении (1). Элемент (у, к) матрицы М(Х(?), и) равен нулю, если и только если переменная хк не связана дугой с переменной х. в графе ПНМ. Координаты вектора и входят в соответствующие элементы матрицы М(Х(?), и) как параметры. Использование функциональной матрицы М(Х(?), и) позволяет представить уравнения (1) в виде Х(? + 1) = = М(Х(?), и)/ + Z, где / — п-вектор-столбец из единиц. С учетом матрицы М(Х(?), и) равенство (3) выглядит так:
М(Х*(и0, Z0), и0)/ + Z0 = Х*(и0, Z0). (4)
Здесь М(Х*(Ц°, Z0), и0) — вещественная (п х п)-матрица с неотрицательными элементами. Пусть теперь Х* — некоторое управляемое РС в кубе К и требуется найти вектор управлений, порождающий это РС. С учетом равенства (4)
M(X*, U)/ + Z0 = X*,
(5)
F(X*(U0, Z0), U0, Z0) = X*(U°, Z0), (3) где координаты неизвестного вектора U входят как
где Х(0) — произвольное начальное состояние в
кубе К. Управление и0, входящее в соотношения (2) и (3), назовем управлением, порождающим РС
Х*(и0, Z0).
Допущение 3. Поскольку далее будут рассматриваться равенства вида (3), определенные в асимптотическом смысле, для простоты изложения в качестве интервала наблюдения будем рассматривать всю положительную полуось; вектор Z считаем константным и равным Z0. ♦
Необходимым и достаточным условием существования у ПНМ (с зафиксированным вектором Z0) управляемого РС является выполнение соотношений (2) и (3) для некоторого и*. В силу непрерывной зависимости значений Х(?, Х(0), и, Z) от и возникают вопросы о наличии (связного) множества управлений, порождающих РС в кубе К, о
параметры в каждую из функций /.. из М(Х*, и)/ линейно. На основе выражения (5) составим систему линейных уравнений относительно координат вектора и:
A(X *)U = b(X*, Z0).
(6)
Подчеркнем, что равенства (5) и (6) эквивалентны, так как преобразуются одно в другое эквивалентными преобразованиями. Полагаем для простоты, что матрица А(Х*) полного ранга, тогда система (6) совместна (см. допущение 3) и имеет единственное решение, обозначаемое как
и *(Х *, Z0). Подчеркнем, что в общем случае координаты решения и*(Х*, Z0) могут принимать значения из Я, а не из (0, 1] (напомним, что р = п). Обозначим иу*пр = {и *(Х*, Z0), Х* е К} — множество управлений (в Я"), порождающих РС в кубе К.
Предложение 1. Отображение Ф: иу* ^ Ху*
упр
взаимно однозначно.
Доказательство. При заданном и* е и*пр единственность Х *( и *, Z0) следует из однозначности отображения F. При заданном Х* однозначность решения и*(Х *, Z0) следует из единственности решения совместной системы (6) и эквивалентности соотношений (6) и (5). ♦
Управление ид(Х*, Z0), порождающее некоторое РС в кубе К, назовем допустимым, если оно
При анализе зависимости расстояния между РС от расстояния между порождающими их управлениями полезным оказывается известный факт (см., например, работу [7]), который несколько упростим для данного случая. Пусть ВМ(Х, и, Z0) и ВМ(Х, и', Z0) — два сжимающих в кубе К оператора, отличающиеся только входящим в них вектором и. Операторы ВМ(Х, и, Z0) и ВМ(Х, и, Z0) называются е-близкими по норме р в кубе К,
если р(В^(Х, и, Z0), и, Z0)) < е для любых
Х е К и и, V е ик. Допустим, что и, и' е Щ
Х е К и и, и е ик. Допустим, что и, и е и^р и принадлежит множеству ик. Обозначим иупр — |и - и'\ < 8, и выберем 8 так, чтобы сжимающие
множество допустимых управлений ПНМ, а ХуПрп — множество РС в кубе К, порождаемых допустимыми управлениями. Очевидно иуПрп с иу1пр п иК,
хдоп X* Хупр — Хупр .
Предложение 2. Множество Хупр1 выпукло.
Доказательство. Пусть Х* и Х** — произвольные РС в кубе К, порождаемые соответствующими допустимыми управлениями и* и и**. Рассмотрим прямую ХХ* + (1 — Х)Х**, (0 < Х т 1), соединяющую Х* и Х **, и пусть Х *** = Х*Х * + (1 - Х*)Х **, где 0 < X* < 1. На основании равенства (5) справедливо
Х*М(Х*, и)1 + X*Z0 + (1 - Х*)М(Х**, Щ1 + (1 - Х*^° = = Х*Х * + (1 - Х*)Х **.
В это соотношение координаты вектора и входят как параметры с неизвестными значениями. Поскольку X*Z0 + (1 - Х*^° = Z0, получим
Х*М(Х*, и)1 + (1 - Х*)М(Х**, и)1 + Z0 =
= Х*Х * + (1 - Х*)Х **. (7)
Нетрудно убедиться в том, что по аналогии с эквивалентностью соотношений (5) и (6) для соотношения (7) получаем эквивалентное соотношение
(Х*А(Х *) + (1 - Х*)А(Х **))и = = Х*Ь(Х*, Z0) + (1 - Х*)Ь(Х**, Z°). (8)
В соотношении (8) число неизвестных равно числу уравнений. Справедливо предположить, что определитель матрицы при и отличен от нуля, так что система (8) совместна и имеет единственное решение и***. Покажем, что значение каждой координаты ик вектора и находится в интервале между допустимыми значениями ик и ик*. При движении изображающей точки по прямой Х*Х* + (1 - Х*)Х** координата ик решения системы
(8) изменяется от значения и*к (и к*) до значения и к* (и*к) в каждой из функций содержащих ик. Из предложения 1 следует, что это изменение монотонно. В силу эквивалентности соотношений (7) и (8) состояние X *** = Х*Х * + (1 - Х*)Х ** является равновесным в кубе К и порождается допустимым управлением и***. ♦
операторы ВМ(Х, и, Z0) и ВМ(Х, и, Z0) были Е-близкими. Тогда согласно работе [7, задача 1.7] равновесные состояния, порождаемые допустимыми управлениями и и и', находятся друг от друга на расстоянии, не большем е/(1 — ст), где ст — показатель сжимаемости этих отображений. В принципе, используя эту информацию, для оценки
размеров множеств Х^ и Ху*пр в кубе К можно
применить метод Монте-Карло.
Размеры множества Х^ существенно зависят
Г7 Т^ДОп
от значений координат вектора Z: множество Хупр уменьшается в размерах при приближении этих значений к некоторым пороговым значениям. На-
дОп
пример, множество Хупр может оказаться пустым в кубе К, если какая-либо из координат вектора Z принимает единичное значение. Это следует из положительности функций /, и невозможности в таком случае выполнения равенства (3) для допустимых управлений. При заданном Z * нахождение
дОп *
границ множеств Хупр и Ху*пр составляет предмет отдельного рассмотрения.
2.2. Перевод разомкнутой ПНМ в заданное равновесное состояние с помощью допустимых управлений
Пусть Х(0) е К — некоторое произвольное начальное состояние ПНМ, а Х* е Ху*пр — заданное РС, в которое надо перевести ПНМ. По аналогии с процедурой п. 2.2, сопоставим соотношению (3) с заданным РС Х* и неизвестным вектором и эквивалентное соотношение
А(Х *)и = Ь(Х*, Z0).
(9)
Поскольку искомый вектор и* должен быть допустимым, к системе (9) добавляется совокупность двусторонних ограничений вида
0 < и. т 1, I = 1, ..., р.
(10)
22
СОЫТВОЬ БС^СЕБ № 2 • 2014
Задача (9), (10) решается методом наименьших квадратов (МНК). При невырожденности матрицы А(Х *) эта задача имеет единственное решение и*. Предположим вначале, что заданное РС
Х* е иуПР. В этом случае невязка МНК-решения и*, определяемая как
5(U*) = A(X*)U* - b(X *, Z0),
(11)
равна нулю, т. е. и* — точное решение (с учетом допущения 3) исходной задачи6.
Пусть теперь Х* £ Ху*пр — произвольное РС из К.
В этом случае МНК-решение и* является приближенным с ненулевой невязкой (11). Норма этой невязки пропорциональна расстоянию от РС Х* до РС, порождаемого допустимым МНК-решени-
ем и * и принадлежащего множеству иуПР. Это расстояние (с учетом сказанного в сноске 6) определяет погрешность решения исходной задачи.
2.4. Перевод замкнутой ПНМ в заданное равновесное состояние с помощью допустимых управлений
В замкнутой ПНМ к ее исходным уравнениям добавляется совокупность уравнений, связывающих текущие значения управлений с текущими значениями некоторых координат состояния. Однако если в технических системах обратная связь по состоянию служит, прежде всего, для стабилизации объекта и выполнения тех или иных условий для замкнутой системы, то замыкание ПНМ следует рассматривать как введение в модель дополнительных (обратных) связей, имеющих вполне конкретную предметную интерпретацию в моделируемой ситуации.
В данной работе рассматривается случай статической линейной обратной связи по состоянию. Вектор обратной связи по состоянию определяется как и(?) = СХ(?); ненулевые элементы в матрице С принадлежат интервалу (0, 1] и определяют структуру замыкания. Конкретные значения ненулевых элементов выбираются в зависимости от заданного РС, в которое требуется перевести замкнутую модель (т. е. структура замкнутой ПНМ «подстраивается» под решение поставленной задачи).
Замена каждого из управлений, входящих в уравнения ПНМ, соответствующей линейной функцией приводит к появлению в уравнениях ПНМ
При ограниченных интервалах моделирования точность такого асимптотического решения зависит от длины интервала моделирования и от скорости прихода начального состояния Х(0) ПНМ в заданное РС (с соблюдением необходимой точности). Нахождение соответствующих оценок — предмет отдельного рассмотрения.
дополнительных перекрестных произведений координат состояния и изменению некоторых элементов функциональной матрицы ПНМ. Отметим, что такая замена не увеличивает числа координат в векторе состояния, а лишь видоизменяет функции f оставляя их в прежнем классе допустимых для ПНМ функций. Схема решения исходной задачи (составление уравнения вида (5) и формирование по нему линейной системы вида (6) для нахождения значений элементов матрицы G) остается работоспособной в данном случае (вместо неизвестных константных управлений теперь находим значения ненулевых элементов матрицы G). В этом плане п. 2.4 представляется более важным, чем решение исходной задачи для константных управлений. Как показывает приводимый далее пример, введение (линейной) обратной связи может уменьшить число управлений, необходимых для перевода ПНМ в заданное РС.
2.5. Простота решения исходной задачи управления в ПНМ по сравнению с синергетическим подходом к управлению
Знакомство с работами коллег из школы А.А. Колесникова позволило автору убедиться в том, что предложенная в данной статье процедура нахождения управлений (константных или линейно зависящих от координат состояния) «вложима» концептуально в общую процедуру нахождения управлений для нелинейных систем в рамках си-нергетического подхода, хотя в силу определения ПНМ и наложенных ограничений является несравнимо более простой. Во Введении автор попытался объяснить причину выбора ПНМ в том виде, как она определена в данной работе, и выбор РС в качестве аттракторов.
Исходным в синергетическом подходе служит понятие макропеременной у(х, t) (у нас t — дискретное время), с помощью которой в итоге задается инвариантное многообразие у = 0, к которому стремится вынужденное движение нелинейной системы (см., например, работу [8]): У нас аналогичное многообразие определяется следующим образом:
F(X(t), U(t), Z0) - X* = 0, t e J+,
где X* — заданное асимптотически устойчивое состояние ПНМ, и цель управления — перевести ПНМ из произвольного начального состояния в кубе K в РС X* (с обеспечением необходимой точности при конечном интервале моделирования). В синергетическом подходе основная сложность задачи состоит в нахождении замкнутых временных выражений для управлений по исходным уравнениям и параметрам нелинейной системы с учетом требуемой динамики движения системы
по многообразию у = 0 к заданному аттрактору. В ПНМ в силу линейного вхождения управлений в уравнения ПНМ вектор искомых управлений находится в асимптотической постановке как МНК-решение линейной системы уравнений, очевидным образом составляемой по уравнениям ПНМ с учетом заданного аттрактора Х*, при этом непосредственно определяется и точность получаемого решения.
3. ПРИМЕР
Определение ПНМ. Пусть ПНМ описывается совокупностью уравнений
х(1, г + 1) = х(2, г)и1 + ах(3, г), х(2, г + 1) = /12и1 + /32и3 + Z1, х(3, г + 1) = х(2, г)и2 + /13 + Z2,
где х(г, г) — значение г-й координаты вектора состояния в момент г исходного времени, и1, и2, и3 — допустимые константные управления (со значениями из интервала (0,1; 1]), Z = /2) = (0,4; 0,3) — вектор внешних воздействий на рассматриваемом интервале моделирования длины Ь = 30. Функции /12 и /13 — соответственно 8-об-разные возрастающая и убывающая монотонные функции, отображающие интервал [0, 1] в себя и аппроксимируемые многочленами соответствующих степеней, а /32 — линейная убывающая функция:
/12(х(1, г)) = 11х(1, г)4 - 26х(1, г)3 + 20х(1, г)2 -- 3,9х(1, г) + 0,27,
/1з(х(1, г)) = 0,5(2,9(х(1, г)3 - 4,8х(1, г)2 + + 1,2х(1, г) + 0,82),
/32(х(3, г)) = -0,7х(3, г) + 1.
Коэффициент а = 0,2.
Рис. 2. «Аномальное» поведение расстояния между состояниями Х и ¥ 3(Х) в ПНМ (3): расстояние монотонно убывает почти до нуля и сохраняется в окрестности нуля почти 40 тактов прореженного времени, после чего начинает возрастать
В зависимости от входящего в уравнения ПНМ управления из множества ик ПНМ в кубе К может быть либо неустойчивой, либо асимптотически устойчивой с единственным управляемым РС, порождаемым соответствующим управлением. При этом, как видно из рис. 1 (представляющего график расстояния между состояниями Х и ДХ) при начальном состоянии Х(0) = (0,2; 0,5; 0,8) и управлении и = (0,6; 0,1; 0,4)), отображение Д не является сжимающим в кубе К в отличие от отображения Д (как показывает проведенный анализ), так что положим N = 3. Поскольку поиск нужного управления решается в асимптотическом смысле, для правильных выводов необходимо корректно выбрать длину Ь интервала моделирования. Дело в том, что в данном рассмотрении при поиске РС приоритет (согласно допущению 2) отводится отображению Д^. Как показывает рис. 2 (начальное состояние Х(0) = (0,1; 1; 1), вектор управления и = (0,6; 0,7; 0,3)), монотонное убывание почти до нуля расстояния между двумя последовательными состояниями ПНМ (3) само по себе не является достаточным признаком существования неподвижной точки, важно учитывать поведение ПНМ и в исходном времени.
Перевод разомкнутой ПНМ в заданное состояние.
Пусть в множестве Ху*пр в качестве заданного выбрано
РС Х* = (0,2; 0,5; 0,8). Система (9) в данном случае имеет вид:
0,5 0 0 0,0996 0 0,44 0 0,5 0
Л
и =
0,04 0,1 0,0544
Л
Рис. 1. График расстояния между состояниями Х и ¥(Х)
Ее МНК-решением является вектор и * = (0,1; 0,1088; 0,2046). Невязка этого решения вектор 8(и*) = (0,01; 0; 0), что говорит о «хорошем» качестве полученного ре-
24
СОЫТВОЬ БтЕМСЕБ № 2 • 2014
шения. Действительно, управление V* порождает РС X = (0,2098; 0,5016; 0,7982) е Х^^р1, достаточно близкое к заданному РС.
Сравним результаты компьютерного решения исходной задачи (с учетом четырех значащих цифр после запятой) с результатами, когда округляется лишь одна цифра после запятой. В этом случае управление
V * = (0,1; 0,1; 0,2) порождает РС X = (0,2088; 0,5; 0,7939), что после округления дает X = Х*. Если заданное состояние Х' не равновесное, то близость решения X к Х' зависит от значения невязки, аналогичной невязке (11), и при больших значениях полученное решение может оказаться непригодным.
Перевод замкнутой ПНМ в заданное состояние. В этом случае к уравнениям ПНМ добавляются уравнения замыкания. Следуя п. 2.4, ограничимся случаем статического линейного замыкания. Пусть для определенности уравнения связи имеют вид: и(1, г) = Ь1х(3, г), и(2, г) = Ь2х(2, г), и(3, г) = Ь3х(1, г), где Ь1, Ь2 и Ь3 — неизвестные коэффициенты, принимающие значения из интервала [0, 1]. Подставим эти соотношения в уравнения ПНМ. Представляет интерес сравнение результатов решения обратной задачи управления для разомкнутой и замкнутой ПНМ. Поэтому в роли заданного выберем состояние Х* из предыдущего случая и проверим, является ли оно равновесным для замкнутой ПНМ. Для этого составим систему уравнений относительно вектора В = (Ь1, Ь2, Ь3):
но-экономических систем. Поскольку проблема наличия в таких системах устойчивых (равновесных) состояний весьма важна, главное внимание в настоящей работе было направлено на анализ таких состояний в ПНМ и на возможности перевода разомкнутой или замкнутой ПНМ в то или иное равновесное состояние. Соответствующие задачи решаются в асимптотической постановке. Анализ характеристик переходного процесса при таком переводе требует отдельного рассмотрения, так же как и более тонкий анализ множеств равновесных состояний в кубе К (размеры и границы множеств, плотность равновесных состояний в различных областях куба К и др.). На простом примере показаны особенности динамики ПНМ, возможные при анализе равновесных состояний ПНМ. В настоящее время автор готовит показательный пример по анализу и управлению наркоситуацией в городе, включение этого примера в данную статью недопустимо увеличило бы ее объем. Данную работу можно рассматривать как пример реализации принципов качественного причинно-следственного моделирования и управления в такой существенно нелинейной стационарной модели, какой является ПНМ.
ЛИТЕРАТУРА
0,4 0 0 0 0,0498 0,088 0 0 0,1
Л
B =
0,04 0,1 0,0544
Л
0 < ь т 1, г = 1, ..., з.
Ее МНК-решение — вектор V * = (0,1; 1; 0,5555). Невязка 8(и *) = (0; -0,0013; 0,0012), что говорит о «хорошем» качестве полученного решения. Действительно, округлим V * до первого знака после запятой: V * = (0,1; 1; 0,6), Такое «округленное» управление V *
порождает РС X = (0,2019; 0,5041; 0,8063), что после
аналогичного округления дает X = Х *.
Заметим, что в разомкнутой ПНМ для решения исходной задачи задействованы все управления и1, и2 и и3, тогда как при решении этой же задачи в замкнутой ПНМ задействованы лишь управления и1 и и3, а единичное значение управления и2 не оказывает влияния на динамику ПНМ, и его в данном случае можно не учитывать в уравнениях ПНМ («экономия» управлений).
ЗАКЛЮЧЕНИЕ
Описанный подход к построению и анализу ПНМ обусловлен желанием расширить класс качественных причинно-следственных систем, пригодных для моделирования, прежде всего, социаль-
1. McLukas A.Ch. Improving Causal Mapping Practice Using the System Dynamics «Front-End» Tool // Proc. of System Dynamics 2002, International System Dynamics Conference. Palermo, Italy, August 2002.
2. Васильев В.И., Ильясов Б.Г. Интеллектуальные системы управления. Теория и практика. — М.: Радиотехника, 2009. — 312 с.
3. Корноушенко Е.К. Линейный подход к управлению равновесными состояниями нелинейных нормированных моделей // Проблемы управления. — 2011. — № 2. — С. 16—22.
4. Корноушенко Е.К. Управление равновесными состояниями билинейных нормированных моделей // Проблемы управления. — 2012. — № 5. — С. 2—8.
5. Синергетика и проблемы теории управления / Под ред. А.А. Колесникова. — М.: Физматлит, 2004. — 504 с.
6. Красносельский М.А., Вайникко Г.М, Забрейко П.П. Приближенное решение операторных уравнений. — М.: Наука, 1969. — 455 c.
7. Данилов В.И. Лекции о неподвижных точках. — М.: РЭШ, 2006. — 32 c.
8. Колесников А.А. Теория и методы синергетического управления // Синергетика и проблемы теории управления / Под ред. А.А. Колесникова. — М., 2004. — С. 130—171.
Статья представлена к публикации руководителем РРС Б.Г. Ильясовым.
Корноушенко Евгений Константинович — д-р техн. наук, гл. науч. сотрудник, Институт проблем управления им. В.А. Трапезникова РАН, г. Москва, ® (495) 334-90-00, И ekorno@mail.ru.