4.1. Deterministic HEBC Operation Model
The objective of the parallel hybrid propulsion system is to diminish the operational expenses of ships during navigation. The system’s specific operational mode is as follows:
- (1)
Objective:
Here, represent the fuel cost, maintenance cost, start-up cost, and power purchasing cost, respectively.
Equation (9) delineates the ship’s operational objective of minimizing total operational costs. Equations (10)–(13) specify that the ship’s operational costs encompass fuel costs (in (10)), maintenance costs (in (11)), start-up costs of DGs (in (12)), and power purchase costs from the grid (in (13)).
- (2)
Constraints:
Equation (14) includes navigation and temperature constraints; Equations (15)–(18) illustrate the power output limitations, ramp-up restrictions, and minimum start–stop time requirements for DGs; and Equations (19) and (20) delineate the power output constraints for the CCHP unit and PtC unit, respectively. In contrast to DGs, the CCHP unit and PtC unit provide more flexibility in control and initiation, enabling them to shift from zero to maximum power output in seconds, thereby obviating the necessity for ramp-up/down limitations or minimum start–stop durations. Equations (21) and (22) demonstrate the transformation of power into thermal energy for the CCHP unit and PtC unit. Equations (23)–(28) delineate the operational constraints for the BS, with (23) and (24) indicating the maximum charging and discharging power limits, (25) stipulating that the BS cannot charge and discharge concurrently, (26) establishing the correlation between the energy and power for the BS, (27) imposing energy limits for the BS, and (28) guaranteeing consistent dispatch flexibility throughout each voyage. Equations (29)–(34) delineate the operational restrictions for the TS, corresponding to (23)–(28). Equation (35) guarantees that the power assistance from the land during ship berthing remains within a safe range. Equations (36) and (37) delineate power constraints for the bidirectional converter, but Equation (38) precludes concurrent power transfer between the AC and DC sides. Equations (39)–(41) stipulate that the production of AC power, DC power, and thermal energy must consistently satisfy the corresponding demands.
4.2. Model Linearization
The described ship operating model involves a succession of nonlinear equations, including the wave–structure interaction equations, as well as other nonlinear terms in (4), (7), (12), (17), (18), (25), (31), and (38), rendering the optimization of ship operation a difficult, non-convex, nonlinear programming challenge. To address this, nonlinear wave dynamics are first linearized using the small-amplitude wave assumption (H/L < 0.1), transforming the wave–structure interaction equations into a state-space representation, as follows:
where H denotes wave height and L is wavelength. This linearization reduces computational complexity while maintaining accuracy for typical operational conditions. Specifically, the 2D Reynolds-Averaged Navier–Stokes (RANS) equation is considered to account for turbulence effects in the flow field, which is essential for accurately modeling the complex fluid dynamics within the device [
32].
- (1)
Limitations and Future Work
However, the linearization neglects nonlinear effects such as wave breaking or high-frequency turbulence, which are secondary under moderate sea states. These nonlinear extensions will be addressed in future work to improve the model’s applicability under extreme conditions and enhance the representation of real-world wave dynamics.
- (2)
Additional Linearization Steps
- (2.1)
For polynomial terms like (4) in the expressions, a piecewise linear function method is employed during the solution process to approximate these original nonlinear functions, as follows:
In this linearization approach, represents the value of the original nonlinear function at a specific point, while denotes the approximated value of the function after linearization at the corresponding point. Here, m serves as the index for the various linear segments (referred to as “blocks”) used to partition the function, with indicating the total number of linear segments. Parameters and represent the slope and intercept of the linear function for the mth linear block, defining the shape and position of that segment. Parameter defines the starting point coordinate of the mth linear block. Additionally, the introduced binary variable m indicates whether the mth linear block is activated at time step t to accommodate the approximation requirements of the function within different intervals.
- (2.2)
In (7), acknowledging that onboard thermal loads might serve for space heating in winter and space cooling in summer, the numerical values of these thermal loads may be regarded as either positive or negative in real-world situations, thereby obviating the need to take the absolute value. To convey broader thermodynamic relevance and address several potential scenarios, the absolute value sign is preserved in (7) for accurate expression.
- (2.3)
The max function in (12), which represents the start-up cost that needs to be minimized during system operation, can be effectively decomposed into two separate components, as follows:
- (2.4)
The steps involved in the simultaneous charging and discharging process of heterogeneous energy storage systems (as shown in (25) and (31)), or in the AC/DC power conversion process (as illustrated in (38)), can be directly omitted or optimized. To elaborate on this theorem, an example (25) is used as a reference for demonstration, as follows:
Due to
> 0, it can be concluded that the objective functions (9) and (11) exhibit a monotonically increasing trend with variables
and
. Therefore, simplifying the objective function by retaining only the terms associated with
and
, as follows:
Given that
is an equivalent cost parameter independent of
and
, the influence of
is disregarded when optimizing these two variables. Therefore, in the optimization process, the objective function can be streamlined to focus on the variations of
and
. Simultaneously, while maintaining the original constraints’ meanings, (40) can also be simplified to emphasize the terms directly related to
and
.
where
represents the net power independent of
and
.
Regarding the system objective involving
and
, as mentioned in (48), it can be reformulated without considering (25) as follows:
or
s.t.,
> 0,
> 0
Given that and are fixed values for the optimization problem concerning and , the optimal solution is only possible when = 0 or = 0. The proof is concluded.
- (2.5)
The linearization process for the minimum up/down-time constraints in (17) and (18) is illustrated in (50)–(52). It is worth noting that, due to space constraints, only the linearization process for the minimum up-time constraint is detailed here, while the treatment for the down-time constraint is analogous.
where
k is the period index to mark the on/off-time of generators,
is the on-time of DGs before the dispatch, and
G is the on-time for the DGs to clear at the start of the ship operation.
Following linearization, the ship coordinated operation model has been converted into a MILP problem, which can be effectively resolved utilizing established solvers like Cplex and Gurobi.
For the sake of clarity in subsequent discussions, the HEBC operation problem after linearization has been reformulated into a concise form and presented in (53) to (56).
Vector x encompasses multiple variables related to the first-stage operation, including and . On the other hand, vector y includes the remaining continuous variables associated with the second-stage operation. Additionally, vector corresponds to the forecasted uncertainties. The term represents the sum of maintenance costs for energy storage devices and start-up costs for DGs. Furthermore, comprehensively represents the power purchasing costs, fuel costs, and maintenance costs of all generators and bidirectional converters. Set χ is defined by (1)–(4), (17) and (18), and (23)–(33) as the feasible range of decisions for voyage-ahead planning. Equation (56) consolidates all energy balance conditions derived from (39) to (41). Finally, Equation (55) succinctly summarizes all linear constraints for the second-stage operation.
4.3. Two-Stage Robust Coordinated Operation Model
Given the robust coordination framework outlined in
Section 2.3, the two-stage RO model can be formulated as follows.
where
Here, the symbol represents the uncertainty set consisting of wave energy generator output, onboard power loads, and outdoor temperature. Equations (60) and (61) elaborate on the optimization process of the second stage under a specific uncertainty scenario d, which depends on the first-stage decision x and the constraint Y(x, d), obtaining the second-stage cost L(x, d) by replacing the predicted output of the wave energy generation system . Subsequently, in (57), the uncertainty scenario that maximizes the minimization of L(x, d) is identified given the first-stage decision x. Through this robust planning approach, a solution can be found that minimizes both the first-stage cost and the worst-case second-stage cost.
If the first-stage decision x fulfills the criterion outlined in (59), signifying that, for every conceivable uncertainty scenario , implementing decision x guarantees the system’s functionality and viability, then such a first-stage decision is deemed to be robustly feasible. Conversely, in the absence of a robustly feasible decision x, i.e., when the second stage remains viable across all potential uncertainty scenarios, yet a feasible first-stage solution cannot be identified to uphold system viability, the robust program itself is considered infeasible. Consequently, when the uncertainty set experiences substantial expansion, it is essential to perform a thorough feasibility evaluation of the robust program. If the model does not meet the criteria for robust feasibility in practical applications, it suggests that the HEBC microgrid system requires reconfiguration or planning to address significant variations in uncertainty factors, thus ensuring the resilience and adaptability of the system’s design.