АНТИГОНА

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

ANTIGONE (Алгоритмы для непрерывной/целочисленной глобальной оптимизации нелинейных уравнений) — это детерминированный решатель глобальной оптимизации для общих смешанно-целочисленных нелинейных программ (MINLP). ^[1]

История [ править ]

АНТИГОНА — это эволюция GloMIQO. ^[2] глобальный решатель квадратичного программирования смешанных целых чисел, написанный Рут Мизенер . ANTIGONE расширяет функциональность GloMIQO для решения общих задач MINLP.

Особенности [ править ]

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

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

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

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

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

Ограничения [ править ]

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

Интерфейсы [ править ]

ANTIGONE является частью платформы моделирования GAMS .

Лицензирование [ править ]

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

См. также [ править ]

Ссылки [ править ]

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

[1] Мизенер, Рут ; Флудас, Христодулос А. (2014). «АНТИГОНА: Алгоритмы непрерывной / целочисленной глобальной оптимизации нелинейных уравнений». Журнал глобальной оптимизации . 59 (2–3): 503–526. дои : 10.1007/s10898-014-0166-2 . hdl : 10044/1/15506 . S2CID 254650780 .

[2] Мизенер, Рут; Флудас, Христодулос А. (2013). «GloMIQO: Глобальный смешанно-целочисленный квадратичный оптимизатор». Журнал глобальной оптимизации . 57 : 3–50. дои : 10.1007/s10898-012-9874-7 . hdl : 10044/1/19682 . S2CID 254647188 .

[3] Документация ANTIGONE в GAMS , 16 апреля 2013 г. , получено 27 июля 2019 г.

[1]

[2]

[3]