1 Introduction

Numerical techniques for structural optimization have put emphasis on generality and high efficiency. A preferred formulation should allow geometric evolution and material distribution simultaneously, and also be simple enough for developing an effective optimal solution with respect to various design constraints.

In addition to the well-established numerical methods, such as the homogenization approach (Bendsøe and Kikuchi 1988), the Solid Isotropic Microstructure with Penalization (SIMP) method (Bendsøe 1989; Bendsøe and Sigmund 2003; Rozvany et al. 1992), and the Evolutionary Structural Optimization (ESO) method (Xie and Steven 1993; Xie and Steven 1997), the level set based approach (Allaire et al. 2004; Wang et al. 2003) excels in smooth structural boundary representation with versatility in handling both geometric and topological changes. However, the conventional level set method requires complex numerical computation, such as discretization and reinitialization, which may cause numerical artifacts and thus hinder its potential as expected.

One successful improvement is to transform the implicit level set model into a parametric RBF model, either using globally supported basis functions (Buhmann 2004; Ho et al. 2011; Lui et al. 2007; Wang and Wang 2006; Wei and Wang 2006; Xing et al. 2007), or compactly supported ones (Luo et al. 2007). This technique has been recognized as an effective tool in topology optimization. In the authors’ previous work (Ho et al. 2011), two major schemes of RBF parameterizations are studied: (i) varied knots distribution algorithm, and (ii) fixed knots with POU algorithm. The dynamic knots scheme is aim at utilizing each basis function to its maximum extend in the level set function representation. Thus, the benefit is to reduce the number of basis functions and hence the computational cost. The POU scheme restrains the span of a set of basis functions within their local region and consequently saves efforts in the sensitivity integration computations.

In this paper, a novel method is proposed by combining the above two ideas, which aims to use the knot position of the local RBFs as the design variable within the POU scheme. Numerical experiments show that the investigation yields a concrete technique with a high level of computational efficiency and desirable capability.

This paper is organized as follows. The RBF with POU method for level set based structural optimization is reviewed briefly in Section 2. A detailed sensitivity analysis and the coupled optimization algorithm are elaborated in Section 3. Numerical experiments of different configuration settings are presented and discussed in Section 4. Finally, conclusions and future work are stated in Section 5.

2 Parametric modeling for structural optimization

2.1 Level set based structural optimization

Given a bounded design domain D ⊂ ℝd, which includes all admissible shapes Ω, i.e. Ω ⊂ D, the shape and topology of underlying structure are described through a Lipschitz-continuous implicit level set function Φ(x) as follows:

$$\label{ls} \begin{array}[b]{@{}ll} \Phi (\mathbf{x})=0 \quad &\forall \mathbf{x}\in\partial\Omega\cap D,\\ \Phi (\mathbf{x})<0 \quad &\forall \mathbf{x}\in\Omega\setminus\partial\Omega,\\ \Phi (\mathbf{x})>0 \quad &\forall \mathbf{x}\in(D\setminus\Omega), \end{array} $$
(1)

where the structural interface is captured as the zero iso-surface \(\lbrace {\mathbf{x}\in \mathbb{R}^d\mid\Phi(\mathbf{x})=0} \rbrace (d = 2 \text{~or~} 3)\). In the level set method, the dynamic interface is assumed to move only in the normal direction, and its motion is essentially governed by a Hamilton–Jacobi type equation:

$$\label{h-j} \frac{\partial \Phi (\mathbf{x},t) }{\partial t} + v_n \cdot \left| {\nabla \Phi(\mathbf{x},t) } \right| = 0, \,\quad \Phi(\mathbf{x},0)=\Phi_0(\mathbf{x}), $$
(2)

where v n is the magnitude of normal velocity, and Φ0(x) defines the initial model.

For linear elastic structural problem, the classical formulation of mean compliance minimization with volume constraint is defined as:

$$\label{obj} \begin{array}[b]{@{}ll} \min_{\Phi} \quad &J(\mathbf{u}, \Phi) = \displaystyle\int\limits_{\Omega}\boldsymbol{\epsilon}(\mathbf{u})^{\rm{T}}{\mathbf{C}}\boldsymbol{\epsilon}(\mathbf{u})d\Omega,\\[10pt] {\rm{s.t.}} \quad &V(\Phi) \leqslant V_{\max}\qquad {\rm where}\quad V(\Phi) = \displaystyle\int\limits_{\Omega}d\Omega, \end{array} $$
(3)

where u ∈ ℝd is the displacement field, \(\boldsymbol{\epsilon}(\mathbf{u})\) the strain field, C the elasticity matrix, and V max the volume constraint. To solve this constrained optimization problem, a common technique is to construct an augmented objective functional by multiplying the volume constraint V(Φ) with a positive Lagrange multiplier λ:

$$\label{lang} \mathop {{\rm{min}}}\limits_\Phi \,\,\, L\left( \mathbf{u},\Phi\right) = \int\limits_{\Omega} {\boldsymbol{\epsilon} \left( \mathbf{u}\right)^{\rm{T}} {\mathbf{C}}\boldsymbol{\epsilon} \left( \mathbf{u}\right)d\Omega } + \lambda \left( {V\left( \Phi \right) - V_{\max } } \right). $$
(4)

As derived in Allaire et al. (2004) and Wang et al. (2003), the shape derivative can be obtained by the differentiation of the Lagrangian L with respect to time t:

$$\label{L-dot} \frac{dL}{dt} = \int\limits_{\partial \Omega} {\left(\lambda - \boldsymbol{\epsilon} \left(\mathbf{u}\right)^{\rm T}{\mathbf{C}}\boldsymbol{\epsilon} \left(\mathbf{u}\right)\right){\boldsymbol{v}}_n ds}. $$
(5)

Then, a standard steepest descent search is generally adopted with the magnitude of normal velocity defined as:

$$\label{vn} v_n = - \left( {\lambda - \boldsymbol{\epsilon} \left( \mathbf{u}\right)^{\rm{T}}{\mathbf{C}}\boldsymbol{\epsilon} \left( \mathbf{u}\right)} \right). $$
(6)

Substituting (6) into (2) and solving the Hamilton–Jacobi equation, the optimal design can be obtained consequently.

Note that, although only the compliance minimization problem is concerned in this paper to demonstrate the effectiveness of the proposed algorithm, extensions to other objectives and constraints (Allaire and Jouve 2008) are straightforward.

2.2 RBF+POU model with dynamic knots

To circumvent the disadvantages arising from the discrete level set method, the RBF based model provides a continuous parametric representation, which replaces the time-dependent Φ(x,t) by a series of coefficients α i and the RBF interpolants φ i as follows:

$$\label{sum-rbf} \Phi(\mathbf{x},t) = \sum\limits_{i=1}^N {\alpha_i}\varphi_i (\mathbf{x},t), $$
(7)

where N is the number of RBFs, and the expansion coefficients α i (positive or negative) are determined from the initial model interpolation and remain constant throughout the optimization process. Similar to the works in Cheng et al. (2003) and Ho et al. (2011), the following function of inverse multiquadric (IMQ) is chosen as the basis function due to the stability and sensitivity concerns:

$$\label{imq} \varphi _i ( {\mathbf{x}},t) = \frac{1}{{\sqrt {\left| {{\mathbf{x}} - {\mathbf{x}}_i(t) } \right|^2 + c_i^2 } }}, $$
(8)

where c i is a constant. It should be noted that each IMQ is an infinitely smooth spline centered at its dynamic knot x i (t), where the scalar implicit function Φ(x,t) are interpolated.

The POU method (Ho et al. 2011; Ohtake et al. 2003; Tobor et al. 2004a, b) is the other key technique adopted to improve the computational efficiency for the RBF based model. It divides the design domain into numbers of overlapping patches \(\left\{ {D_i } \right\}_{i = 1}^M\) covering the entire domain D such that \(D \subseteq \cup _i D_i\) (Fig. 1). Thus, a local RBF model Φ i can be reconstructed at each subdomain D i from (7) and (8), and then the global function \(\tilde \Phi\) is defined by blending all the local interpolants through the following expression:

$$\label{pou} \tilde\Phi \left( {\mathbf{x},t} \right) = \sum\limits_{i = 1}^M {w_i \left( \mathbf{x} \right)\Phi _i \left( {\mathbf{x},t} \right)}, $$
(9)

where w i (x) is a collection of the non-negative blending functions. This set of compactly-supported and continuous blending functions are obtained from a set of weight functions W i by an inverse distance weighting procedure—Shepard’s Method (Griebel and Schweitzer 2000):

$$\label{wi} w_i \left( \mathbf{x} \right) = \frac{{W_i \left( \mathbf{x} \right)}}{{\sum\nolimits_j {W_j \left( \mathbf{x} \right)} }}, $$
(10)

where it satisfies \(\sum {w_i \left( \mathbf{x} \right)} = 1\). The smooth functions W i have to be continuous at the boundary of the subdomains D i . It is defined as the composition of a distance function \(P_i :\mathbb R^n \to \left[ {0,1} \right]\), where P i (x) = 1 at the boundary of Ω i , and a decay function \({\mathcal V}:\left[ {0,1} \right] \to \left[ {0,1} \right]\), i.e. \(W_i \left( \mathbf{x} \right) = {\mathcal V} \circ P_i \left( \mathbf{x} \right)\) (Tobor et al. 2004b). For a 3D axis-aligned box defined from the two opposite corners S and T, the distance function P i is expressed as (Griebel and Schweitzer 2000; Tobor et al. 2004b; Wu et al. 2005):

$$\label{dist} {P_i \left( \mathbf{x} \right) = 1 - \mathop \prod \limits_{r = {x,y,z}} \frac{{4\left( {r - S_r } \right)\left( {T_r - r } \right)}}{{\left( {T_r - S_r } \right)^2 }},} $$
(11)

where S r and T r are the position of S and T in 3D, respectively.

Fig. 1
figure 1

POU: subdomains D i constitute the entire domain D

The choice of the decay function \({\mathcal V}\) determines the continuity between the local interpolant Φ i in the global reconstruction function \(\tilde \Phi\). In this paper, the following decay functions are suggested for different constraint cases:

$$\label{decay} \begin{array}[b]{@{}l} \text{continuity}\, \mathbb C^0 :{\mathcal V}^0 \left( d \right) = 1 - d,\\ \text{continuity}\, \mathbb C^1 :{\mathcal V}^1(d) = 2d^3-3d^2+1,\\ \text{continuity}\, \mathbb C^2 :{\mathcal V}^2(d) = -6d^5+15d^4-10d^3+1. \end{array} $$
(12)

3 Sensitivity analysis and optimization algorithm

3.1 Sensitivity analysis

As the positions of the knots x j in each patch Ω i change with time, (8) can be modified as:

$$\label{eq:pou_mk_01} \varphi _{ij} \left( {{\mathbf{x}},t} \right) = \frac{1}{{\sqrt {\left| {\mathbf{x} - \mathbf{x}_j \left( t \right)} \right|^2 + c_{j}^2 } }}, $$
(13)

and the local reconstruction function Φ i becomes:

$$\label{eq:pou_mk_02} \Phi_i \left( {{\mathbf{x}},t} \right) = \sum\limits_{j=1}^N {\alpha _{ij}\varphi _{ij} ( {{\mathbf{x},t}} ) }. $$
(14)

Substituting (14) into (9) for the global function \(\tilde\Phi\), the Hamilton–Jacobi equation (2) can be rewritten as:

$$\label{eq:pou_mk_03} \sum\limits_{i = 1}^M {w_i } \sum\limits_{j = 1}^N {\alpha _{ij} \frac {\partial\varphi _{ij}(\mathbf{x},t)}{\partial \mathbf{x}_{ij}}\cdot \dot {\mathbf{x}}_{ij}+ v_n \left| {\nabla \tilde\Phi } \right|} = 0, $$
(15)

where

$$\label{eq:pou_mk_04} \begin{array}{lll} \nabla \tilde \Phi &= \frac{{\partial \tilde \Phi }} {{\partial \mathbf{x}_{ij} }} \\ &= \sum\limits_i^M {w_i } \sum\limits_j^N {\alpha _{ij} \frac{{\partial \varphi _{ij} }}{{\partial \mathbf{x}_{ij} }}} + \frac{1}{{\sum\limits_j {W_j } }}\sum\limits_i {\frac{{\partial W_i }}{{\partial \mathbf{x}_i }}\cdot}{\big( {\Phi _i - \tilde \Phi } \big)}. \end{array} $$
(16)

The normal velocity v n on the moving boundary can be obtained consequently by rewriting (15) as:

$$\label{eq:pou_mk_05} { v}_n = \frac{1}{{\left| {\nabla \tilde\Phi } \right|}}\sum\limits_{i = 1}^M {w_i } \sum\limits_{j = 1}^N {\alpha _{ij} \frac {\partial\varphi _{ij}(x,t)}{\partial \mathbf{x}_{ij}}\cdot \dot {\mathbf{x}}_{ij}}. $$
(17)

Then, by substituting (17) into (5), the shape derivative in term of x ij appears as:

$$\label{eq:pou_mk_06} \begin{array}{lll} \frac{{dL}}{{dt}} &= \sum\limits_{i = 1}^M \sum\limits_{j = 1}^N \alpha _{ij} \int\limits_{\partial \Omega } {\left( {\lambda - \boldsymbol{\epsilon} (u)^{\rm{T}} {\mathbf{C}}\boldsymbol{\epsilon} (u)} \right) \frac{1}{{\left| {\nabla \tilde\Phi } \right|}}\; w_i}\\ &\quad \cdot\,{\frac{\partial\varphi _{ij}(x,t)}{\partial \mathbf{x}_{ij}} \, ds \cdot \dot {\mathbf{x}}_{ij}}, \end{array} $$
(18)

On the other hand, the following derivative can also be obtained by chain rule as:

$$\label{eq:pou_mk_07} \begin{array}{lll} \frac{{dL}}{{dt}} &= \sum\limits_{i = 1}^M\sum\limits_{j = 1}^N {\frac{{\partial L}}{{\partial \mathbf{x}_{ij} }}} \cdot \dot {\mathbf{x}}_{ij}\\ &= \sum\limits_{i = 1}^M\sum\limits_{j = 1}^N {\frac{{\partial J}}{{\partial \mathbf{x}_{ij} }}} \cdot \dot {\mathbf{x}}_{ij} + \lambda\sum\limits_{i = 1}^M\sum\limits_{j = 1}^N {\frac{{\partial V}}{{\partial \mathbf{x}_{ij} }}} \cdot \dot {\mathbf{x}}_{ij} . \end{array} $$
(19)

Therefore, as shown in (18) and (19), the sensitivities of the objective function and the volume constraint can be derived by comparing them in the following way:

$$\label{eq:pou_mk_08} \begin{array}{lll} &\frac{{\partial J}}{{\partial \mathbf{x}_{ij} }} ={} - \alpha_{ij}\int\limits_{\partial \Omega } {\boldsymbol{\epsilon} (u)^{\text{T}} {\mathbf{C}}\boldsymbol{\epsilon} (u)\frac{1}{{\left| {\nabla \tilde\Phi } \right|}}\,w_i \frac{\partial\varphi _{ij}}{\partial \mathbf{x}_{ij}} \, ds},\\ & i = 1,...,N;\;\;\;j = 1,...,M, \end{array} $$
(20)
$$\label{eq:pou_mk_09} \begin{array}{lll} &\frac{{\partial V}}{{\partial \mathbf{x}_{ij} }} ={} \alpha_{ij}\int\limits_{\partial \Omega } {\frac{1}{{\left| {\nabla \tilde\Phi } \right|}} \;w_i \frac{\partial\varphi _{ij}}{\partial \mathbf{x}_{ij}} \, ds},\\ &i = 1,...,N;\;\;\;j = 1,...,M. \end{array} $$
(21)

3.2 Optimization algorithm

Table 1 lists the detailed optimization algorithm. To find the local minimum of the objective function as stated in (3), the steepest descent method is employed to proceed with the search in the descent direction of the sensitivity functions at the current point. From (19) the search direction can be defined as:

$$\label{eq:pou_mk_10} {{\dot {\mathbf{x}}}}_{ij} = - \left( {\frac{{\partial J}}{{\partial \mathbf{x}_{ij} }} + \lambda \frac{{\partial V}}{{\partial \mathbf{x} _{ij} }}} \right),\quad i = 1,...,N;\;\;j = 1,...,M, $$
(22)

and the position of knots x ij can be updated as:

$$\label{eq:pou_mk_11} \mathbf{x}_{ij}^{n + 1} = \mathbf{x}_{ij}^n + \tau {\dot {\mathbf{x}}} _{ij}\,,\quad i = 1,...,N;\;\;j = 1,...,M, $$
(23)

where τ is the fixed time step.

Table 1 Optimization algorithm

Once the knot position is updated as \(\mathbf{x}_{ij}^{n+1}\), it is substituted into (13) and (14) to get the updated local interpolant. Then, the new level set function can be deduced from (9) as:

$$\label{eq:pou_mk_12} \tilde\Phi ^{n + 1} = \sum\limits_{i = 1}^M w_i \sum\limits_{j = 1}^N {\alpha _{ij} \varphi _{ij}^{n + 1} }. $$
(24)

Thus, the implicit function is computed everywhere in the domain and the boundary of the structure is propagated accordingly.

4 Numerical results

In this section, the optimization problem (3) is concerned, and a benchmark example of a short cantilever beam is utilized to analyze the proposed algorithm with different settings. As shown in Fig. 2, a point load F = 1 is applied at the middle of the right end, meanwhile a fixed boundary condition is imposed on the left side. The structure is discretized with a rectilinear mesh of 80×40 elements, and the size of each element is h = 0.025. The volume fraction is ζ = 50 % of the design domain, and the time step is \(t_\tau=5 \times 10^{-3}\). For finite element analysis, the “ersatz material” method (Allaire et al. 2004) is adopted, for which a weak material with Young’s modulus E = 10 − 3 is assumed in void region (i.e. holes), and E = 1 for solid material. Specifically, for an element containing solid material of density ρ e , its stiffness K e is defined as: K e  = ρ e ×K s , where K s is the stiffness of a fully occupied element. To evaluate the boundary integral of the sensitivities (20) and (21), a standard Gaussian integration (Wei and Wang 2006) is performed over the zero-level contour of the level-set function. In the implementation, three sampling points are employed over a boundary segment inside an element. In addition, the second decay function in (12) of continuity \(\mathbb C^1\) is implemented, and stopping threshold ε = 10 − 6 is set.

Fig. 2
figure 2

Design domain: cantilever beam with dimension L:H = 2:1

4.1 Case 1—Effect of the amount of overlapping knots

The first experiment is to study the effect of the overlapping knots. It is because the size of the overlapping regions of the adjacent patches may impose different effects on the Shepard functions w i and may cause very large gradient of w i close to the boundary of the respective support Ω i . In result, the accuracy of the global approximation \(\tilde\Phi\) may be jeopardized by the insufficient representation.

In this test, three overlapping configuration settings are studied: (a) 1-knot, (b) 3-knots and (c) 5-knots in both directions of the rectangular patch (i.e. n x and n y ). Figure 3a depicts the initial patch configuration of Case 1b, and the corresponding Φ is plotted in Fig. 3b. The overlapping regions between the patches are reconstructed smoothly using the proposed method. Table 2 summarizes the different cases and the corresponding computation time.

Fig. 3
figure 3

Patch pattern of Case 1b

Table 2 Comparison of results for Case 1

It is straightforward to understand that the computational time is directly related to the number of the overlapping knots, because the scale of the coefficient matrix of RBF interpolation enlarges as the amount of knots increases. As shown in Table 2, Case 1a scores the shortest computational time, for which there is only one knot situated in the overlapping region.

Nonetheless, from the observation of the optimization process, the rate of the topological change of the three cases are almost the same. Figure 4 captures the configurations at design iteration 127, which shows that the topology of all the designs are very similar.

Fig. 4
figure 4

Optimization step 127 of Case 1

This evidence implies that the amount of the overlapping knots decides the computational efficiency, but it does not apply any noticeable impact on the simulation result. Therefore, the overlapping region with one knot from the neighboring patch is sufficient. Besides, the final optimal designs also reveal that the boundaries of D i can be well represented by the Shepard function w i and thus the accuracy of the global approximation \(\tilde\Phi\) is maintained in a good condition.

4.2 Case 2—Effect of the patch pattern

The second study focuses on the effect of the patch pattern (P y ×P x ) to the simulation result and overall efficiency, where P x and P y denote the number of patches in x- and y-direction respectively. Note that the 1-knot overlapping condition is adopted here for efficiency concern as concluded from Case 1.

As a comparison, the domain is divided into patches in x-direction only (Case 2a), y-direction only (Case 2a), and both x- and y-directions (Case 2c). For each case, there are five model settings to be evaluated, and all the simulations stops at iteration 500 unless it converges beforehand. The corresponding experimental data are tabulated in Tables 3, 4 and 5 respectively. Remarkably, the computational cost of each case drops proportionally as the number of patches and overlapping knots increases, and the final optimal designs have little differences from each other with similar compliance values.

Table 3 Comparison of results for Case 2a
Table 4 Comparison of results for Case 2b
Table 5 Comparison of results for Case 2c

Note that for each design iteration, the main computational effort consists of three parts: (1) finite element analysis (FEM), (2) sensitivity analysis, and (3) model updating. Because the processes (1) and (3) are determined by the discretized grid which is the same for all the test cases, comparison on the computational cost of process (2) may reveal the truth. Hence, Fig. 5 plots the computational time of the “sensitivity analysis” against the number of patch for Cases 2a and 2b. The differences between these two cases are less than 2 % in terms of number of knots and sensitivity time. However, the result shows that the computation time is mainly governed by the number of patch if the difference in the knot amount is not significantly large.

Fig. 5
figure 5

Plot of sensitivity time vs patch number for Cases 2a and 2b

In addition, Figs. 6 and 7 illustrate the simulation of Case 2a(iv) [1 ×8] and Case 2b(iv) [8 ×1] in details. The results ensure that the POU method does not impose significant quality problem onto the accuracy of the calculation. Besides, the boundary propagations in both cases are very close and the final topologies are approximately the same.

Fig. 6
figure 6

Optimization steps of Case 2a(iv): patch pattern (P y ×P x ) = 1 ×8, total knots number = 3608, time consumed per iteration = 6.41 s

Fig. 7
figure 7

Optimization steps of Case 2b(iv): patch pattern (P y ×P x ) = 8 ×1, total knots number = 3888, time consumed per iteration = 6.49 s

Theoretically, a contradiction exists between the number of patches and knots towards the efficiency of optimization, because more patches result in a smaller scale of interpolation matrix but bring more overlapping knots to be considered. Therefore, in order to further study the efficiency issue against the number of patches and knots, the last Case 2d is performed to accommodate more patch combinations and knots. The details of the model settings are listed in Table 6.

Table 6 Comparison of results for Case 2d

In Case 2d(i) [5 ×10], it finishes an iteration in 5.92 s which is the quickest in this study, and the total number of patches and knots are 50 and 4050, respectively. As shown in the Fig. 8, the final result converges to the similar topology obtained from the typical dynamic knots scheme as well. The overviews of the comparison results are given in the Fig. 9 (number of patch vs sensitivity time) and Fig. 10 (number of knot vs sensitivity time). The results show that when the number of patches exceed 100, the sensitivity time increases even if the patch number is still increasing. It is because the density of the overlapping knots become significant such that the computational speed slows down eventually. In Case 2d(vi), the numbers of patches and knots are the highest. However, the over-populated knots span deteriorates the simulation quality, and the optimization process does not converge as shown in Fig. 11.

Fig. 8
figure 8

Optimization steps of Case 2d(i): patch pattern (P y ×P x ) = 5 ×10, total knots number = 4050, time consumed per iteration = 5.92 s

Fig. 9
figure 9

Plot of sensitivity time vs patch number

Fig. 10
figure 10

Plot of sensitivity time vs knot number

Fig. 11
figure 11

Optimization steps of Case 2d(vi): patch pattern (P y ×P x ) = 20 ×40, total knots number = 7200, time consumed per iteration = 6.50 s

5 Conclusion

In this paper, an effective structural optimization scheme is proposed by combining the dynamics knots with the RBF+POU based parametric model representation.

Numerical experiments reveal that the POU method is stable against different arrangements of the patch patterns, and the computational efficiency is directly proportional to the number of patches. However, proper deployment of patches and overlapping knots plays a key role on the performance. In fact, there is no need to place large amount of knots in the overlapping region, because the combination of the continuous function φ i and the compactly supported shape function w i provide a sufficient representation over the whole domain . Otherwise, the overall performance may be dragged down due to large interpolation matrix. In addition, the best patch deployment is obtained in Case 2d(i), for which each patch covers a region of 2×2 grid elements. Therefore, as long as the number of patches and knots is in a reasonable ratio, the proposed scheme can reduce the computation time.

It is also worthy noted that compactly supported RBF method has the same advantage to the POU method in reducing the computational burden. However, due to the local influence nature of compactly supported basis function, it is possible that certain design domain may not be covered or supported after arbitrarily moving the knots. Therefore, it is dangerous to directly apply the algorithm proposed in this paper for compactly supported RBF method. Instead, a careful optimization strategy shall be derived to prevent such phenomenon, which is hopefully a promising research topic.

Nonetheless, the current numerical scheme is by no means complete. To extend it to three dimensional design with practical engineering problems is targeted as the future work. One promising area is the multi-material microstructure design of multi-physics, such as designing materials with unusual properties, like negative Poisson’s ratio and zero thermal expansion coefficient (Bendsøe and Sigmund 2003). It would be informative to compare the results of the proposed approach with the homogeneous method and discrete level set method.