1 Introduction

The preventive maintenance policy is one of the most important problems in the reliability theory and the maintenance one. The preventive maintenance models are classified into several categories, and many kinds of preventive maintenance policies have been discussed (e.g., [1,2,3,4,5,6, 10, 12,13,14]). Especially, there exists a preventive maintenance policy taking account of damage by shocks as one of them (e.g., [7, 9, 11]).

In this chapter, we consider the extended preventive maintenance policies for cumulative damage models with stochastic failure levels. That is, we discuss the optimal preventive maintenance policies for the system that fails when the cumulated amount of damage by shocks exceeds a stochastic failure level, assuming a continuous distribution and a discrete one, respectively. We apply the expected costs per unit time in the steady state as criteria of optimality and seek the optimal policies minimizing these expected costs. We show that there exists a unique optimal policy under certain conditions, respectively. Furthermore, we refer to the modified models where the shock does not always give the damage to the system.

2 Preventive Maintenance Policies for a Cumulative Damage Model with a Continuous Distribution

2.1 Model and Assumptions

  1. 1.

    Consider a one–unit system.

  2. 2.

    System failure is revealed at failure immediately and each failed unit is scrapped without repair.

  3. 3.

    An unlimited number of spare units are immediately available when they are needed.

  4. 4.

    The original unit begins operating at time \(0\) with the cumulated amount of damage \(0\).

  5. 5.

    The planning horizon is infinite.

  6. 6.

    The damage occurred by shocks is additive.

  7. 7.

    The unit fails only when the cumulated amount of damage by shocks exceeds the stochastic failure label r.v. (random variable) \(W\) (\(W \ge 0\)). The r.v. \(W\) obeys a cdf (cumulative distribution function) \(D(w)\) (\(w \ge 0\)) with a pdf (probability density function) \(d(w)\).

  8. 8.

    When the cumulated amount of damage exceeds the predetermined exchange level \(w_{0}\) (\(0 \le w_{0} < \infty\)) by any shock, the unit is exchanged if it has not failed, by the spare one immediately (i.e., the preventive maintenance). On the other hand, the unit is replaced if it has failed by any shock in a similar fashion (i.e., the corrective one).

  9. 9.

    The exchange and replacement actions are executed instantaneously. The new exchanged and replaced units take over the operation immediately.

  10. 10.

    The similar cycles are repeated from time to time. That is, an interval from the start of the original unit (the exchange or the replacement) to the following exchange or replacement is defined as one cycle, and the cycle repeats itself again and again.

  11. 11.

    The time interval between \(j - 1{\text{st}}\) shock and \(j{\text{th}}\) one is r.v. \(T_{j}\) (\(j = 1,2,3, \ldots ;\) \(T_{j} \ge 0\) and r.v. \(T_{1}\) is the time interval between the time \(0\) and the first shock), and the amount of damage by jth shock is r.v. \(X_{j}\) (\(X_{j} \ge 0\)), where r.v. \(X_{i}\) is independent of r.v. \(T_{j}\) (\(i \ne j\)).

  12. 12.

    There exist \(n\) types of shock modes and the shock mode \(i\) occurs with probability \(a_{i}\) (\(i = 1,2, \ldots ,n;\;\sum\nolimits_{i = 1}^{n} a_{i} = 1;\;a_{i} \ge 0\)). Under the condition that the mode of \(j{\text{th}}\) shock is the \(i{\text{th}}\) type, r.v. \(T_{j}\) obeys a cdf \(F_{i} (t)\) (\(t \ge 0\)), and r.v. \(X_{j}\) obeys a cdf \(G_{i} (x)\) (\(x \ge 0\)), that is, to say r.v. \(T_{j}\) obeys the cdf \(F(t) = \sum\nolimits_{i = 1}^{n} a_{i} F_{i} (t)\), and r.v. \(X_{j}\) obeys the cdf \(G(x) = \sum\nolimits_{i = 1}^{n} a_{i} G_{i} (x)\). Furthermore, we put \(\int_{0}^{\infty } t{\text{d}}F_{i} (t) = 1/\lambda_{i}\) and \(\int_{0}^{\infty } t{\text{d}}F(t) = 1/\lambda\) and this implies the relation \(1/\lambda = \sum\nolimits_{i = 1}^{n} a_{i} /\lambda_{i}\). The amount of damage by \(j{\text{th}}\) shock, r.v. \(X_{j}\) has a renewal function \(M(x)\) and a renewal density \(m(x)\).

  13. 13.

    The costs considered are a cost \(c_{0}\) suffered for each exchange before a failure (each preventive maintenance) and a cost \(c_{i}\) suffered for each replacement after a failure (each corrective one) due to shock mode \(i\), where \(c_{i} > c_{0}\) since the corrective maintenance is more expensive than the preventive one.

Under these model and assumptions, we derive the expected cost per unit time in the steady state and discuss the optimal preventive maintenance policies minimizing that expected cost.

2.2 Analysis and Theorems

The expected cost per one cycle \(A_{c} (w_{0} )\) is given by

$$\begin{aligned} A_{c} (w_{0} ) & = c_{0} \int\limits_{{w_{0} }}^{\infty } {[G(w)} - \int\limits_{0}^{{w_{0} }} {\bar{G}(w - u){\text{d}}M(u)]dD(w)} \\ & \quad + \sum\limits_{i = 1}^{n} a_{i} c_{i} \left[ {\int\limits_{0}^{{w_{0} }} {\left\{ {\bar{G}_{i} (w) + \int\limits_{0}^{w} {\bar{G}_{i} (w - u){\text{d}}M(u)} } \right\}{\text{d}}D(w)} } \right. \\ & \quad + \left. {\int\limits_{{w_{0} }}^{\infty } {\left\{ {\bar{G}_{i} (w) + \int\limits_{0}^{{w_{0} }} {\bar{G}_{i} (w - u){\text{d}}M(u)} } \right\}} {\text{d}}D(w)} \right], \\ \\ \end{aligned}$$
(1)

where \(\bar{\psi }( \cdot ) = 1 - \psi ( \cdot )\), in general.

The mean time of one cycle \(B_{c} (w_{0} )\) is

$$B_{c} (w_{0} ) = (1/\lambda )\left[ {\int\limits_{0}^{{w_{0} }} {\left\{ {1 + M(w)} \right\}{\text{d}}D(w) + \left\{ {1 + M(w_{0} )} \right\}\bar{D}(w_{0} )} } \right].$$
(2)

We obtain the following when \(w_{0} = 0\) and \(w_{0} \to \infty\).

$$A_{c} (0) = c_{0} \int\limits_{0}^{\infty } {G(w){\text{d}}D(w)} + \sum\limits_{i = 1}^{n} a_{i} c_{i} \int\limits_{0}^{\infty } {\bar{G}_{i} (w){\text{d}}D(w)} \;,$$
(3)
$$B_{c} (0) = 1/\lambda \;,$$
(4)
$$A_{c} (\infty ) = \sum\limits_{i = 1}^{n} a_{i} c_{i} \int\limits_{0}^{\infty } {\left[ {\bar{G}_{i} (w) + \int\limits_{0}^{w} {\bar{G}_{i} (w - u){\text{d}}M(u)} } \right]} {\text{d}}D(w)\;,$$
(5)

and

$$B_{c} (\infty ) = (1/\lambda )\int\limits_{0}^{\infty } {\left[ {1 + M(w)} \right]} {\text{d}}D(w)\;.$$
(6)

Thus, the expected cost per unit time in the steady state is given by

$$C_{c} (w_{0} ) = \frac{{A_{c} (w_{0} )}}{{B_{c} (w_{0} )}}$$
(7)

(see [15], p. 52).

Define the numerator divided by \(m(w_{0} )\bar{D}(w_{0} )\) of the derivative of the right-hand side in Eq. (7) as

$$\begin{aligned} q_{c} (w_{0} ) & = [1/\bar{D}(w_{0} )]\left[ { - c_{0} \int\limits_{{w_{0} }}^{\infty } {\bar{G}(w - w_{0} ){\text{d}}D(w)} } \right. \\ & \quad \left. { + \sum\limits_{i = 1}^{n} a_{i} c_{i} \int\limits_{{w_{0} }}^{\infty } {\bar{G}_{i} (w - w_{0} ){\text{d}}D(w)} } \right]B_{c} (w_{0} ) \\ & \quad - A_{c} (w_{0} )(1/\lambda ), \\ \end{aligned}$$
(8)

where \(q_{c} (0) = - c_{0} /\lambda < 0\).

We obtain the following theorems with respect to the optimal exchange level \(w_{0}^{*}\) minimizing the expected cost per unit time in the steady state \(C_{c} (w_{0} )\) in Eq. (7).

Theorem 1

There exists at least one positive optimal exchange level \(w_{0}^{*}\) (\(0 < w_{0}^{*} \le \infty\)). If \(q_{c} (\infty ) > 0\) , then there exists at least one positive and finite optimal exchange level \(w_{0}^{*}\) (\(0 < w_{0}^{*} < \infty\)).

Proof

These results hold clearly since \(q_{c} (0) = - c_{0} /\lambda < 0\).□

Theorem 2

  1. 1.

    Suppose that \(q_{c} (w_{0} )\) is strictly increasing.

  1. (i)

    If \(q_{c} (\infty ) > 0\) , then there exists a finite and unique optimal exchange level \(w_{0}^{*}\) (\(0 < w_{0}^{*} < \infty\)) satisfying \(q_{c} (w_{0} ) = 0\) and the corresponding expected cost is

    $$\begin{aligned} C_{c} (w_{0}^{*} ) & = [\lambda /\bar{D}(w_{0}^{*} )]\left[ { - c_{0} \int\limits_{{w_{0}^{*} }}^{\infty } {\bar{G}(w - w_{0}^{*} ){\text{d}}D(w)} } \right. \\ & \quad + \sum\limits_{i = 1}^{n} a_{i} c_{i} \left. {\int\limits_{{w_{0}^{*} }}^{\infty } {\bar{G}_{i} (w - w_{0}^{*} ){\text{d}}D(w)} } \right]. \\ \end{aligned}$$
    (9)
  2. (ii)

    If \(q_{c} (\infty ) \le 0\) , then the optimal exchange level is \(w_{0}^{*} \to \infty\) , i.e., the unit continues operation until its failure and then it is replaced by the new one, and the corresponding expected cost is \(C_{c} (\infty ) = A_{c} (\infty )/B_{c} (\infty )\).

  1. 2.

    When \(q_{c} (w_{0} )\) is decreasing, we have \(w_{0}^{*} \to \infty\).

Proof

These results hold clearly from the monotone properties of \(q_{c} (w_{0} )\) and Theorem 1.□

2.3 Remarks

In the present model, if we put \(c_{N} = c_{i}\) (\(i = 1,2, \ldots ,n\)), \(D(w) = u(w - W_{0} )\) (unit function), and \(w_{0} < W_{0}\), or if we put \(c_{N} = \sum\nolimits_{i = 1}^{n} a_{i} c_{i}\), \(G(x) = G_{i} (x)\), \(D(w) = u(w - W_{0} )\), and \(w_{0} < W_{0}\), we have

$$A_{c} (w_{0} ) = c_{0} + (c_{N} - c_{0} )\left[ {\bar{G}(W_{0} ) + \int\limits_{0}^{{w_{0} }} {\bar{G}(W_{0} - u){\text{d}}M(u)} } \right]\;,$$
(10)

and

$$B_{c} (w_{0} ) = [1 + M(w_{0} )]/\lambda .$$
(11)

This is equivalent to the result discussed by Nakagawa [9].

In the present model, we assume that the shock gives the damage to the system with probability \(1\). Next, we refer to the preventive maintenance policy for the modified continuous type cumulative damage model, where the shock does not always give the damage to the system (see [11]). That is, we consider the situation that the shock generates the damage to the system with probability \(p\) (\(0 < p \le 1\)), i.e., it does not with probability \(1 - p\). Also for this situation, we can apply our results by using \(\lambda \,p\) instead of \(\lambda\).

3 Preventive Maintenance Policies for a Cumulative Damage Model with a Discrete Distribution

3.1 Model and Assumptions

We apply items 1–6, 9, 10, and 13 not only in Sect. 2.1 but also in this section, and we rewrite items 7, 8, 11, and 12 for the discrete distribution as follows.

  1. 7.

    The unit fails only when the cumulated amount of damage by shocks exceeds the stochastic failure label r.v. \(V\) (\(V = 0,1,2, \ldots\)). The r.v. \(V\) obeys a cdf \(K(v)\) (\(v = 0,1,2, \ldots\)) with a pmf (probability mass function) \(k(v)\) (\(k(0) = 0\)).

  2. 8.

    When the cumulated amount of damage exceeds the predetermined exchange level \(v_{0}\) (\(v_{0} = 0,1,2, \ldots\)) by any shock, the unit is exchanged if it has not failed, by the spare one immediately (the preventive maintenance). On the other hand, the unit is replaced if it has failed by any shock in a similar fashion (the corrective one).

  3. 11.

    The time interval between \(k - 1{\text{st}}\) shock and \(k{\text{th}}\) one is r.v. \(B_{k}\) (\(k = 1,2,3, \ldots ;\;B_{k} = 0,1,2, \ldots\) and r.v. \(B_{1}\) is the time interval between the time \(0\) and the first shock), and the amount of damage by \(k{\text{th}}\) shock is r.v. \(D_{k}\) (\(D_{k} = 0,1,2, \ldots\)), where r.v. \(D_{i}\) is independent of r.v. \(B_{j}\) (\(i \ne j\)).

  4. 12.

    There exist \(n\) types of shock modes and the shock mode \(i\) occurs with probability \(a_{i}\) (\(i = 1,2, \ldots ,n;\sum\nolimits_{i = 1}^{n} a_{i} = 1;a_{i} \ge 0\)). Under the condition that the mode of \(k{\text{th}}\) shock is the \(i{\text{th}}\) type, r.v. \(B_{k}\) obeys a cdf \(F_{i} (b)\) (\(b = 0,1,2, \ldots\)) with a pmf \(f_{i} (b)\) (\(f_{i} (0) = 0\)), and r.v. \(D_{k}\) obeys a cdf \(G_{i} (d)\) (\(d = 0,1,2, \ldots\)), that is, r.v. \(B_{k}\) obeys the cdf \(F(b) = \sum\nolimits_{i = 1}^{n} a_{i} F_{i} (b)\) with the pmf \(f(b) = \sum\nolimits_{i = 1}^{n} a_{i} f_{i} (b)\), and r.v. \(D_{k}\) obeys the cdf \(G(d) = \sum\nolimits_{i = 1}^{n} a_{i} G_{i} (d)\). Furthermore, we put \(\sum\nolimits_{b = 0}^{\infty } bf_{i} (b) = 1/\lambda_{i}\) and \(\sum\nolimits_{b = 0}^{\infty } bf(b) = 1/\lambda\) and this implies the relation \(1/\lambda = \sum\nolimits_{i = 1}^{n} a_{i} /\lambda_{i}\). The amount of damage by \(k{\text{th}}\) shock, r.v. \(D_{k}\) has a renewal function \(M(d)\) and a renewal probability mass function \(m(d)\) (see [8]).

Under these model and assumptions, we derive the expected cost per unit time in the steady state and discuss the optimal preventive maintenance policies minimizing that expected cost.

3.2 Analysis and Theorems

The expected cost per one cycle \(A_{d} (v_{0} )\) is given by

$$\begin{aligned} A_{d} (v_{0} ) & = c_{0} \sum\limits_{{v = v_{0} + 1}}^{\infty } [G(v) - \sum\limits_{l = 0}^{{v_{0} }} \bar{G}(v - l)m(l)]k(v) \\ & \quad + \sum\limits_{i = 1}^{n} a_{i} c_{i} [\sum\limits_{v = 0}^{{v_{0} }} \{ \bar{G}_{i} (v) + \sum\limits_{l = 0}^{v} \bar{G}_{i} (v - l)m(l)\} k(v) \\ & \quad + \sum\limits_{{v = v_{0} + 1}}^{\infty } \{ \bar{G}_{i} (v) + \sum\limits_{l = 0}^{{v_{0} }} \bar{G}_{i} (v - l)m(l)\} k(v)]. \\ \end{aligned}$$
(12)

The mean time of one cycle \(B_{d} (v_{0} )\) is

$$B_{d} (v_{0} ) = (1/\lambda )\left[ {\sum\limits_{v = 0}^{{v_{0} }} \{ 1 + M(v)\} k(v) + \{ 1 + M(v_{0} )\} \bar{K}(v_{0} )} \right]\;.$$
(13)

We obtain the following when \(v_{0} = 0\) and \(v_{0} \to \infty\).

$$A_{d} (0) = c_{0} \sum\limits_{v = 1}^{\infty } G(v)k(v) + \sum\limits_{i = 1}^{n} a_{i} c_{i} \sum\limits_{v = 1}^{\infty } \bar{G}_{i} (v)k(v)\;,$$
(14)
$$B_{d} (0) = 1/\lambda \;,$$
(15)
$$A_{d} (\infty ) = \sum\limits_{i = 1}^{n} a_{i} c_{i} \sum\limits_{v = 0}^{\infty } [\bar{G}_{i} (v) + \sum\limits_{l = 0}^{v} \bar{G}_{i} (v - l)m(l)]k(v)\;,$$
(16)

and

$$B_{d} (\infty ) = (1/\lambda )\sum\limits_{v = 0}^{\infty } [1 + M(v)]k(v)\;.$$
(17)

Thus, the expected cost per unit time in the steady state is given by

$$C_{d} (v_{0} ) = \frac{{A_{d} (v_{0} )}}{{B_{d} (v_{0} )}}$$
(18)

(see [15], p. 52).

Define the numerator divided by \(m(v_{0} + 1)\bar{K}(v_{0} )\) of the difference of \(C_{d} (v_{0} )\) in Eq. (18) as

$$\begin{aligned} q_{d} (v_{0} ) & = [1/\bar{K}(v_{0} )]\left[ { - c_{0} \sum\limits_{{v = v_{0} + 1}}^{\infty } \bar{G}(v - v_{0} - 1)k(v)} \right. \\ & \quad \left. { + \sum\limits_{i = 1}^{n} a_{i} c_{i} \sum\limits_{{v = v_{0} + 1}}^{\infty } \bar{G}_{i} (v - v_{0} - 1)k(v)} \right]B_{d} (v_{0} ) \\ & \quad - A_{d} (v_{0} )(1/\lambda ). \\ \end{aligned}$$
(19)

We obtain the following theorems with respect to the optimal exchange level \(v_{0}^{*}\) minimizing the expected cost per unit time in the steady state \(C_{d} (v_{0} )\) in Eq. (18).

Theorem 3

  1. 1.

    If \(q_{d} (\infty ) > 0\), then there exists at least one finite optimal exchange level \(v_{0}^{*}\) (\(0 \le v_{0}^{*} < \infty\)).

  2. 2.

    If \(q_{d} (0) < 0\) , then there exists at least one positive optimal exchange level \(v_{0}^{*}\) (\(0 < v_{0}^{*} \le \infty\)).

Proof

These results hold clearly.□

Theorem 4

  1. 1.

    Suppose that \(q_{d} (v_{0} )\) is strictly increasing.

  1. (i)

    If \(q_{d} (0) < 0\) and \(q_{d} (\infty ) > 0\), then there exists a finite and unique optimal exchange level \(v_{0}^{*}\) ( \(0 < v_{0}^{*} < \infty\) ) satisfying \(q_{d} (v_{0} - 1) < 0\) and \(q_{d} (v_{0} ) \ge 0\) . We have the following relationship with respect to the optimal expected cost.

    $$\begin{aligned} & [\lambda /\bar{K}(v_{0}^{*} - 1)]\left[ { - c_{0} \sum\limits_{{v = v_{0}^{*} }}^{\infty } \bar{G}(v - v_{0}^{*} )k(v)} \right. \\ & \quad \left. { + \sum\limits_{i = 1}^{n} a_{i} c_{i} \sum\limits_{{v = v_{0}^{*} }}^{\infty } \bar{G}_{i} (v - v_{0}^{*} )k(v)} \right] \\ & \quad < C_{d} (v_{0}^{*} ) \\ & \quad \le [\lambda /\bar{K}(v_{0}^{*} )]\left[ { - c_{0} \sum\limits_{{v = v_{0}^{*} + 1}}^{\infty } \bar{G}(v - v_{0}^{*} - 1)k(v)} \right. \\ & \quad \left. { + \sum\limits_{i = 1}^{n} a_{i} c_{i} \sum\limits_{{v = v_{0}^{*} + 1}}^{\infty } \bar{G}_{i} (v - v_{0}^{*} - 1)k(v)} \right]. \\ \end{aligned}$$
    (20)
  2. (ii)

    If \(q_{d} (\infty ) \le 0\), then the optimal exchange level is \(v_{0}^{*} \to \infty\), and the corresponding expected cost is \(C_{d} (\infty ) = A_{d} (\infty )/B_{d} (\infty )\).

  3. (iii)

    If \(q_{d} (0) \ge 0\), then the optimal exchange level is \(v_{0}^{*} = 0\), i.e., the unit is exchanged or replaced (failure) by the new one at the first shock. The corresponding expected cost is \(C_{d} (0) = A_{d} (0)/B_{d} (0)\).

  1. 2.

    When \(q_{d} (v_{0} )\) is decreasing, we have \(v_{0}^{*} \to \infty\) or \(v_{0}^{*} = 0\).

Proof

These results hold clearly from the monotone properties of \(q_{d} (v_{0} )\) and Theorem 3.□

3.3 Remarks

We put

$$u(d) = \sum\limits_{j = 0}^{d} \delta (j) = 1,d = 0,1,2, \ldots ,$$
(21)

where

$$\delta (d) = \left\{ {\begin{array}{*{20}l} {1,} \hfill & {d = 0,} \hfill \\ {0,} \hfill & {d = 1,2,3, \ldots .} \hfill \\ \end{array} } \right.$$
(22)

In the present model, if we put \(c_{N} = c_{i}\) (\(i = 1,2, \ldots ,n\)), \(K(v) = u(v - V_{0} )\), and \(v_{0} < V_{0}\), or if we put \(c_{N} = \sum\nolimits_{i = 1}^{n} a_{i} c_{i}\), \(G(d) = G_{i} (d)\), \(K(v) = u(v - V_{0} )\), and \(v_{0} < V_{0}\),

$$A_{d} (v_{0} ) = c_{0} + (c_{N} - c_{0} )[\bar{G}(V_{0} ) + \sum\limits_{l = 0}^{{v_{0} }} \bar{G}(V_{0} - l)m(l)],$$
(23)

and

$$B_{d} (v_{0} ) = [1 + M(v_{0} )]/\lambda .$$
(24)

This is equivalent to the result discussed by Kaio and Osaki [7].

In the similar fashion of Sect. 2.3, when the shock generates the damage to the system with probability \(p\) (\(0 < p \le 1\)), i.e., it does not with probability \(1 - p\), we can apply our results by using \(\lambda \,p\) instead of \(\lambda\).

4 Concluding Remarks

In this chapter, we have discussed the preventive maintenance policies for the extended cumulative damage model, in which the system fails when the cumulated amount of damage by shocks exceeds a stochastic failure level, assuming several shock modes, and a continuous distribution and a discrete one, respectively. We have applied the expected costs per unit time in the steady state as criteria of optimality and sought the optimal policies minimizing these expected costs. We also have shown the relationships between the results of this chapter and ones obtained in the earlier contributions.