.

.

.

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

Если в ответ на сообщение 14 ЛФР выбрало вторую возможность, то появляется сообщение:

16. СТАТУС ЗАДАЧИ: ОПТИМИЗАЦИОННЫЙ

ЗАДАЙТЕ КРИТЕРИИ ОЦЕНКИ ВАРИАНТОВ:

------------------------------------------

Действия ЛФР, а в данном случае состоят в том, что, начиная с первой свободной строки, оно вводит по одному имена переменных, значения которых будут использоваться для оценки различных вариантов формируемых рекомендаций. Если будет введен символ «?», то на экране появятся все переменные, которые для данной задачи могут быть выбраны в качестве критериев, и ЛФР может отметить необходимые ему переменные. Если ЛФР задало только один критерий, то задача оптими­зации является скалярной, в противном случае — векторной.

Таким образом, в результате работы элемента Е2, 2 формируется постановка консультационной задачи, которая согласуется с математи­ческой моделью консультируемой проблемы, представленной в САК в виде ППП. На следующем этапе требуется сформировать или выбрать методику решения этой задачи. При этом под формирова­нием методики ниже подразумевается построение диалоговых процедур основывающихся как на использовании формальных алгоритмов, так и участии ЛФР, а в процессе решения поставленной задачи.

НЕ нашли? Не то? Что вы ищете?

Рассмотрим теперь элемент Е2, 3, на базе которого могут решаться задачи как векторной, так и скалярной оптимизации, а также расчетные задачи. Очевидна «вложенность» этих задач, элемент Е3, 8 будем отождествлять с задачами формирования рекомендаций по векторному критерию. Передача управления элементу Е3,8 производится в случае, если в ответ на сообщение 16) ЛФР задало более одного критерия (если критерий один, то управление передается элементу Е4,1 а если задача расчетная — то элементу Е5,1). Методики формирования рекомендаций при нескольких критериях в своей основе содержат два вида действий, первое из которых заклю­чается в управлении переходами от одной недоминирующей рекомендации к другой, а второе — в решении задачи скалярной оптимизации. Соответственно, выполнение данных действий воз­ложим на функциональные элементы следующего уровня за Е3, 8, т. е. на Е4,2 и E4,1.

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

В роли таких параметров могут выступать, например, либо значения весовых коэффициентов, либо значения всех, кроме неко­торой одной, компоненты вектора критериев.

Выбрать методику построения недоминирующих элементов позволяет следующее сообщение:

17. УКАЖИТЕ МЕТОДИКУ ПОСТРОЕНИЯ НЕДОМИНИРУЮЩИХ ЭЛЕМЕНТОВ:

1. СВЕРТКА КРИТЕРИЕВ

2. ФИКСАЦИЯ КРИТЕРИЕВ

В результате выбора первой альтернативы появляется следую­щий запрос:

18. УКАЖИТЕ ФОРМУЛУ СВЕРТКИ КРИТЕРИЕВ

<имя первой переменной, выбранной критерием>

<имя второй переменной, выбранной критерием>

<коэффициенты>

-----------------------------------------------------------------------------

В ответ на этот запрос ЛФР должно явно в алгебраи­ческом виде, используя синтаксис языка высокого уровня (например, С), задать формулу свертки критериев F=F(К, α), определив предварительно обо­значения компонент.

В результате выбора второй альтернативы построение точек множества Парето происходит путем фиксации всех критериев, кроме одного, и появляется запрос:

19. ОПРЕДЕЛИТЕ СВОБОДНЫЙ КРИТЕРИЙ, ПОМЕТИВ ЕГО СИМВОЛОМ «К»

(имя 1-го критерия) *-----------

(имя 2-го критерия) *-----------

.

.

Здесь ЛФР должно среди всех ранее определенных критериев выделить главный, а для всех остальных, которые должны быть зафиксированы, на мониторе появляется запрос:

20. ЗАДАЙТЕ ЗНАЧЕНИЯ ФИКСИРУЕМЫХ КРИТЕРИЕВ

(1-й фиксируемый критерий) *-----------

(2-й фиксируемый критерий) *-----------

.

.

«Ц» — цикл, «С» — по списку, «А» — алгоритм

В позициях справа от звездочек ЛФР может задать либо конкретную числовую информацию, либо один из символов: «Ц», «С», «А». Символ «Ц» означает, что задача построения множе­ства недоминирующих рекомендаций будет решаться при значениях фиксируемых критериев, изменяющихся в цикле; символ «С» — при их изменении по некоторому списку; символ «А» означает, что задача выбора и, соответственно, переход от одной недоми­нирующей точки к другой будет осуществляться по некоторому алгоритму выбора, реализуемому соответствующей программой.

Если ЛФР указало перебор в цикле или по списку значений, то запросы на конкретные данные расчета аналогичны сообщениям 35)—37).

В случае использования формальных алгоритмов формирова­ния множества недоминирующих рекомендаций система запрашивает:

21. ЗАДАЙТЕ ИМЯ АЛГОРИТМА ВЫБОРА *------------

и ЛФР должно задать имя алгоритма, которым оно хочет воспользоваться.

Как уже отмечалось, в настоящее временя предлагается ряд подходов к решению задач выбора формируемых рекомендаций. Один из таких подходов (метод ПРИНН), основанный на агрегированном учете неопреде­ленностей, наиболее соответствующий, по мнению автора, реаль­ным условиям формирования рекомендаций, рассматривается п. 10.2.

Функционирование элемента Е4, 1 может быть проиллюстри­ровано следующими сообщениями:

22. РАБОТАЕТ РЕЖИМ ОПТИМИЗАЦИИ

ЗАДАЙТЕ НАЧАЛЬНОЕ ПРИБЛИЖЕНИЕ И ГРАНИЦЫ ДЛЯ ВАРЬИРУЕМЫХ ПЕРЕМЕННЫХ

ПРОБЕЛЫ ВОСПРИНИМАЮТСЯ КАК ОТСУТСТВИЕ ОГРАНИЧЕНИЙ (имя первой переменной)

.

.

.

НАЧАЛЬНОЕ ПРИБЛИЖЕНИЕ: -----*----------

НИЖНЯЯ ГРАНИЦА: -----------*-----

ВЕРХНЯЯ ГРАНИЦА: -----------*-----

В выделенных полях ЛФР, ом задаются численные значения или номер варианта ОБД. Для начального приближения значение должно обязательно быть задано, а отсутствие числа в полях для границ означает, что ограничения на варьируемую переменную соответственно снизу или (и) сверху не наклады­ваются.

После ответа на приведенное сообщение система запрашивает

23. УКАЖИТЕ МЕТОД РЕШЕНИЯ ЗАДАЧИ ОПТИМИЗАЦИИ

**----------------**

Здесь в поле, выделенном звездочками, должен быть задан шифр метода оптимизации. Если заданного метода нет в таблице методов оптимизации (см. п. 10.1.4.2), то выдается сообщение:

НЕВЕРНО ЗАДАН МЕТОД ОПТИМИЗАЦИИ

Указав в поле между звездочками символ «?», ЛФР получает на экране перечень всех допустимых методов оптимиза­ции с их краткой аннотацией, после чего запрос метода повто­ряется.

После того, как задан метод оптимизации, запрашивается ин­формация, необходимая для работы выбранного метода оптими­зации.

24. ЗАДАЙТЕ ЗНАЧЕНИЯ ПАРАМЕТРОВ МЕТОДА ОПТИМИЗАЦИИ

(название первого параметра метода) * --------------

(название второго параметра метода) *---------------

.

.

.

Справа от звездочки для всех параметров задаются значения. Сле­дующий запрос позволяет ЛФР, у задать параметры ре­шения задачи оптимизации:

РАБОТАЕТ РЕЖИМ ОПТИМИЗАЦИИ ЗАДАЙТЕ ПАРАМЕТРЫ РЕШЕНИЯ ЗАДАЧИ ОПТИМИЗАЦИИ

ТОЧНОСТЬ РЕШЕНИЯ ЗАДАЧИ *------------

ЧАСТОТА СОХРАНЕНИЯ ИНФОРМАЦИИ *-----------

ЧАСТОТА ВЫДАЧИ ИНФОРМАЦИИ НА МОНИТОРЕ *--------

В выделенных полях в соответствующих строках ЛФР, ом задаются соответствующие значения, после чего появляется сообщение

ОПТИМИЗАЦИОННЫЙ КМ

ФОРМИРУЕТСЯ

Данное сообщение означает, что управление переходит к эле­ментам реализующего слоя системы (см. п. 10.1.4.3). В частности, к элементам, осуществляющим генерацию рабочей программы, соответствующей той информации, которую ЛФР задало на этапе функционирования алгоритмизирующего слоя.

Когда рабочая программа вычисления целевой функции (кри­терия оценки) и ограничений сформирована, появляется сообще­ние:

ОПТИМИЗАЦИОННЫЙ КМ СФОРМИРОВАН

На этом формирование консультационного модуля завершается и ЛФР, у предоставляются следующие возможности:

25. 1. ПОСМОТРЕТЬ ПОЛНУЮ ПОСТАНОВКУ ЗАДАЧИ

2. ПЕРЕЙТИ К РЕШЕНИЮ ЗАДАЧИ ОПТИМИЗАЦИИ

3. ЗАКОНЧИТЬ РАБОТУ В РЕЖИМЕ ОПТИМИЗАЦИИ

Если он выбирает первую возможность, то появляется инфор­мация о:

— фиксированных переменных задачи,

— варьируемых переменных задачи,

— параметрах задачи оптимизации,

— настроечных параметрах метода.

Если ЛФР выбирает режим решения задачи опти­мизации, то появляется сообщение:

РАБОТАЕТ ПРОГРАММА ОПТИМИЗАЦИИ

В процессе выполнения программы оптимизации система через каждые N шагов (где N — заданная ЛФР, ом частота выдачи информации) выдает получающиеся результаты оптими­зации: текущее значение варьируемых переменных, значение критерия, а также дополнительную информацию в зависимости от конкретного метода. Кроме того, во время этого выполнения ЛФР, осуществив, например, «пустой ввод», может оста­новить ход процесса оптимизации и получить доступ к следующим возможностям, которые сообщаются в результате этого прерыва­ния:

26. РАБОТАЕТ РЕЖИМ ОПТИМИЗАЦИИ

ВАМ ПРЕДОСТАВЛЯЮТСЯ СЛЕДУЮЩИЕ ВОЗМОЖНОСТИ:

1. ПОЛУЧИТЬ СПРАВОЧНУЮ ИНФОРМАЦИЮ

2. РАСПЕЧАТАТЬ РЕЗУЛЬТАТЫ, ПОЛУЧЕННЫЕ К НАСТОЯЩЕМУ МОМЕНТУ

3. ИЗМЕНИТЬ ПАРАМЕТРЫ ВЫДАЧИ ИНФОРМАЦИИ

4. ИЗМЕНИТЬ ТОЧНОСТЬ РЕШЕНИЯ ЗАДАЧИ

5. ИЗМЕНИТЬ ПАРАМЕТРЫ МЕТОДА ОПТИМИЗАЦИИ

6. ПРОДОЛЖИТЬ ПРОЦЕСС ОПТИМИЗАЦИИ

7. ЗАДАТЬ ДРУГОЕ НАЧАЛЬНОЕ ПРИБЛИЖЕНИЕ

ВАРЬИРУЕМЫХ ПЕРЕМЕННЫХ

8. ВЫБРАТЬ ДРУГОЙ МЕТОД ОПТИМИЗАЦИИ

9. ЗАКОНЧИТЬ РАБОТУ ПРОГРАММЫ ОПТИМИЗАЦИИ

В результате, если выбрано действие, связанное с изменением того или иного параметра задачи оптимизации, система сообщает текущее в данный момент значение этого параметра и предостав­ляет возможность его изменения. Например, если выбрана воз­можность под номером 8, то появляется сообщение

Из за большого объема этот материал размещен на нескольких страницах:
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