ҮЛГІ - SAMPL

ҮЛГІ
Парадигмамультипарадигма: декларативті, императивті
ЖобалағанГаутам Митра, Энза Мессина, Валенте Патрик
Бірінші пайда болды2001; 19 жыл бұрын (2001)
Тұрақты шығарылым
20120523/23 мамыр 2013 ж; 7 жыл бұрын (2013-05-23)
ОЖКросс-платформа (көп платформа)
ЛицензияМеншіктік
Файл атауының кеңейтімдері.mod .dat .run .sampl
Веб-сайтwww.optirisk-жүйелер.com
Әсер еткен
AMPL

ҮЛГІдеген мағынаны білдіреді «Стохастикалық AMPL ", болып табылады алгебралық модельдеу тілі нәтижесінде белгілі тілді кеңейту AMPL кеңейтілген синтаксиспен және кілт сөздермен. Ол ұсыну үшін арнайы жасалған стохастикалық бағдарламалау мәселелер[1] және соңғы кеңейтулер арқылы кездейсоқ шектеулермен проблемалар, интегралды мүмкіндіктер шектеулері және сенімді оңтайландыру мәселелер. Ол AMPL байланыстыратын барлық еріткіштерді қолдана отырып, даналардың детерминирленген эквивалентті нұсқасын жасай алады,[2] немесе жасау SMPS сияқты ыдырауға негізделген мамандандырылған еріткіштерді ұсыну және пайдалану FortSP.

Тіл ерекшеліктері

SAMPL барлық тілдік мүмкіндіктерді AMPL-мен бөліседі және сценарийге негізделген арнайы жасалған бірнеше құрылымдарды қосады стохастикалық бағдарламалау және сенімді оңтайландыру.

Стохастикалық бағдарламалау ерекшеліктері мен құрылымдары

Сценарийге негізделген СП мәселелерін білдіру үшін қосымша құрылымдар ағаш құрылымын сипаттайды және шешім айнымалысын кезеңдерге топтайды. Сонымен қатар, қандай параметр ағаштың әр бұтағы үшін ықтималдықтарды сақтайтынын және қандай жиын сценарийлер жиынтығын бейнелейтінін анықтауға болады. Кездейсоқ шектеулерді және SP проблемасындағы интегралды шектеулерді оңай анықтайтын басқа құрылымдар да бар, егер бұл тілдік құрылымдарды қолдану мәселенің құрылымын сақтауға мүмкіндік береді, демек, оны шешушілерге қол жетімді етеді, бұл оны арнайы ыдырау әдістерін қолдана алады. Бендерлердің ыдырауы шешімді тездету үшін.

Оңтайландырудың сенімді құрылымдары

SAMPL сенімді оңтайландырудың үш түрін сипаттайтын құрылымдарды қолдайды:

  • Соястер[3]
  • Бертсимас және Сим[4]
  • Бен-Тал және Немировский[5]

Қол жетімділік

SAMPL қазіргі уақытта AMPLDev бағдарламалық жасақтамасының бөлігі ретінде қол жетімді (таратылған www.optirisk-systems.com ). Ол көптеген танымал 32 және 64 биттік платформаларды қолдайды, соның ішінде Windows, Linux және Mac OS X. Шектелген функционалдығы бар тегін бағалау нұсқасы қол жетімді.[6]

Стохастикалық бағдарламалаудың үлгі моделі

Төменде қарапайым есептің SAMPL нұсқасы келтірілген (Дакота)[7]), SP-ға қатысты құрылымдарды көрсету үшін. Оған кәдімгі AMPL синтаксисінен кейінгі деректер файлы кірмейді (. Қараңыз) мысал қосымша анықтама үшін AMPL Wikipedia парағында берілген).

орнатылды Өнім;орнатылды Ресурс;# Сценарийлер (болашақтағы іске асырулар)сценарий жиынтығы Көрініс;# Мәселені екі сатылы есеп ретінде анықтауағаш Ағаш: = бұралу;# Әр сценарий бойынша әр өнімге сұраныскездейсоқ параметр Сұраныс {Prod, Scen};# Әр сценарийдің ықтималдығыықтималдық P {Көрініс};# Ресурстың әрбір бірлігінің құныпарам Құны{Ресурс};# Әр өнімнің бір бірлігін өндіруге арналған ресурстар бірлігіне қойылатын талаппарам ProdReq{Ресурс,Өнім};# Әр өнімнің сату бағасыпарам Бағасы{Өнім};# Бастапқы бюджетпарам Бюджет;# Сатып алуға болатын ресурстар саныvar сатып алу{ржылыРесурс}>=0, жұрнақ кезеңі 1;# Өндірілетін әр өнімнің мөлшеріvar сома{бжылыӨнім,сжылыКөрініс}>=0, жұрнақ кезеңі 2;# Сатылатын әр өнімнің мөлшеріvar сумселл{бжылыӨнім,сжылыКөрініс}>=0, жұрнақ кезеңі 2;# Ресурстарға шығындарды шегергендегі сатудан түсетін жалпы табыс сияқты жалпы соңғы байлықмаксимизациялау байлық:сома{сжылыКөрініс}P[с]* (сома{бжылыӨнім}Бағасы[б]*сумселл[б,с]-сома{ржылыРесурс}Құны[р]*сатып алу[р]);тақырыпдейін# Біздің ойлағанымызды өндіруге жеткілікті ресурстардың болуына көз жеткізіңізтепе-теңдік{ржылыРесурс,сжылыКөрініс}: сатып алу[р]>=сома{бжылыӨнім}ProdReq[р,б]*сома[б,с];# Өндірмегенімізді сатпайтынымызға көз жеткізіңізөндіріс{бжылыӨнім,сжылыКөрініс}:сумселл[б,с]<=сома[б,с];# Біздің нарықтағы сұраныстан артық сатпайтындығымызға көз жеткізіңізсату{бжылыӨнім,сжылыКөрініс}:сумселл[б,с]<=Сұраныс[б,с];# Бастапқы бюджетті құрметтеңізбюджеттер:сома{ржылыРесурс}Құны[р]*сатып алу[р]<=Бюджет;

Байланысты шешеді

SP мәселелеріне арналған SAMPL даналық деңгейінің форматы SMPS болып табылады, сондықтан мәселені осы стандартты қолдайтын кез-келген шешуші шеше алады. Осындай еріткіштердің бірі (FortSP) SAMPL стандартты таралуына енгізілген. Қуатты оңтайландыру мәселелеріне қатысты қажетті шешуші қолданылатын нақты формулаға байланысты, өйткені Бен-Тал және Немировский формуласы қажет екінші ретті конус қабілетті шешуші.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Кристиан Валенте, Гаутам Митра, Мустафа Садки және Роберт Фурер (2009). «Стохастикалық бағдарламалау үшін алгебралық модельдеу тілдерін кеңейту». INFORMS Есептеу журналы. 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 / inte.33.4.53.16370.CS1 maint: бірнеше есімдер: авторлар тізімі (сілтеме)

Сыртқы сілтемелер