Классификация методов математического программирования

Основными методами оптимизации в САПР являются поисковые методы. Поисковые методы основаны на пошаговом изменении управляемых параметров

где в большинстве методов приращение вектора управляемых параметров вычисляется по формуле

(1)

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

Методы оптимизации классифицируют по ряду признаков.

В зависимости от числа управляемых параметров различают методы одномерной и многомерной оптимизации. В методах одномерной оптимизации управляемый параметр единственный, во вторых размер вектора не менее двух. Реальные задачи в САПР многомерны, методы одномерной оптимизации играют вспомогательную роль на отдельных этапах многомерного поиска.

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

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

Наконец, в зависимости от того, используются при поиске производные целевой функции по управляемым параметрам или нет, различают методы нескольких порядков. Если производные не используются, то имеет место метод нулевого порядка, если используются первые или вторые производные, то соответственно метод первого или второго порядка. Методы первого порядка называют также градиентными, поскольку вектор первых производных по есть градиент целевой функции

Конкретные методы определяются следующими факторами:

1. способом вычисления направления поиска в формуле (1);

2. способом выбора шага ;

3. способом определения окончания поиска.

Определяющим фактором является первый из перечисленных в этом списке.

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

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