Carpentry compiler
Carpentry compiler
复制标题
DOI：
10.1145/3355089.3356518
复制
发表时间：
2019-11
期刊：
影响因子：
--
通讯作者：
Chenming Wu;Haisen Zhao;Chandrakana Nandi;J. Lipton;Zachary Tatlock;Adriana Schulz
中科院分区：
文献类型：
--
作者：
Chenming Wu;Haisen Zhao;Chandrakana Nandi;J. Lipton;Zachary Tatlock;Adriana Schulz
传统的制造工作流程强烈地将设计和制造阶段分离开来。因此，制造相关的目标（如制造时间和精度）难以在设计空间中优化，反之亦然。本文提出了一种用于表达抽象、参数化制造方案的高级领域专用语言HL-HELM；它还介绍了LL-HELM，这是一种低级语言，用于表达考虑到可用制造过程的物理约束的具体制造计划。我们提出了一种新的编译器，它支持将高级几何制造操作实时、非优化地转换为具体的、特定于工具的制造指令；这可以在用户设计计划时立即反馈其物理可行性。HELM提供了新颖的优化，以提高精度，减少制造时间和材料成本。最后，优化的低级计划可以解释为用户实际制造物理产品的一步一步的说明。我们提供了木工领域中使用我们的高级语言设计的各种示例制造计划，展示了编译器如何翻译和优化这些计划以生成具体的低级指令，并展示了用木材制造的最终物理产品。
Traditional manufacturing workflows strongly decouple design and fabrication phases. As a result, fabrication-related objectives such as manufacturing time and precision are difficult to optimize in the design space, and vice versa. This paper presents HL-HELM, a high-level, domain-specific language for expressing abstract, parametric fabrication plans; it also introduces LL-HELM, a low-level language for expressing concrete fabrication plans that take into account the physical constraints of available manufacturing processes. We present a new compiler that supports the real-time, unoptimized translation of high-level, geometric fabrication operations into concrete, tool-specific fabrication instructions; this gives users immediate feedback on the physical feasibility of plans as they design them. HELM offers novel optimizations to improve accuracy and reduce fabrication time as well as material costs. Finally, optimized low-level plans can be interpreted as step-by-step instructions for users to actually fabricate a physical product. We provide a variety of example fabrication plans in the carpentry domain that are designed using our high-level language, show how the compiler translates and optimizes these plans to generate concrete low-level instructions, and present the final physical products fabricated in wood.