2 条件で寿命試験を回して、どちらも平均寿命 1,000 サイクルという結果が返ってきました。それでも 2 つの分布の形は違います。
平均が同じなら、比較はここで止まります。ところが生存確率の差を故障の時刻で重み付けして積分すると、はっきり符号が付きます。
平均を揃えた 2 群は、 で交差する
ワイブル分布の生存関数と平均寿命は
です。 は尺度(特性寿命)、 は形状。平均を に揃えるなら、尺度のほうが形状に合わせて動きます。
サイクルで数を入れます。
| 形状 | 尺度 | MTTF | |
|---|---|---|---|
| 1.5 | 0.902745 | 1,107.73 | 1,000.00 |
| 2.0 | 0.886227 | 1,128.38 | 1,000.00 |
| 3.0 | 0.892980 | 1,119.85 | 1,000.00 |
| 5.0 | 0.918169 | 1,089.12 | 1,000.00 |
形状 1.5 と 3.0 の 2 群を、以降ずっと使います。群 1 が 、群 2 が 。平均寿命は小数第 2 位まで一致します。
生存曲線が交差する時刻は、指数の中身が等しくなる点です。 の両辺の対数を取ると で、 について解けば
形状が違えば、交差点は必ず 1 つあります。数を入れると
そこでの生存確率は 。2 本とも同じ値になります。
まだ 36% が生きている時刻で、優劣が入れ替わります。交差より前は群 1 のほうが生存率が低く、交差より後は群 1 のほうが高い(裾が長い)。
交差する 2 本を、一様な重みで比較する手法は感度を落とします。2023 年の遅れて分離する生存曲線に対する逆ログランク検定の研究1が、この点を正面から報告しています。重み付けの前提を取り違えると、検出力の大きな損失につながる。
重みをどこへ集めるかが、答えそのものを作ります。
生存差を故障密度で重み付けすると、勝率になる
重みの形を 1 つ選びます。両群の故障密度の和 を重みにする、という選び方です。
重みを 1 にした場合と比べると、この選び方の意味が出ます。 なので
平均を揃えた時点で、重み 1 の積分はゼロになります。 はその時刻にどちらかの群が壊れている密度なので、差が実際に問題になる時刻へ重みが集まる。
重みの取り方が検出力を左右する点は、生存曲線どうしの比較でも同じです1。ここでの選び方には、次節で出る利点が付きます。
被積分関数を、同じ添字どうしと添字違いに割ります。
第 1 項が消えます。 なので、任意の寿命分布について
分布の形に関係なく、必ず 1/2 です。群 1 も群 2 も 1/2 なので、第 1 項は 。
数値積分で確かめます。平均を 1,000 に揃えた各形状について、 から 40,000 サイクルまで積分した値です。
| 形状 | (上限 40,000) |
|---|---|
| 0.8 | 0.5143 |
| 1.5 | 0.500000 |
| 3.0 | 0.500000 |
| 7.0 | 0.500000 |
の行だけ 0.5 から離れます。裾が重いので、上限 40,000 サイクルで打ち切った分が抜けているためです。恒等式そのものは成り立っていて、打ち切りが誤差を作っています。
残った第 2 項は、勝ち負けの確率そのものです。2 群から 1 個ずつ取り出して寿命を 、 とすると、群 2 の個体が時刻 で壊れ、群 1 の個体がまだ生きている密度は 。全時刻で足して
添字を入れ替えれば なので、
この積分は、1 個ずつ取り出したときの勝率を、五分五分がゼロになるように目盛り直したものでした。基準点は、第 1 項が分布によらず 1/2 になるという恒等式が与えます。
同じ量が、臨床試験では net benefit と呼ばれている
という量は、寿命試験以外の分野で確立した名前を持っています。
一般化対比較(generalized pairwise comparisons)の 2019 年の解説2が、net benefit をこう定めています。「治療群から無作為に選んだ 1 例が対照群から無作為に選んだ 1 例より良い結果になる確率から、その逆の確率を引いたもの」。同じ解説は、この枠組みが Wilcoxon–Mann–Whitney の U 統計量の拡張であることも書いています。
上で導いた と、字面まで一致します。
一致が実務で意味を持つのは、公開された道具がそのまま使えるからです。2023 年の層別 win 統計量の研究3が、win ratio・win odds・net benefit の 3 つについて、同じ帰無仮説(2 群の勝率が等しい)を検定していること、 値がほぼ等しいので 値と検出力も似ること、そして分散の推定量どうしが直接に関係することを示しています。層別の手続きも、3 つすべてへ一般化されている。
| 寿命試験の側 | 対応する公開の道具 |
|---|---|
| の点推定 | net benefit の点推定 |
| の区間 | win 統計量の分散の推定量 |
| ロット別・治具別の集計 | 層別 win 統計量 |
| 有意性の判断 | 勝率が等しいという帰無仮説の検定 |
自前で分散を組み立てる作業が、ここで消えます。
数を入れると、勝率 44.9% と重なり 69.2%
冒頭の 2 群へ戻ります。数値積分の結果です。
| 量 | 値 |
|---|---|
| 0.4492 | |
| 0.5508 | |
| −0.1017 | |
| 重なり | 0.6916 |
| 交差時刻 | 1,132.1 |
100 組を 1 個ずつ走らせると、45 組では群 1 のほうが長生きします。「群 2 が良い」の中身は 55 対 45 です。
もう 1 つの量、 は 2 つの密度の重なり面積で、公開の統計では重なり係数(overlapping coefficient, OVL)の名前が付いています。2023 年の重なり係数の推測の研究4が、「密度関数の観点から母集団どうしの類似度を測るために広く使われる」ものとして位置づけ、最尤推定量とベイズ推定量の偏りと平均二乗誤差、そして信頼区間を与えています。ワイブル 2 群に限った場合の推測も、2024 年の Weitzman 係数の研究5がパラメータを自由にしたまま与えている。
と重なり係数は、組にして使います。
| 重なり | 読み方 | |
|---|---|---|
| 大 | 小 | 優劣が明確 |
| 小 | 大 | 実質的に同程度 |
| 大 | 大 | 平均では差が付くが、個体では入れ替わる |
| 小 | 小 | 分布が離れていて、優劣も小さい(形が別物) |
冒頭の 2 群は ・重なり 0.692 なので、2 行目です。7 割が重なっている中の、小さな差。
形状の比を変えると、2 つの量がどう動くかを表にします。平均 1,000・群 1 の形状 1.5 のままで、群 2 の形状だけを動かした場合です。
| 形状比 | 勝率 | 重なり | ||
|---|---|---|---|---|
| 1.00 | 1.50 | 0.0000 | 0.5000 | 1.0000 |
| 1.10 | 1.65 | −0.0203 | 0.4898 | 0.9563 |
| 1.25 | 1.88 | −0.0440 | 0.4780 | 0.8979 |
| 1.50 | 2.25 | −0.0712 | 0.4644 | 0.8158 |
| 2.00 | 3.00 | −0.1017 | 0.4492 | 0.6916 |
| 3.00 | 4.50 | −0.1267 | 0.4366 | 0.5339 |
| 6.00 | 9.00 | −0.1445 | 0.4278 | 0.3252 |
| 20.00 | 30.00 | −0.1510 | 0.4245 | 0.1251 |
重なりは 1.00 から 0.13 まで、桁で動きます。ところが のほうは、形状比を 2 から 20 へ 10 倍にしても −0.102 から −0.151 の範囲に収まります。
が頭打ちになっています。
平均を揃えた時点で、勝率に天井ができる
頭打ちの正体は、閉じた式で書けます。
の極限で、群 2 は平均寿命そのものに集まった 1 点になります。その場合の勝率は、群 1 が平均寿命まで生き残る確率に一致します。
を入れると が消えます。
平均寿命の値が式から落ちます。天井を作るのは群 1 の形状パラメータだけです。
この天井は勝率の下限なので、勝率が等しいという帰無仮説3からどこまで離れられるかの上限でもあります。
| 群 1 の形状 | 勝率の下限 | の天井 |
|---|---|---|
| 1.0 | 0.3679 | −0.2642 |
| 1.5 | 0.4241 | −0.1517 |
| 2.0 | 0.4559 | −0.0881 |
| 2.5 | 0.4764 | −0.0472 |
| 3.0 | 0.4906 | −0.0187 |
| 3.4395 | 0.5000 | 0.0000 |
| 4.0 | 0.5092 | +0.0183 |
| 5.0 | 0.5207 | +0.0414 |
なら、相手をどれだけ絞っても勝率は 42.4% で止まります。冒頭の 2 群の 44.9% は、天井の 42.4% にかなり近い。形状 3.0 の相手が、 の理想相手の 3 分の 2 の効果を出しています。
の行が、さらに強い制限を掛けます。群 1 の形状がすでに 3.0 なら、平均寿命が同じどんな相手でも、勝率で取れるのは 1.9 ポイントまでです。
これは試験計画の判断材料になります。平均寿命が同じまま形状だけを絞る工程改善を検討するとき、その改善が勝率として取れる最大値が、いまの形状だけで先に出る。改善前の が 3 を超えているなら、上限は 2 ポイント未満です。
符号が返る点は、中央値と平均が一致する形状
上の表の 3.4395 という行が、天井の符号が返る点です。この数の正体を出します。
は 、つまり
ワイブル分布の中央値は 、平均は なので、この条件は中央値と平均の一致そのものです。
数値で解くと 。検算すると 、 で 8 桁一致します。
| 形状 | 中央値 / 平均 | |
|---|---|---|
| 1.0 | 0.6931 | 0.3679 |
| 1.5 | 0.8676 | 0.4241 |
| 2.0 | 0.9394 | 0.4559 |
| 3.0 | 0.9911 | 0.4906 |
| 3.43954 | 1.0000 | 0.5000 |
| 4.0 | 1.0067 | 0.5092 |
| 6.0 | 1.0140 | 0.5286 |
では、半数より多くが平均寿命より前に壊れます。だから平均を揃えたとき、絞った群のほうが勝つ。
では逆です。半数より多くが平均寿命より後まで生きるので、平均を揃えた条件では、ばらついた群のほうが 1 個ずつの勝負に勝ちます。
「形状が大きいほうが良い」は、3.44 までの話でした。平均を揃えた比較で、それより上では符号が返ります。
重なり係数4のほうは 0 から 1 の量なので、この反転は勝率の側だけに出ます。2 つを組にする理由が、ここにもあります。
形状パラメータの分解能は で決まる
ここまでの は、 と が正しいという前提の上にあります。その 2 つは当てはめから来ます。
完全データのワイブル最尤推定について、フィッシャー情報量を書きます。 は標準指数分布に従うので、対数尤度の 2 階の期待値が 関数の微分で書けます。
はオイラー定数です。行列式を取ると の項がきれいに消えます。
したがって
が出てきます。標準偏差は
この量の区間推定そのものが、公開の研究対象です。2025 年のワイブル形状パラメータの Wald 型区間の研究6が、形状 0.5 から 10、尺度 0.5 から 5、標本数 5 から 200 の 12 通りで被覆確率と平均幅を調べています。
90% 信頼度での相対誤差 ()は 。2 群の形状の区間が離れる条件は なので、
| 形状比 | 要る故障数(1 群あたり) |
|---|---|
| 1.10 | 726 |
| 1.25 | 134 |
| 1.50 | 42 |
| 2.00 | 15 |
| 3.00 | 7 |
形状の差が 25% なら、1 群あたり 134 個の故障が要ります。2 倍の差なら 15 個で足りる。必要数が比の差の 2 乗で伸びるので、小さな形状差は急激に高くつきます。
冒頭の 2 群は比 2.0 です。15 故障で、ぎりぎり届く。
小標本では、幅が 1.25 倍に膨らむ
上の は漸近論の値なので、小標本での実際の幅を測っておきます。
真の形状 3.0 のワイブルから 個を発生させて最尤推定する試行を 12,000 回繰り返した結果です。
| 故障数 | の平均 | 偏り | 漸近値に対する膨らみ | |
|---|---|---|---|---|
| 10 | 3.516 | +17.2% | 1.0984 | 1.41 倍 |
| 15 | 3.311 | +10.4% | 0.9729 | 1.25 倍 |
| 20 | 3.233 | +7.8% | 0.9268 | 1.19 倍 |
| 30 | 3.143 | +4.8% | 0.8618 | 1.11 倍 |
| 48 | 3.089 | +3.0% | 0.8292 | 1.06 倍 |
| 100 | 3.037 | +1.2% | 0.7985 | 1.02 倍 |
で漸近値の 1.02 倍。2025 年のワイブル形状パラメータの Wald 型区間の研究6が、標本数 5 から 200 までの 12 通りで被覆確率と平均幅を調べ、30 を超えるとどの区間法も似た性能を示すと報告しているのと、同じ位置に境目が出ます。
膨らみを織り込んで、上の敷居を引き直します。
| 故障数 | 漸近の | 実測の | 漸近の敷居 | 実測の敷居 |
|---|---|---|---|---|
| 10 | 0.406 | 0.571 | 2.36 | 3.67 |
| 15 | 0.331 | 0.413 | 1.99 | 2.41 |
| 20 | 0.287 | 0.341 | 1.80 | 2.03 |
| 30 | 0.234 | 0.259 | 1.61 | 1.70 |
| 48 | 0.185 | 0.197 | 1.45 | 1.49 |
| 100 | 0.128 | 0.131 | 1.29 | 1.30 |
15 故障での敷居は 1.99 から 2.41 へ上がります。形状比 2.0 の 2 群は漸近の敷居をぎりぎり超えていましたが、実測の敷居 2.41 に対しては未達です。
漸近の式は下限を与えます。実際に要る故障数は、この式が返す値より大きい。
偏りの列も、そのまま使えます。最尤推定は形状を上へ外します。1 群だけなら共通の偏りとして消えますが、2 群の故障数に差があると、比のほうへ持ち越されます。
| 群 1 の故障数 | 群 2 の故障数 | 偏りだけで出る見かけの形状比 |
|---|---|---|
| 30 | 15 | 1.053(+5.3%) |
| 48 | 15 | 1.072(+7.2%) |
| 100 | 15 | 1.091(+9.1%) |
| 48 | 30 | 1.017(+1.7%) |
| 100 | 30 | 1.036(+3.6%) |
48 故障の群と 15 故障の群を比べると、工程が同一でも形状比が 1.072 と出ます。打ち切りが片方だけ強い試験では、この見かけの差が最初に乗る。
1 つの試験で 2 群の故障数が揃っているかを、形状比より先に数えます。差がある場合、形状比の 7% ぶんは数え方から来ています。
形状の共通性を仮定する手法には、別の偏りが乗ります。2007 年の複数ワイブル母集団の共通形状パラメータの研究7が、最尤推定の偏りは大きくなりうること、標本数が大きくても目立つこと、打ち切りの度合いと母集団の数が増えるほど急激に大きくなることを報告しています。「2 群の形状を共通と見なして平均寿命だけを比べる」手法が、ここでつまずく。
故障数を桁で増やす道は、試料を積む以外にもあります。1 個のチップを 1,024 個のサンプルとして数えるが、同じシリコンから数える単位を替える方法です。 が増えれば が で下がり、いま重なっている形状の区間が離れます。
現場で動く判断
- 平均を揃えた 2 群は、必ず 1 点で交差します。。冒頭の 2 群では 、そこでの生存率は 0.356。36% が生きている時刻で優劣が入れ替わります。
- 生存差を で重み付けした積分は、勝率そのものです。 が分布によらず成り立つので 。基準点は、この恒等式が与えます。
- 同じ量が net benefit2 として確立しています。分散の推定量と層別の手続き3を、そのまま寿命試験へ持ち込めます。
- 平均を揃えた時点で、勝率の天井が確定します。。 で −0.152、 で −0.019。改善前の形状だけで、取れる最大値が先に出ます。
- 天井の符号は で返ります。中央値と平均が一致する形状です。それより上では、平均を揃えた条件でばらついた群のほうが勝ちます。
- 形状の分解能は です。90% 信頼度で 、必要な故障数は 。形状差 25% なら 134 故障、2 倍なら 15 故障。
- 小標本では実測の幅が漸近値の 1.25 倍(15 故障)に膨らみます。30 を超えるとどの区間法も似た性能になる6という報告と同じ境目です。漸近の式は下限として使います。
- 2 群の故障数に差があると、偏りだけで形状比が 7.2% ずれます(48 対 15)。形状比より先に、故障数の揃いを数えます。
- 共通形状を仮定する手法には別の偏りが乗ります7。打ち切りが強いほど、母集団の数が多いほど急に大きくなる。平均寿命だけの比較へ戻る選択肢が、ここで消えます。