Предположим, что SiG и SjG принадлежат множеству SG, где SiG ≤SjG тогда и только тогда, когда для каждого множества Ea SiG существует множество Eb SjG такое, что Еа
Eb. Если SiG ≤SjG, то будем называть SiG «уточнением» структуры SjG и, наоборот, SjG «агрегатом» SiG. Кроме того, SiG — непосредственное «уточнение» SjG тогда и только тогда, когда SiG ≤SjG и не существует такой SkG, что
SiG ≤SkG и SkG < SjG. Аналогично определяется непосредственный «агрегат».
Определим отображение как
rG:SG →R*,
где R* — множество всех симметричных и рефлексивных бинарных отношений, определенных на множестве V. Это множество можно интерпретировать как множество ненаправленных графов с петлями. Символом SG/rG обозначим множество классов эквивалентности, определенных на множестве приемлемых структур посредством rG. Каждому классу эквивалентности соответствует единственная каноническая структура, содержащая минимальное число элементов. Между множеством канонических структур SC и множеством ненаправленных графов, определенных на данном множестве переменных, существует взаимно однозначное соответствие. Каноническая структура всегда будет агрегатом для структур, принадлежащих классу эквивалентности, определяемому этой структурой. Введем также структуры, которые будут являться уточнением для любой структуры из определенного класса эквивалентности. Они построены так же, как пары переменных, которые связаны в графе, представляющем класс эквивалентности, и как единичные переменные, которые изолированы в графе. Будем называть введенные структуры соответственно С- и Р-структуры. Очевидно, что С≥Р и все остальные структуры (из определяемого этими структурами класса эквивалентности) будут всегда находиться между С и Р.
Из этого следует, что структурные предположения, не входящие в указанное множество Sg, могут быть игнорированы без каких-либо потерь для множества анализируемых синтезированных структурных предположений.
Процесс синтеза структурных предположений КП можно проводить различными способами в зависимости от ограничений, накладываемых консультантом на начальную структуру КП.
Во-первых, если консультант считает, что все связи между функциональными компонентами, заданными в начальной структуре, «жесткие», т. е. удаление какой-либо связи повлечет за собой коренное изменение в функциональной принадлежности начально определенных агрегатов компонент проблемы, то процесс синтеза новых структурных предположений необходимо проводить в рамках выделенного класса эквивалентности, соответствующего начальной структуре. В этом случае механизм синтеза структурных предположений заключается в агрегировании либо в декомпозиции элементов начальной структуры КП.
Во-вторых, если консультант считает, что удаление связей возможно и даже необходимо, то процесс синтеза основывается на переходе из одного класса эквивалентности структурных предположений в другой, причем связи можно и удалять и добавлять.
Для правильного понимания физического смысла таких понятий, как «удаление связей», «добавление связей», «агрегирование и декомпозиция элементов» и т. д., необходимо уяснить одно из центральных понятий структурного синтеза — поведение КП, которое описывается следующим образом:
— определяется множество переменных, через которые наблюдается КП — множество V (например, множество функциональных компонент, необходимых для функционирования КП);
— каждой переменной задается определенное состояние из множества состояний данной переменной. Совокупность состояний множества переменных — множество X (например, конкретные реализации функциональных модулей);
— на множестве V определяется функция f, ставящая в соответствие каждой переменной (функциональной компоненте) определенное состояние (конкретную реализацию) ;
— определяется множество агрегатов состояний А (в данном случае — множество возможных конфигураций консультируемой проблемы);
— вводится отображение b, ставящее в соответствие каждому агрегату состояний некоторое число их [0, 1], в данном случае — назначение каждой конфигурации консультируемой проблемы
определенной вероятности (если сложно выделить приоритеты различных конфигураций КП, то возможные конфигурации принимаются равновероятными).
Описав таким образом поведение КП, нетрудно проследить качественные изменения, происходящие в процессе синтеза новых структурных предположений.
В качестве исходных данных для процедур синтеза имеется начальная структура КП, а также сформулированное описанным способом поведение КП. Используя процедуры генерации, можно получить множество новых структурных предположений в рассматриваемой проблеме и оценить эти сгенерированные структурные предположения.
Для проведения оценки необходимо выяснить, как соотносятся эти сгенерированные структурные предположения с начальным поведением проблемы. Предлагается использовать структурное предположение (совокупность подмножеств множества переменных или функциональных модулей КП) в качестве некоторой маски, накладываемой на начальное поведение КП (множество реализаций рекомендаций) для получения нового поведения, соответствующего сгенерированному структурному предположению. Далее эти оба поведения (новое и начальное) можно сравнить по множеству агрегатов состояний А и значению вероятностей появления данного конкретного агрегата в поведении КП, определенном структурным предположением. Естественно, новое поведение, соответствующее сгенерированному структурному предположению, может иметь агрегаты состояний (возможные конфигурации проблемы), которые не были описаны в начальном поведении. В этом случае к рассмотрению этих агрегатов состояний необходимо подойти с особой внимательностью, и если полученные агрегаты состояний представляют собой допустимые конфигурации, то целесообразно включить эти агрегаты состояний в начальное поведение и последующие итерации проводить уже с модифицированным начальным поведением. Таким образом, структура и начальное поведение определяют поведение КП, имеющей эту структуру. Следовательно, одним из критериев выбора структуры КП может являться факт сохранения начального поведения КП для сгенерированного структурного предположения. Сохранение означает совпадение у начального и нового поведения агрегатов состояний и значений вероятностей появления этих агрегатов.
В этом случае структурные предположения, полученные в результате первой итерации и сохранившие начальное поведение, выбираются в качестве начальных структур для последующей итерации и т. д.
В конкретных реализациях сформированных рекомендаций, естественно, кроме критерия выбора структур для последующих итераций используется и ряд других критериев, например минимизация количества подпроблем в структуре и т. п.
Учитывая тот факт, что совокупность структурных предположений образует решетку, можно определить направление синтеза новых структурных предположений.
С чисто практической точки зрения наиболее интересным является синтез структурных предположений в рамках определенного класса эквивалентности. Как правило, консультант считает свою модель КП (начальное поведение и структуру) «жесткой», т. е. установленные им связи (отношения между состояниями переменных) неизменными. На самом деле, начальная структура в большинстве случаев избыточна и содержит различного рода противоречия. Для того, чтобы корректно задать начальное поведение и структуру КП, необходимо на первом шаге промоделировать исходное структурное предположение. Используя метод интерпретирующего структурного моделирования, можно выделить компоненты связанности в проблеме, проверить структуру КП на достижимость переменных, определить уровни иерархии КП и т. д. Только после проведенного таким образом анализа начальной структуры можно приступать к синтезу новых структурных предположений КП.
Например, формируя рекомендации для проектирования системы документирования, на вход которой поступает информация от других систем, и необходимо сформировать на выходе этой системы описания свойств, спецификацию компонент в виде таблицы, а также построить структурную схему. Представим, что состояние информации в системе описывается четырьмя переменными V = (v1, v2, v3, v4):


Пусть в результате предварительного анализа было получено требуемое поведение системы, представленное табл. 9.1.
Таблица 9.1

Появление каждого агрегата в этом поведении принимается равновероятным с вероятностью, равной 0,2.
Пусть в качестве начальной структуры выбрана структура вида
S0=(v1, v2, v3, v4).
Это означает, что S0 состоит из одного элемента и все переменные попарно связаны. Далее, применяя процедуры декомпозиции данной структуры на подсистемы, получаем новые структурные предположения.
В соответствии с начальным поведением для каждой синтезированной структуры вычисляются поведение, а также степень отличия вычисленного поведения от начального. Например, для структур

вычисленное поведение совпадает с начальным и степень отличия равна нулю. Взяв эти структуры в качестве исходных для последующих итераций синтеза и применив процедуру декомпозиции, получаем множество структур, в которых изменились связи между переменными по сравнению с исходными структурами. Для полученных структур также вычисляется поведение и сравнивается с исходным.
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 |


