Ever since computers have been used to support human designers, a variety of representations have been used to encapsulate engineering knowledge. Computational design synthesis (CDS) 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 Boolean solution is automatically transferred back to the graph-based domain. The method is validated through two case studies: synthesis of automotive powertrains and chemical process synthesis for ethyl alcohol production. The contribution of the paper is a new method that is able to determine if an engineering task is solvable for a given set of synthesis building blocks and enables systematic solution space exploration.

References

References
1.
Chakrabarti
,
A.
,
Shea
,
K.
,
Stone
,
R.
,
Cagan
,
J.
,
Campbell
,
M.
,
Hernandez
,
N.
, and
Wood
,
K.
,
2011
, “
Computer-Based Design Synthesis Research: An Overview
,”
ASME J. Comput. Inf. Sci. Eng.
,
11
(
2
), p.
021003
.10.1115/1.3593409
2.
VDI-Fachbereich Produktentwicklung und Mechatronik, 1993, “VDI 2221—Methodik zum Entwickeln und Konstruieren technischer Systeme und Produkte.”
3.
Fachbach
,
B.
,
2011
, “
Anforderungen an die Konzeptphase aus Sicht der OEMs—Ergebnisse einer Befragung
,” In 4. Grazer Symposium Virtuelles Fahrzeug.
4.
Rude
,
S.
,
1998
,
Wissensbasiertes Konstruieren
,
1st ed.
,
Shaker Verlag, Herzogenrath
,
Germany
.
5.
Helms
,
B.
, and
Shea
,
K.
,
2012
, “
Computational Synthesis of Product Concepts Based on Generalized Graph Grammars
,”
ASME J. Mech. Des.
,
134
(
2
), p.
021008
.10.1115/1.4005592
6.
Münzer
,
C.
,
Helms
,
B.
, and
Shea
,
K.
,
2012
, “
Automated Parametric Design Synthesis Using Graph Grammars and Constraint Solving
,”
ASME 2012 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
.
7.
Snavely
,
G.
, and
Papalambros
,
P.
,
1993
, “
Abstraction as a Configuration Design Methodology
,”
Adv. Des. Autom.
,
1
, pp.
297
305
.
8.
Wyatt
,
D.
,
Wynn
,
D.
,
Jarrett
,
J.
, and
Clarkson
,
P.
,
2012
, “
Supporting Product Architecture Design Using Computational Design Synthesis With Network Structure Constraints
,”
Res. Eng. Des.
,
23
(
1
), pp.
17
52
.10.1007/s00163-011-0112-y
9.
Sabin
,
D.
, and
Weigel
,
R.
,
1998
, “
Product Configuration Frameworks—A Survey
,”
IEEE Intell. Syst.
,
12
(
4
), pp.
42
49
.10.1109/5254.708432
10.
van Harmelen
,
F.
,
Lifschitz
,
V.
, and
Porter
,
B.
, eds.,
2008
,
Handbook of Knowledge Representation
,
1st ed.
,
Elsevier, Amsterdam
,
The Netherlands
.
11.
Schmidt
,
L.
, and
Cagan
,
J.
,
1997
, “
GGREADA: A Graph Grammar-Based Machine Design Algorithm
,”
Res. Eng. Des.
,
9
(
4
), pp.
195
213
.10.1007/BF01589682
12.
Schmidt
,
L.
,
Shetty
,
H.
, and
Chase
,
S.
,
2000
, “
A Graph Grammar Approach for Structure Synthesis of Mechanisms
,”
ASME J. Mech. Des.
,
122
(
4
), pp.
371
376
.10.1115/1.1315299
13.
Alber
,
R.
, and
Rudolph
,
S.
,
2003
, ““
43”—A Generic Approach for Engineering Design Grammars,” AAAI Spring Symposium Computational Synthesis
, AAAI Technical Report No. SS–03–02.
14.
Schaefer
,
J.
, and
Rudolph
,
S.
,
2005
, “
Satellite Design by Design Grammars
,”
Aerosp. Sci. Technol.
,
9
, pp.
81
91
.10.1016/j.ast.2004.08.003
15.
Landes
,
B.
, and
Rudolph
,
S.
,
2011
, “
Aircraft Cabin Architectures Including Tolerancing Using a Graph-Based Design Language in UML
,” In Deutscher Luft- und Raumfahrtkongress
2011
.
16.
Starling
,
A.
, and
Shea
,
K.
,
2005
, “
A Parallel Grammar for Simulation-Driven Mechanical Design Synthesis
,” ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference.
17.
Bolognini
,
F.
,
Seshia
,
A.
, and
Shea
,
K.
,
2007
, “
Exploring the Application of Multidomain Simulation-Based Computational Synthesis Methods in MEMS Design
,” International Conference on Engineering Design 2007—ICED’07, Design Society.
18.
Lin
,
Y.
,
Shea
,
K.
,
Pears
,
J.
, and
Johnson
,
A.
,
2009
, “
A Method and Software Tool for Automated Gearbox Synthesis
,”
ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
.
19.
Kurtoglu
,
T.
, and
Campbell
,
M.
,
2009
, “
Automated Synthesis of Electromechanical Design Configurations From Empirical Analysis of Function to Form Mapping
,”
J. Eng. Des.
,
20
(
1
), pp.
83
104
.10.1080/09544820701546165
20.
Campbell
,
M.
,
Rai
,
R.
, and
Kurtoglu
,
T.
,
2012
, “
A Stochastic Tree-Search Algorithm for Generative Grammars
,”
ASME J. Comput. Inf. Sci. Eng.
,
12
(
3
),
p. 031006
.10.1115/1.4007153
21.
Stanković
,
T.
,
Štorga
,
M.
,
Shea
,
K.
, and
Marjanović
,
D.
,
2012
, “
Formal Modelling of Technical Processes and Technical Process Synthesis
,”
J. Eng. Des.
,
24
, pp.
211
238
.10.1080/09544828.2012.722193
22.
Hutcheson
,
R.
,
Jordan
,
R.
,
Stone
,
R.
,
Terpenny
,
J.
, and
Chang
,
X.
,
2006
, “
Application of a Genetic Algorithm to Concept Variant Selection
,”
ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
.
23.
Wyatt
,
D.
,
Wynn
,
D.
, and
Clarkson
,
J.
,
2009
, “
A Computational Method to Support Product Architecture Design
,”
ASME 2009 International Mechanical Engineering Congress and Exposition
.
24.
Rihtaršič
,
J.
,
Žavbi
,
R.
, and
Duhovnik
,
J.
,
2010
, “
SOPHY—Tool for Structure Synthesis of Conceptual Technical Systems
,”
11th International Design Conference—DESIGN’10
.
25.
Jin
,
Y.
, and
Li
,
W.
,
2007
, “
Design Concept Generation: A Hierarchical Coevolutionary Approach
,”
ASME J. Mech. Des.
,
129
(
10
), pp.
1012
1022
.10.1115/1.2757190
26.
Hirtz
,
J.
,
Stone
,
R.
,
McAdams
,
D.
,
Szykman
,
S.
, and
Wood
,
K.
,
2002
, “
A Functional Basis for Engineering Design: Reconciling and Evolving Previous Efforts
,”
NIST Tech. Note
,
1447
, pp.
1
43
.
27.
Helms
,
B.
,
Schultheiß
,
H.
, and
Shea
,
K.
,
2013
, “
Automated Mapping of Physical Effects to Functions Using Abstraction Ports Based on Bond Graphs
,”
J. Mech. Des.
,
135
(
5
), p.
051006
.10.1115/1.4023923
28.
Helms
,
Bergen
,
2013
, “
Object-Oriented Graph Grammars for Computational Design Synthesis
,” Technische Universität München. Available at http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20130208-1113665-0-9
29.
Braha
,
D.
,
2001
, “
Design-as-Satisfiability: A New Approach to Automated Synthesis
,”
Artif. Intell. Eng. Des., Anal. Manuf.
,
15
(
5
), pp.
385
399
.
30.
Hatchuel
,
A.
, and
Weil
,
B.
,
2003
, “
A New Approach on Innovative Design: An Introduction to C-K Theory
,”
International Conference on Engineering Design–ICED’03
.
31.
Shai
,
O.
,
Reich
,
Y.
,
Hatchuel
,
A.
, and
Subrahmanian
,
E.
,
2009
, “
Creativity Theories and Scientific Discovery: A Study of C-K Theory and Infused Design
,”
International Conference on Engineering Design—ICED’09
.
32.
Hendriks
,
L.
, and
Osman
,
A.
,
2011
, “
A Method for Design Reasoning Using Logic: From Semantic Tableaux to Design Tableaux
,”
International Conference on Engineering Design—ICED’11
.
33.
Hendriks
,
L.
, and
Kazakci
,
A.
,
2012
, “
A Design Assistant Architecture Based on Design Tableaux
,”
International Design Conference—DESIGN 2012
.
34.
International Organization for Standardization
,
2004
, “Information Technology—Metadata Registries (MDR)-Part 1: Framework,” Report No. ISO/IEC 11179-1.
35.
Helms
,
B.
,
Hoisl
,
F.
, and
Shea
,
K.
,
2009
, “
A Framework for Computational Design Synthesis Based on Graph-Grammars and Function-Behavior-Structure
,”
ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
.
36.
Pahl
,
G.
,
Beoltz
,
W.
,
Feldhusen
,
J.
, and
Grote
,
K.-H.
,
2007
,
Konstruktionslehre
,
7th ed.
,
Springer Verlag
,
Berlin, Germany.
37.
Hoffmann
,
D.
,
2009
,
Theoretische Inormatik
,
1st ed.
,
Carl Hanser Verlag
,
München, Germany
.
38.
Zhang
,
L.
, and
Malik
,
S.
,
2002
, “
The Quest for Efficient Boolean Satisfiability Solvers
,”
Comput. Aided Verification, pp.
641
653
.
39.
Eén
,
N.
, and
Sörensson
,
N.
,
2008
, “
An Extensible SAT-solver
,”
11th International Conference: Theory and Applications of Satisfiability Testing
.
40.
Liang
,
V.-C.
, and
Paredis
,
C.
,
2004
, “
A Port Ontology for Conceptual Design of Systems
,”
ASME J. Comput. Inf. Sci. Eng.
,
4
(
3
), pp.
206
217
.10.1115/1.1778191
41.
Hubka
,
V.
, and
Eder
,
W.
,
1988
,
Theory of Technical Systems
,
1ST ed.
,
Springer-Verlag
,
Berlin, Germany.
42.
W3C OWL Working Group, 2004, OWL web ontology language.
43.
Jackson
,
D.
,
2012
,
Software Abstractions: Logic, Language and Analysis
,
2nd ed.
,
The MIT Press
,
Cambridge
.
44.
Torlak
,
E.
,
2009
,
A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications
,
The MIT Press
,
Cambridge.
45.
Helms
,
B.
, and
Shea
,
K.
,
2010
, “
Booggie—An Object-Oriented Graph Grammar Implementation for Engineering Design Synthesis
,”
4th International Conference on Design Computing and Cognition—DCC'10
.
46.
Jakumeit
,
E.
,
Buchwald
,
S.
, and
Kroll
,
M.
,
2010
, “
GrGen.NET
,”
Int. J. Software Tools Technol. Transfer
,
12
(
3
), pp.
263
271
.10.1007/s10009-010-0148-8
47.
Auber
,
D.
,
2003
, “
Tulip: A Huge Graph Visualisation Framework
,”
Graph Drawing Softwares
,
P.
Mutzel
and
M.
Jünger
, eds.,
Mathematics and Visualization
,
Springer-Verlag
, pp.
105
126
.
48.
Jackson
,
D.
,
2002
, “
Alloy: A Lightweight Object Modeling Language Notation
,”
ACM Trans. Software Eng. Methodol.
,
11
, pp.
256
290
.10.1145/505145.505149
49.
Sörensson
,
N.
, and
Eén
,
N.
,
2005
, “
Minisat v1.13-A Sat Solver With Conflict-Clause Minimization
,”
SAT Competition
2005
.
50.
Berre
,
D. L.
, and
Parrain
,
A.
,
2010
, “
The Sat4j Library, Release 2.2 System Description
,”
J. Satisfiability, Boolean Model. Comput.
,
7
, pp.
59
64
.
51.
Goldberg
,
E.
, and
Novikov
,
Y.
,
2007
, “
BerkMin: a Fast and Robust SAT-Solver
,”
Discrete Appl. Math.
,
155
(
12
), pp.
1549
1561
.10.1016/j.dam.2006.10.007
52.
Moskewicz
,
M.
,
Madiagn
,
C.
,
Zhao
,
Y.
,
Zhang
,
L.
, and
Malik
,
S.
,
2001
, “
Chaff: Engineering an Efficient SAT Solver
,”
39th Design Automation Conference
.
53.
Biegler
,
L.
,
Grossmann
,
I.
, and
Westerberg
,
A.
,
1997
,
Systematic Methods of Chemical Process Design
,
1st ed.
,
Prentice-Hall PTR
,
New Jersey
.
54.
Cagan
,
J.
,
Campbell
,
M.
,
Finger
,
S.
, and
Tomiyama
,
T.
,
2005
, “
A Framework for Computational Design Synthesis: Model and Applications
,”
ASME J. Comput. Inf. Sci. Eng.
,
5
(
3
), pp.
171
181
.10.1115/1.2013289
55.
Falkner
,
A.
,
Haselböck
,
A.
,
Schenner
,
G.
, and
Schreiner
,
H.
,
2011
, “
Modeling and Solving Technical Product Configuration Problems
,”
Artif. Intell. Eng. Des., Anal. Manuf.
,
25
(
2
), pp.
115
129
.10.1017/S0890060410000570
You do not currently have access to this content.