伊恩·邓宁；乔伊·休切特；卢宾，迈尔斯 JuMP：用于数学优化的建模语言。 （英语） Zbl 1368.90002号 SIAM版本。 59，第2期，295-320（2017）. 摘要：JuMP是一种开源建模语言，允许用户用高级代数语法表达各种优化问题（线性、混合整数、二次、二次曲线、半定和非线性）。JuMP利用Julia编程语言的高级功能提供独特的功能，同时实现与标准任务的商业建模工具同等的性能。在这项工作中，我们将提供基准，介绍实现的新方面，并讨论如何将JuMP扩展到新的问题类，以及如何使用最先进的可视化和交互工具组合。 引用于192文件 MSC公司： 90-04年 与运筹学和数学编程有关的问题的软件、源代码等 90C05（二氧化碳） 线性规划 90C06型 数学规划中的大尺度问题 90立方 非线性规划 65D25个 数值微分 关键词：代数建模语言；自动微分；科学计算 软件：牛虻；交互.jsl；求解工作室；变分不等式；扩展的MIQCP；朱庇特；转发差异；JuMP公司；通用工具包；警察；互补性；朱莉娅；GUSS公司；斯坦；MultiJuMP手机；UFL公司；青少年-C；PySP公司；AIMMS公司；皮奥莫；伊波特；AMPL公司；卡萨迪；CVX公司；有限责任公司；ADIFR公司；罗马；古罗比；ColPack系列；YALMIP公司；GAMS游戏；天然气液化；LINPACK系列 PDF格式BibTeX公司 XML格式引用 \textit{I.Dunning}等人，SIAM Rev.59，No.2，295--320（2017；Zbl 1368.90002） 全文： DOI程序 arXiv公司 参考文献： [1] AIMMS，{\it AIMMS:用户指南}，www.aims.com，2015年。 [2] M.S.Aln \aes、A.Logg、K.B.Ølgaard、M.E.Rognes和G.N.Wells，《统一形式语言：偏微分方程弱公式的领域特定语言》，ACM Trans。数学。《软件》，40（2014），第9:1-9:37页·兹比尔1308.65175 [3] J.Andersson，《动态优化的通用软件框架》，博士论文，阿伦伯格博士学院，鲁汶大学，电气工程系（ESAT/SCD）和优化工程中心，卡斯蒂尔帕克·阿伦伯格，赫弗利，比利时，2013年。 [4] J.Andersson、J.Akesson和M.Diehl，{使用CasADi}进行动态优化，第51届IEEE决策与控制年会（CDC）会议记录，2012年，第681-686页。 [5] A.Atamtu¨rk和M.Savelsbergh，《整数编程软件系统》，Ann.Oper。Res.，140（2005），第67-124页·Zbl 1091.90046号 [6] D.Bertsimas、D.B.Brown和C.Caramanis，《稳健优化的理论和应用》，SIAM Rev.，53（2011），第464-501页·Zbl 1233.90259号 [7] D.Bertsimas和F.de Ruiter，{两阶段自适应线性优化的对偶性：更快的计算和更强的边界}，INFORMS J.Compute。，28（2016），第500-511页·Zbl 1348.90625号 [8] D.Bertsimas、I.Dunning和M.Lubin，{稳健优化的重整与切割方案}，计算。管理。科学。，13（2016），第195-217页。 [9] D.Bertsimas和J.Tsitsiklis，{线性优化导论}，Athena Scientific，Nashua，NH，1997年。 [10] J.Bezanson、A.Edelman、S.Karpinski和V.B.Shah，《朱莉娅：数值计算的新方法》，SIAM Rev.，59（2017），第65-98页·Zbl 1356.68030号 [11] J.Bezanson、S.Karpinski、V.Shah和A.Edelman，《为什么我们创造了朱莉娅》，2012年（2016年7月20日查阅）。 [12] J.Bezanson、S.Karpinski、V.B.Shah和A.Edelman，《朱莉娅：技术计算的快速动态语言》，预印本，2012年·Zbl 1356.68030号 [13] D.Bienstock、M.Chertkov和S.Harnett，《机会约束最优潮流：不确定性下的风险感知网络控制》，SIAM Rev.，56（2014），第461-495页·Zbl 1301.93095号 [14] D.Bienstock和O.Gu¨nlu¨k，一个复杂的混合整数多商品流问题的计算经验，数学。程序。，68（1995），第213-237页·Zbl 0834.90054号 [15] J.Birge和F.Louveaux，《随机编程导论》，第二版，Springer Ser。操作。Res.财务。工程师，施普林格，纽约，2011年·Zbl 1223.90001号 [16] C.Bischof、P.Khademi、A.Mauer和A.Carle，{\it-Adifor\（2.0\）：Fortran 77程序的自动区分}，IEEE计算。科学。工程，3（1996），第18-32页。 [17] A.Brooke、D.Kendrick、A.Meeraus和R.Raman，《游戏：用户指南》，科学出版社，加利福尼亚州红木市，1999年。 [18] A.E.Bryson，{动态优化}，Addison-Wesley Longman，Menlo Park，CA，1999年。 [19] E.Burnell和W.Hoburg，{几何编程的gpkit软件}，0.4.1版，2015年。 [20] M.R.Bussieck、M.C.Ferris和T.Lohmann，《GUSS：求解GAMS内的数据相关模型集合》，收录于《代数建模系统》，J.Kallrath主编，Appl。最佳方案。104，施普林格，柏林，海德堡，2012年，第35-56页·Zbl 1247.68052号 [21] J.Castro，{\it原块角问题的内点方法}，计算。最佳方案。申请。，36（2007），第195-219页·Zbl 1148.90351号 [22] E.D.Dolan、J.J.Moreí和T.S.Munson，{使用COPS的基准优化软件}3.0，技术报告ANL/MCS-TM-273，Argonne国家实验室，伊利诺伊州Lemont，2004年。 [23] J.Dongarra、J.Bunch、C.Moler和G.Stewart，《LINPACK用户指南》，SIAM，费城，1979年。 [24] I.Dunning，《稳健和自适应优化的进展：算法、软件和见解》，麻省理工学院博士论文，马萨诸塞州剑桥市，2016年。 [25] I.Dunning、V.Gupta、A.King、J.Kung、M.Lubin和J.Silberholz，《运筹学和分析高级软件工具课程》，INFORMS Trans。教育，15（2015），第169-179页。 [26] M.Ferris、P.Gill、T.Kelley和J.Lee，《比勒-奥查德-霍斯奖》，2012年（2015年1月29日查阅）。 [27] R.Fourer，《论优化建模系统的演变》，《优化故事》，M.Grotschel编辑，Doc。数学。，2012年，第377-388页·Zbl 1267.01039号 [28] R.Forer、D.M.Gay和B.W.Kernighan，《数学编程建模语言》，管理科学。，36（1990），第519-554页·Zbl 0701.90062号 [29] R.Forer、D.M.Gay和B.W.Kernighan，《AMPL:数学编程建模语言》，第二版，布鲁克斯/科尔，加利福尼亚州太平洋格罗夫，2003年·Zbl 0701.90062号 [30] E.Fragnière、J.Gondzio、R.Sarkisian和J.-P.Vial，{it代数建模语言中的结构开发工具}，管理科学。，46（2000），第1145-1158页·Zbl 1232.90307号 [31] D.M.Gay，{非线性AMPL模型的更多AD：计算Hessian信息和利用部分可分性}，《计算微分：应用、技术和工具》，M.Berz、C.Bischof、G.Corliss和A.Griewank编辑，SIAM，费城，1996年，第173-184页·Zbl 0866.65018号 [32] A.H.Gebremedhin、A.Tarafdar、A.Pothen和A.Walther，{使用着色和自动微分对稀疏黑森函数进行有效计算}，《信息计算杂志》。，21（2009），第209-223页·Zbl 1243.65071号 [33] P.Gill、W.Murray和M.Wright，《实用优化》，学术出版社，加州圣地亚哥，1981年·Zbl 0503.90062号 [34] R.Giordano、T.Broderick和M.Jordan，{基于平均场变分Bayes}的准确协方差估计的线性响应方法，摘自《神经信息处理系统进展》28，C.Cortes、N.D.Lawrence、D.D.Lee、M.Sugiyama和R.Garnett编辑，Curren Associates，Inc.，2015年，第1441-1449页。 [35] R.H.Goddard，《达到极端高度的方法》，《自然》，105（1920），第809-811页。 [36] J.Goh和M.Sim，《ROME轻松实现稳健优化》，Oper。研究，59（2011），第973-985页·Zbl 1235.90107号 [37] B.Gough，《GNU科学图书馆参考手册》，第3版，网络理论有限公司，2009年。 [38] S.Gowda，{\it Interact.jl}，2015年（2015年4月14日访问）。 [39] M.Grant和S.Boyd，{\it CVX:MATLAB软件用于约束凸编程}，2.1版，2014年。 [40] M.Grant、S.Boyd和Y.Ye，《全局优化：从理论到实现，非凸优化及其应用系列》，Springer，纽约，2006年，第155-210页·Zbl 1130.90382号 [41] A.Griewank和A.Walterher，《评估衍生品：算法微分的原理和技术》，第2版，SIAM，费城，2008年·兹比尔1159.65026 [42] A.Grothe、J.Hogg、K.Woodsend、M.Colombo和J.Gondzio，{\it数学编程用可并行化建模语言的结构}，摘自《并行科学计算与优化》，Springer Optim。申请。27，Springer，纽约，2009年，第145-156页·Zbl 1156.65311号 [43] 古罗比优化公司，{古罗比优化器参考手册}，2015年。 [44] W.E.Hart、J.-P.Watson和D.L.Woodruff，《Pyomo：用Python建模和求解数学程序》，《数学》。程序。计算。，3（2011），第219-260页。 [45] J.Huchette、M.Lubin和C.Petra，《随机优化的并行代数建模》，摘自《动态语言高性能技术计算第一次研讨会论文集》，HPTCDL’14，新泽西州皮斯卡塔韦，2014年，IEEE出版社，第29-35页。 [46] A.S.Jacobsen、L.Stagner、M.Salewski、B.Geiger、W.W.Heidbrink、S.B.Korsholm、F.Leipold、S.K.Nielsen、J.Rasmussen、M.Stejner、H.Thomsen、M.Weiland和ASDEX升级团队，《融合等离子体中快速离子速度空间层析成像的反演方法》，等离子体物理学。受控融合，58（2016），045016。 [47] D.Jones等人，{\it Gadfly.jl}，版本0.3.92014。 [48] J.Kallrath，{使用代数建模系统的多石器建模和求解方法}，Optim。莱特。，5（2011年），第453-466页·Zbl 1259.90075号 [49] T.Kluyver等人，《Jupyter笔记本——可复制计算工作流的出版格式》，IOP出版社，第87-90页。 [50] N.Korolko和Z.Sahinoglu，{未监管电力市场中电动汽车充电计划的稳健优化}，IEEE Trans。智能电网，8（2017），第149-157页。 [51] C.Kwon，{\it Complementarity.jl}（2016年7月7日访问）。 [52] C.Kwon，｛\it VariationalInequality.jl｝，（2016年7月7日查阅）。 [53] C.Lattner和V.Adve，{\it LLVM:终身程序分析和转换的编译框架}，《2004年IEEE代码生成和优化国际研讨会论文集》，IEEE，2004年，第75-86页。 [54] M.S.Lobo、L.Vandenberghe、S.Boyd和H.Lebret，《二阶锥规划的应用》，线性代数应用。，284（1998），第193-228页·Zbl 0946.90050号 [55] J.Loífberg，{it YALMIP:MATLAB中建模和优化的工具箱}，《2004年IEEE计算机辅助控制系统设计国际研讨会论文集》，IEEE，2004年，第284-289页。 [56] J.Lo¨fberg，{自动鲁棒凸规划}，Optim。方法软件。，27（2012），第115-129页·Zbl 1242.90289号 [57] M.Lubin和I.Dunning，《使用Julia进行运筹研究中的计算》，INFORMS J.Compute。，27（2015），第238-248页·Zbl 1331.90001号 [58] M.Lubin、Y.Dvorkin和S.Backhaus，《可再生能源发电机会约束最优潮流的稳健方法》，IEEE Trans。电力系统，31（2016），第3840-3849页。 [59] H.Markowitz，{投资组合选择}，《金融杂志》，7（1952），第77-91页。 [60] A.J.Mason，{it SolverStudio：一种在Excel中更好地优化和模拟建模的新工具}，INFORMS Trans。教育，14（2013），第45-52页。 [61] H.Maurer和H.D.Mittelmann，{状态变量有界的非线性光束最优控制}，Optim。控制应用程序。方法，12（1991），第19-31页·兹比尔0754.49002 [62] 消息传递论坛，{\it MPI:消息传递接口标准}，技术代表，田纳西州诺克斯维尔，1994年。 [63] H.D.Mittelmann，{离散抛物和椭圆控制问题的充分最优性}，《离散优化问题的快速求解》，K.-H.Hoffman，R.H.L.Hoppe，and V.Schulz，eds.，Springer，Basel，2001，pp.184-196·Zbl 0981.49018号 [64] U.Naumann，《区分计算机程序的艺术》，SIAM，费城，2011年。 [65] R.D.Neidinger，《自动微分和MATLAB面向对象编程导论》，SIAM Rev.，52（2010），第545-563页·Zbl 1196.65048号 [66] W.Orchard-Hays，{数学编程系统的历史}，IEEE Ann.历史计算。，6（1984年），第296-312页·Zbl 0998.01525号 [67] S.H.Owen和M.S.Daskin，《战略设施位置：回顾》，《欧洲期刊》。Res.，111（1998），第423-447页·Zbl 0938.90048号 [68] C.G.Petra、V.Zavala、E.Nino-Ruiz和M.Anitescu，《风力协方差估计对电网运行的经济影响》，预印本ANL/MCS-P5M8-0614，阿贡国家实验室，2014年。 [69] D.T.Phan和A.Koc，《安全约束机组组合和经济调度的优化方法与不确定性分析》，载于《智能电网的优化和安全挑战》，V.Pappu、M.Carvalho和P.Pardalos编辑，《能源系统》，柏林斯普林格，海德堡，2013年，第1-37页。 [70] J.Revels、M.Lubin和T.Papamarkou，《朱莉娅的正向模式自动区分》，预印本，2016年；在AD2016–第七届国际算法区分会议上提交的扩展摘要，英国牛津。 [71] A.N.Riseth，{\it MultiJuMP.jl}（2016年7月7日访问）。 [72] D.Shelar和S.Amin，《配电网对DER中断的脆弱性分析》，美国控制会议（ACC），2015年，第2461-2468页。 [73] H.Shen，{互动笔记本：共享代码}，《自然》，515（2014），第151-152页。 [74] D.Spinellis，{领域特定语言的显著设计模式}，J.Systems Softw。，56（2001），第91-99页。 [75] Stan开发团队，｛\it Stan建模语言用户指南和参考手册｝，版本2.5.02014。 [76] M.Udell、K.Mohan、D.Zeng、J.Hong、S.Diamond和S.Boyd，《Julia中的凸优化》，摘自《第一届动态语言高性能技术计算研讨会论文集》，HPTCDL’14，新泽西州皮斯卡塔韦，2014年，IEEE出版社，第18-28页。 [77] J.P.Vielma、I.Dunning、J.Huchette和M.Lubin，《混合整数二次规划中的扩展公式》，数学。程序。计算。，2016年，第1-50页·Zbl 1387.90165号 [78] A.Waíchter和L.T.Biegler，{\it关于大规模非线性规划的点内滤波线性搜索算法的实现}，数学。程序。，106（2006），第25-57页·Zbl 1134.90542号 [79] A.Walther和A.Griewank，{\it Getting started with ADOL-C}，《组合科学计算》，U.Naumann和O.Schenk编辑，查普曼霍尔/CRC计算。科学。序列号。，CRC出版社，佛罗里达州博卡拉顿，2012年，第181-202页·Zbl 1235.68008号 [80] J.-P.Watson、D.Woodruff和W.Hart，《PySP：用Python建模和求解随机程序》，数学。程序。计算。，4（2012年），第109-149页·Zbl 1275.90049号 [81] V.Zverovich，C.I.Faкbiaкn，E.F.D.Ellison，and G.Mitra，{使用增强Benders分解处理两阶段随机LP的解算器系统的计算研究}，数学。程序。计算。，4（2012年），第211-238页·Zbl 1275.90050 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。