Задача оптимизации на множестве этапов функционирования
Рассматривается функционирование объектов на некотором интервале времени, разбитом на несколько этапов.
Качество управления на любом этапе зависит от управления на этом этапе и оценивается локальным критерием. На множестве всех этапов - векторный критерий.
Пример: Требуется определить оптимальный план функционирования предприятия на заданном промежутке времени [0…T]. Качество функционирования предприятия характеризуется объемом выпускаемой продукции.
К(ti), i=1…n – в дискретный момент времени
К=(К(t1), К(t2),… К(tn))- качество функционирования предприятия на всем интервале от 0 до Т.
М.б., что локальные критерии не скаляр, а вектора, т.е. много векторные задачи. Поиск оптимального решения обычно связан с человеком (ЛПР). Важны его предпочтения.
Для описания предпочтения ЛПР часто используют бинарные отношения, вводимые на множестве сравнимых решений (действий, объектов). А- множество сравнимых решений.
1. «Отношение безразличий» I
А1IA2- действия А1 и А2 одинаковы по предпочтительности.
(если выбор ограничен двумя этими действиями, то безразлично какое из них применить).
2. «Отношение строгое предпочтение» Р
А1РA2- действия А1 строго предпочтительнее, чем А2 .
3. «Отношение не строгого предпочтения » R
А1IA2- действия А1 не менее предпочтителен, чем А2 , т.е. имеет место А1РA2 или А1IA2
Формально R=PÈI.
Отношение предпочтения должно обладать свойствами:
I – Рефлексивно и симметрично
Р – Антирефлексивно и асимметрично
R – Рефлексивно
· Р и I не пересекаются.
(не может быть одновременно А1РA2 и А1IA2)
· Р и I восстанавливаются по R:
А1IA2- значит, что одновременно выполняются А1IA2 и А2IA1, т.е. I=RÇR-1
А1IA2- значит, что выполняется А1RA2 ,но А2RA1-не выполняется,
т.е. R=R/R-1=R/I
В общем случае R,I,P-нетранзитивны.
I – симметричная часть R
P - асимметричная часть R
Строгий порядок - это отношение, которое обладает след. свойствами: антирефлексивность, транзитивность (и потому асимметричность).
Квазипорядок - характеризуется свойствами: рефлексивность и транзитивность
Нестрогий порядок - это отношение, которое обладает следующими свойствами: рефлексивность, транзитивность, антисимметричность.
Пусть £ - не строгий порядок на множестве А, ему можно сопоставить строгий порядок <, определяемый так: а<в тогда и только тогда, когда, а£в и а¹в.
Пусть < - строгий порядок на множестве А, ему можно сопоставить не строгий порядок £ , определяемый так: x£ y тогда и только тогда, когда, x<y или x=y.
Т.е. по нестрогому порядку можно установить строгий порядок и наоборот. Поэтому нестрогий порядок иногда называют частным.