2.1. Теоретико-множественный подход к описанию систем

Для получения математической модели процесса функционирования системы, чтобы она охватывала широкий класс реальных объектов, в общей теории систем исходят из общих предположений о характере функционирования системы:

1. система функционирует во времени; в каждый момент времени система может находиться в одном из возможных состояний;

2. на вход системы могут поступать входные сигналы;

3. система способна выдавать выходные сигналы;

4. состояние системы в данный момент времени определяется предыдущими состояниями и входными сигналами, поступившими в данный момент времени и ранее;

5. выходной сигнал в данный момент времени определяется состояниями системы, относящимися к данному и предшествующим моментам времени.

Первое предположение отражает динамический характер процесса функционирования в пространстве и времени. При этом процесс функционирования протекает как последовательная смена состояний системы под действием внешних и внутренних причин. 2-е и 3-е – отражают взаимодействие системы с внешней средой. В 4-м и 5-м предложениях отражается реакция системы на внутренние факторы и воздействия внешней среды: последействие и принцип физической реализуемости.

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

Принцип физической реализуемости: система не реагирует в данный момент времени на «будущие» факторы и воздействия внешней среды.

Для описания систем ее подсистемы (или элементы) перечисляются с помощью некоторых множеств V_iи устанавливается характер связей между ними.

S   {V_i, iI}, где

V_i – i-тая компонента декартова произведения V_i, называемая объектом системыS,I-множество индексов. Или иначе:

S  V₁V₂V₃...V_m

Абстрактно-алгебраическиемодели описывают связи как семейство отношений (унарных, бинарных ...n-арных)

R = {R₁,R₂,...,R_n}

Под отношением, введенным на множестве А,понимается подмно­жество декартового произведения конечной степениAⁿ=AA....A данного множестваA, т.е. подмножество кортежей(a₁, a₂,… a_n)изnэлементов множестваA.

Подмножество RAⁿназываетсяn-местным илиn-арным отношением в множествеA. Числоnназывается рангом или типом отношенияR. Множество всехn-арных отношений в множествеAотносительно операцийиявляется булевой алгеброй.

Примеры отношений на множестве V «Люди»:

унарное отношение «мужчины»: R={vV | пол(v)=мужской}

бинарное отношение «старше»: R={(v₁,v₂)V² | возраст(v₁)>возраст(v₂)}

трехместное отношение «являются родителями»: {тройка, где 1-й элемент – отец, второй – мать, третий – ребенок}

Функциональныемодели определят связи как множество отображений.

Если множество индексов Iконечно, то разобьем его два подмножестваI_uиI_y. В общем случае пересечение этих подмножеств может быть не пусто.I_uIиI_y.I. МножествоU={V_i | iI_u}назовемпричинами, а множествоY={V_i | iI_y}назовемследствиями. Тогда системаS  UY. СистемаSназывается функциональной, если она представляется в виде отображенияS: UY.

Временныемодели в качестве одного из объектов системыSвводят множество моментов времениТ.

Если элементы одного из объектов системы есть функции, например : T_V_, то этот объект называютфункциональным. В случае, когда области определения всех функций для данного объектаVодинаковы, т.е. каждая функция отображаетTвV,: TV, тоTназываетсяиндексирующим множествомдля. Если индексирующее множество линейно-упорядочено, то его называютмножеством моментов времени. Функции, определенные на множестве моментов времени, принято называть функциями времени. Объект, элементами которого являются временные функции, называютвременным объектом, а системы определенные на временных объектах –временными системами.