Ship Design
Ship Design
1
Introduction
1
Research Question Chapter 1. Introduction
The answer to this question is not a simple one and starts with a better
understanding of state of the art optimization algorithms, multidisciplinary
ship design applications, and efficient multi-objective problem solving.
2
Outline Chapter 1. Introduction
Currently there already exist several algorithms that show great results
on artificially designed constrained multi-objective optimization problems.
To find out whether they are suitable for solving ship design applications the
following sub-question is defined: Which already existing state of the
art optimization algorithms and theories could be used to solve
multidisciplinary ship design optimization applications?
The algorithm should be able to optimize multidisciplinary ship design
optimization applications. Here, the term multidisciplinary refers to different
ship design problems. Some optimization problems will have for example six
decision variables, four objectives and fifteen inequality constraints, while
other optimization problems might have equality constraints or only two
objectives. To see how the developed algorithm deals with the multiple con-
straints and objectives, the following sub-question is defined: How flexible
are the state of the art optimization algorithms in terms of dealing
with multiple constraints and multiple objectives?
Furthermore, the algorithm has to be efficient, because optimizing a ship
design can be very time consuming. Consider for example the case where we
want to minimize the resistance. To minimize the resistance of a ship design,
multiple Computational Fluid Dynamics (CFD) simulations [36] will have
to be executed for different design variations. Only one CFD of one design
variation can take up to several hours of computation time. Therefor, the
next sub-question to be answered is: In terms of function evaluations
and solution quality, how efficient is the proposed optimization
algorithm compared to existing approaches?
1.2 Outline
The next chapters describe the research that has been conducted to answer
the questions. In Chapter 2 the related research and relevant algorithms are
discussed. The formulation of the problem statement is given in Chapter 3.
In Chapter 4 the proposed algorithm is discussed in detail. Next, it is shown
empirically in Chapter 5 that the proposed algorithm is efficient and is
able to find a good approximation of the Pareto frontier using a limited
evaluation budget. Finally, the results are discussed and conclusions are
drawn in Chapter 6.
3
–If I have seen further it is by standing on the shoulders
of Giants.
Isaac Newton
2
Earlier Research
4
Constraint Handling Chapter 2. Earlier Research
5
Multi-Objective Optimization Chapter 2. Earlier Research
easy by simply truncating the decision space, but for non-linear real-valued
functions of the decision variables it can be very hard. Therefore, it typically
takes a large number of function evaluations before an infeasible solution is
transformed into a feasible one.
1. Enumerative
2. Deterministic
3. Stochastic
6
Multi-Objective Optimization Chapter 2. Earlier Research
the whole design space, this is the best solution since it can be guaranteed
that all the optimal solutions will be found.
7
Ship Design Applications Chapter 2. Earlier Research
1
NAPA Oy, Release 2017.3-3 (2018), NAPA software, http://www.NAPA.fi/.
2
C-Job Naval Architects, (2018), https://c-job.com/.
8
Ship Design Applications Chapter 2. Earlier Research
Figure 2.3.1: C-Job Naval Architects Design Circle. Four different levels of accu-
racy, with eight different design aspects to consider in the optimization process.
9
Ship Design Applications Chapter 2. Earlier Research
Strength Typically when cargo gets loaded to a ship, the ship bends a bit
in the middle. This is the case because when a ship is fully loaded, the
water gives an upward pressure to the ship while the gravity on the
cargo now pushes the ship downwards in the middle, this phenomenon
is better known as sagging ((1) in Figure 2.3.2). The inverse of sagging
is named hogging ((2) in Figure 2.3.2) and mainly occurs when the
ship is empty. How much the ship is allowed to sag and hog is again
defined by the regulating authorities. The ship should be made strong
enough so it does not exceed the maximum stress limit.
Figure 2.3.2: Ship hull is sagging in (1) and hogging in (2). Note that the
bending is exaggerated.
Weight & Cost For a ship yard the weight goes hand in hand with the
cost of a ship. This is the case because the required amount of of steel
that needs to be bought and put together gives a rough indication of
how much the ship will cost to build. Therefore, the weight of a ship
10
Ship Design Applications Chapter 2. Earlier Research
Figure 2.3.3: Space reservation of a ship. Where every color defines a differ-
ent space.
Motions Motion deals with how the ship reacts to waves and wind. It should
not roll, pitch, yaw, heave, sway or surge (see Figure 2.3.4) too much
after a single or a sequential number of waves. Passengers, for example,
get seasick when there is too much heave/pitch and equipment can
break when there is too much rolling back and forth after a number of
sequential waves.
11
Ship Design Applications Chapter 2. Earlier Research
12
–The biggest room in the world is room for
improvement.
Helmut Schmidt
3
Ship Design Optimization
Problem
13
Design Stages Chapter 3. Ship Design Optimization Problem
Figure 3.1.1: Four ship design stages: Concept-, basic-, functional- and detail
design.
14
Design Stages Chapter 3. Ship Design Optimization Problem
15
Problem Description Chapter 3. Ship Design Optimization Problem
Definition 1.
(Multi-Objective Problem [6]) : A general Multi-Objective Problem
is defined as minimizing F (~x) = (f1 (~x), . . . , fk (~x)) subject to gi (~x) ≤ 0, i =
{1, . . . , m} and ~x ∈ Ω. Multi-Objective problem solutions minimize the
components of the vector F (~x) to find a set of Pareto optimal solutions,
where ~x is a n-dimensional decision variable vector ~x = (x1 , . . . , xn ) from
some search space Ω. It is noted that gi (~x) ≤ 0 represent constraints that
must be fulfilled while minimizing F (~x) and Ω contains all possible ~x that
can be used to satisfy an evaluation of F (~x).
Definition 2.
(Pareto Optimality [6]) : A feasible solution ~x ∈ Ω is said to be Pareto
Optimal with respect to Ω if and only if there is no x~2 for which ~v = F (x~2 ) =
[f1 (x~2 ), . . . , fk (x~2 )] dominates ~u = F (~x) = [f1 (~x), . . . , fk (~x)].
Definition 3.
(Pareto Dominance [6]) : A vector ~u = [u1 , . . . , uk ] is said to dominate
another vector ~v = [v1 , . . . , vk ] if and only if ~u is partially less than ~v , i.e.,
∀i ∈ {1, . . . , k}, ui ≤ vi ∧ ∃i ∈ {1, . . . , k} : ui < vi . The following symbol is
used to indicate Pareto Dominance: .
Definition 4.
(Pareto Optimal Set [6]) : For a given Multi-Objective Problem, F (~x),
the Pareto Optimal Set, P ∗ , is defined as:
16
Problem Description Chapter 3. Ship Design Optimization Problem
x1
..
~x = . (3.2.2)
xn
All the possible combinations in between a predefined lower and upper bound
of ~x together is called the search space denoted by Ω. Of course due to the
constraints, not every combination will lead to a feasible solution.
The dredger (Figure 3.2.1) has the following decision variables: ∆breadth ,
∆length , foreship length, hopper length extension, hopper breadth, hopper
height. Here ∆ means a change opposed to the original design.
Figure 3.2.1: Trailer Suction Hopper Dredger designed by C-Job Naval Architects,
with the design variables annotated.
The overall length and breadth of the hull can be transformed with the help
of Free Form Deformation (FFD) [34]. For this transformation a box is drawn
around the hull. Any point on the box can be moved in all directions and
the parent surface that is inside this box will be transformed accordingly.
This FFD can be achieved by changing the ∆breadth and ∆length parameter
which then applies the FFD on the original concept design.
The part of the ship from the most forward bulkhead to the front is called
the foreship. The location of this last bulkhead can be changed by varying
the foreship length decision variable.
The cargo space, where the dredged material is dumped in, is called the
hopper. Changes can be made to the height, the breadth, and to the length
17
Problem Description Chapter 3. Ship Design Optimization Problem
HOPPER WIDTH
FORESHIP LENGTH
SHIP LENGTH
SHIP BREADTH
Figure 3.2.2: Parallel coordinate plot with infeasible solutions (red), feasible so-
lutions (blue), Non-dominanated solutions (green), every vertical axes represents a
decision variable.
3.2.2 Constraints
The constraints can be expressed in terms of function inequalities, where
one function inequality represents one of the m constraints. All inequality
constraints can then be expressed the following way:
18
Problem Description Chapter 3. Ship Design Optimization Problem
3.2.3 Objectives
The objectives of a ship design optimization problem are typically conflicting
and non-commensurable. As a consequence there is usually not one unique,
perfect solution but a set of alternative, so called non-dominated solutions.
This non-dominated solution set contains good compromises between the
objective functions fj (~x), j = 1, . . . , k. Together they form the vector of
functions to be minimized:
The non-dominated set of solutions together form the Pareto frontier, where
Pareto optimality is defined by Definition 2 and Pareto dominance is defined
by Definition 3.
19
Problem Description Chapter 3. Ship Design Optimization Problem
20
–The inspiration you seek is already within you. Be
silent and listen.
Jalāl ad-Dı̄n Muhammad Rūmı̄
4
Proposed Solution
4.1 CEGO
The proposed algorithm consist of several crucial components: the initial sam-
pling, the training of surrogate models for both objectives and constraints,
defining the Pareto frontier, defining the S-Metric Selection criterion, opti-
mizing the infill criterion subject to the constraints, the evaluation of the
found local optima, and the adjustment of the allowed constraint violations.
A general overview of the algorithm is given in the CEGO psuedocode that
can be found in Algorithm 1. Additionally, a flowchart of the algorithm is
shown in Figure 4.1.1. Lastly the individual components of the algorithm
are described in detail in the description following.
21
CEGO Chapter 4. Proposed Solution
22
CEGO Chapter 4. Proposed Solution
Objective Models The objective values are used to train the objective sur-
rogate models. The objective surrogate models used are Kriging [23]
(often also called Gaussian Process Regression models). For every ob-
jective function a separate Kriging model is fitted. Kriging treats every
unknown objective function f as the combination of a centered Gaus-
sian Process (x) of zero mean with an unknown constant trend µ. The
advantage of using Kriging is that in addition to the predicted mean
y(x), the predicted uncertainty, called the Kriging variance σ(x), is
provided. The Kriging variance can be exploited in the optimization
procedure (see description Criterion for optimization).
In Figure 4.1.2, 4.1.3, 4.1.4, and 4.1.5 a Kriging training process is
presented for the y = x2 function. As can be seen from the figures,
the more points we use to train the Kriging model, the smaller the
variance gets and the more precise the approximation of the kriging
model becomes.
Kriging approximation with Gaussian smoothning Kriging approximation with Gaussian smoothning
1.0 1.2
1.0
0.5
0.8
0.0
0.6
y
y
0.5
0.4
1.0 training points training points
predicted values 0.2 predicted values
actual values actual values
1.5 variance 0.0 variance
1.00 0.75 0.50 0.25 0.00 0.25 0.50 0.75 1.00 1.00 0.75 0.50 0.25 0.00 0.25 0.50 0.75 1.00
x x
Figure 4.1.2: Kriging with Gaussian Figure 4.1.3: Kriging with Gaussian
smoothing function approximation of smoothing function approximation of
y = x2 . Training points used: x = 0.5, y = x2 . Training points used: x = −1,
and x = 1. x = 0.5, and x = 1.
Kriging approximation with Gaussian smoothning Kriging approximation with Gaussian smoothning
1.0
1.0
0.8
0.8
0.6
0.6
y
0.4
0.4
training points 0.2 training points
0.2 predicted values predicted values
actual values actual values
0.0 variance 0.0 variance
1.00 0.75 0.50 0.25 0.00 0.25 0.50 0.75 1.00 1.00 0.75 0.50 0.25 0.00 0.25 0.50 0.75 1.00
x x
Figure 4.1.4: Kriging with Gaussian Figure 4.1.5: Kriging with Gaussian
smoothing function approximation of smoothing function approximation of
y = x2 . Training points used: x = −1, y = x2 . Training points used: x = −1,
x = 0.25 x = 0.5, and x = 1. x = 0, x = 0.25, x = 0.5, and x = 1.
23
CEGO Chapter 4. Proposed Solution
In the first few iterations, the CRBF model might not fit the constraint
function very well. Therefore, a violation of the constraints is allowed.
The magnitude of the allowed violation decreases as more feasible
solutions are found.
Now, lets assume that the objective function y = x2 is subject to
the constraint function g = −x3 − 14 where g should be smaller then
or equal to 0 to be feasible. The constraint now limits the available
ranges of values that the Kriging model is able to choose for x. In
Figure 4.1.6, 4.1.7, 4.1.8, and 4.1.9 the available choices in each step
that can be made by the Kriging model is visualized.
0.50 0.50
0.75 0.75
1.00 1.00
1.25 1.25
1.00 0.75 0.50 0.25 0.00 0.25 0.50 0.75 1.00 1.00 0.75 0.50 0.25 0.00 0.25 0.50 0.75 1.00
x x
Figure 4.1.6: CRBF function approxi- Figure 4.1.7: CRBF function approxi-
mation of y = −x3 − 41 . Training points mation of y = −x3 − 41 . Training points
used: x = 0.5, and x = 1. used: x = −1, x = 0.5, and x = 1.
24
CEGO Chapter 4. Proposed Solution
g
0.50 0.50
0.75 0.75
1.00 1.00
1.25 1.25
1.00 0.75 0.50 0.25 0.00 0.25 0.50 0.75 1.00 1.00 0.75 0.50 0.25 0.00 0.25 0.50 0.75 1.00
x x
Figure 4.1.8: CRBF function approxi- Figure 4.1.9: CRBF function approxi-
mation of y = −x3 − 41 . Training points mation of y = −x3 − 41 . Training points
used: x = −1, x = 0.25 x = 0.5, and used: x = −1, x = 0, x = 0.25, x = 0.5,
x = 1. and x = 1.
Here max(Λ) ~ is the maximum value per objective on the Pareto frontier,
min(Λ)~ is the minimum value per objective on the Pareto frontier, k is
the number of objectives, maxEval the maximum number of allowed
iterations, and eval the number of evaluations executed so far. The final
(hyper)volume multiplied by minus one that ŷpot adds to the Pareto
frontier is the score the S-metric criterion will return. If ŷpot is not
25
CEGO Chapter 4. Proposed Solution
1.8
1.6
Objective 2
26
CEGO Chapter 4. Proposed Solution
Find Local Optima The infill criterion is optimized in such a manner that
it searches for new optimal solutions that do not violate any of the
constraints. This can be done with an optimization algorithm that
is capable of dealing with: multiple decision variables (~x), single ob-
jective problem (S-metric criterion), and multiple constraints (CRBF
functions). In this research the Constrained Optimization by Linear
Approximation (COBYLA) algorithm [31] is used to optimize the ob-
jectives subject to the constraints.
The problem that COBYLA can solve is setup the following way: The
decision variables ~x can be changed within the predefined bounds.
The objective is the S-metric criterion that predicts the additional
(hyper)volume given ~x. The constraints can be interpolated with the
CRBF models given ~x and finally a the DRC constraint is added that
makes sure the solutions that get evaluated are not to close to the
previously found solutions.
COBYLA can deal wich such problems and therefore is able to optimize
the infill criterion under the condition that the constraints are satisfied.
The vector ~x that is expected to be feasible and expected to contribute
the most to the Pareto frontier approximation is then proposed as
new solution. If in the current design space no feasible solution can be
found, the vector ~x with the smallest expected constraint violation is
chosen.
27
CEGO Chapter 4. Proposed Solution
√
Alternatively, increases by 100% when b2 · nc infeasible solutions
are found. This increase of the allowed violation can be explained by
the idea that the allowed violation of the CRBF is probably too tight
and the CRBF models are not yet capable of modelling the constraint
functions good enough yet. By increasing the allowed constraint viola-
tion margin of the CRBF models the constrained area can be explored
more thoroughly so that the fit of the CRBF models can increase. Of
course it does not make sense to explore the already known heavily
violated constrained area, therefore the maximum of is set to 0.02 in
the experiments reported in this thesis.
28