Affiliation:
1. University of Washington and Shandong University and IST Austria, Seattle, WA
2. University of Washington, Seattle, WA
3. Massachusetts Institute of Technology, Cambridge, MA
Abstract
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 manageable and direct the search towards promising candidates. We illustrate the advantages of our pipeline through examples from the carpentry domain.
Funder
National Science Foundation
Google faculty award and the NSF China
Army Research Office
Air Force Office of Scientific Research
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. FabHacks: Transform Everyday Objects into Home Hacks Leveraging a Solver-aided DSL;Proceedings of the 9th ACM Symposium on Computational Fabrication;2024-07-07
2. Toward Sub-Gram Helicopters: Designing a Miniaturized Flybar for Passive Stability;2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2023-10-01
3. Improving Unsupervised Visual Program Inference with Code Rewriting Families;2023 IEEE/CVF International Conference on Computer Vision (ICCV);2023-10-01
4. Semantics and Scheduling for Machine Knitting Compilers;ACM Transactions on Graphics;2023-07-26