SAMPL - SAMPL

SAMPL
Парадигмамультипарадигма: декларативный, императив
РазработаноГаутам Митра, Энза Мессина, Валенте Патрик
Впервые появился2001; 19 лет назад (2001)
Стабильный выпуск
20120523/23 мая 2013 г.; 7 лет назад (2013-05-23)
Операционные системыКроссплатформенность (мультиплатформенность)
ЛицензияПроприетарный
Расширения имени файла.mod .dat .run .sampl
Интернет сайтwww.optirisk-системы.com
Под влиянием
AMPL

SAMPL, что означает "Стохастик AMPL ", является язык алгебраического моделирования в результате расширения известного языка AMPL с расширенным синтаксисом и ключевыми словами. Он разработан специально для представления стохастическое программирование проблемы[1] и, благодаря недавним расширениям, проблемы со случайными ограничениями, интегрированными случайными ограничениями и надежная оптимизация проблемы. Он может генерировать детерминированную эквивалентную версию экземпляров, используя все решатели, к которым подключается AMPL,[2] или создать SMPS представление и использование специализированных решателей на основе декомпозиции, таких как FortSP.

Особенности языка

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

Особенности и конструкции стохастического программирования

Чтобы выразить основанные на сценарии проблемы SP, дополнительные конструкции описывают древовидную структуру и группируют переменную решения по этапам. Кроме того, можно указать, какой параметр хранит вероятности для каждой ветви дерева, а какой набор представляет собой набор сценариев. Также доступны другие конструкции, позволяющие легко определять случайные ограничения и интегрированное случайное ограничение в задаче SP. Использование этих языковых конструкций позволяет сохранить структуру проблемы, тем самым делая ее доступной для решателей, которые могут использовать ее с помощью специализированных методов декомпозиции, таких как Разложение Бендерса чтобы ускорить решение.

Надежные конструкции оптимизации

SAMPL поддерживает конструкции для описания трех типов устойчивых формулировок оптимизации:

  • Soyster[3]
  • Берцимас и Сим[4]
  • Бен-Тал и Немировский[5]

Доступность

SAMPL в настоящее время доступен как часть программного обеспечения AMPLDev (распространяется www.optirisk-systems.com ). Он поддерживает многие популярные 32- и 64-битные платформы, включая Windows, Linux и Mac OS X. Доступна бесплатная ознакомительная версия с ограниченной функциональностью.[6]

Примерная модель стохастического программирования

Ниже приводится SAMPL-версия простой задачи (Dakota[7]), чтобы показать конструкции, связанные с SP. Он не включает файл данных, который следует обычному синтаксису AMPL (см. пример предоставлено на странице AMPL Wikipedia для дальнейшего использования).

набор Прод;набор Ресурс;# Сценарии (будущие возможные реализации)набор сценариев Scen;# Определение проблемы как двухэтапной проблемыдерево Дерево: = двухступенчатый;# Спрос на каждый продукт в каждом сценариислучайный параметр Спрос {Prod, Scen};# Вероятность каждого сценариявероятность P {Scen};# Стоимость каждой единицы ресурсапарам Стоимость{Ресурс};# Требование в единицах ресурсов для производства одной единицы каждого продуктапарам ProdReq{Ресурс,Прод};# Продажная цена каждого продуктапарам Цена{Прод};# Первоначальный бюджетпарам Бюджет;# Количество ресурсов для покупкивар купить{рвРесурс}>=0, этап суффикса 1;# Количество каждого продукта для производствавар суммапрод{пвПрод,sвScen}>=0, этап суффикса 2;# Количество каждого продукта для продаживар суммапродать{пвПрод,sвScen}>=0, этап суффикса 2;# Общее конечное богатство, как и ожидалось, общий доход от продаж за вычетом затрат на ресурсымаксимизировать богатство:сумма{sвScen}п[s]* (сумма{пвПрод}Цена[п]*суммапродать[п,s]-сумма{рвРесурс}Стоимость[р]*купить[р]);предметк# Убедитесь, что у вас достаточно ресурсов для производства того, что мы намереныостаток средств{рвРесурс,sвScen}: купить[р]>=сумма{пвПрод}ProdReq[р,п]*суммапрод[п,s];# Убедитесь, что мы не продаем то, что не производилипроизводство{пвПрод,sвScen}:суммапродать[п,s]<=суммапрод[п,s];# Убедитесь, что мы не продаем больше, чем рыночный спроспродажи{пвПрод,sвScen}:суммапродать[п,s]<=требовать[п,s];# Соблюдайте первоначальный бюджетBudgetres:сумма{рвРесурс}Стоимость[р]*купить[р]<=Бюджет;

Связь с решателями

Формат уровня экземпляра SAMPL для проблем SP - SMPS, и поэтому проблема может быть решена любым решателем, который поддерживает этот стандарт. Один из таких решателей (FortSP) входит в стандартный дистрибутив SAMPL. Что касается задач робастной оптимизации, необходимый решатель зависит от конкретной используемой формулировки, поскольку формулировка Бен-Тала и Немировского требует конус второго порядка способный решатель.

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

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

  1. ^ Кристиан Валенте, Гаутам Митра, Мустафа Садки и Роберт Фурер (2009). «Расширение языков алгебраического моделирования для стохастического программирования». ИНФОРМС Журнал по вычислительной технике. 21 (1): 107–122. Дои:10.1287 / ijoc.1080.0282.CS1 maint: несколько имен: список авторов (ссылка на сайт)
  2. ^ http://www.ampl.com/solvers.html
  3. ^ Аллен Л. Сойстер (1974). «Техническое примечание - Выпуклое программирование с ограничениями, включающими набор, и приложения к неточному линейному программированию». Исследование операций. 21 (5): 1154–1157. Дои:10.1287 / opre.21.5.1154.
  4. ^ Берцимас, Димитрис; Сим, Мелвин (2004). «Цена надежности». Исследование операций. 52 (1): 35–53. Дои:10.1287 / opre.1030.0065.
  5. ^ Аарон Бен-Тал и Аркадий Немировский (1998). «Робастная выпуклая оптимизация». Математика исследования операций. 23 (4): 769–805. CiteSeerX  10.1.1.135.798. Дои:10.1287 / moor.23.4.769.
  6. ^ http://optirisk-systems.com/products_ampldevSP.asp
  7. ^ Хигл, Джулия Л., Уоллес, Стейн В. (2003). «Анализ чувствительности и неопределенности в линейном программировании» (PDF). Интерфейсы. 33 (4): 53–60. Дои:10.1287 / инте.33.4.53.16370.CS1 maint: несколько имен: список авторов (ссылка на сайт)

внешние ссылки