首页    期刊浏览 2025年06月10日 星期二
登录注册

文章基本信息

  • 标题:Programming Language Tools and Techniques for 3D Printing
  • 本地全文:下载
  • 作者:Chandrakana Nandi ; Anat Caspi ; Dan Grossman
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2017
  • 卷号:71
  • 页码:10:1-10:12
  • DOI:10.4230/LIPIcs.SNAPL.2017.10
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We propose a research agenda to investigate programming language techniques for improving affordable, end-user desktop manufacturing processes such as 3D printing. Our goal is to adapt programming languages tools and extend the decades of research in industrial, high-end CAD/CAM in order to help make affordable desktop manufacturing processes more accurate, fast, reliable, and accessible to end-users. We focus on three major areas where 3D printing can benefit from programming language tools: design synthesis, optimizing compilation, and runtime monitoring. We present preliminary results on synthesizing editable CAD models from difficult-to-edit surface meshes, discuss potential new compilation strategies, and propose runtime monitoring techniques. We conclude by discussing additional near-future directions we intend to pursue.
  • 关键词:3D printing; rapid prototyping; desktop manufacturing; compilers; verification; synthesis
国家哲学社会科学文献中心版权所有