「《予防保全》」の版間の差分
(新しいページ: ''''【よぼうほぜん (preventive maintenance) 】''' 予防保全は大きく分けて時間計画保全と状態監視保全がある. 時間計画保全は故障の...') |
|||
(2人の利用者による、間の5版が非表示) | |||
3行目: | 3行目: | ||
予防保全は大きく分けて時間計画保全と状態監視保全がある. 時間計画保全は故障の状態とか摩耗による機能低下などにまったく無関係に, アイテムの故障時間分布と動作時間(年齢)にもとづいて保全をする. | 予防保全は大きく分けて時間計画保全と状態監視保全がある. 時間計画保全は故障の状態とか摩耗による機能低下などにまったく無関係に, アイテムの故障時間分布と動作時間(年齢)にもとづいて保全をする. | ||
− | ここでは, 保全の対象とするシステムを単一ユニットとし, ユニットの故障時間分布を | + | ここでは, 保全の対象とするシステムを単一ユニットとし, ユニットの故障時間分布を <math>F(t)\, </math> (平均 <math>1/\lambda\, </math>), その密度関数を <math>f(t)\, </math>, 故障率を <math>r(t) \equiv f(t)/[1 - F(t)]\, </math>, <math>F(t)\, </math> の再生関数を<math>\displaystyle N(t) \equiv \sum^{\infty}_{n=1} F^{(n)} (t)\, </math>とする. ここで, <math>F^{(n)}\, </math> は <math>F(t)\, </math> の <math>n\, </math> 重たたみこみを表し, <math>N(t)\, </math> は区間 <math>(0, t]\, </math> の平均故障数を示す. |
保全はユニットの[[取替え]]によって行われるとし, 単位時間当りの期待費用を最小にする次の3つの最適予防保全方策 (最適取替方策) について述べる. | 保全はユニットの[[取替え]]によって行われるとし, 単位時間当りの期待費用を最小にする次の3つの最適予防保全方策 (最適取替方策) について述べる. | ||
9行目: | 9行目: | ||
(1) 年齢取替え | (1) 年齢取替え | ||
− | ユニットは故障または動作開始後 | + | ユニットは故障または動作開始後 <math>T\, </math> 時間のどちらか早い時点で取替えられ, その取替え費用をそれぞれ <math>c_f, c_p (< c_f)\, </math> とする. そのとき, 単位時間当りの期待費用は |
− | + | <center> | |
+ | <math> | ||
C_1 (T) = \frac{c_f F(T) + c_p [1 - F(T)]}{\int^T_0 [1 - F(t)] {\rm d}t}. | C_1 (T) = \frac{c_f F(T) + c_p [1 - F(T)]}{\int^T_0 [1 - F(t)] {\rm d}t}. | ||
− | \ | + | \, </math> |
+ | </center> | ||
− | とくに, 故障率 | + | とくに, 故障率 <math>r(t)\, </math> が単調増加関数で, <math>r(\infty) > \lambda c_p / (c_f - c_p)\, </math> とする. そのとき, 費用 <math>C_1(T)\, </math> を最小にする最適取替時間 <math>T^*\, </math> は次の方程式の有限で唯一の解として求められる. |
− | + | ||
+ | <center> | ||
+ | <math> | ||
r(T) \int^T_0 \left[ 1 - F(t) \right] {\rm d}t - F(T) = \frac{c_p}{c_f - c_p}. | r(T) \int^T_0 \left[ 1 - F(t) \right] {\rm d}t - F(T) = \frac{c_p}{c_f - c_p}. | ||
− | \ | + | \, </math> |
+ | </center> | ||
(2) ブロック取替え | (2) ブロック取替え | ||
− | ユニットは年齢に関係なく, 時刻 | + | ユニットは年齢に関係なく, 時刻 <math>kT (k = 1, 2, \ldots)\, </math> で取替えられる. 故障による取替えを <math>c_f, kT\, </math> 時における取替え費用を <math>c_p\, </math> とするとき, 単位時間当りの期待費用は |
− | + | <center> | |
+ | <math> | ||
C_2(T) = \frac{c_f N(T) + c_p}{T}. | C_2(T) = \frac{c_f N(T) + c_p}{T}. | ||
− | \ | + | \, </math> |
+ | </center> | ||
− | 再生関数 | + | 再生関数 <math>N(T)\, </math> の密度関数を <math>n(t) \equiv {\rm d} N(t) / {\rm d}t\, </math> とおくと, 最適取替時間 <math>T^*\, </math> は次式の解として与えられる. |
− | + | <center> | |
+ | <math> | ||
T n(T) - N(T) = \frac{c_p}{c_f}. | T n(T) - N(T) = \frac{c_p}{c_f}. | ||
− | \ | + | \, </math> |
+ | </center> | ||
(3) 小修理取替え | (3) 小修理取替え | ||
− | 故障時において, | + | 故障時において, 取替えるのではなく小修理 (minimal repair) をする. いわば, 故障率が小修理によって不変とする. このとき, 故障時による小修理の費用を <math>c_m, kT\, </math> 時における取替え費用を <math>c_p\, </math> とするとき, 単位時間当りの期待費用は |
− | + | <center> | |
+ | <math> | ||
C_3(T) = \frac{c_m \int^T_0 r(t) {\rm d}t + c_p}{T}. | C_3(T) = \frac{c_m \int^T_0 r(t) {\rm d}t + c_p}{T}. | ||
− | \ | + | \, </math> |
+ | </center> | ||
− | とくに, 故障率 | + | とくに, 故障率 <math>r(t)\, </math> が単調増加関数のとき, 最適な <math>T^*\, </math> が次式の有限な解として唯一求められる. |
− | + | <center> | |
+ | <math> | ||
T r(T) - \int^T_0 r(t){\rm d}t = \frac{c_p}{c_m}. | T r(T) - \int^T_0 r(t){\rm d}t = \frac{c_p}{c_m}. | ||
− | \ | + | \, </math> |
+ | </center> | ||
− | 一般に, 期待費用を最小にする問題を考えたが, | + | 一般に, 期待費用を最小にする問題を考えたが, <math>c_f\, </math> のかわりに事後保全時間 <math>\overline{M}_f, c_p\, </math> のかわりに予防保全時間 <math>\overline{M}_p\, </math> におきかえると, 取替方策は定常アベイラビリティを最大にする問題におき換えることができ |
る. | る. | ||
68行目: | 81行目: | ||
故障などがただちに発見できない場合, 修理・取替などの保全のまえに, アイテムに異常があるかどうかを調べるため, [[点検]]が実施される. 日常生活における自動車の車検, 定期健康診断, 消火器や予備発電機の定期検査なども点検の1種である. | 故障などがただちに発見できない場合, 修理・取替などの保全のまえに, アイテムに異常があるかどうかを調べるため, [[点検]]が実施される. 日常生活における自動車の車検, 定期健康診断, 消火器や予備発電機の定期検査なども点検の1種である. | ||
− | アイテムの故障分布が | + | アイテムの故障分布が <math>(1 - {\rm e}^{- \lambda t})\, </math> の指数分布に従う場合, 定期的に点検する方策 (periodic inspection policy) が実施される. 点検の時間は無視し, その費用を <math>c_i\, </math>, また故障から発見までの単位時間当りの損失費用を c_d とする. アイテムは一定間隔 <math>T\, </math> で点検され, 点検によって故障を発見すれば, 直ちに修理または取替える. そのとき, 動作開始から故障発見までの期待費用は |
− | + | <center> | |
+ | <math> | ||
C_I(T) = \frac{c_i + c_d T}{1 - {\rm e}^{- \lambda T}} - \frac{c_d}{\lambda}. | C_I(T) = \frac{c_i + c_d T}{1 - {\rm e}^{- \lambda T}} - \frac{c_d}{\lambda}. | ||
− | \ | + | \, </math> |
+ | </center> | ||
− | 期待費用 | + | 期待費用 <math>C_I(T)\, </math> を最小にする最適点検時間 <math>T^*\, </math> は次式を満たす有限で唯一の解として求められる. |
− | + | ||
+ | <center> | ||
+ | <math> | ||
{\rm e}^{\lambda T} - 1 - \lambda T = \frac{\lambda c_i}{c_d}. | {\rm e}^{\lambda T} - 1 - \lambda T = \frac{\lambda c_i}{c_d}. | ||
− | \ | + | \, </math> |
+ | </center> | ||
− | |||
+ | 故障分布が一般分布 <math>F(t)\, </math> に従い, 密度関数 <math>f(t)\, </math> をもつ場合, 点検時刻を <math>0 = x_0 < x_1 < x_2 < \ldots < x_k < x_{k+1} < \ldots\, </math> とする. そのとき, 動作開始から故障発見までの期待費用は | ||
− | + | ||
+ | <center> | ||
+ | <math> | ||
C(x_1, x_2, \ldots) = \sum^{\infty}_{k=0} \int^{x_{k+1}}_{x_k} | C(x_1, x_2, \ldots) = \sum^{\infty}_{k=0} \int^{x_{k+1}}_{x_k} | ||
\left[ c_i (k+1) + c_d (x_{k+1} - t) \right] {\rm d}F(t) | \left[ c_i (k+1) + c_d (x_{k+1} - t) \right] {\rm d}F(t) | ||
− | \ | + | \, </math> |
+ | </center> | ||
95行目: | 116行目: | ||
− | + | <center> | |
+ | <math> | ||
x_{k+1} - x_k = \frac{F(x_k) - F(x_{k-1})}{f(x_k)} - \frac{c_i}{c_d} | x_{k+1} - x_k = \frac{F(x_k) - F(x_{k-1})}{f(x_k)} - \frac{c_i}{c_d} | ||
− | \ | + | \ \ \ \ \ (k = 1, 2, \ldots). |
− | \ | + | \, </math> |
− | + | </center> | |
108行目: | 130行目: | ||
[1] R. E. Barlow and F. Proschan, ''Mathematical Theory of Reliability'', SIAM, Philadelphia, PA, 1996. | [1] R. E. Barlow and F. Proschan, ''Mathematical Theory of Reliability'', SIAM, Philadelphia, PA, 1996. | ||
− | [2] 中川覃夫, 河合一, | + | [2] 中川覃夫, 河合一, 「システムの信頼性・保全性解析」, 『オペレーションズ・リサーチ』, '''23''' (1978), 544-554. |
[3] S. Osaki, ''Stochastic System Reliability Modeling'', World Scientific, Philadelphia, PA, 1985. | [3] S. Osaki, ''Stochastic System Reliability Modeling'', World Scientific, Philadelphia, PA, 1985. | ||
− | [4] 塩見弘, | + | [4] 塩見弘, 『信頼性工学入門』, 丸善, 1982. |
+ | |||
+ | [5] 三根久, 河合一, 『信頼性・保全性の数理』, 朝倉書店, 1982. | ||
− | [ | + | [[category:信頼性・保全性|よぼうほぜん]] |
2007年8月7日 (火) 16:24時点における最新版
【よぼうほぜん (preventive maintenance) 】
予防保全は大きく分けて時間計画保全と状態監視保全がある. 時間計画保全は故障の状態とか摩耗による機能低下などにまったく無関係に, アイテムの故障時間分布と動作時間(年齢)にもとづいて保全をする.
ここでは, 保全の対象とするシステムを単一ユニットとし, ユニットの故障時間分布を (平均 ), その密度関数を , 故障率を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r(t) \equiv f(t)/[1 - F(t)]\, } , 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(t)\, } の再生関数を構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \displaystyle N(t) \equiv \sum^{\infty}_{n=1} F^{(n)} (t)\, } とする. ここで, は 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(t)\, } の 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n\, } 重たたみこみを表し, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle N(t)\, } は区間 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (0, t]\, } の平均故障数を示す.
保全はユニットの取替えによって行われるとし, 単位時間当りの期待費用を最小にする次の3つの最適予防保全方策 (最適取替方策) について述べる.
(1) 年齢取替え
ユニットは故障または動作開始後 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T\, } 時間のどちらか早い時点で取替えられ, その取替え費用をそれぞれ とする. そのとき, 単位時間当りの期待費用は
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C_1 (T) = \frac{c_f F(T) + c_p [1 - F(T)]}{\int^T_0 [1 - F(t)] {\rm d}t}. \, }
とくに, 故障率 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r(t)\, }
が単調増加関数で, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r(\infty) > \lambda c_p / (c_f - c_p)\, }
とする. そのとき, 費用 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C_1(T)\, }
を最小にする最適取替時間 は次の方程式の有限で唯一の解として求められる.
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r(T) \int^T_0 \left[ 1 - F(t) \right] {\rm d}t - F(T) = \frac{c_p}{c_f - c_p}. \, }
(2) ブロック取替え
ユニットは年齢に関係なく, 時刻 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle kT (k = 1, 2, \ldots)\, } で取替えられる. 故障による取替えを 時における取替え費用を とするとき, 単位時間当りの期待費用は
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C_2(T) = \frac{c_f N(T) + c_p}{T}. \, }
再生関数 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle N(T)\, }
の密度関数を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n(t) \equiv {\rm d} N(t) / {\rm d}t\, }
とおくと, 最適取替時間 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T^*\, }
は次式の解として与えられる.
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T n(T) - N(T) = \frac{c_p}{c_f}. \, }
(3) 小修理取替え
故障時において, 取替えるのではなく小修理 (minimal repair) をする. いわば, 故障率が小修理によって不変とする. このとき, 故障時による小修理の費用を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle c_m, kT\, } 時における取替え費用を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle c_p\, } とするとき, 単位時間当りの期待費用は
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C_3(T) = \frac{c_m \int^T_0 r(t) {\rm d}t + c_p}{T}. \, }
とくに, 故障率 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r(t)\, }
が単調増加関数のとき, 最適な 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T^*\, }
が次式の有限な解として唯一求められる.
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T r(T) - \int^T_0 r(t){\rm d}t = \frac{c_p}{c_m}. \, }
一般に, 期待費用を最小にする問題を考えたが, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle c_f\, }
のかわりに事後保全時間 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \overline{M}_f, c_p\, }
のかわりに予防保全時間 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \overline{M}_p\, }
におきかえると, 取替方策は定常アベイラビリティを最大にする問題におき換えることができ
る.
ユニットの故障率が IFR 型 (故障率が増加関数) でない場合やユニットが複雑に組合わさってシステムの分布の情報が判らない航空機などの場合, ある特性値の状態を監視してその状態に応じて行う保全を (状態監視保全) という. また, システムの状態として動作状態と故障状態の2状態でなく, 動作状態を機能の劣化の程度や損傷量などによって多くの異なった状態に分類する状態劣化システム (state deterioration system) (マルコフ劣化システム) を考えることもできる. このようなシステムに対して, 観測された状態を見て保全を行うかどうかを決定する最適予防保全が議論されている.
故障などがただちに発見できない場合, 修理・取替などの保全のまえに, アイテムに異常があるかどうかを調べるため, 点検が実施される. 日常生活における自動車の車検, 定期健康診断, 消火器や予備発電機の定期検査なども点検の1種である.
アイテムの故障分布が 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (1 - {\rm e}^{- \lambda t})\, } の指数分布に従う場合, 定期的に点検する方策 (periodic inspection policy) が実施される. 点検の時間は無視し, その費用を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle c_i\, } , また故障から発見までの単位時間当りの損失費用を c_d とする. アイテムは一定間隔 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T\, } で点検され, 点検によって故障を発見すれば, 直ちに修理または取替える. そのとき, 動作開始から故障発見までの期待費用は
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C_I(T) = \frac{c_i + c_d T}{1 - {\rm e}^{- \lambda T}} - \frac{c_d}{\lambda}. \, }
期待費用 を最小にする最適点検時間 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T^*\, }
は次式を満たす有限で唯一の解として求められる.
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle {\rm e}^{\lambda T} - 1 - \lambda T = \frac{\lambda c_i}{c_d}. \, }
故障分布が一般分布 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F(t)\, }
に従い, 密度関数 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(t)\, }
をもつ場合, 点検時刻を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 0 = x_0 < x_1 < x_2 < \ldots < x_k < x_{k+1} < \ldots\, }
とする. そのとき, 動作開始から故障発見までの期待費用は
で与えられ, 最適な点検時刻列は次式より求められる.
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x_{k+1} - x_k = \frac{F(x_k) - F(x_{k-1})}{f(x_k)} - \frac{c_i}{c_d} \ \ \ \ \ (k = 1, 2, \ldots). \, }
参考文献
[1] R. E. Barlow and F. Proschan, Mathematical Theory of Reliability, SIAM, Philadelphia, PA, 1996.
[2] 中川覃夫, 河合一, 「システムの信頼性・保全性解析」, 『オペレーションズ・リサーチ』, 23 (1978), 544-554.
[3] S. Osaki, Stochastic System Reliability Modeling, World Scientific, Philadelphia, PA, 1985.
[4] 塩見弘, 『信頼性工学入門』, 丸善, 1982.
[5] 三根久, 河合一, 『信頼性・保全性の数理』, 朝倉書店, 1982.