1. MindOpt 产品介绍¶
优化技术 (Optimization) 是用于在众多可能性中寻找最优方案的技术,是现代工业、商业决策行为中的核心工具之一,被广泛应用于电力能源、工业制造、交通物流、零售、金融、云计算、科研等行业。例如设计工期最短的项目计划、总成本最低的发电计划,风险水平最低的资金调配方案、对健康组织伤害最小的放疗方案,最节省燃料的火箭发射方案、里程最短的运输路线等…… 所有这些寻找“最优”解决方案的问题,都是优化技术的应用场景。
在实践中,人们需要分析实际问题的系统结构、逻辑关系以及期望达成的目标,然后利用函数、等式、不等式、仿真程序等工具将其形式化地描述出来,这个过程通常被称为 数学建模 (Modeling)。 问题越复杂,数学建模得到的优化模型就越是庞大,因此很多实际应用中的优化问题的复杂程度已经远远超出一般工具所能处理的范围,此时需要使用 优化求解器 (Solver) 来解决这些问题,寻找最优解。
MindOpt 是优化求解器套件,是工业软件之芯。我们围绕 MindOpt 优化求解器,研发了以下多个软件和平台服务,以满足用户在智能决策场景中不同的需求,帮助企业降本增效。我们当前研发的产品包括 MindOpt 优化求解器, MindOpt APL 建模语言, MindOpt Tuner 调参器,MindOpt 优化建模平台。
MindOpt 优化求解器是一款高效的优化求解软件,目前支持求解线性规划、混合整数线性规划、凸二次规划、半定规划问题,关于其使用方式和说明将在本文档中进行详细介绍。当前已具备功能请参考 总览 .
MindOpt APL (MindOpt Algebraic Programming Language, MAPL) 是通用优化建模语言,通过更贴近代数语言的形式化语言建立优化模型。它支持通用的线性、非线性、混合整数问题的建模,并支持调用超过20种优化求解器进行求解,从而降低建模门槛,为用户提供更多选择。关于其使用说明,请参考 MAPL .
MindOpt Tuner 调参器是针对用户的优化问题进行超参数寻优,以发挥求解器的最优性能的工具,更多介绍请参考 MindOpt Tuner .
MindOpt 优化建模平台是一个云上平台,我们通过云服务的方式为用户提供了云上建模优化平台,集成了包括优化求解器、优化建模语言、调参器在内的一系列软件和服务,并利用云上弹性资源的方式免去了用户安装和环境配置的环节。用户也可以在优化平台中通过大量示例学习不同应用问题的建模方法。其使用请参考 MindOpt 优化平台 .
此外还有更多产品和能力在研发中,欢迎各位持续关注我们的进步。