книги / Теория и методы решения многовариантных неформализованных задач выбора(с примерами из области сварки)
..pdfальтернатив (множество способов, материалов, оборудования и т.д.). В связи с этим в данной работе за основу моделирова ния были приняты таблицы соответствий.
Ниже приведены основные сведения об этих таблицах и их применении по материалам работ [3, 19-21, 36, 88].
Таблицы соответствий (ТС) получили свое название в связи с тем, что они отражают соответствия между множе ством возможных решений и множеством значений условий, влияющих на выбор этих решений. Схематично структура и вид ТС изображены на рис. 9.
Множество условий существо Множество возможных решений вания решений
|
{ У и У г ,- ■■)>»,} |
Х = |
{ Х и Х 2>...Х „ } |
|
|||
|
(область отправления) |
|
|||||
(область прибытия). |
|
||||||
Связь между условиями |
|
||||||
|
|
|
|
||||
|
|
|
и решениями |
|
|
||
|
|
|
(матрица значений) |
|
|||
|
|
|
а |
|
|
|
|
Возможные |
Условие 1 |
Условие 2 |
Условие п |
|
|||
решения |
X , |
|
х 2 |
|
х„ |
|
|
1 2 3 4 1 |
2 3 4 5 • • • • 1 2 3 4 |
||||||
|
|||||||
Решение 1у \ |
1 1 |
|
1 |
1 |
1 1 |
|
|
Решение2у 2 |
1 |
|
1 |
|
1 |
1 |
|
• |
|
|
|
|
|
|
|
• |
|
|
Значения соответствий |
|
|
||
|
|
|
|
|
|
||
Решениету„, |
1 |
1 |
1 |
|
1 |
1 |
|
|
|
|
б |
|
|
|
|
Рис. 9. Общая структура таблицы соответствий Т (X , |
У): |
|
|||||
а - области ТС; б - |
общий вид ТС, обозначения параметров |
|
|||||
|
|
и значений параметров |
|
|
|
Как видно из рисунка, ТС состоит из трех областей: об ласти прибытия, области отправления и матрицы соответствий. Левую часть таблицы занимает область прибытия - множество
возможных решений, обозначаемое как Y - {у\, у2, ..., ут}. На пример, если с помощью ТС моделируется задача выбора сварочного автомата, то в область прибытия помещают пере чень типов автоматов, из которых по условиям задачи воз можен выбор. В каждую строку записывают одно решение
и(или) присвоенный ему коду с числовым индексом.
Вправой верхней части ТС находится область отправ ления - множество условий, определяющих выбор того или иного решения, обозначаемое как Х= {X j, Х2, ..., Х„}. Она со стоит из двух строк. В первой записывают названия и (или) коды условий, то есть перечень Х\, Х2и т.д. Во второй строке для каждого условия записывают значения и (или) коды воз можных значений данного условия. Например, если в ТС на рис. 9, б в качестве условия 1 (Ari) принято номинальное зна чение сварочного тока автомата, то при выборе решения не обходимо учитывать конкретные значения /ном (например, 350, 500, 630, 1000 А). Кодам значений условий присваивают обозначение х с двойным числовым индексом: первое число
-код условия, второе - порядковый номер значения данного условия в ТС. В общем случае каждое условие может прини мать два или несколько значений - Хк = (х*ь х*2 ...}. Для уп рощения записи в ТС значения условий обычно обозначают просто цифрами 1, 2, 3 (вторым индексом) для каждого условия (см. рис. 9, б).
Вцентральной части таблицы - матрице соответст вий - показывают наличие или отсутствие связей между зна чениями условий и решениями. Клетки матрицы заполняют единицами или нулями по следующему правилу: если неко торое решение у, существует при значении параметра х*ь то на пересечении соответствующих строки и столбца записы-
вают единицу, в противном случае ставят нуль. Нули, как правило, в таблицу не записывают, и соответствующие им клетки оставляют пустыми.
В дополнение к сказанному следует иметь в виду, что
условия выбора решений X j, Х 2 |
по существу являются не |
|
зависимыми переменными, |
или |
входнъши параметрами, |
а возможные решения у \, у2 |
- |
выходными параметрами. |
Эти термины общеприняты в теории моделирования и по этому также будут использоваться в дальнейшем изложении.
Методика составления ТС, независимо от содержания решаемой задачи, следующая:
1. На основе анализа задачи и конкретных условий ее решения формируют область прибытия ТС в виде перечня возможных решений, которые записывают в левый столбец таблицы и кодируют к гку\,у2, Последовательность распо ложения решений значения не имеет.
2. На основе анализа возможных решений и факторов, влияющих на выбор каждого из них, определяют множество X основных и существенных условий, которые записывают в первую верхнюю строку ТС и кодируют как Х \ , Х 2, По следовательность расположения условий (входных парамет ров) также не имеет значения. Однако важно, чтобы парамет ры были независимыми друг от друга, то есть не коррелировались между собой.
3. Для каждого условия X определяют множество воз можных его значений, которые записывают во вторую строку области отправления под этим условием и обозначают по рядковыми номерами 1, 2, 3,... Если условие (параметр) име ет числовые значения, их рекомендуется располагать в порядке возрастания чисел, а если не числовые (например, род тока - постоянный или переменный), то расположение значений в ТС принимается произвольным.
4. Для каждого решения у, области прибытия вj -й стро ке матрицы соответствий записывают единицы в клетках, соответствующих значениям (столбцам) условий Xt , при ко торых_/-е решение существует. Остальные клетки оставляют пустыми.
Полученная таблица считается предварительной, так как
еенеобходимо проанализировать и определить, требуется ли
еедоработка - так называемая нормализация. Последняя сво дится к следующим преобразованиям:
а) из таблицы исключают безразмерные параметры, то есть параметры (условия), все столбцы которых заполнены единицами;
б) одинаковые столбцы параметра, если таковые имеют ся, объединяют в один столбец данного параметра и припи сывают ему все множество эквивалентных значений;
в) строки с одинаковыми соответствиями по всем вход ным параметрам объединяют в одну строку.
Чтобы пояснить сущность нормализации, следует по знакомиться с несколькими специальными терминами, при меняемыми по отношению к параметрам ТС, и их значения ми. Упомянутые термины можно проиллюстрировать с по мощью таблицы Т (Л", У) (табл. 6).
Значения параметров называют безразличными относи тельно таблицы Т(Х, Y), если они имеют соответствие со всей областью прибытия ТС (все клетки их столбцов заполнены единицами). В табл. 6 безразличными являются значения хц, *32» *зз, * 5 5 и х72. Если все столбцы входного параметра явля ются безразличными, то и сам параметр тоже называют без различным относительно данной таблицы. В табл. 6 имеется один безразличный параметр - Х 3.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица 6 |
|||
|
|
|
Исходная таблица соответствий Т (X, |
Y) |
|
|
|
|
|||||||||||||
Y |
х , |
|
* 2 |
|
* 3 |
|
|
* 4 |
|
|
|
Х ъ |
|
|
|
Х е |
|
|
Х п |
|
|
|
1 2 |
3 |
1 |
2 |
1 |
2 |
3 |
1 |
2 |
3 |
1 |
2 |
3 |
4 |
5 |
1 |
2 |
3 |
1 |
2 |
3 |
У\ |
1 |
1 1 |
|
1 1 1 |
1 |
|
1 1 1 1 |
|
1 1 1 |
|
|
1 |
|
||||||||
У2 |
1 |
|
|
1 |
1 |
1 |
1 |
1 |
|
|
|
1 |
|
|
1 |
|
|
1 |
|
1 |
|
Уз |
1 |
|
1 |
1 |
1 |
1 |
1 |
|
1 |
|
1 |
|
1 |
|
1 |
1 |
1 |
|
|
1 |
|
У4 |
1 |
1 |
1 |
|
1 |
1 |
1 |
|
|
1 |
|
1 |
|
|
1 |
1 |
1 |
|
|
1 |
|
У5 |
1 |
1 |
|
1 |
1 |
1 |
1 |
|
|
1 |
|
1 |
|
|
1 |
|
|
1 |
|
1 |
|
Уб |
1 |
|
|
1 |
1 |
1 |
1 |
1 |
|
|
|
|
|
|
1 |
|
|
1 |
|
1 |
|
У7 |
1 |
|
1 |
|
1 |
1 |
1 |
|
1 |
|
|
|
|
|
1 |
1 |
1 |
1 |
|
1 |
|
|
Примечание: Хъ - |
безразличный параметр; Х7- |
транзитный пара |
||||||||||||||||||
метр; *зь *3 2 , *зз» *55»* 7 2 |
- безразличные значения параметров; *я, *7 1 , |
||||||||||||||||||||
*73 - |
неопределенные значения параметров; *,, и *13; *51 и *53; |
*6, и *62; |
|||||||||||||||||||
*7 i и * 7 3 - эквивалентные (попарно) значения параметров. |
|
|
|
|
|||||||||||||||||
|
Значения параметров называют неопределенными отно |
||||||||||||||||||||
сительно таблицы Т(Х, |
У), если они не имеют соответствия |
ни с одним из выходных параметров области прибытия (все клетки их столбцов пустые). В рассматриваемой ТС к ним относятся значения параметров *54, х7\ и *73.
В исходных ТС могут встречаться входные параметры, два или несколько значений которых имеют одинаковые со ответствия с параметрами области прибытия, то есть их столбцы одинаково заполнены единицами и нулями. Такие значения в пределах одного параметра, называются эквива лентными относительно таблицы Т(Х, У). В табл. 6 значения параметров *ц и *)3; *31, *32 и *33, х5] и * 5з; * 6 1 и *62 , * 7 1 и *73 являются эквивалентными в пределах параметров со ответственно Х\9Х3, Х5, Хб и Х7. Но значения параметров х2\ и *6 i или * 5 5 и *72, хотя и имеют соответственно одинаковые
столбцы в матрице значений ТС, эквивалентными между со бой не являются, так как относятся к разным входным пара метрам.
Параметр называют транзитным, если он имеет только без различные и неопределенные значения (параметр^ в табл. 6).
Все остальные виды входных параметров, кроме безразлич ных итранзитных, называют параметрами-разделителями.
Взаключение рассмотрения терминологии, относящейся
кТС, еще раз обратим внимание на привязку терминов к пара метрам и их значениям. Транзитными и разделителями могут быть только параметры, эквивалентными—только некоторые зна чения одного параметра, а безразличными и неопределенными - как отдельные значения параметров, так и параметры в целом.
Втабл. 7 показана нормализованная ТС, полученная из исходной табл. 6. В нормализованную таблицу не включен безразличный параметр Х3 (обратите внимание, что безраз личные значения параметров х55 и х12 в нормализованной таблице остались). Эквивалентные значения параметров Х\, Х5, Х6 и Х7объединены в один столбец для каждого парамет ра с указанием во второй строке области отправления, какие именно значения объединены.
|
|
|
|
|
|
|
|
|
|
Таблица 7 |
|
|
Нормализованная таблица соответствий Т (X, |
Y) |
|||||||||
Y |
X |
2 |
Хг |
|
Ха |
|
Хь |
|
*6 |
|
Х-, |
|
1,3 |
I |
2 |
1 2 |
3 |
1,3 2 4 |
5 |
1,2 |
3 |
1,3 2 |
|
У \ |
1 |
|
1 |
|
1 |
1 |
1 1 |
1 |
1 |
|
1 |
У2 |
|
1 |
|
1 |
1 |
|
1 |
1 |
|
1 |
1 |
Уз |
1 |
1 |
1 |
1 |
1 |
|
I |
1 |
1 |
|
1 |
У * |
|
1 |
|
|
1 |
1 |
1 |
1 |
|
1 |
|
Уь |
1 |
|
|
1 |
|
1 |
1 |
1 |
|
1 |
1 |
Уб |
|
1 |
|
1 |
1 |
|
|
1 |
|
1 |
1 |
Уп |
|
1 |
1 |
|
1 |
|
|
1 |
1 |
1 |
1 |
Нормализованная таблица является моделью постановки задачи выбора в общем виде. По ней можно найти решение любой конкретной задачи, исходные данные которой опреде ляются некоторой комбинацией значений каждого из выход ных параметров (условий, влияющих на выбор). Если число условий равно п и каждое условие имеет kt значений (при / > 2), то число возможных комбинаций исходных условий составит
N = kt к2 |
к„, |
(9) |
то есть оно равно прямому произведению множеств значений всех параметров таблицы.
Нормализованные таблицы без специального анализа нельзя считать оптимальными, так как они могут иметь ряд недостатков, присущих любому эмпирическому документу,
аименно [20]:
-недостаточность информации, что не позволяет вы брать из множества возможных решений, одно или огово ренный минимум допустимых решений;
-избыточность информации, что приводит к получению одинаковых решений при различных условиях;
-большой объем таблиц соответствий в связи с наличи ем в них избыточных данных и нулевых значений условий (отсутствие решения при данном значении условия);
-появление множества дублирующих параллельных пу тей выбора решений и длительность этого процесса в связи
свозможной избыточностью информации и др.
Перечисленные выше и другие недостатки ТС в их ис ходном варианте в большинстве случаев не могут быть обна ружены визуально. Их выявляют с помощью специальных методов анализа связей между множествами условий и ре^ шений. Это особенно необходимо при сложных и больших
по объему ТС, в которых общее число вариантов задания ус ловий выбора решений может достигать десятков, сотен ты сяч и даже миллионов.
2.3. Граф-схемы алгоритмов выбора решений
Наиболее удобным математическим аппаратом для ана лиза и оптимизации связей, для выявления и устранения пе речисленных выше недостатков исходных ТС являются ме тоды теории графов [93], используя которые строят и анали зируют граф-схемы алгоритмов выбора решений.
Поясним сущность и применение граф-схем, пользуясь терминологией теории графов.
Граф-схема представляет собой геометрическое построе ние в виде расширяющегося книзу дерева, состоящего из вер шин и соединяющих их линий, называемых дугами (рис. 10). Из каждой вершины графа исходит вниз не менее двух дуг. На чальная (верхняя) вершина графа называется его корнем. Вер шины, находящиеся на оконечностях ветвей дерева, называются конечными, а часть графа, не имеющая промежуточных вер шин, - кустом. Путь в графе - это последовательность дуг, в которой начальная вершина последующей дуги совпадает с конечной вершиной предыдущей дуги.
Рис. 10. Общий вид граф-схемы: Х \ - корень (начальная вершина); Х г X i0, Х„\, Х„2 - промежуточные вершины; у \ + у 4; у„, - конечные вершины
Процесс построения граф-схем называется синтезом. По форме синтез граф-схемы состоит в ее пошаговом наращива нии, начиная от начальной вершины (корня) графа. На каж дом шаге производится отождествление добавляемого эле мента графа —вершины или дуги - с определенными элемен тами базовой таблицы соответствий. Вершины графа отожде ствляют с параметрами ТС, а дуги —со значениями парамет ров. Процесс построения заканчивают, когда каждой конеч ной вершине граф-схемы будут приписаны некоторые реше ния из области прибытия ТС или решение у = 0, что означает отсутствие решения. Применяются определенные правила отождествления элементов, графического изображения вер шин и идентификации, то есть присвоения названий или ко дов вершинам и дугам на граф-схеме.
Методика синтеза граф-схем алгоритмов выбора решений была опубликована в 60-70-х годах прошлого века в научных трудах Г.К. Горанского и его сотрудников из Института техни ческой кибернетики АН Белоруссии [2, 19, 20, 88], в учебной литературе не дублировалась и знакома только узкому кругу специалистов. Поэтому целесообразно изложить ее с подробно стями, достаточными для практического применения.
Рассмотрим пример, в котором за исходную базовую модель принята таблица соответствий (табл. 8).
Процесс построения граф-схемы можно представить
ввиде ряда процедур:
-отождествление начальной вершины граф-схемы с об ластью прибытия ТС и ее идентификация;
-выбор параметра для построения куста граф-схемы;
-построение куста-распознавателя;
-отождествление конечных вершин куста с подмноже ствами решений области прибытия ТС и их идентификация;
Таблица 8 Таблица соответствий для построения граф-схемы
Y |
|
X , |
|
Х 2 |
|
X ] |
|
|
|
Х 4 |
|
|
Х 6 |
|
х 7 |
|
1 |
2 |
1 |
2 |
1 |
2 |
3 |
4 |
1 |
2 |
3 |
1 |
2 |
1 |
2 |
V) |
1 |
|
1 |
1 |
1 |
1 |
|
1 |
1 |
|
1 |
1 |
1 |
1 |
|
Уг |
|
1 |
1 |
1 |
|
|
1 |
|
|
1 |
|
||||
У.1 |
|
1 |
|
1 |
|
1 |
|
1 |
1 |
1 |
1 |
|
|||
У4 |
1 |
|
1 |
|
|
|
|
|
|
1 |
|
||||
.У|5 |
1 |
1 |
|
1 |
|
1 |
|
|
1 |
1 |
|
1 |
|
1 |
|
Уь |
|
1 |
|
t |
|
|
|
1 |
|
|
1 |
1 |
1 |
|
|
2 L |
|
1 |
1 |
|
|
|
|
1 |
|
|
1 |
|
1 |
|
-составление частичных таблиц, соответствующих по лученным конечным вершинам куста;
-окончание построений;
-идентификация конечных вершин граф-схемы.
Процедура 1. Отождествление начальной вершины с областью прибытия ТС н ее идентификация. Построение граф-схемы алгоритма выбора решений на основе таблицы соответствий начинают с начальной вершины, которую ото ждествляют со всей областью прибытия ТС. Это единствен ная из вышеперечисленных процедур, выполняемая фор мально и один раз для каждой граф-схемы.
Графически это изображают в виде прямоугольника с соответствующей записью, варианты которой показаны на рис. 11.
а |
б |
в |
Рис. 11. Варианты записи идентификаторов начальной вершины на граф-схеме: а - полная запись; б, в - сокращенная запись; Х п - параметр, с которого начинается построение куста