§2. Применение теоретико-множественных представлений.
В рамках данного курса классическая теория множеств, представляющая собой применение теоретико-множественных представлений к теории чисел, не представляет особого интереса. Она может быть полезной лишь в качестве иллюстрации основных положений теоретико-множественных методов.
Ниже обсуждается значение теоретико-множественных представлений описания состояний и процессов в сложных системах.
При применении теоретико-множественных представлений для отображения сложных систем и процессов в них наиболее общими формальными характеристиками являются абстрактные знаковые формулы, с помощью которых удобно отображать многоуровневое строение систем.
Например, система S может быть отображена в совокупность множеств, описываемую теоретико-множественной формулой:
S = <I, C, A, P, E, U, X, W, Z>,
где I = {i} – множество информаций, т.е. совокупность (общий вектор) входных информационных сигналов;
A = {a} – множество выходных действий (актуаций) системы;
E = {e} – множество элементов, из которых составлена данная система;
U = {u} – множество отношений и элементов е;
C = {c} – множество состояний (ситуаций) системы;
X = {x} – множество признаков (или параметров), характеризующих состояние элементов и отношений;
W = {w} – множество свойств свойств, т.е. w – свойства свойств системы: вес, цена, значимость каждого свойства по отношению к другим свойствам;
P = {p} – множество вероятностей изменения состояний;
Z = {z} – множество возмущений, действующих на систему.
Представление системы полной формулой S = <I, C, A, P, E, U, X, W, Z> не всегда возможно и целесообразно. Обычно системы описываются сокращенными формулами (в зависимости от требований полноты и отображения), которые иногда носят следующие названия (в соответствии с количеством объединяемых множеств):
монада [I] или {i};
диада (двойка) [I, A] или <{i}{a}>;
триада (тройка) [I, C, A] или <{i}{c}{a}>;
тетрада (четверка) [I, C, A, P] или <{i}{c}{a}{p}>.
При отображении системы осуществляется декомпозиция её – выделение групп (множеств) элементов, обладающих одинаковыми (в рамках определенных ограничений) свойствами.
Выделив множества, можно производить соответствующие операции над ними, т.е., ставя их в определенные отношения друг с другом, прейти к композиции системы:
{x} R1 {c} R2 {e} Rj {u} Rk {a} Rn {i}
Символом R здесь обозначаются отношения между элементами или множествами в случае, если не определен характер этих отношений. Решение задачи композиции системы заключается в определении характера взаимоотношений между элементами или множествами, т.е. в замене символа R соответствующим знаком – оператором, функтором, - выражающим смысл и основные свойства отношений. Выяснение характера взаимоотношений между множествами или их элементами и возможные преобразования выражения {x} R1 {c} R2 {e} Rj {u} Rk {a} Rn {i} выполняются на основе определенных правил – законов, аксиом.
Композиция обычно осуществляется путем задания отношений между элементами, принадлежащими различным множествам, например, <x, r, c> и образование этих пар (троек и т.д.) взаимодействующих элементов нового множества.
Таким образом, теоретико-множественные формулы переводят систему языка реальности в абстрактную систему, описываемую искусственным языком α, β или γ, имеющим соответствующий словарь (множество элементов, множество состояний, множество признаков и т.д., отображенных определенными символами) и правила образования новых понятий – композиций (множество отношений, законов, аксиом). Сложность языка определяется сложностью отображаемой системы и допустимой степенью абстрагирования.
Интересно отметить, что при конкретизации правил образования новых понятий теоретико-множественные представления могут привести к одной из алгебр логики, к одному из формальных языков математической лингвистики.
В принципе при применении теоретико-множественных представлений допустимо введение любых отношений. Благодаря этому свойству, теоретико-множественные представления а) служат хорошим языком, с помощью которого облегчается взаимопонимание между представителями различных областей знаний; б) могут являться основой для возникновения новых научных направлений.
В этом основное значение теоретико-множественных представлений.
Частным случаем теоретико-множественных отображений являются логические отображения: система с языка реальности переводится на язык одной из алгебр логики (двузначной, многозначной, непрерывной).
Графические методы (Подоровский С.)
Графические методы являются удобной формой отображения систем, так как они позволяют наглядно представить процессы, происходящие в системах, что облегчает их анализ.
Классификация применяемых в настоящее время графиков по признакам и видам приведена в таблице 9.
Большинство графических примеров служит для наглядного представления информации.
Однако некоторые из них позволяют решать вопросы оптимизации процессов организации и управления с применением строгих математических методов.
Заслуживают внимания графические методы представления операций во времени.
Старейшим из них является график Ганта (рис 9). На этом графике в прямоугольной системе координат «время-операция» наносятся сведения о выполняемых работах при планировании, контроле и управлении производством.
График Ганта выполняется в форме чертежей, ленточных диаграмм с ручным управлением или ленточных диаграмм с автоматическим управлением.
В двух последних случаях графики представляют собой бесконечные ленты, одна половина которых окрашена в черный цвет, вторая – в белый; причем черный участок в масштабе времени соответствует продолжительности операции.
Дальнейшим шагом было разделение отрезка времени, отображающего дискретные операции, на дискретные элементы
(рис 9б). Все операции и интервалы времени могут быть пронумерованы: операции I, II, III, IV, V; интервалы – 1, 2, 3, .. 19, 20, 21. В этом случае появляется возможность оперировать дискретной информацией.
Можно вообще отойти от конфигурации ленточных графиков и рассматривать всю совокупность дискретных операций в дискретном времени, как множество событий, упорядоченных в двух измерениях. Это показано на рис. 9в. Последний вариант составляет переходное звено к современным сетевым графикам планирования, наблюдения и управления. В зарубежных работах соответствующие методы называются методом ПЕРТ (РЕРТ), в отечественной литературе принято название «Сетевое планирование и управление» (СПУ).
В стилизованном виде, график СПУ показан на рис. 9г.
В отличии от предыдущих вариантов, в нем добавлены стрелки связей, показывающие соотношение операций и моментов времени при выполнении каких-либо работ.
Практически при построении графиков СПУ нарушают строгую геометрию рис 9г., так как удобнее «сшивать» операции во времени произвольным подсоединением групп операций.
Основная терминология сетевого моделирования.
- Интегративность
- Коммуникативность
- Иерархичность
- Эквифинальность
- Историчность
- Ингерентность
- Эмерджентность
- Метод экспертных оценок (Повжик р.)
- Организация экспертного оценивания
- Подбор экспертов
- Опрос экспертов
- Метод мозговой атаки (Пузырева н.)
- Количественные методы системного анализа Аналитические методы представления систем (Кучеров а.)
- §1. Основная терминология.
- § 2. Теории, возникшие на базе аналитических представлений.
- § 3. Применение аналитических методов.
- Энтропия- это мера неопределённости информации, она характеризует способность одной системы (источника) отдавать информацию и способность другой системы (приёмника) принимать её.
- Математическая статистика.
- Теория статистических испытаний
- Теория выдвижения и проверки гипотез.
- Применение статистических отображений.
- Теоретико-множественные представления.
- §1. Основная терминология.
- §2. Применение теоретико-множественных представлений.
- При применении сетевых моделей пользуются определенной терминологией: вершина, ребро, путь. Эти понятия пояснены с помощью рис.10.
- Блок схемы
- Виды ис в управлении (Повжик р.)