АНТИГОНА - Википедия - ANTIGONE

АНТИГОНА
Разработчики)Рут Мизенер
Стабильный выпуск
1.0
ТипТехнические вычисления
ЛицензияПроприетарный
Интернет сайтwww.gams.com/последний/ docs/ S_ANTIGONE.html

АНТИГОНА (Алгоритмы непрерывной / целочисленной глобальной оптимизации нелинейных уравнений), является детерминированная глобальная оптимизация решатель для общих смешанных целочисленных нелинейных программ (MINLP).[1]

История

ANTIGONE - это эволюция GloMIQO,[2] глобальный решатель смешанного целочисленного квадратичного программирования, написанный Рут Мизенер. ANTIGONE расширяет функциональность GloMIQO на общие проблемы MINLP.

особенности

Как все детерминированная глобальная оптимизация программного обеспечения, ANTIGONE представляет собой набор инструментов для множества методов для решения различных частных случаев нелинейной структуры. При этом в основном это разветвленный решатель. Его основная алгоритмическая процедура разбита на 4 основных этапа:[3]

  1. Переформулировка пользовательского ввода
  2. Обнаружение особой структуры
  3. Выбор оптимального алгоритма для обнаруженной структуры
  4. Решение задачи по выбранному алгоритму

За исключением особых случаев задач оптимизации (например, выпуклых NLP), которые могут быть решены в корневом узле алгоритма ветвей и границ, ANTIGONE инициирует процедуру ветвления и ограничения. Эта процедура включает следующие шаги:

  • Создание / обновление выпуклых релаксаций (проблемы с нижними границами)
  • Сокращение домена
  • Поиск возможных решений (оценки сверху)
  • Вычисление строгих нижних оценок путем решения выпуклых нижних оценок.

В ANTIGONE для создания релаксаций используются классические факторизуемые методы программирования, например, релаксации Маккормика, а также современные алгоритмы, такие как метод переформулирования-линеаризации (RLT), релаксации выпуклости / выпуклости краев и Альфа BB порезы. ANTIGONE также обладает генератором динамических разрезов, который генерирует и обрабатывает локальные и глобальные разрезы.

Ограничения

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

Интерфейсы

АНТИГОНА является частью GAMS платформа моделирования.

Лицензирование

Для использования GAMS / ANTIGONE требуется лицензия ANTIGONE, CPLEX лицензия и CONOPT или СНОПТ лицензия.

Смотрите также

использованная литература

  1. ^ Мизенер, Рут; Флудас, Христодулос А. (2014). «АНТИГОНА: Алгоритмы непрерывной / целочисленной глобальной оптимизации нелинейных уравнений». Журнал глобальной оптимизации. 59 (2–3): 503–526. Дои:10.1007 / s10898-014-0166-2. HDL:10044/1/15506.
  2. ^ Мизенер, Рут; Флудас, Христодулос А. (2013). "GloMIQO: Глобальный смешанный целочисленный квадратичный оптимизатор". Журнал глобальной оптимизации. 57: 3–50. Дои:10.1007 / s10898-012-9874-7. HDL:10044/1/19682.
  3. ^ Документация ANTIGONE в GAMS, 16 апр 2013, получено 27 июля 2019