Раздел: Документация
0 ... 28 29 30 31 32 33 34 ... 96 унитарный цвет Я5-множества, то взаимосвязь унитарных и персональных цветов в 775-множестве называется дизъюнктивной формой связи (ДФС), а само Д5-множество - дизъюнктивным и обозначается символом 77v5. Если в /7-множестве имеется т элементов с персональным цветом Fy, то каждый такой элемент является телом Fy(A), поэтому уравнение (2.13) имеет вид т A(Fj)= v aL , \fa{ (Fj eF(a{ )).(2.67) J p=\ p p jp Отсюда следует, что при ДФС унитарный цвет Fy (А) существует при наличии хотя бы одиого элемента й{ е Ас персональным цветом Fj(aj). Унитарная раскраска F(A) и персональные раскраски элементов Д -множества связаны логическим отношением F(A) = F(a)= " F(aj\(2.68) В /7-множестве персональный цвет Fy(<zt) любого элемента порождает унитарный цвет Fj(A) и яг- является телом этого цвета; одновременно этот элемент является телом и всех других унитарных цветов, одноименных остальным персональным цветам F(tfj). Поэтому состав элементов и цветов /7-множества достаточно полно описывается на уровне (2.63) и имеет вид nvS =(A,F(A),[A х F(A)]).(2.69) Я5-множество можно рассматривать как своеобразную форму представления реляционной модели данных, в которой отношение между сущностями и их атрибутами описывается логическими переменными в виде бинарного отношения. Например, реляционная модель (рис.2.1а) представляется булевой матрицей (рис.2.16) Д5-множества вида (2.69) с составом элементов А = (ах ,Я2,...,#б) и составом унитарных цветов F(A) = (Fj ,F2,...,F15). Если отношение (2.67) для всех цветов Fy е F(A) не выполняется, то /75-множество не может быть дизъюнктивным. В этом случае тело (2.11) унитарного цвета Fj(A) содержит более одного элемента, и для независимого от других цветов F(A) отдельного цвета Fy (А) определяется формулой Щ Ak(Fj)= л а{ , Va, (Fj eFidj )),(2.70) в 3
Рис.2.1. Описание свойств сверлильных машин а) реляционная модель свойств: Ал - алюминевые сплавы, Ст -Тит - титановые сплавы 6) булева матрица свойств стали, Такая взаимосвязь унитарных цветов F(A) и персональных цветов элементов Я5-множества называется конъюнктивной формой связи (КФС), а само полихроматическое множество также называется конъюнктивным и обозначается символом ЯА5. При наличии тела вида (2.70) условие существования отдельного цвета Fj (А) имеет вид т FAA) = 1, если AAFj) = л а{ = 1, Ча{ (F, eF(a( )) (2.71) Уя Уj lqlq Уlq или т FyU) = l, если;(Л)= л (в) = 1, eAk(Fj). (2.72) При КФС каждый отдельный элемент а± тела Ak(Fj) или Ak(Fj) влияет, но недостаточен для реализации унитарного цвета ЯА5-множества - этот цвет реализуется только при наличии одновременно всех элементов тела данного цвета. Поэтому описание ЯА5-множества осуществляется на уровне (2.66) и содержит все компоненты (2.16): nAS=(A,F(a),F(A),[Ax F(a)]\Ax F(A)],[Ax A(F)]). (2.73) Состав унитарных цветов в раскраске F(A) ЯА5-множества определяется, исходя из условий (2.71), (2.72) существования таких цветов при наличии элементов, образующих тело данного цвета; варианты этих тел приводятся в булевой матрице [А х Л СЮ]. Поскольку любой унитарный цвет Fj (Л) существует только при наличии хотя бы одного тела Ak (Fj), то возможно, что некоторые цвета элементов ЯА5-множества не имеют одноименных унитарных цветов в составе F(A) или не участвуют в их реализации. В этом случае соотношение (2.68) не выполняется и имеет место F(A) с F(a). Пример такого ЯА5-множества приведен на (рис.2.2). Если в составе персональных цветов элементов ЯА5-множества содержатся только цвета, непосредственно влияющие на существование одноименных унитарных цветов согласно условию (2.44), то описание ЯА5-множества будет достаточно полным на уровне (2.64), поскольку нет необходимости включать в описание множество F(a) и матрицу (2.17), совпадающую с матрицей (2.10). В результате ЯА5-множество будет иметь минимальный набор компонентов: ЯА5 =(AfF(A),[Ax F(A)],[Ax A(F)]).(2.74) Если Я5-множество моделирует техническую или другую систему с определенными функциями, то в состав такого множества не 0 ... 28 29 30 31 32 33 34 ... 96
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
