×

用于数学和随机规划的结构传递建模语言。 (英语) Zbl 1191.68140号

摘要:我们提出了一种用于数学编程的带结构的代数建模语言。该语言使用面向对象的特性扩展了AMPL,允许用户从子模型构造模型,并实现为AMPL的预处理和后处理阶段的组合。与传统建模语言不同,新方法不会扰乱问题的块结构,因此可以将此结构传递给求解器。因此,利用块线性代数和基于分解的解算器的内部点解算器可以直接利用问题的结构。该语言具有方便地建模随机规划问题的功能,尽管它的设计具有更广泛的应用范围。

MSC公司:

68甲15 编程语言理论
90C06型 数学规划中的大尺度问题
90立方厘米 随机规划
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Benders J.F.:解决混合变量编程问题的分区过程。数字数学4,238–252(1962)·Zbl 0109.38302号 ·doi:10.1007/BF01386316
[2] Birge J.、Dempster M.、Gassmann H.、Gunn E.、King A.、Wallace S.:多周期随机线性程序的标准输入格式。通信算法新闻。17, 1–19 (1987)
[3] Bisschop,J.,Entriken,R.:AIMMS建模系统。Paragon十进制。Technol公司。(1993)
[4] Blomvall J.,Lindberg P.O:一种用于多级随机规划的基于Riccati的原始内点求解器。欧洲药典。第143、452–461号决议(2002年)·Zbl 1058.90074号 ·doi:10.1016/S0377-2217(02)00301-6
[5] Brooke A.、Kendrick D.、Meeraus A.:游戏:用户指南。科学出版社,加利福尼亚州红木市(1992)
[6] Buchanan C.,McKinnon K.,Skondras G.:代数建模语言中随机线性规划问题的递归定义。安·Oper。第104号决议,第15-32号决议(2001年)·Zbl 1008.90039号 ·doi:10.1023/A:1013126632649
[7] Colombani Y.,Heipcke S.(2002)Mosel:建模和编程解决方案的可扩展环境。收录人:Jussien N.、Laburthe F.(编辑)。第四届组合优化问题约束规划中人工智能与操作规则技术集成国际研讨会论文集(CP-AI-OR’02)。法国勒克罗伊西克,第277-290页
[8] Dantzig G.B.,Wolfe P.:线性规划的分解算法。《计量经济学》29,767–778(1961)·Zbl 0104.14305号 ·doi:10.2307/1911818
[9] Ferris M.C.,Horn D.J.:并行求解的数学程序划分。数学。程序。80, 35–62 (1998) ·Zbl 0894.90108号
[10] Fourer,R.:提出了新的AMPL特性:随机规划扩展。http://www.ampl.com/NEW/FUTURE/stoch.html . 2009年2月10日访问
[11] Forer R.,Gay D.M.:将问题结构从代数建模语言传递到优化算法。收录于:Laguna,M.,Velarde,J.G.(编辑)《建模、优化和仿真的计算工具:计算机科学和运筹学中的接口》,第75-89页。多德雷赫特·克鲁沃(2000)
[12] Fourer R.,Lopes L.:StAMPL:一种面向过滤的随机资源问题建模工具。信息计算杂志21,242–256(2009)·Zbl 1243.90003号 ·doi:10.1287/ijoc.1080.0289
[13] Forer R.、Gay D.、Kernighan B.W.:AMPL:数学编程建模语言。科学出版社,加利福尼亚州旧金山(1993)·Zbl 0701.90062号
[14] Fragnière E.,Gondzio J.:优化建模语言。摘自:Pardalos,P.,Resende,M.《应用优化手册》,第993-1007页。牛津大学出版社,纽约(2002)
[15] Fragnière E.,Gondzio J.,Sarkissian R.,Vial J.-P:代数建模语言中的结构开发工具。管理科学461145–1158(2000)·兹比尔1232.90307 ·doi:10.1287/mnsc.46.8.1145.12026
[16] D.M.盖伊:新泽西州默里山贝尔实验室技术代表,将解算器与AMPL挂钩(1993年)(1994年、1997年修订)
[17] Gondzio J.,Grothe A.:用内点法优化时产生的109大小线性系统的直接解。摘自:Wyrzykowski,R.《并行处理与应用数学》,第513-525页。Springer,Berlin(2006)第3911卷《计算机科学讲稿》·Zbl 1182.65050号
[18] Gondzio J.,Grothe A.:结构化二次规划的并行内点求解器:在财务规划问题中的应用。安·Oper。第152、319–339号决议(2007年)·Zbl 1144.90510号 ·doi:10.1007/s10479-006-0139-z
[19] Gondzio J.,Grothe A.:利用并行实现内点方法的结构进行优化。计算。管理。科学。6, 135–160 (2009) ·Zbl 1170.90518号 ·doi:10.1007/s10287-008-0090-3
[20] Gondzio J.,Sarkisian R.:结构化线性程序的并行内点求解器。数学。程序。96, 561–584 (2003) ·Zbl 1023.90039号 ·文件编号:10.1007/s10107-003-0379-5
[21] Grothe A.、Hogg J.、Woodsend K.、Colombo M.、Gondzio J.:一种用于数学编程的结构传递并行建模语言。收录于:《并行科学计算与优化:进展与应用》,第147-158页。Springer,Berlin(2009),《pringer优化及其应用》第27卷·Zbl 1191.68140号
[22] Hochreiter,R.:多阶段随机规划问题的简化阶段建模。In:会议演讲:SPXI,奥地利维也纳,2007年8月
[23] Kuip C.A.C.:数学编程的代数语言。欧洲药典。第67、25–51号决议(1993年)·Zbl 0776.90087号 ·doi:10.1016/0377-2217(93)90320-M
[24] Markowitz H.:投资组合选择。《金融杂志》7(1),77–91(1952)·doi:10.2307/2975974
[25] Murtagh B.:高级线性规划:计算与实践。McGraw-Hill,纽约(1981)·Zbl 0525.90062号
[26] Refalo P.:约束规划模型和混合求解器的线性公式。收录于:Dechter,R.(eds)《约束编程的原理与实践——CP 2000》,第369-383页。施普林格,柏林/海德堡(2000),《计算机科学讲义》第1894/2000卷·兹比尔1044.68792
[27] Sengupta,P.:MILANO,一个面向对象的代数建模系统。可从Simulation Sciences Inc.网站获取:http://www.simciesscor.com/NR/rdonlyres/C0061CFF-7F7A-4526-8710-D4362C6DCD36/0/102797.pdf
[28] Steinbach M.:多级凸随机规划中的层次稀疏性。收录于:Uryasev,S.,Pardalos,P.M.(编辑)《随机优化:算法和应用》,第363–388页。多德雷赫特·克鲁沃(2000)
[29] Valente C.、Mitra G.、Sadki M.、Fourer R.:随机规划代数建模语言的扩展。信息J.计算。21, 107–122 (2009) ·Zbl 1243.90011号 ·doi:10.1287/ijoc.1080.0282
[30] Van Hentenryck P.:OPL优化编程语言。麻省理工学院出版社,剑桥(1999)
[31] Wallace,S.W.,Ziemba,W.T.(编辑):随机编程的应用。SIAM,费城(2005)·Zbl 1068.90002号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。