Лекции и учебные пособия по системному анализу

Системный анализ

«Системный анализ и проектирование»

Е. Н. Живицкая

Оглавление    
Лекция 3, «Системы. Модели систем» Лекция 5, «Математическое описание систем» (2 часть)

Лекция 4: Математическое описание систем (1 часть)

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

  • Компактность. Словесное (или вербальное) описание системы (или процесса), как правило представляет собой нагромождение нечетких высказываний, которые лишь затуманивают существо дела. Избавиться от таких нечетких и не до конца продуманных соображений помогает компактная математическая символика. Математическое описание дает нам аналог знакомой картины и оказывается информативнее любого словесного описания.
  • Ясность. Использование математического описания позволяет каждому аспекту изучаемого процесса поставить в соответствие определенный математический символ, в результате чего становится нагляднее взаимосвязь, существующая между различными параметрами процесса. Более того, подобное сопоставление позволяет гораздо проще, чем словесное описание, установить, не были ли упущены какие-либо существенные переменные, или, напротив, не были ли внесены какие-либо дополнительные несущественные сложности при построении описания.

Возможность численного анализа. Как только сделан выбор какого-либо математического описания, последнее «начинает жить» собственной жизнью, более или менее независимой от самого исследуемого процесса.

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

Внутреннее описание

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

dz/dt = f[z(t), x(t), t], z(0) = z0, y(t) = h[z(t), x(t), t],

где z(t) — n-мерный вектор, компоненты которого описывают состояние системы в момент времени t; y(t) — p-мерный вектор наблюдаемых выходов системы; x(t) — m-мерный вектор входов системы, z0 — начальное состояние системы.

В дискретном времени динамика системы может быть описана с помощью разностных соотношений z(k+1) = F[z(k), x(k), k], z(0) = z0, y(k) = H[z(k), x(k), k].

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

d2z/dt2 + a⋅dz/dt + sin(z) = x(t)

где а — коэффициент трения, x(t) — внешня сила, действующая на груз, z(t) — отклонение груза от положения равновесия.

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

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

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

Внешнее описание

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

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

Внешнее и внутреннее описание системы

Рис.4.1 — Внешнее и внутреннее описание системы

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

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

f: X → Y,

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

Пример

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

элементами множества X и множества Y являются показания различных измерительных приборов. Тогда описание эксперимента типа «вход-выход» могло бы быть таким:

Время Вход Выход
10:05 Эксперт не производит никаких действий Прибор издает звуковой сигнал частотой 240 Гц
10:06 Эксперт нажал на кнопку «A» Частота сигнала возросла до 480 Гц
10:07 Эксперт случайно нажал на кнопку «B» Ящик нагрелся на 20°C и начал вибрировать

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

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

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

Описание систем с конечным числом состояний

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

Математическое описание системы с конечным числом состояний включает:

  • множество допустимых входов — X,
  • множество допустимых выходов — Y,
  • множество состояний — Z,
  • функцию перехода — : Z X Z,
  • функцию выхода — : Z X Y,

При этом предполагается, что множества X, Y и Z конечны. Это позволяет представить описание системы в виде:

[.] = (X, Y, Z, η σ).

В литературе такое представление часто называют схематическим.

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

Пример

Пусть система состоит из симметрий вращения правильного треугольника. Тогда некоторые возможные конечные пространства состояний могут иметь вид:

Конечные пространства

Рис.4.2 — Конечные пространства

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

Пусть имеются два возможных отображения σ1 и σ2, переводящие одно состояние системы в другое и соответствующие повороту треугольника вокруг центра тяжести на 120 и 240 градусов соответственно. Результаты применения этих отображений к различным пространствам состояний можно представить в виде таблицы:

  zi σ1(zi) σ2(zi)
z1 → [a, b, c]
[c, a, b]
[b, c, a]
[c, a, b]
[b, c, a]
[a, b, c]
[b, c, a]
[a, b, c]
[c, a, b]
z2 → 0
2π/3
4π/3
2π/3
4π/3
0
4π/3
0
2π/3
z3 → 0
1
2
1
2
0
2
0
1

Пространство z1 на первый взгляд излишне сложное, оказывается вполне пригодным для более сложных систем, например в случае симметрий более общего вида, где могут присутствовать отображения типа σ. В то же время пространства z2 и z3 не допускают очевидных обобщений на более сложные случаи с сохранением простоты вычислений.

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

Оглавление    
Лекция 3, «Системы. Модели систем» Лекция 5, «Математическое описание систем» (2 часть)


Система Orphus

Яндекс.Метрика