优化求解器之拥抱未来的最优解:MindOpt优化求解器

本文涉及的产品
模型在线服务 PAI-EAS,A10/V100等 500元 1个月
模型训练 PAI-DLC,100CU*H 3个月
交互式建模 PAI-DSW,每月250计算时 3个月
简介: 物流中心的选址、云计算资源的调用、电力系统的优化、打车订单的派遣,如何为这些生产生活中的应用难题找到最优解?答案是——数学规划求解器。

从诞生到开放使用

随着中国的发展,很多技术因为一些原因越来越受制于人,尤其是上游核心技术。为了解决这个问题,我国明确了“数字中国”建设战略,抢占数字经济产业链制高点。于是,国家提出“2+8”安全可控体系,2020-2022年是国家安全可控体系推广最重要的3年,中国IT产业从基础硬件 - 基础软件 - 行业应用软件有望迎来国产替代潮。这些都是为了实现信创发展的目标:自主可控。伴随着国内经济的发展,大型企业对处理大规模数据的优化求解器有着迫切需求。阿里达摩院是国内最早投入求解器研发的机构之一,最初的需求来自云计算资源的调度。2021年伊始,达摩院MindOpt向全社会开放,成为中国第一个免费开放的商用求解器。MindOpt能够实现单纯形法和内点法并发处理,求解线性规划问题时,同时激活两种算法,将求解速度提升1.2到3.5倍。

MindOpt产品开放.png

发布记录与技术特色

MindOpt的主要发布记录有三次:
2021年01月,在阿里云天池平台发布,链接:https://tianchi.aliyun.com/mindopt。可全流程线上免费使用,并 提供6篇LP应用的教学案例和源代码,成为中国第一个免费开放的商用求解器; 2020年11月,新增内点法、并发法,增加C++、python版本的API;
*2020年08月,达摩院发布单纯形线性规划(LP)方法,C版本API。

技术特色:
MindOpt优点:求解器运算快、解的质量好、可求解的问题规模大、适用问题类型广
当前功能:当前上线了线性规划(LP)模块,支持 C、C++、Python 语言,还有更多算法模块更新中
免费使用:采用Client/server架构,可全部在线上免费使用,丰富的案例示例教程帮助快速掌握

两次刷新世界记录

美国亚利桑那州立大学的Hans Mittelmann教授针对多种开源与商业决策优化求解器进行测评已有近20年的历史,是求解器领域最权威的国际第三方测评,也是国际求解器技术的风向标。2020年8月,达摩院MindOpt求解器首次参与该国际权威榜榜单评测,在单纯形法测评中世界第一,引起业界轰动,是首个超过国外求解器的中国求解器,且因超过了世界顶级求解器Gurobi而让Gurobi重回榜单评测;同年12月MindOpt二度刷新世界纪录,在国际权威测评中再获线性规划-单纯形法第一,以每题40秒的平均速度,成功求解40个线性规划问题,求解速度比8月夺冠时(84.3 秒)提升超过100%;同时,MindOpt还新增了内点法模块。

中科院数学与系统科学研究院研究员戴彧虹评价MindOpt:“高性能科学计算软件的开发,一直是工业界和学术界关怀的问题,MindOpt的单纯形求解算法排名榜首,是中国企业近些年来在优化计算软件范畴获得的重要成功之一。”

数学规划&数学规划求解器

那么,什么是数学规划?什么又是数学规划求解器呢?数学规划,是将复杂的现实问题建模成数学问题,并用数学方法进行求解的过程。在人们常说的智能决策之中,“智能”引擎的其中一个就是数学规划,而求解器则是求解数学规划问题的软件。“数学规划求解器是用来求解各行各业决策优化问题的基础工具,在实际应用中一般需要两个步骤。第一步,先把这些实际问题建模成一个数学模型,就像是给应用题建立方程组;第二步,把模型输入求解器,求解器就会把最终结果自动算出来。求解器的核心就是优化算法。在救护车调度、航班规划、库存优化等这样存在非常多变量的实际问题上,都可以利用运筹优化算法进行求解。”达摩院决策智能实验室王孟昌老师讲到。

第一步.png
第二步.png

广泛的应用场景

MindOpt是达摩院决策智能实验室自主研发的具备线性规划等多种功能的求解器,单纯形算法和内点法都是求解线性规划问题的通用算法。它能快速处理上万甚至上亿变量的数学模型,优化产业链和供应链,给复杂场景决策问题一个最优解。通过对百万规模容器和千万核算力的调度,MindOpt求解器每年在弹性计算资源调度优化场景里为阿里云节省数亿成本。MindOpt求解器是优化问题的专业计算软件,可广泛应用于各行各业。例如云计算领域的资源分配、资源调度问题;零售领域的仓库选址、补货优化、人员排班、收益管理问题;金融领域的资产配置、量化投资问题;制造领域的产销协同、厂房规划、排产排程、工艺优化问题;交通领域的路线规划、运力分配问题;能源领域的电网调度、市场出清、发电规划问题等等。MindOpt求解器是深埋于智能决策场景底层的“终极利器”、“降本增效”的好工具。如何为这些生产生活中的应用难题如何找到最优解?答案是——数学规划求解器。

电力行业应用-电网调度

工业炼钢材料配比
工业炼钢材料配比.png

拥抱未来的最优解

我们当前用“MindOpt”能够在40秒内,求解一个百万甚至千万级变量的问题,但如果求解技术突破提升,求解变量提升到4亿甚至400亿,而求解时间降低到4秒甚至4毫秒时,会发生什么呢?这意味着更多的随机变量不断展开,人类将能够瞬间考虑到各种无穷无尽的可能性,在工业生产,深空探索,环境治理等等场景中,像奇异博士一样进行预知决策,利用求解器解决各种“随机规划问题”,未雨绸缪,在浩瀚如烟的答案中,拥抱未来的最优解。

拥抱未来的最优解.png

联系我们:
邮箱:solver.damo@list.alibaba-inc.com
钉钉群:32451444
更多更新通知:https://solver.damo.alibaba.com
钉钉答疑群.png

相关文章
|
7月前
|
机器学习/深度学习 达摩院
阿里达摩院MindOpt优化求解器-月刊(2024年4月)
【摘要】2024.04.30,阿里云发布了MindOpt优化求解器的新商品和功能。MindOpt现在已上架,提供超低价零售求解器,支持按需购买,可在阿里云平台上直接购买联网或不联网License。新版本V1.2发布,提升MILP性能,并增加PostScaling参数。此外,MindOpt Studio推出租户定制版,正处于邀测阶段。同时分享了使用MindOpt解决二分类SVM问题的案例。更多内容,可访问相关链接。
150 0
|
7月前
|
达摩院 IDE 开发工具
阿里达摩院MindOpt优化求解器-月刊(2024年5月)
阿里达摩院MindOpt优化求解器-月刊(2024年5月版),新增了两个案例,如何使用LLM和MindOpt更准确地回答数学问题、如何使用MindOpt优化云计算集群虚拟机资源配置提高机器利用率,和如何利用IIS冲突分析指导不可解的问题解决方案。MindOpt的求解器已经可以在阿里云线上购买不联网版本。租户版也正式上线,可体验更多功能。新增QQ交流群。
133 4
|
6月前
|
达摩院 Python
阿里达摩院MindOpt优化求解器-月刊(2024年6月)
**阿里达摩院MindOpt优化求解器2024年6月月刊概览:** - 发布新功能,MAPL建模语言V2.5上线,Python APIs全面升级,旧版本不兼容。 提供快速入门教程、示例代码展示如何用Python调用MAPL。MindOpt Studio租户版新增Gradio支持,便于开发WebAPP,提供了案例源码展示如何开发。引入新案例: 1. 巡检线路的排班-2017全国大学生数学建模竞赛D题。包含最短路模型、TSP模型、弧分割模型。2. 商品组合定价策略:探讨如何最赚钱的加购区商品定价。
141 0
|
7月前
|
达摩院 算法 Java
选择优化求解器的关键因素:以MindOpt为例
选择一款适合自己业务需求的求解器我们一般需要考量什么呢?可求解的问题类型?问题规模?本文将介绍一些需要考虑的重要因素,并且介绍阿里达摩院MindOpt优化求解器在这些因素下的表现。
|
7月前
|
达摩院 Linux 决策智能
阿里达摩院MindOpt优化求解器-月刊(2024年3月)
### MindOpt 优化求解器月刊(2024年3月) - 发布亮点:MAPL建模语言升级至V2.4,支持云上无安装使用和向量化建模语法。 - 新增功能:Linux用户可本地安装`maplpy`,并支持Python与MAPL混编。 - 实例分享:介绍背包问题的组合优化,展示如何在限定容量下最大化收益。 - 用户投稿:探讨机票超售时的最优调派策略,以最小化赔付成本。 - 加入互动:官方钉钉群32451444,更多资源及。 [查看详细内容](https://opt.aliyun.com/)
132 0
阿里达摩院MindOpt优化求解器-月刊(2024年3月)
|
7月前
|
达摩院 Linux API
阿里达摩院MindOpt求解器V1.1新增C#接口
阿里达摩院MindOpt求解器发布最新版本V1.1,增加了C#相关API和文档。优化求解器产品是求解优化问题的专业计算软件,可广泛各个行业。阿里达摩院从2019年投入自研MindOpt优化求解器,截止目前经历27个版本的迭代,取得了多项国内和国际第一的成绩。就在上个月,2023年12月,在工信部产业发展促进中心等单位主办的首届能源电子产业创新大赛上,MindOpt获得电力用国产求解器第一名。本文将为C#开发者讲述如何下载安装MindOpt和C#案例源代码。
245 3
阿里达摩院MindOpt求解器V1.1新增C#接口
|
7月前
|
达摩院 开发者 容器
「达摩院MindOpt」优化形状切割问题(MILP)
在制造业,高效地利用材料不仅是节约成本的重要环节,也是可持续发展的关键因素。无论是在金属加工、家具制造还是纺织品生产中,原材料的有效利用都直接影响了整体效率和环境影响。
「达摩院MindOpt」优化形状切割问题(MILP)
|
4月前
|
达摩院 供应链 安全
光储荷经济性调度问题【数学规划的应用(含代码)】阿里达摩院MindOpt
本文介绍使用MindOpt工具优化光储荷经济性调度的数学规划问题。光储荷经济性调度技术旨在最大化能源利用率和经济效益,应用场景包括分布式光伏微网、家庭能源管理系统、商业及工业用电、电力市场参与者等。文章详细阐述了如何通过数学规划方法解决虚拟电厂中的不确定性与多目标优化难题,并借助MindOpt云建模平台、MindOpt APL建模语言及MindOpt优化求解器实现问题建模与求解。最终案例展示了如何通过合理充放电策略减少37%的电费支出,实现经济与环保双重效益。读者可通过提供的链接获取完整源代码。
|
4月前
|
达摩院 BI 索引
切割问题【数学规划的应用(含代码)】阿里达摩院MindOpt
本文主要讲述了使用MindOpt工具对切割问题进行优化的过程与实践。切割问题是指从一维原材料(如木材、钢材等)中切割出特定长度的零件以满足不同需求,同时尽可能减少浪费的成本。文章通过实例详细介绍了如何使用MindOpt云上建模求解平台及其配套的MindOpt APL建模语言来解决此类问题,包括数学建模、代码实现、求解过程及结果分析等内容。此外,还讨论了一维切割问题的应用场景,并对其进行了扩展,探讨了更复杂的二维和三维切割问题。通过本文的学习,读者能够掌握利用MindOpt工具解决实际切割问题的方法和技术。
|
4月前
|
达摩院 算法 安全
智慧楼宇多目标调度问题【数学规划的应用(含代码)】阿里达摩院MindOpt
本文探讨了使用MindOpt工具优化智慧楼宇的多目标调度问题,特别是在虚拟电厂场景下的应用。智慧楼宇通过智能化技术综合考虑能耗、舒适度等多目标,实现楼宇设备的有效管理和调度。虚拟电厂作为多能源聚合体,能够参与电力市场,提供调峰、调频等辅助服务。文章介绍了如何使用MindOpt云上建模求解平台及MindOpt APL建模语言对楼宇多目标调度问题进行数学建模和求解,旨在通过优化储能设备的充放电操作来最小化用电成本、碳排放成本和功率变化成本,从而实现经济、环保和电网稳定的综合目标。最终结果显示,在使用储能设备的情况下,相比不使用储能设备的情形,成本节约达到了约48%。