CAREER: SmartCAD: Shaping The Next Revolution in Computer-Aided Design

职业生涯：SmartCAD：塑造计算机辅助设计的下一场革命

• 批准号: 2339249
• 负责人: Adriana Schulz
• 金额: $ 58.9万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2024
• 资助国家: 美国
• 起止时间: 2024-06-15 至 2029-05-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2339249&HistoricalAwards=false
• 关键词: CAREER; SmartCAD; Shaping; Next; Revolution

The rapid advancement of artificial intelligence (AI) is reshaping various sectors, yet the field of design for manufacturing has not fully capitalized on these innovations. This project aims to bridge this gap by developing new design tools that combine AI with traditional design algorithms and principles. A central challenge for design tools in manufacturing is the need to simultaneously nurture the creative ability to conceive novel designs and the analytical prowess to critically evaluate and optimize functionality and production. The goal of this project is to address these challenges and develop novel tools that make it easier for both new and experienced designers to create high-quality, diverse products. These tools are expected to not only improve product quality and diversity but also reduce the environmental impact of manufacturing, promoting sustainability. Additionally, the project includes an educational component to make STEM fields more accessible and engaging through design and manufacturing, broadening participation and innovation in these areas.To unite design precision with creative exploration, this project will develop tools that combine neural abstractions with formal reasoning. Treating computer-aided design (CAD) models as programs that generate geometry, this initiative interprets design as program synthesis, benefiting from formal reasoning and advancements in AI-driven code generation. This approach ensures verifiability and constraint-adherent synthesis, essential for precise engineering analysis. The project will develop a new domain-specific language (DSL) to better support AI-driven design, create algorithms for generating DSL programs from diverse inputs using models like Generative Pre-trained Transformers (GPT) integrated with geometric knowledge, and devise methods to identify and explore design variations efficiently. Additionally, it will establish techniques for design decomposition and recomposition, enhancing the DSL's flexibility and users’ ability to innovate in design generation and iteration.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.

人工智能 (AI) 的快速发展正在重塑各个领域，但制造设计领域尚未充分利用这些创新，该项目旨在通过开发将人工智能与传统设计算法和原理相结合的新设计工具来弥补这一差距。制造中设计工具的一个核心挑战是需要同时培养构思新颖设计的创造力和批判性评估和优化功能和生产的分析能力。该项目的目标是解决这些挑战并开发新颖的工具。让新手和有经验的人都更容易这些工具不仅可以提高产品质量和多样性，还可以减少制造对环境的影响，促进可持续发展。此外，该项目还包括教育内容，使 STEM 领域更容易接触和参与。为了将设计精度与创造性探索结合起来，该项目将开发将神经抽象与形式推理相结合的工具，将计算机辅助设计（CAD）模型视为生成几何图形的程序。倡议将设计解释为程序综合，受益于正式的这种方法确保了可验证性和遵守约束的综合，这对于精确的工程分析至关重要，该项目将开发一种新的领域特定语言（DSL），以更好地支持人工智能驱动的设计、创建算法。使用集成了几何知识的生成式预训练变压器 (GPT) 等模型从不同的输入生成 DSL 程序，并设计有效识别和探索设计变体的方法。此外，它将建立设计分解和重组的技术，从而增强设计能力。 DSL 的灵活性以及用户在设计生成和迭代方面的创新能力。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。