Local Solver 超大规模数学优化器/求解器介绍和试用

2023-11-06 10:50

本文主要是介绍Local Solver 超大规模数学优化器/求解器介绍和试用,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

Local Solver 超大规模数学优化器/求解器介绍和试用版下载
Local Solver是成功的全局优化求解器,她结合了精确求解技术和启发式技术。除了为您提供高效和可扩展的瑞士军刀式数学优化器外,Local Solver团队还提供专业的和响应性的支持服务,以使用Local Solver进行建模并解决您手头的棘手问题。
 
您的业务需要交钥匙解决方案吗?Local Solver公司还提供定制的业务分析服务和优化服务。20多年来,Local Solver团队因其为客户开发的决策支持解决方案的价值和独特性而得到业界和学术界的广泛认可。
性能卓越的数学建模求解器(优点)
离散、数值、黑盒问题
咨询服务和定制解决方案
快速且可扩展到几百万/数千万个变量
以客户为中心,充满激情的团队
独特的高级建模功能
20年的经验,10个以上奖项
Python、Java、C#、C++的简易API
强大的信息技术专业知识
创新的混合精度技术   
敏捷与软件工艺精益求精文化
简单而透明的许可方式
固定价格,固定期限承诺
专注和快速响应的支持
全面质量和满意度

Local Solver数学求解器能够解决的典型工业问题
供应链网络最优化,设施布局最优化,车辆调度和路由线路最优化,电力系统安全约束机组组合优化;智能配补货系统优化,智能工厂计划排程,多级仓调拨补货优化,智能分单派单,波次拣选优化,集装箱码头优化运作,零售商定价模型,集装箱/卡车装载优化,航空运营管理中的组合优化,动车组运营优化、公交乘务排班优化,微电网优化配置,便利店选址优化,无人仓机器人路径规划,电信网络布局和投资,水资源优化配置系统,人力资源排班优化,高速铁路列车运行图优化问题,高速铁路动车组分配计划优化,航空中机组排班优化,手术室分派调度问题优化,以及所有涉及大量变量的组合优化问题。
  全领域、一体化数学优化求解器Local Solver
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名学术机构用户。
 
Airbus
Air Liquide
Bosch
FM Logistic
Fujitsu
Siemens
Starbucks
Toyota
Nanjin University
Shanghai Jia Tong University
Deutsche Post DHL
Norsk Hydro
TF1
TiVo
Tetra Pak
Pasco Shikishima
Veolia
Sony
NTT
Colas
Leeds School of Business, University of Colorado Boulder
Helmut Schmidt University
EDF
Bouygues Telecom
Thales

对于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位。您可以向localsolver授权代理商无锡迅合信息科技有限公司申请免费的30天试用许可证,不限制要解决的模型的大小,过期后可以选择采购Local solver商业许可。试用版下载:
链接:https://pan.baidu.com/s/1wyrWC4pPliHeQ3sucPVt8A 
提取码:Abc1 

 

这篇关于Local Solver 超大规模数学优化器/求解器介绍和试用的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/356164

相关文章

Vue3 的 shallowRef 和 shallowReactive:优化性能

大家对 Vue3 的 ref 和 reactive 都很熟悉,那么对 shallowRef 和 shallowReactive 是否了解呢? 在编程和数据结构中,“shallow”(浅层)通常指对数据结构的最外层进行操作,而不递归地处理其内部或嵌套的数据。这种处理方式关注的是数据结构的第一层属性或元素,而忽略更深层次的嵌套内容。 1. 浅层与深层的对比 1.1 浅层(Shallow) 定义

性能测试介绍

性能测试是一种测试方法,旨在评估系统、应用程序或组件在现实场景中的性能表现和可靠性。它通常用于衡量系统在不同负载条件下的响应时间、吞吐量、资源利用率、稳定性和可扩展性等关键指标。 为什么要进行性能测试 通过性能测试,可以确定系统是否能够满足预期的性能要求,找出性能瓶颈和潜在的问题,并进行优化和调整。 发现性能瓶颈:性能测试可以帮助发现系统的性能瓶颈,即系统在高负载或高并发情况下可能出现的问题

水位雨量在线监测系统概述及应用介绍

在当今社会,随着科技的飞速发展,各种智能监测系统已成为保障公共安全、促进资源管理和环境保护的重要工具。其中,水位雨量在线监测系统作为自然灾害预警、水资源管理及水利工程运行的关键技术,其重要性不言而喻。 一、水位雨量在线监测系统的基本原理 水位雨量在线监测系统主要由数据采集单元、数据传输网络、数据处理中心及用户终端四大部分构成,形成了一个完整的闭环系统。 数据采集单元:这是系统的“眼睛”,

HDFS—存储优化(纠删码)

纠删码原理 HDFS 默认情况下,一个文件有3个副本,这样提高了数据的可靠性,但也带来了2倍的冗余开销。 Hadoop3.x 引入了纠删码,采用计算的方式,可以节省约50%左右的存储空间。 此种方式节约了空间,但是会增加 cpu 的计算。 纠删码策略是给具体一个路径设置。所有往此路径下存储的文件,都会执行此策略。 默认只开启对 RS-6-3-1024k

Hadoop数据压缩使用介绍

一、压缩原则 (1)运算密集型的Job,少用压缩 (2)IO密集型的Job,多用压缩 二、压缩算法比较 三、压缩位置选择 四、压缩参数配置 1)为了支持多种压缩/解压缩算法,Hadoop引入了编码/解码器 2)要在Hadoop中启用压缩,可以配置如下参数

使用opencv优化图片(画面变清晰)

文章目录 需求影响照片清晰度的因素 实现降噪测试代码 锐化空间锐化Unsharp Masking频率域锐化对比测试 对比度增强常用算法对比测试 需求 对图像进行优化,使其看起来更清晰,同时保持尺寸不变,通常涉及到图像处理技术如锐化、降噪、对比度增强等 影响照片清晰度的因素 影响照片清晰度的因素有很多,主要可以从以下几个方面来分析 1. 拍摄设备 相机传感器:相机传

MySQL高性能优化规范

前言:      笔者最近上班途中突然想丰富下自己的数据库优化技能。于是在查阅了多篇文章后,总结出了这篇! 数据库命令规范 所有数据库对象名称必须使用小写字母并用下划线分割 所有数据库对象名称禁止使用mysql保留关键字(如果表名中包含关键字查询时,需要将其用单引号括起来) 数据库对象的命名要能做到见名识意,并且最后不要超过32个字符 临时库表必须以tmp_为前缀并以日期为后缀,备份

uva 10014 Simple calculations(数学推导)

直接按照题意来推导最后的结果就行了。 开始的时候只做到了第一个推导,第二次没有继续下去。 代码: #include<stdio.h>int main(){int T, n, i;double a, aa, sum, temp, ans;scanf("%d", &T);while(T--){scanf("%d", &n);scanf("%lf", &first);scanf

uva 10025 The ? 1 ? 2 ? ... ? n = k problem(数学)

题意是    ?  1  ?  2  ?  ...  ?  n = k 式子中给k,? 处可以填 + 也可以填 - ,问最小满足条件的n。 e.g k = 12  - 1 + 2 + 3 + 4 + 5 + 6 - 7 = 12 with n = 7。 先给证明,令 S(n) = 1 + 2 + 3 + 4 + 5 + .... + n 暴搜n,搜出当 S(n) >=

uva 11044 Searching for Nessy(小学数学)

题意是给出一个n*m的格子,求出里面有多少个不重合的九宫格。 (rows / 3) * (columns / 3) K.o 代码: #include <stdio.h>int main(){int ncase;scanf("%d", &ncase);while (ncase--){int rows, columns;scanf("%d%d", &rows, &col