MindOpt:阿里巴巴达摩院打造的优化求解器及其组件全面介绍

news2024/11/18 4:43:06

MindOpt 简介和获取

MindOpt 是阿里巴巴达摩院决策智能实验室研发的决策优化软件。团队组建于2019年,聚焦于研发尖端运筹优化和机器学习技术,构建智能决策系统,更快更好地向各行各业提供数学建模求解能力,帮助业务更快更好地做出决策,以期降低成本、提升效率、增大收益 。
当前 MindOpt 围绕智能决策优化所需的建模和求解能力,突破国外垄断,自研了 MindOpt Solver 优化求解器、MindOpt APL 建模语言、MindOpt Tuner 调参器;并创新地提出“强化+优化”双决策引擎,打造了MindOpt **Studio **优化平台。并结合前沿先进的预训练大模型技术,研发了能自动快速梳理业务问题、数学建模和代码生成并求解的MindOpt Copilot AI工程师。后续还会有时序预测能力EForecaster接入,对建模参数、未来边界进行预测。

其中,MindOpt Solver 优化求解器,支持求解线性规划LP(单纯形法、内点法以及并发法)、大规模网络流问题、混合整数线性规划MILP(分支定界法、割平面法以及多种启发式方法)、凸二次规划QP(内点法)、半定规划SDP(内点法和ADMM法)问题。可命令行直接调用,也支持 C API调用、以及面向对象的 C++、Python、JAVA API调用。此外,还可以通过多种建模语言来调用,并支持callback、SOS约束,以及对线性和混合整数线性规划问题做不可行性分析。

为了能让各行各业用户能更快更方便地学习和使用优化能力,MindOpt将当前研发的各项能力,都同步上线在https://opt.aliyun.com,并提供了许多案例和源码,开放给所有企业、个人来下载和免费使用。当前已成功应用于云计算、电商、零售、金融、制造、交通、能源等领域。

各模块细节介绍和版本区别

MindOpt Solver 优化求解器

MindOpt Solver 优化求解器是一款高效的优化求解软件。当前最新版本 V1.0.0,支持求解线性规划LP(单纯形法、内点法以及并发法)、大规模网络流问题、混合整数线性规划MILP(分支定界法、割平面法以及多种启发式方法)、非线性规划:凸二次规划QP(内点法)、半定规划SDP(内点法和ADMM法)问题,和支持callback、SOS约束,以及对线性和混合整数线性规划问题做不可行性分析。
MindOpt 优化求解器支持X86或ARM架构的Windows、macOS和Linux操作系统。可命令行直接调用,也支持 C API调用、以及面向对象的 C++、Python、JAVA API调用,也可通过建模语言AMPL、GAMS、Pyomo、PuLP和自研的MindOpt APL来调用。

线上线下版本区别为:

在这里插入图片描述

MindOpt APL 建模语言

MindOpt APL (MindOpt Algebraic Programming Language, MAPL) 是一种高效且通用的代数建模语言,主要用于数学规划问题的建模,并支持调用多种求解器求解。它当前支持通用的线性、非线性、混合整数问题的建模。其语法贴近数学语言,与代数数学公式很接近,易学易写易读易维护。且MindOpt APL支持对接20+种优化求解器,可用一行命令就切换,大大提升了用户在优化问题求解环节的方案丰富度,降低风险和使用门槛。

线上线下版本区别为:

在这里插入图片描述

MindOpt Tuner 调参器

MindOpt Tuner 调参器是一款超参自动优化工具,可以帮助运筹优化工程师自动搜索求解器最佳参数组合,提升求解器求解性能。当前 MindOpt Tuner 支持对 MindOpt、CPLEX、COIN-OR Cbc 求解器进行自动调参。调参任务启动后,MindOpt Tuner 会自动生成多套参数,在对应参数配置下执行求解任务,根据求解任务的结果迭代生成新的候选参数并进行评估,在任务结束时输出搜索到的最优参数。同时结合了MindOpt Studio的分布式计算能力,将调参算法和求解运算均在具备弹性资源的云端执行,加快调参和减轻用户使用门槛。

在MIPLIB2017数据集和开源Cbc上测试,MindOpt Tuner可让75%的问题求解速度提升1倍以上,最大的提速 600+ 倍,如果业务限定求解时间为4000s,默认参数只能求解77个,MindOpt Tuner调参后可求解100个,提升23个。在电力业务场景种,为Cbc和CPLEX求解器调参,也均有提速。

线上线下版本区别为:

在这里插入图片描述

MindOpt Studio 优化平台

MindOpt Studio 优化平台,是一款服务智能决策和运筹优化领域的算法平台。它集合了智能决策所需的运筹优化算法、强化学习AI算法,和大规模数据和复杂决策所需的分布式训练和计算能力,提供了20+强化学习算法框架、20+优化求解引擎,包含了MindOpt团队自研的所有算法能力。
并且集成了高效开发所需要的:项目管理、Git对接、云上Notebook和VScode开发环境、计算作业管理、计算集群管理等能力。同时提供丰富的案例源代码示例,用户使用平台时,无需费时操心软件安装和环境配置,直接复制案例项目,快速针对业务修改开发,大大提效。并且结合项目分享功能和轻应用技术,可快速生成demo用于客户效果沟通。
MindOpt Studio 优化平台引入了阿里巴巴高效开发的理念和在云计算方面的技术优势,帮助企业一站式具备决策智能算法研发能力。

在2022年,MindOpt Studio 参与中国南方电网电力调度控制中心的合作,共同发布“电力调度智能决策平台”,帮助南网总调实现从15分钟到秒级的调度,且准确率超过经验丰富的调度员。技术验证落地后,在南网AI大赛里,平台能力赋能22支单位共计100余人,基于实时调度数据在2周内完成调度智能体开发、训练与部署,实现技术的普惠。在2023年的南网大赛合作中,MindOpt Studio结合优化和AI算法,在继续向行业提供算法创新与验证的能力。

线上线下版本区别为:

在这里插入图片描述

MindOpt Copilot AI工程师

MindOpt Copilot 基于阿里自研的大模型、MindOpt Solver 优化求解器、MindOpt APL 建模语言“三大件”开发,可将用户以自然语言描述的优化问题转化为线性规划和混合整数线性规划的优化模型,并获得最佳答案。
用户仅需要文本和表格数据,就可以与基于AI技术的机器人工程师进行沟通,0门槛。MindOpt Copilot AI工程师会引导用户进行问题梳理,自动数学建模,并用MindOpt APL建模语言进行码代码,和调用MindOpt Solver进行求解。得益于自研的建模语言和求解器,MindOpt Copilot可以增加自检与诊断环节,让AI工程师的自动处理的正确率更高。
image.png
已经上线公有云版本,直接线上访问,和机器人聊天:
中国站:https://opt.aliyun.com/chat
美国站:https://opt.alibabacloud.com/chat
也可联系我们合作:邮箱:solver.damo@list.alibaba-inc.com

MindOpt 线上版的发布历史

软件不断更新中,推荐查阅最新版本使用。
2023年

  • 2023年10月,MindOpt Sover 1.0上线,全新的版本的求解器API,全新案例代码,下载V1.0.0>
  • 2023年10月,MindOpt Copilot上线,基于大语言模型的AI工程师,助您使用优化技术,去聊天>
  • 2023年8月,求解器V0.25.1多渠道上线,建模语言发布V2.1,去使用>
  • 2023年7月,求解器V1.0-beta开始邀测,参与测试>
  • 2023年5月,云上平台上线阿里云国际站,美国站点: opt.alibabacloud.com
  • 2023年4月,V0.24.1求解器ARM安装包上线。pip install mindoptpy首发送内置2年License,下载ARM安装包>
  • 2023年4月,MindOpt Tuner调参器首发,帮助求解提速,定制业务专属求解器。线上使用>
  • 2023年3月,V0.24.0求解器MILP性能升级,权限全用户开放。下载,免费购买License>
  • 2023年2月,MAPL V2.0建模语言MindOpt APL语法升级V2版本,更好记,去用新版本>
    2022年
  • 2022年12月,ARM安装包新增 Apple M1 的安装包,免费下载>
  • 2022年11月,V0.23.0安装包新增半定规划SDP求解。可自助下载和获取免费授权LicenseKey,0元购>
  • 2022年9月,建模语言MindOpt云上建模求解平台上线:opt.aliyun.com,浏览器Notebook中运行,邀测中>
  • 2022年8月,V0.20.0安装包新增了混合整数线性规划(MILP),并上线英文版API文档,线上切语言查看>
  • 2022年5月,V0.19.0安装包新增了凸二次规划(convex QP)
    2021年
  • 2021年9月,在阿里云中国站上线「免费」单机版,用户可自助下载求解器、获取授权、查阅用户文档:https://www.aliyun.com/product/ai/opt
  • 2021年1月,在阿里云天池平台免费开放可全流程线上免费使用,并提供6篇线性规划(LP)应用的教学案例和源代码
    2020年
  • 2020年11月,内点法新增内点法、并发法,增加C++、python版本的API
  • 2020年8月,单纯形法发布单纯形线性规划(LP)方法,C版本 API

MindOpt 团队介绍和获得荣誉

MindOpt 团队来自达摩院决策智能实验室。组建于2019年,聚焦研发尖端运筹优化和机器学习技术,构建智能决策系统,更快更好地向各行各业提供数学建模与求解能力,帮助业务更快更好地做出决策,以期降低成本、提升效率、增大收益 。团队指导老师是印卧涛老师,成员分布在杭州、北京、美国Bellevue, WA,Sunnyvale, CA。成员多数是博士生,实力强劲。

实验室参与多个阿里集团内部与外部的重点AI项目,每年20+顶会顶刊文章,ML前沿方向Spotlight,行业综述。其中:

  • 2020年8月,MindOpt首次发布,获国际权威榜单性能测评Mittelmann榜单单纯形法第一
  • 2020年12月,MindOpt二度刷新世界纪录,并通过阿里云向全社会开放,成为国内首个免费开放的商用求解器。
  • 2021年7月,MindOpt入选WAIC 世界人工智能大会SAIL奖TOP30
  • 2021年10月,MindOpt支持单纯形法、网络流法、内点法,两项获国际Mittelmann榜单第一
  • 2021年11月,团队负责人印卧涛老师获INFORMS Egon Balas奖
  • 2021年12月,参与国网比赛的两赛道均获奖,获优秀团队、强化学习调度冠军&气象预测亚军
  • 2022年5月,MindOpt参与的云计算资源管理的智能决策方法项目,获得认证为CSIAM应用数学落地成果
  • 2022年8月,MindOpt黑盒优化算法参与GECCO 2022国际竞赛中有电力调度的比赛,获得了第一名
  • 2022年12月,MindOpt团队创新性地将优化技术与强化学习进行融合,利用基于MindOpt的方案,在全球AI顶会NeurIPS 2022的虚拟电厂国际竞赛中从包括大厂在内的数千家队伍中脱颖而出获得冠军
  • 2023年2月,MindOpt团队获得2022电力人工智能技术创新应用评选的智创奖-智能调度创新应用案例奖
  • 2023年4月,MindOpt求解器参与电科院和南瑞项目,如国家电网总部科技项目“自主可控的安全约束经济调度优化引擎研发及应用”项目,均验证MindOpt“具备国产替代能力”
  • 2023年12月,MindOpt Studio支撑南方电网第五届电力调度AI应用大赛,AI+求解器双决策引擎,助力参赛队伍赢得电力调度大赛,前10有8席位、包揽冠亚军
  • 2023年12月,MindOpt优化求解器,在工信部产业发展促进中心等单位举办的电力用国产求解器比赛中,获得第一名

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1377164.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

工作电压范围宽的国产音频限幅器D2761用于蓝牙音箱,输出噪声最大仅-90dBV

近年来随着相关技术的不断提升,音箱也逐渐从传统的音箱向智能音箱、无线音箱升级。同时在消费升级的背景下,智能音箱成为人们提升生活品质的方式之一。智能音箱是智能化和语音交互技术的产物,具有点歌、购物、控制智能家居设备等功能&#xf…

苹果可充电键盘背光系统专利曝光:延长MacBook Air / Pro续航

根据美国商标和专利局(USPTO)近日公示的清单,苹果公司近日获得了一项关于电子设备键盘的相关专利。 苹果公司在专利中表示,为了在低光环境下,能够提高用户敲击键盘的输入体验,通常键盘会提供背光。 传统键…

获取进行逗号分隔的id值 Split的使用

获取进行逗号分隔的id值,Split的使用 后台实现对有逗号进行分割的字符串 使用这行代码就不会有一个空数组值,直接过滤调数组中的空值 var ids = key.Split(,).Where(s => !string.IsNullOrEmpty(s

使用pycharm连接读取orcl数据库的表

背景:工作需要 需求:使用pycharm访问远程oracle类型数据库的表,表中包含lob字段(这也是个坑!) 麻了,搞了一个星期,终于成功了,真可谓是每步都有坑,看的文章也…

全网最全持续集成接口自动化-jmeter+ant+jenkins

ant 批量执行Jmeter 一、环境准备 1、JDK环境:Java Downloads | Oracle 2、ANT环境:Apache Ant - Binary Distributions 3、Jmeter:Apache JMeter - Download Apache JMeter 4、将 jmeter的extras目录中ant-jmeter-1.1.1.jar包拷贝至ant…

Whale 帷幄创始人叶生晅:AIGC 时代,营销的范式变了丨未来 AI 谈

「未来 AI 谈」是「Marteker 营销技术官」联合「Digital Frontier 首席数字官」共同发起的一档对话栏目,旨在探讨生成式 AI 的崛起对泛营销技术和营销自动化带来的影响,以期帮助全行业探索 AIGC 时代的新营销之路。 本期嘉宾:「Whale 帷幄」创…

【发票识别】支持pdf、ofd、图片格式的发票

背景 为了能够满足识别各种发票的功能,特地开发了当前发票识别的功能,当前的功能支持pdf、ofd、图片格式的发票识别,使用到的技术包括文本提取匹配、ocr识别和信息提取等相关的技术,用到机器学习和深度学习的相关技术。 体验 体…

显示器新赛道Type-C接口

如果把主机比作大脑,那显示器就是眼睛,没有眼睛,大脑再强大也发挥不出效果,所以显示器作为电脑最重要的输出设备,有着举足轻重的地位,可以说在生活中处处都有显示器的影子。其实显示器的历史也是科技发展史…

5288 SDH/PDH数字传输分析仪

5288 SDH/PDH数字传输分析仪 数字通信测量仪器 5288 SDH/PDH数字传输分析仪为高性能手持式数字传输分析仪,符合ITU-T SDH/PDH技术规范和我国光同步传输网技术体制的规定,支持2.048、34.368、139.264Mb/s及155.520Mb/s传输速率的测试。可进行SDH/PDH传输设备和网络的…

java返回链表中间节点

下面我用两种方式来演示 第一种:就是先求出链表长度,长度count,长度除2的值,再从头指针处走num-1次就是返回节点这也是我们常用方法,代码演示: class Solution {public ListNode middleNode(ListNode head) {if(headnull)return…

浅谈电动机监控系统在企业降碳过程中的作用 ——安科瑞 顾烊宇

1.前言 据《2017-2022年中国电力工业产业专项调查及十三五市场商机分析报告》显示,从我国目前全社会用电结构来看,工商业用户耗电量约占 80%,其中电机耗电约占工业用电的 75%,全国总耗电的 60%,是用户终端耗电占比较大…

怎样创建vue项目(分别基于vue-cli和vite两种的创建方式)

一、基于vue-cli脚手架创建 1、安装node.js 1、首先需要安装node.js,推荐下载地址:Node.js 2、检查是否安装成功,使用打开黑窗口的快捷键windowR,输入cmd,在黑窗口输入node -v,如果输出版本号&#xff0…

iOS 调试工具CocoaDebug

1、使用pod工具在项目里面添加CocoaDebug的SDK。 platform :ios, 11.0target ShopService doproject ShopServiceuse_frameworks!pod CocoaDebug, :configurations > [Debug]end2、之后就可以在项目里面看到效果了 APP上显示的是一个黑色背景的小圆圈。 上面39表示调用了39…

three.js 使用 tweenjs绘制相机运动动画

效果&#xff1a; 代码&#xff1a; <template><div><el-container><el-main><div class"box-card-left"><div id"threejs" style"border: 1px solid red"></div><div class"box-right"…

挖到宝啦,大部分人都不知道的企业内部知识库搭建方法

在竞争激烈的现代社会中&#xff0c;企业要取得成功&#xff0c;必须拥有自己的知识库。这是企业能力的一种体现&#xff0c;也是其取得竞争优势的主要途径之一。所谓知识库&#xff0c;就是把企业内部的各种知识&#xff0c;包括技术、管理、市场等方面的知识进行系统化、结构…

电脑删除文件夹时提示“已在另一个程序中打开”

我们在使用电脑删除某个文件夹&#xff0c;特别是一些程序卸载后的残留文件夹时&#xff0c;可能会出现“操作无法完成&#xff0c;因为其中的文件夹或文件已在另一个程序中打开”的弹窗提示。有些是可以在任务管理器中关闭某个进程的占用来解决&#xff0c;但是有些却难以找到…

idea使用ssh连接docker,并通过Dockerfile文件,直接在idea中启动docker应用,并进行远程debug

idea使用ssh连接docker&#xff0c;并通过Dockerfile文件&#xff0c;直接在idea中启动docker应用&#xff0c;并进行远程debug 第一步: idea通过ssh连接docker第二步&#xff1a;使用Dockerfile文件在远程启动应用第三步: 远程debug 容器运行的好处是减轻本地运行的负担(本地电…

挑选全身动作捕捉设备需要看哪几点?

随着数字化发展&#xff0c;虚拟数字人成为企业、品牌营销中不可或缺的一环&#xff0c;虚拟数字人可以通过全身动作捕捉设备&#xff0c;能够打破次元壁与用户实时互动。那要怎么挑选全身动作捕捉设备呢&#xff1f; 广州虚拟动力推出了旗舰版惯性动捕设备DreamsCap X1&#…

Arthas idea插件分析接口耗时

参考&#xff1a; https://www.cnblogs.com/yifanSJ/p/17720999.html IDEA集成Arthas排查接口耗时_idea查看接口每个方法运行时间插件-CSDN博客 1.本地启动arthas curl -O https://arthas.aliyun.com/arthas-boot.jar java -jar arthas-boot.jar 2.本地访问arthas http:/…

电子签章系统,怎么做到大量文件自动电子签章?

在当今信息爆炸的时代&#xff0c;海量文件的签署管理成为各行业面临的挑战之一。电子签章系统的出现&#xff0c;为解决这一问题提供了有效途径。本文将探讨电子签章系统如何实现海量文件自动签章&#xff0c;提高工作效率并确保安全性。 钉钉、企微、飞书、OA、CRM、ERP等&a…