1 Introduction

Cost-effective technologies suitable for prototyping, customized components and small batch production represent a challenge for the actual market [1]. The answer to these requirements are the flexible, time and cost-saving manufacturing process as rapid prototyping and, in particular, incremental sheet forming (ISF) seems to be the most effective and reliable one when referring to prototypes, small batch and customized mass productions [2,3,4]. Without using dedicated dies, parts are formed by the motion of a small hemispherical end tool traveling along a 3D CAM toolpath on the surface of the sheet wherein a localized deformation will be generated [5, 6].

This technology was primarily applied in the automobile and aerospace industry [7, 8]. However, there are other branches with an important potential for the technology, such as the biomedical field [9]. When addressing its use in medicine, it is possible to produce thin walled custom-made metal components. When addressing its use in medicine, it is possible to produce thin walled custom-made metal components. Araújo et al. [10] demonstrated the feasibility of single point incremental forming process (SPIF) to produce titanium customized maxillofacial implants. Castelan et al. [11] presented the manufacturing by ISF of the custom-made cranial implants from a sheet of pure grade 2 titanium from digital image and communications in medicine (DICOM) images using 3D printing, CAD/CAM technology and incremental sheet forming. From computerized tomography (CT) images of a fractured skull, a CAD model of the skull BioModeling and a restorative implant were constructed digitally. Duflou et al. [12] used three different materials: AA1050, AISI 304 and medical grade titanium for accurate manufacture of craniofacial implant using SPIF process. Fiorentino et al. [13] manufactured a plate prosthesis using a titanium alloy and polycaprolactone (PCL). Although their results were promising, the poor accuracy of the part needs an optimization of the process parameters. While there has been much discussion of SPIF as a useful custom manufacturing process, only a small number of end user ready applications have been documented. Nevertheless, the big advantages connected with this technology, there are some critical aspects related to the part feasibility and the part precision. For any process to be widely adopted, one must be able to clearly communicate to the end users the capabilities and limitations. To achieve this, the main limit of the technology represented by the geometrical errors that can be found on the final shape [14] should be overcome.

In order to improve the poor geometrical accuracy, some attempts have been presented in the literature, including experimental investigation of process parameters [15, 16], hybrid ISF processes [17,18,19], the use of partially cutout blanks [20] and a multistage strategy [21]. Moreover, since the adopted toolpath greatly influences thinning and feasibility, many studies concentrated on the toolpath correction/optimization. The ISF toolpath can be corrected by using error compensation based on trial fabrications [5], a feature-based toolpath generation strategy [22], a multivariate adaptive regression splines (MARS) correction strategy [23], iterative algorithms [24,25,26], transfer function [27] and an artificial cognitive system [28]. Moreover, some in-process toolpath correction approaches were performed in SPIF based on a control strategy using spatial impulse responses of the process [29] and a model predictive control (MPC) strategy [30, 31]. Some research has been performed to reduce the main drawbacks of ISF process with new approaches for optimization problems based on numerical simulation, response surface methods (RSM) and genetic algorithms [32, 33].

Within a so wide panorama of issues to be considered for obtaining a sound part through ISF, the use of preliminary finite element (FE) tools is of great help in reducing time and cost for the design of the manufacturing process [34,35,36]. In our previous work [37], the feasibility of manufacturing customized titanium denture plate by using the ISF approach has been studied within the frame of a preliminary optimization procedure by evaluating multi-objective optimization methods for SPIF process parameters. Nevertheless, good adequacy has been proved between the optimized process parameters, the SPIF finite element simulation and the obtained experimental part. Geometric accuracy is still the critical aspect to be corrected especially the sheet springback [38], the sheet bending [39] and the “pillow effect” (known as an unwanted curved surface, typically occurs on the flat base of the part formed by SPIF) [40]. The results showed that the incremental forming process was a new process where there remains room for improvement toward limited dimensional precision.

Besides that the computer science [41,42,43,44] is one of the most developing and in demand trades of engineering. Its fast growth and development [45,46,47,48] have a beneficial impact on the manufacturing industry [49].

For this reason, this article proposes the use of a parameterized FE model and optimization procedure to reduce these process limitations: springback error, bending error and pillow effect error. This technique will also lead to reduce time and materials consuming compared to others methods which are generally based on several experimental tests combined with normalized techniques [50,51,52].

2 Numerical modeling and design procedure of computer experiments

2.1 Framework of the proposed method

Based on the experimental results of incremental sheet forming process shown in our previous work [37], obvious geometric errors have been noted. This is the major well-known limitation of SPIF process. Therefore, this study aims to reduce theses errors. The virtual process chain for the simulation-based development of Pareto-optimized SPIF process responses is presented in Fig. 1. The design optimization starts with the design of the experiments (DoE) that leads to perform the simulation study. For this, a parameterized FE model of SPIF process is used. During the post-processing of each single simulation, the considered target responses expressed in terms of the final geometry of the parts are evaluated and recorded. The DoE design and the calculated geometric errors are then used to derive a metamodel to reduce the computational cost during the design optimization. The last step of the design optimization sub-process consists in finding the optimal design variables for the optimization problem of incremental forming by applying mono- and multi-objective optimization methodologies with regard to one or more target figures. Then, the attained optimal solution and the optimal process parameters are used to make an experimental validation test for the manufacture of the titanium denture plate. Finally, the geometry of the part obtained with experimental measurement has been compared to the desired one in order to verify the efficacity of the used procedure. Each process step depicted in Fig. 1 will be described in the following sections in more detail.

Fig. 1
figure 1

Flowchart of the optimization procedure for geometric errors reduction in SPIF process

2.2 Numerical simulation of SPIF process

Due to the cost materials and time for the experimental study, it is necessary to build the FE model to conduct the simulation analysis and realize the virtual that reflect the actual situation exactly. Based on the scanned shape of an existing custom-made denture base, the toolpath has been generated to produce simultaneously two identical denture base parts (Fig. 2). The shape of the titanium sheet has been considered square with a size of 120 mm × 120 mm. The sheet was clamped into a fixed rectangular blank holder, and a backing plate is placed underneath it to support the part. In the FE model, A 4-node doubly curved thin or thick shell (S4R) and seven Gaussian reduced integration points through the thickness direction were used to model the sheet blank with approximately 14.400 elements. The rig and the clamp are meshed with 4-node 3-D bilinear rigid quadrilateral elements (R3D4). The punch is supposed to be analytical rigid surface. The sheet material used in the numerical simulation is CP-Ti Gr.1. It was modeled as an elasto-plastic material with isotropic hardening. The material properties of CP-Ti Gr.1 pure titanium are taken from [9]. As a result, the FE model of the SPIF can be obtained as shown in Fig. 3 using ABAQUS–Explicit software package. As shown in Fig. 4, the geometric errors between the theoretical profile provided by CAD modeling and the one obtained with numerical simulation have been calculated in three critical areas: the springback zone, the bending zone and the pillow effect zone.

Fig. 2
figure 2

SPIF process principle

Fig. 3
figure 3

Simulation principle of SPIF process

Fig. 4
figure 4

Comparison of geometric errors predicted by FE simulation with theoretical geometrical model generated by computer-aided design (CAD)

2.3 Design of experiments

For this study, a parameterized FE model has been developed. Therefore, the process parameters and their levels to be used in the simulation study have been chosen based on experimental design. Design of experiments (DoE) is a cost-effective tool for controlling the influence of parameters in manufacturing processes. The selection of a suitable DoE with respect to a compromise between high accuracy and limited time to carry out the experiment is crucial at the beginning of a DoE process. In order to reduce the factors combinations, and therefore the overall time to carry out the simulation study, Box–Behnken Designs (BBD) [53] was chosen. The target process responses of interest in this contribution are the geometric errors measured between obtained and desired cad part in three areas: the springback zone, the bending zone and the pillow effect zone. Therefore, a total number of 15 numerical simulation runs will be needed for the development of an adequate geometric errors prediction models by finding out the relationship between the response functions and the variables (tool diameter, vertical increment size and friction coefficient). The considered parameters and their levels are, respectively: tool diameter (D: 5, 7.5, 10 mm), step down (Δz: 0.02, 0.11, 0.2 mm) and friction coefficient (µ: 0.05, 0.15, 0.25). The main objective of this procedure is to define the most critical process parameters and their effect on the considered responses for denture plate manufacturing. Table 1 summarizes the matrix of experiments which represents the process parameters combinations and the SPIF studied responses obtained by the previously described numerical simulation.

Table 1 Box–Behnken design of experiments matrix with three independent variables and responses

3 Response surface methodology

Response surface methodology (RSM) is a statistical model, frequently used to analyze, evaluate, predict and/or optimize a response variable that is influenced by some decision or independent variables [54, 55]. After identifying some vital controllable factors, the RSM model can be applied to find values of various process parameters that optimize the response variable and can also be used to predict the desired response according to those independent factors. RSM analysis includes the formation of a regression equation using the relationship between the response and independent variables which helps to determine a mathematical correlation and the influence of interactions of different independent variables on the corresponding response [56]. In the presence of complicated relationships between the input variables and output responses, the most significant factors influencing a physical response of such process can also be determined through the application of variance analysis (ANOVA) [57]. Consider a response y that is determined as a function of variable Xi, the second order polynomial regression model (full quadratic model) can be represented by Eq. (1):

$$ y = \beta_{0} + \sum\limits_{i = 1}^{k} {\beta_{i} } X_{i} + \sum\limits_{i = 1}^{k} {\beta_{ii} } X_{i}^{2} + \sum\nolimits_{kj} {\sum {\beta_{ij} X_{i} X_{j} } } + \varepsilon $$
(1)

where k is the number of design variables, Xi is the set of design variables, βi are the polynomial coefficients, and ε is minor error.

In our case, the regression equations defining the SPIF process responses in terms of bending error \( \left( {\varvec{\delta}_{\varvec{b}} } \right) \), pillow effect error \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and springback error \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \) could be summarized as follows:

$$ \begin{aligned} \delta_{b} & = 1.050 - 0.290\,D + 2.56\,\Delta z - 2.13\,\mu + 0.0290\,D \times D + 8.36\,\Delta z \times \Delta z \\ & \quad + \,6.82\,\mu \times \mu - 0.474\,D \times \Delta z + 0.060\,D \times \mu - 1.36\,\Delta z \times \mu \\ \end{aligned} $$
(2)
$$ \begin{aligned} \delta_{p} & = - 0.563 + 0.308\,D + 4.71\,\Delta z + 2.46\,\mu - 0.02826\,D \times D - 2.929\,\Delta z \times \Delta z \\ & \quad - \,5.75\,\mu \times \mu + 0.582\,D \times \Delta z - 0.006\,D \times \mu - 4.42\,\Delta z \times \mu \\ \end{aligned} $$
(3)
$$ \begin{aligned} \delta_{s} & = 1.225 - 0.376\,D + 9.89\,\Delta z + 3.25\,\mu + 0.0290\,D \times D - 2.072\,\Delta z \times \Delta z \\ & \quad - \,15.72\,\mu \times \mu - 0710\,D \times \Delta z + 0.020\,D \times \mu + 15.76\,\Delta z \times \mu \\ \end{aligned} $$
(4)

The analysis of variance (ANOVA) of the three geometric errors was conducted, as an integral part of RSM study, to determine the effects of punch diameter, step size and friction coefficient as well as the effects of their interactions on the responses. This statistical analysis technique was carried out using the commercial software Minitab 17.

Additionally, for further illustration of accuracy of the developed model, the scatter plots between the predicted and actual values for bending error \( \left( {\varvec{\delta}_{\varvec{b}} } \right) \), pillow effect error \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and springback error \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \) were drawn during this study. As it can be observed from Fig. 5, residuals for the studied responses are verified to follow a normal distribution assumption, considering an approximately straight-line distribution. The obtained models in Eqs. (2), (3) and (4) are thus served as a very good base in order to determine the optimal forming parameters.

Fig. 5
figure 5

Normal probability plots of the residuals for the three responses, respectively, a bending error \( \left( {\varvec{{\delta}}_{\varvec{{b}}} } \right) \), b pillow effect error \( \left( {\varvec{{\delta}}_{\varvec{{p}}} } \right) \) and c springback error \( \left( {\varvec{{\delta}}_{\varvec{{s}}} } \right) \)

Figure 6 presents the main effect plots for three process responses: bending error \( \left( {\varvec{\delta}_{\varvec{b}} } \right) \), pillow effect error \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and springback error \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \). Comparing the impacts of the process factors: tool diameter (D), incremental step size (Δz) and friction coefficient (µ) on these above mentioned responses, it can be noted that changes carried out between the low and high levels of different parameters affect, more or less, the variation of the response. According to Fig. 6, the vertical increment (Δz) seems to be the most influencing factor on the springback and pillow effect errors while the punch diameter (D) has more influence on the bending error. However, the friction coefficient (µ) is the factor with much less important effects on the responses. As can be seen in Fig. 6c, a variation of Δz from 0.02 to 0.2 mm leads to an amplification of the springback error from 0.33 to 0.76 mm. The graphs of the main effects emphasize immediately the significant factors.

Fig. 6
figure 6

Main effect plots of the three studied process parameters for: a bending error \( \left( {\varvec{{\delta}}_{{\varvec{b}}} } \right) \), b pillow effect error \( \left( {\varvec{{\delta}}_{{\varvec{p}}} } \right) \) and c springback error \( \left( {\varvec{{\delta}}_{{\varvec{s}}} } \right) \)

Based on the preceding results, the RSM can be used to construct the global approximation of the responses at various sampled points of design space. Figure 7 shows an example of three-dimensional representation of the relative variation of the predicted bending error \( \left( {\varvec{\delta}_{\varvec{b}} } \right) \), pillow effect error \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and springback error \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \) given in the form of surface and contour plots. Due to its low effect, the friction coefficient (µ) can be fixed to its medium value. The results show that the process responses evolve in a nonlinear way according to the considered parameters (D, Δz).

Fig. 7
figure 7

Global evolution of bending error \( \left( {\varvec{\delta}_{\varvec{b}} } \right) \), pillow effect error \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and springback error \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \) according to the punch diameter and the incremental step size for a constant value of friction coefficient (µ = 0.15): ai second order response surface and bi contour plots

It can be evoked from Fig. 7ai, that the variations of the last two responses pillow effect error \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and springback error \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \) are more sensitive to the vertical step size than to the punch diameter. These corresponding figures show that the increase in the vertical increment step size represents an amplification of these geometrical errors.

4 Optimization algorithms for the minimization of geometric errors in SPIF process

Once the response surface is constructed for the considered process outputs, the optimization problems will be solved using the following described algorithms for searching the decisions variables leading to optimal solutions of continuous nonlinear optimization problems.

4.1 Genetic algorithms

Genetic algorithms (GAs) are optimization techniques that are inspired by the basic principles of selection, evolution and inheritance in nature or by Darwin’s theory of survival of the fittest [58]. The basic elements of natural genetics such as the reproduction, the crossover and the mutation are used in the genetic search procedure. GAs are a heuristic techniques particularly well suited using stochastic optimization that simulates natural evolution on the solution space of the optimization problems. This type of method is highly capable to find the global optimum solution (minimum or maximum of a function) by searching the space with a high probability. The data processed by GA include a set of chromosomes with an infinite length in which each bit is called a gene. A selected number of strings are called a population, and each population created during all processing time is also named a generation. In the initialization step, an initial population of strings is generated randomly. In our case, a binary encoding scheme is traditionally adopted to represent the chromosomes using either zeros or ones, since the binary coding offers the maximum number of schemata per bit of information. Thereafter, the fitness value of each member will be evaluated. The population is then operated by the three main operators, namely: selection, crossover, and mutation to create a new population. The new population is further computed and stopping criteria testing the convergence of genetic algorithm toward an optimal solution is used. One iteration after the application of these three operators is known as a generation in the parlance of GA.

GAs have been successfully applied to large optimization problems in various research areas such as engineering design, process planning, assembly and transportation problems, image processing, and scheduling. In this particular case, the GAs will be used as powerful tool for the optimization of the incremental forming process parameters. The mono- and multi-objective genetic algorithm developed in the frame of our research works follow the steps outlined in the flowchart of Fig. 8.

Fig. 8
figure 8

Flowchart of the employed GA

4.2 Multi-objective genetic algorithm

The multi-objective genetic algorithm (MOGA) [59] is an extension of the classical GA that explicitly used Pareto-based ranking and niching techniques together to encourage the search toward the true Pareto front while maintaining diversity in the population. The main difference between a conventional GA and a MOGA resides in the assignment of fitness to an individual [60]. The rest of the algorithm is the same as that in a classical GA. MOGA is very attractive due to its capability to explore a larger extension of the design space and to compute multiple independent objective functions simultaneously in one optimization run. For these reasons, MOGA can be used for higher nonlinear MOOPs such as sheet metal forming.

Let P(g) and O(g) be parents and offspring in current generation g. The general structure of multi-objective genetic algorithm (MOGA) [61] can be described as follows (Fig. 9):

Fig. 9
figure 9

Pseudocodes of the MOGA algorithm [61]

4.3 Global optimum determination by linking and interchanging kindred evaluators algorithm

In this contribution the “Global optimum determination by linking and interchanging kindred evaluators” (GODLIKE) [37, 62, 63] was used to optimize the geometrical errors predicted in SPIF process and to present the results in form of Pareto optimal frontier (POF). Figure 10 shows graphically the basic operations of GODLIKE solver. Thus, this algorithm solves optimization problems using relatively basic implementations of genetic algorithm (GA), differential evolution (DE), particle swarm optimization (PSO) and adaptive simulated annealing (ASA). GODLIKE is primarily intended to improve the robustness of the optimization method by exploiting the simultaneous running of the involved algorithms to decrease the chance of premature convergence to a local solution and to diminish the influence of the fine-tuning of each algorithm on the final solution. By using several optimizers at the same time, this amounts to performing four (or more) consecutive optimizations all at once, which already improves the chances of finding the global optimum. The weaknesses associated with each of these cited algorithms are neglected by the strengths and the performance of another, while the robustness of all algorithms simply adds up simultaneously. GODLIKE does not aim to make either of the algorithms more efficient in terms of function evaluations.

Fig. 10
figure 10

Flowchart of the used GODLIKE hybrid algorithm [36]

4.4 Grasshopper optimization algorithm

Grasshopper optimization algorithm (GOA) is one of the recent algorithms for optimization proposed by Saremi et al. [64]. This algorithm is swarm-based nature-inspired algorithm which mimics and mathematically models the swarming behavior of grasshoppers in nature. A mathematical model was proposed to simulate repulsion and attraction forces between the grasshoppers [64,65,66]. Repulsion forces allow grasshoppers to explore the search space, whereas attraction forces encouraged them to exploit promising regions. To balance between exploration and exploitation, GOA was equipped with a coefficient that adaptively decreases the comfort zone of the grasshoppers. Finally, the best solution obtained so far by the swarm was considered as a target to be chased and improved by the grasshoppers. The proposed mathematical model for the simulation of the swarming behavior of grasshoppers is presented as follows:

$$ X_{i}^{d} = c\left( {\sum\limits_{\begin{subarray}{l} j = 1 \\ j \ne i \end{subarray} }^{N} {c\frac{{{\text{ub}}_{d} - {\text{lb}}_{d} }}{2}s\left( {\left| {x_{j}^{d} - x_{i}^{d} } \right|} \right)\frac{{x_{j} - x_{i} }}{{d_{ij} }}} } \right) + \hat{T}_{d} $$
(5)

where

  • \( X_{i}^{d} \) defines the position of the ith grasshopper in the Dth dimension,

  • N is the number of grasshoppers,

  • ubd and lbd are, respectively, the upper and the lower bound in the Dth dimension,

  • s defines the social forces: It represents how it impacts on the social interaction (attraction and repulsion) of grasshopper.

  • \( \hat{T}_{d} \) is the value of the Dth dimension in the target (best solution found so far),

  • c is a decreasing coefficient to shrink the comfort zone, repulsion zone and attraction zone.

Equation (5) shows that the next position of a grasshopper is defined based on its current position, the position of the target and the position of all other grasshoppers.

For balancing exploration and exploitation, the parameter c is required to be decreased proportional to the number of iterations. This mechanism promotes exploitation as the iteration count increases. The coefficient c reduces the comfort zone proportional to the number of iterations and is calculated as follows:

$$ c = c_{\hbox{max} } - l\frac{{c_{\hbox{max} } - c_{\hbox{min} } }}{L} $$
(6)

where cmax is the maximum value, cmin is the minimum value, l indicates the current iteration, and L is the maximum number of iterations. The pseudocode of the GOA algorithm is shown in Fig. 11.

Fig. 11
figure 11

Pseudocodes of the GOA algorithm [48]

The proposed algorithm can be used for solving the engineering optimization problems [64, 65]. In the next section, the possibility of application in real life of grasshopper optimization algorithm performances will be presented in our case of study.

4.5 Single-objective optimization problem

The fitness functions to minimize in this section are: the bending error \( \left( {\varvec{\delta}_{\varvec{b}} } \right) \), the pillow effect error \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and the springback error \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \). Optimization is carried out in the search range of punch diameter (D) and vertical step size (Δz) in order to determine the optimal values of these process parameters guaranteeing the minimization of the considered process responses. So, the single-objective optimization problems (SOOP) could be formulated in the following form:

$$ {\text{Minimize}} \;\delta_{b} = F_{1} \left( {D,\Delta z, \mu } \right) $$
(7a)
$$ {\text{Minimize}}\;\delta_{p} = F_{2} \left( {D,\Delta z, \mu } \right) $$
(7b)
$$ {\text{Minimize}}\; \delta_{s} = F_{3} \left( {D,\Delta z, \mu } \right) $$
(7c)

subject to the following inequality and equality constraints:

$$ D_{ \hbox{min} } \le D \le D_{ \hbox{max} } \quad D \in \; \left[ {5\,{\text{mm }}\;{\text{to}}\;10\,{\text{mm}}} \right] $$
(8a)
$$ \Delta z_{ \hbox{min} } \le \Delta z \le \Delta z_{ \hbox{max} } \quad \Delta z \in \; \left[ {0.02\,{\text{mm}}\;{\text{to}}\;0.2\,{\text{mm}}} \right] $$
(8b)
$$ \mu = {\text{constant}}\;{\text{value}}\quad \mu = 0.15 $$
(8c)

In this section, the first tested method to solve the SOOP is the optimization with GA. Figure 12 presents the evolution of the cost function values versus the cumulated generations number for the responses \( \left( {\varvec{\delta}_{\varvec{b}} } \right) \), \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \), respectively. As reported in the representative curves, it can be noticed that the objective functions decrease rapidly during the first generations, and then the minimal values of these studied responses begin to be stable after the first twenty-five iterations until reaching the convergence toward their optimal solutions. According to Fig. 12a–c, the best solutions characterizing the minimum values of the objective functions are: \( \varvec{\delta}_{\varvec{b}} \)-min = 0.207012, \( \varvec{\delta}_{\varvec{p}} \)-min = 0.107249 and \( \varvec{\delta}_{\varvec{s}} \)-min = 0.303145.

Fig. 12
figure 12

Evaluation of fitness functions: a bending error \( \left( {\delta_{b} } \right) \), b pillow effect error \( \left( {\delta_{p} } \right) \) and c springback error \( \left( {\delta_{s} } \right) \) with genetic algorithm versus cumulated number of generations

The same process responses have been optimized using the previously described GODLIKE mono-objective optimization evolutionary algorithm. As shown in Fig. 13a, b, c, the global optimal solution for each objective function has been extracted from the results of the optimized responses. The obtained optimized responses with GODLIKE solver for bending error, pillow effect error and springback error are: \( \varvec{\delta}_{\varvec{b}} \)-min = 0.207000, \( \varvec{\delta}_{\varvec{p}} \)-min = 0.107300 and \( \varvec{\delta}_{\varvec{s}} \)-min = 0.303100, respectively.

Fig. 13
figure 13

Single optimization results: a bending error \( \left( {\varvec{\delta}_{\varvec{b}} } \right) \), b pillow effect error \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and c springback error \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \) provided with GODLIKE optimizer approach

Verification and validation of computer simulation models are performed by comparing these optimal results obtained through GODLIKE optimization algorithm with the previous one resulting from the integration of GA. Therefore, it can be clearly observed that the global minimums of different objective functions considered in this work are in very close agreement, which will make it possible the confirmation of the effectiveness and the reliability of these GODLIKE and GA-based optimization processes.

The main objective behind conducting this experiment was to observe the GOA algorithm behavior qualitatively [65]. Three diagrams have been drawn for each of the desirability function (Fig. 14):

Fig. 14
figure 14

Single optimization results in SPIF process with GOA for bending error \( \left( {\varvec{\delta}_{\varvec{b}} } \right) \), pillow effect error \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and springback error \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \), respectively: ai convergence curves, bi average fitness of all grasshoppers and ci exploration of the search space and localization of the global optimum

  • Convergence curves this diagram shows the objective value of the best solutions obtained so far (target) in each iteration.

  • Average fitness of grasshoppers this diagram indicates the average objective value of all grasshoppers in each iteration.

  • Search history this diagram shows the location history of the artificial grasshoppers during optimization.

The different curves presented in both Fig. 14ai, bi clearly show descending behavior on all of the objective functions. They have shown the advantageous of rapid convergence properties of grasshopper optimization algorithm toward the minimal value of all responses and for a small number of iterations. This proves that GOA enhances the initial random population on the cost functions and desirably improves the accuracy of the approximated optimum over the course of iterations.

It is worth noting from Fig. 14ci that the grasshoppers tend to explore the different regions of the search space around the global optima eventually. These results will confirm that the GOA algorithm beneficially balances exploration and exploitation to drive the grasshoppers toward the global optimum.

In order to make a comparative study between all results determined by different optimization techniques, we chose to recapitulate in the same table all optimal solution obtained and the corresponding design variables. The optimal process responses of the three fitness functions bending error, pillow effect error and springback error obtained with GOA, GA and GODLIKE algorithms have been summarized in Table 2. The deduced values of optimal process parameters denoted by (D_opt) and (∆z_opt) are also presented for comparison. According to these results, it was found that the three tested algorithms lead approximately to the same response value of for each objective function. From Table 2, it can also be seen that the global optimum computed by all methods is obtained for almost identical design points characterized by same values of incremental step depth and for slightly different tool diameters. Consequently, these results can thus be observed as satisfactory.

Table 2 Summary table of different optimization results corresponding to the minimization of bending error, pillow effect error and springback error obtained by three optimization methods

Another important remark concerns the presence of antagonistic and non-comparable objective functions. In fact, an overall optimal solution corresponding to the best geometrical accuracy minimum with respect to minimum bending and springback errors during the SPIF operation and involving smaller size of punch diameter but higher value is automatically attained when minimizing pillow effect error. To resolve this problem of conflicting relations, a multi-criteria optimization and decision-making technique by the use of multi-objective versions of these algorithms will be proposed and developed in the next section. It is considered as efficiency methodology and a better way to solve an engineering optimization problem.

4.6 Tri-objective optimization problems

The multi-objective optimization technique [67] will be used to search the optimal solutions for the three considered process outputs simultaneously. A generic formulation of the multi-objective optimization problems (MOOP) can be defined by the following equations:

$$ \left\{ {\begin{array}{*{20}l} {\text{Minimize}} \hfill & {\vec{y} = \vec{F}(\vec{X}) = \left[ {f_{1} (\vec{X}),f_{2} (\vec{X}), \ldots ,f_{N} (\vec{X})} \right]^{T} } \hfill \\ {{\text{Subject}}\;{\text{to}}} \hfill & {g_{i} (\vec{X}) \le 0,\quad i = 1,2, \ldots ,m} \hfill \\ {} \hfill & {h_{j} (\vec{X}) \le 0,\quad j = 1,2, \ldots ,l} \hfill \\ {\text{Where}} \hfill & {\vec{X} = \left[ {X_{1} ,X_{2} , \ldots ,X_{p} )} \right]^{T} \; \in \;\varOmega } \hfill \\ {} \hfill & {X^{L} \le X \le X^{U} } \hfill \\ \end{array} } \right. $$
(9)

where \( \overrightarrow {y } \) is the objective vector, is a vector with the values of scalar objective functions to be minimized, m and l represent, respectively, the number of inequality, \( g_{i} \left( {\vec{X}} \right) \), and equality, \( h_{j} \left( {\vec{X}} \right) \). \( \vec{X} \) is a P-dimensional vector representing the decision variables within a parameter space Ω. XL and XU are the lower and upper bound vectors of the design parameters X.

The tri-objective optimization design of SPIF can offer more choices for a designer. This will allow us to find trade-off optimum design points allowing to minimize all three objective functions of bending \( \left( {\varvec{\delta}_{\varvec{b}} } \right) \), pillow effect \( \left( {\varvec{\delta}_{\varvec{p}} } \right) \) and springback \( \left( {\varvec{\delta}_{\varvec{s}} } \right) \) errors, simultaneously. The multi-criteria optimization system in single point incremental forming problem can be formulated in the following form:

$$ {\text{Minimize }}\left\{ {\begin{array}{*{20}c} {\delta_{b} = F_{1} \left( {D,\Delta z, \mu } \right)} \\ {\delta_{p} = F_{2} \left( {D,\Delta z, \mu } \right)} \\ {\delta_{s} = F_{3} \left( {D,\Delta z, \mu } \right)} \\ \end{array} } \right. $$
(10)

subject to the common conditions of inequality and equality constraints, given below:

$$ \left\{ {\begin{array}{*{20}l} {5\,{\text{mm}} \le D \le 10\,{\text{mm}}} \hfill \\ {0.02\,{\text{mm}} \le \Delta z \le 0.2\,{\text{mm}}} \hfill \\ {\mu = 0.15} \hfill \\ \end{array} } \right. $$
(11)

Figure 15 shows the final Pareto of the optimal responses obtained with the multi-objective genetic algorithm (MOGA) method and the GODLIKE solver. As it can be noted from Fig. 15a, the obtained Pareto optimal design of SPIF process using MOGA routine can offer several optimal solutions. With GODLIKE solver, unique solution presented by the green dot in the final Pareto plot (Fig. 15b) is corresponding to the most efficient point of the MOOP.

Fig. 15
figure 15

Tri-objective optimization results with a MOGA and b GODLIKE algorithms

Table 3 summarizes the optimal process parameters combinations of the studied problem obtained with MOGA. The optimization results given by GODLIKE in terms of the most efficient solution are illustrated in Table 4. According to these tables, it can be seen that the optimal solution: D ≈ 8 mm and Δz ≈ 0.02 mm is a common solution between both studied multi-objective algorithms. Therefore, for the validation of these results described numerically, experimental tests will be done based on the obtained value of optimum process parameters.

Table 3 Optimal process parameters calculated by MOGA algorithm
Table 4 Efficient solution to a multiple objective optimization problem computed by GODLIKE solver

5 Experimental validation

Experiments were carried out using Amino DLNC-RB machine to manufacture the denture base. The previously chosen combination of optimal process parameters obtained with multi-objective optimization approach was employed for practical test. It corresponds to tool diameter value of D = 8 mm and incremental step down Δz equal to 0.02 mm. In order to reduce the friction phenomenon and obtain a better formability of material, chlorine-containing forming oils were applied as a lubricant. Figure 16 illustrates the experimental test conducted in single point incremental forming process to experimentally verify the efficacity of the optimization strategy. The metal sheet used for SPIF process was made of Commercially Pure Grade 1 Titanium.

Fig. 16
figure 16

Experimental procedure and single point incremental forming setup at the institute of metal forming of RWTH Aachen University

Moreover, the measured geometry of the formed denture base made by SPIF technology is obtained from an 3D optical measuring system GOM ATOS. As depicted in Fig. 17, a cross-sectional comparison among deformed profile and the target profile representing the desired original CAD model was conducted. In particular, Fig. 17b reports the topographic map of the geometrical error and its frequency distributions. The error distributions are compared in terms of average value and uniformity. As it can be observed from these two presented figures, the most critical zones containing the maximum errors are located in the upper boundaries (due to the bending effect) and in the central region of the bottom of the part (due to the pillow effect). In fact, the zones on boundary are the farthest from the punch and the closest to the backing plate and, therefore, they are subjected to more severe bending stresses during forming. In the studied case, the error map is generally symmetric and seems to be uniform. Therefore, the error fluctuation varies in an interval which does not exceed in any case 0.4 mm, judged to be satisfactory. In conclusion, the optimization methods help to compensate the previously described errors without losing time and material on the experimental tests.

Fig. 17
figure 17

a Comparison of the geometry profile obtained experimentally by SPIF with original CAD part profile scanned from real prosthesis of denture plate, b topographic map characterizing the frequency distributions of the geometrical error

6 Conclusion

The presented work deals with one of the main drawbacks of the SPIF process which is the low geometrical accuracy achievable on the workpiece due to different phenomena like springback, sheet bending and pillow effect. During these research studies, we are concentrated on the assessment of the geometrical quality for biomedical parts fabricated by incremental forming technology, in order to improve the process in terms of desired dimensional accuracy achievement. For doing that an optimization study has been consequently performed for geometrical errors compensation. It consists of proving its capability for a particular studied case for biomedical application, in particular, for a denture plate. Based on the noted errors in our previous research works, the precision of ISF product has been controlled and enhanced within a parameterized numerical model based on the finite element method (FEM) and different optimization algorithms.

This experiment and relevant discussions support the following conclusions:

  • The results show that the different implemented numerical optimization algorithms are able to provide superior results.

  • The results of the real applications also prove the merits of the recent grasshopper optimization algorithm (GOA) considered as a modern high-performance algorithm for solving real problems compared with other classical algorithms more known in the literature, such as GA and GODLIKE.

  • For multi-objective optimization results, it can be deduced that MOGA and GODLIKE techniques lead to one common optimal solution.

The obtained optimal parameters, applied in experimental test of SPIF process, help to compensate the geometrical errors. By analyzing part geometry with 3D optical measurement system, geometrical precision achievement has been noted. This proves the capabilities of the presented optimization strategy. Compared to majority of last works for geometric accuracy enhancement in SPIF which are based on several experimental tests, this study has an economic aspect.