OSiL: An instance language for optimization
OSiL: An instance language for optimization
复制标题
OSiL：用于优化的实例语言
DOI：
--
复制
发表时间：
2010
影响因子：
2.2
通讯作者：
Kipp Martin
中科院分区：
文献类型：
--
作者：
R. Fourer;Jun Ma;Kipp Martin
在当今的计算环境中，分布式计算技术（如Web服务）的重要性正在迅速增长。在数学优化领域，将建模语言与优化求解器分开是很常见的。在完全分布式的环境中，用于生成模型实例的建模语言软件、求解器软件和数据可能驻留在使用不同操作系统的不同机器上。这样的分布式环境使得拥有一个用于交换模型实例的开放标准变得至关重要。在本文中，我们提出了OSiL（优化服务实例语言），这是一种基于xml的计算机语言，用于表示大规模优化问题的实例，包括线性规划、混合整数规划、二次规划和非常一般的非线性规划。在优化问题实例方面，OSiL有两个关键特性，使其优于当前的标准形式。首先，它使用XML模式的面向对象特性来有效地表示非线性表达式。其次，它的XML模式直接映射到问题实例的相应内存表示。内存表示为一般非线性编程提供了一个健壮的应用程序接口，方便了对非线性表达式树的后缀、前缀和中音格式的读写，并使表达式树易于用于函数和导数求值。
Distributed computing technologies such as Web Services are growing rapidly in importance in today’s computing environment. In the area of mathematical optimization, it is common to separate modeling languages from optimization solvers. In a completely distributed environment, the modeling language software, solver software, and data used to generate a model instance might reside on different machines using different operating systems. Such a distributed environment makes it critical to have an open standard for exchanging model instances.In this paper we present OSiL (Optimization Services instance Language), an XML-based computer language for representing instances of large-scale optimization problems including linear programs, mixed-integer programs, quadratic programs, and very general nonlinear programs. OSiL has two key features that make it much superior to current standard forms for optimization problem instances. First, it uses the object-oriented features of XML schemas to efficiently represent nonlinear expressions. Second, its XML schema maps directly into a corresponding in-memory representation of a problem instance. The in-memory representation provides a robust application program interface for general nonlinear programming, facilitates reading and writing postfix, prefix, and infix formats to and from the nonlinear expression tree, and makes the expression tree readily available for function and derivative evaluations.