Логические методы

Теоретико-множественные методы

Теоретико-множественные методы базирую 2л на понятиях: множество, элементы множества и отноше­ния на множествах. Сложную систему можно пред­ставить в виде совокупности множеств и отношений между ними. Множества могут задаваться двумя спо­собами: перечислением элементов и на­званием характеристического свойства. В основе теоретико-множественных преобразований лежит переход от одного способа задания множества к дру­гому. В множествах могут быть выделены подмноже­ства. Из нескольких множеств, установив отношения между их элементами, можно сформировать новое множество, состоящее из элементов, Качественно от­личающихся от элементов исходных множеств.

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

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

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

Более подробно логический аппарат исследования систем управления будет рассмотрен в разделе 4.

Дата добавления: 2014-01-03