Научная статья на тему 'Рациональное упорядочение альтернатив в диалоге с ЛПР'

Рациональное упорядочение альтернатив в диалоге с ЛПР Текст научной статьи по специальности «Математика»

CC BY
159
38
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПЕРЕСТАНОВКА / ПОСЛЕДОВАТЕЛЬНОСТЬ СБОРКИ / ПРИНЯТИЕ РЕШЕНИЙ / ЛИНЕЙНЫЙ ПОРЯДОК / ЛПР / στ-РАЗЛОЖЕНИЕ / СООТВЕТСТВИЕ ГАЛУА

Аннотация научной статьи по математике, автор научной работы — Божко А. Н.

В работе обсуждается метод выбора рационального линейного порядка из набора допустимых альтернатив. Предлагается способ представления множеств перестановок высокой мощности в виде компактного набора частичных порядков, называемых στ-разложением. Несравнимые элементы разложения являются источником комбинаторного разнообразия допустимых альтернатив. Дополнительная порядковая информация, полученная от ЛПР, позволяет сократить пространство поиска лучшего линейного порядка и, за несколько итераций, получить лучшую альтернативу. Предложенная техника может быть использована для генерации рациональных проектных решений на стадии технологической подготовки производства.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Рациональное упорядочение альтернатив в диалоге с ЛПР»

НАУЧНОЕ ИЗДАНИЕ МГТУ ИМ. Н. Э. БАУМАНА

НАУКА и ОБРАЗОВАНИЕ

Эл № ФС77 - 48211. Государственная регистрация №0421200025. ISSN 1994-0408

электронный научно-технический журнал

Рациональное упорядочение альтернатив в диалоге с ЛПР

# 02, февраль 2013

Б01: 10.7463/0213.0531045

Божко А. Н.

УДК.67.02, 004.942, 519.178

Россия, МГТУ им. Н.Э. Баумана abozhko1@gmail .com

В проектной и производственной практике инженеров различной специализации часто возникает задача синтеза рационального линейного порядка. Она имеет очень простую формальную постановку. Дана совокупность линейных порядков Р=(Р],Р2,...,Р„}, определенных на одном множестве объектов X. Р представляет собой бесструктурное множество, у которого элементы Р1 не связаны никакими отношениями друг с другом. В задаче требуется выбрать из Р линейный порядок, который удовлетворяет системе представлений эксперта о разумной или непротиворечивой последовательности объектов, принадлежащих X (рис. 1). Следуя терминологической традиции, сложившейся в теории принятия решений, совокупность Р будем называть исходным множеством альтернатив (ИМА), а ее элементы Р^ - альтернативами.

Рис. 1. Постановка задачи

Множество задач этого типа приходится решать в процессе технологической подготовки машиностроительного производства. Приведем два важных примера. Первый из них относится к разработке маршрутного технологического процесса обработки детали.

Здесь множество X представляет собой объем обработки - совокупность технологических операторов, которые обеспечивают генерацию детали заданной геометрии и точности. Р -это множество технологически реализуемых последовательностей операторов (линейных порядков). Рор1 - лучшая последовательность в данной производственной ситуации.

Другой пример взят из практики механосборочного производства и связан с разработкой технологических процессов сборки. В этой задаче X- это множество деталей, а исходным множеством альтернатив служат все конструктивно реализуемые последовательности сборки, которые допускает изделие по условиям базирования, геометрической разрешимости и размерным связям [3]. Из данного множества требуется выбрать последовательность сборки, лучшую по соображениям технологического удобства или экономической целесообразности.

Упомянем две особенности задачи выбора рационального упорядочения, которые усложняют ее эффективное решение классическими методами исследования операций или теории принятия решений. Во-первых, высокая комбинаторная мощность исходного множества альтернатив, что делает затруднительным применение аппарата ординальной теории принятия решений. Во-вторых, латентная сложность каждой альтернативы, которая становится очевидной при любой попытке выразить свойство упорядочения числом (значением критерия) или набором чисел (вектором критериев). Рассмотрим метод генерации рационального упорядочения, который позволяет избежать парных сравнений многочисленных альтернатив и свободен от упрощений, неизбежных при любой попытке формализовать сложное качество при помощи критерия или вектора критериев.

Метод рационального упорядочения основан на так называемом от-разложении множеств, состоящих из линейных порядков. Подробное изложение необходимого математического аппарата изложено в [2]. В данной работе приведем краткое описание основных понятий, необходимых для понимания текста. В силу очевидного соответствия между линейными порядками и перестановками будем иногда пользоваться последним более кратким наименованием.

Обозначим через Л(Х) - множество всех отношений порядка на множестве X. Множество Л(Х) само является упорядоченным, в качестве отношения порядка на нем выступает теоретико-множественное включение. Максимальными элементами в Л(Х) служат линейные порядки на X и только они. В Л(Х) существует наименьший элемент -это дискретный порядок на X, в котором отсутствуют упорядоченные пары. Элементы Л(Х) будем обозначать через X и добавлять при необходимости различные нижние индексы.

Добавим к Л(Х) максимальный элемент 1, который не несет порядкового содержания, а представляет собой абстрактный элемент, необходимый для регуляризации этой структуры. Можно доказать (см. [4]), что доопределенное таким образом множество Л(Х) представляет собой решетку - алгебраическую структуру, замкнутую относительно операций решеточного пересечения и объединения. Введем обозначение Лп = Л(Х), \Х\ = п.

Пусть 8п - множество всех перестановок степени п (линейных порядков из п элементов), Б(8п) - его булеан. Известно, что булеан любого множества является решеткой [1]. Рассмотрим отображения а : Лп ^ Б(8п) и т : Б(8п) ^ Лп. Отображение а каждому упорядоченному множеству из Лп ставит в соответствие совокупность всех его линейных продолжений. В Б(8п) они представлены в виде перестановок. Будем считать, что образом максимального элемента решетки Лп служит наименьший элемент В^п) -пустое множество. Отображение т каждому элементу Р из В^п) сопоставляет частичный порядок т(Р) £ Лп, который представляет собой пересечение линейных порядков, принадлежащих Р. Пусть пустому множеству перестановок соответствует максимальный элемент в Лп, то есть т(0)=1 £ Лп.

Даже для относительно небольших значений п решетки 8п и Лп представляют собой очень громоздкие объекты, размеры которых стремительно растут с увеличением п. На рис. 2 показаны эти объекты и их взаимные отображения а и т для самой малой размерности, равной 2.

Рис. 2. Решетки 82 и Л2

Рассмотрим эти отображения на двух простых примерах. Пусть Р £ В^4) и Р = {1234, 1324, 1432}. Элементы из Р представляют следующие линейные порядки а1 = {1<2<4<3}, а2 = {1<3<2<4}, а3 = {1<4<3<2}. Найдем пересечение трех линейных порядков т(Р) = а1Па2Па3, т(Р) = {(1<2), (1<4), (1<3)}.

Если X е Л4 = {1<2, 3<4}, то о(Х) = {1234, 3412, 1342, 1324, 3124, 3142}.

В [2] показано, что отображения о и т обладают свойствами:

1. для любых А, В е Лп таких, что А < В выполняется о(А) > о(В);

2. для любых Р, Я е В^„) таких, что Р < R выполняется т(Р) > т(Я);

3. т(о(А)) > А для всех А е Л„;

4. о(т(Р)) > Р для всех Р е Б@„).

Пара отображений (о, т), для которой выполняются свойства 1 - 4, называется соответствием Галуа. Так как область значений и область определения отображений о и т являются решетками, то композиции отображений то и от являются операторами замыканий на Л„ и Б($>„) соответственно [1].

Элементы А е Л„, для которых справедиво т(о(А)) =А, называются то-замкнутыми. Элементы Р е Б(8„) с условием о(т(Р)) = Р - от-замкнутыми. Таковые порядки и перестановки будем именовать в дальнейшем просто замкнутыми.

Множество всех то-замкнутых элементов Л„ называется частным по замыканию оператора то и обозначается Л„ / то. Для этого множества справедливо соотношение Лп / то = т(В^„)).

Множество всех от-замкнутых элементов из В^„) называется частным по замыканию оператора от и обозначается В^„) / от. Для него справедливо соотношение В^„) / от = о(Л„). Множества Л„ / то и В^„) / от - антиизоморфные, а отображения о и т, действующие на них, взаимно обратные.

Любое частично упорядоченное множество есть пересечение некоторой совокупности линейных порядков, например множества всех линейных продолжений его самого. Поэтому каждый элемент из Л„ является то-замкнутым и Л„ = Л„ / то.

Частное В^„) / от имеет более сложную структуру. Замкнутыми элементами в нем являются такие множества перестановок, которые представляют собой линейные доупорядочения, порожденные некоторым частичным порядком. Пересечение любых двух замкнутых элементов, в свою очередь, является замкнутым и принадлежит частному В^„ ) / от. Так как о(1) = 0, то и наименьший элемент решетки В^„) - замкнутый.

На рис. 3 показана решетка В^3). Атомами этой решетки служат одноэлементные множества перестановок, которые на данном рисунке обозначены числами: 1 - (3,2,1); 2 -(2,3,1); 3 - (3,1,2); 4 - (1,3,2); 5 - (1,2,3); 6 - (2,1,3). Черные вершины обозначают замкнутые от-элементы В^3).

В [2] доказана несложная, но принципиально важная теорема, утверждающая, что любой элемент решетки В^„) можно представить в виде объединения от-замкнутых

элементов. Представление произвольного множества перестановок в виде объединения ат-замкнутых множеств будем называть ат-разложением. Например, 1,3,5 = 1,3 + 5 или 2,3,4,5,6 = 2,5,6 + 3,4,5 (см. рис. 3).

Поскольку решетка В^п) - атомарная, а любой ее атом представляет собой замкнутый элемент, то ат-разложение в общем случае может быть реализована несколькими разными способами. Например, 2,3,4,5,6 = 2,5,6 + 3,4,5=4,5,6+3,4+2=5,6+2,6+3,4 и др.

Рис. 3. Решетка В^3)

Разложение на ат-замкнутые подмножества дает наглядный и компактный способ представления таких чрезвычайно громоздких образований, которыми являются множества перестановок. Обратимся к примеру, показанному на рис. 4. На этом рисунке изображено множество перестановок Р и отмечено одно из его ат-разложений на составляющие Р' и Р" , которые обведены сплошной и штриховой линией соответственно. Ниже показаны два упорядоченных множества А1 и А2 таких, что а(А 1) = Р' и а(А2) = Р".

Рис. 4. Множество перестановок и его от-разложение

Предложенный способ представления множеств перестановок обладает несколькими несомненными теоретическими и практическими достоинствами. Самые главные из них -это наглядность и высокая степень сжатия информации, реализуемое без потерь и искажений (lossless).

Разложение на от-замкнутые подмножества и их представление в виде частичных порядков дает основания для постановки различных многошаговых процедур принятия рациональных решений, в которых сведения, полученные от ЛПР, используются для последовательного доупорядочения системы предпочтений. Дополнительные данные о порядковых отношениях элементов дает более глубокое исследование ситуации принятия решений. В этой экспертизе «операционное поле» ЛПР ограничивается несравнимыми элементами от-разложения. Все сравнимые объекты исключаются из обработки, что существенно упрощает задачу выбора.

Полученная порядковая информация вносится в от-разложение, что делает его более структурированным. Обозначим A от-разложение до экспертизы, а B - после нее. B = A U ipj, где ipj - результат парного сравнения деталей i и j. Поскольку B > A, тоа(B) <а(A), то есть множество перестановок сокращается. Далее, находится

новое ат-разложение для редуцированного множества и(Б) и его представление предъявляется для следующей проверки технолога и т.д.

Рис. 5. Частичный порядок и его линейные доупорядочения

Проиллюстируем приведенные рассуждения простым примером, показанном на рис. 5. На этом рисунке изображен пятиэлементный частичный порядок и все его линейные продолжения. В приведенном множестве есть четыре пары несравнимых элементов: 1\\3, 5\\4, 5||3, 1||4. Любой вариант сравнения данных антицепей является допустимым и согласуется с исходной порядковой структурой. Каждое такое предпочтение влечет за собой повышение меры линейности частичного порядка и сокращение множества согласованных с ним линейных порядков. На рис. 6 показаны все допустимые варианты сравнения несравнимых пар и множества линейных порядков, которые порождают их включение в исходную структуру.

Принципиальную возможность генерации линейных продолжений гарантирует классическая теорема Шпильрайна, гласящая, что любой частичный порядок может быть продолжен до линейного упорядочения на том же множестве элементов [1]. Алгоритм генерации всех линейных продолжений заданного частичного порядка приводится в [5].

1>3 1<3 5>4 5 <4

5>3 5<3 1>4

1 <4

Рис. 6. Сравнение несравнимых пар и их линейные продолжения

Одна из возможных многошаговых процедур выбора рациональной последовательности, основанная на технике от-разложения множеств перестановок, показана на рис. 7.

Рис. 7. Многошаговая процедура принятия рациональных решений

Рассмотрим эту процедуру применительно к задаче выбора рациональной последовательности сборки механической системы (машины или прибора). Пусть Р есть множество последовательностей сборки некоторого изделия, которые допускает его конструкция по условиям базирования и геометрической разрешимости [3]. Из этого множества необходимо исключить такие последовательности, которые не удовлетворяют условиям технологичности, экономичности и др.

Будем считать, что найдено разложение множества Р и определены все его пары несравнимых элементов (антицепей). Лицу принимающему решение, которым в данной

ситуации служит технолог, предлагается для анализа пара несравнимых элементов ат-разложения, для которой он должен выбрать одну из следующих возможностей:

1. г > у, деталь г должна быть установлена после детали у;

2. У <у, деталь У устанавливается раньше детали у;

3. У = у, детали У и у должны устанавливаться одновременно;

4. Отказ от сравнения. и выбор другой несравнимой пары.

Полученная от ЛПР порядковая информация вносится в разложение, находятся все линейные продолжения нового доопределенного частичного порядка, находится разложения сокращенного множества перестановок, которое предъявляется ЛПР для оценки.

Количество итераций этой процедуры можно существенно сократить за счет выбора наиболее информативных. Рассмотрим способ, позволяющий исключить из рассмотрения заведомо нерациональные пары.

Каждой паре несравнимых элементов а = (г Ц у Л А, где А — некоторое упорядоченное множество, принадлежащее ат-разложению, поставим в соответствие тройку (а1, а2, а3), которую назовем вектором исходов. Координаты вектора исходов подсчитаем по формулам:

а1 =-1-, если а = (I >у};

| Ааи {а}) |

а

1 •>

а2 =-, если а = (г <]};

| иа(Ари {а}) | *

в

а 3 =-1-, если а = (г =у}.

| иа( А^и {е})\' 1 "

Объединение линейных продолжений ведется по таким индексам а, в, х, для которых упорядоченные множества Аа и Ар не образуют контуров с упорядоченной парой (г, у}, а £ представляет собой эквивалентность, стабильную на эквивалентность £ стабильна на Ах.

На множестве пар несравнимых элементов разложения можно ввести отношение доминирования. Будем говорить, что пара а' = (г, ]} доминирует пару а"= {т, п}, если вектор исходов (а^,а2,а3) доминирует по Парето вектор исходов (а-,,а2,а3) . Ясно, что

альтернативы, вектор исходов которых является оптимальным по Парето, в большей

степени «доупорядочивают» множество и(Ак и {а}). Если для оценки ЛПР предлагать

к

пары, которые имеют Парето-оптимальный вектор исходов, то для выбора оптимальной перестановки потребуется меньше итераций, чем для случая

Выводы

1. Разложение на от-замкнутые подмножества представляет собой компактный и удобный для автоматизированной обработки способ представления множеств перестановок высокой мощности. Оно, по сути дела, является способом сжатия информации без потерь и искажений (lossless). Объединение всех линейных продолжений частичных порядков, входящих в разложение, восстанавливает исходное множество перестановок в аутентичной форме.

2. Техника от-разложения может быть использована для организации различных многошаговых процедур принятия решений, в которых выбор рациональной перестановки выполняется в диалоге с ЛПР за счет итерационного доупорядочения исходной структуры предпочтений.

3. Выбор наиболее информативных пар несравнимых элементов позволяет существенно сократить трудоемкость процедуры и минимизировать число обращений к ЛПР. На множестве антицепей можно ввести доминирование по Парето, что позволяет отбросить заведомо худшие альтернативы. Решение задачи в общем случае представляется очень сложным. В следующей статье автор планирует описать различные информационные ситуации, допускающие полное или частичное решение задачи выбора наиболее информативной пары.

Список литературы

1. Айгнер М. Комбинаторная теория: пер. с англ. М.: Мир, 1982. 560 с.

2. Божко А.Н. Метод диалогового упорядочения альтернатив // Наука и образование. МГТУ им. Н.Э. Баумана. Электрон. журн. 2010. № 5. Режим доступа: http://technomag.edu.ru/doc/142892.html (дата обращения 27.01.2012).

3. Буловский П.И. Основы сборки приборов. М.: Машиностроение, 1970. 200 с.

4. Гретцер Г. Общая теория решеток : пер. с англ. М.: Мир, 1982. 456 с.

5. Розен В.В. Цель - оптимальность - решение (математические модели принятия оптимальных решений). М.: Радио и связь, 1982. 168 с.

SCIENTIFIC PERIODICAL OF THE RAIJMAN MS TU

SCIENCE and EDUCATION

EL № FS77 - 48211. №0421200025. ISSN 1994-0408

electronic scientific and technical journal

Rational ordering of alternatives in a dialogue with DM

# 02, February 2013

DOI: 10.7463/0213.0531045

Bojko A., N.

Bauman Moscow State Technical University, 105005, Moscow, Russian Federation

abozhko1@gmail.com

In this paper a method of selecting a rational linear order of a set of admissible alternatives is discussed. The author offers a way of representing a set of permutations of high power in a compact set of partial orders called ox-decomposition. Disparate elements of the expansion are a source of combinatorial diversity of acceptable alternatives. Additional ordinal information from the DM can reduce search space of the best linear order, and in a few iterations, get a better alternative. The proposed technique can be used to generate rational design decisions at the stage of technological preparation of production.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Publications with keywords: transposition, assembly sequence, decision making, linear order, DM, ox-decomposition, Galois conformity

Publications with words: transposition, assembly sequence, decision making, linear order, DM, ox-decomposition, Galois conformity

References

1. Aigner M. Combinatorial Theory. Springer-Verlag, New York, 1979. (Russ. ed.: Aigner M. Kombinatornaia teoriia. Moscow, Mir, 1982. 560 p.).

2. Bozhko A.N. Metod dialogovogo uporiadocheniia al'ternativ [Method of dialogue streamlining of alternatives]. Nauka i obrazovanie MGTUim. N.E. Baumana [Science and Education of the Bauman MSTU], 2010, no. 5. Available at: http://technomag.edu.ru/doc/142892.html , accessed 27.01.2012.

3. Bulovskii P.I. Osnovy sborkipriborov [The basics of assembly of devices]. Moscow, Mashinostroenie, 1970. 200 p.

4. Grätzer G. General Lattice Theory. Academic Press, New York, 1978. (Pure and applied mathematics : a series of monographs and textbooks). (Russ. ed.: Grettser G. Obshchaia teoriia reshetok. Moscow, Mir, 1982. 456 p.).

5. Rozen V.V. Tsel'- optimal'nost'- reshenie (matematicheskie modelipriniatiia optimal'nykh reshenii) [Goal - optimality - solution (mathematical models of optimal decision making). Moscow, Radio i sviaz', 1982. 168 p.

i Надоели баннеры? Вы всегда можете отключить рекламу.