奥西里

OSiL:一种优化实例语言。分布式计算技术(如Web服务)在当今计算环境中的重要性正在迅速增长。在数学优化领域,通常将建模语言与优化求解器分离。在完全分布式环境中,用于生成模型实例的建模语言软件、解算器软件和数据可能驻留在使用不同操作系统的不同计算机上。在这样一个分布式环境中,有一个开放的模型实例交换标准是非常重要的。本文提出了一种基于XML的计算机语言OSiL(Optimization Services instance Language),它是一种用于表示大规模优化问题实例的计算机语言,包括线性规划、混合整数规划、二次规划等,以及非常一般的非线性程序。OSiL有两个关键特性,这使得它在优化问题实例方面优于当前的标准表单。首先,它使用XML模式的面向对象特性来高效地表示非线性表达式。其次,它的XML模式直接映射到问题实例的相应内存表示。内存表示为一般非线性编程提供了一个健壮的应用程序接口,便于在非线性表达式树中读写后缀、前缀和中缀格式,并使表达式树易于用于函数和导数求值。