    
Раздел: Документация
0 ... 33 34 35 36 37 38 39 ... 96 Цвета раскраски F(a)+k , получаемой после включения элемента ak в исходное /75-множество, разделяются на группы: -цветов F(ay k, существующих в раскраске F(a)+k только за счет нового элемента ak: F(a)[k =F(a)AF(ak);(2.117) -цветов F(a)!Jk , существующих в F(a)+k и за счет ak , и за счет других элементов исходного /75-множества: F(a)[rk =F(a)AF(ak))(2.118) -цветов F(a)1, существующих в F(a)+k только за счет элементов исходного 775-множества: F(a)lIl =Яй)л?Ц).(2.119) Общий состав цветов F(a)+k множества IIS+k является объединением всех цветов, входящих в группы (2.117)-(2.119): F(a)+k = F(a)[k v F(a)1 v F(a)1.(2.120) При решении некоторых задач представляет интерес и группа цветов F(a)rJk , не существующих ни в F(a), ни в F(a)+k: F(a)r+lk =F(a)AF(ak) = F(a)+k.(2.121) После вычисления состава цветов F(a)+k по формуле (2.115) или (2.116) формируется булева матрица [A+k х F(a)+k] путем добавления в матрицу [А х F(a)]исходного /75-множества строки, соответствующей добавляемому элементу ak, и столбцов, соответствующих цветам, входящим в группу F(a)J+k. Способы определения компонентов F(A)+k[A+k х F(A)+k] и [A+k х A(F)+k ] получаемого множества (2.113) зависят от типа исходного 775-множества и логических отношений между унитарными цветами получаемого множества ITS+k , а не исходного 775-множества, как при исключении элемента ak. При исключении ak характер исходного логического уравнения (2.53) не изменяется - меняются только истинностные значения цветов, входящих в группу (2.81), и зависящих от них унитарных цветов исходного /75-множества. При включении в Я5-множество нового элемента ak, при F(a)r+k ф 0, в уравнении (2.53) для унитарных цветов F(A)+k получаемого множества riS+k могут появиться новые цвета, не существовавшие в составе F(A) унитарных цветов исходного Л-множества. Логические отношения между новыми и существовавшими в F(A) цветами неизвестны, поэтому такие отношения должны быть заданы заранее или определены в процессе формирования TIS+k. Если исходным будет свободное дизъюнктивное Л -множество, то имеет место равенство F(A) - F(a). Если при этом унитарные цвета (2.53) взаимно независимы и в F(A)> и в любом другом составе унитарных цветов, включая F(A)+k, то составы F(A)+k и F(a)+k также будут равны: F(A)+k =F(a)+k, причем F(A)+k =FU)v F(ak).(2.122) При этом будет иметь место и равенство булевых матриц: [A+k х F(A)+k]=[A+k х F(a)+kl(2.123) Тем самым, построение конечного множества ЛvS+k завершено, поскольку в этом случае нет необходимости формировать матрицу (2.14) тел унитарных цветов - роль этой матрицы выполняет матрица [A+k xF(A)+kl В рассматриваемых Я -множествах между унитарными раскрасками F(A) и F(A)+k исходного и конечного множеств и раскраской F(ak) включаемого в IIvS+k элемента ak существуют отношения, аналогичные отношениям (2.117)-(2.121) между раскрасками F(a), F(a)+k и F(ak). Унитарные цвета F(A)+k разделяются на следующие группы: -цветов F(A)rk , существующих в F(A)+k только за счет нового элемента ak: F(A)[k =F(A) л F(ak);(2.124) -цветов F(A)k, существующих в F(A)+k за счет ak , и других элементов исходного Л -множества: F(A)uk =F(A)AF(ak)](2.125) -цветов F(A)[J£, существующих в F(A)+k только за счет элементов исходного Я -множества: F(A)nl =FU)a%).(2.126) Группа цветов F(A) k , не существующих, ни в F(A), ни в F(A)+k, вычисляется по формуле F(A)[vk = F(A) л F(ak ).(2.127) Общий состав унитарных цветов F(A)+k является объединением всех цветов, входящих в группы (2.124)-(2.126): F(A)+k =F(A)[k v F(A)k v ЯЛ)™.(2.128) При включении нового элемента ak в конъюнктивное ЯЛ5-мно-жество компоненты A+k , F(a)+k и [A+k х F(a)+k ] конечного множества TIAS+k вычисляются так же, как в дизъюнктивных Яч/5-множе- ствах. Способы вычисления компонентов F(A)+k, [A+k х F(A)+k ] и [A+k х A(F)+k ] будут иными, и зависят от характера взаимосвязи унитарных цветов в F(A) и состава элементов, входящих в тела унитарных цветов. Поскольку включение в ЯЛ5-множество нового элемента ak может привести и к появлению новых вариантов тел унитарных цветов, существующих в F(A), и к появлению тел, реализующих новые унитарные цвета, до этого не существовавшие в F(A), то возникает проблема распознавания неизвестных ранее тел унитарных цветов, появившихся в связи с наличием элемента ak е A+k. Одним из путей решения этой проблемы является использование базы данных о полихроматическом универсуме Я(7, в котором должны быть представлены все известные тела всех известных унитарных цветов, реализуемых элементами данной предметной области. Реальным прообразом такого универсума являются архивы патентных служб. Другой путь, органически связанный с первым, - использование методов поиска новых технических решений. Для вычисления нового множества IJAS+k к составу компонентов (2.16) исходного ЯЛ5-множества добавляется булева матрица: [A* xA(F)]UfA* =>A,ak еА*.(2.129) Эта матрица формируется на основе базы данных об универсуме П17 для рассматриваемой предметной области. Компоненты F(A)+k , [A+k х F(A)+k ] и [A+k х A(F)+k ] вычисляются по такой схеме: - в булеву матрицу [А х A(F)] исходного ЯЛ5-множества добавляется строка ak и столбцы новых тел из матрицы (2.129), в которые входит элемент ak и другие элементы из А; в результате будет построена булева матрица [A+k х A(F)+k ] тел унитарных цветов формируемого множества nAS+k ; 0 ... 33 34 35 36 37 38 39 ... 96 |
