.png){kind=icon}
返回
Modelling and optimising switching on a physical binary sorter
.png){kind=icon}
OA
AI
DOI：10.1007/s10479-025-06903-2.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper, we apply MaxSAT to a system built around a physical binary sorter that functions as a load balancer between warehouses. We study a sorter operating in real time on 4.5 million elements per year. The optimization task is to minimize the switching needed to route a sequence of elements, under an arbitrary binary function that constrains the achievable load balance. The case study is drawn from a company operating hundreds of such sorters, which are essential to its internal logistics. We examine the problem from both theoretical and practical perspectives: we present an online model, analyze its properties, and evaluate several implementations across different scenarios. Experiments show switching reductions of 63 and 48% for two problem variants in a partial information setting.
Keyword:
Combinatorial optimisation
MaxSAT
Operations research
Physical binary sorter
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.5
论文数:
8.1K
被引数:
2.1W
机构
.png){kind=icon}
查看更多内容