AMPL (англ. A Mathematical Programming Language, буквально «мова математичного програмування») — мова алгебраїчного моделювання для описування і розв'язування задач високої складності для великомасштабних математичних обчислень (наприклад, великомасштабної оптимізації і задач планування). Вона була розроблена англ. Robert Fourer, англ. David Gay і Браяном Керніганом у Bell Laboratories. AMPL підтримує дюжину розв'язувачів, як з відкритим вихідним кодом, так і комерційних, у тому числі CBC, , , Gurobi, , , і . Задачі передаються розв'язувачам як nl файли.
AMPL | |
---|---|
Парадигма | декларативне програмування і імперативне програмування |
Дата появи | 1990 |
Творці | David Gay Brian Kernighan Bell Labs |
Розробник | Bell Laboratories |
Останній реліз | 20131012 (12 жовтня 2013 ) |
Під впливом від | AWK, C |
Операційна система | Cross-platform (multi-platform) |
Ліцензія | Proprietary (translator), free and open-source (AMPL Solver Library) |
Звичайні розширення файлів | .mod .dat .run |
Вебсайт | Офіційна сторінка AMPL |
Особливою перевагою AMPL є подібність її синтаксису і математичного запису задач оптимізації. Це дозволяє сформулювати дуже коротко і легко для читання задачу в галузі оптимізації. Багато сучасних розв'язувачів, що доступні на сервері NEOS наданому Аргонською національною лабораторією, сприймають введення моделей на AMPL. За даними статистики NEOS AMPL є найпопулярнішим форматом для представлення задач математичного програмування.
Особливості
AMPL підтримує широкий діапазон типів задач, у тому числі:
- Лінійне програмування
- Квадратичне програмування
- Нелінійне програмування
- Частково цілочисельне програмування
- Частково цілочисельне квадратичне програмування з (або без) опуклими квадратичними обмеженнями
- Частково цілочисельне нелінійне програмування
- Глобальна оптимізація
- задач з білінійними матричними нерівностями
- (MPECs) в дискретних або неперервних змінних
AMPL викликає розв'язувача в окремому процесі, що має такі переваги:
- збої розв'язувача не впливають на інтерпретатора
- 32-розрядна версія AMPL може використовуватися з 64-бітного розв'язувача, і навпаки.
Доступність
AMPL доступна для багатьох популярних 32- і 64-бітових платформ, включаючи Linux, Mac OS X і Windows. Сам транслятор є пропрієтарним програмним забезпеченням, що в наш час[] підтримується AMPL Optimization LLC. Однак існує декілька онлайн-послуг, що забезпечують безплатні можливості моделювання і розв'язування з використанням AMPL. Також доступна для студентів безкоштовна версія з обмеженими функціональними можливостями.
Бібліотека AMPL Solver Library (ASL), яка дозволяє читати nl-файли і забезпечує автоматичне диференціювання функцій, має відкритий вихідний код. Вона використовується в багатьох розв'язувачах для здійснення зв'язку з AMPL.
Історія
У цій таблиці представлено значні події в історії AMPL.
Рік | Основна подія |
---|---|
1985 | Розроблено і реалізовано AMPL |
1990 | Опубліковано статтю з описом мови моделювання AMPL у |
1991 | AMPL підтримує нелінійне програмування й автоматичне диференціювання |
1993 | , Девід Гей і Брайан Керніган були нагороджені премією ORSA/CSTS від за праці з розробки математичних систем програмування і мови моделювання AMPL |
1995 | Розширення для представлення кусково-лінійних і мережевих структур |
1995 | Скриптові конструкції |
1997 | Розширено підтримку для нелінійного розв'язувача |
1998 | AMPL підтримує |
2000 | Доступ до реляційних баз даних та електронних таблиць |
2005 | Відкрито Google-групу AMPL Modeling Language |
2008 | Kestrel: Введено AMPL-інтерфейс для сервера NEOS |
Приклад моделі
Цей розділ потребує доповнення. (травень 2011) |
Див. також
- AIMMS
- GAMS
- Щербина О.О. Короткий вступ до AMPL - сучасної алгебраїчної мови моделювання [ 4 березня 2016 у Wayback Machine.], препринт, 2012.
- Мова моделювання
Примітки
- ; David M. Gay, Brian W. Kernighan (2002). AMPL: A Modeling Language for Mathematical Programming. Duxbury Press. ISBN .
- . Архів оригіналу за 6 травня 2011. Процитовано 18 травня 2011.
{{}}
: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title () - . Архів оригіналу за 18 червня 2011. Процитовано 31 травня 2011.
{{}}
: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title () - . Архів оригіналу за 26 травень 2015. Процитовано 31 травень 2011.
{{}}
: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title () - Robert Fourer, David M. Gay, Brian W. Kernighan (1990). (PDF). Management Science. 36: 519–554–83. Архів оригіналу (PDF) за 16 липня 2011. Процитовано 10 липня 2011.
- (PDF). Архів оригіналу (PDF) за 7 жовтня 2006. Процитовано 10 липня 2011.
{{}}
: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title () - . Архів оригіналу за 29 червня 2011. Процитовано 10 липня 2011.
{{}}
: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
AMPL angl A Mathematical Programming Language bukvalno mova matematichnogo programuvannya mova algebrayichnogo modelyuvannya dlya opisuvannya i rozv yazuvannya zadach visokoyi skladnosti dlya velikomasshtabnih matematichnih obchislen napriklad velikomasshtabnoyi optimizaciyi i zadach planuvannya Vona bula rozroblena angl Robert Fourer angl David Gay i Brayanom Kerniganom u Bell Laboratories AMPL pidtrimuye dyuzhinu rozv yazuvachiv yak z vidkritim vihidnim kodom tak i komercijnih u tomu chisli CBC Gurobi i Zadachi peredayutsya rozv yazuvacham yak nl fajli AMPLParadigmadeklarativne programuvannya i imperativne programuvannyaData poyavi1990TvorciDavid Gay Brian Kernighan Bell LabsRozrobnikBell LaboratoriesOstannij reliz20131012 12 zhovtnya 2013 10 rokiv tomu 2013 10 12 Pid vplivom vidAWK COperacijna sistemaCross platform multi platform LicenziyaProprietary translator free and open source AMPL Solver Library Zvichajni rozshirennya fajliv mod dat runVebsajtOficijna storinka AMPL Osoblivoyu perevagoyu AMPL ye podibnist yiyi sintaksisu i matematichnogo zapisu zadach optimizaciyi Ce dozvolyaye sformulyuvati duzhe korotko i legko dlya chitannya zadachu v galuzi optimizaciyi Bagato suchasnih rozv yazuvachiv sho dostupni na serveri NEOS nadanomu Argonskoyu nacionalnoyu laboratoriyeyu sprijmayut vvedennya modelej na AMPL Za danimi statistiki NEOS AMPL ye najpopulyarnishim formatom dlya predstavlennya zadach matematichnogo programuvannya OsoblivostiAMPL pidtrimuye shirokij diapazon tipiv zadach u tomu chisli Linijne programuvannya Kvadratichne programuvannya Nelinijne programuvannya Chastkovo cilochiselne programuvannya Chastkovo cilochiselne kvadratichne programuvannya z abo bez opuklimi kvadratichnimi obmezhennyami Chastkovo cilochiselne nelinijne programuvannya Globalna optimizaciya zadach z bilinijnimi matrichnimi nerivnostyami MPECs v diskretnih abo neperervnih zminnih AMPL viklikaye rozv yazuvacha v okremomu procesi sho maye taki perevagi zboyi rozv yazuvacha ne vplivayut na interpretatora 32 rozryadna versiya AMPL mozhe vikoristovuvatisya z 64 bitnogo rozv yazuvacha i navpaki DostupnistStatistika vhodu NEOS za sichen 2011 AMPL dostupna dlya bagatoh populyarnih 32 i 64 bitovih platform vklyuchayuchi Linux Mac OS X i Windows Sam translyator ye propriyetarnim programnim zabezpechennyam sho v nash chas koli pidtrimuyetsya AMPL Optimization LLC Odnak isnuye dekilka onlajn poslug sho zabezpechuyut bezplatni mozhlivosti modelyuvannya i rozv yazuvannya z vikoristannyam AMPL Takozh dostupna dlya studentiv bezkoshtovna versiya z obmezhenimi funkcionalnimi mozhlivostyami Biblioteka AMPL Solver Library ASL yaka dozvolyaye chitati nl fajli i zabezpechuye avtomatichne diferenciyuvannya funkcij maye vidkritij vihidnij kod Vona vikoristovuyetsya v bagatoh rozv yazuvachah dlya zdijsnennya zv yazku z AMPL IstoriyaU cij tablici predstavleno znachni podiyi v istoriyi AMPL Rik Osnovna podiya1985 Rozrobleno i realizovano AMPL1990 Opublikovano stattyu z opisom movi modelyuvannya AMPL u1991 AMPL pidtrimuye nelinijne programuvannya j avtomatichne diferenciyuvannya1993 Devid Gej i Brajan Kernigan buli nagorodzheni premiyeyu ORSA CSTS vid za praci z rozrobki matematichnih sistem programuvannya i movi modelyuvannya AMPL1995 Rozshirennya dlya predstavlennya kuskovo linijnih i merezhevih struktur1995 Skriptovi konstrukciyi1997 Rozshireno pidtrimku dlya nelinijnogo rozv yazuvacha1998 AMPL pidtrimuye2000 Dostup do relyacijnih baz danih ta elektronnih tablic2005 Vidkrito Google grupu AMPL Modeling Language2008 Kestrel Vvedeno AMPL interfejs dlya servera NEOSPriklad modeliCej rozdil potrebuye dopovnennya traven 2011 Div takozhAIMMS GAMS Sherbina O O Korotkij vstup do AMPL suchasnoyi algebrayichnoyi movi modelyuvannya 4 bereznya 2016 u Wayback Machine preprint 2012 Mova modelyuvannyaPrimitki David M Gay Brian W Kernighan 2002 AMPL A Modeling Language for Mathematical Programming Duxbury Press ISBN 978 0534388096 Arhiv originalu za 6 travnya 2011 Procitovano 18 travnya 2011 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Obslugovuvannya CS1 Storinki z tekstom archived copy yak znachennya parametru title posilannya Arhiv originalu za 18 chervnya 2011 Procitovano 31 travnya 2011 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Obslugovuvannya CS1 Storinki z tekstom archived copy yak znachennya parametru title posilannya Arhiv originalu za 26 traven 2015 Procitovano 31 traven 2011 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Obslugovuvannya CS1 Storinki z tekstom archived copy yak znachennya parametru title posilannya Robert Fourer David M Gay Brian W Kernighan 1990 PDF Management Science 36 519 554 83 Arhiv originalu PDF za 16 lipnya 2011 Procitovano 10 lipnya 2011 PDF Arhiv originalu PDF za 7 zhovtnya 2006 Procitovano 10 lipnya 2011 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Obslugovuvannya CS1 Storinki z tekstom archived copy yak znachennya parametru title posilannya Arhiv originalu za 29 chervnya 2011 Procitovano 10 lipnya 2011 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Obslugovuvannya CS1 Storinki z tekstom archived copy yak znachennya parametru title posilannya