当前位置:首页 > 新闻中心 > 新闻热点 > 正文

企业喜讯 | 望京留创园企业杉数科技与北太振寰达成战略合作,携手推动国产科学计算与智能决策融合发展

时间:2024/7/25 10:54:15

近日,望京留创园企业杉数科技与北太振寰宣布达成深度战略合作,本次合作是双方在智能科技领域的一次重要布局,旨在融合杉数科技求解器COPT与北太振寰的北太天元数值计算通用软件(以下简称“北太天元”)的核心优势,充分发挥双方在国产基础软件和智能决策技术的专长,共同为中国核心产业提供强有力的国产技术支持,有力推动中国企业数字化转型和智能化升级,实现互利共赢。

目前,依托北太天元的SDK机制,双方已完成适配,用户能够在北太天元中便捷调用COPT,提升求解效率并扩展可处理的问题规模,轻松求解线性规划(LP)、整数规划(MIP)、半定规划(SDP)、二阶锥规划(SOCP)等复杂优化问题,同时可以在北太天元中查看和分析求解结果。

北太天元和杉数求解器COPT完成适配在产品层面互相兼容适配基础上,下一步双方将共同推动在教育科研、能源电力、国防科技等领域的深度合作,推动国产科学计算软件与国产求解器在教学科研中的应用,助力国内高校培育复合型人才,并为核心产业发展提供优质解决方案。北太天元+求解器COPT性能更优,求解更高效自2020年6月美国在MATLAB商业科学计算软件方面对我国实施部分禁用,截至目前,禁止授权范围已涉及近900家实体机构,其中多数为高校、科研院所及高新技术企业。杉数求解器COPT通过自主创新,攻破数学规划求解器的技术壁垒和国际垄断,展现出色的求解性能,填补我国在数学优化软件关键技术的空缺。北太天元也已实现内核技术自主可控,拥有完全自主知识产权,提供国产科学计算和系统仿真一体化能力,填补了我国在该领域技术与产品的空白。在国际科技竞争背景下,这一合作成果拓宽了双方产品的应用场景与行业覆盖面,为双方共同构建国产软件繁荣生态奠定良好基础。北太天元中调用COPT操作示例

上述两组柱状图分别为北太天元中调用COPT、MATLAB 2024a内置默认求解器HiGHS求解线性规划、混合整数规划问题时间对比经测试,相较于 MATLAB2024a 中内置的默认求解器,北太天元集成COPT求解线性规划问题的速度快约10倍,求解混合整数规划问题的速度快约5倍。这说明接入COPT后,北太天元在求解优化问题中表现出显著的性能优势,将为用户提供更为高效的求解能力,大幅降低时间成本。此次战略合作标志着两家科技公司在智能科技领域的深度融合。COPT凭借其强大的优化决策能力,助力企业解决复杂问题;北太天元以其卓越的科学计算能力,为教育科研、智能制造等核心领域提供坚实的计算底座。两者的结合将实现优势互补,助力用户更高效地开展科学计算领域的研究工作,为其提供从问题建模到求解,再到结果分析与优化的全流程解决方案。此外,这一合作成果将大幅拓展双方的应用行业和使用场景,为汽车制造、商业航天、航空及无人机、电子电力等行业提供更全面、高效的解决方案,赋能更多行业的高质量发展。

上下滑动了解

北太天元的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求解凸二次规划问题

文章来源 | “杉数科技”微信公众号

推荐阅读园区喜讯|喜报频传,佳绩不断!望京留创园成功入选北京市创业孵化示范基地!重磅发布!|望京留创园发布“特精心”服务方案,赋能“专精特新”企业可持续发展留创资讯 | 望京科技·易蓝空间新媒体实验室落成 ,数字化服务建设迈上新台阶

客服
二维码