I = {хij, zij, yij, К-α}, Т = кα, кα ,
К-α = Кij (см. рис. 10.8) (для операций смешанного статуса вместо yij следует принять yij′) сформировать расчетную модель, а затем модель оптимизации и выбора рекомендаций.

Рис. 10.8. Структура модели формирования информации для формирования рекомендаций на базе минимизации (максимизации) одной из компонент вектора критериев
При формировании расчетных моделей по заданным (I, Т) также может использоваться оператор КОN, в частности, для анализа корректности формируемой задачи. При оптимизационном статусе выполняемой операции возможны следующие случаи:
1) если אּ = J0, Т
σ(L0, J0), то это свидетельствует о корректности сформулированной задачи оптимизации, когда выбранные критерии и заданные ограничения согласуются с составом варьируемых переменных, в роли которых выступают компоненты вектора формируемых рекомендаций уij;
2) если אּ = J-, или אּ = J0, и Т
σ (L0, J0), то это свидетельствует о несогласованности состава вектора уij с выбранным критерием оптимизации. В данном случае необходимо расширить число варьируемых переменных. Данное расширение ∆(J-), в силу его неоднозначности, должно производиться под управлением ЛФР, ов. В то же время, исходя из условия минимизации размерности формируемой задачи оптимизации, наиболее целесообразным является определение
;
3) если אּ=J+, то это свидетельствует о взаимозависимости компонент хij, zij, yij. Поскольку статус операции был определен ранее как оптимизационный, то взаимозависимость хij, zij, исключается, что свидетельствует о взаимозависимости компонент yij. В этом случае необходимо сокращение числа варьируемых переменных, что можно сделать, используя такую генерируемую оператором КОN характеристику, как ФSt, представляющую собой перечень взаимозависимых переменных. Выделяемый ЛФР, ом из ФSt перечень переменных — USt определяет выводимые из числа варьируемых компоненты yij, значения которых далее должны определяться расчетным путем.
Теперь рассмотрим решение задачи по определению информационных связей между консультационными модулями на базе использования оператора КОN. Для определения связи между консультационными модулями, выполняющими операции Sij и Sкl, необходимо определить вектор J в виде J=Iij
Iкl, и если к אּ(J)=J-
J0, то информационная связь между рассматриваемыми операциями отсутствует. В противном случае данные операции находятся в информационном взаимодействии и результаты их автономного выполнения требуют согласования. Число St(J+) определяет степень их информационной связности, a ФSt (J+) — состав «общих» переменных, используемых при выполнении этих операций.
При этом каждый из вариантов USt(J+), генерируемых оператором КОN, определяет параметры из ФSt(J+), которыми должны обмениваться взаимодействующие операции. Конкретный из этих вариантов должен выбрать ЛФР.
Итак, выполнение рассмотренных процедур формирования консультационных модулей может быть обеспечено путем реализации введенного оператора КОN. Выходные переменные этого оператора, интерпретированные каждый раз в зависимости от выполняемой функции соответствующим образом, представляют ЛФР, ам информацию, обеспечивающую выполнение ими работ по формированию консультационных модулей для автоматизированного выполнения возлагаемых на них операций.
10.1.2.3. Постановка основной задачи, решаемой при формировании консультационных модулей для их автономного функционирования
Сформулируем задачу, решение которой на базе математической модели сетевой структуры, интерпретируемой двудольным неориентированным графом, обеспечивает получение выходных переменных оператора КОN.
Введем в рассмотрение граф G(Ф, σ), получающийся из информационного графа исходной модели путем удаления из него вершин — переменных, соответствующих компонентам вектора J. Подмножества этого графа, определяемые вершинами-отношениями с индексами из L и связанными с ними вершинами-переменными из σ, будем обозначать через G (L), L
[1, N].
Введем также в рассмотрение дефицит множества вершин
Ф (L) = {Фi}
двудольного графа G (L), обозначая его через d(G (L)) и определяя в виде:
d(G(L)) = |Ф (L)|- |σ (L, J)|,
или с учетом взаимооднозначного соответствия между Ф (L) и L:
d(G(L)) = |L|- |σ (L, J)|,
Покажем, что реализация оператора КОN в целом может быть сведена к нахождению
[1, N], на котором значение дефицита достигает максимума:
= arg
d(G(L)). (10.32)
Действительно:
1) если d(G(
))=0, то это свидетельствует о том, что условие (10.27) не имеет места при
, а при L =
соблюдается условие (10.25). В данном случае можно сделать вывод о корректности J, т. е.
אּ (J) = J0; L0 =
; σ (L0, J0) = σ (
, J) ;
2) если d (G (
)) < 0, то это свидетельствует о недоопределенности J, т. е. אּ (J) = J-. При этом полученная система {Фi (Pi)} — является минимально недоопределенной и можно утверждать, что минимальное дополнение J- до J0 содержит — d(G (
)) элементов, т. е.
|
|= -d(G(
)).
Конкретное определение элементов
в силу их неоднозначности должно производиться ЛФР, ом. Причем их правильное задание должно приводить к увеличению значения d(G (
)), что и может быть положено в основу оценки целенаправленности действий ЛФР, ов и формирования им «подсказки»;
3) если d (G (
)) > 0, то это свидетельствует о переопределенности вектора J, т. е. אּ (J) = J+:
St (J+) = d (G (
));
ФSt (J+) = J ∩ Р (
).
При этом в состав USt(J+) вводятся элементы, уменьшающие значение d(G (
)). Ввиду неоднозначности элементов множеств
{USti (J+)}i=1,2,…,
, конкретное их определение должно производиться ЛФР, ами. Правильность их действий, а также формирование в случае необходимости для них «подсказки» определяются по изменениям величины St (J+).
Таким образом, путем решения задачи (10.32) возможно определение характеристик вектора J, заданного тем или иным образом. Соответственно, в основе оператора КОN, на который возлагаются функции по генерированию этих характеристик, лежит решение этой задачи.
Данная задача может рассматриваться как задача нахождения максимальных паросочетаний на двудольном графе.
В основе предлагаемого метода лежит условие, согласно которому множество одноименных вершин двудольного графа может быть разделено на два непересекающихся подмножества, на одном из которых (критическом множестве, возможно, пустом) функция дефицита достигает неотрицательного максимума, а на другом (множестве без дефицита) — функция дефицита всегда отрицательна.
Данное условие применительно к рассматриваемой задаче свидетельствует о том, что после выделения из множества вершин отношений информационного графа модели подмножества с индексами из
, на котором функция дефицита достигает неотрицательного максимума, на оставшейся части вершин функция дефицита всегда отрицательна. Тогда, обозначив через LN множество индексов вершин-отношений исходного графа (LN = {1, 2, ... Nm}), а через L* множество без дефицита — дополнение
до LN, полагая
|
Из за большого объема этот материал размещен на нескольких страницах:
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 |


