Одним из первых известных подходов к обобщённому моделированию сложных систем является метод, предложенный Н.П. Бусленко [1]. Этот метод вводит формальную схему моделирования общего вида и нацелен на комплексное описание поведения одновременно непрерывных и дискретных, детерминированных и стохастических систем.
В самом общем виде S представляется абстрактным агрегатом Ап, который имеет In входных контактов (входов) X ( n )={ X 1( n ), X 2( n ),…, XIn ( n )}, на которые поступают элементарные входные сигналами (данные) xi (t), i = 1,2,..., In, и Jn выходных контактов (выходов) Y ( n )={ Y 1( n ), Y 2( n ),…, YJn ( n )}, на которые выдаются выходные сигналы (данные) yj (t), j = 1,2,..., Jn:
Последовательность входных сигналов, расположенных в порядке их поступления в агрегат, называют входным сообщением или x -сообщеним. Последовательность выходных сигналов, расположенных в порядке их времени выдачи агрегатом, называют выходным сообщением или y ‑сообщением.
В случае сложной организации предмет моделирования S представляется в виде конечного числа элементов (подсистем) и связей, обеспечивающих их взаимодействие. Если выделенные подсистемы оказываются сложными, они в свою очередь декомпозируются до уровней, в которых они могут быть описаны математически. В результате сложная система S представляется в виде многоуровневой конструкции из взаимосвязанных элементов, объединенных в подсистемы различных уровней, которую называют агрегативной системой или А ‑ схемой. Базовым элементом построения агрегативной системыявляется агрегат. Связь между агрегатами (внутри системы S и с внешней средой E) моделируется в виде оператора сопряжения R, специфицирующего интерфейс взаимодействия между всеми выделенными агрегатами А ‑ схемы. Сложный агрегат может в свою очередь сам рассматриваться как А ‑ схема, т.е. может разбиваться на элементы (агрегаты) следующего уровня декомпозиции.
|
|
Каждый агрегат характеризуется следующими множествами:
· H – множество внутренних параметров агрегата;
· Т – множество фиксируемых моментов времени t;
· X – множество связанных со временем t Î Т входных сигналов;
· Y – множество связанных со временем t Î Т выходных сигналов;
· Z – множество состояний агрегата, в которых он может находиться в каждый момент времени t.
Состояние агрегата в момент времени t Î Т обозначается как z (t)Î Z, а входные и выходные сигналы как x (t)Î X и y (t)Î Y соответственно. Предполагается, что переход агрегата из состояния z (t 1) в состояние z (t 2)¹ z (t 1)происходит за малый интервал времени, т.е. имеет место скачок состояния - d z:
Переходы из состояния z (t 1) в z (t 2) определяются собственными (внутренними) параметрами агрегата h (t)Î H и входными сигналами x (t)Î X.
|
|
В начальный момент времени t 0 состояния z имеют значения, равные z 0, т.е. z 0= z (t 0), которые задаются законом распределения процесса z (t) в момент времени t 0, а именно L [ z (t 0)]. Если предполагается, что в случае воздействия на агрегат в момент tn входного сигнала хп = x (tn) он изменяет своё состояние, то это описывается оператором скачкообразного перехода агрегата из одного состояния в другое – V:
z (tn+ 0) = V [ tn, z (tn), xn ].
Полагают, что состояние сложного агрегата может меняться и без очередного поступления входного сигнала. Если на интервале времени (tn, tn+ 1)нет поступления входного сигнала, но предполагается, что для t Î(tn, tn+ 1) состояние агрегата может меняться (внутренние изменения состояний агрегата во времени), то это изменение определяется случайным оператором U:
z (t) = U [ t, tn, z (tn +0)], t Î(tn, tn+ 1).
Таким образом, в обобщённом подходе изменение агрегатом своего состояния описывается случайными операторами V и U, которые рассматривают как комплексный оператор. При этом процесс функционирования агрегата состоит из скачков состояний d z в момент поступления входных сигналов x (оператор V) и изменений состояний между этими моментами tn и tn +1 (оператор U). Так как на оператор U не накладываются никакие ограничения, то допустимы скачки состояний d z и в моменты времени t Î(tn, tn+ 1), не связанные с моментами поступления входных сигналов x.
Все моменты скачков изменения состояния d z независимо от причин их возникновения в агрегате, называются особыми моментами времени t d, а соответствующие им состояния z (t d)— особыми состояниями А -схемы. Для описания скачков состояний d z в особые моменты времени t dиспользуется случайный оператор W, которыйпредставляет собой частный случай оператора U:
z (t d+0) = W [ t d, z (t d)], t Î(tn, tn+ 1).
На множестве состояний Z выделяется такое подмножество Z ( Y ), что если z (t d)Î Z ( Y ), то это состояние является моментом выдачи выходного сигнала, определяемого оператором выходов G:
Y = G [ t d, z (t d)].
Таким образом, агрегат описывается следующим кортежем:
A =< T, X, Y, Z, Z (Y), H, V, U, W, G >,
и законом распределения начального состояния - L [ z (t 0)].