19. Агрегативные системы.
Формализуем понятие структуры сложной системы.
Структура сложной системы – есть формализованное множество КЛА.
Введем понятие агрегативной системы: агрегативная система представляется либо как КЛА, либо как объединение конечного числа агрегативных систем. Это объединение описывается через схему сопряжения, где КЛА связаны через каналы связи, по которым передаются сигналы.
Пусть A = (A1, A2, ..., AN) – множество КЛА, N – фиксированное число.
Обозначим через Ii – множество входных клемм КЛА Ai, а через Oi – множество его выходных клемм.
Рассмотрим множество P всех возможных отображений R, I ® О, которое можно интерпретировать как множество потенциальных соединений между собой КЛА, входящих в A.
Именно, каждой входной клемме из I ставится в соответствие выходная клемма, с которой на входную клемму поступает сигнал. При этом допускается, что некоторым из входных клемм не ставятся в соответствие никакие выходные, т. е. на эти входные клеммы не поступают никакие сигналы. Точно так же некоторые выходные клеммы могут быть «висячими»: сигналы с этих клемм могут никуда не поступать. Таким образом, на каждую входную клемму подаются сигналы не более чем с одной выходной клеммы. В то же время с одной выходной клеммы сигналы могут идти на несколько различных входных клемм.
Это допустимое отображение R Î P называется схемой сопряжения. Схема сопряжения указывает адресацию сигналов в системе, состоящей из КЛА.
Если (j, r) – выход является значением отображения R (i, l) – входа и при этом отображение R является схемой сопряжения, то будем говорить, что между (j, r) – выходом и (i, l) – входом проложен канал связи.
Таким образом, состав агрегатов А и схема сопряжения R определяют агрегативную систему.
Однако задать состав агрегатов А и схему сопряжения R еще недостаточно для однозначного определения динамики получившейся системы. Вводят 2 следующих предположения:
Предположение 1. Каналы связи в системе, состоящей из КЛА, являются идеальными, т. е. передающими сигналы мгновенно и без искажений.
Данное предположение весьма удобно как с математической, так и с программной точек зрения. Отметим, что хотя предположение 1 сужает круг рассматриваемых моделей, мы можем учесть возможные задержки и искажения, присутствующие в реальной системе, введя дополнительные КЛА, отображающие эти особенности реальных каналов связи.
Но и предположения 1 еще недостаточно для определения динамики модели. Поясним причину этого.
Пусть, по предположению, каждый из агрегатов в ответ на поступление любого входного сигнала мгновенно выдает выходной сигнал. Тогда налицо неопределенность. Как должен реагировать агрегат A? Он может сначала отреагировать на сигнал и затем (через нулевой промежуток времени) выдать второй выходной сигнал в ответ на поступление сигнала. В этом случае реакция A состоит в выдаче пары выходных сигналов. Возникает «состязательная» ситуация. Разрешить эту неопределенность и данное противоречие можно с помощью следующего предположения, которое отвечает принципу причинности.