COIN-OR

✍ dations ◷ 2025-10-06 17:36:59 #数学最佳化软件

COIN-OR是作业研究(Operations Research)计算基础架构(Computational Infrastructure)的缩写,这是一个致力于"为公开文献上数学理论之数学软件而建立(create for mathematical software what the open literature is for mathematical theory)"的专案。公开文献(例如研究期刊)提供作业研究社群文件的审查与保存。作业研究期刊上的数学理论,论文里经常有计算案例的数值结果。产生这些数值结果所开发的软件、模型与资料通常并未公开。这会阻碍需要重现计算结果、进行公平比较,以求精益求精的研究人员。

Linux, Apache与其他专案的成功推动软件开发的开源模式。一群IBM研究人员提议以类似开放源码方式"发布"软件、模型与资料。COIN-OR被认为是在作业研究计算社群推动开放源码的一项倡议,并提供开源软件专案营运所需的线上资源与服务。

COIN-OR网站于2000年与乔治亚州亚特兰大市第17届数学程式设计国际研讨会一起开张时带有实验性质。2007年时COIN-OR有25个专案,包括线性规划(linear programming 如 COIN-OR CLP),非线性规划(nonlinear programming 如 IPOPT),整数规划(integer programming 如 CBC, Bcp 与 COIN-OR SYMPHONY),代数建模语言(algebraic modeling languages 如 Coopr)等工具。COIN-OR由作业研究与管理科学协会(Institute for Operations Research and the Management Sciences, INFORMS)主持,并由教育性,非营利的COIN-OR基金会营运。

CLP(COIN-OR 线性规划)是一套以 C++ 写的开放源码线性规划求解软件。因为采公用授权条款,所以可用于商业软件且不受GNU通用公众授权条款的任何影响。虽然可以做成执行档,CLP 主要作为程式库使用。它设计的像商业软件般可靠(也许速度没那么快),并且能够处理非常大型的问题。

CLP 是为解决线性规划的问题而设计的:

可以有上百万个变数跟限制条件。主要的算法为单纯形法。CLP 也用于 COIN-OR 的其他计划如 SYMPHONY, BCP(Branch Cut and Price), CBC (COIN-OR Branch and Cut)等。

CBC(COIN-OR beanch and cut)是一套以 C++ 写的开放源码混合整数规划求解软件。可独立执行或作为程式库(由AMPL, GAMS,MPL, AIMMS, 或 PuLP 呼叫使用)

SYMPHONY(单工或多工最佳化网络求解)是一套在异质网络上求解混合整数规划(MIPs),开放源码之分枝切面法(branch and cut)框架-并且可以使用 CLP, CPLEX, XPRESS 或其他线性规划求解软件求解线性问题。

SYMPHONY 是一套同时实作循序(sequential)及平行(parallel)处理分枝切面与定价(branch, cut, and price)以求解 MILPs 的程式库。分枝切面与定价法类似分支界限法(branch and bound),但还包括切面法(Cutting-plane methods)与定价(pricing)算法。借由提供特定的副程式以读取自订资料档、生成特定切割平面或应用自订分枝规则,使用者可以任意自订客制化的分枝与切面算法。算法大部分的元件,如搜寻树管理、线性规划方案管理、切割池(cut pool)管理、通讯管理都含在程式库内,使用者无须操心。执行程式可以有各种配置方式,从循序执行到有独立的切割产生器(cur generators)、切割池与线性规划求解之完全平行处理。目前分散式版本可在任何 PVM 支援的环境执行。相同的程式码也可用任何 OpenMP 相容的编译器编译为共享内存架构。

PuLP 是一套以 Python 写的线性规划建模软件。可以产生 MPS 或 LP 档案并呼叫 GLPK, CLP/CBC, CPLEX 以及 Gurobi 求解。

相关

  • 发炎反应炎症反应、炎性反应,俗称炎症,是指具有血管系统的活体组织对致炎因子及局部损伤所发生的防御性为主的反应,中心环节是血管反应,是生物组织受到外伤、出血或病原感染等刺激,激发的
  • 棱镜棱镜(英语:Prism),在光学中是一种透明的光学元件,抛光与平坦的表面能折射光线。正确的表面角度取决于应用上的需求,传统的几何形状是以三角型为基础长方形为边的三棱柱。在口头
  • 军事法庭军事法庭(英语:Court-martial,简称CM),亦可译为军事法院、军法审判、军法裁判、军法会议、军法处置等,是依照军法(英语:Military justice)审判关于军队等军事组织的犯罪或者在军事组
  • 象鼻虫见内文象鼻虫,也叫象虫、象甲、象甲虫,是鞘翅目中种类最多的一种,更是昆虫中种类最多的一群,全世界已知种类达六万多种,生长过程属于完全变态。此种昆虫的吻突很长,有如大象之象鼻
  • 鄂温克语鄂温克语(又译埃文基语或索伦语、Evenki,1930年代前与鄂温语合称通古斯语)是鄂温克族的传统民族语言,为通古斯语族中最多人使用的语言,使用人口约2.9万人。鄂温克世居地区跨越俄
  • 阿尔伯特纪念亭阿尔伯特纪念亭(Albert Memorial)位于英国伦敦肯辛顿公园,皇家阿尔伯特音乐厅北侧。它是维多利亚女王为纪念她1861年死于伤寒的王夫阿尔伯特亲王,由乔治·吉尔伯特·斯科特设计,
  • 莱特岛莱特岛(Leyte)是菲律宾群岛中的米沙鄢群岛的岛屿之一。面积7213平方公里。北临萨马海;东北隔圣华尼科海峡与萨马岛相望,两岛有跨海大桥相连;南面为棉兰老海,与棉兰老岛相望;西南为
  • 午夜子夜,亦称半夜、子正,指二十四小时制的00:00(24:00)或十二小时制的夜晚12:00。中国古代以子夜为日之分界,以子正初刻(00:00)为一日之开始,夜子初四刻(24:00,子夜)为一日之终结。而且分
  • 关岭布依族苗族自治县关岭布依族苗族自治县,简称关岭县,是中华人民共和国贵州省安顺市下属的一个自治县。县内有苗族、布依族等少数民族。1914年当地设关岭县。名字来源是为据传当年三国蜀汉丞相诸
  • 俄国文学俄国文学(俄文:Русская литература)这一概念在广义上指所有俄语国家的文学,不仅包括俄罗斯,也包括前苏联诸加盟共和国的文学。在苏联解体后,这一概念的范围缩小,