Abstract
This paper addresses truss topology optimization taking into account robustness to uncertainty in the truss geometry. Specifically, the locations of nodes are assumed not to be known precisely and the compliance in the worst case is attempted to be minimized. We formulate a semidefinite programming problem that serves as a safe approximation of this robust optimization problem. That is, any feasible solution of the presented semidefinite programming problem satisfies the constraints of the original robust optimization problem. Since a semidefinite programming problem can be solved efficiently with a primal-dual interior-point method, we can find a robust truss design efficiently with the proposed semidefinite programming approach. A notable property of the proposed approach is that the obtained truss is guaranteed to be stable. Numerical experiments are performed to illustrate that the optimal truss topology depends on the magnitude of uncertainty.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Real-world structures inevitably encounter various uncertainties stemming from manufacturing variability, aging, degradation, limitation of knowledge of environments, etc. Reality can deviate from the design-base models and data. The concept of robustness to uncertainty is, therefore, central in structural design. This paper addresses truss topology optimization considering robustness to uncertainty in the geometry of a truss.
If reliable statistical property of uncertainty is available, then probabilistic reliability analysis can be performed. In such a case, reliability-based optimization can be employed in structural design; see, e.g., Beyer and Sendhoff (2007), Schuëller (2006), Schuëller and Jensen (2008) and Zang et al. (2005). In contrast, a possibilistic model of uncertainty might be applicable to problems without reliable stochastic information, because it requires only bounds for the input data to define the uncertainty and hence is often less information-intensive. In this paper we adopt a possibilistic model, rather than probabilistic one, to represent the uncertainty in the locations of nodes of a truss. The truss topology optimization problem, which attempts to minimize the maximum value of the compliance, is then treated within the framework of robust optimization (Ben-Tal and Nemirovski 1998; El Ghaoui et al. 1998), also called worst-case approach, bounded-but-unknown approach, or robust design optimization in structural optimization; see Ben-Tal et al. (2009) for comprehensive exposition of robust optimization.
Many studies have been done on robust optimization of structures under the assumption that uncertainty exists only in external loads. Early works include, among others, Elishakoff et al. (1994), Ganzerli and Pantelides (2000), Lombardi (1998) and Pantelides and Ganzerli (1998). The seminal work of Ben-Tal and Nemirovski (1997) considered the compliance minimization of a truss under uncertainty in the static external load. Specifically, the external load is assumed to take any value in a given ellipsoid centered at the origin. Then the maximal value of compliance (called the principal compliance by some authors (Cherkaev and Cherkaev 2003)) is minimized. Ben-Tal and Nemirovski (1997) showed that this robust optimization problem can be formulated as a semidefinite programming (SDP) problem. Under the same situation, the robust compliance optimization of a continuum was recast by (Takezawa et al. 2011) as a minimization problem of the maximum eigenvalue of a standard eigenvalue problem, provided that the stiffness matrix is nonsingular. Earlier, it was shown that the same robust optimization problem can be reformulated as a minimization problem of the maximum eigenvalue of a generalized eigenvalue problem; see Cherkaev (2003, 2008) and Brittain et al. (2012). The latter formulation was extended to the case where the center of the ellipsoid, that represents the uncertainty in the external load, is not necessarily at the origin (de Gournay et al. 2008). With this non-homogeneous model of uncertainty, it was shown that the robust compliance optimization of a truss can also be recast as an SDP problem; see Calafiore and Dabbene (2008) and Ben-Tal et al. (2009, section 8.2.2.2). Another extension of the SDP formulation for robust truss optimization is making use of some binary variables to address variation of truss topology in the course of optimization (Yonekura and Kanno 2010). Concerning structural performances other than compliance, a nonlinear SDP approach (Kanno and Takewaki 2006) and a mixed-integer linear programming approach (Kanno and Guo 2010) were proposed for robust truss optimization under load uncertainties. Here, a nonlinear SDP problem refers to an optimization problem of the form
where \(\boldsymbol {x} \in \mathbb {R}^{n}\) is a variable vector to be optimized, \(\boldsymbol {b}\in \mathbb {R}^{n}\) is a constant vector, \(G:\mathbb {R}^{n} \to \mathcal {S}^{n}\) and \({\boldsymbol {h}}:\mathbb {R}^{n}\to \mathbb {R}^{l}\) are sufficiently smooth, \(\mathcal {S}^{n}\) denotes the set of n × n real symmetric matrices and G(x) ≽ O means that matrix G(x) is positive semidefinite. If h is linear and G is given by
with constant matrices A 1,…, A m, \({C} \in \mathcal {S}^{n}\), then problem (1) reduces to an SDP problem (which is also called a linear SDP problem by some authors to clarify the distinction from nonlinear SDP problems). We refer the reader to Anjos and Lasserre (2012) and Wolkowicz et al. (2000) for fundamentals of SDP; particularly for nonlinear SDP problems, see, e.g., Jarre (2000), Kanzow et al. (2005), Noll et al. (2004), Shapiro (1997) and Yamashita and Yabe (2012).
Compared with uncertainty in loads, studies addressing other sources of uncertainties in robust structural optimization have been rather limited. Concerning truss optimization, Guo et al. (2009) considered uncertainty in stiffness (or uncertainties in member cross-sectional areas) and formulated a nonlinear SDP problem that provides us with a safe approximation of the robust optimal solution. Besides the uncertainty in member cross-sectional areas, Guo et al. (2011) considered uncertainty in length of each member and formulated a nonlinear SDP problem as a safe approximation of the robust optimization problem. Also, the dynamic response under uncertain driving loads were handled in Guo et al. (2011). These nonlinear SDP formulations are considered extensions of the SDP formulation for computing a conservative bound for response of a structural system that possess various uncertainties (Kanno and Takewaki 2008, 2009).
Very recently increasing attention has been drawn to topology optimization of a continuum considering geometric uncertainties. In most of those studies, probabilistic approaches are adopted to address deviation of the geometry of the boundary of a continuum. Sigmund (2009) and Wang et al. (2011) proposed a robust topology optimization method considering uniform manufacturing errors. An application of such an uncertainty model is in representing errors in etching for MEMS (micro-electro-mechanical systems). This method takes into account errors stemming from uniform over-etching and uniform under-etching. Then the robust optimization problem is formulated according to the worst-case approach, where only three cases, i.e., the nominal, over-etched and under-etched cases, are considered. Schevenels et al. (2011) extended this method to the case where non-uniform manufacturing errors are considered in a probabilistic manner. The statistical moments of structural response were then estimated by Monte Carlo simulations. Since Monte Carlo simulation is time-consuming, the alternative methods were proposed by using stochastic perturbation (Lazarov et al. 2012b) and stochastic collocation (Lazarov et al. 2012a). Geometrical uncertainties have also been handled within the framework of level-set methods for topology optimization. Chen and Chen (2011) modeled the geometric uncertainty by combing the level-set equations with a random field of normal perturbation of the boundary. The statistical moments of structural response are then obtained by using the Karhunen–Loève expansion and the multivariate Gauss quadrature. As non-probabilistic approaches, Jang et al. (2012) considered uniform etching uncertainties within the framework of a level-set method. Also, Guo et al. (2013) modeled non-uniform uncertainty of the boundary geometry introducing a perturbation of a level-set function, where change in the structural volume due to the boundary perturbation is assumed to be bounded. Then the worst-case optimization problem was dealt with using the first-order approximation of structural performance, under the assumption that perturbation of the boundary is sufficiently small.
This paper is inspired by the work of Guest and Igusa (2008), in which the robust truss topology optimization under uncertainty in the truss geometry was dealt with in a probabilistic manner. There, the locations of nodes were assumed to be uncorrelated random variables and the expected value of the compliance was attempted to be minimized. Under the assumption that perturbation of node locations is sufficiently small, it was shown that the problem under consideration can be recast in the form of the optimization problem under load uncertainties using the notion of equivalent random forces.Footnote 1 In contrast, the present work addresses the compliance optimization of a truss with non-probabilistic uncertainty in the locations of nodes. Provided that node locations can take any value in a given ellipsoid, we attempt to minimize the worst value of the compliance of a truss, where design variables are the member cross-sectional areas. As pointed out by Guest and Igusa (2008), the robust compliance optimization with uncertain node locations is more difficult problem than that with uncertain external loads. In this paper we formulate an SDP problem that serves as a safe approximation of the original robust optimization problem, in the sense that the optimal solution of the SDP problem is feasible for the original robust optimization problem. Throughout the paper we assume small deformation and linear elasticity. Deviation of a node location from its nominal value can however be arbitrarily large. SDP is a class of convex optimization and the optimal solution of an SDP problem can be computed efficiently by using a primal-dual interior-point method (Anjos and Lasserre 2012; Wolkowicz et al. 2000). This is considered an advantage of the SDP approach developed in this paper over existing nonlinear SDP approaches to robust structural optimization, because nonlinear SDP problems formulated in Guo et al. (2009, 2011) and Kanno and Takewaki (2006) are nonconvex optimization problems and thereby quite difficult to be solved. As pointed out by Guest and Igusa (2008), uncertainties in nodal locations can possibly have significant effects in truss topology optimization, because the optimal truss obtained by the standard compliance optimization without taking into account uncertainties is often unstable. Indeed, we can show, under mild assumptions, that the optimal solution of the presented SDP problem is a stable truss.
The paper is organized as follows. Section 2 reviews an SDP formulation of the standard compliance optimization of a truss. We also present an explicit form of the stiffness matrix as a function of the node locations. Section 3 presents an SDP problem which serves as a safe approximation of the robust truss optimization under uncertainty in the locations of nodes. Section 4 explores two important properties of the presented SDP problem: The first is zeroing, i.e., the SDP problem coincides with the standard compliance optimization when the magnitude of uncertainty is set to zero and the second is stability of the truss obtained by solving the proposed SDP problem. Section 5 performs numerical experiments. Conclusions are drawn in Section 6. Appendix collects technical prerequisites.
A few words regarding notation. We use \({\mathcal {S}^{n}}\) to denote the set of n × n real symmetric matrices. For matrices X, \(\mathrm {Y} \in \mathcal {S}^{n}\), notation X ≽ Y means that matrix X−Y is positive semidefinite. Particularly, notation X ≽ O means that X is positive semidefinite. We use I n to denote the n × n identity matrix. For a block matrix, we often omit to write zero blocks. For instance, we write
The ℓ p -norm (1 ≤ p ≤ ∞) of vector \({\boldsymbol {x}}\in \mathbb {R}^{n}\) is defined by
For matrix \(M \in \mathbb {R}^{m \times n}\), the operator norm of M induced by the Euclidean norm is defined by
Note that ∥M∥2 is equal to the maximum singular value of M.
2 Fundamentals of compliance optimization
This section summarizes fundamentals of the standard compliance optimization of a truss structure, where issues of uncertainty are not taken into account. Attention is focused on the SDP formulation due to Ben-Tal and Nemirovski (1997). This formulation serves as a basis of our robust optimization approach that will be developed in Section 3. Section 2.1 introduces our notation for truss topology optimization. The stiffness matrix is expressed as a function of the node locations. This expression is extremely useful in the latter sections for development and analysis of our robust optimization approach. Section 2.2 recalls the SDP formulation of the conventional minimization problem of the compliance of a truss under the volume constraint.
2.1 Explicit formulation of stiffness matrix in terms of locations of nodes
Following the conventional ground structure approach, consider a truss consisting of many candidate members connected by nodes. Throughout the paper we assume small deformation and linear elasticity. Let d denote the dimension of space, i.e., d = 2 for a planar truss and d = 3 for a spatial truss. We use \(\mathcal {V}\) and \(\mathcal {E} \subseteq \mathcal {V} \times \mathcal {V}\) to denote the set of nodes and the set of members of the truss, respectively, where \(|\mathcal {V}|=n\) and \(|{\mathcal {E}}|=m\). Note that \({\mathcal {V}}\) includes some supports. If we adopt terminology of the graph theory, \({\mathcal {V}}\) and \({\mathcal {E}}\) correspond to the set of vertices and the set of edges, respectively, of a given graph \(G=({\mathcal {V}},{\mathcal {E}})\). For node \(\nu \in {\mathcal {V}}\), we denote by \({\boldsymbol {x}}^{(\nu )} \in \mathbb {R}^{d}\) its location in the space. We use a i ≥ 0 to denote the cross-sectional area of member \(i \in {\mathcal {E}}\) and write \({\boldsymbol {a}}=(a_{1},\dots ,a_{m})^{\top } \in \mathbb {R}^{m}\). Given \(G=({\mathcal {V}},{\mathcal {E}})\) and \({\boldsymbol {x}}^{(\nu )}\,(\forall v\in \mathcal {V})\), we attempt to optimize a.
Let p denote the number of degrees of freedom of displacements. Define q by \(q = d n = d|{\mathcal {V}}|\). Since \({\mathcal {V}}\) includes supports, we have that p < q. Let \(\mathcal {V} = \{\nu _{1},\nu _{2},\dots ,\nu _{n} \}\). Define \(\boldsymbol {x}\in \mathbb {R}^{q}\) by
which is a vector consisting of the location vectors of nodes. In Section 3 and the subsequent sections we shall suppose that x is not known precisely. We use l i (x) to denote the undeformed length of member \(i \in \mathcal {E}\) and write \({\boldsymbol {l}}({\boldsymbol {x}}) = (l_{1}({\boldsymbol {x}}),\dots ,l_{m}({\boldsymbol {x}}))^{\top }\in {\mathbb {R}}^{m}\).
Since we will suppose that the locations of supports as well as the locations of free nodes are uncertain, expression of the stiffness matrix will become rather cumbersome. For clarity of exposition, we use the following two different coordinate systems. The first one, denoted \(\mathcal {C}\), is the conventional global coordinate system of the displacements. The dimension of \(\mathcal {C}\) is hence equal to the number of degrees of freedom, p. In coordinate system \(\mathcal {C}\), we use \(\boldsymbol {u} \in \mathbb {R}^{p}\) to denote the vector of nodal displacements. The second one, denoted \(\check {\mathcal {C}}\), is the coordinate system in which all the nodes are supposed to be free nodes. The dimension of \(\check {\mathcal {C}}\) is hence equal to q, i.e., the size of vector x. We use \(\check {\boldsymbol {u}}\in \mathbb {R}^{q}\) to denote the vector of nodal displacements in coordinate system \(\check {\mathcal {C}}\).
Let \(T \in {\mathbb {R}}^{p\times q}\) denote the transformation matrix from coordinate system \(\check {{\mathcal {C}}}\) to coordinate system \({\mathcal {C}}\). Note that the set of nodes, \(\mathcal {V}\), is partitioned into three subsets, the set of pin supports, the set of roller supports and the set of free nodes. We use \(\mathcal {V}_{\text {fix}} \subseteq \mathcal {V}\) to denote the set of pin supports. Without loss of generality we may suppose that \({\mathcal {V}}_{{\text {fix}}} = \{\nu _{\hat {n}+1},\dots ,\nu _{n} \} \) and \({\mathcal {V}} \setminus {\mathcal {V}}_{{\text {fix}}} = \{\nu _{1},\dots ,\nu _{\hat {n}} \} \,(\hat {n} < n)\). Then matrix T is of the form
Here, T (ν j ) is a d × d orthogonal matrix if node ν j is free, while it is a rectangular matrix with full row rank if node ν j is a roller support. Then the transformation is written as
and its inverse is
Example 1
Consider the truss shown in Fig. 1a. The truss lies in a plane, i.e., d = 2 and consists of m = 2 members connected to n = 3 nodes and hence q = 6. Node ν 1 is a roller support, v 2 is a free node and v 3 is a pin support, i.e., \(\mathcal {V}_{\text {fix}}=\{\nu _{3} \}\) and \(\hat {n}=2\). The number of degrees of freedom of displacements is p = 3. Coordinate systems \(\mathcal {C}\) and \(\check {\mathcal {C}}\) can be defined, for instance, as depicted in Figs. 1a and b, respectively. The transformation matrix, \(T \in \mathbb {R}^{3 \times 6}\), from \(\check {{\mathcal {C}}}\) to \({\mathcal {C}}\) is given by
Thus T (ν 1) is a 1 × 2 rectangular matrix and T (ν 2) is a 2 × 2 orthogonal matrix.
In the following the stiffness matrix in the small deformation theory is formulated as an explicit function of the locations of nodes, x. We begin with the compatibility relation in coordinate system \(\check {{\mathcal {C}}}\). Consider member \(i=(\nu _{j},\nu _{k})\in {\mathcal {E}}\), which connects node ν j and node ν k . We use e i to denote the elongation of this member. Observe that the directional cosine from node v k towards node v j is given by \({\boldsymbol {x}}^{(\nu _{j})}-{\boldsymbol {x}}^{(\nu _{k})}/l_{i}({\boldsymbol {x}})\). Define \(\check {{\boldsymbol {b}}}_{i}({\boldsymbol {x}}) \in \mathbb {R}^{q}\) as a block-partitioned vector such that the block corresponding to node ν j and ν k are equal to the directional cosines of \(\boldsymbol {x}^{(\nu _{j})}-\boldsymbol {x}^{(\nu _{k})}\) and \(\boldsymbol {x}^{(\nu _{k})}-\boldsymbol {x}^{(\nu _{j})}\), respectively, and all the other blocks are zero vectors. Namely, \(\check {\boldsymbol {b}}_{i}(\boldsymbol {x}) \in \mathbb {R}^{q}\) is of the form
and then the compatibility relation between e i and \(\check {{\boldsymbol {u}}}\) is given by
We define the stiffness matrix respect to coordinate system \({\mathcal {C}}\) as usual. By performing coordinate transformation (3), (5) is reduced to
Let s i denote the axial force of member i. Since linear elasticity is assumed, the constitutive law is given by
where E is the Young modulus. From (6) and (7), the stiffness matrix of the truss, denoted \(K(\boldsymbol {a};\boldsymbol {x}) \in \mathcal {S}^{p}\), is written as
Finally, we reduce \(\check {{\boldsymbol {b}}}_{i}({\boldsymbol {x}})\) in (8) to a form useful in the subsequent discussions. Define \(J_{i} \in \mathcal {S}^{q}\,(i \in \mathcal {E})\) as
i.e., it is a constant block matrix such that only the blocks related to nodes ν j and ν k are nonzero matrices. Then \(\check {\boldsymbol {b}}_{i}(\boldsymbol {x})\) defined by (4) can be expressed as
Substitution of (10) into (8) yields
We will use this form in the subsequent sections.
Note that coordinate system \(\check {{\mathcal {C}}}\) is never used in the remainder of the paper. The global coordinate system is always taken as \(\mathcal {C}\).
2.2 Semidefinite programming formulation for conventional compliance optimization
This section briefly recalls the conventional compliance optimization of trusses, without considering uncertainties and its SDP formulation in literature.
The compliance is a measure of flexibility of a structure. For given load f, member cross-sectional areas a and nodal coordinates x, the compliance of the truss is defined by
We write \({\boldsymbol {x}} = \tilde {{\boldsymbol {x}}}\) to clarify that, in this section, x is supposed to be known without uncertainties. In the latter sections, \(\tilde {{\boldsymbol {x}}}\) will be interpreted as the nominal value, or the best estimate, of x. The minimization problem of compliance under the volume constraint is then formulated as
where V u > 0 is a specified upper bound for the structural volume. Note that \({\boldsymbol {a}} \in \mathbb {R}^{m}\) and \(w \in \mathbb {R}\) are variables to be optimized. Constraint (13c) is satisfied with equality at the optimal solution of problem (13).
It is known that problem (13) can be recast as an SDP problem. More specifically, constraint (13b) can be written as a linear matrix inequality in terms of a and w. This fact corresponds to a special case of Lemma 2.2 of Ben-Tal and Nemirovski (1997), where the robust compliance constraint under load uncertainty was treated. Below we briefly restate this result for a fixed load. This SDP formulation serves as a basis of our SDP formulation for robust optimization developed in Section 3. From definition (12) of the compliance, we can see that constraint (13b) reads
which is equivalently rewritten as
This inequality is written of the quadratic form
By applying Lemma 8 in Appendix, (14) is equivalently rewritten as
In short, (13b) is equivalent to (15).
As a consequence of the discussion above, the truss optimization problem in (13) can be rewritten equivalently as
In this problem, the objective function in (16a) is a linear function of w. Also, constraints (16c) and (16d) are linear inequality constraints on a. Since \(\tilde {\boldsymbol {x}}\) is fixed, we can see from (11) that the stiffness matrix depends linearly on a 1,…, a m. Hence, constraint (16b) is a linear matrix inequality in terms of a and w. Therefore, problem (16) is an SDP problem.
3 Robust optimization and its safe approximation
This section explores a robust optimization method of a truss subjected to uncertainties in locations of nodes. Section 3.1 defines the robust truss optimization problem. In Section 3.2 we propose an SDP problem that serves as a safe approximation of this robust truss optimization problem.
3.1 Robust optimization under uncertainty in locations of nodes
Since structures in the real world inevitably encounter various uncertainties in geometry caused by manufacturing errors, aging, deterioration, etc., robustness to geometrical uncertainties should be taken into account in structural design. This section defines a deterministic (i.e., non-statistical) model of uncertainty in x and formulates a robust optimization problem of a truss subjected to the uncertainty. This problem is considered a robust counterpart of the compliance minimization problem formulated in Section 2.2.
Uncertainty in the locations of nodes, x, is modeled as follows. Let \(\tilde {{\boldsymbol {x}}}\in {\mathbb {R}}^{q}\) denote the nominal value, or the best estimate, of x. Suppose that x can possibly take any value in a compact convex set as
Here, r ≥ 0 is a given constant, \({\boldsymbol {\zeta }} \in {\mathbb {R}}^{l}\) is a vector of uncertain variables that can take any value in the closed ball with radius r, i.e.,
and \(A\in {\mathbb {R}}^{q \times l}\) is a constant matrix satisfying
Matrix A has a block structure corresponding to nodes ν 1,…, ν n as
where \(A^{(\nu )}\in {\mathbb {R}}^{d \times l}\,(\forall v\in {\mathcal {V}})\). For instance, by putting A = I q , we suppose that the locations of all nodes are uncertain. As another example, if the location of node ν j is supposed to be known without uncertainty, then we put A (ν j ) = O. Constant r ≥ 0 is called the uncertainty parameter, which expresses the level of uncertainty in the following sense (Ben-Haim 2006):
-
(i)
\({\mathcal {X}}_{0} = \{ \tilde {{\boldsymbol {x}}}\}\) and
-
(ii)
r ≤ r ′ implies \({\mathcal {X}}_{r} \subseteq {\mathcal {X}}_{r^{\prime }}\).
That is, (i) only the nominal case is considered at r = 0 and (ii) the range of possible scenarios of nodal locations increases as r increases.
Recall that the conventional topology optimization problem has been formulated as (TO) in (16). In the following we formulate a robust counterpart of (TO), when x undergoes the uncertainty in (17). Note that, in (TO), constraints (16b) and (16c) involve x. Both constraints can be converted to robust constraints. However, compared with the compliance constraint in (16b), the volume constraint in (16c) is considered a soft constraint, because the structural performance is related only to the compliance constraint. For this reason, throughout the paper we evaluate the structural volume at the nominal member lengths and, thence, constraint (16c) is not converted to a robust constraint. Only constraint (16b) is required to be satisfied all possible x’s. Then the robust topology optimization problem is formulated as
Here, \({\boldsymbol {a}} \in \mathbb {R}^{m}\) and w \( \in \mathbb {R}\) are variables to be optimized.
In dealing with problem (20), a key is treatment of the stiffness matrix, K(a;x), in constraint (20b). Recall that K(a;x) is given by (11), where x is now supposed to follow the uncertainty model in (17), i.e., \({\boldsymbol {x}}=\tilde {{\boldsymbol {x}}}+{A}{\boldsymbol {\zeta }}\). Substitution of this equation into (11) yields
where \(\kappa _{i}:\mathbb {R}^{l} \to \mathbb {R}\), \({\boldsymbol {b}}_{i} \in \mathbb {R}^{p}\) and \(C_{i} \in \mathbb {R}^{p \times l}\) are defined by
Particularly, at the nominal value, (21) is reduced to
The difficulty of problem (20) stems from the high nonlinearity of the formulation in (21).
3.2 Safe approximation of robust optimization
The robust topology optimization problem (20) formulated in Section 3.1 is not tractable computationally, because it has infinitely many positive-semidefinite constraints in (20b). This motivates us to construct an optimization problem that serves as a safe approximation of problem (20) and can be solved easily. This section formulates an SDP problem, the optimal solution of which is guaranteed to satisfy all the constraints of the original robust optimization problem (20).
We first consider a lower bound for κ i (ζ) defined by (22), when ζ is running through \({\mathcal {Z}}_{r}\). As seen in (21), κ i (ζ) appears in the stiffness matrix as a coefficient. The following lemma, providing us with a lower bound, prepares our SDP formulation discussed in Theorem 1.
Lemma 1
Define \(\breve {\kappa }_{i} \in \mathbb {R}\) by
Then we obtain \(0 < \breve {\kappa }_{i} \le \min \{\kappa _{i}({\boldsymbol {\zeta }}) : {\boldsymbol {\zeta }}\in {\mathcal {Z}}_{r}\}\).
Proof
Since E > 0, \(\tilde {l}_{i}>0\) and r ≥ 0 by definitions, it is clear that \(\breve {\kappa }_{i} > 0\). With reference to (22) and (26), we see that the assertion of this lemma is obtained by showing
Recall that the location vector of node \(v \in {\mathcal {V}}\) is given by
Hence, concerning the length of member \(i=(\nu _{j},\nu _{k})\in {\mathcal {E}}\), we obtain
where the triangularity inequality and Lemma 6 (in Appendix) have been used. Furthermore, for any \(v \in {\mathcal {V}}\), we have that
and
due to assumption (18). By using (28) and (29), we obtain
and hence (27) holds. □;
We construct a safe approximation of the robust optimization problem by making use of value \(\breve {\kappa }_{i}\) in Lemma 1. By using b i given by (23), define \(B_{i} \in {\mathbb {R}}^{p\times m}\,(\forall i \in {\mathcal {E}})\) by
i.e., it is a constant block matrix such that the ith column is equal to b i and the other columns are zero vectors. Consider the following optimization problem:
This is an SDP problem in variables \({\boldsymbol {a}} \in \mathbb {R}^{m}\), \(w \in \mathbb {R}\) and \({\boldsymbol {\lambda }} \in \mathbb {R}^{m}\), because constraint (31b) is a linear matrix inequality in terms of these variables.
Problem (31) provides us with a conservative approximation of the optimal solution of (RTO) in (20). This key issue is formally proved in the following theorem.
Theorem 1
(ARTO) in (31) is a safe approximation of (RTO) in (20) , in the sense that if \(({\boldsymbol {a}},\text {\textit {w}},{\boldsymbol {\lambda }})\in \mathbb {R}^{m} \times \mathbb {R} \times \mathbb {R}^{m}\) is feasible for (ARTO) then (a, w) is feasible for (RTO).
Proof
We shall show that ( a, w) is feasible for (20b) if there exists \({\boldsymbol {\lambda }} \in \mathbb {R}^{m}\) satisfying (31b) and (31e).
For simple presentation, we use the following notation. Define \(\varOmega ({\boldsymbol {a}};{\boldsymbol {\zeta }}) \in \mathcal {S}^{p+1}\) by
so that constraint (20b) can be written as
For each \(i\in {\mathcal {E}}\), define \(\hat {{\boldsymbol {b}}}_{i} \in {\mathbb {R}}^{p+1}\), \(\hat {B}_{i} \in {\mathbb {R}}^{(p+1)\times m}\) and \(\hat {C}_{i} \in {\mathbb {R}}^{(p+1)\times l}\) by
where b i , B i and C i have been defined by (23), (30), (24), respectively. By using these vectors and matrices, define \(\varOmega _{0}\in \mathcal {S}^{p+1}\) and \(\varOmega _{i}({\boldsymbol {\zeta }})\in \mathcal {S}^{p+1}\,(i \in {\mathcal {E}})\) by
With reference to (21), we see that Ω(a;ζ) in (32) can be written as
With the preparation above we derive a sufficient condition for constraint (20b), i.e., for (33). By definition of a positive semidefinite matrix, (33) is equivalently rewritten as
This condition is also equivalent to
Substitution of (37) into (38) yields
Condition (39) holds if
is satisfied. Thus we see that (40) is a sufficient condition for (20b).
We next deal with the minimization problems included in (40). For fixed \({\boldsymbol {\xi }}\in \mathbb {R}^{p+1}\), we obtain
where the last inequality follows from Lemma 1. Substitution of (36), i.e., the definition of Ω i , into (41) yields
Here, the second inequality follows from Lemma 5 (in Appendix) and
while the last equality follows from Lemma 4 (in Appendix). It follows from (41) and (42) that (40) holds if
is satisfied, i.e., (43) is a sufficient condition for (40). Condition (43) is equal to the condition that, for variables \(\boldsymbol {\xi } \in \mathcal {R}^{p+1}\) and \(\boldsymbol {\eta } \in \mathcal {R}^{m}\), the implication
holds. Note that both sides of implication (44) are expressed as quadratic inequalities in terms of ξ and η. Indeed, by using constant matrices \(E_{i,i} \in \mathcal {S}^{m}\,(i \in {\mathcal {E}})\) defined by
we can rewrite (44) as
Implication (46) clearly consists of quadratic inequalities of ξ and η. Then by applying Lemma 9 (in Appendix) we see that (46) holds if there exist nonnegative real numbers λ 1,…, λ m satisfying
By substituting the definitions of \(\hat {{\boldsymbol {b}}}_{i}\), \(\hat {B}_{i}\) and \(\hat {C}_{i}\) (in (34)) and that of Ω 0 (in (35)) into (47), this sufficient condition for (46) is written as
We thus conclude that condition (48), which corresponds to constraints (31b) and (31e), is a sufficient condition for constraint (20b). □;
Theorem 1 asserts that the optimal solution of (ARTO) (in (31)) is feasible for the original robust optimization problem, (RTO) in (20). Thus (ARTO) serves as a conservative approximation of (RTO). It is difficult to deal with (RTO) computationally, because (RTO) has infinitely many constraints in (20b). In contrast, (ARTO) is a conventional SDP problem and it can be solved efficiently with a primal-dual interior-point method. Since we do no resort to any approximation for formulating the stiffness matrix with uncertain node locations, conservativeness of the obtained solution is guaranteed for arbitrary large r, as shown in Theorem 1. Instead, the optimality of the obtained solution is not guaranteed, i.e., the optimal solution of (ARTO) is not optimal for (RTO) in general.
Remark 1
The size of (ARTO) in (31) is larger than the size of (TO) in (16). The number of variables is increased from m+1 to 2m+1. The size of matrix subjected to the positive-semidefinite constraint is increased from (p+1) × (p+1) to (p + m+1) × (p + m+1). However, all the coefficient matrices in (31b) are sparse matrices.
Remark 2
In the proof of Theorem 1 we have shown that (43) is a sufficient condition for constraint (20b). In this process, we use the fact that (40) is a sufficient condition for (39). Unlike (39), minimization in (40) is performed for each \(i \in \mathcal {E}\). This means that, in (40), effect of uncertainty on each member is considered independently. This overestimates the effect of uncertainty, because the location of one node generally affects all members connected to that node. In other words, in (40) we consider an incompatible situation such that two members connected by a node in the nominal scenario are supposed not necessarily to be connected in the worst scenario. For this reason, it might probably happen that the optimal solution of (ARTO) is too conservative, compared with the optimal solution of (RTO). In Section 5.3, we shall use a small numerical example to investigate tightness of approximation of (ARTO).
4 Two properties of the proposed formulation
This section explores favorable properties of (ARTO), proving two theorems. The first, Theorem 2, establishes that, when r = 0, (ARTO) coincides with the standard compliance optimization, i.e., (TO) in (16). In this sense (ARTO) can be considered a natural extension of (TO). The second, Theorem 3, establishes, under fairly general conditions, that the truss obtained as the optimal solution of (ARTO) is stable. This might be considered a significant advantage of the proposed formulation, because the optimal solution of (TO) is often unstable and an unstable truss has no robustness against uncertainties in external forces as well as locations of nodes.
4.1 Nominal case
This section discusses a particular case, r = 0, which means that no uncertainty is supposed.
When r = 0, we can show that problem (31), which serves as a conservative approximation of the robust truss optimization problem, coincides with the nominal truss optimization problem, i.e., problem (16). More precisely, at r = 0, these two problems share the same optimal value and the optimal truss design of one problem is also optimal for the other problem. In this sense, the proposed formulation, (31), is considered a natural extension of the nominal optimization problem, (16). This equivalence follows straightforwardly from Theorem 2 presented below.
Theorem 2
Suppose r = 0. If \({\boldsymbol {a}}\in \mathbb {R}^{m}\) and \({\boldsymbol {\lambda }}\in \mathbb {R}^{m}\) satisfy (31b) and (31e) , then a satisfies (16b) . Conversely, if \({\boldsymbol {a}}\in \mathbb {R}^{m}\) satisfies (16b) , then there exists \({\boldsymbol {\lambda }}\in \mathbb {R}^{m}\) such that a and λ satisfy (31b) and (31e).
Proof
We begin by considering constraint (31b) at r = 0. Recall that \(\breve {\kappa }_{i}\) in (31b) is defined by (26). With reference to definition (22) of κ i , we see that \(\breve {\kappa }_{i} = \kappa _{i}({\boldsymbol {0}})\) holds at r = 0. Therefore, when r = 0, constraint (31b) reads
Since the left-hand side of (49) is a block-diagonal matrix, (49) is equivalent to
Note that (50a) is equivalent to (31e). On the other hand, (16b) is rewritten as follows. Substitution of (25) into (16b) results in
As a consequence, the assertion of this theorem is obtained by showing that (50) is satisfied if and only if there exists λ satisfying (50a) and (31e).
Suppose that a satisfies (50). Then (50a) and (31e) are satisfied with λ = 0. This shows the “only if” part. The converse is shown as follows. Suppose that a and λ satisfy (50a) and (31e). Then we have that
This implies that a satisfies (50). □;
4.2 Stability of optimal truss
This section shows that the truss obtained by solving (ARTO) (in (31)) is stable (i.e., kinematically determinate). See, e.g., Kuznetsov (1988), Pellegrino (1993), Pellegrino and Calladine (1986) and (Tarnai 2001) for the notion of kinematical determinacy.
Stability of the optimal truss is formally defined as follows. Let \((\bar {{\boldsymbol {a}}},\bar {\text {\textit {w}}},\bar {{\boldsymbol {\lambda }}}) \in \mathbb {R}^{m} \times \mathbb {R} \times \mathbb {R}^{m}\) denote the optimal solution of (ARTO). Define \(\mathcal {E}_{\text {opt}} \subseteq \mathcal {E}\) by
i.e., \({\mathcal {E}}_{{\text {opt}}}\) is the set of members that exist at the optimal solution. Define \({\mathcal {V}}_{{\text {opt}}} \subseteq {\mathcal {V}}\) as the set of nodes that are connected to a member belonging to \(\mathcal {E}_{\text {opt}}\). In other words, if \(i=(\nu _{j},\nu _{k}) \in \mathcal {E}_{\text {opt}}\), then ν j , \(\nu _{k} \in {\mathcal {V}}_{{\text {opt}}}\). Then graph \(G_{{\text {opt}}}=({\mathcal {V}}_{{\text {opt}}},{\mathcal {E}}_{{\text {opt}}})\) corresponds to the topology of the optimal truss, \(\bar {\boldsymbol {a}}\). We say that the optimal truss, \(\bar {\boldsymbol {a}}\), is stable if any displacement vector \(\boldsymbol {u} = (\boldsymbol {u}^{(\nu )} \mid \nu \in \mathcal {V})\) solving
satisfies \({\boldsymbol {u}}^{(\nu )}={\boldsymbol {0}}\,(\forall \nu \in {\mathcal {V}}_{{\text {opt}}})\). Note that the stability is evaluated when the nodes exist at their nominal locations. Stability does not mean that \(K(\bar {\boldsymbol {a}};\tilde {\boldsymbol {x}})\) has full rank, if some nodes are removed at \(\bar {\boldsymbol {a}}\). We may consider a stiffness matrix only with the rows and columns corresponding to the degrees of freedom of the nodes belonging to \({\mathcal {V}}_{{\text {opt}}}\). Then stability of the optimal truss means that this newly-defined stiffness matrix has full rank (equivalently, it is positive definite).
To establish the main result stated in Theorem 3, we need the following assumption, which is unrestrictive from a practical point of view.
Assumption 1
-
(i)
Any node \(v \in {\mathcal {V}}_{{\text {opt}}}\) is either pin-supported or free.
-
(ii)
For any member \(i=(v_{j},v_{k})\in {\mathcal {E}}\) , matrix A (v j ) −A (v k ) has full row rank, i.e., \(\text {rank}\left (A^{(v_{j})}-A^{(v_{k})}\right )=d\).
-
(iii)
r > 0.
Remark 3
Assumption 1 (i) means that the optimal truss does not have any roller support. This is, certainly, satisfied if the ground structure has no roller support.
Remark 4
Assumption 1 (ii) means that, for \(i=(v_{j},v_{k})\in {\mathcal {E}}\), the location of node v j can vary independently of the location of node v k . For instance, if we choose A = I p in (17), then this assumption is satisfied. Note that locations of pin supports are also considered uncertain.
Remark 5
Assumption 1 (iii) is natural because r = 0 means that no uncertainty is considered.
The following two lemmas prepare for the main result stated in Theorem 3.
Lemma 2
Suppose r>0. Let \((\bar {{\boldsymbol {a}}}, \bar {\text {\textit {w}}}, \bar {{\boldsymbol {\lambda }}}) \in \mathbb {R}^{m}\times \mathbb {R} \times \mathbb {R}^{m}\) denote the optimal solution of (ARTO) in (31) . Then \(\bar {\lambda }_{i}>0\,(\forall i\in {\mathcal {E}}_{{\text {opt}}})\).
Proof
Since any principal submatrix of a positive semidefinite matrix is positive semidefinite, constraint (31b) implies
Suppose, for contradiction, that there exists member \(\hat {i}\in {\mathcal {E}}_{{\text {opt}}}\) satisfying \(\bar {\lambda }_{\hat {i}}=0\). Then (52) reads
which implies
In contrast, from the assumption of this lemma we have that \(\bar {a}_{\hat {i}} \ne 0\) and r ≠ 0. Furthermore, for any \(i \in {\mathcal {E}}\), we see that b i ≠ 0 and \(\breve {\kappa }_{i} \ne 0\) from their definitions in (23) and (26). Therefore, \(\bar {a}_{\hat {i}} \breve {\kappa }_{\hat {i}} r{\boldsymbol {b}}_{\hat {i}} \not = {\boldsymbol {0}}\), which contradicts (53). □;
Lemma 3
If Assumption 1 is satisfied, then any connected component of graph \(G_{{\text {opt}}}=({\mathcal {V}}_{{\text {opt}}},{\mathcal {E}}_{{\text {opt}}})\) has at least one support.
Proof
Suppose, for contradiction, that G opt has a connected component that has no support.
If no external load is applied to this connected component, then all the members in this connected component can be removed without changing the compliance of the total structure. This means that an optimal solution cannot have such a connected component. Hence, in the following, we suppose that some external forces are applied to the connected component. Note that no reaction is applied to the connected component, because we are assuming for contradiction that the connected component has no support. The proof proceeds by considering two cases.
-
(a)
Suppose that the external forces applied to the connected component are not in static equilibrium when \({\boldsymbol {x}}=\tilde {{\boldsymbol {x}}}\). Then the forces cause rigid-body motion in a direction of the unbalanced force. Therefore, the compliance is not bounded above. This contradicts the argument that \(G_{{\text {opt}}}=({\mathcal {V}}_{{\text {opt}}},{\mathcal {E}}_{{\text {opt}}})\) is feasible for (ARTO).
-
(b)
Suppose that the external forces applied to the connected component are in static equilibrium when \(\boldsymbol {x}=\tilde {\boldsymbol {x}}\). Choose a node at which an external force is applied. We use v to denote this node. From Assumption 1 (ii), the location of node v can be perturbed arbitrary with satisfying \({\boldsymbol {x}}\in {\mathcal {X}}_{r}\), when the locations of the other nodes are fixed. Here, the direction of the external force at node v is not changed. Therefore, there exists a location of v at which the equilibrium of moments of external forces will be violated. This location of the node yields the worst-case compliance, which is not bounded above. Such a solution is not feasible for (ARTO) and this contradicts the assumption of this lemma.
Thus contradiction arises in each case and hence any connected component of G opt has at least one support. □
We are now in position to state the main result of this section.
Theorem 3
If Assumption 1 is satisfied, then the truss obtained as the optimal solution of (ARTO) in (31) is stable.
Proof
From (25), the stiffness matrix of the optimal solution with the nominal nodal locations, i.e., \(\boldsymbol {x}=\tilde {\boldsymbol {x}}\) and ζ = 0, is given by
Hence, the assertion of this theorem can be obtained by showing that any u solving
satisfies \({\boldsymbol {u}}^{(v)}={\boldsymbol {0}}\,(\forall v\in {\mathcal {V}}_{{\text {opt}}})\).
It follows from Lemma 1 and constraint (31b) of (ARTO) that the stiffness matrix satisfies
On the other hand, (54) implies
By using (55), we see that (56) implies
It follows from Lemma 2 that (57) implies
In the following we show that any u solving (58) satisfies \({\boldsymbol {u}}^{\nu }={\boldsymbol {0}}\,(\forall v \in {\mathcal {V}}_{{\text {opt}}})\). Choose a connected component of G opt arbitrarily. Lemma 3 asserts that this connected component has a support. Let v denote this support. Choose member \(\hat {i}=(\nu ,\nu ^{\prime }) \in \mathcal {E}_{\text {opt}}\). From Assumption 1 (i), node v ′ is either a support or a free node. If node v ′ is a support, then \(\bar {a}_{\hat {i}}=0\) holds at the optimal solution and hence \(\hat {i} \not \in \mathcal {E}_{\text {opt}}\). Therefore, node ν is a free node. From (24) (see, also, (2), (9) and (19)), matrix \(C_{\hat {i}} \in {\mathbb {R}}^{p\times l}\) is of the form
i.e., it is a block matrix such that only the block related to node v ′ is a nonzero matrix. Here, \(T^{(\nu ^{\prime })} \in \mathbb {R}^{d \times d}\) is an orthogonal matrix. From (59), equation \(C_{\hat {i}}^{T}\boldsymbol {u} = \boldsymbol {0}\) in (58) is written as
It follows from Assumption 1 (ii) and the orthogonal property of \(T^{(\nu ^{\prime })}\) that \(T^{(\nu ^{\prime })}(A^{(\nu ^{\prime })}-A^{(\nu )})\) has full row rank. Therefore, (60) implies
We next choose member \(i^{\prime }=(\nu ^{\prime },\nu ^{\prime \prime })\in {\mathcal {E}}_{{\text {opt}}}\) such that node \(\nu ^{\prime \prime }\in {\mathcal {V}}_{{\text {opt}}}\) is a free node. Then matrix \(C_{i^{\prime }} \in \mathbb {R}^{p \times l}\) is of the form
Therefore, equation \(C_{i^{\prime }}^{\top }{\boldsymbol {u}} = {\boldsymbol {0}}\) in (58) is reduced to
where (61) has been used. From Assumption 1 (ii) we see that \(T^{(\nu ^{\prime \prime })} \left (A^{(\nu ^{\prime \prime })}-A^{(\nu ^{\prime })}\right )\) has full row rank, because \(T^{(\nu ^{\prime \prime })}\) is an orthogonal matrix. Therefore, (62) implies \(\boldsymbol {u}^{(\nu ^{\prime \prime })}=\boldsymbol {0}\). By repeating this procedure, we can show that u (w) = 0 should be satisfied at any node w contained in the connected component.
The discussion above is valid for any connected component of G opt. Therefore, we can conclude that any solution of (58) satisfies \({\boldsymbol {u}}^{(\nu )}={\boldsymbol {0}}\,(\forall v \in {\mathcal {V}}_{{\text {opt}}})\). □
The assumption required in Theorem 3 is not restrictive, as briefly discussed in Remark 3, Remark 4 and Remark 5. Since it is well known that standard compliance optimization often yields an unrealistic unstable truss design, guarantee of stability provided by the presented method is significant from a practical point of view.
5 Numerical experiments
This section presents various numerical examples. The proposed SDP problem, (ARTO) in (31), is solved to find robust truss designs. Section 5.1 considers some different uncertainty models and studies difference of optimal solutions. Section 5.2 discusses a relation between the level of uncertainty, r, and optimal topology. Section 5.3 studies a small example to estimate the tightness of approximation of the presented formulation. Section 5.4 collects examples with larger sizes.
Computation was carried out on a 2.6 GHz Intel Core i5 processor with 8 GB RAM. SDP problems were solved with SeDuMi ver. 1.3 (Pólik 2005; Sturm 1999) on MATLAB ver. 7.7. Note that SeDuMi implements a primal-dual interior-point method for linear programming problems over symmetric cones.
All the examples consider planar trusses, i.e., d = 2. The elastic modulus is 200 GPa. The upper bound constraint on the structural volume becomes active at the optimal solution of each example.
5.1 Example (I): Effect of difference of uncertainty models
This section studies variation in optimal solutions due to differences of uncertainty model.
Consider the ground structure shown in Fig. 2a. This truss consists of m = 38 members connected by n = 5 × 3 = 15 nodes and hence q = 30. The lengths of all horizontal member and vertical members are 1 m. The leftmost nodes, i.e., nodes ν 1, ν 2 and ν 3, are pin-supported. The number of degrees of freedom of displacements is p = 24. A horizontal force of 10 N is applied at the rightmost node in the middle row, i.e., node ν 7. The specified upper bound for the structural volume is V u = 0.05m3.
Figure 2b shows the trivial optimal solution of the conventional compliance optimization without considering uncertainty, i.e., r = 0. Four members with uniform cross-sectional areas are aligned on a straight line. This solution is certainly unstable.
As for the uncertainty models of node locations, we consider four cases:
-
Model (i): Locations of all the nodes possess uncertainty ( l = q = n d = 30).
-
Model (ii): Locations of nodes ν 2, ν 4, ν 5, ν 6 and ν 7 possess uncertainty ( l = 5d = 10).
-
Model (iii): Locations of nodes ν 4, ν 5 and ν 6 possess uncertainty ( l = 3d = 6).
-
Model (iv): Location of node ν 4 possesses uncertainty ( l = 2).
Note that matrix A for model (i) is A = I q . For models (ii), (iii) and (iv), \({A} \in \mathbb {R}^{q \times l}\) is of the form
The level of uncertainty is r = 0.05m in all these cases. With probabilistic uncertainty setting, similar problem was solved by Guest and Igusa (2008, section 3.6).
5.1.1 Solution under uncertainty in all nodes (model (i))
Figure 3a shows the optimal solution of (ARTO) in (31) with model (i). The width of each member in this figure is proportional to its cross-sectional area. The computational results are listed in Table 1. The results in the nominal case, r = 0, is also listed in the bottom row of this table. Here, “Opt. val.” shows the optimal value and \(\pi (\bar {{\boldsymbol {a}}};\tilde {{\boldsymbol {x}}})\) is the compliance when the nodes are located at the nominal positions, \(\tilde {{\boldsymbol {x}}}\). Note that 1 J = 1 N⋅m.
As stated earlier, without considering uncertainty standard optimization yields an unstable truss design shown in Fig. 2b. When locations of existing nodes are perturbed in the vertical direction, this solution cannot equilibrate under the given external load. Therefore, this solution is not feasible for our robust optimization problem; thus unrealistically unstable truss designs are excluded by considering uncertainty in node locations. The same assertion was made by Guest and Igusa (2008) with probabilistic uncertainty setting. The robust optimal solution shown in Fig. 3a is stable, which agrees with Theorem 3.
5.1.2 Solutions under uncertainty in some nodes (models (ii)–(iv))
This section mentions the results with uncertainty models (ii), (iii) and (iv). Figs. 3b, c and d show the optimal solutions with models (ii), (iii) and (iv), respectively. Table 1 reports the optimal values and the values of compliance with the nominal locations of the nodes. In each case the computational time required by SeDuMi is less than 2 seconds. The member cross-sectional areas of the obtained solutions are reported in Table 2, where the member indices are defined in Fig. 2a. The solutions obtained with models (ii) and (iii) are stable and have the same topology as the solution with model (i).
In model (iv), the location of only one node is considered uncertain. The solution obtained with this model is unstable, where only members around the uncertain node are braced. This agrees with the result obtained by Guest and Igusa (2008) with probabilistic uncertainty setting.
5.2 Example (II): Effect of uncertainty magnitude
This section examines how the robust optimal solution varies when the magnitude of uncertainty, r, is changed.
Consider the initial truss shown in Fig. 4. The truss consists of m = 24 members connected by n = 9 nodes, where q = d n = 18. The lengths of all horizontal and vertical members are 1 m. The leftmost nodes are pin-supported. The number of degrees of freedom of displacements is p = 12. A horizontal force of 10N is applied at the rightmost node in the middle row. The upper bound for the structural volume is V u = 0.01m3. Locations of all the nodes are supposed to be uncertain, where matrix A in (17) is A = I q with l = q.
Figure 5 shows the variation of the optimal value, \(\bar {w}\), with respect to the level of uncertainty, r. The trade-off relation between the worst compliance and the level of uncertainty is clearly captured from this curve, called the robustness curve (Ben-Haim 2006). Namely, the robustness cannot be improved (i.e., r cannot be larger) when the requirement of the performance becomes more severe (i.e., \(\bar {\text {\textit {w}}}\) becomes smaller). As r is increased, the optimal topology changes in the five types shown in Fig. 6.
It is observed in Fig. 6 that, when r is small, thin braces are used to stabilize the two thick members in the middle row. As proved in Section 4.1, the optimal solution at r = 0 in Fig. 6a coincides with the optimal solution of (TO). When r is large, the optimal topology becomes a two-bar truss. As r becomes larger, the number of existing nodes becomes smaller. Thus the optimal topology depends on the level of uncertainty.
5.3 Example (III): Tightness of approximation
As already proved, the presented method provides us with a safe approximation of the robust optimal solution. Theoretically, in this paper we do not analyze tightness of approximation. In other words, we do not know how far the optimal solution of (ARTO) is from the optimal solution of (RTO). This section investigates the tightness numerically using a small example.
Consider the 2-bar truss shown in Fig. 7a. The two left nodes are pin-supported, i.e., p = 2. The location of the right free node is supposed to be uncertain, while the locations of two supports are supposed to be known precisely, i.e., the number of uncertain parameters is l = 2. Matrix A is given by (63) and the level of uncertainty is r = 0.01m. This means that the free node can exist at any points in and on a circle with radius r as shown in Fig. 7a. A horizontal force of 100 N is applied at the right free node. The upper bound for the structural volume is V u = 0.01 m3.
The nominal optimal truss, i.e., the optimal solution of (TO) in (16), is trivially the one shown in Fig. 7b. The member cross-sectional areas are (10000,0) mm2 and the optimal value is 5 J. Fig. 7c shows the optimal solution of (ARTO) in (31). The member cross-sectional areas of this solution are (9808.07,135.71)mm2 and the optimal value is 5.658718 J.
We next generate many sample points for the locations of the free node. These samples are equally distributed points on the two-dimensional circle with radius r shown in Fig. 7a. The member cross-sectional areas are fixed as the optimal solution of (ARTO) and the compliance is computed. The curve in Fig. 8 depicts the compliance, where 𝜃 is the angle of the location of node to the horizontal axis. The maximum value of this curve is 5.311027 J, when we take 1000 samples. Thus the optimal value of (ARTO), 5.658718 J, overestimates the compliance in the worst scenario.
Finally, we perform the worst-case minimization using the generated samples. Namely, we solve the minimization problem of the maximum compliance among 1000 uniformly distributed samples on the two-dimensional circle shown in Fig. 7a. The optimal solution of this problem might be expected to be very close to the true optimal solution of (RTO) in (20). The member cross-sectional areas of this solution are (9807.18,136.34) mm2 and the optimal value is 5.311025 J. It is worth noting that this optimal value is very close to the maximum value of the solid curve in Fig. 7a. Therefore, we may probably conclude that, in this particular example, the optimal truss design of (ARTO) is sufficiently close to the true optimal truss design of (RTO), although the optimal value of (ARTO) overestimates the true compliance in the worst scenario. This is, certainly, just one example that yields positive result on the quality of the optimal solution of (ARTO). It is true that the quality of a solution is not clear when (ARTO) is applied to more complex examples. However, for a larger problem, verification using simple sampling, such as what performed above, is difficult due to the curse of dimensionality.
5.4 More examples
This section collects numerical experiments with larger scale optimization problems.
5.4.1 Example (IV)
Consider the two ground structures shown in Fig. 9, where only the nodes are depicted. Any two nodes are connected by a member, but overlapping of members is avoided by removing the longer member when two members overlap. The truss in Fig. 9a has m = 418 members and p = 60 degrees of freedom of displacements. The one in Fig. 9b has m = 919 members and p = 96 degrees of freedom of displacements. In both structures, the leftmost nodes are pin-supported. A vertical force of 10 N is applied at the bottom rightmost node. The upper bound for the structural volume is V u = 0.1 m3. Locations of all nodes are considered uncertain, i.e., l = q. Matrix A in (17) is A = I q .
The nominal optimal solutions are shown in Figs. 10a and 11a. Figs. 10b, c, d, and 11b, c and d show the optimal solutions of (ARTO) in (31) with r = 0.02 m, r = 0.05 m and r = 0.1 m. The computational results are listed in Table 3, where “Time” means the computational time required by SeDuMi to solve an SDP problem.
The solution of Fig. 10b has all the members that exist in the solution of Fig. 10a. In other words, the set of existing members in Fig. 10b is a superset of the set of existing members in Fig. 10a. In contrast, the set of existing members in Fig. 10d is not a superset of that in Fig. 10a. The number of existing nodes in Fig. 10d is very small due to a large level of uncertainty in the locations of nodes. The solution in Fig. 11b has many more members than the nominal solution in Fig. 11a. This is because the nominal optimal solution is unstable due to the presence of collinear members and the robust optimal solution requires many thin members to achieve stability. The truss topologies in Figs. 11c and d are much different from the nominal optimal solution in Fig. 11a. Also, the solutions in Figs. 11c and d have few nodes, which avoids the effect of large uncertainty in the locations of nodes as far as possible.
5.4.2 Example (V)
Consider the three ground structures shown in Fig. 12. Any two nodes are connected by a member, but overlapping of members is avoided by removing the longer member when two members overlap. The truss in Fig. 12a consists of m = 140 members and has p = 36 degrees of freedom of displacements. The one in Fig. 12b has m = 386 members and p = 60 degrees of freedom. The final one, shown in Fig. 12c, has m = 748 members and p = 84 degrees of freedom. The leftmost nodes are pin-supported. A vertical force of 10 N is applied at the rightmost node in the middle row. The upper bound for the structural volume is V u = 0.1 m3. The magnitude of uncertainty is r = 0.05 m. Locations of all nodes are supposed to be uncertain, i.e., l = q and A = I q .
The nominal optimal solutions for these three ground structures are shown in Figs. 13a, c and e. The optimal solutions obtained by solving (ARTO) in (31) are shown in Figs. 13b, d and f. The computational results are listed in Table 4.
In contrast to the other examples in Section 5, the three nominal optimal solutions in Fig. 13 are stable. The nominal optimal solution in Fig. 13c is similar to its robust counterpart in Fig. 13d, but a middle node in the nominal optimal solution is missing in the robust optimal solution. Similarly, one node of the nominal optimal solution in Fig. 13e is not used in the robust optimal solution shown in Fig. 13f.
In Jalalpour et al. (2013, section 3.1.1), a reliability-based topology optimization problem of a similar cantilever truss was solved, where uncertainties in node locations were dealt with in a probabilistic manner. It was observed in the result of Jalalpour et al. (2013) that the number of members increases as the probability of failure is decreased. In contrast, it is observed in Fig. 13 that the optimal solutions of (ARTO) has less members than those of (TO).
6 Conclusions
The concept of robustness to uncertainty is central in structural design. This paper has addressed robust truss optimization considering geometrical uncertainties. We have formulated the SDP problem that provides us with a safe approximation of the optimal solution.
Theorem 1 establishes that any feasible solution of the proposed SDP problem is feasible for the original robust optimization problem. This assertion holds for arbitrarily large magnitude of uncertainty. Instead of this guaranteed safety, the optimal solution of the presented SDP problem is not optimal for the original robust optimization problem in general. In the numerical experiment in Section 5.3, it has been observed that these two optimal solutions are close enough, although no theoretical result is available for approximation ratio.
Two properties of the proposed SDP approximation have been explored. Theorem 2 shows zeroing of our SDP formulation, i.e., when the magnitude of uncertainty is equal to zero, the SDP problem truly coincides upper bound for the structural volume without considering uncertainties. Theorem 3 establishes, under mild assumptions, that the optimal solution of the SDP problem is a stable truss.
In the context of compliance optimization of trusses, guaranteed stability of the obtained solution might be considered a fairly distinguished feature of the proposed approach.Footnote 2 It is worth noting, on the other hand, that many nodes of the initial structure can possibly disappear in the solution obtained by the proposed approach, as illustrated in Section 5. Roughly speaking, the truss topology can vary in the course of optimization of the proposed approach. Stability of a truss in compliance optimization is also guaranteed by considering uncertainty in external loads (Ben-Tal and Nemirovski 1997), if all the nodes of the ground structure are subjected to uncertain external forces. In this case, however, all the nodes in the ground structure remain at the robust optimal solution. It is not obvious to guess the set of existing nodes at the robust optimal solution. One remedy is making use of discrete variables representing existence of members (Yonekura and Kanno 2010). However, such a method, based upon mixed-integer programming, is usually time consuming. In contrast, the method presented in this paper generates a stable truss by solving a single SDP problem.
Through the numerical experiments it has been illustrated that the optimal truss topology depends on the magnitude of uncertainty, as well as the set of uncertain nodes. Roughly speaking, when the nominal optimal truss is unstable and the level of uncertainty is small, the robust optimal truss often has many thin members that are used to stabilize the nominal optimal solution. In contrast, as the level of uncertainty is large, the number of nodes of the robust optimal solution decreases to avoid the effect of large uncertainty in the locations. If the nominal optimal truss is stable, then the robust optimal solution is often similar to the nominal one.
This paper was restricted to the compliance optimization of a truss. Other objective functions can be studied to optimize other structural performance. Also, extension of the presented method to other types of structures can be considered. Particularly, robust optimal design of micro compliant mechanisms (Jang et al. 2012; Schevenels et al. 2011; Sigmund 2009; Wang et al. 2011) could probably be a promising application. Furthermore, theoretical assessment of tightness of the proposed SDP approximation remains to be explored.
Notes
References
Achtziger W, Kočvara M (2007) Structural topology optimization with eigenvalues. SIAM J Optim 18:1129–1164
Anjos MF, Lasserre JB (eds) (2012) Handbook on semidefinite, conic and polynomial optimization. Springer, New York
Asadpoure A, Tootkaboni M, Guest JK (2011) Robust topology optimization of structures with uncertainties in stiffness—application to truss structures. Comput Struct 89:1131–1141
Bendsøe MP, Sigmund O (2004) Topology optimization: theory, methods and applications. Springer, Berlin
Ben-Haim Y (2006) Information-gap decision theory: decisions under severe uncertainty, 2nd edn. Academic Press, London
Ben-Tal A, El Ghaoui L, Nemirovski A (2009) Robust Optimization. Princeton University Press, Princeton
Ben-Tal A, Nemirovski A (1997) Robust truss topology optimization via semidefinite programming. SIAM J Optim 7:991–1016
Ben-Tal A, Nemirovski A (1998) Robust convex optimization. Math Oper Res 23:769–805
Beyer H-G, Sendhoff B (2007) Robust optimization—a comprehensive survey. Comput Methods Appl Mech Eng 196:3190–3218
Boyd S, El Ghaoul L, Feron E, Balakrishnan V (1987) Linear matrix inequalities in system and control theory. SIAM, Philadelphia
Brittain K, Silva M, Tortorelli DA (2012) Minmax topology optimization. Struct Multidiscip Optim 45:657–668
Calafiore GC, Dabbene F (2008) Optimization under uncertainty with applications to design of truss structures. Struct Multidiscip Optim 35:189–200
Calafiore G, El Ghaoui L (2004) Ellipsoidal bounds for uncertain linear equations and dynamical systems. Autom 40:773–787
Chen S, Chen W (2011) A new level-set based approach to shape and topology optimization under geometric uncertainty. Struct Multidiscip Optim 44:1–18
Cherkaev E, Cherkaev A (2003) Principal compliance and robust optimal design. J Elast 72:71–98
Cherkaev E, Cherkaev A (2008) Minimax optimization problem of structural design. Comput Struct 86:1426–1435
de Gournay F, Allaire G, Jouve F (2008) Shape and topology optimization of the robust compliance via the level set method. ESAIM: Control, Optimisation and Calculus of Variations 14:43–70
El Ghaoui L, Oustry F, Lebret H (1998) Robust solutions to uncertain semidefinite programs. SIAM J Optim 9:33–52
Elishakoff I, Haftka RT, Fang J (1994) Structural design under bounded uncertainty—optimization with anti-optimization. Comput Struct 53:1401–1405
Ganzerli S, Pantelides CP (2000) Optimum structural design via convex model superposition. Comput Struct 74:639–647
Guest JK, Igusa T (2008) Structural optimization under uncertain loads and nodal locations. Comput Methods Appl Mech Eng 198:116–124
Guo X, Bai W, Zhang W, Gao X (2009) Confidence structural robust design and optimization under stiffness and load uncertainties. Comput Methods Appl Mech Eng 198:3378–3399
Guo X, Du J, Gao X (2011) Confidence structural robust optimization by non-linear semidefinite programming-based single-level formulation. Int J Numer Methods Eng 86:953–974
Guo X, Zhang W, Zhang L (2013) Robust structural topology optimization considering boundary uncertainties. Comput Methods Appl Mech Eng 253:356–368
Horn RA, Johnson CR (1985) Matrix Analysis. Cambridge University Press, Cambridge
Jalalpour M, Guest JK, Igusa T (2013) Reliability-based topology optimization of trusses with stochastic stiffness. Struct Saf 43:41–49
Jalalpour M, Igusa T, Guest JK (2011) Optimal design of trusses with geometric imperfections: accounting for global instability. Int J Solids Struct 48:3011–3019
Jang G-W, van Dijk NP, van Keulen F (2012) Topology optimization of MEMS considering etching uncertainties using the level-set method. Int J Numer Methods Eng 92:571–588
Jansen M, Lombaert G, Diehl M, Lazarov BS, Sigmund O, Schevenels M (2013) Robust topology optimization accounting for misplacement of material. Struct Multidiscip Optim 47:317–333
Jarre F (2000) An interior method for nonconvex semidefinite programs. Optim Eng 1:347–372
Kanno Y, Guo X (2010) A mixed integer programming for robust truss topology optimization with stress constraints. Int J Numer Methods Eng 83:1675–1699
Kanno Y, Takewaki I (2006) Sequential semidefinite program for robust truss optimization based on robustness functions associated with stress constraints. J Optim Theory Appl 130:265–287
Kanno Y, Takewaki I (2008) Semidefinite programming for uncertain linear equations in static analysis of structures. Comput Methods Appl Mech Eng 198:102–115
Kanno Y, Takewaki I (2009) Semidefinite programming for dynamic steady-state analysis of structures under uncertain harmonic loads. Comput Methods Appl Mech Eng 198:3239–3261
Kanzow C, Nagel C, Kato H, Fukushima M (2005) Successive linearization methods for nonlinear semidefinite programs. Comput Optim Appl 31:251–273
Kuznetsov EN (1988) Underconstrained structural systems. Int J Solids Struct 24:153–163
Lazarov BS, Schevenels M, Sigmund O (2012a) Topology optimization considering material and geometric uncertainties using stochastic collocation methods. Struct Multidiscip Optim 46:597–612
Lazarov BS, Schevenels M, Sigmund O (2012b) Topology optimization with geometric uncertainties by perturbation techniques. Int J Numer Methods Eng 90:1321–1336
Lombardi M (1998) Optimization of uncertain structures using non-probabilistic models. Comput Struct 67:99–103
Noll D, Torki M, Apkarian P (2004) Partially augmented Lagrangian method for matrix inequality constraints. SIAM J Optim 15:161–184
Ohsaki M, Fujisawa K, Katoh N, Kanno Y (1999) Semi-definite programming for topology optimization of trusses under multiple eigenvalue constraints. Comput Methods Appl Mech Eng 180:203–217
Pantelides CP, Ganzerli S (1998) Design of trusses under uncertain loads using convex models. J Struct Eng (ASCE) 124:318–329
Pellegrino S (1993) Structural computations with the singular value decomposition of the equilibrium matrix. Int J Solids Struct 30:3025–3035
Pellegrino S, Calladine CR (1986) Matrix analysis of statically and kinematically indeterminate frameworks. Int J Solids Struct 22:409–428
Pólik I (2005) Addendum to the SeDuMi user guide: version 1.1. Technical report, Advanced optimization laboratory. McMaster University, Hamilton. http://sedumi.ie.lehigh.edu/
Pólik I, Terlaky T (2007) A survey of S-lemma. SIAM Rev 49:371–418
Schevenels M, Lazarov BS, Sigmund O (2011) Robust topology optimization accounting for spatially varying manufacturing errors. Comput Methods Appl Mech Eng 200:3613–3627
Schuëller GI (2006) Developments in stochastic structural mechanics. Arch Appl Mech 75:755–773
Schuëller GI, Jensen HA (2008) Computational methods in optimization considering uncertainties—An overview. Comput Methods Appl Mech Eng 198:2–13
Shapiro A (1997) First and second order analysis of nonlinear semidefinite programs. Math Program 77:301–320
Sigmund O (2009) Manufacturing tolerant topology optimization. Acta Mech Sinica 25:227–239
Steele JM (2004) The Cauchy–Schwarz master class: an introduction to the art of mathematical inequalities. Cambridge University Press, Cambridge
Sturm JF (1999) Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optim Meth Softw 11/12:625–653
Takezawa A, Nii S, Kitamura M, Kogiso N (2011) Topology optimization for worst load conditions based on the eigenvalue analysis of an aggregated linear system. Comput Methods Appl Mech Eng 200:2268–2261
Tarnai T (2001) Infinitesimal and finite mechanisms. In: Pellegrino S. (ed) Deployable Structures. Springer, Wien, pp 113–142
Wang F, Lazarov BS, Sigmund O (2011) On projection methods, convergence and robust formulations in topology optimization. Struct Multidiscip Optim 43:767–784
Wolkowicz H., Saigal R., Vandenberghe L. (eds) (2000) Handbook on semidefinite programming: theory, algorithms and applications. Kluwer Academic Publishers, Boston
Yamashita H, Yabe H (2012) Local and superlinear convergence of a primal-dual interior point method for nonlinear semidefinite programming. Math Program 132:1–30
Yonekura K, Kanno Y (2010) Global optimization of robust truss topology via mixed integer semidefinite programming. Optim Eng 11:355–379
Zang C, Friswell MI, Mottershead JE (2005) A review of robust optimal design and its application in dynamics. Comput Struct 83:315–326
Acknowledgements
The work of the second author is partially supported by Grant-in-Aid for Scientific Research (C) 26420545 from the Japan Society for the Promotion of Science.
Author information
Authors and Affiliations
Corresponding author
Appendix: Technical lemmas
Appendix: Technical lemmas
This section summarizes technical prerequisites that are known in literature.
We begin with three lemmas related to vector and matrix norms. These lemmas are used in Section 3.2. For p satisfying 1 ≤ p ≤ ∞, define p ∗ by
where we use the convention 1/∞ = 0. The ℓ p ∗-norm is the dual norm of the ℓ p -norm. For any x, \(\boldsymbol {y} \in \mathbb {R}^{n}\), we have that
which is known as the Hölder inequality (Horn and Johnson 1985; Steele 2004). For any \({\boldsymbol {x}} \in \mathbb {R}^{n}\), there exists \({\boldsymbol {y}} \in \mathbb {R}^{n}\) satisfying (64) with equality and ∥y∥ p ∗=1. We denote this y by ψ p (x).
Lemma 4
Let \(\mathbb {R} \ni s \ge 0\) be a constant, \({\boldsymbol {x}}\in {\mathbb {R}}^{n}\) and 1 ≤ p ≤ ∞. Then
Proof
For any \({\boldsymbol {x}}\in {\mathbb {R}}^{n}\) and \({\boldsymbol {y}}\in {\mathbb {R}}^{n}\) satisfying ∥y∥ p ∗ ≤ s, it follows from the Hölder inequality that
Here, two inequalities are satisfied with equalities at y = s ψ p (x), which concludes the proof. □;
Lemma 4 is used in the proof of Theorem 1 in Section 3.2.
Lemma 5
Let \(x \in \mathbb {R}\) , \({\boldsymbol {y}} \in \mathbb {R}^{n}\) and \(\mathbb {R} \ni r > 0\) . Then
Proof
The Cauchy–Schwarz inequality implies
From ∥z∥2 ≤ r, we obtain
These inequalities are satisfied with equalities at
which concludes the proof. □;
Lemma 5 is used in the proof of Theorem 1 in Section 3.2.
For \(A \in \mathbb {R}^{m \times n}\), the matrix norm induced by the Euclidean vector norm is defined by
which is equal to the largest singular value of A. From this definition we immediately obtain the following property.
Lemma 6
Let \(A\in {\mathbb {R}}^{m \times n}\) and \({\boldsymbol {x}}\in {\mathbb {R}}^{n}\) . Then
Lemma 6 is used to show Lemma 1 in Section 3.2.
In the following we establish Lemma 9, which is used in Section 3.2 to formulate the conservative approximation of the robust optimization problem. Two lemmas, Lemma 7 and Lemma 8, prepare for Lemma 9. Firstly, we state the following fact, which is the obvious part of the well-known S-lemma; see, e.g., Boyd et al. (1987) and Pólik and Terlaky (2007).
Lemma 7
Let f 0 , \(f_{1},\dots ,f_{m}:\mathbb {R}^{n} \to \mathbb {R}\) be quadratic functions. The implication
holds if there exist t 1 ,…,t m ≥ 0 satisfying
Proof
Suppose that (66) does not hold, which means that there exists \(\hat {{\boldsymbol {x}}} \in \mathbb {R}^{n}\) satisfying
Then we obtain
Thus the contraposition of Lemma 7 has been shown. □;
The following fact can be found, e.g., in Calafiore and El Ghaoui (2004).
Lemma 8
Let \(Q\in {\mathcal {S}^{n}}\) , \({\boldsymbol {p}}\in {\mathbb {R}}^{n}\) and \(r\in {\mathbb {R}}\) . Then the following two conditions are equivalent:
Proof
It is trivial that (ii) implies (i). We show that (i) implies (ii) by contradiction. Suppose that (ii) does not hold, which means that there exists \((\hat {\xi }, \hat {{\boldsymbol {x}}}) \in \mathbb {R} \times \mathbb {R}^{n}\) satisfying
If \(\hat {\xi } \not = 0\), then (69) is reduced to
which contradicts with (i). Hence, suppose \(\hat {\xi }=0\). Then (69) is reduced to
Let \(\gamma \in \mathbb {R}\) be a parameter and choose \({\boldsymbol {x}} = \gamma \hat {{\boldsymbol {x}}}\) in (i) to reduce the left-hand side to
The left-hand side of (71) is a quadratic function of γ and (70) implies that (71) is not bounded below. Therefore, there exists γ such that (71) becomes negative, which contradicts (i). □;
The following fact is obtained as a straightforward corollary of Lemma 7 and Lemma 8.
Lemma 9
Let f 0 , \(f_{1},\dots ,f_{m} : \mathbb {R}^{n} \to \mathbb {R}\) be quadratic functions defined by
where \({Q}_{i} \in {\mathcal {S}}^{n}\) , \({\boldsymbol {p}}_{i} \in \mathbb {R}^{n}\) , \(r_{i} \in \mathbb {R}\,(i=0,1,\dots ,m)\) . Then the implication
holds if there exist t 1 ,…,t m ≥ 0 satisfying
Lemma 9 plays a key role in proving Theorem 1 in Section 3.2.
Rights and permissions
About this article
Cite this article
Hashimoto, D., Kanno, Y. A semidefinite programming approach to robust truss topology optimization under uncertainty in locations of nodes. Struct Multidisc Optim 51, 439–461 (2015). https://doi.org/10.1007/s00158-014-1146-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00158-014-1146-3