基于local search技术的超大规模数学优化器LocalSolver



Local Solver 超大规模数学优化器/求解器

Local Solver是成功的全局优化求解器,她结合了精确求解技术和启发式技术。除了为您提供高效和可扩展的瑞士军刀式数学优化器外,Local Solver团队还提供专业的和响应性的支持服务,以使用Local Solver进行建模并解决您手头的棘手问题。

您的业务需要交钥匙解决方案吗?Local Solver公司还提供定制的业务分析服务和优化服务。20多年来,Local Solver团队因其为客户开发的决策支持解决方案的价值和独特性而得到业界和学术界的广泛认可。

性能卓越的数学建模求解器(优点)

离散、数值、黑盒问题咨询服务和定制解决方案快速且可扩展到几百万/数千万个变量以客户为中心,充满激情的团队独特的高级建模功能20年的经验,10个以上奖项Python、Java、C#、C++的简易API强大的信息技术专业知识创新的混合精度技术   敏捷与软件工艺精益求精文化简单而透明的许可方式固定价格,固定期限承诺专注和快速响应的支持全面质量和满意度


Local Solver数学求解器能够解决的典型工业问题

供应链网络最优化,设施布局最优化,车辆调度和路由线路最优化,电力系统安全约束机组组合优化;智能配补货系统优化,智能工厂计划排程,多级仓调拨补货优化,智能分单派单,波次拣选优化,集装箱码头优化运作,零售商定价模型,集装箱/卡车装载优化,航空运营管理中的组合优化,动车组运营优化、公交乘务排班优化,微电网优化配置,便利店选址优化,无人仓机器人路径规划,电信网络布局和投资,水资源优化配置系统,人力资源排班优化,高速铁路列车运行图优化问题,高速铁路动车组分配计划优化,航空中机组排班优化,手术室分派调度问题优化,以及所有涉及大量变量的组合优化问题。

 全领域、一体化数学优化求解器Local Solver

                                                                 运筹学解决方案技术的可扩展性

扫描二维码关注公众号,回复: 12739063 查看本文章

Scalability of OR solution technologies

Local Solver结合了许多不同的数学优化技术而不需要调参:局部和直接搜索、约束传播和推理、线性和混合整数规划以及非线性规划技术。Local Solver特别地,在二次分配问题(QAP),旅行商问题(TSP),装箱问题优化(BPP), 能力约束的车辆路径问题(CVRP)等方面有独特优势。

与其他数学优化软件不同的是,Local Solver是组合拳技术,而不是基于单一优化技术。得益于其独特的一种搜索方法,Local Solver在求解过程中动态地混合了不同的优化技术。Local Solver结合了局部搜索和直接搜索技术、约束传播和推理技术、线性和混合整数规划技术以及非线性规划技术,以最好地解决您的业务问题。

此外,Local Solver集成了独特的启发式搜索技术,用于组合优化和连续优化。通过这种方式,它能够处理涉及数百万个变量的模型,这些模型规模超出了经典求解器的范围,特别是经典混合整数线性规划(MIP)、约束规划(CP)或非线性规划(NLP)求解器。

创新的数学建模语言

LSP example

                                                                            LSP 模型代码片段


LocalSolver
附带了一个强大的建模语言(LSP)。它使您能够快速构建您的优化应用程序原型。

Local Solver编程语言(LSP)提供了一种高效的编程风格:动态但强类型、隐式变量声明、紧凑的循环语法等。许多函数既可用于数学建模,也可用于编程,使语言非常易于学习。

我们的目标是尽可能减少您的编程工作(效率),同时构建您的原型工作(可靠性)。您将看到与使用现有建模语言编写的模型相比,Local Solver生成的LSP模型更简洁,可读性更强。

轻量级“面向对象”的应用程序接口

为了在业务应用程序中充分集成Local Sovers算法,我们为Python、java、C#、C++用户提供了易于使用的面向对象编程接口API。

Local Solver的API是轻量级的,只公开了几个类。相应的可调用算法库(Python、java、C#、C++)提供了通用操作系统(Windows、Linux、MACOS)和通用体系结构(X86、X64)。Local Solver的x64二进制文件提供了完整的64位功能:一些客户机处理涉及5000万个变量的模型,只加载了50GB内存。

从LSP建模语言传递到API是很容易的:你只需要专注于你的数学优化模型。你不必分解你的问题,不必调整解算器,甚至不必编写额外的特定代码,在几分钟内解决大规模的现实优化问题LocalSolver's API object model

                                                               Local Solver的API对象模型

Local Solver客户群广泛,全行业覆盖

Local Solver被25个国家100多家公司使用:澳大利亚、奥地利、比利时、巴西、加拿大、中国、丹麦、芬兰、法国、德国、意大利、日本、挪威、葡萄牙、斯洛伐克、西班牙、瑞典、英国,其中一半公司收入超过10亿欧元,另一半公司非常多样化,有许多初创公司和小公司。LocalSolver还统计了来自90个国家的2000名学术机构用户。


对于Local Solver的应用能力和求解性能,得到客户广为赞誉:
Local Solver典型客户评语“Local Solver创新特性及其独特的建模形式使我们能够解决许多MIP求解器无法解决的问题。它的性能大大超出了我们对TSP(旅行商问题),匹配和设施位置问题的预期。在一年内我们优化了1.6亿欧元项目,平均收益为12%。LocalSolver总裁尼古拉斯提供的积极而精确的支持极大地帮助了我们在项目上快速前进”。--Renault Lacour, 数学建模专家顾问,Newton Vaureal咨询公司“您的服务对我们项目起到了至关重要的帮助,我们对朱利安充满信心,多年来朱利安一直以其高质量的支持、多才多艺和专业精神给我留下深刻印象!真正的增值服务和创新技术”。--Alexis Bruno,网络软件架构师,Bouygues电信公司“在几天的工作中,我们使用Local Solver开发了Pasco优化模型。Local Solver提供了优秀解决方案,正如Pasco规划者所认为的那样,即使变量数量是巨大的(上千万),只需几分钟的运行时间。我们无法想象这样的壮举一开始就是可能的,因为像Cplex、Xpress这样最先进的MIP解算器也无法在数小时内解决这个问题。现在我们知道通过使用Local Solver这是可能的”!--Shinichi Kuroda,Pasco供应链优化项目总监,Future Architect公司

 Local Solver的版本类型

LocalSolver为常见计算平台公开发布,能够支持WINDOWS 64位,Linux 64位和macOS 64位。您可以申请免费的30天试用许可证,不限制要解决的模型的大小,过期后可以选择采购Local solver商业许可。大学教职员工和学生可享受免费1个月(可有条件续期)的Local solver学术许可证,请发送您的Edu学术邮箱我们进行注册申请。有兴趣使用全功能商业Local solver优化求解器吗?商业许可提供了软件的所有功能。作为LocalSolver授权代理,我们提供用于开发和生产目的的许可证。LocalSolver许可证很简单,涵盖了工业优化中的经典用法。定价主要取决于您对Local Solver的使用情况:开发或生产使用、配备LocalSolver的机器数量和种类、允许在这些机器上并发使用的数量。联系获得Local Solver全功能试用 (邮件至 [email protected])。


猜你喜欢

转载自blog.51cto.com/15124721/2650512