Solving Design Tasks In Engineering Using Object-Oriented Graph-Based Representations And Boolean Satisfiability
PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2013, VOL 5(2014)
摘要
Ever since computers have been used to support human designers, a variety of representations have been used to encapsulate engineering knowledge. Computational design synthesis approaches utilize this knowledge to generate design candidates for a specified task. However, new approaches are required to enable systematic solution space exploration. This paper presents an approach that combines a graph-based, object-oriented knowledge representation with first-order logic and Boolean satisfiability. This combination is used as the foundation for a generic, automated approach for requirement-driven computational design synthesis. Available design building blocks and a design task defined through a set of requirements are modeled in a graph-based environment and then automatically transferred into a Boolean satisfiability problem and solved, considering a given solution size. The solution is then automatically transferred back to the graph-based domain. The method is validated through the synthesis of automotive powertrains. The contribution of the paper is a new method that is both able to determine that an engineering task is solvable or not given a set of design building blocks and able to systematically explore the solution space.
更多查看译文
关键词
Computational Design Synthesis,Boolean Satisfiability,Conceptual Design,Constraint-Based Design
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要