优化服务


 

 

 

 

 

 

 

 

优化服务实例语言(OSiL)

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

点击查看或下载OSiL文件


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

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

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

osModelSolver

如果建模者希望将任何解算器与任何建模语言一起使用,那么建模语言和解算器的激增就是一个问题。解决问题的一个标准方法是建模者使用所有的实例来表示问题。

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

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

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

下图说明了一般OSiL模式。

奥斯化学图


链接:

见OSiL相关文件。

OSiL文件

点击查看或下载OSiL XML模式->欧西里。xsd公司