Abstract
Distributed optimization architectures decompose large monolithic optimization problems into sets of smaller and more manageable optimization subproblems. To ensure consistency and convergence towards a global optimum, however, cumbersome coordination is necessary and often not sufficient. A distributed optimization architecture was previously proposed that does not require coordination. This so-called Informed Decomposition is based on two types of optimization problems: (1) one for system optimization to produce stiffness requirements on components using pre-trained meta models and (2) one for the optimization of components with two interfaces to produce detailed geometries that satisfy the stiffness requirements. Each component optimization problem can be carried out independently and in parallel. This paper extends the approach to three-dimensional structures consisting of components with six degrees of freedom per interface, thus significantly increasing the applicability to practical problems. For this, an 8-dimensional representation of the general 12 x 12 interface stiffness matrix for components is derived. Meta models for mass estimation and physical feasibility of stiffness targets are trained using an active-learning strategy. A simple two-component structure and a large robot structure consisting of four components subject to constraints for 100 different loading scenarios are optimized. The example results are at most 12.9% heavier than those of a monolithic optimization.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
The holistic or monolithic design of systems involving multiple components can be a difficult task. Firstly, from a product development perspective, the development process itself requires decomposition (Sobieszczanski-Sobieski and Haftka 1997). Therefore, in classical top-down development processes, requirements are first formulated at the system level and then broken down, and passed on to lower levels and finally to the respective departments (Forsberg and Mooz 1991; Ulrich and Eppinger 2003). The hierarchical process offers advantages, allowing designers to focus on parts rather than the entire system (Eckert and Clarkson 2005). Secondly, from a computational perspective, the sheer size of the system can make monolithic design prohibitively expensive, requiring decomposition to reduce the size of the problem and the computational time (Martins and Lambe 2013). For both views, therefore, decomposition is often preferred over a monolithic design approach.
Consequently, in the context of design optimization, distributed design optimization architectures were developed. These architectures break down a given monolithic optimization problem into smaller optimization subproblems, enabling individual design by separate groups (Martins and Ning 2022). Over recent years, numerous distributed architectures have emerged and successfully applied across different use cases. Many of these architectures build upon classical approaches such as Collaborative Optimization (Braun 1996), Analytical Target Cascading (Kim et al. 2003), BLISS-2000 (Sobieszczanski-Sobieski et al. 2000, 2003), or Quasiseparable Decomposition (Haftka and Watson 2005).
However, despite their potential benefits, distributed optimization architectures have not seen widespread adoption in industry. This is often due to their increased computational time requirements or their inability to accurately mirror real-world distributed product development processes (Martins and Ning 2022). One key challenge is that the optimization problems decomposed by most distributed architectures are not entirely separable and necessitate a coordination strategy to ensure consistency. Achieving such coordination within an industrial setting requires an optimization architecture that connects all involved departments, a task that is challenging to implement. Moreover, employing such a coordination strategy carries the risk of incurring coordination overhead, where the cost of coordination surpasses that of the original optimization problem (Alexandrov and Hussaini 1997; Tosserams et al. 2009).
Therefore, a decomposition scheme without any need for coordination is advantageous. In the context of distributed optimization architectures, we define the term decoupling as a horizontal decomposition between system and component level and vertical decomposition between different components without the need for coordination after the decomposition. This type of decomposition was, e.g., introduced by Zimmermann and von Hoessle (2013) and embedded in a design procedure in Zimmermann et al. (2017). The procedure differs from classical design optimization methods that it is not based on point solutions, but so-called solution spaces, which represent sets of good designs, i.e., designs that satisfy all requirements. In general, decoupled architectures run into the risk of
-
1.
accidentally ruling out the optimal but initially unknown solutions on the system level and
-
2.
committing to a physically infeasible design, i.e., a design that cannot be realized on a detail level afterwards.
One way to address these problems is to provide a priori information from the component level to the system level using meta models that are trained before performing a decoupling (Hou and Jiao 2020). Meta models have a long history in systems design because they can reduce the high computational cost of large-size computer models (Viana et al. 2014).
Papadrakakis et al. (1998) were one of the first authors that successfully applied meta models into a structural optimization problem, yet for size and shape optimization only. In the field of topology optimization, the combination of high-fidelity solutions of finite element models together with a large number of design variables lead to high computational cost for the design optimization process (Bendsøe and Sigmund 2004). Hence, meta models have recently been used to speed up the optimization process of these large-scale optimization problems, see, for example, the reviews of Mukherjee et al. (2021), Ramu et al. (2022) or Woldseth et al. (2022). Here, the deformation energy, referred to as compliance in the context of topology optimization, is often utilized as a performance measure. Since the compliance is a load-dependent quantity, corresponding mechanical detailed designs are only valid for the respective load case. By using a sufficiently broad dataset that spans variations in loads, boundary conditions, material models, objective function, and design domains, one can train a regressor for a general mapping.
Inherent component characteristics, which are independent of changing boundary conditions, can be used to reduce the amount of needed training data. For linear analyses, a stiffness matrix incorporates all information about the geometrical and physical constitution of mechanical components and is therefore load-independent. Hence, stiffness modeling plays an important role, e.g., in the design of robots, where multiple poses and loads are often considered. For example, Wang et al. (2019) performed a stiffness matrix optimization of a serial robot based on a parameterization of a topology, using linear regression. Similarly, Wang et al. (2022) topology optimized a parallel robot using a stiffness matrix-mass meta model. In multi-scale optimization, expensive macro- and microscale connections can be replaced by meta models to reduce computational costs. For example, Wu et al. (2019) utilized substructuring for hierarchical lattice structures to estimate microstructure mass and stiffness matrix. Additionally, White et al. (2019) proposed a neural network to map parameterized microstructures to their elastic material properties. Moreover, Wang et al. (2021) optimized various parameterized microstructures using meta models for material properties such as stiffness matrix or thermal conductivity. In Xia and Breitkopf (2015), topology optimization without parameterization predicted the effective strain energy density and constitutive tensor of microstructures. Furthermore, Kollmann et al. (2020) determined the stiffness matrix of topology-optimized microstructures using equivalent load cases, training a regression model for multi-scale optimization, however, not directly with a stiffness matrix as an input. In summary, most meta model approaches in literature either utilize parametrized topologies, limiting lightweight potential, or do not directly incorporate a stiffness matrix as an input for the meta models.
Besides the risk of excluding optimal designs, ensuring physical feasibility is also a relevant and difficult challenge for decoupled optimization architectures. Theoretically, all positive (semi-)definite stiffness matrices can be realized by a mechanical design. Milton and Cherkaev (1995) demonstrated that any positive definite elasticity tensor meeting necessary symmetry conditions can be achieved with a two-phase composite. Moreover, Huang and Schimmels (1998) and Huang and Schimmels (2000) established that arbitrary spatial stiffness matrices can be realized using screw springs. Consequently, designs not meeting positive definiteness criteria could be discarded to ensure physical feasibility, as exemplified by Wang et al. (2020), who explicitly included positive definiteness as an inequality constraint in multi-scale optimization. However, in continuous structural component design, factors like limited geometric design domain, available materials, and minimum member size further constrain the feasible design space of positive definite stiffness matrices (Milton et al. 2017; Wu et al. 2021). To prevent committing to infeasible designs, more stringent feasibility constraints are necessary, with design space limits not yet explicitly defined. Utilizing existing data, machine learning classifiers can approximate the physically feasible region. Classifiers are frequently employed in top-down design to ensure feasibility across various domains, such as analog circuit design (Ding and Vemur 2005; Boolchandani et al. 2011), air conditioners (Jeong et al. 2012), or the physically feasible workspace of robots (Kulick et al. 2013). In mechanical material design, Jung et al. (2019) used support vector machines to model feasibility constraints for optimization. Similarly, Qiu et al. (2021) developed a deep learning-based strategy for efficiently selecting fiber materials and stacking orientations of composites, estimating physical feasibility with a classifier based on a given database. Regenwetter and Ahmed (2022) introduced a metric considering physical feasibility, expressed as geometrical compatibility, for inverse design tasks like bicycle frames. However, no prior work has been identified for the direct and explicit classification of stiffness matrices.
Krischer and Zimmermann (2021) and Krischer et al. (2022) introduced meta models that take target stiffness matrices as input. They are part of a novel hierarchical and decoupled distributed optimization architecture. This approach separates monolithic optimization problems by employing stiffness matrix-based meta models to estimate both physical feasibility and optimality. However, the method has been restricted to planar mechanical design problems involving components with two interfaces, each possessing one vertical translational degree of freedom and one rotational degree of freedom (Krischer and Zimmermann 2021; Krischer et al. 2022).
The goal of this paper is now to extend the existing approach to three-dimensional linear mechanical design problems with components that possess two interfaces with three translational and three rotational degrees of freedom. Note that the results presented in this article are based on the findings of the PhD thesis by Krischer (2023).
The paper is organized as follows: in the subsequent chapter, the design problem concerned with the lightweight design of serial mechanical multi-component systems is introduced. Afterwards, the general framework of the decoupled optimization architecture Informed Decomposition based on Krischer and Zimmermann (2021) and Krischer et al. (2022) is presented in Sect. 3. Next, Sect. 4 provides the three-dimensional problem extension to components with two interfaces and six degrees of freedom. In Sect. 5, the validity of the approach is demonstrated by investigating a two-component system and comparing the results to a monolithic optimization. Sect. 6 outlines a practical implementation of this approach in analyzing the positioning accuracy of industrial robots, detailing the design of a four-component, low-cost lightweight robot. Finally, the results are discussed in Sect. 7 and concluded in the last Sect. 8.
2 Design problem
A mechanical multi-component system is defined as a collection of mechanical components that interact with each other. According to this definition, a large number of industrial products can be considered as mechanical multi-component systems. For research purposes, the following investigations are restricted to serial systems, yet an extension to parallel systems is straight-forward without any changes of the proposed approach.
A generic serial mechanical multi-component system, Fig. 1, has \(n_{\text {c}}\) components that can be oriented with respect to each other by prescribed rotations \(\varvec{\theta }_{(i)} = [\alpha , \beta , \gamma ]^\text {T}\) at the joint positions \({\varvec{p}}_{(i)}\), where the set of rotations defines a specific system pose. Each component i consists of deformable parts and two rigid connectors on both sides. The deformable parts of length \(l_{(i)}\) are modeled as linear elastic and have two mechanical interfaces \({\varvec{a}}_{(i)}\) and \({\varvec{b}}_{(i)}\). The first component is clamped on the left side \({\varvec{p}}_{(0)}\) and a static payload \({\varvec{f}}\) is applied on the right side of the last component of the system \({\varvec{p}}_{(n_{\text {c}})}\). The combination of pose \(\varvec{\theta }_{(i)}\) and total system load \({\varvec{f}}_{\text {s}}\) is called load case. There are \(n_{\text {p}}\) different load cases. The requirement on the system stiffness is for all load cases
with \(u_{\text {ub}}\) being the upper bound for u.
Figure 2a illustrates the dependencies between all relevant quantities that are needed to solve the given design problem. The detailed design variables \({\varvec{x}}_{(i)}\) include all design details for component i. For a given material, \({\varvec{x}}_{(i)}\) determines the detailed stiffness matrix \({\varvec{K}}_{\text {d},(i)}\), including all degrees of freedom of each structural element, and subsequently the interface stiffness matrix \({\varvec{K}}_{(i)}\) that defines the component’s elastic behavior with respect to the two interfaces \({\varvec{a}}_{(i)}\) and \({\varvec{b}}_{(i)}\). The components are then assembled to the system stiffness matrix \({\varvec{K}}_{s}={\text A}_{i=1}^{n_{c}} \varvec{K}_{(i)}\). Under a given system load vector \({\varvec{f}}_{\text {s}}\), the system deforms, resulting in the general system displacements \({\varvec{q}}_{\text {s}}\). Since the requirement is only on the translational part of the deformation \({\varvec{q}}_{\text {s}}\), the system stiffness is measured as the inverse of
where \({\varvec{u}}_{\text {ee}}\) contains the translational displacements at the end effector of the system. Similarly, the detailed design variables \({\varvec{x}}_{(i)}\) also define the mass \({m_{(i)}}\) of each component and consequently the system mass
The quantities of the design problem can be hierarchically organized on three levels:
-
(I)
system level: \({\varvec{z}} = [m,u]\),
-
(II)
component performance level: \({\varvec{y}}_{(i)} = [m_{(i)},{\varvec{K}}_{(i)}]\),
-
(III)
component detail level: \({\varvec{x}}_{(i)}\).
The design problem can be solved using monolithic optimization which will be referred to as approach (A). It can be formally expressed as
The objective function \(m= \sum _{i=1}^{n_{\text {c}}} m_{(i)}\) is separable, i.e., it can be expressed as a sum of functions, each of which depend only on the corresponding local design variables \({\varvec{x}}_{(i)}\). On the other hand, the constraint function \(g({\varvec{x}}) = u_{c} ({\varvec{x}}) - u_{\text {ub}}\) depends on all design variables \({\varvec{x}} = [{\varvec{x}}_{(1)},\ldots ,{\varvec{x}}_{(n_{\text {c}})}]\). If the constraints \({\varvec{g}}({\varvec{x}}) {\le } 0\) did not exist, this optimization problem could be simply decomposed into \(n_{\text {c}}\) independent optimization subproblems. In literature, this kind of monolithic design optimization problem is called complicating constraints problem (Conejo et al. 2002).
3 Informed Decomposition
The monolithic optimization problem (4) of Sect. 2 is then decomposed, see Fig. 2b and c, using the Informed Decomposition approach (Krischer and Zimmermann 2021; Krischer et al. 2022). It is divided into a decoupled optimization architecture consisting of a surrogate-based system optimization that decouples the problem and subsequent \(n_{\text {c}}\) independent and parallel component optimizations, Fig. 3a, and an offline database consisting of physical feasibility estimators \(\hat{p}(\varvec{\kappa })\) and mass estimators \(\hat{m}(\varvec{\kappa })\), Fig. 3b. Note, that established meta models \(\hat{p}(\varvec{\kappa })\) and \(\hat{m}(\varvec{\kappa })\) can be reused for different design problems.
\(\varvec{\kappa }\) is a lower-dimensional representation of the interface stiffness matrix \(\varvec{\varPhi }(\varvec{\kappa }) = {\varvec{K}}\). So far this approach has only been applied to problems with \(n_{\text {dof}}=2\) degrees of freedom (one rotational and one translational) per interface Krischer and Zimmermann (2021). For this setup and a given geometrical design domain \(\varOmega\), \({\varvec{K}}\) can be represented by three independent values \(\varvec{\kappa } \in {\mathbb {R}}^{1 \times 3}\). The extension to interfaces with \(n_{\text {dof}}=6\) degrees of freedom follows in the subsequent Sect. 4.
3.1 System optimization
The system optimization problem is a variation of the monolithic optimization (A) of (4). However, the system optimization uses \(\varvec{\kappa }\) (II) instead of \({\varvec{x}}\) (III) as design variables, see Fig. 2a and b. This means, that the system optimization is carried out without knowing the component details. To ensure feasibility and optimality, a surrogated-based system optimization using the meta models \(\hat{p}(\varvec{\kappa })\) and \(\hat{m}(\varvec{\kappa })\) is adopted
The mass estimator \(\hat{m}(\varvec{\kappa }_{(i)})\) enables mass estimates with respect to \(\varvec{\kappa }_{(i)}\). The feasibility estimator \(\hat{p}(\varvec{\kappa }_{(i)})\) indicates whether the component’s stiffness \({\varvec{K}}=\varvec{\varPhi }(\varvec{\kappa })\) corresponds to an actual physical design \({\varvec{x}}_{(i)}\), hence \(\hat{p}(\varvec{\kappa }_{(i)})=1\). In comparison with the monolithic optimization, the system optimization problem is extended with constraints on the physical feasibility estimator \(\hat{p}(\varvec{\kappa })\) for each component i.
The formulation with respect to \(\varvec{\kappa }\) has two advantages: First, the system optimization does not need to compute the high-dimensional detailed stiffness matrices \({\varvec{K}}_{d,(i)}\), but only the low-dimensional interface stiffness matrices \({\varvec{K}}_{(i)}=\varvec{\varPhi }(\varvec{\kappa }_{(i)})\). This reduces the computational cost of solving the bottom-up mapping for computing the displacements \({\varvec{q}}_{s}\) on the system level needed for the requirement on the translational displacements \(u = || {\varvec{u}}_{\text {ee}} ||_{2}\). Second, the optimization has usually fewer design variables. When using, e.g., topology optimization, the number of design variables equals the number of elements in the design domain, whereas for the system optimization only the reduced stiffness vectors \(\varvec{\kappa }_{(i)}\) needs to be optimized.
Due to the binary classification characteristic of \(\hat{p}(\varvec{\kappa })\) and the possibly non-convex design domain spanned by \(\hat{p}(\varvec{\kappa })\) and \(\hat{m}(\varvec{\kappa })\), a gradient-free and global-search algorithm, namely a particle swarm optimization (PSO) is utilized (Kennedy and Eberhart 1995).
In order to establish the bottom-up mapping for the system optimization, a given multi-component system is assembled, see also Fig. 4. Therefore, each interface stiffness matrix \({\varvec{K}}_{(i)}\) related to \({\varvec{a}}_{(i)}\) and \({\varvec{b}}_{(i)}\) is first rigidly connected to the joint positions \({\varvec{p}}_{(i-1)}\) and \({\varvec{p}}_{(i)}\), i.e.,
utilizing a RBE2 formulation via the condensation matrix \({\varvec{T}}_{\text {p},(i-1,i)}\). Then, \({\varvec{K}}_{\text {p},(i)}\) is transformed into the global coordinate system \(^{(0)} {\varvec{K}}_{\text {p},(i)} = {\varvec{R}}_{(0)}^\text {T}... {\varvec{R}}_{(i-1)}^\text {T} {\varvec{K}}_{\text {p},(i)} {\varvec{R}}_{(i-1)}... {\varvec{R}}_{(0)},\) applying the rotation matrices \({\varvec{R}}_{(j)}\) with the respective rotations \(\varvec{\theta }_{(j)}\) at the joint positions \({\varvec{p}}_{(j)}\) for \(j=0,\ldots ,i{-}1\). Finally, the global multi-component system stiffness matrix can be assembled
and the system displacement is computed as
with \({\varvec{u}}_{\text {ee}} \in {\varvec{q}}_{\text {s}}\) as the translational displacements of the end effector. The design variables for the system optimization of a \(n_{\text {c}}\)-component system are
After the system optimization, each optimized \(\varvec{\kappa }_{(i)}^*\) can be now taken as a target stiffness for the subsequent \(n_{\text {c}}\) decoupled component optimization problems, i.e.,
3.2 Component optimization
The component optimization seeks the optimal design variables \({\varvec{x}}_{(i)}\) (III) in the geometrical design domain \(\varOmega _{(i)}\) with minimum mass \(m_{(i)}\) for a given target interface stiffness \(\varvec{\kappa }^t_{(i)}\) (II), see Fig 2 (c). The component optimization problem statement reads
where \({\varvec{x}}_{\text {lb}}\) and \({\varvec{x}}_{\text {ub}}\) are the lower and upper bounds on the design variables \({\varvec{x}}_{(i)}\), \(\varvec{\kappa }_{(i)}\) is the low-dimensional representation of the interface stiffness matrix \(\varvec{\varPhi }(\varvec{\kappa }_{(i)}) = {\varvec{K}}_{(i)}\) associated with \({\varvec{x}}_{(i)}\) and \(\epsilon\) is a small positive value.
The optimization problems (11) can be solved in parallel and independently of each other due to the decoupling of the system optimization (5).
The modeling process to connect the detailed design variables \({\varvec{x}}\) of level (III) to the level (II) interface stiffness matrix \({\varvec{K}}\) with respect to \({\varvec{a}}\) and \({\varvec{b}}\), see also Fig. 5, consists of three steps:
-
(1)
Discretization of the design domain \(\varOmega\) of the mechanical body with three-dimensional brick elements \({\varvec{K}}_{e}\),
-
(2)
Static condensation of the design domain with respect to the left \(({\varvec{A}})\) and right side \(({\varvec{B}})\) of the domain using Guyan reduction,
-
(3)
Kinematic condensation with respect to the \(n_{\text {dof}}=6\)-dimensional interfaces at \({\varvec{a}}\) and \({\varvec{b}}\) using a RBE2 formulation.
First (1), the geometrical design domain \(\varOmega\) of each mechanical body is discretized with \(n_{\text {ele}}\) three-dimensional brick elements \({\varvec{K}}_{e}\). Within this work, the design domain \(\varOmega\) is realized with a box of height h, width w, and length l. The elastic behavior of the entire mechanical body is described by the global stiffness matrix \({\varvec{K}}_{\text {d}}\)
while \(\rho _e\) are the detailed design variables of the design domain \(\varOmega\) and \(p=3\) is a penalty factor utilized in SIMP-based topology optimization methods (Bendsøe and Sigmund 2004). The sensitivity filter radius is set to \(r=\sqrt{2}\).
Then (2), a static condensation is performed with respect to the master degrees of freedom located on the left \({\varvec{A}} \cup {\varvec{a}}\) and right side \({\varvec{B}} \cup {\varvec{b}}\) of the design domain, Fig. 5 (2),
where \({\varvec{T}}_{\text {g}}\) is the Guyan condensation matrix (Guyan 1965).
Finally (3), the remaining degrees of freedom on \({\varvec{A}}\) and \({\varvec{B}}\) are rigidly connected to the interfaces \({\varvec{a}}\) and \({\varvec{b}}\) using a RBE2 formulation of a rigid body element (Heirman and Desmet 2010; Liu and Quek 2013). The interface stiffness matrix \({\varvec{K}}\) can be computed as
with \({\varvec{T}}_{\text {r}}\) being the second condensation matrix related to the rigid body elements on both sides. \(\varvec{\kappa }\) can then be computed using the linear mapping \(\varvec{\varPhi }(\varvec{\kappa }) = {\varvec{K}}\).
The so-called Method of Moving Asymptotes (MMA), developed by Svanberg (1987), can be utilized to compute the solution of each component optimization problem. Note, that the masses \(m_{(i)}\) are processed as volume fractions \(v_{(i)}\). Since the MMA is a gradient-based optimization algorithm, it needs the derivatives of the interface stiffness matrix \({\varvec{K}}={\varvec{K}}_{\text {rg}}\),
with
as well as the volume fraction gradients
where the element volume \(V_{e}\) is the same for all elements and the gradients are constant and relate to a \(100\%\) filled reference unit volume.
The stiffness constraint \(g({\varvec{x}}_{(i)}) \le 0\) of (11) is reformulated for numerical processing as
where \(\kappa _{\text {ub}}\) and \(\kappa _{\text {lb}}\) are the upper and lower bounds on the stiffness entries, respectively.
3.3 Establishing feasibility and mass estimator
If no appropriate physical feasibility estimator \(\hat{p}\) and mass estimator \(\hat{m}\) can be found in the offline database, new meta models need to be established, see Fig. 3b. To provide the necessary training data \({\varvec{y}}_{A}\), for \(A=1,\ldots ,N\), first the input space needs to be sampled
within the bounds \([{\varvec{y}}_{\text {lb}},{\varvec{y}}_{\text {ub}}]\). The sample output vector contains information about physical feasibility p and the mass m
while \(m_{A}\) is again processed as \(v_{A}\). In order to compute the sample output data \({\varvec{z}}_{A}\), the component optimization of (11) is utilized. It determines whether a corresponding detailed design \({\varvec{x}}\) exists for the given \(\varvec{\kappa }\). If the component optimization converges, the feasibility flag is set to \(p_{A}=1\), otherwise \(p_{A}=\text {-}1\). The sample data consist then of the input and output data
The sample data can then be used to train a new physical feasibility estimator \(\hat{p}\) and a mass estimator \(\hat{m}\) for the offline database. The physical feasibility estimator \(\hat{p}\) is evaluated by the false positive rate, FPR, true positive rate, TPR, and the accuracy, ACC, while the mass estimator \(\hat{m}\) is evaluated by the mean squared error, MSE, and the \(R^2\)-value.
Most combinations of stiffness entries cannot be realized leading to imbalanced datasets. Therefore, an active-learning undersampling strategy was developed to produce a well-balanced dataset and enabling an efficient sampling procedure. For more information, see Krischer et al. (2022).
The resulting sample data are used to train the meta models \(\hat{p}\) and \(\hat{m}\), which can then be utilized for the system optimization of (5).
4 Extension to six degrees of freedom interfaces
4.1 Kernel of interface stiffness matrix K
In the following, the extensions to \(n_{\text {dof}}=6\) degrees of freedom interfaces is presented based on Krischer (2023). For an arbitrary three-dimensional mechanical body with \(n_{\text {int}}=2\) interfaces and \(n_{\text {dof}}=6\) degrees of freedom per interface, see Fig. 6, the interface stiffness matrix \({\varvec{K}} \in {\mathbb {R}}^{12 \times 12}\) determines the elastic behavior of the component with respect to the interfaces \({\varvec{a}}\) and \({\varvec{b}}\)
Each interface possesses \(n_{\text {dof}}=6\) degrees of freedom, three translational and three rotational, with the corresponding displacements, \({\varvec{u}}\) and \(\varvec{\varphi }\), respectively,
and
Moreover, for the following investigations, the two mechanical interfaces \({\varvec{a}}\) and \({\varvec{b}}\) are fixed on the local x-axis with same orientation. Also, we define
Feasible interface stiffness matrices \({\varvec{K}} \in {\mathbb {R}}^{12 \times 12}\) must satisfy the following four requirements:
-
(R1)
\({\varvec{K}}\) must be symmetric, i.e., \({\varvec{K}}={\varvec{K}}^\text {T}\),
-
(R2)
rigid body modes \(\varvec{\phi }_{r}\) result in zero forces, i.e.,
\({\varvec{K}} \varvec{\phi }_{r} = {\varvec{0}}\),
-
(R3)
\({\varvec{K}}\) must be positive semi-definite, i.e.,
\({\varvec{q}}^\text {T} {\varvec{K}} {\varvec{q}} \ge 0\), and
-
(R4)
there exists a detailed design \({\varvec{x}}\) corresponding to \({\varvec{K}}\).
Thus, not all interface stiffness matrices \({\varvec{K}}\) can be realized. If the requirements (R1)-(R4) are all satisfied, \({\varvec{K}}\) is said to be physically feasible.
Due to the symmetry requirement (R1), \({\varvec{K}}\) has at most \(n_k=78\) independent entries. Moreover, the mechanical body possesses \(n_{\phi }=6\) rigid body modes \(\varvec{\phi }_{r}\), see Fig. 7, corresponding to three translational and three rotational ones. Based on the requirement (R2) the rigid body modes \(\varvec{\phi }_{r}\) can be used to remove dependent stiffness entries by solving the following equation
These six rigid body modes \(\varvec{\phi }_{r}\) correspond to six eigenvectors with eigenvalues of zero \(\lambda _{r}=0\). Equation (26) comprises the six-dimensional null space or also called kernel of the interface stiffness matrix \({\varvec{K}}\). In order to assess the number of independent entries of \({\varvec{K}}\), the rank-nullity theorem can be used (Meyer 2008). Here, the rank of \({\varvec{K}}\) can be calculated as the difference between the dimension of the vector space of \(\text {dim}({\varvec{K}})=12\) and the dimension of the null space, also called the \(\text {nullity}({\varvec{K}})=n_{\phi }=6\),
It follows that \(\text {rank}({\varvec{K}})=6\) and thus the dimension of the non-degenerated vector space, i.e., the vector space where the linear dependencies are removed, is also \({\mathbb {R}}^{6}\). This can be illustrated with a small example, see Fig. 8.
If a mechanical body is without any support, Fig. 8a, \({\varvec{K}} \in {\mathbb {R}}^{12 \times 12}\) has the earlier mentioned \(n_{\phi }=6\) rigid body modes \(\varvec{\phi }_{r}\) and can freely move in space without any force \({\varvec{f}}={\varvec{0}}\). Only by adding boundary conditions as, e.g., a displacement boundary condition, this system can be solved by removing those rigid body modes. If the mechanical body is, for instance, clamped on one side, Fig. 8b, then the interface stiffness matrix is \({\varvec{K}} \in {\mathbb {R}}^{6 \times 6}\), while still possessing all information of the mechanical body. Thus, requirement (R2) combined with the symmetry requirement (R1) lead to \(n_{\text {k}}=21\) independent stiffness entries \(k_{i,j}\) of \({\varvec{K}} \in {\mathbb {R}}^{6 \times 6}\). Since \({\varvec{K}} \in {\mathbb {R}}^{12 \times 12}\) can be recomputed from \({\varvec{K}} \in {\mathbb {R}}^{6 \times 6}\) by just taking the geometrical information of the rigid body modes \(\varvec{\phi }_{r}\) into account, also \({\varvec{K}} \in {\mathbb {R}}^{12 \times 12}\) possesses \(n_{\text {k}}=21\) independent stiffness entries \(k_{i,j}\).
A linear map \(\varvec{\varPhi }\) can be set up by solving (26) for specific \({\varvec{K}}=(k_{i,j})\). Since (26) is an underdetermined system of equations, different parametrizations of the linear map with 21 input values \(k_{i,j}\) exist. One representation is
with
where \(\varvec{\kappa } \in {\mathbb {R}}^{21}\). Thus \(n_{\text {k}}=21\) stiffness entries determine the total deformation of the mechanical body with \(n_{\text {int}}=2\) and \(n_{\text {dof}}=6\).
Note that unlike \({\varvec{K}} \in {\mathbb {R}}^{6 \times 6}\) of the clamped body in Fig. 8b, the diagonal entries \(k_{11,11}\) and \(k_{12,12}\) of interface \({\varvec{b}}\) are taken instead of the non-diagonal entries \(k_{2,6}\) and \(k_{3,5}\) of \({\varvec{a}}\). This is done because the diagonal entries of the positive semi-definite stiffness matrix \({\varvec{K}}\) are strictly positive. Therefore, the lower bound on the diagonal entries is always known a priori, which facilitates subsequent design optimization for the stiffness entries.
4.2 Symmetry conditions
To further reduce the dimensions of \(\varvec{\kappa } \in {\mathbb {R}}^{21}\), additional restrictions are imposed on the physically feasible detailed designs \({\varvec{x}}\). First, it is assumed that the geometrical shape of the design domain \(\varOmega\) is invariant with respect to the x-axis, i.e., the dimension of the outer hull of the design domain \(\varOmega\) remains constant along the x-axis, as is the case, for example, for the rectangular design domain used, see Fig. 9. Thus, for topology optimization, only the design variables within the design domain can be changed. Second, a planar symmetry condition for the mechanical body is enforced with respect to the
-
(S1)
\(x{-}y\) plane and
-
(S2)
\(x{-}z\) plane.
The invariant design domain together with the symmetry conditions (S1) and (S2) lead to a beam-like deformation behavior of the mechanical component with respect to the interfaces \({\varvec{a}}\) and \({\varvec{b}}\). Following the idea of three-dimensional elastic beam theory, see, e.g., Andersen and Nielsen (2008), the interfaces now lie on the bending center of the mechanical body, meaning normal forces \(f_{1}\) or \(f_{7}\) only induce axial displacements with respect to \(d_{1}\) and \(d_{7}\). Thus,
Also, the interfaces \({\varvec{a}}\) and \({\varvec{b}}\) coincide with the principal axis of the bending moments \(f_{5}\), \(f_{11}\) and \(f_{6}\), \(f_{12}\) causing that only their associated shear loads \(f_{3}\), \(f_{9}\) and \(f_{2}\), \(f_{8}\), respectively, are coupled to these bending degrees of freedom. Hence, also all other stiffness entries \(k_{i,j}\) are zero,
and
Finally, for double symmetric cross sections, as it holds for (S1) and (S2), also the bending center coincides with the shear center, meaning that torsional displacements \(d_{4}\) and \(d_{10}\) are only caused by the torsional loads \(f_{4}\) or \(f_{10}\). Therefore,
With these assumptions, the interface stiffness matrix can represented as
Incorporating (34) into (28) and (29) leads to a further reduced stiffness description
with
where \(\varvec{\kappa }_{\text {sym}} \in {\mathbb {R}}^{8}\). In conclusion, \(n_{\text {k}}=8\) diagonal stiffness entries are necessary to fully describe the deformation behavior \({\varvec{K}} \in {\mathbb {R}}^{12 \times 12}\) of a mechanical component with respect to \({\varvec{a}}\) and \({\varvec{b}}\) for an invariant design domain \(\varOmega\) and enforced symmetry planes \(x{-}y\) and \(x{-}z\).
5 Physical feasibility and optimality
5.1 Setup
First, a simple two-component system, with a rectangular design domain \(\varOmega\) of width and height \(w_{(i)}=h_{(i)}=30\) mm, and length \(l_{(i)}=100\) mm for both components, is investigated for a required system displacement of up to \(u_{\text {ub}}=1\) mm. The box-shaped design domain \(\varOmega\) is discretized with \(n_{\text {ele}} = [20,8,8]^\text {T}\) elements in x-, y-, and z-direction for each component i. The material used is a synthetic resin for additive manufacturing, see Table 1. The given design problem (P1) is solved for \(n_{\text {p}} =6\) load cases, see Fig. 10. Each load case represents a main load in one coordinate direction.
As introduced in Sect. 4, symmetry conditions are enforced leading to the reduced \(\kappa\)-representation (36) with eight entries \(\varvec{\kappa }_{\text {sym}} \in {\mathbb {R}}^{8}\).
5.2 Offline database
First, two new meta models \(\hat{p}(\varvec{\kappa })\) and \(\hat{m}(\varvec{\kappa })\) for the offline database of the Informed Decomposition (B) have to be established. The sample data \([{\varvec{Y}},{\varvec{Z}}]\) computed by the active-learning strategy are shown in Fig. 11. Since only diagonal values are utilized for the \(\kappa\)-representation, a completely filled design domain \(\varOmega\) represents the maximum value, while the minimum value is obtained for a void design domain \(\varOmega\). The projections of the scatter plots show that the sampling strategy was not capable of completely sampling the physically feasible design space, failing to cover the void and filled reference design domains \(\varOmega\). Especially the upper limit is clearly not included in the sample data.
The active-learning strategy suffers from the curse of dimensionality, which despite of the higher number of sample points \(N_{\text {C}}\) prevents the sampling strategy from covering the whole design space. The sample data are then used to train the final meta models \(\hat{p}(\varvec{\kappa })\) and \(\hat{m}(\varvec{\kappa })\). The performance measures for both estimators are listed in Table 2.
5.3 System optimization
The \(\kappa\)-representations of level (II) for the given design problem (P1) of the monolithic approach (A) and the system optimization (5) of (B) in Table 3. Both (A) and (B) produce results with similar \(\varvec{\kappa }_{(i)}\), yet deviations can be observed. In particular, the system optimization of (B) is not able to realize stiffness values close to the lower bound, e.g., the \(k_{2,2}\) and \(k_{3,3}\) values for the second component of load case (LC6). Meta models do not have sufficient sample data in this region, hence labeling it as falsely infeasible.
5.4 Component optimization
Next, the optimized \(\varvec{\kappa }_{(i)}\) of level (II) are utilized for the component optimization of (B) to derive the final topologies \({\varvec{x}}_{(i)}\) of level (III). The system optimization and the component optimization operate on volume fractions \(v_{(i)}\) and \(\varvec{\kappa }_{(i)}\), i.e., \({\varvec{y}}_{(i)}=[v_{(i)},\varvec{\kappa }_{(i)}]\), see Table 3. The resulting topologies are shown in Fig. 12.
For load case (LC1) in straight pose for both components, the first component experiences a mixed load, a z-bending moment and a y-shear load. Therefore, on the one hand, the material is distributed farthest from the axis, while on the other hand, a slightly tapered tip in the beginning with reinforcements in the center for the occurring shear loads can be observed. By contrast, the second component shows a classical cantilever beam topology with a more pronounced tip, where the y-shear load is applied, and reinforcements in the center between the upper and lower side of the component. The difference between component 1 and 2 is only the ratio between shear load and bending moment. The proposed approach (B) produces a slightly lighter first component compared to the reference design obtained by monolithic optimization,i.e., approach (A), while the second component is heavier. Overall, the total mass of the Informed Decomposition is \(3.87\%\) heavier than the reference design. Both satisfy the requirement \(u {\le } u_{\text {ub}}\) for system stiffness, see Table 3.
The z-bending load in load case (LC2) yields a topology for (A), with material only at the boundary of the design domain \(\varOmega\) to compensate for the bending normal stresses. It resembles a classical i-beam without web. For the second component of (LC2), a mixture of shear and bending loads is applied, resulting in a similar topology to (LC1). The first component of approach (B) differs significantly from the one of approach (A) and does not show a clear pure bending characteristic with also a slightly higher volume fraction. The second component of approach (B) is even bulkier than the counterpart of (A), resulting in a total system mass deviation of \(8.06\%\).
In (LC3) pure normal load is applied to the vertical second component, resulting in a bar-shaped topology in approach (A), while the first component experiences both shear and normal loads. While component one is similar in both approaches, component two is different. Approach (A) forms the familiar rod-like structure, while approach (B) develops a tube-like design. For the pure normal load case, this is generally not a problem, since the cross-sectional area provided by each slice of the topology is relevant. However, the second component is also considerably heavier and results in the highest deviation of all load cases at \(8.18\%\), which is also in contrast to the previous section’s more accurate solution of \(1.87\%\).
Load case (LC4) is similar to (LC1), however, rotated about the x-axis by \(90^\circ\). It is utilized to evaluate approach (B) for the same load case but for different stiffness inputs. Since the active-learning strategy automatically samples the design space, small differences are expected. While the topologies for approach (A) are the same as for (LC1), only \(90^{\circ }\) rotated, approach (B) deviates slightly from (LC1), resulting in a slightly higher component mass for the first component and a slightly lower component mass for the second component. The mass deviation compared to (A) is \(5.83\%\), which is worse than the \(3.87\%\) of (LC1).
The next load case (LC5) is also a rotated variant of (LC2), resulting in a bending moment about the y-axis instead of the z-axis. In comparison with (LC2), approach (B) yields better results for the z-bending load case, resulting in a system mass deviation of \(6.90\%\) compared to \(8.06\%\) of (LC2).
In (LC6), the first component is mainly under the influence of torsion while the second component experiences shear forces, also in the z-direction as in (LC4). Approach (A) therefore forms a closed tubular topology for the first component, while the second component has the classical cantilever beam shape. Approach (B) reproduces the topology for the first component quite accurately, but the second component is bulkier, with a total mass deviation of \(7.20 \%\).
In summary, the Informed Decomposition (B) was able to produce physically feasible designs for all load cases (LC1–6) while satisfying the system stiffness requirement \(u {\le } u_{\text {ub}}\). The mass deviation of the proposed approach (B) assumes a minimum at \(3.87\%\) for the y-shear load case (LC1) and a maximum at \(8.18\%\) for the x-normal load case (LC3). It should be noted that for the investigated load cases, always the second component with the lower volume fraction shows higher deviations. This could hint at a degradation of the performance of meta models for stiffnesses with low (extreme) volume fractions.
6 Towards practical application
6.1 Setup
A four-component system, with a box-shaped design domain \(\varOmega\) of width and height \(w_{(i)}=h_{(i)}=30\) mm, and respective lengths \({\varvec{l}}= [150,100,50,50]^\text {T}\) mm, is investigated in the design problem (P2), see Fig. 13. It presents a three-dimensional robot architecture with \(n_{\text {dof}}=6\) degrees of freedom per interface. The deformable parts of the components i are connected with joints by so-called connectors that are modeled as rigid. The robot is designed for a given specific trajectory \(\varvec{\theta }_{(i)}(t) = [\alpha , 0, 0 ]^\text {T}\) of a pick-and-place task and a payload of \(m=1\) kg is applied to the end effector. From the given trajectory \(\varvec{\theta }_{(i)}(t)\), \(n_{\text {p}}=100\) static load cases are derived for each of which the system stiffness requirement is \(u{\le }1\) mm.
The respective monolithic optimization problem (A) of (4) is decoupled utilizing the Informed Decomposition approach (B). Like in the previous chapter, the reduced \(\varvec{\kappa }\)-representation (36) with eight entries \(\varvec{\kappa }=\varvec{\kappa }_{\text {sym}} \in {\mathbb {R}}^{8}\) is adopted.
Note that unlike in the earlier investigated design problem, gravity forces \({\varvec{f}}_\text {cog}\)are also considered. The respective gravity forces at the center of gravity can be recalculated with respect to the interface positions \(p_{(i)}\), adding an offset moment for the lever arm distance between the joint position \({\varvec{p}}\) and the center of gravity \({\varvec{x}}_\text {cog}\), see Fig. 14.
6.2 Offline database
The Informed Decomposition approach (B) can take advantage of the offline database since meta models for \(l=100\) mm already exist. Therefore, component \(i=2\) can reuse the meta models of Sect. 5. For the other three components, two new meta models with input \(\varvec{\kappa } \in {\mathbb {R}}^{8}\) are needed for physical feasibility estimate, \(\hat{p}_{l=50}(\varvec{\kappa }), \hat{p}_{l=150}(\varvec{\kappa }),\) and mass estimator \(\hat{m}_{l=50}(\varvec{\kappa }), \hat{m}_{l=150}(\varvec{\kappa }).\)
The sample data \([{\varvec{Y}},{\varvec{Z}}]\) for \(l=50\) mm and \(l=150\) mm computed by the active-learning strategy are shown in Fig. 15a and b, respectively. Similar to Sect. 5, the active-learning strategy is not capable of sampling the upper bound of the design space for both lengths corresponding to filled design domains \(\varOmega\).
It is also noticeable that during the classification phase (i) for \(l=150\) mm, see Fig. 15b, one of the temporary classifiers failed, resulting in several infeasible sample data points at the upper boundary of the design space. The sample data are used to train the final meta models \(\hat{p}(\varvec{\kappa })\) and \(\hat{m}(\varvec{\kappa })\). The performance measures for both estimators are listed in Table 4. Even though one of the temporary classifiers failed during classification phase (i), the performance measures of the meta models, for \(l=150\) mm, are still acceptable.
6.3 System optimization
Approach (A) and (B) are applied to the design problem (P2) with \(n_{\text {p}}=100\) static load cases. First, the level (II) \(\kappa\)-representations are computed, see Table 5.
The Informed Decomposition approach yields results for \(\varvec{\kappa }_{(i)}\) that differ significantly from the monolithic optimization results, for components \(i=1, 3\) and 4, while the results for the second component \(i=2\) are very similar. Like in Sect. 5, the system optimization seems to have problems in realizing small stiffness values, e.g., \(k_{2,2}\) for \(\varvec{\kappa }_{(1)}\), and \(k_{2,2}\) and \(k_{3,3}\) for \(\varvec{\kappa }_{(4)}\). It is possible that the meta models do not have sample data in this region, which prevents the system optimization from computing those values. In summary, the experienced outliers indicate a non-optimal decoupling of the multi-component system by the system optimization of (B).
6.4 Component optimization
Next, the optimized \(\varvec{\kappa }_{(i)}\) values of level (II) are utilized to derive the final topologies \({\varvec{x}}_{(i)}\) of level (III) using the decoupled component optimizations (11) of (B). The resulting volume fractions \(v_{(i)}\) and the quantities \({\varvec{z}}=[m,u]\) on the system level (I) are listed in Table 5. The maximum displacement observed in one of the load cases is denoted as max(\(u_{c}\)).
Note that the last pose of the given trajectory turned is the dominant load case. Therefore, the plausibility is best established by analyzing this load case (LC100), see also Fig. 16, and comparing it with the resulting topologies for approach (A) and (B) in Fig. 17.
Approach (A), for \(n_{\text {p}}=100\) load cases, shows some specific properties for each component i of the multi-component system. The last component \(i=4\) on which the pay load \({\varvec{f}}\) acts, has a topology that evolved mainly to provide stiffness to resist a z-shear load suggesting that it is not only optimal for the last load case (LC100), but is the dominant load case over the entire discretized trajectory \(\varvec{\theta }_{(i)}(t)\). The third component \(i=3\) has a closed profile, with more material accumulating on the outer edges of the y-axis than on the z-axis. This is again consistent with the orientation of component \(i=3\) for the last pose, associated with bending about the z-axis, requiring more material at the y-axis boundaries. Component \(i=2\) is a closed tubular profile experiencing the highest torsional load of all components, which can also be concluded from the system pose for load case (LC100). Moreover, it exhibits high stiffness against shear and bending loads. Finally, the first component \(i=1\) has a topology that mainly supports bending about the z-axis and normal loads in the local x-axis. The open profile lacks stiffness against any torsional load or shear forces.
For a static analysis, all topologies are plausible with respect to the last load case (LC100) and hence also support the hypothesis of one dominant load case. However, these results also show a clear drawback of the chosen approach. The static poses of the original dynamic trajectory do not consider dynamic loads. Therefore, especially the first component \(i=1\) shows significant weaknesses in practical applications. The low-cost lightweight robot architecture derived for the given trajectory rotates around the local x-axis of the first component to perform its task. In a dynamic load case, this leads to torsional loads on the first component, for which it provides little stiffness due to its non-closed structure. Nevertheless, for a static consideration, these poses are optimal. This is consistent with the idea of a pure top-down design process, where only the explicit requirements for the system are met and not formally stated requirements may be violated.
For the detailed design of approach (B), the components \(i=1\), \(i=3\) and \(i=4\) of the multi-component system significantly deviate from both, the component volume fractions \(v_{(i)}\) and their respective topologies \({\varvec{x}}_{(i)}\) compared to (A). However, the components \(i=1\) and \(i=3\) exhibit the same main characteristics for the experienced loads of the investigated load cases. In contrast, the high deviation of \(\varvec{\kappa }_{(4)}\) of component \(i=4\) of the system optimization, also leads to a topology that does not show the expected features against a dominating z-shear load. Additionally, the component mass produced by (B) deviates by \(70.7\%\) from (A). In contrast, component \(i=2\) not only agrees for the \(\varvec{\kappa }_{(2)}\)-values, but also with respect to the topology and the component mass, which turns out to be even identical.
In summary, the total mass deviation is \(12.9\%\), while both approaches (A) and (B) produce feasible designs with respect to the system displacement requirement \(u {\le } u_{\text {ub}}\). Once again, approach (B) had most problems for the component with the lowest volume fraction \(v_{(4)}\).
The resulting topologies of Fig. 17 produced by the proposed Informed Decomposition (B) were subsequently post-processed, additively manufactured and assembled into a robot arm demonstrator, see Fig. 18.
7 Discussion
Physical feasibility and optimality. The validity of the approach was assessed by analyzing the results for physical feasibility and mass optimality, comparing them to a classical monolithic optimization problem. While all outcomes met the system stiffness requirements, deviations were observed, particularly for the second design problem (P2). The quality of results depends on the meta models, which distribute stiffness properties to components for physical feasibility and mass optimality. Sampling may not cover the entire design space, leading to lower quality predictions for stiffness regions with low and high volume fractions, and incomplete capture of design domain bounds. Improved sample data can enhance meta model generalization and result quality.
Offline database. Generating sample data for the offline database is computationally expensive. In optimization architectures, some approaches integrate this expensive sampling and training process into the optimization itself. Informed Decomposition generates an offline database, employing pre-trained meta models for various design problems. Similitude theory enables the reuse of meta models for similar designs across different geometric domains (Coutinho et al. 2016; Casaburo et al. 2019). However, for arbitrary changes, meta models need retraining with explicit geometric parameters, as was shown in Krischer et al. (2022). The generalization of the meta models represents a pivotal stage in the development of an offline database that can be applied to a range of mechanical design problems. This eliminates the necessity for costly new training processes to be undertaken for each new design problem at hand.
Product development processes. One of the primary motivations for implementing distributed optimization architectures is to mimic the structure of classic product development processes, where different departments can design their subsystems independently (Martins and Ning 2022). Decoupling, as implemented in the proposed Informed Decomposition approach, facilitates application in industry by eliminating the need for coordination between different subsystems and hierarchy levels. As demonstrated in both design problems (P1) and (P2), all problems can be solved independently at the component level after the system optimization has been completed.
Computational time. The second motivation for distributed architectures is to reduce computational time by decomposing large-size monolithic optimization problems. Although this study did not explicitly investigate time, decoupling the costly component optimization offers significant potential for time reduction. The independence of the number of components and load cases, due to system-level decoupling, particularly benefits the optimization of the second design problem (P2) with a high number of load cases. Moreover, since no overarching coordination scheme is required, coordination overhead is eliminated, further supporting a reduction in computational time. However, this does not take training of meta models into account.
Applicability. So far, only serial mechanical multi-component systems with two system quantities, i.e., system mass and displacement, within linear statics were investigated. The authors believe that there is no fundamental restriction that prevents the application to parallel structures. An extension to dynamics is also considered feasible, e.g., by training meta models estimating the mass, physical feasibility, center of mass and inertia of a structure.
Mesh resolution. The finite element models utilized in this study employ coarse meshes, ensuring a minimum member size in resulting structures. However, in SIMP-based topology optimizations, mesh dependency is inevitable, typically addressed using filters (Sigmund and Petersson 1998; Bendsøe and Sigmund 2004). Finer meshes may yield different structures. Despite this, the computational time advantage of a decoupled optimization architecture persists, even with finer meshes, albeit at potentially higher sampling costs. Furthermore, decoupled component optimizations, can employ finer meshes than those used for the training of the meta models. The system optimization using these meta models would then decouple the system in a non-optimal yet potentially sufficient manner. The finer meshes of the decoupled component optimizations may lead to equivalent or superior designs compared to the reference design obtained with coarse meshes.
8 Conclusion
Informed Decomposition introduced by Krischer and Zimmermann (2021) is a decoupled optimization architecture consisting of system optimization and independent component optimization. The system optimization incorporates pre-trained meta models that provide estimates of component mass and physical feasibility for target stiffness matrices. Stiffness targets produced by the system optimization are then used for the optimization of all components. While previous work had already demonstrated the viability of this approach, this paper extended it to be applicable to real-world three-dimensional structures with six degrees of freedom per interface. For this, an 8-dimensional stiffness matrix representation was developed to replace the high-dimensional 12x12 interface stiffness matrices. Active learning was adopted to efficiently train meta models in the 8-dimensional space of stiffness matrices. The proposed approach was applied to a simple two-component system and a 4-component robot structure subject to a large number of stiffness requirements. The results were physically feasible and at most \(12.9 \%\) heavier than the results obtained by monolithic optimization.
The results demonstrate the practical applicability to real-world three-dimensional structures consisting of two-interface components. Informed Decomposition produces results that are worse than those obtained by monolithic optimization. However, each optimization problem is significantly smaller and computation time may be significantly reduced. Unlike in other distributed architectures, no coordination is required.
In future, the active-learning undersampling strategy could be modified to improve the quality of point selection and thus the estimations of the meta models. An extension to parallel mechanical multi-component systems should be possible without changing the method. Also, components with a higher number of interfaces could be modeled with a new \(\kappa\)-representation. The same holds for including dynamic system behavior into the component optimizations. This is particularly useful for the presented use case of a robotic arm. Finally, an investigation of classical multidisciplinary design optimization problems involving different disciplines would be interesting. A comparison between the established distributed architectures and the proposed Informed Decomposition for specific benchmark problems would further validate the approach.
References
Alexandrov NM, Hussaini MY (1997) Multidisciplinary design optimization: state-of-the-art. SIAM proceedings series. Society for Industrial and Applied Mathematics SIAM, Philadelphia
Andersen L, Nielsen SR (2008) Elastic beams in three dimensions: textbook, 23rd edn. Aalborg University, Aalborg
Bendsøe MP, Sigmund O (2004) Topology Optimization: Theory, Methods, and Applications, 2nd edn. Corrected printing edition. Springer, Berlin and Heidelberg
Boolchandani D, Ahmed A, Sahula V (2011) Efficient kernel functions for support vector machine regression model for analog circuits’ performance evaluation. Analog Integr Circ Sig Process 66(1):117–128
Braun R (1996) Collaborative optimization: an architecture for large-scale distributed design: Ph.D. thesis
Casaburo A, Petrone G, Franco F, de Rosa S (2019) A review of similitude methods for structural engineering. Appl Mech Rev 71(3):030802
Conejo AJ, Nogales FJ, Prieto FJ (2002) A decomposition procedure based on approximate newton directions. Math Program 93(3):495–515
Coutinho CP, Baptista AJ, Dias Rodrigues J (2016) Reduced scale models based on similitude theory: a review up to 2015. Eng Struct 119:81–94
Ding M, Vemur RI (2005) An active learning scheme using support vector machines for analog circuit feasibility classification. In: Proceedings of the 18th international conference on VLSI design, pp 528–534
Eckert C, Clarkson J (2005) The reality of design. In: Clarkson J, Eckert C (eds) Design process improvement, SpringerLink Bücher. Springer, London, pp 1–29
Forsberg K, Mooz H (1991) The relationship of system engineering to the project cycle. INCOSE Int Symp 1(1):57–65
Guyan RJ (1965) Reduction of stiffness and mass matrices. AIAA J 3(2):380
Haftka RT, Watson LT (2005) Multidisciplinary design optimization with quasi-separable subsystems. Optim Eng 6(1):9–20
Heirman GHK, Desmet W (2010) Interface reduction of flexible bodies for efficient modeling of body flexibility in multibody dynamics. Multibody Syst Dyn 24(2):219–234
Hou L, Jiao RJ (2020) Data-informed inverse design by product usage information: a review, framework and outlook. J Intell Manuf 31(3):529–552
Huang S, Schimmels JM (1998) Achieving an arbitrary spatial stiffness with springs connected in parallel. J Mech Des 120(4):520–526
Huang S, Schimmels JM (2000) The Eigen screw decomposition of spatial stiffness matrices. IEEE Trans Robot Autom 16(2):146–156
Jeong S-H, Choi D-H, Jeong M (2012) Feasibility classification of new design points using support vector machine trained by reduced dataset. Int J Precis Eng Manuf 13(5):739–746
Jung J, Yoon JI, Park S-J, Kang J-Y, Kim GL, Song YH, Park ST, Oh KW, Kim HS (2019) Modelling feasibility constraints for materials design: application to inverse crystallographic texture problem. Comput Mater Sci 156:361–367
Kennedy J, Eberhart R (1995) Particle swarm optimization. Proceedings/ 1995 IEEE international conference on neural networks. Piscataway, IEEE, pp 1942–1948
Kim HM, Michelena NF, Papalambros PY, Jiang T (2003) Target cascading in optimal system design. J Mech Des 125(3):474–480
Kollmann HT, Abueidda DW, Koric S, Guleryuz E, Sobh NA (2020) Deep learning for topology optimization of 2d metamaterials. Mater Des 196(4):109098
Krischer L (2023) Informed Decomposition: Distributed design optimization of mechanical multi-component systems. PhD thesis, Technische Universität München
Krischer L, Sureshbabu AV, Zimmermann M (2022) Active-learning combined with topology optimization for top-down design of multi-component systems. Proc Des Soc 2:1629–1638
Krischer L, Zimmermann M (2021) Decomposition and optimization of linear structures using meta models. Struct Multidisc Optim 64:2393–2407
Kulick J, Lang T, Toussaint M, Lopes M (2013) Active learning for teaching a robot grounded relational symbols. In: International joint conference on artificial intelligence
Liu G-R, Quek SS (2013) The finite element method: a practical course, 2nd edn. Butterworth-Heinemann, Oxford
Martins JRRA, Lambe AB (2013) Multidisciplinary design optimization: a survey of architectures. AIAA J 51(9):2049–2075
Martins JRRA, Ning A (2022) Engineering design optimization. Cambridge University Press, Cambridge
Meyer CD (2008) Matrix analysis and applied linear algebra. Society for Industrial and Applied Mathematics, Philadelphia
Milton G, Cherkaev AV (1995) Which elasticity tensors are realizable? J Eng Mater Technol 117(4):483–493
Milton G, Harutyunyan D, Briane M (2017) Towards a complete characterization of the effective elasticity tensors of mixtures of an elastic phase and an almost rigid phase. Math Mech Complex Syst 5(1):95–113
Mukherjee S, Lu D, Raghavan B, Breitkopf P, Dutta S, Xiao M, Zhang W (2021) Accelerating large-scale topology optimization: state-of-the-art and challenges. Arch Comput Methods Eng 28(7):4549–4571
Papadrakakis M, Lagaros ND, Tsompanakis Y (1998) Structural optimization using evolution strategies and neural networks. Comput Methods Appl Mech Eng 156(1–4):309–333
Qiu C, Han Y, Shanmugam L, Zhao Y, Dong S, Du S, Yang J (2021) A deep learning-based composite design strategy for efficient selection of material and layup sequences from a given database. Compos Sci Technol 230:109154
Ramu P, Thananjayan P, Acar E, Bayrak G, Park JW, Lee I (2022) A survey of machine learning techniques in structural and multidisciplinary optimization. Struct Multidisc Optim 65(9):266
Regenwetter L, Ahmed F (2022) Design target achievement index: a differentiable metric to enhance deep generative models in multi-objective inverse design. Volume 3B: 48th Design Automation Conference (DAC)(9)
Sigmund O, Petersson J (1998) Numerical instabilities in topology optimization: a survey on procedures dealing with checkerboards, mesh-dependencies and local minima. Struct Optim 16:68–75
Sobieszczanski-Sobieski J, Agte J, Sandusky RR (2000) Bilevel integrated system synthesis. AIAA J 38(1):164–172
Sobieszczanski-Sobieski J, Altus TD, Phillips M, Sandusky RR (2003) Bilevel integrated system synthesis for concurrent and distributed processing. AIAA J 41(10):1996–2003
Sobieszczanski-Sobieski J, Haftka RT (1997) Multidisciplinary aerospace design optimization: survey of recent developments. Struct Multidisc Optim 14(1):1–23
Svanberg K (1987) The method of moving asymptotes—a new method for structural optimization. Int J Numer Meth Eng 24(2):359–373
Tosserams S, Etman LFP, Rooda JE (2009) A classification of methods for distributed system optimization based on formulation structure. Struct Multidisc Optim 39(5):503–517
Ulrich KT, Eppinger SD (2003) Product design and development. McGraw-Hill
Viana FAC, Simpson TW, Balabanov V, Toropov V (2014) Special section on multidisciplinary design optimization: metamodeling in multidisciplinary design optimization: how far have we really come? AIAA J 52(4):670–690
Wang L, Chan Y-C, Ahmed F, Liu Z, Zhu P, Chen W (2020) Deep generative modeling for mechanistic-based learning and design of metamaterial systems. Comput Methods Appl Mech Eng 372:113377
Wang L, Tao S, Zhu P, Chen W (2021) Data-driven topology optimization with multiclass microstructures using latent variable gaussian process. J Mech Des 143(3):296
Wang M, Song Y, Lian B, Wang P, Chen K, Sun T (2022) Dimensional parameters and structural topology integrated design method of a planar 5r parallel machining robot. Mech Mach Theory 175:104964
Wang X, Zhang D, Zhao C, Zhang P, Zhang Y, Cai Y (2019) Optimal design of lightweight serial robots by integrating topology optimization and parametric system optimization. Mech Mach Theory 132:48–65
White DA, Arrighi WJ, Kudo J, Watts SE (2019) Multiscale topology optimization using neural network surrogate models. Comput Methods Appl Mech Eng 346:1118–1135
Woldseth RV, Aage N, Bærentzen JA, Sigmund O (2022) On the use of artificial neural networks in topology optimisation. Struct Multidisc Optim 65(10):294
Wu J, Sigmund O, Groen JP (2021) Topology optimization of multi-scale structures: a review. Struct Multidisc Optim 63(3):1455–1480
Wu Z, Xia L, Wang S, Shi T (2019) Topology optimization of hierarchical lattice structures with substructuring. Comput Methods Appl Mech Eng 345(2):602–617
Xia L, Breitkopf P (2015) Multiscale structural topology optimization with an approximate constitutive model for local material microstructure. Comput Methods Appl Mech Eng 286:147–167
Zimmermann M, Königs S, Niemeyer C, Fender J, Zeherbauer C, Vitale R, Wahle M (2017) On the design of large systems subject to uncertainty. J Eng Des 28(4):233–254
Zimmermann M, von Hoessle JE (2013) Computing solution spaces for robust design. Int J Numer Meth Eng 94(3):290–307
Funding
Open Access funding enabled and organized by Projekt DEAL. The current work was funded by the Bavarian Ministry of Economic Affairs, Regional Development and Energy as part of the Bavarian Collaborative Funding Programme (BayVFP)- Funding Line Digitalisation—Funding Area Electronic Systems. The funding was provided the under the project name “LCL Robots—Lowcost Lightweight Robots on Demand,” with the project allocation numbers 07 02/683 57/98/20 252/22 253/23 254/24.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Replication of results
The results presented in this paper can be completely replicated with MATLAB and the detailed derivations within this paper.
Additional information
Responsible editor: Kai James
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Krischer, L., Endress, F., Wanninger, T. et al. Distributed design optimization of multi-component systems using meta models and topology optimization. Struct Multidisc Optim 67, 160 (2024). https://doi.org/10.1007/s00158-024-03836-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00158-024-03836-5