近日,望京留创园企业杉数科技与北太振寰宣布达成深度战略合作,本次合作是双方在智能科技领域的一次重要布局,旨在融合杉数科技求解器COPT与北太振寰的北太天元数值计算通用软件(以下简称“北太天元”)的核心优势,充分发挥双方在国产基础软件和智能决策技术的专长,共同为中国核心产业提供强有力的国产技术支持,有力推动中国企业数字化转型和智能化升级,实现互利共赢。
目前,依托北太天元的SDK机制,双方已完成适配,用户能够在北太天元中便捷调用COPT,提升求解效率并扩展可处理的问题规模,轻松求解线性规划(LP)、整数规划(MIP)、半定规划(SDP)、二阶锥规划(SOCP)等复杂优化问题,同时可以在北太天元中查看和分析求解结果。
上下滑动了解
北太天元的COPT接口功能详情↓建模与求解效率提升
北太天元的COPT接口丰富了北太天元的建模求解模块,完整支持线性规划、整数规划、半定规划、(混合整数)二阶锥规划以及(混合整数)凸二次规划和(混合整数)凸二次约束规划问题。此外,还实现了对SOS约束和Indicator约束这两类特殊约束的支持。同时,该接口有助于用户开展智能决策与科学计算领域的探索与实践,打通了从问题建模、优化求解、结果分析的全流程,大幅提升工作效率。
支持多种模型文件格式
北太天元的COPT接口支持读入和写出通用的标准模型文件格式,包括MPS、LP、CBF、SDPA、COPT二进制BIN格式等。
优化参数直接控制
通过北太天元的COPT接口,用户可以设置所有COPT支持的优化参数,以控制求解器的优化行为。
不可行模型分析
针对在北太天元中构建的优化问题,COPT接口实现了针对不可行模型的两种分析方式:
1. 计算不可行模型的 IIS:找到一个导致优化模型不可行的极小冲突集,包括相互冲突的约束范围或变量上/下边界。
2. 可行化松弛(FeasRelax):计算如何做最小的改动,将不可行的问题转化为可行。
参数调优工具
北太天元的COPT接口实现了参数调优功能,对于支持的优化问题类型,可以进行求解性能的自动调优,帮助寻找改进求解性能的参数组合。
优化工具箱函数封装
北太天元的COPT接口实现了与北太天元优化工具箱中部分函数(linprog 、 intlinprog、 quadprog)具有相同功能的函数封装,且与工具箱中原有函数用法相同,使用方法如下:
? copt_linprog:使用COPT求解线性规划问题
? copt_intlinprog:使用COPT求解整数(线性)规划问题
? copt_quadprog:使用COPT求解凸二次规划问题
文章来源 | “杉数科技”微信公众号