Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver

作者: Pavel Surynek, Vojtěch Bubník, Lukáš Matěna, Petr Kubiš

发布时间: 2025-03-10

来源: arxiv

研究方向: 3D打印、组合优化、机器人技术

主要内容

本文研究了序列3D打印中的对象排列和调度问题，提出了一个基于线性算术公式的模型，并使用基于CEGAR的优化求解器进行求解。

1. 提出了序列3D打印对象排列和调度的形式化定义。

2. 将问题建模为线性算术公式，并使用SMT求解器进行求解。

3. 提出了基于CEGAR技术的优化求解方法，提高了求解效率。

4. 将算法集成到开源切片软件Prusa Slicer中，并进行了实验验证。

1. 组合优化

2. 线性算术公式建模

3. SMT求解

4. CEGAR技术

实验结果表明，与直接求解所有约束的贪婪方法相比，CEGAR方法在求解效率上具有显著优势。

未来工作将改进线性算术模型，以更好地考虑对象在z坐标方向上的xy投影变化，并处理对象旋转的可能性。