Методы формализованного представления систем в исследованиях

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

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

Теоретико-множественные представления

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

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

Рисунок 4 - Теоретико-множественные представления

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

При применении теоретико-множественных представлений для отображения сложных систем и процессов в них наиболее общими формальными характеристиками являются абстрактные знаковые формулы, с помощью которых удобно отображать многоуровневое строение систем. Например, система S может быть отображена в совокупность множеств, описываемую теоретико-множественной формулой:

множество вероятностей p изменения состояний;

-

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

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

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

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

Благодаря тому, что при теоретико-множественных представлениях систем и процессов в них можно вводить любые отношения, эти представления: