《システムの信頼性》 - 版の履歴

2007年8月7日 (火) 07:26にKuwashimaによる

2007-08-07T07:26:00Z

Orsjwiki: "《システムの信頼性》" を保護しました。 [edit=sysop:move=sysop]

2007-07-19T14:02:28Z

"《システムの信頼性》" を保護しました。 [edit=sysop:move=sysop]

2007年7月19日 (木) 05:07に122.17.2.240による

2007-07-19T05:07:08Z

2007年7月17日 (火) 05:33に122.17.2.240による

2007-07-17T05:33:45Z

2007年7月13日 (金) 01:23に122.17.2.240による

2007-07-13T01:23:23Z

差分を表示

2007年7月12日 (木) 08:59に122.17.2.240による

2007-07-12T08:59:51Z

2007年7月11日 (水) 13:40に122.17.2.240による

2007-07-11T13:40:34Z

122.17.2.240: 新しいページ: ''''【しすてむのしんらいせい (systems reliability) 】''' 　多くの要素(部品, 機器など)から構成されるシステムの場合, システムの信頼...'

2007-07-09T13:06:23Z

新しいページ: ''''【しすてむのしんらいせい (systems reliability) 】''' 　多くの要素(部品, 機器など)から構成されるシステムの場合, システムの信頼...'

新規ページ

'''【しすてむのしんらいせい (systems reliability) 】'''

　多くの要素(部品, 機器など)から構成されるシステムの場合, システムの信頼度は要素の信頼度により評価される. $n$ 個の要素から構成されるシステムにおいて, 要素一個の故障確率を $q$ とし要素が一つでも故障するとシステムが故障するとすれば, システムの故障確率 $Q$ は $Q=1-(1-q)^{n} \simeq qn$ となる. 信頼性の高い部品の開発によって部品一個あたりの故障確率 $q$ は小さくなっているが, 一方においてシステムを構成する部品数 $n$ がそれ以上に大きくなっているため, システムの故障確率 $Q$ は大きくなっているのが現状である. 従って, システムの大規模化に伴い[[システムの信頼性設計]]の必要性が益々増大しているといえる.

　信頼性の観点から[[システム構成 (信頼性の)|システム構成]]を考える場合, システムの状態(正常, 故障)とその構成要素の状態(正常, 故障)との間の論理的関係からシステムが分類される. 要素が一つでも故障するとシステムが故障するとき, そのシステムは直列シテムであるという. 直列システムの場合, 部品 $i\,(i=1, 2,\ldots ,n)$ の信頼度を $R_{i}(t)$ とすると, システムの信頼度 $R_{S}(t)$ は

\begin{eqnarray}
R_{S}(t)= \prod_{i=1}^{n} R_{i}(t) \leq \min_{i} R_{i}(t)　
\label{B-E-06+system1}
\end{eqnarray}

となり, システム信頼度は要素信頼度の最小値で抑えられてしまう. これは, 信頼度の低い部品を改善しないとシステムの信頼度は向上しないことを意味し, 底上げがシステム信頼度改善の基本であること示している.

　一方, 要素が全て故障したときのみシステムが故障するとき, そのシステムは並列システムであるという. 並列システムの場合, システムの信頼度は

\begin{eqnarray}
R_{S}(t)= 1- \prod_{i=1}^{n} (1-R_{i}(t)) \geq \max_{i} R_{i}(t)　
\label{B-E-06+system2}
\end{eqnarray}

となり, システムの信頼度は要素信頼度の最大値よりも大きくなる. 並列冗長システムは, 同じ機能を持つ部品や機器を2つ以上同時に使用し, そのうち少なくとも一つが故障していなければ機能は維持される並列システムである. $n$ 個の機器を並列冗長で使用すると信頼度は必ず改善されるが, 平均寿命は $n$ 倍にはならない. これに対し, 待機冗長システムは, 使用機器は一台だけで残りは待機させて, 使用機器が故障すれば待機している機器に切り替えるシステムである. 待機冗長システムの信頼度は, 切替えの信頼度が1ならば並列冗長システムより高くなり, 待機中は故障しないものとすればシステムの平均寿命は $n$ 倍となる.

　要素が直列と並列に組合わさって構成されたシステムを直並列システムと言い, 直列構成の部分には (1) 式による信頼度計算を, 並列構成の部分には (2) 式による計算を順次積み上げることによりシステムの信頼度を評価できる. 直並列で表現できないシステムは非直並列システムと言い, システムの信頼度計算は複雑になる.

　一般に, $n$ 個の要素から構成されるシステムにおいて, システムの機能(正常, 故障)と構成要素の機能(正常, 故障)の間の関係は構造関数によって表される. $C= \{ c_{1}, c_{2}, \ldots , c_{n} \}$ を要素の集合とし, 要素 $c_{i}\,(i=1, 2, \ldots ,n)$ とシステムに対し, 次の2値変数を導入する.

x_{i}= \left \{
\begin{array}{ll}
1 & 要素 c_{i}が正常状態にあるとき, \\
0 & 要素 c_{i}が故障状態にあるとき,
\end{array}
\right.

z= \left \{
\begin{array}{ll}
1 & システムが正常状態にあるとき, \\
0 & システムが故障状態にあるとき.
\end{array}
\right.

このとき, $z$ は $X=(x_{1},x_{2}, \ldots ,x_{n})$ の2値関数

\begin{eqnarray} \nonumber
z= \phi(X)
\end{eqnarray}

として表され, システムの構造関数とよばれる. システムの構造関数 $\phi(X)$ が次の条件を満たすとき, システムは[[コヒーレントシステム]]であるという.

\begin{itemize}
\item [(1)] $X \geq Y$ である2つのベクトル $X,Y$ に対し, 常に $\phi(X) \geq
\phi(Y)$ が成り立つ. 即ち, 関数 $\phi(X)$ が単調性を満たす.
\item [(2)] $\phi(0, 0, \ldots , 0)=0$ および $\phi(1, 1, \ldots , 1)=1$ が成り立つ.
\end{itemize}

　条件 (1) は各要素が正常状態から故障状態に移るとき, システムが逆に故障状態から正常状態に移ることはないことを意味する. 通常のシステムは条件 (1) と (2) を満たしており, コヒーレントシステムの信頼度解析が重要となる.

　コヒーレントシステムにおいて, $\phi(X)=1$ を満足するベクトル $X$ に対し, $Y < X$ である全てのベクトルについて $\phi(X)=0$ ならば, ベクトル $X$ を極小パスベクトルと言い, $X$ の中で $x_{i}=1$ である要素 $c_{i}$ の集合を極小パスセットという. 極小パスセットはシステムが正常に動作するために, 必要最小限に動作していなければならない要素の集合を意味する.

　システムの極小パスセットを $P_{1}, P_{2}, \ldots , P_{m}$ とし, $P_{j}\,(j=1, 2, \ldots , m)$ の要素の2値変数の積を $Q_{j}$ とすると, システムの構造関数は

\begin{eqnarray}
\phi(X)= 1-(1-Q_{1})(1-Q_{2}) \cdots (1-Q_{n})
\end{eqnarray}

で与えられる.

　直列システムの極小パスセットは $\{c_{1}, c_{2}, \ldots , c_{n} \}$ で, その構造関数は,

\begin{eqnarray} \nonumber
\phi(X)=x_{1}x_{2} \cdots x_{n},
\end{eqnarray}

並列システムの極小パスセットは $\{c_{1}\}, \{c_{2}\}, \ldots , \{c_{n}\}$ で, その構造関数は,

\begin{eqnarray} \nonumber
\phi(X)= 1-(1-x_{1})(1-x_{2}) \cdots (1-x_{n})
\end{eqnarray}

となる. 直並列システムの構造関数は, その構造に対応して直列と並列の構造関数を組み合せて求めることもできる. その場合, 各2値変数が重複して現れない関数表現になっているのが特徴である.

　要素 $c_{i}$ の信頼度を $R_{i}\,(i=1, 2, \ldots ,n)$, システムの信頼度を $R_{S}$ とすると, $R_{S}$は$R_{1}, R_{2}, \ldots , R_{n}$ の関数

\begin{eqnarray}
R_{S}=h(R_{1}, R_{2}, \ldots , R_{n})
\end{eqnarray}

として表すことができる. 構造関数 $\phi(X)$ から信頼度関数 $h(R_{1}, R_{2}, \ldots , R_{n})$ を求めるには次のような方法がある.

:(1) 極小パスセットを使い, 包除定理, 排反項生成法, Esary-Proschan bound 法などによって, 信頼度の厳密式, 近似式, 上下限式等を求める.

:(2) $\phi(X)$ の中で, 重複変数(式中に2度以上現れる変数)に順次ベイズ定理による分解-縮約と, 独立な中間項への分割を繰り返すことによって, 重複変数を含まない関数の確率計算に帰着する.

:(3) $\phi(X)$ を一旦積和形に展開し, 0-1変数のべき等則 $x_{i}^{r} \rightarrow x_{i} (r \geq 2)$ による簡単化を行う.

:(4) モンテカルロ法を使用して近似値を求める.

　いずれの方法も, 要素の数が増えると関数の長さが指数的に長くなるため, それを減らす努力が中心となる. また, [[ネットワーク信頼性]]を評価する場合は, ネットワークのトポロジカルな情報を使って効率的に計算式を求める方法も与えられている.

　システムの信頼性設計においては, コストや重量など他の制約も考慮して, システムの信頼度を最大にするように, 構成要素の信頼度や冗長度を決定する[[信頼度分配]]問題を解く必要がある. 複数の制約条件のもとでシステム信頼度を最大化するために, 構成要素の信頼度を決定する問題は非線形実数計画問題, 構成要素の冗長数を決定する問題は非線形整数計画問題, 構成要素の信頼度と冗長数の両方を決定する問題は非線形混合整数計画問題となり, いずれの問題についても厳密解法や近似解法が与えられている.

----

'''参考文献'''

[1] R. E. Barlow and F. Proschan, ''Mathematical Theory of Reliability'', SIAM, Philadelphia, PA, 1996.

[2] R. E. Barlow and F. Proschan, ''Statistical Theory of Reliability and Life Testing'', To Begin With, c/o Gordon Pledger, 1142 Hornell Drive, Sliver Spring, MD 20904, 1981.

[3] F. A. Tillman, C. H. Hwang and W. Kuo, ''Optimization of Systems Reliability'', Marcel Dekker, 1980.

← 古い版		2007年8月7日 (火) 07:26時点における版
143行目:		143行目:

	[3] F. A. Tillman, C. H. Hwang and W. Kuo, ''Optimization of Systems Reliability'', Marcel Dekker, 1980.		[3] F. A. Tillman, C. H. Hwang and W. Kuo, ''Optimization of Systems Reliability'', Marcel Dekker, 1980.
		+
		+	[[category:信頼性・保全性\|しすてむのしんらいせい]]

← 古い版		2007年7月19日 (木) 05:07時点における版
130行目:		130行目:
	いずれの方法も, 要素の数が増えると関数の長さが指数的に長くなるため, それを減らす努力が中心となる. また, [[ネットワーク信頼性]]を評価する場合は, ネットワークのトポロジカルな情報を使って効率的に計算式を求める方法も与えられている.		いずれの方法も, 要素の数が増えると関数の長さが指数的に長くなるため, それを減らす努力が中心となる. また, [[ネットワーク信頼性]]を評価する場合は, ネットワークのトポロジカルな情報を使って効率的に計算式を求める方法も与えられている.

−	システムの信頼性設計においては, コストや重量など他の制約も考慮して, システムの信頼度を最大にするように, 構成要素の信頼度や冗長度を決定する[[信頼度分配]]問題を解く必要がある. 複数の制約条件のもとでシステム信頼度を最大化するために, 構成要素の信頼度を決定する問題は非線形実数計画問題, 構成要素の冗長数を決定する問題は非線形整数計画問題, 構成要素の信頼度と冗長数の両方を決定する問題は非線形混合整数計画問題となり, いずれの問題についても厳密解法や近似解法が与えられている.	+	システムの信頼性設計においては, コストや重量など他の制約も考慮して, システムの信頼度を最大にするように, 構成要素の信頼度や冗長度を決定する[[信頼度配分\|信頼度分配]]問題を解く必要がある. 複数の制約条件のもとでシステム信頼度を最大化するために, 構成要素の信頼度を決定する問題は非線形実数計画問題, 構成要素の冗長数を決定する問題は非線形整数計画問題, 構成要素の信頼度と冗長数の両方を決定する問題は非線形混合整数計画問題となり, いずれの問題についても厳密解法や近似解法が与えられている.

@@ 6行目: / 6行目: @@
-:<math>
+<center>
 R_{S}(t)= \prod_{i=1}^{n} R_{i}(t) \leq \min_{i} R_{i}(t)
 \, </math>　　　　　<math>(1)\, </math>
@@ 16行目: / 18行目: @@
-:<math>
+<center>
 R_{S}(t)= 1- \prod_{i=1}^{n} (1-R_{i}(t)) \geq \max_{i} R_{i}(t)
 \, </math>　　　　　<math>(2)\, </math>
@@ 28行目: / 32行目: @@
 <table>
 <tr><td rowspan="2"><math>x_{i}= \left \{
@@ 44行目: / 49行目: @@
 </tr>
 <td>システムが故障状態にあるとき. </td></table>
+</center>
@@ 50行目: / 55行目: @@
-:<math>z= \phi(X)\, </math>
+<center><math>z= \phi(X)\, </math></center>
@@ 70行目: / 75行目: @@
-:<math>
+<center>
 \phi(X)= 1-(1-Q_{1})(1-Q_{2}) \cdots (1-Q_{n})
 \, </math>　　　　　<math>(3)\, </math>
@@ 80行目: / 87行目: @@
-:<math>
+<center>
 \phi(X)=x_{1}x_{2} \cdots x_{n},
 \, </math>
@@ 88行目: / 97行目: @@
-:<math>
+<center>
 \phi(X)= 1-(1-x_{1})(1-x_{2}) \cdots (1-x_{n})
 \, </math>
@@ 98行目: / 109行目: @@
-:<math>
+<center>
 R_{S}=h(R_{1}, R_{2}, \ldots , R_{n})
 \, </math>　　　　　<math>(4)\, </math>

@@ 1行目: / 1行目: @@
 '''【しすてむのしんらいせい (systems reliability) 】'''
-　多くの要素(部品, 機器など)から構成されるシステムの場合, システムの信頼度は要素の信頼度により評価される. $n$ 個の要素から構成されるシステムにおいて, 要素一個の故障確率を $q$ とし要素が一つでも故障するとシステムが故障するとすれば, システムの故障確率 $Q$ は $Q=1-(1-q)^{n} \simeq qn$ となる. 信頼性の高い部品の開発によって部品一個あたりの故障確率 $q$ は小さくなっているが, 一方においてシステムを構成する部品数 $n$ がそれ以上に大きくなっているため, システムの故障確率 $Q$ は大きくなっているのが現状である. 従って, システムの大規模化に伴い[[システムの信頼性設計]]の必要性が益々増大しているといえる.
+　多くの要素(部品, 機器など)から構成されるシステムの場合, システムの信頼度は要素の信頼度により評価される. $<math>n</math>$ 個の要素から構成されるシステムにおいて, 要素一個の故障確率を $<math>q</math>$ とし要素が一つでも故障するとシステムが故障するとすれば, システムの故障確率 $<math>Q</math>$ は $<math>Q=1-(1-q)^{n} \simeq qn</math>$ となる. 信頼性の高い部品の開発によって部品一個あたりの故障確率 $<math>q</math>$ は小さくなっているが, 一方においてシステムを構成する部品数 $<math>n</math>$ がそれ以上に大きくなっているため, システムの故障確率 $<math>Q</math>$ は大きくなっているのが現状である. 従って, システムの大規模化に伴い[[システムの信頼性設計]]の必要性が益々増大しているといえる.
-　信頼性の観点から[[システム構成 (信頼性の)|システム構成]]を考える場合, システムの状態(正常, 故障)とその構成要素の状態(正常, 故障)との間の論理的関係からシステムが分類される. 要素が一つでも故障するとシステムが故障するとき, そのシステムは直列シテムであるという. 直列システムの場合, 部品 $i\,(i=1, 2,\ldots ,n)$ の信頼度を $R_{i}(t)$ とすると, システムの信頼度 $R_{S}(t)$ は
+　信頼性の観点から[[システム構成 (信頼性の)|システム構成]]を考える場合, システムの状態(正常, 故障)とその構成要素の状態(正常, 故障)との間の論理的関係からシステムが分類される. 要素が一つでも故障するとシステムが故障するとき, そのシステムは直列シテムであるという. 直列システムの場合, 部品 $<math>i\,(i=1, 2,\ldots ,n)</math>$ の信頼度を $<math>R_{i}(t)</math>$ とすると, システムの信頼度 $<math>R_{S}(t)</math>$ は
@@ 21行目: / 21行目: @@
-となり, システムの信頼度は要素信頼度の最大値よりも大きくなる. 並列冗長システムは, 同じ機能を持つ部品や機器を2つ以上同時に使用し, そのうち少なくとも一つが故障していなければ機能は維持される並列システムである. $n$ 個の機器を並列冗長で使用すると信頼度は必ず改善されるが, 平均寿命は $n$ 倍にはならない. これに対し, 待機冗長システムは, 使用機器は一台だけで残りは待機させて, 使用機器が故障すれば待機している機器に切り替えるシステムである. 待機冗長システムの信頼度は, 切替えの信頼度が1ならば並列冗長システムより高くなり, 待機中は故障しないものとすればシステムの平均寿命は $n$ 倍となる.
+となり, システムの信頼度は要素信頼度の最大値よりも大きくなる. 並列冗長システムは, 同じ機能を持つ部品や機器を2つ以上同時に使用し, そのうち少なくとも一つが故障していなければ機能は維持される並列システムである. $<math>n</math>$ 個の機器を並列冗長で使用すると信頼度は必ず改善されるが, 平均寿命は $<math>n</math>$ 倍にはならない. これに対し, 待機冗長システムは, 使用機器は一台だけで残りは待機させて, 使用機器が故障すれば待機している機器に切り替えるシステムである. 待機冗長システムの信頼度は, 切替えの信頼度が1ならば並列冗長システムより高くなり, 待機中は故障しないものとすればシステムの平均寿命は $<math>n</math>$ 倍となる.
 　要素が直列と並列に組合わさって構成されたシステムを直並列システムと言い, 直列構成の部分には (1) 式による信頼度計算を, 並列構成の部分には (2) 式による計算を順次積み上げることによりシステムの信頼度を評価できる. 直並列で表現できないシステムは非直並列システムと言い, システムの信頼度計算は複雑になる.
-　一般に, $n$ 個の要素から構成されるシステムにおいて, システムの機能(正常, 故障)と構成要素の機能(正常, 故障)の間の関係は構造関数によって表される. $C= \{ c_{1}, c_{2}, \ldots , c_{n} \}$ を要素の集合とし, 要素 $c_{i}\,(i=1, 2, \ldots ,n)$ とシステムに対し, 次の2値変数を導入する.
+　一般に, $<math>n</math>$ 個の要素から構成されるシステムにおいて, システムの機能(正常, 故障)と構成要素の機能(正常, 故障)の間の関係は構造関数によって表される. $<math>C= \{ c_{1}, c_{2}, \ldots , c_{n} \}</math>$ を要素の集合とし, 要素 $<math>c_{i}\,(i=1, 2, \ldots ,n)</math>$ とシステムに対し, 次の2値変数を導入する.
@@ 47行目: / 47行目: @@
-このとき, $z$ は $X=(x_{1},x_{2}, \ldots ,x_{n})$ の2値関数
+このとき, $<math>z</math>$ は $<math>X=(x_{1},x_{2}, \ldots ,x_{n})</math>$ の2値関数
@@ 53行目: / 53行目: @@
-として表され, システムの構造関数とよばれる. システムの構造関数 $\phi(X)$ が次の条件を満たすとき, システムは[[コヒーレントシステム]]であるという.
+として表され, システムの構造関数とよばれる. システムの構造関数 $<math>\phi(X)</math>$ が次の条件を満たすとき, システムは[[コヒーレントシステム]]であるという.
-(1) $X \geq Y$ である2つのベクトル $X,Y$ に対し, 常に $\phi(X) \geq
+(1) $<math>X \geq Y</math>$ である2つのベクトル $<math>X,Y</math>$ に対し, 常に $<math>\phi(X) \geq
-             \phi(Y)$ が成り立つ. 即ち, 関数 $\phi(X)$ が単調性を満たす.
+             \phi(Y)</math>$ が成り立つ. 即ち, 関数 $<math>\phi(X)</math>$ が単調性を満たす.
-(2) $\phi(0, 0, \ldots , 0)=0$ および $\phi(1, 1, \ldots , 1)=1$ が成り立つ.
+(2) $<math>\phi(0, 0, \ldots , 0)=0</math>$ および $<math>\phi(1, 1, \ldots , 1)=1</math>$ が成り立つ.
@@ 65行目: / 65行目: @@
 　条件 (1) は各要素が正常状態から故障状態に移るとき, システムが逆に故障状態から正常状態に移ることはないことを意味する. 通常のシステムは条件 (1) と (2) を満たしており, コヒーレントシステムの信頼度解析が重要となる.
-　コヒーレントシステムにおいて, $\phi(X)=1$ を満足するベクトル $X$ に対し, $Y < X$ である全てのベクトルについて $\phi(X)=0$ ならば, ベクトル $X$ を極小パスベクトルと言い, $X$ の中で $x_{i}=1$ である要素 $c_{i}$ の集合を極小パスセットという. 極小パスセットはシステムが正常に動作するために, 必要最小限に動作していなければならない要素の集合を意味する.
+　コヒーレントシステムにおいて, $<math>\phi(X)=1</math>$ を満足するベクトル $<math>X</math>$ に対し, $<math>Y < X</math>$ である全てのベクトルについて $<math>\phi(X)=0</math>$ ならば, ベクトル $<math>X</math>$ を極小パスベクトルと言い, $<math>X</math>$ の中で $<math>x_{i}=1</math>$ である要素 $<math>c_{i}</math>$ の集合を極小パスセットという. 極小パスセットはシステムが正常に動作するために, 必要最小限に動作していなければならない要素の集合を意味する.
-　システムの極小パスセットを $P_{1}, P_{2}, \ldots , P_{m}$ とし, $P_{j}\,(j=1, 2, \ldots , m)$ の要素の2値変数の積を $Q_{j}$ とすると, システムの構造関数は
+　システムの極小パスセットを $<math>P_{1}, P_{2}, \ldots , P_{m}</math>$ とし, $<math>P_{j}\,(j=1, 2, \ldots , m)</math>$ の要素の2値変数の積を $<math>Q_{j}</math>$ とすると, システムの構造関数は
@@ 77行目: / 77行目: @@
 で与えられる.
-　直列システムの極小パスセットは $\{c_{1}, c_{2}, \ldots , c_{n} \}$ で, その構造関数は,
+　直列システムの極小パスセットは $<math>\{c_{1}, c_{2}, \ldots , c_{n} \}</math>$ で, その構造関数は,
@@ 85行目: / 85行目: @@
-並列システムの極小パスセットは $\{c_{1}\}, \{c_{2}\}, \ldots , \{c_{n}\}$ で, その構造関数は,
+並列システムの極小パスセットは $<math>\{c_{1}\}, \{c_{2}\}, \ldots , \{c_{n}\}</math>$ で, その構造関数は,
@@ 95行目: / 95行目: @@
 となる. 直並列システムの構造関数は, その構造に対応して直列と並列の構造関数を組み合せて求めることもできる. その場合, 各2値変数が重複して現れない関数表現になっているのが特徴である.
-　要素 $c_{i}$ の信頼度を $R_{i}\,(i=1, 2, \ldots ,n)$, システムの信頼度を $R_{S}$ とすると, $R_{S}$は$R_{1}, R_{2}, \ldots , R_{n}$ の関数
+　要素 $<math>c_{i}</math>$ の信頼度を $<math>R_{i}\,(i=1, 2, \ldots ,n)</math>$, システムの信頼度を $<math>R_{S}</math>$ とすると, $<math>R_{S}</math>$は$<math>R_{1}, R_{2}, \ldots , R_{n}</math>$ の関数
@@ 103行目: / 103行目: @@
-として表すことができる. 構造関数 $\phi(X)$ から信頼度関数  $h(R_{1}, R_{2}, \ldots , R_{n})$ を求めるには次のような方法がある.
+として表すことができる. 構造関数 $<math>\phi(X)</math>$ から信頼度関数  $<math>h(R_{1}, R_{2}, \ldots , R_{n})</math>$ を求めるには次のような方法がある.
 :(1) 極小パスセットを使い, 包除定理, 排反項生成法, Esary-Proschan bound 法などによって, 信頼度の厳密式, 近似式, 上下限式等を求める.
-:(2) $\phi(X)$ の中で, 重複変数(式中に2度以上現れる変数)に順次ベイズ定理による分解-縮約と, 独立な中間項への分割を繰り返すことによって, 重複変数を含まない関数の確率計算に帰着する.
+:(2) $<math>\phi(X)</math>$ の中で, 重複変数(式中に2度以上現れる変数)に順次ベイズ定理による分解-縮約と, 独立な中間項への分割を繰り返すことによって, 重複変数を含まない関数の確率計算に帰着する.
-:(3) $\phi(X)$ を一旦積和形に展開し, 0-1変数のべき等則 $x_{i}^{r} \rightarrow x_{i}  (r \geq 2)$ による簡単化を行う.
+:(3) $<math>\phi(X)</math>$ を一旦積和形に展開し, 0-1変数のべき等則 $<math>x_{i}^{r} \rightarrow x_{i}  (r \geq 2)</math>$ による簡単化を行う.
 :(4) モンテカルロ法を使用して近似値を求める.

← 古い版	2007年7月19日 (木) 14:02時点における版
(相違点なし)

@@ 6行目: / 6行目: @@
-\begin{eqnarray}
+:<math>
 R_{S}(t)= \prod_{i=1}^{n} R_{i}(t) \leq \min_{i} R_{i}(t)
- \label{B-E-06+system1}
+</math>　　　　　<math>(1)</math>
@@ 17行目: / 16行目: @@
-\begin{eqnarray}
+:<math>
 R_{S}(t)= 1- \prod_{i=1}^{n} (1-R_{i}(t)) \geq \max_{i} R_{i}(t)
- \label{B-E-06+system2}
+</math>　　　　　<math>(2)</math>
@@ 30行目: / 28行目: @@
-x_{i}= \left \{
+<table>
 \begin{array}{ll}
-& 要素 c_{i}が正常状態にあるとき, \\
+\\
-& 要素 c_{i}が故障状態にあるとき,
+\end{array} \right. </math></td>
-\end{array}
+<td>要素<math>c_{i}</math>が正常状態にあるとき,  </td>
-\right.
+</tr>
@@ 49行目: / 50行目: @@
-\begin{eqnarray} \nonumber
+:<math>z= \phi(X)</math>
@@ 57行目: / 56行目: @@
-\begin{itemize}
+(1) $X \geq Y$ である2つのベクトル $X,Y$ に対し, 常に $\phi(X) \geq
              \phi(Y)$ が成り立つ. 即ち, 関数 $\phi(X)$ が単調性を満たす.
-\item [(2)] $\phi(0, 0, \ldots , 0)=0$ および $\phi(1, 1, \ldots , 1)=1$ が成り立つ.
-\end{itemize}
+(2) $\phi(0, 0, \ldots , 0)=0$ および $\phi(1, 1, \ldots , 1)=1$ が成り立つ.
@@ 71行目: / 70行目: @@
-\begin{eqnarray}
+:<math>
 \phi(X)= 1-(1-Q_{1})(1-Q_{2}) \cdots (1-Q_{n})
-\end{eqnarray}
+</math>　　　　　<math>(3)</math>
@@ 81行目: / 80行目: @@
-\begin{eqnarray} \nonumber
+:<math>
 \phi(X)=x_{1}x_{2} \cdots x_{n},
-\end{eqnarray}
+</math>
@@ 89行目: / 88行目: @@
-\begin{eqnarray} \nonumber
+:<math>
 \phi(X)= 1-(1-x_{1})(1-x_{2}) \cdots (1-x_{n})
-\end{eqnarray}
+</math>
@@ 99行目: / 98行目: @@
-\begin{eqnarray}
+:<math>
 R_{S}=h(R_{1}, R_{2}, \ldots , R_{n})
-\end{eqnarray}
+</math>　　　　　<math>(4)</math>