=Рi*. В противном случае
может быть определено на основе рассмотренного выше оператора КSt при J+ = Jτi*.
В целом процедура определения минимального дополнения не-доопределенного ∆J- до корректорного может быть представлена как выполнение оператора:
КJ : {J-, τ, Пr }![]()
.
Таким образом, выполнение оператора КОN может быть представлено как последовательное выполнение составляющих его операторов КL, КSt, КJ.
В заключение остановимся на способах формирования последовательности разрешения связей {Фi}
, определяющих в совокупности замкнутую корректную систему. Данная задача заключается в разложении {Фi}
на упорядоченную совокупность замкнутых систем минимальной размерности. Так, например, на рис. 10.20 показана замкнутая система из шести связей с шестью неизвестными переменными.

Рис. 10.20. Разложение корректной системы связей модели на упорядоченную совокупность замкнутых систем минимальной размерности.
Ее разрешение может быть сведено к разрешению вначале системы С1 (из двух связей с двумя переменными), далее систем С2 и С3 (каждая из которых состоит из одной связи и одной переменной) и, наконец, системы С4 (из двух связей с двумя переменными).
В настоящее время методы и алгоритмы выделения из {Фi}
упорядоченной совокупности замкнутых систем (называемых также минимально-замкнутыми системами) являются достаточно разработанными. Наиболее эффективным из них, на наш взгляд, является алгоритм, в основе которого лежит выделение на графе модели сильносвязанных компонент. Верхняя оценка трудоемкости реализации данного алгоритма является линейной функцией от размерности исходного графа. Выполнение этого алгоритма, которому должно предшествовать выполнение оператора КОN, далее будем определять оператором КFOR.
Итак, в рассмотренном разделе показано, что для разработки методов и алгоритмов формирования консультационных модулей является целесообразным представление структуры используемых математических моделей в виде сети, интерпретируемой двудольным неориентированным графом. В таком случае ряд процедур формирования КМ может быть формально обобщен таким образом, что выполнение каждой из этих процедур сводится к решению единой для всех них задачи. В основе решения этой задачи лежит анализ на полноту и взаимозависимость компонент некоторого вектора J, формируемого при рассмотрении той или иной процедуры специальным образом. Введенный в рассмотрение оператор КОN позволяет упорядочить информацию, получаемую в процессе такого анализа, и дать ей соответствующую практическую интерпретацию в зависимости от того, какая из процедур формирования выполняется на базе этого оператора в текущий момент времени.
10.1.3. Формирование среды обмена информацией между КМ (при вертикальном взаимодействии)
10.1.3.1. Постановка задачи вертикального согласования
Формирование среды взаимодействия КМ производится после того как выявлены КМ, между которыми имеются информационные связи и, соответственно, результаты автономного функционирования которых должны быть согласованы. При этом подразумевается, что выявлены взаимосвязанные параметры, описывающие консультационные операции, выполняемые этими КМ. Данным параметрам при определении горизонтальных связей, в частности, соответствуют множества переменных ФSt (см. п. 10.1.2.2). Из них ЛФР, ми выделяются подмножества USt
ФSt, описывающие те параметры, по которым непосредственно предполагается проводить согласование результатов автономного функционирования взаимодействующих КМ. При определении вертикальных связей требующими согласования параметрами являются: для КМ более высокого уровня параметры z, которым соответствуют переменные v, содержащиеся в используемой этим модулем модели, а для КМ более низких уровней параметры, по которым формируются рекомендации в процессе автономного функционирования этих модулей.
Среда взаимодействия КМ включает в себя две определяющие составляющие: модель, трансформирующую результаты автономного функционирования одних КМ в исходные данные для других и наоборот; методику обмена информацией между взаимодействующими КМ.
Определение первой из этих составляющих было описано в разделах 4 и 10.1.1. В частности, модель, позволяющая «пересчитать» результаты автономного функционирования одного КМ в исходные данные для другого, при их горизонтальном взаимодействии может быть определена в виде L0(J)\(L* L**) (где J =I* I**; I*, I** —входные переменные для расчетных моделей рассматриваемой пары КМ, a L*, L** — индексы элементарных моделей, составляющих эти расчетные модели; L0(J) — индексы всех вычисляемых отношений исходной модели консультируемой проблемы). При вертикальном взаимодействии в роли такого рода модели выступает модель идентификации. Таким образом, при формулировании среды взаимодействия КМ остается решить вопрос о методике обмена информацией между взаимодействующими КМ. Выбор такой методики, как и вообще методик при формировании КМ, является в общем случае прерогативой ЛФР. Данные методики отражают различные правила поиска компромисса. Одна из таких методик может быть проиллюстрирована рис. 10.21.

Рис. 10.21. Пример процедуры согласования результатов
автономного функционирования КМ
Здесь в координатах Кα, Кβ (где Кα, Кβ — критерии оценки рекомендаций, формируемых некоторыми α-м и β-м консультационными модулями) в процессе поиска компромисса строится множество парето-оптимальных рекомендаций методом уступок. Причем каждая рекомендация из этого множества представляет собой результат автономного функционирования одного из КМ при фиксированных значениях реакций от другого модуля. Эти значения определяются данным модулем из условий минимизации собственных вынужденных потерь, т. е. отклонений от тех значений критерия (К*), которые могли бы быть им получены, если бы отсутствовало взаимодействие с другим КМ. В процессе поиска компромисса КМ функционируют и порождают парето-оптимальные точки параллельно, обмениваясь информацией о возможных уступках в значениях выбираемых параметров и оценивая каждый раз, во что выливаются эти уступки. Наиболее целесообразными, на наш взгляд, являются методики обмена информацией между КМ, когда эта информация представляет собой не «точечные» значения согласуемых параметров, а множества возможных значений этих параметров. В этом случае функционирование каждого КМ происходит в условиях неопределенности. К работе в таких условиях аппарат выбора сформированных рекомендаций должен быть специально приспособлен.
В ряде случаев итерационный обмен «точечными» значениями согласуемых параметров не дает требуемый результат. Таким случаем, в частности, является обмен информацией между вертикально взаимодействующими консультационными модулями в процессе согласования результатов их автономного функционирования. Рассмотрим эту задачу и предложим метод обмена информацией в процессе согласования результатов автономного функционирования вертикально связанных КМ, основанный на том, что информация от КМ нижнего уровня отражает множественность возможных формируемых рекомендаций этих модулей.
Необходимость проведения вертикального согласования порождается наличием вертикальных информационных связей между консультационными операциями. Такого рода связи согласно п. 10.1.2 могут быть выделены путем формирования тандемных моделей. При этом согласованию подлежат результаты выполнения, с одной стороны, некоторой операции Sij, а с другой — совокупностей операций, объединения расчетных моделей которых образуют с Mij тандемную модель. Каждая такая пара представляет собой уровни детализации консультируемой проблемы по параметру консультируемой проблемы, соответствующему переменной — признаку одноименности рассматриваемой тандемной модели. Причем эта же модель, учитывая приведенную в п. 10.1.2.3 структуру тандемных моделей, может входить в состав более общей модели, но уже с другим признаком одноименности, где Мij является частью одного из ее уровней и т. д. Таким образом, если определена некоторая N-уровневая модель
τМ (אּ) = {τМ1(אּ) , τМ2(אּ), ..., τМN(אּ) },
то каждому ее уровню может быть поставлена в соответствие совокупность консультационных операций, образующих уровень детализации консультируемой проблемы по параметру אּ:
τМi(אּ))
Si (i= 1, 2,...,N). (10.79)
При этом состав Si определяется консультационными операциями, вертикально связанными с операциями из Si-1, и т. д.
Допустим, что операция верхнего уровня (S1≡S1,1) носит оптимизационный характер и сводится к решению задачи скалярной оптимизации по некоторому критерию К. Тогда признак одноименности рассматриваемой модели определяется этим критерием:
|
Из за большого объема этот материал размещен на нескольких страницах:
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 |


