优化服务


 

 

 

 

 

 

 

 

优化服务实例语言(OSiL)

点击查看或下载OSiL XML模式->OSiL.xsd公司[主要核心部件稳定]

点击查看或下载OSiL论文


OSiL(instance)是一种优化实例格式,是一种先进的设计,简单、干净、可扩展、面向对象。

OSiL无疑是最关键的实例表示。OSiL应解释为优化服务输入实例语言。许多其他OSxL表示的内容,如优化服务结果语言和优化服务分析语言,都是基于OSiL设计并由其驱动的。在一个典型的优化过程,OSiL几乎与所有主要操作系统组件在操作系统网络上

有许多代数建模语言可用于生成数学程序(或优化问题),也有许多数学编程求解器可用于求解数学程序。

osModelSolver

如果建模者想将任何求解器与任何建模语言一起使用,那么建模语言和求解器的这种扩散都是一个问题。提高模型求解器兼容性的一种方法是使用问题实例的行业标准表示法,以便所有建模语言和所有求解器使用问题实例相同的表示法。

OSiL具有高度可扩展性,支持以下优化类型[方括号中的状态]:

  • 线性[稳定]
  • 混合整数[稳定]
  • 有界约束优化[稳定]
  • 一般二次优化[稳定]
  • 多目标优化[稳定]
  • 非线性无约束/约束[稳定]
  • 一般混合整数非线性[稳定]
  • 带有用户定义函数的一般非线性[稳定]
  • xml数据的一般非线性(OSiL中的本地或远程)[稳定]
  • 带数据查找的一般非线性(XPath)[稳定]
  • 约束/逻辑编程[接近稳定]
  • 互补问题[接近稳定]
  • 一般非线性模拟(黑盒函数)[近稳定]
  • 半定规划[开发中的原型]
  • 圆锥编程[开发中的原型]
  • 随机线性/非线性(追索权问题、基于惩罚的问题、基于情景(隐式或显式)的问题、风险度量/机会约束问题、所有主要的单变量、多变量和用户定义的分布、一般线性变换和ARMA过程)[正在开发中]

Optimization Services表示项目从OSiL开始,用于表示通用优化输入实例。OSiL的根源在于LPFML公司用于表示线性程序实例。对于线性规划,实例可以表示为目标函数和约束函数中变量的非零系数列表,以及变量和约束函数的边界。LPFML公司还略微支持解算器选项和优化输出。OSiL扩展和改进LPFML公司的线性程序设计思想,并添加了其他优化类型。没有单独的线性的Optimization Services中的实例表示。我们保留首字母缩写词OSL(优化服务线性的语言)向LPFML致敬,因为它为我们提供了线性程序表示的基础和洞察力,并在优化中早期采用了XML技术。然而,优化服务通过OSoL(优化服务选项语言)和OSrL(优化服务结果语言)分别支持优化选项和结果。

下图说明了通用OSiL模式。

OSiLS架构图


链接:

请参阅OSiL相关文档。

OSiL论文

点击查看或下载OSiL XML模式->OSiL.xsd公司