Системная динамика

Systems Dynamics, предложена 1961 г. Джеем Форрестером (Jay Forrester) из Массачусетсского технологического института

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

1. 1. Успехи в проектировании и анализе систем управления с обратной связью.
2. 2. Прогресс в методах компьютерного моделирования и развитие вычислительной техники.
3. 3. Накопленный опыт в моделировании процесса принятия решений.

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

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

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

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

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

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

Если система управления представима в виде сети накопителей и потоков, то соответствующая системно-динамическая модель может быть реализована в виде компьютерной программы. С помощью такой программы можно провести экспериментальное тестирование предлагаемых изменений управленческой политики. Исследовательская группа из Mассачусетского технологического института разработала компилятор DYNAMO [1]. С помощью этого языка моделирования можно эффективно решать системы линейных и нелинейных алгебраических и дифференциальных уравнений, содержащих до нескольких тысяч переменных, при этом от пользователя не требуется глубоких знаний программирования. С появлением графических средств доступа язык моделирования DYNAMO, ранее более походивший на язык программирования высокого уровня, стал языком графического моделирования сложных динамических систем. В полном объеме его выразительные возможности реализованы в системе визуального моделирования “Ithink”, которая будет использована в дальнейшем изложении. Далее анализируются преимущества системно-динамического подхода к моделированию систем поддержки принятия решений и излагается методика построения таких моделей.

Преимущества системно-динамического моделирования

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

В процессе моделирования постепенно углубляется понимание проблемы участвующими в нем людьми. Однако их интуиция о возможных последствиях предлагаемых управленческих решений часто оказывается менее надежной, чем подход, связанный с тщательным построением математической модели. И это не так удивительно, как может показаться на первый взгляд. Системы управления содержат порой 100 и более переменных, о которых либо известно, что они зависят от других каким-либо нелинейным образом или предполагают существование такой зависимости. Поведение таких систем оказывается настолько сложным, что его понимание лежит вне возможностей человеческой интуиции. Компьютерное моделирование – одно из наиболее эффективных имеющихся в настоящее время средств для поддержки и уточнения человеческой интуиции. Хотя модель и не является совершенно точным представлением реальности, она может быть использована для принятия более обоснованных решений, чем те, которые мог бы принять человек. Это гибкое средство, которое усиливает возможности человека, использующего ее для более глубокого понимания проблемы.

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

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

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

3. Когда производится “прогон” модели, становится возможным логическое “тестирование”. С помощью модели легко оцениваются следствия из многообещающих, но умозрительных решений. Наблюдения за поведением модели способствуют появлению новых гипотез о структуре реального объекта.

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

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

6. Анализ устойчивости модели – это та область, обсуждение которой подводит эмпирическое исследование к важным вопросам. Если истинные значения многих параметров неизвестны (это обычное явление при корпоративном стратегическом планировании), то первое, с чего следует начать исследование, это анализ поведения модели при колебаниях значений параметров. Система “Ithink” предоставляет для этого специальные средства.

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

Анализ систем с обратной связью

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

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

Иерархия элементов систем с обратной связью. Рассмотрим четыре элемента систем с обратной связью: переменная, связь, цикл обратной связи, система с обратными связями.

Переменная представляет собой количество некоторого продукта, которое изменяется во времени. Переменная может выражать решение, например, “объем дополнительных ресурсов”, или показывать результат ранее принятого решения, например, “затраты”. Если переменная не изменяется в зависимости от изменения других переменных системы, она называется “экзогенной”, т.е. внешней для системы. Переменная, значение которой изменяется в зависимости от изменения других переменных внутри системы, называется “эндогенной”.

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

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

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

Имитационное моделирование

Модель есть целенаправленное представление исследуемого объекта, реальное или воображаемое. Имитационная модель есть модель, которая воспроизводит поведение объекта за определенный период времени; в этом смысле имитационная модель является динамической. Значения всех переменных, входящих в имитационную модель, вычисляются в каждый момент модельного времени. Затем, через определенный интервал, на основе старых значений вычисляются новые значения переменных, и т.д. Таким образом, имитационная модель “развивается” по определенной траектории в течение заданного отрезка модельного времени.

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

Переменная “время” является первичной для имитационной модели динамической системы: ее значение генерируется системным таймером и изменяется дискретно, т.е., начиная с некоторого начального значения, время за каждый такт увеличивается на заранее заданную величину, которая служит единицей модельного времени. Число тактов и единица времени являются параметрами “прогона” модели и определяются заранее.

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

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

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

Помимо фондов и потоков, при построении имитационных моделей динамических систем используются вспомогательные переменные, которые мы будем называть конверторами. Эти переменные могут быть равны константам или значениям математических функций от других переменных (в том числе и от переменной “время”), т.е. позволяют преобразовывать (“конвертировать”) одни числовые значения в другие.

Для формального описания моделей динамических систем введем следующие обозначения. Через t обозначим переменную “время”, которая имеет нулевое начальное значение и за каждый такт увеличивается на достаточно малое положительное приращение dt. Переменные типа “фонд”, которые, очевидно, являются функциями от времени, будем обозначать прописными латинскими буквами, например: X(t),MONEY(t). Потоки будем обозначать прописными или строчными латинскими буквами с апострофом в конце, чтобы подчеркнуть их связь с понятием производной от функции. Для обозначения остальных переменных и констант будем использовать строчные латинские буквы. Для записи стандартных математических функций будем, по-возможности, использовать обозначения, принятые в системе “Ithink”.

Рассмотрим несколько моделей простейших динамических систем.

1. Осциллятор со стабилизацией расчетных движений. Стабилизация траектории управляемых динамических систем может осуществляться при помощи специально выбранного управления. Рассмотрим осциллятор, представляющий собой тело массой m, соединенное с неподвижной точкой пружиной, имеющей жесткость k. Если в начальный момент переместить тело вдоль некоторой оси на расстояние X(1)0 и отпустить, то при отсутствии сил тяжести и трения тело будет совершать периодические колебательные движения вдоль этой оси. Предположим теперь, что на тело воздействует стабилизирующее управление u, а жесткость пружины экспоненциально уменьшается во времени. Динамика такого осциллятора описывается следующей системой обыкновенных дифференциальных уравнений:

где

Переменная u задает стабилизирующие управления, заставляющие тело совершать колебательные движения внутри диапазона, определяемого значением параметра l [см., например, Зубов С.В., Зубов Н.В. Математические методы стабилизации динамических систем. Изд-во С.-Петербургского университета, 1996]. Функция k(t) описывает деградацию пружины во времени. Значения параметров q1,q2,l и начальное значение смещения X1(0) определяют область стабильных колебаний и время переходного периода. Как будет вести себя такая динамическая система при массе тела 10 грамм, если сместить тело, например, на 10 см и отпустить, полагая l=0.02, ql=0.1, q2=2, a=25, b=0.05 ?

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

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

Используя синтаксис пакета “Ithink”, рассматриваемая динамическая система может быть представлена в виде графической схемы, изображенной на рис. 1. В модели имеется два фонда: X1 – “Перемещение” и X2 – “Скорость”. Поскольку оба этих фонда могут принимать как положительные, так и отрицательные значения, они соединены двунаправленными потоками с бесконечными источниками (“облаками”). Стабилизирующее управление u “гасит” ускорение при выходе переменной s за границы интервала стабильных колебаний, задаваемого параметром l .

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

Поведение осциллятора моделировалось в течение 100 единиц модельного времени. Результаты моделирования показаны на рис. 3.

Как видно из рис. 3, в течение примерно 25 тактов осциллятор переходил в режим стабильных колебаний вокруг нулевого уровня; после следующих 25 тактов стала сказываться деградация пружины, и тело начало “отрываться” в положительном направлении оси колебаний.

2. Модель детерминированного хаоса. Рассмотрим поведение системы, описываемой нелинейным рекуррентным соотношением вида

где c₀,c₁,c₂ – управляемые параметры системы. Графическая схема такой модели на языке “Ithink" и ее представление на языке Dynamo представлены на рис. 4.

При значениях параметров, указанных на рис. 4, динамическая система совершает затухающие колебания около некоторого значения, называемого “аттрактором" (рис. 5). Легко убедиться, что незначительные изменения этих параметров приводят к некоторым изменениям траектории затухания, но не меняют значения аттрактора. Однако, при значениях P(0)=0.3, c₀=1, c₁=-4, c₂=4 система начинает совершать хаотические колебания (рис. 6). Такое “псевдослучайное" поведение строго детерминированной системы называется “странным аттрактором". Если предположить, что поведение какого-либо псевдослучайного объекта (например, некоторого сегмента финансового рынка) удастся достаточно точно описать при помощи системы подобных рекуррентных соотношений, то краткосрочный прогноз его поведения не составит труда.