COIN-OR

✍ dations ◷ 2025-04-26 21:41:37 #数学最佳化软件

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

相关

  • 多多纳多多纳(多立克希腊语Δωδώνα, 爱奥尼亚希腊语:Δωδώνη, Dòdònè)是位于希腊西北部伊庇鲁斯的一个神谕处。虽然多多纳最早的铭文历史只能追溯至约公元前550-560年,但
  • 磷酸二酯水解酶类磷酸二酯酶(英语:Phosphodiesterase,简称为PDE)能够水解磷酸二酯键。由于在细胞内生化途径的广泛运用,磷酸二酯酶通常指的是环核苷酸磷酸二酯酶,将环状核苷酸,也就是细胞内第二信使
  • 急性症状性癫痫癫痫发作(epileptic seizure 或epileptic fit,有时在文献或新闻只简单称为 seizure 或fit) 是因为脑中的过度的神经振荡而出现的医学病征。 这种脑内异常的外溢效应(outward eff
  • 巴戟天巴戟天(学名:Morinda officinalis),别名密梗巴戟天、鸡肠风、鸡眼藤、三角藤。为茜草科巴戟天属的植物。生长于山谷林下,分布于中国南方等地。常绿攀援状灌木;肉质根状茎,不定位肠
  • 张逸少张逸少(?-1748年),字天门,号青山,江南省镇江府丹徒县(今属江苏省镇江市丹徒区)人。张玉书长子,康熙二十六年(1687年)丁卯科举人,康熙三十三年(1694年)甲戌科进士,选翰林院庶吉士。不久改授山
  • 偃师市偃师市位于东经112°6′15″~112°58′24″和北纬34°27′30″~34°50′00″之间,为中国河南省洛阳市下辖县级市。总面积668.58平方公里,人口61.6万(2013年);辖11镇(城关、山化、首
  • 图文电视图文电视(Teletext)是电视台将文字、图形等数字化信息隐藏在电视节目信号的垂直空白间隙(Vertical Blanking Interval, VBI)的第12至18条水平扫描线内播出,由飞利浦VDU首席设计师
  • 加州海狮(Z. californianus)加州海狮(Zalophus californianus)是一种原产北太平洋的海狮品种。雄性长大后可达2.4米长,重300公斤;雌性长大后则有2米长,100公斤重。加州海狮的食物广泛,主要有鱼、鱿鱼等海鲜,偶
  • 社会主义社会社会主义社会是一种社会型态,一般指用马克思主义理论指导,重视社会福利,采用财产公有制,通常是实行无产阶级专政,由工人阶级领导的社会。按照马克思主义理论,社会主义社会是资本主
  • 材料力学材料力学研究材料在各种力和力矩的作用下所产生的应力和应变,以及刚度和强度的问题。通常是机械工程、土木工程和建筑工程以及相关专业的大学生必须修读的课程,通常在修读材料