ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ Федеральное государственное образовательное учреждение высшего профессионального об...
19 downloads
211 Views
4MB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ Федеральное государственное образовательное учреждение высшего профессионального образования «ЮЖНЫЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ»
Угольницкий Г.А.
МЕТОДИЧЕСКИЕ УКАЗАНИЯ по специальному курсу «Дискретные модели системного анализа» для студентов факультета математики, механики и компьютерных наук Часть 2. Импульсные процессы в моделях сложных систем
Ростов-на-Дону 2008 3
Методические указания разработаны доктором физико-математических наук, профессором кафедры прикладной математики и программирования
Г.А.
Угольницким
Ответственный редактор
канд. физ.-мат. наук А.Б. Усов
Компьютерный набор и верстка
ст. лаборанта Евдокимовой И.В.
Печатается в соответствии с решением кафедры прикладной математики и программирования факультета математики, механики и компьютерных наук ЮФУ, протокол № 8 от 17 апреля 2008 г.
4
СОДЕРЖАНИЕ 1
Качественные модели динамики сложных систем
4
2
Импульсные процессы на взвешенных орграфах
9
3
Устойчивость импульсных процессов
13
4
Связь устойчивости со структурой системы
19
5
Применение теории импульсных процессов к анализу сложных систем
23
Литература
26
5
1 КАЧЕСТВЕННЫЕ МОДЕЛИ ДИНАМИКИ СЛОЖНЫХ СИСТЕМ Для построения качественных моделей динамики сложных систем целесообразно использовать знаковые орграфы в соответствии со следующей процедурой. Этап 1. Элементы системы, значимые с точки зрения рассмотрения (решаемой задачи), обозначаются вершинами орграфа. Этап 2. Значимые связи между элементами системы обозначаются дугами орграфа. Дуга
означает, что элемент
влияет на элемент
.
Этап 3. Предполагается, что элементам (вершинам) могут приписываться определенные числовые значения. Если увеличение значения вершины ны ге
, а уменьшение значения
влечет увеличение значения верши-
влечет уменьшение значения вершины
, то ду-
присваивается знак «плюс». Если увеличение значения вершины
чет уменьшение значения вершины увеличение значения вершины
, а уменьшение значения вершины
, то дуге
влевлечет
присваивается знак «минус».
Рассмотрим следующий пример (рисунок 1). P M
G
C B S D
Рисунок 1. Знаковый орграф для анализа проблемы удаления мусора в городе [5] Здесь
– численность городского населения; 6
– количество мусора на единицу площади; – бактериологическая зараженность на единицу площади; – число заболеваний; – число очистных сооружений; – миграция в город; – улучшение условий жизни в городе. Например, улучшение условий жизни в городе подразумевает, в частности, ); увеличение
увеличение числа очистных сооружений (положительная дуга
числа очистных сооружений снижает бактериологическую зараженность и забо), и т.д.
леваемость (отрицательные дуги
Рассмотрим имеющиеся в системе обратные связи (в графовой модели они отображаются контурами). Определим знак контура как произведение знаков образующих его дуг. Тогда возможны два типа контуров: положительные (положительная и обратная связь) и отрицательные (отрицательная обратная связь). Рассмотрим, например, положительный контур личины
. Увеличение ве-
(прирост населения) влечет увеличение величины
(дальнейшее
улучшение возможностей жителей большого города), что влечет увеличение С (миграции в большой город) и вновь увеличение
(прирост населения за счет
иммиграции). Таким образом, положительный контур (контур положительной обратной связи) усиливает отклонение: первоначальное увеличение значения некоторой вершины контура со временем еще более увеличивается (конечно, то же самое происходит и с уменьшением). Теперь рассмотрим отрицательный контур ния
(прирост населения) влечет увеличение
увеличение
. Увеличение значе(количества мусора), что влечет
(бактериологической зараженности), что влечет увеличение
болеваемости), а это влечет уменьшение численности населения 7
(за-
за счет смерт-
ности от болезней. Таким образом, отрицательный контур (контур отрицательной обратной связи) противодействует отклонению: первоначальное увеличение значения некоторой вершины контура со временем нейтрализуется и значение приближается к исходному. Можно сформулировать общее утверждение [5]: контур усиливает отклонение тогда и только тогда, когда он положителен (соответственно, противодействуют отклонению отрицательные контуры и только они). С точки зрения системной динамики наличие большого числа положительных контуров означает неустойчивость: малые значения вершин со временем растут и «раскачивают» систему, что может привести к «авариям» и даже разрушению системы. Напротив, отрицательные контуры оказывают стабилизирующее воздействие, они как бы «гасят» возникающие отклонения и сохраняют устойчивость системы. Рассмотрим еще один пример (рисунок 2).
Q
R –
–
–
+
– C
U
+ +
+
P +
+ J
F +
Рисунок 2 Знаковый орграф для анализа проблемы потребления электроэнергии [3] Здесь
– величина потребления электроэнергии; – стоимость электроэнергии; – энергетическая мощность; 8
– число предприятий; – число рабочих мест; – численность населения; – качество окружающей среды. Выделим имеющиеся в системе контуры и присвоим им знак: :плюс : минус : плюс : плюс : плюс Таким образом, из пяти контуров четыре являются контурами положительной обратной связи и усиливают отклонение. Можно заключить, что система является существенно неустойчивой. Упражнение 1.1 Объяснить смысл дуги
на рисунке 2.
на рисунке 2 положительна?
Упражнение 1.2 Почему дуга
Упражнение 1.3 Рассмотрим знаковые орграфы на рисунке 3 и 4. +
1 + 7
9 +
+ –
3
8
+ –
+
2
6
– +
– 4
5
Рисунок 3. Знаковый орграф для системы «Наука и общество» [3]: 1 – число рабочих мест для научных работников; 2 – число слабо подготовленных исследователей; 3 – доля «плохой» научной продукции или вредные последствия использования результатов научных исследований; 9
4 – внешние и внутренние угрозы обществу, для преодоления которых требуется применение достижений науки и техники; 5 – общественное мнение в пользу развития науки; 6 – бюджетные ограничения; 7 – государственный бюджет научных исследований; 8 – число хорошо подготовленных исследователей; 9 – доля «добротной» научной продукции или положительные последствия использования результатов науки и техники. + 1
+
+ 2
+ – +
+ 4
+
+
5
+ +
+ –
–
3 +
Рисунок 4. Знаковый орграф для выбора личного или общественного транспорта [3]: 1 – стоимость автомобиля; 2 – использование автомобилей; 3 – комфорт и преимущества пользования автомобилем;; 4 – свобода выбора в поездке; 5 – скорость. Ответить на следующие вопросы для рисунков 3-4: а) найти контуры, усиливающие отклонение, и обсудить результат; б) найти контуры, противодействующие отклонению, и обсудить результат;
10
в) сделать общий качественный вывод об устойчивости системы, представленной орграфом; г) определить вершины, значения которых трудно определить количественно, или убедиться, что таковых нет; д) определить дуги, знак которых может меняться при различных значениях вершин, или показать, что таковых нет; е) имеется ли такая вершина, что каждый проходящий через нее контур усиливает отклонение? ж) можно ли увеличить устойчивость системы, изменяя знак некоторых дуг? 2 ИМПУЛЬСНЫЕ ПРОЦЕССЫ НА ВЗВЕШЕННЫХ ОРГРАФАХ Описанные в предыдущем разделе модели являются сугубо качественными, позволяя представить структуру сложной системы в общем виде и сделать предварительные заключения об устойчивости системы исходя из наличия обратных связей различного типа. Для более точного количественного описания структурной динамики поступим следующим образом. Припишем каждой вершине , считая при этом, что время
некоторое значение ные значения
орграфа принимает дискрет-
. Таким образом, значение вершины есть функция дис.
кретного времени
Назовем импульсом вершины
в момент
величину (1)
Как видно из формулы (1), импульс показывает изменение значения вершины при переходе от Каждой дуге
к
. припишем значение
стоты не зависящим от времени. Значение 11
, считая его для про-
обычно называют весом дуги.
Определение 2.1 Импульсный процесс во взвешенном орграфе задается формулой .
(2)
Формула (2) определяет изменения значений всех вершин орграфа при переходе от
к
с учетом импульсов во всех входных вершинах, взятых с ве-
сами соответствующих входных дуг. Заметим, что возможны и иные правила изменения значений вершин орграфа [4], однако здесь мы ограничим рассмотрение формулой (2). Заметим, что в силу определения импульса формулу (2) можно переписать в виде ,
(3)
т.е. она представляет собой систему конечно-разностных уравнений относительно импульсов. Обозначим ,
и перепишем формулу (3) в матричном виде: (4)
. Будем считать известным начальное значение вектора . Последовательно выписывая соотношения
, несложно выявить и доказать методом математической индукции утверждение .
12
(5)
Таким образом, если известен вектор начальных импульсов весов
и матрица
, то по формуле (5) можно вычислить вектор импульсов во всех верши.
нах орграфа в любой момент времени
Если известен также начальный вектор значений вершин , то по формуле (2) можно вычислить вектор значений , т. е. полностью решить задачу
всех вершин орграфа в любой момент времени прогноза.
Упражнение 2.1 Пусть для знакового орграфа на рисунке 5 –
+
– +
+
+
–
+ +
+ Рисунок 5
, Вычислить
. ,
,
,
,
.
Упражнение 2.2 Рассмотрим импульсный процесс на взвешенном орграфе, изображенном на рисунке 6: -3 9
5 2
-1
2
8
Рисунок 6 а) пусть значение вершины . Что произойдет с вершиной
увеличивается на единицу в момент времени в момент времени 13
?
б) пусть значения вершин
и
увеличиваются на единицу при
в момент времени
Что произойдет с вершиной
.
?
Упражнение 2.3 Использовать формулу (5) для вычисления
и
в ,
импульсном процессе для орграфа на рисунке 6 при условиях . Упражнение 2.4 Пусть в модели биологического сообщества на рисунке 7 + +
– –
кролики
лисы
Рисунок 7. Сообщество «кролики и лисы» ,
. и дать экологиче-
Вычислить импульсы и значения вершин при скую интерпретацию. Упражнение 2.5 Пусть в модели сообщества на рисунке 8 + –
–
+ – травоядные
растения
плотоядные
Рисунок 8. Сообщество «растения–травоядные–плотоядные» ,
.
Вычислить импульсы и значения вершин при
и дать экологическую
интерпретацию. Упражнение 2.6 Пусть в модели сообщества на рисунке 9 +
+
+ –
–
– –
–
–
Рисунок 9. Сообщество «орлы 14
–мыши
–крысы
»
,
. и дать экологическую
Вычислить импульсы и значения вершин при интерпретацию.
3 УСТОЙЧИВОСТЬ ИМПУЛЬСНЫХ ПРОЦЕССОВ Применительно к импульсным процессам на взвешенных орграфах используют два понятия устойчивости. Определение 3.1 Вершина
называется импульсно устойчивой в имограничена, т. е. существует
пульсном процессе, если последовательность , что
такое
для всех
Определение 3.2 Вершина
называется абсолютно устойчивой в имограничена/
пульсном процессе, если последовательность
Определение 3.3 Взвешенный орграф называется импульсно (абсолютно) устойчивым в импульсном процессе, если этим свойством обладает каждая его вершина. Пусть
: тогда имеем при
и обе последовательности
и
Зато при
не ограничены. в вершине
имеет место импульсная и аб, то вершина
солютная устойчивость. Если
абсолютно неус-
тойчива, но импульсно устойчива, поскольку В общем случае абсолютная устойчивость в вершине
тем более означает
импульсную устойчивость в этой вершине, поскольку при . ограничена числом
Поэтому, если последовательность , откуда последовательность
ограничена числом .
Обратное утверждение неверно (рисунок 10). + 15
, то
и
+
Рисунок 10 В импульсном процессе на этом орграфе при гда равен 0 или 1, но
импульс
все-
увеличивается на единицу через каждые два периода
времени. Это и означает импульсную, но не абсолютную устойчивость вершины . Как и в случае качественного анализа, вывод о неустойчивости предупреждает о возможности разрушения системы в силу того, что значения некоторых ее вершин неограниченно возрастают. Вопрос о критериях устойчивости рассмотрим для частного, но достаточно содержательного класса импульсных процессов. Определение 3.4 Импульсный процесс, определяемый формулой (2), называется простым, если одна из компонент вектора
равна единице, а остальные
равны нулю. Решение вопроса об устойчивости взвешенных орграфов для простых импульсных процессов связано с собственными значениями орграфа (то есть собственными значениями его матрицы весов). Напомним, что матрица весов орграфа имеет вид
, где
венными значениями матрицы
– вес дуги
,
. Собст-
для собственного вектора
называются реше-
ния характеристического уравнения , полином
также называется характеристическим. Напомним также, что абсо-
лютная величина комплексного числа
есть
. Доказательства всех
теорем этого раздела можно найти в [3]. Теорема 3.1 Если взвешенный орграф
импульсно устойчив для всех про-
стых импульсных процессов, то каждое собственное значение величине не превосходит единицу. 16
по абсолютной
Практическое значение имеет утверждение, обратное к этому необходимому условию: если хотя бы одно собственное значение
превосходит по модулю
импульсно неустойчив для некоторого простого импусного про-
единицу, то цесса.
Рассмотрим орграф на рисунке 11а 0
3
-2
0
0
0
0
0
2
0
W= 0
0
0
-1
0
1
0
0
0 16
0
0
0
0
0 а
б Рисунок 11
Его матрица весов показана на рисунке 11б. Составляя несложное характеристическое уравнение
, обнаруживаем собственное значение
.
Таким образом, данный взвешенный орграф импульсно неустойчив для некоторого простого импульсного процесса. Это означает наличие такой вершины, что поступление начального импульса в нее влечет появление сколь угодно большого импульса в некой (возможно, другой) вершине. Однако этот взвешенный орграф не обязан быть импульсно неустойчивым для всех простых импульсных процессов (например, можно рассмотреть простой импульсный процесс с начальной вершиной
).
Следствие к теореме 3.1 Если орграф
с целочисленными весами дуг им-
пульсно устойчив для всех простых импульсных процессов, то каждое ненулевое собственное значение по модулю равно единице. Рассмотрим знаковый орграф на рисунке 12. 17
0
1
0
1
-1
0
0
0
W= -1
0
0
0
0
0
1
0
а
б Рисунок 12
Его характеристический полином есть для полинома
имеет место
. Заметим, что ,
. Таким образом,
имеет действительный корень
строго между -1 и 0 (рисунок 13), и поэтому
существует собственное значение
, по модулю меньше 1. Согласно следствию к
теореме 3.1 этот орграф импульсно неустойчив для некоторого простого импульсного процесса.
Рисунок 13 Такой тип рассуждений весьма популярен при использовании теорем о собственных значениях орграфов.
18
Обратное к теореме 3.1 утверждение неверно. Рассмотрим орграф на рисун-
,
ке 14. Его собственные значения W=
1
1
0
1 Рисунок 14
но он импульсно неустойчив для простого импульсного процесса с начальной вершиной
, поскольку здесь
. Однако справедлива следующая
Теорема 3.2 Пусть все ненулевые собственные значения взвешенного оргразличны и не превосходят по абсолютной величине единицы. Тогда
рафа
импульсно устойчив для всех простых импульсных процессов. Рассмотрим орграф на рисунке 15. 0 0.391 0.121
0
0
0
0
1
W= 0
0
0
-1
1
0
0
0
а
б Рисунок 15
Его характеристический полином характеристическое ;
уравнение,
находим
. Решая корни
;
;
. Ненулевые собственные значения различны и
19
(проверьте!) по модулю не превосходят единицу. Поэтому взвешенный орграф импульсно устойчив для всех простых импульсных процессов. Теорема 3.3 Взвешенный орграф
абсолютно устойчив для любого про-
стого импульсного процесса тогда и только тогда, когда
импульсно устойчив
для любого простого импульсного процесса и среди собственных значений
нет
равного единице. В качестве примера абсолютно устойчивого орграфа можно взять тот же орграф на рисунке 15. Упражнение 3.1 Пусть для импульсного процесса во взвешенном орграфе определяется следующим образом: а)
; ;
б) в)
;
г)
;
д)
;
е)
;
ж)
;
з) и)
; .
Будет ли вершина
абсолютно устойчива в каждом импульсном процессе?
А импульсно устойчива? Упражнение 3.2 Ниже перечислены собственные значения взвешенного орграфа. Что можно сказать об импульсной и абсолютной устойчивости для простого импульсного процесса? а)
; 20
б)
;
в) ; г) ; д) ; е)
.
Упражнение 3.3 Что можно сказать об импульсной и абсолютной устойчивости орграфа на рисунке 16? 1
-0.2
0.5 -0.3
1
0.4
Рисунок 16 4 СВЯЗЬ УСТОЙЧИВОСТИ СО СТРУКТУРОЙ СИСТЕМЫ Теоремы предыдущего раздела позволяют решить вопрос об устойчивости взвешенных орграфов, но не дают рекомендаций по поводу изменений, необходимых для перехода от неустойчивой системы к устойчивой. Такие рекомендации можно дать для следующего специфического, но достаточно содержательного класса орграфов. Определение 4.1 Орграф называется розеткой, если он состоит из центральной вершины
и непересекающихся (кроме
) контуров, выходящих из
.
Примеры розеток приведены на рисунке 17.
x
x
x
Рисунок 17 Определение 4.2 Обобщенной розеткой называется сильно связный орграф, центральная вершина которого принадлежит всем его контурам.
21
Разумеется, каждая розетка является и обобщенной розеткой. На рисунке 18 показано несколько обобщенных розеток, отличных от розеток.
Рисунок 18 Пусть орграф
– обобщенная знаковая розетка. Обозначим через
знаков контуров длины
(считая плюс как 1, а минус как –1). Пусть
наибольшее целое, что
. Если
, то можно показать, что
довательностью
– такое
импульсно
и абсолютно устойчив для всех простых импульсных процессов. Если свойства устойчивости орграфа
сумму
, то
полностью определяются лепестковой после-
.
Теорема 4.1 [3] Если две обобщенные розетки имеют одинаковые лепестковые последовательности, то они импульсно (абсолютно) устойчивы или неустойчивы одновременно. Доказательства следующих двух теорем также можно найти в [3]. Теорема 4.2 Пусть
– обобщенная знаковая розетка с лепестковой после,
довательностью
. Если
импульсно устойчива для всех про-
стых импульсных процессов, то: а) б)
; ,
.
Теорема 4.3 Пусть
– обобщенная знаковая розетка с лепестковой после,
, импульсно устойчивая для всех простых им-
пульсных процессов. Тогда
абсолютно устойчива для всех простых импульс-
довательностью
ных процессов тогда и только тогда, когда 22
.
+ +
+ x
– +
–
+
+ –
+
+
+
+
+ x
–
+ + +
+
Рисунок 19 Рассмотрим обобщенную знаковую розетку (петель нет),
на рисунке 19. Имеем
(два положительных контура длины 2),
(два ,и
контура длины три – положительный и отрицательный). Таким образом, лепестковая последовательность имеет вид
. Поскольку
, то
им-
пульсно неустойчива для некоторого простого импульсного процесса. Можно ли исправить положение? Очевидно, да: например, изменяя знак любой дуги, входящей в один из контуров длины два, но не входящей в контур длины три, получаем
, т.е. вырожденную лепестковую последовательность
. Как было сказано выше, в этом случае орграф импульсно и абсолютно
при
устойчив для всех простых импульсных процессов. Рассмотрим теперь обобщенную знаковую розетку пестковая последовательность имеет вид
на рисунке 19. Ее ле-
, что опять-таки в силу теоремы
4.2 означает импульсную неустойчивость для некоторого простого импульсного процесса. Пусть орграф на минус. Тогда
получен из
изменением знака дуги
имеет лепестковую последовательность
с плюса и условие
удовлетворяется, но не удовлетворяется второе условие теоремы 4.2, поскольку
. Поэтому
остается неустойчивым для некоторого просто-
го импульсного процесса. Теорема 4.2 предлагает потенциально стабилизирующую стратегию: сделать положительным один из контуров длины 2, чтобы получить 23
. Напри-
мер, если
получается из
изменением знака дуги
имеет лепестковую последовательность
плюс, то
c минуса на
. Она удовле-
творяет обоим условиям теоремы 4.2, но заключение об импульсной устойчивости пока сделать все же нельзя, так как теорема 4.2 дает лишь необходимые условия. Однако известно, что характеристический полином обобщенной розетки имеет вид (6)
, где
– число вершин. В нашем примере
венные значения
, откуда находим собст. Ненулевые собственные значения
различны и равны по модулю единице, поэтому импульсная устойчивость действительно имеет место по теореме 3.2. Теперь
исследуем
, то
свойство
абсолютной
устойчивости.
Поскольку
абсолютно неустойчив для некоторого простого
импульсного процесса. Если вернуться к орграфу 24
и изменить знак дуг
и
с плюса на минус, то получим потенциально абсолютно устойчивую
знаковую розетку с лепестковой последовательностью
. Находя по фор-
муле (6)
и
характеристический
полином
его
корни
, получаем по теореме 3.3 абсолютную устойчивость для всех простых импульсных процессов. Таким образом, теоремы 4.2 и 4.3 можно использовать для нахождения потенциальных импульсно и абсолютно стабилизирующих стратегий. Однако для окончательного заключения необходимо использовать теоремы 3.2 и 3.3 с помощью формулы (6). Упражнение 4.1 Пусть лепестковая последовательность обобщенной знаковой розетки имеет вид: а)
;
б)
;
в)
;
г)
.
Что можно сказать об импульсной и абсолютной устойчивости в каждом случае? Упражнение 4.2 Для изображенных на рисунке 20 обобщенных знаковых розеток решить вопрос об устойчивости. Если ее нет, то существуют ли стабилизирующие стратегии?
+
+
+
+ –
+
+
+
+ –
–
– – 25
а
б
в
Рисунок 20 +
+ +
+ +
–
+
+ +
–
–
+
+ –
г
д Рисунок 20
5 ПРИЛОЖЕНИЕ ТЕОРИИ ИМПУЛЬСНЫХ ПРОЦЕССОВ К АНАЛИЗУ СЛОЖНЫХ СИСТЕМ В разделе 1 были рассмотрены качественные модели структуры сложных систем, а в разделах 2-4 – количественная теория импульсных процессов и устойчивости взвешенных орграфов. Теперь осуществим синтез: применим количественную теорию устойчивости к качественным моделям. Вернемся к модели потребления электроэнергии (рисунок 2). Заметим, что этот орграф представляет собой обобщенную розетку с центральной вершиной Тогда
по
формуле
(6)
вычисляем
характеристический
.
полином
. Используя предложенный в разделе 3 прием, находим, что
имеет действительный корень строго между 1 и 2, так как ,
. Таким образом, имеются собственные значения, превосхо-
дящие по модулю 1, и в силу теоремы 3.1 данный знаковый орграф импульсно и тем более абсолютно неустойчив для некоторого простого импульсного процесса.
26
Если считается нежелательным, чтобы возникли произвольно большие импульсы и соответствующие значения в некоторой вершине (а здесь это так), то следует изменить структуру системы. Целесообразно попытаться осуществить такое изменение с наименьшими затратами, что требует сравнительного анализа имеющихся возможностей управления (изменить знак не более чем двух дуг). Поскольку модельный орграф является обобщенной розеткой, то для предварительного выявления потенциально стабилизирующих стратегий полезно использовать теоремы 4.2-4.3. В орграфе имеется один контур длины 2, два контура длины 3 и один длины 5. Поэтому при любом сочетании знаков имеем ,
или
,
,
. и
Таким образом, всегда
. Чтобы получить импульсную ус-
тойчивость, необходимо обеспечить
,
устойчивости дополнительно найти такие значения
,
,
,
а для абсолютной
. Поскольку , чтобы
,
, то нужно ,
,
,
. Единственными числами, удовлетворяющими этим условием, являются Чтобы получить
. , нужно изменить знак одной из дуг
. Если был изменении знак дуги
, то получить
, то получить
меняя знак либо дуги
можно
. Если же был изменен знак ду-
единственным способом: изменяя знак дуги ги
или
можно двумя и только двумя способами: из-
, либо дуги
.
27
Таким образом, имеются три потенциально стабилизирующие стратегии, состоящие в изменении знаков не более чем двух дуг: изменить знаки дуг
,
и
или
и
и
.
Подчеркнем еще раз, что найденные стратегии являются только потенциально стабилизирующими, поскольку теоремы 4.2-4.3 дают необходимые условия импульсной (абсолютной) устойчивости. Необходимо дополнительно использовать теоремы 3.2-3.3, вычислив предварительно характеристический полином по формуле (6) и найдя его корни. В данном случае можно показать (упражнение 5.2), что найденные стратегии действительно обеспечивают абсолютную устойчивость. Упражнение 5.1 Дать интерпретацию знаков дуг, образующих стабилизирующие стратегии в рассмотренном примере, и обсудить возможность их практического применения. Упражнение 5.2 Показать, что найденные потенциально стабилизирующие стратегии действительно приводят к абсолютной устойчивости орграфа для всех простых импульсных процессов. Упражнение 5.3 Исследовать устойчивость орграфа на рисунке 1. В случае неустойчивости предложить потенциально стабилизирующие стратегии, исходя из свойств обобщенных знаковых розеток, и убедиться в том, что они действительно приводят (или не приводят) к устойчивости. Упражнение 5.4 Для знакового орграфа, изображенного на рисунке 4, характеристический полином имеет вид
.
Будет ли этот орграф импульсно и абсолютно устойчивым для всех простых импульсных процессов?
28
Упражнение 5.5 Рассмотреть биологическое сообщество «кролики и лисы», изображенное моделью на рисунке 7 (упражнение 2.4): а) показать, что эта система импульсно и абсолютно устойчива для всех простых импульсных процессов; б) пояснить смысл импульсной и абсолютной устойчивости в экологических терминах; в) показать, что при определенном выборе весов дуг система перестает быть импульсной и абсолютно устойчивой. Дать интерпретацию этому факту. Упражнение
5.6
Рассмотреть
экосистему
«растения-травоядные-
плотоядные» на рисунке 8 (упражнение 2.5). Показать, что она импульсно неустойчива для некоторого простого импульсного процесса, и дать интерпретацию этому результату. Упражнение 5.7 Рассмотреть сообщество на рисунке 9 (упражнение 2.6): а) показать, что оно импульсно и абсолютно устойчиво; б) показать, что оно импульсно неустойчиво, если петля (орлы, орлы) отсутствует или отрицательна; в) обсудить, какая из гипотез более реалистична.
ЛИТЕРАТУРА 1 Кемени Дж., Снелл Дж. Кибернетическое моделирование: Некоторые приложения. – М.: Сов. радио, 1972. – 192 с. 2 Мартынюк Д.И. Лекции по качественной теории разностных уравнений. – Киев: Наукова думка, 1972. – 246 с. 3 Робертс Ф. Дискретные математические модели с приложениями к социальным, биологическим и экологическим задачам – М.: Мир, 1986. – 496 с. 4. Угольницкий Г.А. Линейная теория иерархических систем. – М.: ИСА РАН, 1996. – 55 с. 29
5 Maryama M. The Second Cybernetics: Deviation-amplifying Mutual Casual Processes // American Scientist, 51 (1963), p. 164-179.
30