演示文稿（按时间顺序）

Horand Gassman（主持人），Jun Ma，Kipp Martin，优化服务（OS）的最新发展，（2016年12月14日） pdf格式

优化服务（OS）的最新发展

Horand Gassman（主持人）、Jun Ma、Kipp Martin、Imre Polik，《OSiL模式的扩展：优化服务（OS）的最新发展》（2016年11月7日） pdf格式

优化服务（OS）是COIN-OR下的一个开源项目，为通过互联网解决优化问题提供基础设施。这包括许多XML模式，用于传输问题实例、选项和解决方案以及相关信息；以及许多开源和商业解决方案的接口。本讲座介绍了最近的发展，例如支持OSiL格式中的矩阵描述，开放源代码SDP求解器CSDP的接口，以及用于描述实时数据元素、问题修改、析取和随机信息的模式元素。

Horand Gassman（主持人）、Jun Ma、Kipp Martin、Imre Polik，《OSiL模式的扩展：矩阵和锥编程》（2014年7月17日） pdf格式购买力平价

最近，人们对锥规划和矩阵规划给予了很大的关注，例如，使用硬混合整数规划的松弛，该规划使用的变量的值需要形成对称半正定矩阵或满足类似的锥约束。本次演讲旨在促进OSiL框架内此类问题的形成，OSiL是一种XML模式，用于为各种数学优化问题实例提供统一的表示格式。OSiL是OS项目的一部分，是COIN-OR保护伞下的一个开源项目。

Horand Gassman（主持人）、Jun Ma、Kipp Martin，《优化服务：沟通求解器选项和求解器结果》（2011年11月15日） pdf格式

优化服务（OS）是一个连接代数建模语言和求解器的网络软件框架。通信以标准化的XML格式进行。在简要概述了系统设计之后，我将更详细地描述选项和结果格式。与实例描述不同，这里有两种选择，一种是灵活性，以满足解算器开发人员的不同设计选择，另一种是刚性，以允许一个AML在不更改界面的情况下与多个解算器对话。

Mike Steglich，CMPL（Coliop/COIN数学编程语言）（2011年11月15日）链接

CMPL是一种数学编程语言，是一个用于建模、求解和分析线性规划（LP）问题和混合整数规划（MIP）问题的系统。

Lou Hafer、Mattew Saltzman（主持人），《新OSI：更轻、更薄、更强、更具活力》（2011年11月15日） 链接

在其存在的10年里，与大多数用户不同，最初的OSI界面已经从“有点矮胖”发展到“严重超重”。OSI2是对外包的一种回归，它有点精益和吝啬。在本次演讲中，我们将讨论接口层的实现，该接口层的主要功能是充当代理，管理底层解算器提供的模块以实现定义的API。

Lou Hafer、William Hart、Kipp Martin、Ted Ralphs、Matthew Saltman，小组讨论：COIN-OR技术论坛，（2011年11月15日）pdf格式 链接

继去年的成功论坛之后，本次小组讨论将为COIN-OR软件的用户和开发人员提供一次机会，讨论COIN-OOR中最近和未来的发展。如果你想参与进来，提供反馈，或者只是了解COIN-or，请加入我们！

杰弗里·卡姆（Jeffrey Camm）、萨拉瓦南·库普萨米（Saravanan Kuppusamy）、迈克尔杂志（Michael Magazine）、基普·马丁pdf格式

我们考虑构建最佳公交路线的问题。其目标是最小化由路线上乘客数量加权的行驶距离。得到的模型是一个非常难以优化的非凸整数程序。我们展示了如何将这个问题重新表述为扩展变量空间中的线性整数规划。得到的公式非常大，我们描述了一种基于COIN-OR软件的列生成算法。

Horand Gassman（主持人）、Jun Ma、Kipp Martin，《优化服务：沟通求解器选项和求解器结果》（2011年3月5日） pdf格式

优化服务（OS）是一个连接代数建模语言（AML）和求解器的框架，是在COIN-OR的保护下作为开源项目开发的。OS支持各种线性和非线性解算器，包括开源和商用。操作系统是网络软件，允许分布式计算环境甚至云计算的无缝集成。代数建模语言和求解器之间的通信通过标准化XML格式的字符串和文件进行。我将简要概述系统设计，然后将集中精力更详细地描述选项和结果格式。与实例描述不同，这里的挑战在于既要具备灵活性以满足解算器开发人员的不同设计选择，又要具备刚性以允许一个AML在不更改界面的情况下与多个解算器对话。

Horand Gassman、Jun Ma、Kipp Martin（主讲人），优化服务解算器界面（2010年10月11日） pdf格式

在本次演讲中，我们描述了如何使用Optimization Services（OS）项目与COIN-OR解算器接口。操作系统界面非常灵活，允许用户为解算器生成线性和非线性实例。此外，还有一个用于解算器选项和解算器结果的界面。

Kipp Martin（主持人），Coin Easy（2010年9月11日） pdf格式

在本次演讲中，我们描述了CoinEasy项目，该项目旨在让用户轻松使用COIN-OR进行安装和运行。

Horand Gassman、Jun Ma、Kipp Martin（主持人），优化服务项目（2010年7月11日） pdf格式

在本次讲座中，我们将介绍COIN-OR项目优化服务的最新发展。

Horand Gassman、Jun Ma、Imre Pólik（主持人）、Kipp Martin，《使用COIN OS建模锥优化问题》（2010年7月11日）

我们将COIN OS扩展到模型锥优化问题。我们讨论了扩展的设计原则。最后，我们能够用矩阵对问题进行建模，从而扩展了COIN OS的一般建模能力。这是与Kipp Martin、Horand Gassmann和Jun Ma的联合工作。

Horand Gassman、Jun Ma、Imre Pólik（主持人）、Kipp Martin，《使用COIN OS建模锥优化问题》（2009年12月10日） pdf格式

我们提出了流行的COIN OS的一种新的建模扩展，用于建模锥优化问题。这种扩展不仅能够表示广泛的优化问题，而且还可以捕获它们的特殊结构。这一点至关重要，因为它使解算器能够利用这些特殊结构来加速计算或提高精度。

Saravanan Kuppusamy（主持人），Michael Magazine，Kipp Martin，《使用COIN-OR的交通系统设计》（2009年12月10日） pdf格式

辛辛那提大学的Bearcat运输系统被建模为一个多车辆路径问题并求解。学生人数和旅行时间数据与客户驱动的约束条件相结合，用于设计交通系统。COIN-OR求解器CBC用于GAMS环境中解决问题。结果表明，解决方案有效且可实施。

Craig Froehle，Michael Magazine，Kipp Martin（主持人），Cary Wise，《安排医生到临床和外科时隙：列生成方法》，2009年12月10日 pdf格式

我们考虑在五周内安排医生进行临床和手术的问题。这导致了一个包含数百万变量的整数程序。我们讨论了使用带COIN-OR分支切割和价格（BCP）的列生成来解决此问题。

Horand Gassmann（主持人）、Jun Ma和Kipp Martin，《支持优化服务项目的最新变化》随机规划（06/14/2009）购买力平价 pdf格式

优化服务（OS）是一个COIN-OR项目，通过本地服务器和网络支持各种优化问题的建模和解决。本演讲介绍了系统最近的新增功能，尤其是与支持随机编程和不确定性表示相关的功能。

Kipp Martin（主持人）、Horand Gassmann和Jun Ma，优化服务、Web服务和Excel（2009年12月1日） pdf格式

优化服务（OS）是一个用于表示优化实例、结果、求解器选项和使用Web服务的分布式环境中客户端和解算器之间的通信。在这次演讲中，我们描述我们如何将操作系统项目合并到Microsoft Excel中。我们提供了一个用户定义的类可以使用Visual Basic for Excel在Excel内部构建混合整数线性程序。我们还提供了一个类，允许用户使用Web服务从Excel远程调用COIN-OR解算器。

Diego Klabjan（主持人）、Robert Fourer和Jun Ma，演绎数据库语言中的代数建模（01/12/2009）购买力平价 pdf格式

Datalog是一种演绎语言，专门用于轻松访问数据库。我们在Datalog中提出了一种混合整数线性优化模型的代数建模语言。使用这种语言，可以很容易地从数据库中查询数据，并将其与模型结合以生成问题实例，这比传统的优化建模语言具有优势，后者依赖于使用内置工具读取数据或通过标准文件从外部源导入数据。Datalog的声明性质允许底层语法保持相当直观和简单。

Molham Aref、David Zook和Emir Pasalic（主持人），在数据日志中使用优化服务（2009年12月1日）购买力平价 pdf格式

Optimization Services是最新的基于web的优化标准。除其他功能外，它们允许灵活地将优化解算器用作插件。LogicBlox是一个基于Datalog编程语言的商业企业级建模和优化软件平台，具有复杂的后端和前端接口。我们将在优化服务的上下文中讨论Datalog和LogicBlox计算框架。

H.Gassmann（主持人），J.Ma，K.Martin，OSiL/SE的最新发展（2008年10月13日）购买力平价 pdf格式

OSiL是一种XML模式，用于制定一大类数学编程问题。这篇演讲关注随机程序描述的最新进展。还描述了解析器、内部数据对象和分解算法的基本实现。

B.Brad（演示者），使用算法微分计算备用Hessian（10/13/2008）

CppAD包可以利用Hessian是稀疏的这一事实来减少计算Hessian所需的工作量。我们将回顾如何用与一列相同的工作量计算稀疏Hessian的多列。CppAD使用贪婪距离二图着色算法对可以一起计算的列进行分组。我们将回顾此算法和稀疏Hessian计算的一些速度测试。最后，我们将提出一些改进此计算的方法。

B.Bell，R.Lougee-Heimer，K.Martin（主持人），COIN-OR供应商研讨会（10/11/2008）pdf格式

R.Fourer（主持人）、J.Ma、K.Martin、，COIN-OR优化服务项目：进展和计划，IFORS三年期会议，南非桑顿（07/14/2008）购买力平价 pdf格式

我们描述了优化服务（OS），这是新一代互联网优化系统的统一框架，对优化软件的开发人员和用户都具有优势。操作系统采用基于XML的标准来表示和传达优化问题，因此每个求解器只需要一个接口。操作系统的组件包括基于XML的问题实例表示和相应的内存表示。COIN-OR上托管的开放源码库提供了用于读取和写入这些表示以及在它们之间进行转换的实用程序。

B.Brad（主持人），基于运算符重载的C++算法微分，INFORMS年会，美国华盛顿州西雅图，2007年4月11日网状物

反向模式算法微分使用计算目标所需操作数的小倍数计算梯度。这需要存储与目标对应的操作和值。随着内存变大，反向模式可以有效地应用于更多情况。我们提出了一个C++模板目标，并将其与float、double以及ADOLC、CppAD和FADBAD定义的AD类型一起使用。比较了使用这些AD包的梯度计算时间。

R.Fourer、J.Ma（主持人）、K.Martin、，通过优化服务（OS）将解算器作为Web服务进行设置和托管，INFORMS年会，美国华盛顿州西雅图，2007年4月11日购买力平价 pdf格式

优化服务（OS）是新一代分布式优化系统的统一框架。我们提供了基于一组优化服务协议（OSP）的开源OS库。该库支持在松散耦合的分布式环境中解决各种优化问题类型。我们还提供操作系统服务器软件，供用户托管自己的优化服务。特别是，我们演示了Apache的Tomcat Web服务器中的操作系统集成。

R.Fourer（主持人）、J.Ma、K.Martin、，将优化服务与建模语言和求解器挂钩，INFORMS年会，美国华盛顿州西雅图，2007年4月11日个人数字一代 pdf2

操作系统框架旨在通过表示优化问题实例的新标准来避免重复工作。一旦采用，该标准将只需要为每个建模系统和每个求解器编写一个界面。我们提案的核心是OsiL，一种用于优化问题实例的基于XML的表示，以及OSInstance，一种相应的内存中表示，以及用于处理这些表单的面向对象方法库。

R.Fourer、J.Ma、K.Martin（主持人），优化服务和非线性优化，INFORMS年会，美国华盛顿州西雅图，2007年4月11日 pdf格式

我们描述了如何将优化服务（OS）与第三方非线性解算器结合使用。OS库包含一个OS实例类，该类为解算器提供了灵活的API。OSInstance类有一个以后缀格式生成实例表示的方法。LINDO解算器对此进行了说明。还有一些计算方法使用CppAD包通过算法微分提供梯度和Hessian值。Knitro和Ipopt对此进行了说明。

R.Fourer、J.Ma、K.Martin（主持人），COIN-OR优化服务项目，INFORMS年会，美国华盛顿州西雅图，2007年4月11日pdf格式

优化服务（OS）提供了一组标准，用于表示分布式环境中的优化实例、结果、解算器选项以及客户端和解算器之间的通信。我们为实现OS标准的库提供源代码。该项目包括一个可执行文件OSSolverService，用于将实例（OSiL XML格式、AMPL nl格式、MPS格式）传递给解算器。提供了用于与Cbc、Clp、Cplex、Glpk、Ipopt、Knitro和LINDO通信的软件。

R.Fourer（主持人），如何在COIN-OR上发布软件，INFORMS年会，美国华盛顿州西雅图，2007年4月11日网状物

COIN-OR提供了一个为传播和维护OR软件而定制的环境。如果您已经创建了一个您愿意并且能够“开放”给or社区使用的软件包或库，您可能想考虑将其添加到COIN-or当前支持的二十多个项目中。本演示将详细介绍所涉及的步骤。

G.Gassman（主持人）、R.Fourer、J.Ma、K.Martin、，OSiL：一种基于XML的随机程序模式，第11届随机规划会议（SPXI），奥地利维也纳，2007年8月30日购买力平价 pdf格式

R.Fourer（主持人）、J.Ma、K.Martin、，将解算器挂接到建模系统的开放接口，INFORMS国际，波多黎各，2007年10月7日购买力平价 pdf格式

我们描述了一个用于表示优化问题实例的新开放标准。我们提案的核心是OSiL，一种基于XML的实例表示，以及OSInstance，一种相应的内存表示。作为COIN-OR项目维护的开放源码库提供了应用程序编程接口，用于读写OSiL和OSInstance以及在它们之间进行转换。相关表示处理向解算器传递选项和检索结果。

R.Fourer（主持人），如何在COIN-OR上发布软件，INFORMS国际，波多黎各，2007年10月7日购买力平价 pdf格式

COIN-OR提供了一个为传播和维护OR软件而定制的环境。如果您已经创建了一个您愿意并且能够“开放”给or社区使用的软件包或库，您可能想考虑将其添加到COIN-or当前支持的二十多个项目中。本演示将详细介绍所涉及的步骤。

H.Sheng（主持人）、J.Ma、，广义分支超平面方法与分布式计算技术，2007年9月7日pdf

我们研究了用于混合整数非线性规划研究的广义分支超平面方法和分布式计算技术。

R.Fourer（主持人），NEOS基准服务，INFORMS国际，波多黎各, 07/09/2007购买力平价 pdf格式

NEOS 5上的一个“求解器”实际上是一个基准测试服务，它在同一台机器上的一组求解器上运行提交的问题。除了解算器的输出列表外，该服务还可以选择返回对结果质量的独立评估。它在为特定应用选择解算器时特别有用。

R.Fourer（主持人）、J.Ma、K.Martin、，COIN-OR上的优化服务项目2007年3月1日于美国佛罗里达州珊瑚山墙举行的信息计算学会会议pdf格式

优化服务（OS）是新一代分布式优化系统的统一框架，主要用于互联网上的优化。它结合了基于XML的标准，用于表示和通信与操作系统兼容的软件组件之间的优化相关数据。我们描述了开源操作系统项目及其对优化软件的开发人员和用户的影响。

R.Fourer、J.Ma（主持人）、K.Martin、，基于优化服务（OS）框架和标准构建的企业计算系统，INFORMS年会，美国宾夕法尼亚州匹兹堡（2006年8月11日）购买力平价 pdf格式

优化服务（OS）是一个统一的框架和一组开源标准（在CPL许可下），用于将Comutational和Optimization软件构建为独立系统和分布式系统。在本次演讲中，我们介绍了一个基于操作系统标准的大型企业计算系统的专业实现和部署，该系统适合在Internet和Intranet上调度计算作业。

R.Fourer，J.Ma（主持人），K.Martin，使用优化服务连接语言（OShL）调用远程优化服务，INFORMS年会，美国宾夕法尼亚州匹兹堡（2006年8月11日）购买力平价 pdf格式

我们描述了一个开源的、独立于平台和语言的API，它实现了OShL，这是一个用于托管和调用优化软件作为服务的通用框架。OShL利用Web服务标准通过互联网促进同步（“解决”）和异步（“发送”）优化。OShL具有内置功能来维护后续服务调用之间的状态（“getJobID”），以及从服务远程“敲打”、“杀死”和“检索”优化作业。

H.Sheng（主持人）、J.Ma、S.Mehrotra、，优化服务的影响求解器，INFORMS年会，美国宾夕法尼亚州匹兹堡（2006年8月11日）购买力平价 pdf格式

我们改进了IMPACT求解器，以解决更广泛的优化问题。针对大规模混合非线性整数问题，正在开发和测试新的算法。结合优化服务（OS）协议，我们计划为数学编程应用程序提供强大的求解器服务。

J.Ma（主持人）、S.Mehrotra、H.Sheng、，利用优化服务实现并行整数解算器，INFORMS年会，美国宾夕法尼亚州匹兹堡（2006年8月11日）购买力平价 pdf格式

我们将介绍一个使用优化服务和标准实例实现并行整数解算器的框架。根据进度，将提供计算结果，描述该方法的可行性，该方法用于实现并行求解器，以解决IMPACT求解器包中的困难整数程序。

R.Fourer、J.Ma、K.Martin（主持人），分布式优化的结果语言（OSrL）和求解选项语言（OSoL），INFORMS年会，美国宾夕法尼亚州匹兹堡（2006年8月11日） pdf格式

我们为分布式优化系统提出了一种基于XML的结果语言（OSrL）和一种基于XML的求解器选项语言（OSoL）。我们还描述了相关的内存中对象OSResult和OSOption，它们在库中用于支持基于Web Services的系统中的客户端-解决方案通信。

R.Fourer（主持人）、J.Ma、K.Martin、，优化服务实例语言的扩展，INFORMS年会，美国宾夕法尼亚州匹兹堡（2006年8月11日） pdf格式

今天感兴趣的优化问题超越了传统的线性、整数、二次和光滑非线性类型。必须相应地扩展问题实例的语言。本文描述了我们提出的语言标准OSiL在组合优化和约束规划、随机规划、半定规划和锥规划等领域的潜在扩展。

R.Fourer（主持人）、J.Ma、K.Martin、，优化问题实例的OSInstance应用程序编程接口，INFORMS年会，美国宾夕法尼亚州匹兹堡（2006年8月11日） pdf格式

作为对我们的OSiL提案的补充，OSiL是一种新的基于XML的优化问题实例表示，我们提出OSInstance，一种内存中表示。开源库提供了用于读写OSiL和OSInstance以及在它们之间转换的应用程序编程接口。这种安排允许通过单一设计定义两个标准，但提供了多种“获取”方法，以各种方便的方式从OSInstance对象中提取数据。

J.P.Fasano、K.Martin（主持人）、T.Ralphs、，不需要源代码：使用COIN二进制文件，INFORMS年会，美国宾夕法尼亚州匹兹堡（2006年7月11日）pdf格式

COIN-OR为运筹学界提供开源软件。然而，许多用户可能希望在不下载和编译源代码的情况下利用COIN-OR。有一个COIN-OR项目为几个关键的COIN-OR项目提供编译的库和可执行文件。这些二进制文件可用于Windows、Linux和Mac OS X平台。我们描述了可用的二进制文件，并说明了用户如何链接到它们并使用它们来解决优化问题。

G.Gassmann（主持人），应用随机规划-模型和计算，INFORMS年会，美国宾夕法尼亚州匹兹堡（2006年7月11日）购买力平价 pdf格式

这篇演讲回顾了随机规划五十年的发展历程，尤其关注应用、模型和计算。

Z.Li（主持人）、S.Mehrotra、，将一种具有高阶修正的内点算法推广到半定规划，INFORMS年会，美国宾夕法尼亚州匹兹堡（2006年7月11日）pdf格式

将线性规划（LP）的一个具有高阶修正的原对偶不可行内点算法推广到半定规划（SDP）。该算法能够结合不同策略产生的高阶修正。该算法的搜索方向可以通过求解一个小型SDP程序得到。我们给出了算法的收敛条件。

R.Fourer（主讲人）、J.Ma、K.Martin、J.Moré、T.Munson、D.Orban和J.Sarich，通过互联网优化：NEOS 5及其后第19届数学规划国际研讨会，巴西里约热内卢(08/03/2006)pdf格式

NEOS服务器通过各种接口和语言为近50个优化问题的“解决者”提供免费网络访问。它每周处理3000-6000个请求，并具有易于扩展的分布式设计。这项调查强调了最新的完全重写版本背后的思想，该版本具有应用程序编程接口，可以从其他程序调用。该演示还介绍了即将到来的发展：自动化问题分析、基于XML的优化问题实例标准，以及基于新web服务标准的优化服务框架。

J.Ma（主持人I）、R.Fourer（主持人II、K.Martin（主持人III）、，一个用于将解连接到建模系统的开放接口美国新泽西州皮斯卡塔韦罗格斯大学DIMACS COIN-OR研讨会（2006年7月19日）

第一部分：优化服务（由J.Ma提出）购买力平价 pdf格式

第二部分：开放接口将解算器连接到建模系统（由R.Fourer提出）pdf格式

第三部分：将解算器连接到建模系统的开放接口（由K.Martin提出）pdf格式

每个优化建模系统都开发了自己的表示方法问题实例。因此，用于优化问题的每个求解器包必须对于它支持的每个建模系统，都有一个单独的“驱动程序”。我们描述一个新的开放标准，一旦被建模系统采用，它将要求每个解算器只有一个驱动程序。我们提案的组成部分包括OsiL，一种新的基于XML的优化问题表示实例，以及OSInstance，一个对应的内存中表示。安开源库提供应用程序编程接口以供阅读以及写入OSiL和OSInstance并用于在它们之间进行转换。相关的语言和库处理向解算器传递选项和检索结果，以及促进解算器注册、客户端和调度程序发现以及优化过程的各个组成部分。本次会议将强调使用我们的工具将解算器挂接到建模的实际方面系统，重点关注我们的整体优化服务框架（Ma）我们库的建模系统接口（Fourer）和求解器接口去我们的图书馆（马丁）。

M.Saltzman（主持人），COIN-OR开放解算器接口美国新泽西州皮斯卡塔韦罗格斯大学DIMACS COIN-OR研讨会（2006年7月17日）pdf格式

COIN-OR开放解算器接口提供了C++类，用于使用单个API访问各种LP和MIP解算器。提供了从文件中读取模型或在内存中构造模型、修改模型、调用解算器、恢复解决方案信息以及将问题写入文件的调用。我们将描述API的特性并提供其使用示例。OSI项目的长期目标是为各种优化问题的求解器提供可移植、可扩展的原型标准API。

JP.Fasano（主持人），获取和构建COIN-OR美国新泽西州皮斯卡塔韦罗格斯大学DIMACS COIN-OR研讨会（2006年7月17日）购买力平价 pdf格式

在本次演讲中，我们将讨论如何获取源代码并构建COIN-OR网站www.COIN-OR.org上的可用模块。本次会议的目标是为所有带无线笔记本电脑的与会者提供动手机会，以下载和构建COIN-OR线性程序解算器（CLP）以及COIN-OR分支与切割解算器（CBC）。由于研讨会预计会有各种各样的平台，因此鼓励与会者在研讨会之前下载并构建他们喜欢的项目。如需个别问题的帮助或建议本次演讲的主题，请在研讨会之前联系演讲者，网址为jpfasano@us.ibm.com

R.Fourer（主持人）、J.Ma、K.Martin、，OSiL：表示和使用优化问题实例的开放标准，EURO XXI-第21届欧洲运筹学会议，冰岛雷克雅未克（07/05/2006） pdf格式

分布式建模环境需要一个用于交换优化问题实例的开放标准。为此，我们提出了OSiL，一种用于大规模线性和非线性优化的基于XML的实例表示。OSiL使用XML的面向对象特性来有效地表示非线性表达式。它的模式直接映射到内存中表示，该表示提供了一个健壮的应用程序编程接口，有助于读取和写入一系列数据格式，并使非线性表达式树易于用于函数和导数计算。

R.Fourer、G.Gassmann（主持人）、J.Ma、K.Martin、，一种基于XML的随机程序模式，EURO XXI-第21届欧洲运筹学会议，冰岛雷克雅未克（07/05/2006）购买力平价 pdf格式

本演讲关注基于XML的模式的最新发展，以描述随机编程问题。这是为所有数学编程问题提供统一问题描述的持续努力的一部分。系统功能允许制定具有或不具有确定性问题维度的追索权问题、机会约束问题、替代风险度量、稳健优化问题，所有这些都取决于许多内置或用户特定的概率分布。演讲将使用说明性的例子描述这个图式。

R.Fourer（主持人）、J.Ma、K.Martin、J.Moré、T.Munson、D.Orban、J.Sarich、，通过互联网优化：NEOS 5及其后，INFORMS国际，中国香港（2006年6月27日）pdf格式

NEOS服务器通过各种接口和语言为近50个优化问题的“解决者”提供免费网络访问。它每周处理3000-6000个请求，并具有易于扩展的分布式设计。本调查强调了最新的、完全改写的版本背后的思想，并展望了即将到来的发展：自动化问题分析、优化问题实例的现代形式，以及基于新的web服务标准的优化服务框架。

G.Gassmann（主持人）、R.Fourer、J.Ma、K.Martin、，一种基于XML的随机程序模式，APMOD 2006（应用数学规划和建模），西班牙马德里（06/19/2006）购买力平价 pdf格式

本演讲关注基于XML的模式的最新发展，以描述随机编程问题。它是所有数学编程问题统一问题描述持续努力的一部分。系统功能允许制定具有或不具有确定性问题维度的追索权问题、机会约束问题、替代风险度量、稳健优化问题，所有这些都取决于许多内置或用户特定的概率分布。演讲将使用说明性的例子描述这个图式。

NEOS服务器提供免费

R.Fourer、J.Ma、K.Martin（主持人），优化服务：分布式优化框架美国俄亥俄州辛辛那提市辛辛那蒂大学（2006年2月6日）pdf格式

软件即服务正在从根本上改变传统的软件模型。公司通过在而不是购买和安装软件。没有理由
优化不应作为软件服务提供。优化服务（OS）是一个该项目旨在使访问功能强大的优化求解器变得简单且无处不在作为网络连接或电力的接入。为了使优化服务发挥作用，必须有一个健壮的服务面向体系结构（SOA），用于链接系统的所有部分，包括建模语言，解算器、调度程序和数据存储库。当建模语言用于生成模型实例的软件、解算器软件和数据位于
不同的机器，在不同的地理位置，使用不同的操作系统。在本次演讲中，我们描述了我们正在开发的协议1）代表优化问题实例、问题解决方案和求解器选项；2） 促进双方之间的沟通解算器和使用解算器的客户端；和3）允许使用优化求解器的客户端通过网络发现它们的存在。我们演示了一个有效的实现
并展示了如何使用免费的、开源的解算器作为服务。

G.Gassmann（主持人），随机规划导论美国伊利诺伊州埃文斯顿西北大学工业工程与管理科学专业（2006年5月30日）购买力平价 pdf格式

2005年是随机规划诞生50周年。那一年，发表了两篇文章（G.B.Dantzig在《管理科学》上发表，E.M.L.Beale在《皇家统计学会杂志》上发表），阐述了第一批随机线性程序，并给出了求解算法。我将使用不同的问题公式介绍该领域，并将描述几种通用的算法。我特别感兴趣的是随机程序的表示，我将描述不同的方法，包括SMPS格式、代数建模语言、内部数据结构，以及使用XML的新方法。

J.Ma（主持人），优化服务（OS）美国伊利诺伊州埃文斯顿西北大学工业工程与管理科学IEMS咨询委员会会议（2006年6月3日）购买力平价 pdf格式

从高级业务的角度来看，我们提出了一个通用的优化系统设计，该设计是在我们的优化服务（OS）新概念及其优化服务协议（OSP）下引入的。优化服务旨在统一框架用于下一代分布式优化系统，主要是通过互联网进行优化。因此，优化服务可以被视为运筹学互联网。相应的优化服务协议旨在成为一组工业标准。

J.Ma，K.Martin（主持人），优化服务建模语言（OSmL），INFORMS年会，美国加利福尼亚州旧金山（2005年11月15日） pdf格式

我们描述了优化服务建模语言（OSmL），这是一种用于数学优化的开源代数建模语言。OSmL旨在将XML格式的原始数据转换为符合优化服务实例语言（OSiL）标准的问题实例。支持集合、索引和循环。OSiL中表示的优化模型可以用与optimization Services兼容的任何求解器求解。

R.Fourer、J.Ma、K.Martin（主持人），优化服务（OS）框架，INFORMS年会，美国加利福尼亚州旧金山（2005年11月15日） pdf格式

我们描述了优化服务建模语言（OSmL），这是一种用于数学优化的开源代数建模语言。OSmL旨在将XML格式的原始数据转换为符合优化服务实例语言（OSiL）标准的问题实例。支持集合、索引和循环。OSiL中表示的优化模型可以使用与优化服务兼容的任何求解器进行求解。

R.Fourer、J.Ma（主持人）、K.Martin、，优化服务操作系统服务器和操作系统库，INFORMS年会，美国加利福尼亚州旧金山（2005年11月15日）购买力平价 pdf格式

OS库是一个基于一组优化服务协议（OSP）的开源库。该库支持在松散耦合的分布式环境中解决各种优化问题类型。除了操作系统库，我们还为用户提供操作系统服务器软件，以托管他们自己的优化服务。我们还提到了通用优化服务建模语言（OSmL）。

J.Ma、S.Mehrotra、H.Sheng（主持人），IMPACT优化服务解决方案，INFORMS年会，美国加利福尼亚州旧金山（2005年11月15日）购买力平价 pdf格式

IMPACT是一种新的集成数学编程高级计算工具。它是第一个本机支持优化服务（OS）协议的优化求解器。它将最先进的优化算法与操作系统框架集成在一起，以提供强大的求解器服务。

R.Fourer（主持人）、D.Orban、，用于优化服务的问题实例分析器，INFORMS年会，美国加利福尼亚州旧金山（2005年11月15日） pdf格式

我们描述了Dr.AMPL在设计和测试方面的新发展，这是一组实用程序，用于确定由AMPL建模语言生成的优化问题实例的属性。AMPL博士的问题分析器检查从大小和稀疏性到线性和凸性的属性，然后将结果与求解器特征数据库进行比较，以生成推荐的求解器列表。然后可以将这些信息反馈给NEOS和OSxL等优化服务。

R.Fourer、G.Gassmann、B.Kristjansson、K.Martin、T.Ralphs、M.Saltzman、，小组讨论：优化问题实例标准，INFORMS年会，美国加利福尼亚州旧金山（11/14/2005）

本次和上一次会议的发言者将讨论演示中已经（或应该）提出的标准问题。，

R.Fourer、J.Ma、K.Martin（主持人）、M.Saltzman、，模型表示和打开解算器界面，INFORMS年会，美国加利福尼亚州旧金山（11/14/2005）pdf格式

为了求解优化模型，有必要将其设置为与解算器兼容的格式。这是一个问题，因为有大量的解算器。我们提供了一个C++开源求解器接口（或API），可用于将模型实例传递给求解器。

R.Fourer、J.Ma（主持人）、K.Martin、，优化服务实例语言（OSiL），INFORMS年会，美国加利福尼亚州旧金山（11/14/2005）购买力平价 pdf格式

在数学优化领域，将建模语言与优化求解器分离越来越普遍。这使得有一个用于交换模型实例的开放标准变得至关重要。我们提出了OSiL（Optimization Services Instance Language，优化服务实例语言），这是一种用于表示优化实例的XML模式。我们还描述了简化建模语言和求解器之间交换问题实例和解决方案信息的开源Java库。

R.Fourer、G.Gassmann（主持人）、J.Ma、K.Martin，OSiL-随机扩展，INFORMS年会，美国加利福尼亚州旧金山（11/14/2005）购买力平价 pdf格式

本演讲介绍了对XML模式的扩展，以允许各种随机程序的实例表示。包括具有离散和连续分布的多级追索权问题、不同的风险度量（如VaR和CVaR）、稳健优化模型等。还包括建模随机过程的各种方法，包括ARMA（p，q）过程。

S.Mehrotra（主持人）、Z.Li、H.Sheng、，混合整数规划超平面算法分支的计算经验，INFORMS年会，美国加利福尼亚州旧金山（11/13/2005）购买力平价 pdf格式

我们将介绍关于混合整数规划超平面算法分支的计算经验。将基于基减少算法的性能和该方法的不同公式的实现策略来讨论结果。基于求解器系统“IMPACT”中实现的结果将展示困难背包和市场分割问题；并根据进度，研究稀疏混合整数规划问题。

D.Elkins、R.Fourer、M.Grant、D.Heltne、R.Lougee-Heimer（主持人）、B.Lowe、R.Nuggehalli、S.Sen、，为OR模型和算法开发创建行业问题测试平台，INFORMS年会，美国加利福尼亚州旧金山（11/13/2005）pdf格式

许多OR研究人员面临着开发工业问题算法和模型的挑战。。。没有行业数据。数据访问会影响研究的适用性和影响。本次小组会议将分析共享行业数据的挑战，并探索为OR创建行业问题测试平台的可行途径。

S.Mehrotra（主持人）、Z.Li、H.Sheng、，混合整数规划的广义分支方法IMA特别研讨会：混合集成编程，美国明尼苏达州明尼阿波利斯市（07/29/2005）购买力平价 pdf格式

我们提出了求解混合整数线性规划的Lenstra方法中的计算重构。为此，引入并使用了伴随格的概念。这允许我们在原始变量空间中开发超平面算法的分支，而不需要对纯整数或混合整数程序进行任何降维。在原始变量空间中计算了约化格基。基于这些结果，我们给出了生成分支超平面的一种新的自然启发式方法，并讨论了它与最近的Aardal和Lenstra重构造技术的关系。我们证明了根节点处可用的约化基在广义分枝定界树的分支超平面上具有有用的信息。我们的发展使我们能够给出混合凸整数规划的算法，其性质类似于混合整数线性规划。描述了该算法在原型软件系统“IMPACT”中的实现。使用该方法给出了困难背包和市场分割问题的计算结果。

R.Fourer、J.Ma（主持人）、K.Martin、，优化服务（OS）——互联网上优化的统一标准框架IFORS三年期会议，美国夏威夷檀香山（07/14/2005）购买力平价 pdf格式

我们在“优化服务”概念下提出了一个标准体系结构，作为下一代优化系统的统一框架。通过优化表示、通信、发现和注册的标准化，该框架为所有建模系统组件提供了开放的计算基础设施，包括建模语言、优化服务器、客户端、接口、分析器、求解器和仿真。

R.Fourer、J.Ma、K.Martin（主持人），OSiL：一种用于优化的实例语言和API，IFORS三年一度会议，美国夏威夷火奴鲁鲁（07/14/2005）购买力平价 pdf格式

我们提出了OSiL（Optimization Services Instance Language，优化服务实例语言），这是一种XML模式，用于表示优化实例，包括一般非线性规划、二次规划、用户定义函数和模拟优化。此外，我们还提供了开源Java库，简化了建模系统和求解器之间的问题实例和解决方案信息交换。

R.Fourer（主持人）、J.Ma、K.Martin、，优化服务实例语言的扩展IFORS三年期会议，美国夏威夷檀香山（07/14/2005） pdf格式

今天感兴趣的优化问题已经超出了传统的线性、整数、二次和光滑非线性类型。必须相应地扩展问题实例的语言。本文描述了我们提出的语言标准OSiL在组合优化和约束规划、随机规划、半定规划和锥规划等领域的潜在扩展。

R.Fourer、J.Ma、K.Martin（主持人），优化服务实例语言（OSiL）、解算器和建模语言IFORS三年期会议，美国夏威夷檀香山（07/14/2005）购买力平价 pdf格式

我们提出了OSiL（Optimization Services Instance Language，优化服务实例语言），这是一种XML模式，用于表示优化实例，包括一般非线性规划、二次规划、用户定义函数和模拟优化。此外，我们还提供了开源Java库，简化了建模系统和求解器之间的问题实例和解决方案信息交换。

R.Fourer、J.Ma（主持人）、K.Martin、，通过优化服务（OS）下的模拟进行优化IFORS三年期会议，美国夏威夷檀香山（07/14/2005）购买力平价 pdf格式

优化服务（OS）是一个用于在分布式系统上进行优化的标准通用框架。我们展示了操作系统如何通过模拟提供执行优化的基础设施，优化和模拟可以在Internet上的任何位置进行，以及如何并行处理。解决了性能和其他问题。

J.Ma（主持人），优化服务（OS），Lindo Inc.，美国伊利诺伊州芝加哥（05/18/2005）购买力平价 pdf格式

从Lindo的业务角度来看，我们提出了一个通用的优化系统设计，该设计是在我们的优化服务（OS）新概念及其优化服务协议（OSP）下引入的。优化服务旨在统一框架用于下一代分布式优化系统，主要是通过互联网进行优化。因此，优化服务可以被视为运筹学互联网。相应的优化服务协议旨在成为一组工业标准。

J.Ma（主持人），优化服务（OS）美国纽约约克敦高地IBM T.J.Watson实验室（2005年6月23日）购买力平价 pdf格式

我们提出了一个在优化服务（OS）及其优化服务协议（OSP）的新概念下引入的通用优化系统设计。优化服务旨在统一框架用于下一代分布式优化系统，主要是通过互联网进行优化。因此，优化服务可以被视为运筹学互联网。相应的优化服务协议旨在成为一组工业标准。

J.Ma（主持人），优化服务（OS），论文介绍，工业工程管理科学，西北大学，美国伊利诺伊州埃文斯顿（05/06/2005）购买力平价 pdf格式

本博士论文介绍了在我们的优化服务（OS）新概念及其优化服务协议（OSP）下引入的一般优化系统设计。优化服务旨在统一框架用于下一代分布式优化系统，主要是通过互联网进行优化。因此，优化服务可以被视为运筹学互联网。相应的优化服务协议旨在成为一组工业标准。

J.Ma（主持人），建模系统基础和仿真优化的系统方法美国伊利诺伊州埃文斯顿西北大学工业工程与管理科学专业（2005年2月2日）购买力平价 pdf格式

在本次演讲中，我们解释了建模系统的基本原理，并概述了如何将模拟优化集成到优化服务框架中。

R.Fourer、J.Ma（主持人）、K.Martin、，优化服务（OS）——OR和下一代NEOS的互联网，摩托罗拉公司，美国伊利诺伊州朔姆堡（01/18/2005）购买力平价 pdf格式

从摩托罗拉的业务角度来看，我们提出了一个通用的优化系统设计，该系统是在我们的优化服务（OS）新概念及其优化服务协议（OSP）下引入的。优化服务旨在统一框架用于下一代分布式优化系统，主要是通过互联网进行优化。因此，优化服务可以被视为运筹学互联网。相应的优化服务协议旨在成为一组工业标准。

R.Fourer、J.Ma（主持人）、K.Martin、，基于XML的优化服务统一框架第九届信息计算学会会议，美国马里兰州安纳波利斯（01/07/2005）购买力平价 pdf格式

我将介绍优化服务（OS）及其相应的优化服务协议（OSP）概念下引入的基于XML的面向服务的分布式体系结构的总体设计，其中包括20多种优化服务x语言（OSxL）规范，旨在作为分布式系统（包括互联网）上下一代（数学/代数）建模系统的统一框架。该项目最初是为了启动更广泛的合作，以实现最终标准化，并为运筹学（OR）和管理科学（MS）领域的研究创造更健康的发展环境。通过建模表示、通信、发现和注册的标准化，该框架为所有建模系统组件提供了一个开放的基础设施，包括建模语言环境、服务器、注册表、通信客户端、接口、分析器、解算器和仿真。目标是所有算法代码都将在此框架下作为服务实现，客户使用这些计算服务类似于日常实用服务。尽管建模系统框架旨在作为OR/MS领域的基础设施，但设计概念和理念足够通用，任何分布式系统和架构的设计者都可以学习和采用。

G.Gassmann（主持人），随机解算器的数据要求2005年6月1日在马里兰州安纳波利斯举行的第九届信息计算学会会议购买力平价 pdf格式

本讲座概述了随机规划问题表示的最新发展。

R.Fourer、J.Ma（主持人）、K.Martin、，优化服务（OS）--面向OR的Internet美国伊利诺伊州埃文斯顿西北大学工业工程与管理科学专业（2004年11月24日）购买力平价 pdf格式

什么是优化服务（OS）。它关系到、影响并使你们每个人受益，你们将是第一个看到这项全新的、令人兴奋的手术室技术的人！在即将到来的优化服务系列讲座的第一个演示中，我们将为您提供一个非常容易理解的优化服务的概貌。您将看到下一代NEOS是什么，为什么Optimization Services是OR的Internet，Optimizion Services是如何潜在地成为真正的COIN-OR（OR的计算基础结构）和演示！

R.Fourer，J.Ma（主持人），K.Martin，优化服务实例语言（OSiL）第一、二部分美国伊利诺伊州埃文斯顿西北大学工业工程与管理科学专业（2004年11月22日） 购买力平价 pdf格式

分布式计算技术（如Web Services）在当今的计算环境中的重要性迅速增长。在数学优化领域，将建模语言、客户端GUI环境和系统与优化求解器和其他算法代码分离越来越普遍。事实上，用于生成模型实例的建模语言软件、解算器软件和数据可能驻留在使用不同操作系统的不同机器上。这样的分布式环境使得交换模型实例的开放标准变得至关重要。在这次演讲中，我介绍了OSiL（Optimization Services Instance Language，优化服务实例语言），这是一种XML模式，用于表示一般数学优化实例，包括一般非线性、编程、网络编程、二次编程、用户定义函数、黑盒非封闭形式模拟和约束逻辑编程。对于那些熟悉线性编程MPS格式的人来说，可以将OSiL视为一种更通用、更强大的表示。由于优化服务实例语言是使用优化服务（OS）的优化建模系统的更广泛通用框架的一部分，因此讲座将从10-15分钟的优化服务框架简介开始，以更好地了解OSiL语言的上下文。优化服务框架在部门早些时候的一次演讲中介绍，并将在本系列的大多数演讲中出现。由于一个小时的限制，我将集中讨论OSiL的线性部分，以及如何轻松地将其扩展到更通用的优化类型。OsiL的线性部分源于Forer、Lopez和Martin称为LPFML的纯线性编程格式。在稍后可能的演讲中，我将详细扩展二次编程、黑盒模拟优化、约束逻辑编程等，以及根据兴趣帮助读写OSiL实例的库和开源API。

R.Fourer、J.Ma（主持人）、K.Martin、，优化服务（OS）框架和OSP协议（OSxL）“将运筹学与计算技术相结合”，INFORMS年会，美国科罗拉多州丹佛市（10/24/2004）购买力平价 pdf格式

我们介绍了“优化服务”的总体设计，这是一种基于XML的体系结构，旨在成为下一代优化系统的统一框架。通过优化表示、通信、发现和注册的标准化，该框架为所有建模系统组件提供了一个开放的基础设施，包括建模语言、优化服务器、客户端、接口、分析器、求解器和功能模拟器。

R.Fourer、L.Lopez、K.Martin（主持人），LPFML:用于线性和整数编程的W3C XML模式，INFORMS年会，美国科罗拉多州丹佛市（10/24/2004）购买力平价 pdf格式

鼓励建模语言和求解器兼容性的一种方法是使用问题实例的标准表示。我们提出了LPFML模式，这是一种用XML表示线性编程问题实例的W3C模式。我们描述了一个开源C++类库，这些类促进了建模语言和求解器之间的信息交换。我们展示了如何使用这些类来提供以前不可用的建模语言求解器连接。LPFML被R.Forer，J.Ma，K.Martin正式纳入新版本OSiL（优化服务实例语言）。

R.Fourer、J.Ma（主持人）、K.Martin、，优化服务框架和OSxL协议美国伊利诺伊州阿贡市阿贡国家实验室NEOS团队（2004年9月14日）购买力平价 pdf格式

从支持NEOS网络的优化服务器特性出发，我们提出了一个在优化服务（OS）新概念及其优化服务协议（OSP）下引入的通用优化系统设计，以说明下一代NEOS的蓝图。

R.Fourer（主持人）、L.Lopez、K.Martin、，基于XML的线性规划问题实例表示标准英国伦敦布鲁内尔大学（06/22/2004） pdf格式

我们提供了LPFML模式，这是一个用于用XML表示线性编程问题实例。LPFML被R.Forer，J.Ma，K.Martin正式纳入新版本OSiL（优化服务实例语言）。

R.Fourer，J.Ma（主持人），一种通用统一的分布式优化设计与框架美国伊利诺伊州埃文斯顿西北大学工业工程与管理科学专业（2003年3月12日）购买力平价 pdf格式

这是优化服务论文的建议。这是优化服务的第一个概念。它列出了设计和开发优化服务框架的原始想法和指导原则。