COIN-OR

✍ dations ◷ 2025-07-01 10:47:54 #数学最佳化软件

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 求解。

相关

  • A07A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码A07(止泻药,肠道抗炎/抗感染药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The
  • 转换疗法回转治疗(英语:conversion therapy,或称扭转疗法、转化疗法、性倾向治疗、性倾向矫正疗法、性倾向回转治疗、拗直治疗)是指试图透过心理或灵性介入来使人从双性恋或同性恋转化至
  • 小托马斯·弗朗西斯小托马斯·弗兰西斯(英语:Thomas Francis Jr.,1900年7月15日-1969年10月1日),美国医生,病毒学家与流行病学家。弗兰西斯是第一位在美国分离出流感病毒的科学家,在1940年发现了另一种
  • 2019年 那不勒斯第三十届夏季世界大学生运动会(英语:XXX Summer Universiade,简称2019那不勒斯世大运或那不勒斯世大运)于2019年7月3日至2019年7月14日举行。2013年11月9日,国际大学运动总会宣布
  • 简并态简并能级(英语:Degenerate energy level)在物理学中,简并是指被当作同一较粗糙物理状态的两个或多个不同的较精细物理状态。:p. 48例如在量子力学中,原子中的电子,由其能量确定的
  • 肉蝇科麻蝇即肉蝇,是双翅目麻蝇科(学名:Sarcophagidae)下的所有苍蝇的统称。麻蝇以卵胎生的方式繁殖,大部分种类的麻蝇都在腐肉、粪便或者腐败的物质上产下蛆,少数种类会在哺乳动物的伤
  • 疣鼻天鹅疣鼻天鹅别名瘤鼻天鹅、哑音天鹅、赤嘴天鹅、瘤鹄、亮天鹅、丹鹄(古名)等。是一种大型的游禽,体色洁白,脖颈细长,前额有一块瘤疣的突起,因此得名。疣鼻天鹅分布广泛,大量在欧洲,少数
  • 建筑光学建筑光学是建筑物理的一个组成部分。主要研究建筑内部的天然光和人工光的照明,创造良好的光环境。在电灯发明以前,人类主要利用天然光和火光照明,在中国传统建筑中,尤其是华北一
  • 勃列日涅夫主义勃列日涅夫主义,又称勃列日涅夫学说,是时任苏共中央总书记的勃列日涅夫在1968年侵略捷克斯洛伐克镇压布拉格之春运动前后,在苏联及华沙条约成员国内,推行的一套对外扩张和对东欧
  • 油印油印是在计算机打印未流行前的一种用蜡纸印刷的方法。由于所需的工具和材料简单,曾十分流行于学校和企业。主要工具是誊写钢版、誊写笔、蜡纸、油墨、白纸。最简便的蜡纸印刷