Past work on optimizing fabrication plans given a carpentry design can provide Pareto-optimal plans trading off between material waste, fabrication time, precision, and other considerations. However, when developing fabrication plans, experts rarely restrict to a single design, instead considering families of design variations, sometimes adjusting designs to simplify fabrication. Jointly exploring the design and fabrication plan spaces for each design is intractable using current techniques. We present a new approach to jointly optimize design and fabrication plans for carpentered objects. To make this bi-level optimization tractable, we adapt recent work from program synthesis based on equality graphs (e-graphs), which encode sets of equivalent programs. Our insight is that subproblems within our bi-level problem share significant substructures. By representing both designs and fabrication plans in a new bag of parts(BOP) e-graph, we amortize the cost of optimizing design components shared among multiple candidates. Even using BOP e-graphs, the optimization space grows quickly in practice. Hence, we also show how a feedback-guided search strategy dubbed Iterative Contraction and Expansion on E-graphs (ICEE) can keep the size of the e-graph manage-able and direct the search toward promising candidates. We illustrate the advantages of our pipeline through examples from the carpentry domain.
翻译:过去关于优化制造计划的工作,给木工设计提供木工设计,可以提供Pareto-最佳计划,在材料废物、制造时间、精度和其他考虑之间进行交换。然而,在制订制造计划时,专家很少局限于单一设计,而没有考虑到设计变化的类别,有时是调整设计以简化制造。联合探索每个设计的设计与制造计划空间,使用当前技术很难解决问题。我们提出了一个新的方法,以共同优化木工物体的设计和制造计划。为了使这一双级优化可以推广,我们从基于平等图表(e-graphs)的程式合成(e-graphs)中调整了最近的工作,该图将相同的程序编码。我们的见解是,我们双级问题中的子问题共享了重要的子结构。通过在新的部件(BOP)电子绘图包中代表设计和制造计划,我们把优化设计中多个候选人共享的设计组成部分的成本集中起来。即使使用BOPe-graph,优化空间在实践中也迅速增长。因此,我们还展示了一种反馈指导的搜索策略,即扩展和扩展电子地图上的扩展,我们通过直接搜索(ICE)候选人的地图展示了我们直接搜索优势。