福勒，罗伯特;马骏;基普·马丁 OSiL：一种用于优化的实例语言。 （英文） 邮编：1189.90007 计算。最佳方案。应用。 45，第1期，181-203（2010）. 概要：分布式计算技术（如Web Services）在当今的计算环境中的重要性正在迅速增长。在数学优化领域，通常将建模语言与优化求解器分离。在完全分布式环境中，用于生成模型实例的建模语言软件、求解器软件和数据可能驻留在使用不同操作系统的不同机器上。这种分布式环境使得有一个用于交换模型实例的开放标准至关重要。在本文中，我们介绍OSiL公司（优化服务实例语言），一种基于XML的计算机语言，用于表示大规模优化问题的实例，包括线性程序、混合整数程序、二次程序和非常一般的非线性程序。OSiL有两个关键特性，使其在优化问题实例方面远远优于当前的标准形式。首先，它使用XML模式的面向对象特性来高效地表示非线性表达式。其次，它的XML模式直接映射到问题实例的相应内存表示中。内存表示为一般非线性编程提供了一个健壮的应用程序接口，有助于在非线性表达式树中读取和写入后缀、前缀和中缀格式，并使表达式树易于用于函数和导数计算。 引用于8文件 MSC公司： 90-08 运筹学和数学规划相关问题的计算方法 90立方厘米 数学编程 68英里11 互联网主题 关键词：线性规划;非线性规划;建模语言;信息系统;web服务;XML格式;OSiL公司 软件：近地天体;凯斯特雷尔;OPL公司;AMPL公司;CppAD公司;LPFML公司;OSiL公司;林多;ADiCape公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Forer}等人，《计算》。最佳方案。申请。45，第1号，181--203（2010；Zbl 1189.90007） 全文： 内政部 参考文献： [1] Aho，A.V.、Sethi，R.、Ullman，J.D.：《汇编：原理、技术和工具》。Addison-Wesley，雷丁（1986）·Zbl 1155.68020号 [2] Bell，B.：CppAD：C++算法微分包。http://www.coin-or.org/CppAD/（2006年） [3] Bischof，C.H.，Bücker，H.M.，Marquardt，W.，Petera，M.，Wyes，J.：转换过程工程中基于方程的模型。收录于：Bücher，H.M，Corliss，G.，Hovland，P.，Naumann，U.，Norris，B.（编辑）《自动微分：应用、理论和实现》。计算科学与工程课堂讲稿，第189-198页。施普林格，柏林（2005）·Zbl 1270.68385号 [4] Bradley，G.：介绍可扩展标记语言（XML）和运筹学示例。ICS新闻。24, 1–20 (2003) [5] Bradley，G.：网络和图形标记语言（NaGML）——数据文件格式。技术报告NPS-OR-04-007，美国加利福尼亚州蒙特雷海军研究生院作战研究系（2004）。可从作者处获得，bradley@nps.navy.mil [6] Chang，T.-H.：用xml:lp建模和表示数学程序。坎特伯雷大学管理系硕士论文，新西兰克里斯楚（2003年） [7] Czyzyk，J.、Mesnier，M.P.、Moré，J.J.：NEOS服务器。IEEE J.计算。科学。工程5，68–75（1998）·数字对象标识代码：10.1109/99.714603 [8] Dolan，E.D.，Fourer，R.，Goux，J.-P.，Munson，T.S.，Sarich，J.：Kestrel：从优化建模系统到NEOS服务器的接口。技术报告，西北大学优化技术中心，伊利诺伊州埃文斯顿，伊利诺伊尔州阿贡国家实验室数学与计算机科学部（2006年）。http://www.optimization-online.org/DB_HTML/2007/01/1559.HTML ·Zbl 1243.90002号 [9] Dolan，E.D.、Fourer，R.、Moré，J.J.、Munson，T.S.：NEOS服务器上的优化。SIAM新闻35（6），4-9（2002）。 [10] Ezechukwu，O.C.，Maros，I.：OOF：开放优化框架。技术报告ISSN 1469-4174，英国伦敦帝国理工学院计算系（2003） [11] Forer，R.，Gay，D.M.：扩展代数建模语言以支持约束逻辑编程。信息J.计算。14, 322–344 (2002) ·Zbl 1238.90113号 ·doi:10.1287/ijoc.14.4.322.2825 [12] Forer，R.，Gay，D.M.，Kernighan，B.W.：数学编程的建模语言。管理。科学。36, 519–554 (1990) ·Zbl 0701.90062号 ·doi:10.1287/mnsc.36.519 [13] Forer，R.，Lopes，L.，Martin，K.：LPFML：用于线性和整数编程的W3C XML模式。信息J.计算。17, 139–158 (2005) ·Zbl 1239.90071号 ·doi:10.1287/ijoc.1040.0120 [14] Forer，R.：线性规划的建模语言与矩阵生成器。ACM事务处理。数学。柔和。9143-183（1983年）·数字对象标识代码：10.1145/357456.357457 [15] Forer，R.，Gay，D.M.，Kernighan，B.W.：AMPL:数学编程建模语言，第二版。Brooks/Cole，Pacific Grove（2003）·Zbl 0701.90062号 [16] Gay，D.M.：将解算器连接到AMPL（1994年修订，1997年）。技术报告，贝尔实验室，新泽西州默里山（1993） [17] Griewank，A.：评估衍生品：算法区分的原理和技术。SIAM，费城（2000）·Zbl 0958.65028号 [18] Halldórsson，B.V.，Thorsteinsson，E.S.，Kristjánsson，B.：非线性规划求解器的建模接口实例：xMPS，扩展MPS格式。卡内基梅隆大学和Maximal软件公司的技术报告（2000年） [19] Kristjánsson，B.：分布式应用程序中的优化建模：XML和SOAP等新技术如何允许OR提供基于web的服务（2001）。http://www.maximal-usa.com/slides/Svna01Max/index.htm [20] Lindo Systems，Inc.：Lindo API用户手册。技术报告，Lindo Systems，Inc.（2002年）。http://www.lindo.com/lindoapi_pdf.zip [21] Lougee-Heimer，R.：运筹学的通用优化界面。IBM J.Res.Dev.47（1），57–66（2003）·数字对象标识代码：10.1147/rd.471.0057 [22] Lustig，I.J.，Puget，J.-F.：程序设计：约束编程及其与数学编程的关系。接口31（6），29–53（2001） [23] 马，J.：优化服务（OS），优化建模系统的通用框架。伊利诺伊州埃文斯顿西北大学工业工程与管理科学系博士论文（2005） [24] Rosenbrock，H.H.：一种自动寻找函数最大值或最小值的方法。计算。J.3，175–184（1960）·doi:10.1093/comjnl/3.3.175 [25] Sandhu，P.：《数学ML手册》。查尔斯·里弗·梅迪亚（Charles River Media），辛厄姆（Hingham）（2003年）·兹比尔1041.68122 [26] Skonnard，A.，Gudgin，M.：基本XML快速参考。培生教育，波士顿（2002） [27] Van Hentenryck，P.：OPL中的约束和整数编程。信息J.计算。14, 345–372 (2002) ·Zbl 1238.90102号 ·doi:10.1287/ijoc.14.4.345.2826 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。