Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis

协作研究：FMitF：第一轨：通过语言设计和综合进行 CAD 系统的最终用户编程

• 批准号: 2219865
• 负责人: Maneesh Agrawala
• 金额: $ 25万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2022
• 资助国家: 美国
• 起止时间: 2022-10-01 至 2025-09-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2219865&HistoricalAwards=false
• 关键词: Collaborative; Research; FMitF; Track; End

Computer-Aided Design (CAD) plays an essential role in modern engineering. While CAD tools enable rapid creation of models, it is extremely laborious to reuse these models when creating new designs. The key reason is that changes to a design might require coordinated changes to several elements of a model to preserve relationships between parts. The project's novelties include next-generation interfaces for manipulating CAD models, and advances in automated reasoning done by the CAD system. The project's impacts range from increasing the productivity of design professionals making changes to complex models, to reducing the barrier to entry for casual designers who wish to perform 3D modeling by re-using existing models. The software developed in this work will allow designers to quickly iterate and optimize designs, leading to increased designer productivity and design quality.Building on results in program synthesis and domain-specific language design, the investigators are developing techniques for end-user programming of CAD programs. The techniques are enabled by the observation that modern CAD tools represent a design as a program that generates the 3D geometry by executing a sequence of geometric operations; reasoning about programs is thus used to reason about designs. This is achieved by first developing a language for describing CAD models that maintains design integrity through model parameter changes, even when elements and topology may vary. To this end, the language includes novel constructs for precisely selecting, or referring to, elements of geometry. Second, the team is developing algorithms for reasoning about CAD programs by transforming program edits into queries that leverage a combination of off-the-shelf symbolic and numerical solvers. Finally, the team is developing novel end-user programming environments enabled by the CAD language and the resultant automated reasoning. These applications include bidirectional editing of CAD programs as well as synthesis of template models for optimizing CAD designs. Further, the team is continuing their outreach activities to inspire young students and underrepresented minorities to pursue STEM careers.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

计算机辅助设计（CAD）在现代工程中起着至关重要的作用。尽管CAD工具可以快速创建模型，但在创建新设计时重复使用这些模型非常费力。关键原因是，对设计的更改可能需要对模型的几个元素进行协调的更改，以保留零件之间的关系。该项目的新颖性包括用于操纵CAD模型的下一代界面，以及CAD系统所做的自动推理的进步。该项目的影响范围从提高设计专业人员对复杂模型进行更改的生产率到减少希望通过重新使用现有模型执行3D建模的休闲设计师进入障碍。这项工作中开发的软件将使设计师能够快速迭代并优化设计，从而提高了设计人员的生产力和设计质量。建立程序合成和特定领域的语言设计的结果，研究人员正在开发用于CAD程序最终用户编程的技术。通过观察到，现代CAD工具代表设计作为一个程序，该程序通过执行一系列几何操作来生成3D几何形状，从而实现了这些技术。因此，关于程序的推理用于推理有关设计的推理。这是通过开发一种语言来描述CAD模型来实现的，该语言即使元素和拓扑可能会有所不同，该语言通过模型参数变化来维持设计完整性。为此，该语言包括用于精确选择或指几何元素的新颖构造。其次，该团队正在开发用于推理CAD程序的算法，通过将程序编辑转换为利用现成符号和数值求解器组合的查询。最后，团队正在开发由CAD语言和由此产生的自动推理启用的新型最终用户编程环境。这些应用包括CAD程序的双向编辑以及用于优化CAD设计的模板模型的合成。此外，该团队正在继续进行外展活动，以激发年轻学生和人为不足的少数群体从事STEM职业。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子和更广泛影响的评估评估的评估值得支持的。