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