1 Introduction

Cable–strut structures are mainly composed of tension cables and compression struts [1, 2], and they are a class of prestressed pin-jointed assemblies that cannot be stable without introducing prestresses into the members [3, 4]. Typical examples include tensegrity structures [5, 6], and cable dome structures [3, 7,8,9]. These structures are generally flexible and deployable [10, 11] and exhibit strong coupling between the stress states and the structural configurations [12, 13]. It is important to analyze the relationship between the configuration and stress states.

In the last two decades, morphology study has emerged as a prominent research area in the field of cable–strut structures [14,15,16]. Juan and Mirats Tur [17], Masic et al. [18], and Estrada et al. [19], respectively, reviewed a few numerical form-finding methods for tensegrity structures. On the basis of the existing dynamic relaxation method [6], Miki et al. [20] generalized a geodesic dynamic relaxation method for cable–strut and membrane structures. Zhang and Ohsaki [15] introduced and improved the force density method for the form-finding of tensegrity structures. By repeatedly computing the force density matrices and the equilibrium matrices, Tran and Lee [4] proposed an iterative form-finding method for cable–strut structures. Later, Koohestani and Guest [21] described an analytical form-finding method for tensegrity, where the lengths of the members are taken as design variables. By effectively computing linear homogeneous systems in conjunction with a minimization problem, Feng [22] presented initial self-stress design of tensegrity grid structures. Based on group representation theory, Connelly and Back [23] explained mathematical principles behind tensegrities and adopted symmetry groups for presenting systematic classifications of 2D and 3D cable–strut structures. To further simplify the form-finding problem, Zhang and Ohsaki [24] and Chen et al. [25, 26] developed group-theoretic approaches for prestressed cable–strut structures. Furthermore, with the development of metaheuristics [27], some optimization methods have been utilized to the form-finding problem of cable–strut structures [28, 29]. For instance, the Monte Carlo form-finding method [30], the mixed integer nonlinear programming for tensegrity structures [31], and the form-finding techniques based on genetic algorithms [32] and ant colony optimization [33] have been successfully applied for robust form-finding of prestressed cable–strut structures.

Most of these form-finding methods focus on the prestressed equilibrium state (i.e., prestress state) of a structure, where the members are in tension or compression, and thus the structure states in self-stressed equilibrium. In fact, another type of equilibrium state should also be concerned for cable–strut structures, whereas the cables are just slack and contain zero stress [13, 34]. This state is called as zero-stress state (unstressed state) [35], where the internal force of each member is zero. Notably, zero-stress state is a fundamental state among the stress states, and it is important for the design and structural analysis of a prestressed cable–strut structure [35]. In practice, a prestressed cable–strut structure is frequently formed by prestressing certain active members. Thereafter, the process of forming is like the prestressing process from the zero-stress state into the prestress state [36, 37]. Therefore, zero-stress state is helpful for guiding the construction scheme of prestressed cable–strut structures. Moreover, it can significantly affect the involved prestress state and the load state, as the involved configurations are basically originated from the zero-stress state. However, the current research on cable–strut structures is mainly focused on form-finding [17, 20, 26], prestress design [38,39,40],, load analysis [41, 42], and active control [11, 43]. There are very few studies on the zero-stress state of prestressed structures [35, 36].

On the other hand, during structural analysis of a cable–strut structure using numerical methods or general FEM software, prestress state is frequently mistaken as the initial and unstressed state, and then prestressing is re-applied on the members [12, 37]. As a result, the actual prestress state is not equivalent to the prestressed equilibrium state by form-finding. This phenomenon is called as configuration “drift” [35], which could be neglected for small-scale structures with low prestress level. Nevertheless, the zero-stress states should be exactly computed, to avoid such a phenomenon for the structures with high prestress level or high accuracy.

With regards to this, we will utilize the distributed static indeterminacy and symmetry analysis using group representation theory and propose a computational method to develop zero-stress states for symmetric cable–strut structures. A significance of this work is that active members are reasonably determined by simultaneously considering importance index and symmetry representations of the members in different symmetry orbits. Moreover, the Newton method and the Moore–Penrose inverse theory are introduced during the nonlinear computation process, to deal with matrix singularity induced by stiffness degradation. During the prestressing releasing process from the prestress state into the zero-stress state, the corresponding structural configuration and involved stiffness matrices need to be iteratively evaluated. The obtained zero-stress states will be verified by comparing the results with the analytical form-finding solutions and FEM simulation.

2 Zero-stress state of a prestressed cable–strut structure

2.1 Basic assumptions

Here, we adopt four basic assumptions for a general prestressed cable–strut structure:

  1. (i)

    The cable–strut structure states in a stable equilibrium because of being initially prestressed.

  2. (ii)

    All the members are connected via pin-joints and comprised of linear elastic materials.

  3. (iii)

    External loads and the self-weight of the structure are neglected during computing the zero-stress state.

  4. (iv)

    The dynamic behavior of the whole system is not concerned.

2.2 Natural lengths of the members at zero stress

The above-mentioned assumptions point out a prestressed cable–strut structure should be stable under the prestressed equilibrium state, which can be effectively obtained from the existing form-finding process [26, 40, 44, 45]. After obtaining the prestressed equilibrium state, we can get the current length and the prestress (internal force) of each member in advance. Based on the second assumption, the axial stress of a member k is given by

$$\begin{aligned} \sigma _{k} =E_{k} \varepsilon _{k} \end{aligned}$$
(1)

where \(E_{k} \) denotes the elastic modulus of the member k, \(\sigma _{k} \) is the axial stress, and \(\varepsilon _{k} \) is the elastic strain. Further, the elastic strain \(\varepsilon _{k} \) can be written as

$$\begin{aligned} \varepsilon _{k} =\frac{l_{k} -l_{0k} }{l_{0k}} \end{aligned}$$
(2)

where \(l_{k} \) is the stressed length at the prestressed equilibrium state, and \(l_{0k} \) is the natural length (length at zero stress) of the member k. As the stress \(\sigma _{k} \) is considered to be uniformly distributed in a member of the cable–strut structure, the axial force \(t_{k} \) of a strut (in compression) is expressed as

$$\begin{aligned} t_{k} =E_{k} A_{k} \varepsilon _{k} \end{aligned}$$
(3)

where \(A_{k} \) is the cross-sectional area of the member k. Similarly, on condition that the member k acts as a tension cable, the axial force \(t_{k} \) is rewritten as

$$\begin{aligned} t_{k} =\left\{ \begin{array}{ll} E_{k} A_{k} \varepsilon _{k} &{} \quad \hbox { if}\;l_{k} \ge l_{0k} \\ 0&{} \quad \hbox { otherwise} \\ \end{array} \right. \end{aligned}$$
(4)

to consider potential slackness of the cable when \(l_{k} <l_{0k} \). By combining Eqs. (1)–(4), we calculate the natural length of the member k, given by

$$\begin{aligned} l_{0k} =\frac{E_{k} A_{k} }{E_{k} A_{k} +t_{k} }l_{k} \end{aligned}$$
(5)

Then, the elongation \(\Delta l_{k} \) of this member is calculated by

$$\begin{aligned} \Delta l_{k} =l_{k} -l_{0k} =\frac{t_{k} l_{k} }{E_{k} A_{k} +t_{k} } \end{aligned}$$
(6)

Equation (6) indicates that the natural length of every member at the zero-stress state keeps a constant value, when the prestressed equilibrium state is specified. Recall that the current length \(l_{k} \) and the prestress \(t_{k} \) of a general member k can be obtained by the existing form-finding process [26, 40, 44, 45], whereas the prestressed equilibrium state is developed in advance. To seek the zero-stress state of the cable–strut structure, the length and elongation of a member can be obtained from Eq. (6), whereas the structural configurations and the internal forces of the members need to be iteratively updated.

2.3 Nonlinear computation for the zero-stress state

Based on the equilibrium matrix theory [24, 46, 47], the equilibrium equation of all the free joints at the prestressed equilibrium state can be expressed in a compact matrix form,

$$\begin{aligned} {{\varvec{Ht}}}={{\varvec{f}}}, \end{aligned}$$
(7)

where H is the equilibrium matrix, t is the internal force (prestress) vector of the members, and f the external load vector, which satisfies \({{\varvec{f}}}={\mathbf{0}}\) at the prestressed equilibrium state.

To obtain the zero-stress state, a prestress cable–strut structure can be deliberately deformed from the equilibrium state by either moving the nodal positions (boundary constraints) or reducing the internal forces of the members. In this study, the latter method is adopted, where the active members are chosen to actively reduce the internal forces. Because of the action of the active members and the induced force vector \({{\varvec{t}}}^{*}\), the unbalanced forces at the pin-joints of the structure will be caused, given by

$$\begin{aligned} {{\varvec{Ht}}}^{*}=\Delta {{\varvec{f}}} \end{aligned}$$
(8)

where \(\Delta {{\varvec{f}}}\) denotes the unbalanced force vector. On the other hand, on the basis of the stiffness method [13, 47, 48], the unbalanced force vector \(\Delta {{\varvec{f}}}\) can be rewritten as

$$\begin{aligned} {{\varvec{K}}}_{T} {{\varvec{d}}}=\Delta {{\varvec{f}}}. \end{aligned}$$
(9)

In Eq. (9), \({{\varvec{d}}}\) is the nodal displacement vector, and \({{\varvec{K}}}_{T} \) is the tangent stiffness matrix of the structure, which can be evaluated from

$$\begin{aligned} {{\varvec{K}}}_{T} ={{\varvec{HGH}}}+{{\varvec{K}}}_{G} \end{aligned}$$
(10)

where \({{\varvec{K}}}_{G} \) is the geometric stiffness matrix contributed by the internal forces of the members [37, 49], and the \(b\times b\) diagonal matrix G contains axial stiffness of the members, in which \({{\varvec{G}}}_{kk} =E_{k} A_{k} /l_{0k} \) and \(k\in [1,\;b]\), and b is the total number of the members. Then, the nodal displacement vector can be predicted from Eq. (9),

$$\begin{aligned} {{\varvec{d}}}=({{\varvec{K}}}_{T} )^{+}\Delta {{\varvec{f}}}, \end{aligned}$$
(11)

where \(({{\varvec{K}}}_{T} )^{+}\) denotes the Moore–Penrose inverse of the tangent stiffness matrix \({{\varvec{K}}}_{T} \) [50], because the matrix tends to be ill-conditioned when the stress state of the cable–strut structure gets close to zero. Notably, during the stress release process transformed from the prestress state to the zero-stress state, the lengths of the cables are shortened, while the lengths of the struts are elongated [35]. Therefore, the nodal positions of the structure should be updated by

$$\begin{aligned} {{\varvec{X}}}={{\varvec{X}}}+{{\varvec{d}}} \end{aligned}$$
(12)

where the vector \({{\varvec{X}}}\) describes the configuration of the evaluated structure. Because of strong coupling between the stress state and the configuration of the cable–strut structure, the obtained configuration is generally not associated with the expected zero-stress state. Thus, it is necessary to re-calculate the stress state of the structure.

Based on the current structural configuration given by Eq. (12), the internal forces \({{\varvec{t}}}^{*}\) of all the members (except for the active member) can be re-calculated, whereas

$$\begin{aligned} {{\varvec{t}}}_{k\in [1, b]}^{*} =\left\{ { \begin{array}{ll} 0 &{} \quad \hbox {if member }\,k\,\hbox { is a cable and }\,l_{k}^{*} \le l_{0k} \\ E_{k} A_{k} (l_{k}^{*} -l_{0k} )/l_{0k} &{} \quad \hbox {otherwise}\\ \end{array}} \right. \end{aligned}$$
(13)

where \(l_{k}^{*} \) is the corresponding length of the member k obtained from the new configuration. By combining Eqs. (12)–(13) with Eqs. (8) and (10), the unbalanced force vector \(\Delta {{\varvec{f}}}\) and the tangent stiffness matrix \({{\varvec{K}}}_{T} \) associated with the new configuration are evaluated. During the above-mentioned process, the internal force of the active member is deliberately reduced, and the stress state and configuration of the whole cable–strut system are gradually altered. As the motion path along the zero-stress state shows geometric nonlinearity, the Newton–Raphson technique is introduced to effectively approach the desired zero-stress state. Figure 1 shows a brief flowchart for computing the zero-stress state of a given cable–strut structure. Notably, the active member will be determined by the inherent symmetry representation and importance index of the members, which will be described in detail in Sect. 3. In addition, the structural configuration and the involved matrices of the input structure are iteratively updated, unless the internal force of each member approaches 0, i.e., the zero-stress state. Here, the convergence criteria for the zero-stress state are given by

$$\begin{aligned} \left\| {\Delta {{\varvec{f}}}} \right\| _{2} \le \xi _{0} , \hbox { and }\left\| {{{\varvec{t}}}} \right\| _{2} \le \xi _{0} \end{aligned}$$
(14)

where \(\left\| \right\| _{2} \) denotes the 2-norm of a vector, and \(\xi _{0} \) denotes the tolerance to judge the zero-stress state (\(\xi _{0} =10^{-6}\) in this study). Note that the actual length of a member (except for the active member) at the zero-stress state should be equivalent to the natural/slack length of the member, which can be utilized to further verify the zero-stress configuration.

Fig. 1
figure 1

Flowchart for computing the zero-stress state of a prestressed cable–strut structure

3 Determination of active members by their inherent symmetry and importance

3.1 Symmetry representations for different types of members

For a structure with specific symmetry property, it keeps indistinguishable under a series of symmetry operations, where a member is moved along its symmetry orbit and located at the original position of certain members of the same type. Importantly, symmetry analysis using group representation theory [51, 52] provides a systematic and robust approach for symmetry representations of different types of members. By recognizing unshifted members by the automated symmetry detection techniques [53, 54], a vector \(\chi (b_{k} )\) for the kth type of unshifted members under symmetry operations is given by

$$\begin{aligned} \chi (b_{k} )=\left\{ {\chi _{i\;\in [1,\;\tau ]} } \right\} ,\quad \forall k\in [1, t] \end{aligned}$$
(15)

where tis the number of types of the members, the value \(\chi _{i} \) denotes the number of unshifted members under the ith symmetry operation, and the integer \(\tau \ge 2\) denotes the total number of independent symmetry operations for the structure. Based on the irreducible representations of a symmetry group and the vector \(\chi (b_{k} )\) shown in Eq. (15), we can get the symmetry representation \(\Gamma (b_{k} )\) for the kth type of members,

$$\begin{aligned} \Gamma (b_{k} )=\sum \limits _{j=1}^\mu {\beta _{b_{k} ,\;j} } \Gamma ^{(j)}, \quad \forall k\in [1,\;t], \end{aligned}$$
(16)

where the integer \(\beta _{b_{k} ,\;j} \) is the weighting coefficient of the jth irreducible representation \(\Gamma ^{(j)}\) for the kth type of members, and \(\mu \) is the total number of the irreducible representations for this symmetric structure. The smaller the number j shown in Eq. (16), the higher-order symmetry the representation \(\Gamma ^{(j)}\) is associated with [55,56,57]. In fact, the representation \(\Gamma (b_{k} )\) offers an effective understanding on the symmetry behavior of the members of this type [55]. As far as an active member with a lower-order symmetry is concerned, the symmetric cable–strut structure necessarily breaks the original symmetry and retains partial symmetry operations [56, 57]. In that case, symmetry variations induced by the active members can be effectively evaluated by their symmetry representation \(\Gamma (b_{k} )\). Consequently, \(\Gamma (b_{k} )\) is utilized to predict the deformed configuration and internal forces of the structure and indicate symmetry descending of the initial perfect structure [58, 59]. A member with a higher-order symmetry representation is likely to be chosen as the active member, which minimizes the impact on the configuration and stress states of the structure.

3.2 Importance index of a member

The importance index of a member plays a key role during the vulnerability or robustness analysis, which indicates a certain contribution of the involved member on the whole structure. As pointed out by recent studies [37, 55, 60], the stiffness-based importance index \(\alpha _{b_{k} } \) of a member of the kth type is complementary to the involved distributed static indeterminacy \(\gamma _{b_{k} } \),

$$\begin{aligned} \alpha _{b_{k} } =1-\gamma _{b_{k} } ,\quad \forall k\in [1,\;t], \end{aligned}$$
(17)

where the distributed static indeterminacy \(\gamma _{b_{k} } \) for the kth type members can be obtained from symmetry-adapted redundancy analysis [55],

$$\begin{aligned} \gamma _{b_{k} } =\frac{{({{\varvec{V}}}_{k}^{(1)}})^{\hbox {T}}{{\varvec{G}}}^{-1}{{\varvec{S}}}({{\varvec{S}}}^{\hbox {T}}{{\varvec{G}}}^{-1}{{\varvec{S}}})^{-1}{{\varvec{S}}}^{\hbox {T}}{{\varvec{V}}}_{k}^{(1)}}{n_{b_{k} } },\quad \forall k\in [1,\;t] \end{aligned}$$
(18)

where \({{\varvec{S}}}\) is a \(b\times s\) matrix including a total of s states of self-stress, and \(n_{b_{k} } \) is the total number of the kth type members. In Eq. (18), the \(b\times 1\) vector \({{\varvec{V}}}_{k}^{(1)} \), which originates from the full symmetry subspace associated with the first irreducible representation \(\Gamma ^{(1)}\), is adopted for the kth type of members,

$$\begin{aligned} {{\varvec{V}}}_{k,\;i}^{(1)} =\left\{ { \begin{array}{ll} 1\hbox {/}\sqrt{n_{b_{k} } } &{} \quad \hbox {if}\;\hbox {member}\;i\;\hbox {belongs}\;\hbox {to}\;\hbox {the}\;k\hbox {th}\;\hbox {type} \\ 0 &{} \quad \hbox {otherwise} \\ \end{array}} \right. ,\quad \forall i\in [1,\;b],\;k\in [1,\;t]. \end{aligned}$$
(19)

Note that the value \(\gamma _{i} =\gamma _{b_{k} } \) can demonstrate the impact of the adjacent members on a general member \(i\in [1,\;b]\) of the kth type. Notably, during form-finding analysis, the value of \(\gamma _{b_{k} } \) can be utilized to estimate the deformations and forces of the members caused by the initial elongation of the chosen member. For instance, a member i of the kth type is taken as the active member and subjected to an initial elongation \({{\varvec{e}}}_{0i} \), then the induced elongation \({{\varvec{e}}}_{i} \) and the corresponding internal force \({{\varvec{t}}}_{i} \) would be approximately evaluated by

$$\begin{aligned} {{\varvec{e}}}_{i} =-\gamma _{i} {{\varvec{e}}}_{0i} ,\hbox { and }{{\varvec{t}}}_{i} =-{{\varvec{G}}}_{ii} \gamma _{b_{k} } {{\varvec{e}}}_{0i} , \quad \forall i\in [1,\;b] \end{aligned}$$
(20)

where \(\gamma _{i} =\gamma _{b_{k} } \), an extension \({{\varvec{e}}}_{0i} > 0\) indicates axial compression, and a shortening \({{\varvec{e}}}_{0i} < 0\) indicates tension. Equation (20) explains that a member can be less sensitive to the initial elongations, on condition that the value \(\gamma _{b_{k} } \) of this member is lower than that of another member. Therefore, a larger value of \(\gamma _{b_{k} } \) requires a stricter constraint on assembling the members of this type.

However, Eq. (17) reveals that the importance index \(\alpha _{b_{k} } \) of a member to load-bearing capacity gradually decreases with the rising \(\gamma _{b_{k} } \). During developing or assembling a cable–strut structure, a member with a larger value of \(\alpha _{b_{k} } \) (or a smaller value of \(\gamma _{b_{k} } )\) is more important than the other members, and thus they need to be more robust. Hence, when controlling or assembling a symmetric cable–strut structure, the members with either a larger \(\gamma _{b_{k} } \) or a smaller \(\gamma _{b_{k} } \) should not be chosen as the active members.

4 Numerical examples

To demonstrate high accuracy and efficiency of the proposed method for obtaining zero-stress states, several examples for symmetric cable–strut structures are studied and presented using MATLAB R2018a. In these examples, the elastic modulus of every member is denoted as \(E=2.1\times 10^{5}\,\hbox {MPa}\).

4.1 A 2D cable–strut structure

A 2D cable–strut structure shown in Fig. 2a is taken as an example. This structure consists of four inclined cables (members 1–4), two horizontal cables (members 5–6), and two vertical struts (members 7–8). The lengths of the inclined cables, horizontal cables, and the struts are, respectively, \(2\sqrt{2}\,\hbox {m}\), 3 m, and 4 m. All the tension cables have the same cross-sectional areas of \(A_{\mathrm {c}}=7.0686\,\hbox {mm}^{\mathrm {2}}\), while the struts have the same cross-sectional areas of \(A_{\mathrm {s}}=113.0973\,\hbox {mm}^{\mathrm {2}}\). Based on the integral feasible prestress mode using the form-finding method [26, 40], the initial prestresses of the members at the prestressed equilibrium state are given by

$$\begin{aligned} {{\varvec{t}}}_{1-4} =1.2\sqrt{2}\,\hbox {kN},\quad {{\varvec{t}}}_{5-6} =1.2\,\hbox {kN},\,\text { and }\, {{\varvec{t}}}_{7-8} =-1.2\,\hbox {kN}. \end{aligned}$$
(21)

Figure 2a shows that the structure has \(C_{2v} \) symmetry, which keeps unchanged by \(\tau =4\) symmetry operations (i.e., two rotations around the symmetry center, and two reflections \(\sigma _{X} \) and \(\sigma _{Y} )\). After detecting the unshifted members with the automated symmetry detection method [53, 54], we collect three reducible vectors for different types of members unshifted by the four symmetry operations

$$\begin{aligned} {\varvec{\chi }} (b_{1-4} )=\left\{ {4,\;0,\;0,\;0} \right\} ,\quad {\varvec{\chi }} (b_{5-6} )=\left\{ {2,\;0,\;0,\;2} \right\} ,\quad {\varvec{\chi }} (b_{7-8} )=\left\{ {2,\;0,\;2,\;0} \right\} \end{aligned}$$
(22)

where \({\varvec{\chi }} (b_{1-4} ), {\varvec{\chi }} (b_{5-6} )\) and \({\varvec{\chi }} (b_{5-6} )\) denote the unshifted member vectors for the inclined cables, the horizontal cables, and the vertical cables, respectively. For instance, the first entry ‘2’ of \({\varvec{\chi }} (b_{5-6} )\) in Eq. (22) represents that the members 5–6 keep unshifted by the identity, while the last entry ‘2’ of \({\varvec{\chi }} (b_{5-6} )\) represents that the two members keep unshifted by the reflection \(\sigma _{Y} \). The other entries can be explained in a similar way. On the basis of \(\mu =4\) one-dimensional irreducible representations in the \(C_{2v} \) group, symmetry representations for different types of members can be obtained from Eq. (16),

$$\begin{aligned} \Gamma (b_{1-4} )=\Gamma ^{({1})}+\Gamma ^{({2})}+\Gamma ^{({3})}+\Gamma ^{({4})},\quad \Gamma (b_{5-6} )=\Gamma ^{({1})}+\Gamma ^{({3})},\quad \Gamma (b_{7-8} )=\Gamma ^{({1})}+\Gamma ^{({4})}, \end{aligned}$$
(23)

where \(\Gamma ^{({1})}\) denotes the first- and high-order representation with full symmetry, while \(\Gamma ^{({4})}\) indicates the lowest-order symmetry. Equation (23) reveals that each member of the inclined cables shares a quarter of the full symmetry, while each of the horizontal cables and the struts shares a half of the full symmetry. Therefore, in comparison with the inclined cables, a member of the horizontal cables and the struts is more suitable as an active member. To further determine the active member from the importance index of the members, the distributed static indeterminacy of different types of members is evaluated by Eq. (18),

$$\begin{aligned} \gamma _{1-4} =0.1944,\quad \gamma _{5-6} =0.1027,\quad \gamma _{7-8} =0.0085. \end{aligned}$$
(24)

As given by Eq. (24), the members 5–6 with neither the maximum nor the minimum importance index can be considered as the active member. Thus, the horizontal cable 5 is adopted for the active member.

Fig. 2
figure 2

A 2D cable–strut structure with \(C_{2v} \) symmetry: a numbering of its nodes and members; b initial prestress state marked by the solid lines, and the obtained zero-stress state marked by the dotted lines

Table 1 Lengths of members of the 2D cable–strut structure

By the nonlinear computation procedure presented in Sect. 2, the whole process for obtaining zero-stress state terminates after five iteration steps. Thereafter, the 2-norm of the internal force vector of the members \(\left\| {{{\varvec{t}}}} \right\| _{2} =1.58\times 10^{-12}<\xi _{0} \). In other words, the members of the cable–strut structure approximately locate the zero-stress state. The obtained zero-stress configuration of the structure is illustrated in Fig. 2b. Evaluated lengths for the members have been listed in the first two columns in Table 1. It shows that the natural lengths of the members obtained from the final zero-stress configuration agree well with the analytical results given by Eq. (5).

On the other hand, if this cable–strut structure is prestressed from the zero-stress state by gradually tensioning the selected horizontal cable 5, the constructed configuration should be consistent with the given prestressed configuration shown in Fig. 2a. To verify the correctness of the proposed method, a finite element model for the zero-stress structural configuration is established, shown in Fig. 3a. As expected, the prestress is applied to the active member 5 of the zero-stress configuration, to allow the structure to be transformed into the prestressed equilibrium state.

Fig. 3
figure 3

Finite element calculation of 2D cable–strut structure with \(C_{2v} \) symmetry: a FE model and its boundary conditions; b initial zero-stress configuration represented by dotted lines, and the prestressed configuration represented by solid lines

The FEM results are shown in Fig. 3b, where the stresses of the members show that the struts are in compression at the prestress state, and the cables are in tension. It turns out that the inclined struts at the zero-stress state get vertical, after the structure reaches a stable equilibrium under the prestressing of the member 5. In addition, based on the FEM results, the stressed lengths and prestresses of the members at the prestress state are, respectively, listed in Tables 1 and 2. These results are compared with the analytic ones obtained by the form-finding method [53, 54].

Table 2 Internal forces of members of 2D cable–strut structure

The results listed in Tables 1 and 2 show that stressed lengths and prestresses of all the members obtained from the form-finding method agree well with the FEM results. The maximum relative error of the lengths is 0.110%, while the maximum relative error of the prestresses is 1.149%. Thus, the proposed method has a satisfactory accuracy. Besides, Table 1 shows that the natural length of each passive cable is shorter than that of the cable at the prestress state, while the natural length of each strut is a bit longer than that of the strut at the prestress state. The distance between two nodes connecting the active cable is increased in the elastic state. The active cable is utilized to induce tension, and thus its natural length is longer than the stressed length at the prestress state.

Importantly, determination of active members significantly affects the zero-stress state of a cable–strut structure. Although the initial prestress state is identical, the obtained configuration of the structure with different active members can be different. To further explain this point, one of the horizontal cables, the active inclined cable, or the vertical struts are selected as the active member, and the corresponding zero-stress configuration is evaluated and shown in Fig. 4.

Fig. 4
figure 4

Different zero-stress configurations and symmetry induced by different active members: a an active horizontal cable; b an active inclined cable; c an active vertical strut

As expected, typical configurations shown in Fig. 4 are significantly different. Symmetry of the zero-stress configuration is determined by symmetry representation of the active member. The configurations shown in Fig. 4a, c keep mirror symmetry, while the configuration shown in Fig. 4b is asymmetric because of the lowest-order symmetry of the active inclined cable.

4.2 A Geiger cable dome with \(C_{8v}\) symmetry

A typical \(C_{8v} \) symmetric cable dome structure with the Geiger form [7] is shown in Fig. 5. It consists of 26 pin-joints, 40 cables and 9 struts, where eight outmost pin-joints are constrained along three directions. Such a structure exhibits \(C_{8v} \) symmetry [26, 61], which has four one-dimensional irreducible representations, \(\Gamma ^{(1)}{-}\Gamma ^{({4})}\), and three two-dimensional representations, \(\Gamma ^{(5)}{-}\Gamma ^{({7})}\) (\(\mu =7)\). Thus, the members can be classified by eightfold cyclic symmetry into \(t=7\) types. As shown in Fig. 5b, JS1 and JS2 represent the upper ridge cables, XS1 and XS2 represent the lower diagonal cables, HS describes the hoop cables, and VP1 and VP2 represent the vertical struts.

This cable dome has a diameter of 48 m, and its equilibrium configuration subjected to initial prestresses has been reported by Xi et al. [39]. For clarity, Table 3 has listed the axial stiffness, stressed length, and prestress for different types of members of the \(C_{8v} \) symmetric cable dome.

Fig. 5
figure 5

A \(C_{8v} \) symmetric cable dome structure with Geiger form: a 3D view; b different types of members in the section view

Table 3 Distributed static indeterminacy and lengths of different types of members of a Geiger cable dome

To get symmetry representations of different types of the members, the number of unshifted members is evaluated for different kinds of symmetry operations. For the members JS1,

$$\begin{aligned} \begin{array}{llllllll} {C_{8v} \;\hbox {symmetry}} &{} E &{} {2C_{8} } &{} {2C_{4} } &{} {2C_{8}^{3} } &{} {C_{2} } &{} {4\sigma _{v} } &{} {4\sigma _{d} } \\ \hline {\chi (b_{\hbox {JS1}} )} &{} 8 &{} 0 &{} 0 &{} 0 0 &{} 2 &{} 0 \end{array} \end{aligned}$$
(25)

where the first row indicates symmetry operations, and the corresponding value describes the number of unshifted cables JS1 under the operation. Based on Eq. (14), symmetry representation of the cables JS1 is

$$\begin{aligned} \Gamma (b_{\hbox {JS1}})=\Gamma ^{({1})}+\Gamma ^{({3})}+\Gamma ^{({5})}+\Gamma ^{({6})}+\Gamma ^{({7})}. \end{aligned}$$
(26)

For the struts VP1 and the other cables, we have

$$\begin{aligned} \Gamma (b_{\hbox {XS1}} )=\Gamma (b_{\hbox {JS2}} )=\Gamma (b_{\hbox {XS2}} )=\Gamma (b_{\hbox {HS}} )=\Gamma (b_{\hbox {VP1}} )=\Gamma ^{({1})}+\Gamma ^{({3})}+\Gamma ^{({5})}+\Gamma ^{({6})}+\Gamma ^{({7})} \end{aligned}$$
(27)

which are identical to the symmetry of the cables JS1. For the struts VP2,

$$\begin{aligned} \begin{array}{cccccccc} {C_{8v} \;\hbox {symmetry}} \quad &{} E \quad &{} {2C_{8} } \quad &{} {2C_{4} } \quad &{} {2C_{8}^{3} } \quad &{} {C_{2} } \quad &{} {4\sigma _{v} } \quad &{} {4\sigma _{d} } \\ \hline {\chi (b_{\hbox {VP2}} )} \qquad &{} 1 \qquad &{} 1 \qquad &{} 1 \qquad &{} 1 \qquad &{} 1 \qquad &{} 1 \qquad &{} 1 \\ \end{array}. \end{aligned}$$
(28)

Thus, it can be reduced into

$$\begin{aligned} \Gamma (b_{\hbox {VP2}} )=\Gamma ^{(1)} \end{aligned}$$
(29)

which indicates that the strut VP2 holds full symmetry. Furthermore, the distributed static indeterminacy listed in Table 4 shows that the strut VP2 is neither the most important nor the most sensitive. Therefore, this member is considered as the active member.

To implement the nonlinear computation for zero-stress state, the prestressed equilibrium configuration shown in Fig. 5 is taken as the input configuration. The zero-stress configuration shown in Fig. 6a is obtained after 14 iteration steps, where the internal force vector satisfies \(\left\| {{{\varvec{t}}}} \right\| _{2} =3.37\times 10^{-7}<\xi _{0} \). Note that the structure maintains \(C_{\mathrm {8v}}\) symmetry at the zero-stress state, with the active strut VP2 being released. The lengths of different types of members at the zero-stress state are reported in Table 4, where \(l_{0k} \) denotes the actual length of the member calculated from the zero-stress state, and \(l_{0k}^{\prime } \) denotes the natural length analytically obtained by Eq. (5).

Table 4 Prestress and lengths for different types of members of Levy cable dome

Both Fig. 6a and Table 4 describe that the obtained configuration locates exactly at the zero-stress state, whereas all the members are unstressed, and \(l_{0k} =l_{0k}^{'} \) for the members except for the active strut VP2. Then, on the basis of the obtained zero-stress configuration, a FEM model using ABAQUS is established. Equivalent external loads are vertically applied at the ends of the strut VP2, to simulate the prestressing process and reach the equilibrium configuration. The FEM results are shown in Fig. 6b, where the solid lines indicate the equilibrium state and the dashed lines indicate the initial and zero-stress state.

It turns out that the FEM results are in good agreements with the analytical ones given in Table 3. The maximum relative error of the stressed lengths of the cables is 0.001% (JS1 or XS1), and the relative error of the lengths of the passive struts VP1 is 0.023%. In addition, the prestresses of different types of members calculated by FEM are shown in Fig. 7. The results are equivalent to those of the reported prestress state using the simplified force density method [39]. The maximum relative error of the prestresses of the cables is 0.203% (HS), and that of the prestresses of the struts is 0.077% (VP1). Thus, the zero-stress configuration is verified to be accurate, and the transformation between the zero-stress state and the prestress state is reversible.

Fig. 6
figure 6

Stress states of the \(C_{8v} \) symmetric cable dome structure with Geiger form: a zero-stress configuration, and b prestress state and zero stress-state (dashed lines) obtained by FEM

Fig. 7
figure 7

Form-finding solutions of the \(C_{8v} \) symmetric Geiger cable dome

4.3 A \(C_{8v} \) symmetric cable dome structure with Levy form

Figure 8 shows another \(C_{8v} \) symmetric cable dome structure, which originates from the Levy form [8, 40]. This structure consists of 26 pin-joints, 56 cables and 9 struts, where the eight outmost pin-joints are fully constrained. According to the inherent \(C_{8v} \) symmetry (eight reflections shown in Fig. 8b), the members are also classified into seven types. As shown in Fig. 8, members JS1 represent the upper ridge cables, XS1 represent the lower diagonal cables, and VP1 and VP2 represent the vertical struts. This structure is similar as the Geiger cable dome shown in Fig. 5, whereas the members JS1, XS1 and the lateral stiffness get improved.

Fig. 8
figure 8

A \(C_{8v} \) symmetric cable dome structure with Levy form (unit: m): a 3D view, and b different symmetry operations in the plan view

The prestress state of this symmetric Levy cable dome structure is obtained by the reported form-finding approach [26, 40]. Initial prestresses and stressed lengths for different types of members are listed in Table 5. In the Table, distributed static indeterminacy \(\gamma _{b_{k} } \) of the members is also given. Because of the reasonable importance index and the full symmetry of the strut VP2, this member is considered as the active member, which is similar to that of the Geiger cable dome.

Table 5 Prestress and lengths for different types of members of Levy cable dome

Then, the zero-stress state is effectively obtained by the presented procedure. Figure 9a, b depicts the initial prestress state and the obtained zero-stress state, respectively. It can be easily observed that the absolute value of the internal force of every member is smaller than \(10^{-6}\,\hbox {N}\). Moreover, the last row of Table 5 lists the natural lengths of different types of the members, which can be evaluated by the distance between the ends of the members at the zero-stress state. We can verify that the natural lengths of the passive members accord with the analytical ones obtained by Eq. (5).

Fig. 9
figure 9

Stress states of the Levy cable dome: a prestress state, and b zero-stress state

Recall that different zero-stress configurations of a structure can be obtained, on condition that the given prestress state is variable. To further investigate the influence of initial prestress on the evaluated zero-stress configuration, the input equilibrium configurations with different prestress levels are evaluated. Figure 10 shows the variations of natural lengths of different types of members affected by increasing prestress level.

Fig. 10
figure 10

Variations of natural lengths of different types of members affected by increasing prestress level: a cables HS, JS1 and XS2; b cables JS2 and XS2, and c strut VP1

As indicated by Eqs. (5) and (6), the higher the prestress level of the initial equilibrium state, the larger the deformation of a member becomes. Although the complete process between the prestress state and the zero-stress state is nonlinear, natural lengths of different types of cables/struts show linear decrease/increase affected by the rising prestress level.

5 Conclusions

Based on the Newton method and the Moore–Penrose inverse method, a computation method has been proposed for finding zero-stress states of symmetric prestressed cable–strut structures. To allow prestressing releasing from the stable equilibrium state, certain members are chosen to actively reduce the internal forces of the members. For a given symmetric cable–strut structure, the active member has been determined by considering its importance index and symmetry property.

Numerical examples show that the proposed approach has satisfactory accuracy, whereas the obtained results have been verified by the analytical form-finding solutions and FEM simulation. A series of zero-stress states of cable–strut structures can be effectively obtained by specifying symmetric and prestressed equilibrium states in advance. Each zero-stress configuration is associated with a specific prestressed equilibrium state, and the transformation between the prestress state and the zero-stress state is reversible. The presented work is likely to help the design and analysis of various cable–strut structures and guides the practical prestressing process from the zero-stress state into the prestressed equilibrium state.