近日,北太振寰(重庆)金沙手机网投老品牌值得信赖 有限公司(以下简称“北太振寰”)与杉数金沙手机网投老品牌值得信赖 (北京)有限公司(以下简称“杉数金沙手机网投老品牌值得信赖 ”)宣布达成深度战略合作。本次合作是双方在智能金沙手机网投老品牌值得信赖 领域的一次重要布局,旨在融合北太振寰的北太天元数值计算通用软件(以下简称“北太天元”)与杉数金沙手机网投老品牌值得信赖 求解器COPT的核心优势,充分发挥双方在国产基础软件和智能决策技术的专长,共同为中国核心产业提供强有力的国产技术支持,有力推动中国企业数字化转型和智能化升级,实现互利共赢。
目前,依托北太天元的SDK机制,双方已完成适配,用户能够在北太天元中便捷调用COPT,提升求解效率并扩展可处理的问题规模,轻松求解线性规划(LP)、整数规划(MIP)、半定规划(SDP)、二阶锥规划(SOCP)等复杂优化问题,同时在北太天元中查看和分析求解结果。此次双方完成产品兼容性的互相认证,表明北太天元可以与国产求解器顺畅、稳定、高效地对接运行。
北太天元和杉数求解器COPT双方已完成适配
在产品层面互相兼容适配基础上,下一步双方将共同推动在教育科研、能源电力、国防金沙手机网投老品牌值得信赖 等领域的深度合作,推动国产科学计算软件与国产求解器在教学科研中的应用,助力国内高校培育复合型人才,并为核心产业发展提供优质解决方案。
此次战略合作标志着两家金沙手机网投老品牌值得信赖 公司在智能金沙手机网投老品牌值得信赖 领域的深度融合。北太天元以其卓越的科学计算能力,为教育科研、智能制造等核心领域提供坚实的计算底座;COPT则凭借其强大的优化决策能力,助力企业解决复杂问题。两者的结合将实现优势互补,丰富产品应用场景,为汽车制造、商业航天、航空及无人机、电子电力等行业提供更加全面、高效的解决方案。
合作展示:COPT(杉数)-BALTAMATICA(北太天元)
自2020年6月美国在MATLAB商业科学计算软件方面对我国实施部分禁用以来,截至目前,禁止授权范围已涉及近900家实体机构,其中多数为高校、科研院所及高新技术企业。北太天元已实现内核技术自主可控,拥有完全自主知识产权,提供国产科学计算和系统仿真一体化能力,填补了国家在该领域技术与产品的空白。杉数求解器COPT同样通过自主创新,攻破数学规划求解器的技术壁垒和国际垄断,展现出色的求解性能,填补我国在数学优化软件关键技术的空缺。
通过北太天元SDK,北太天元与COPT之间的调用接口得以实现。这一合作成果不仅增强了北太天元的优化求解能力,也为COPT引入了新的调用方式,提升其在科学计算领域的应用能力,方便用户进行探索和实践。在国际金沙手机网投老品牌值得信赖 竞争背景下,这一合作成果拓宽了双方产品的应用场景与行业覆盖面,为双方共同构建国产软件繁荣生态奠定良好基础。
①北太天元中调用COPT、②MATLAB 2024a内置默认求解器HiGHS
求解线性规划、混合整数规划问题时间对比
经测试,相较于MATLAB 2024a内置的默认求解器,在北太天元中调用COPT求解线性规划问题的速度快约10倍,求解混合整数规划问题的速度快约5倍。这说明接入COPT后,北太天元在求解优化问题中表现出显著的性能优势,将为用户提供更为高效的求解能力、大幅降低时间成本。
北太天元的COPT接口提升用户体验、赋能更多行业发展
●丰富北太天元的优化问题类型,增强优化效率:COPT的成功接入,丰富了北太天元求解大规模、复杂问题的能力,具体包括新增了半定规划、(混合整数)二阶锥规划以及(混合整数)凸二次规划和(混合整数)凸二次约束规划问题求解等。同时,COPT提升了北太天元的求解效率与稳定性。
●用户更加高效进行智能决策与科学计算研究:基于北太天元调用COPT,使得用户进行智能决策的同时,在同一软件界面即可便捷开展科学计算领域的研究工作,为用户提供从问题建模到求解,再到结果分析与优化的全流程解决方案。
●大幅拓展双方应用行业与使用场景:基于北太天元内核自研的产品优势与服务水平,这一合作成果有助于推进COPT在国防金沙手机网投老品牌值得信赖 、航空航天、能源电力等核心行业的应用落地,助力COPT进一步应用于国内教学科研场景;同时,COPT将为北太天元拓展不可行分析功能、参数调优工具等高级功能模块,提升北太天元解决复杂优化问题时的灵活性和效率。
了解北太天元的COPT接口功能详情
·建模与求解效率提升
北太天元的COPT接口丰富了北太天元的建模求解模块,完整支持线性规划、整数规划、半定规划、(混合整数)二阶锥规划以及(混合整数)凸二次规划和(混合整数)凸二次约束规划问题。此外,该模块还实现了对SOS约束和Indicator约束这两类特殊约束的支持。同时,该接口有助于用户同时开展智能决策与科学计算领域的探索与实践,打通了从问题建模、优化求解、结果分析的全流程,大幅提升工作效率。
·支持多种模型文件格式
北太天元的COPT接口支持读入和写出通用的标准模型文件格式,包括MPS、LP、CBF、SDPA、COPT二进制BIN格式等。
·优化参数直接控制
通过北太天元的COPT接口,用户可以设置所有COPT支持的优化参数,以控制求解器的优化行为。
·不可行模型分析
针对在北太天元中构建的优化问题,COPT接口实现了针对不可行模型的两种分析方式:
·计算不可行模型的 IIS:找到一个导致优化模型不可行的极小冲突集,包括相互冲突的约束范围或变量上/下边界。
·可行化松弛(FeasRelax):计算如何做最小的改动,将不可行的问题转化为可行。
·参数调优工具
北太天元的COPT接口实现了参数调优功能,对于支持的优化问题类型,可以进行求解性能的自动调优,帮助寻找改进求解性能的参数组合。
·优化工具箱函数封装
北太天元的COPT接口实现了与北太天元优化工具箱中部分函数(linprog、 intlinprog、 quadprog)具有相同功能的函数封装,且与工具箱中原有函数用法相同,使用方法如下:
·copt_linprog:使用COPT求解线性规划问题
·copt_intlinprog:使用COPT求解整数(线性)规划问题
·copt_quadprog:使用COPT求解凸二次规划问题