Система как отношение на абстрактных множествах

Предположения о характере функционирования систем

ТЕОРЕТИКО-МНОЖЕСТВЕННОЕ ОПИСАНИЕ СИСТЕМ

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

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

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

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

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

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

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

Второе и третье предположения отражают взаимодействие системы с внешней средой.

В четвертом и пятом предположениях отражается реакция системы на внутренние факторы и воздействия внешней среды:

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

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

Одним из центральных понятий теории систем является понятие системы, определенное в теоретико-множественных терминах:

где V — вес компоненты; iÎI — декартова произведения ÄV_i, называемые объектами системы S; I — множество индексов. В кибернетике наибольший интерес представляют системы с двумя объектами — входным объектом X и выходным объектом

Основными причинами определения системы как теоретико-множественного отношения являются следующие:

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

2. Определение системы как отношения вида (7.1) является предельно общим. Конечно, различным системам отвечают и различные способы задания описания (дифференциальные уравнения, булева алгебра, графы и т. д.), но все они есть не более чем отношения вида (3.1). В условиях предельно нечеткой информации, когда систему удается описать лишь качественно, все словесные утверждения в силу их лингвистических функций определяют отношения типа (3.1). Действительно, каждое высказывание содержит две основные лингвистические категории: термы (денотаты) и функторы. Напомним, что термы используются для обозначения объектов, а функторы — для обозначения отношения между ними. И для каждого правильного множества словесных утверждений существует отношение (в математическом смысле слова), описывающее формальную взаимосвязь между объектами. Таким образом, система всегда является отношением в смысле, а уже более узкие классы систем определяются более точно своими специфическими средствами.

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

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

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

Для построения теории систем на теоретико-множественном уровне, исходя из определения (7.1), необходимо наделить систему как отношение некоторой дополнительной структурой. Это можно сделать двумя способами:

ввести дополнительную структуру для элементов объектов системы; например, рассматривать сам элемент v_i,Î V_i как некоторое множество с подходящей структурой;

ввести структуру непосредственно для самих объектов системы V_i, iÎI.

Первый способ приводит к понятию (абстрактных) временных систем, а второй — к понятию алгебраических систем.

Дата добавления: 2014-12-27