Denizcilik Bilim Yaşam

Açıklamalı hesaplamalar

Beta–binom Bayesçi güvenilirlik hesaplayıcı

Açık bir Beta önselini başarı ve başarısızlık gözlemleriyle güncelleyin; sonsal inanılırlık aralığını ve beta–binom öngörülerini inceleyin.

GÜVENİLİRLİK · KANIT VE BELİRSİZLİK

Bayesçi güvenilirlik güncellemesi

Açık bir Beta önseli ve Bernoulli gözlemleriyle başarı olasılığını güncelleyin. Sonsal dağılımı, belirsizliği ve gelecek denemelerin öngörülerini inceleyin.

Yalnızca eğitim modelidir. Emniyet, klas, mevzuat, belgelendirme veya ekipman kabul onayı üretmez. Burada güvenilirlik, tutarlı biçimde tanımlanmış tek bir görev veya talepte başarı olasılığıdır; kullanılabilirlik veya zamana bağlı arıza hızı değildir.

Model: aynı başarı tanımı ve koşullar, ortak ve sabit p, p verildiğinde bağımsız denemeler. Başarısız denemeleri çıkarmayın veya arızasız bir seri elde etmek için sayacı yeniden başlatmayın.

Girdiler

Yüzde değil olasılık girin; örneğin 0,95 = %95. Ondalık nokta veya virgül kabul edilir.

0,1 ≤ α ≤ 1.000
0,1 ≤ β ≤ 1.000
0 ≤ s ≤ 10.000 · tam sayı
0 ≤ f ≤ 10.000 · tam sayı
0,5 ≤ γ ≤ 0,999
0 ≤ r ≤ 1
0 ≤ m ≤ 1.000 · tam sayı

Yazılım sınırları: 0,1≤α,β≤1000; s ve f ayrı ayrı 0 ile 10.000 arasında tam sayı; 0,5≤γ≤0,999; 0≤r≤1; m, 0 ile 1.000 arasında tam sayı. Sayısal duyarlılık denetimini geçemeyen, uç noktada yoğunlaşmış aralıklar reddedilir.

Güncel sonuçlar

Girdileri yazın, ardından hesaplayın.

Hesaplamalar dosya yüklemeden veya kalıcı kayıt oluşturmadan tarayıcınızda çalışır. CSV yalnızca isteğinizle indirilir. Dil değiştirmek veya sayfayı yeniden yüklemek girdileri sıfırlar. Ekran: 8 anlamlı basamak; CSV sayısal duyarlılığı korur. · reliability-1.0.1

Yöntem ve yorum

p, aynı görevde başarı olasılığıdır. Beta(α,β) önselinde α başarı tarafını, β başarısızlık tarafını belirler; ikisi de pozitif olmalıdır. s başarı ve f başarısızlık, aynı p altında koşullu bağımsız Bernoulli gözlemleridir. Eşleniklik sayesinde sonsal yine Beta dağılımıdır.

p∼Beta(α,β);L(p)∝ps(1−p)fp|data∼Beta(α+s,β+f)=Beta(a,b)E[p|data]=aa+b[I−1(1−γ2;a,b),I−1(1+γ2;a,b)]P(p≥r|data)=1−Ir(a,b)K|data∼Beta-Binomial(m,a,b)P(K=k|data)=(mk)B(a+k,b+m−k)B(a,b)P(K=m|data)=∏j=0m−1a+ja+b+j

I, düzenlenmiş eksik beta fonksiyonudur; B, beta fonksiyonudur. Aralık eşit kuyrukludur, en yüksek yoğunluk aralığı değildir. Seçilen önsel ve olabilirlik altında sonsal olasılık kütlesi γ olur. Bu inanılırlık aralığı, sıkçı güven aralığıyla aynı yorumlanmaz. Gelecek denemeler p verildiğinde bağımsızdır; p belirsizliği üzerinden bütünleştirilince ortak öngörüleri bağımsız değildir. Bu yüzden tümünün başarısı, genelde sonsal ortalamanın m. kuvvetinden farklıdır.

Çözümlü örnek · kurmaca test kanıtı

Kurmaca bir görev testinde 9 başarı ve 1 başarısızlık gözlensin. Gösterim için düzgün Beta(1,1) önseli seçilsin; bu seçim evrensel olarak “bilgisiz” veya doğru değildir.

  1. Beta(1,1)+(s=9,f=1)→Beta(10,2)
  2. E[p|data]=1012=0.83333333
  3. %95 eşit kuyruklu inanılırlık aralığı = [0.58722008,0.97716880].
  4. P(p≥0.8|data)=1−(11×0.810−10×0.811)=0.67787745
  5. P(K=5|data)=10121113121413151416=0.45833333
  6. (1012)5=0.40187757;E[K|data]=5×1012=4.1666667

Gözlenen başarı oranı 910=0,9 iken sonsal ortalama 0,8333 olur; önsel de hesaba katılır. Sıfır gözlem girerseniz sonsal önsele eşittir. Farklı makul önsellerle hesabı tekrarlayıp duyarlılığı inceleyin; gözlemleri önsele ve olabilirliğe iki kez saymayın.

Önsel ve sonsal birikimli dağılımlarYatay eksen: 0 ile 1 arasında başarı olasılığı p. Düşey eksen: birikimli olasılık P(güvenilirlik ≤ p). Düz turkuaz: sonsal; kesikli kehribar: önsel. Bant, eşit kuyruklu sonsal inanılırlık aralığıdır.1001p
Yatay eksen: 0 ile 1 arasında başarı olasılığı p. Düşey eksen: birikimli olasılık P(güvenilirlik ≤ p). Düz turkuaz: sonsal; kesikli kehribar: önsel. Bant, eşit kuyruklu sonsal inanılırlık aralığıdır.
SonsalÖnselİnanılırlık aralığı

Varsayımlar ve sınırlar

  • Başarı ölçütü, görev süresi, yük, ortam, örnekleme ve durdurma kuralı testten önce belirlenmelidir. Sonuçları gördükçe isteğe bağlı durdurma, güven düzeyi yorumunu bozabilir.
  • Denemeler aynı başarı olasılığını paylaşmalıdır. Ortak nedenler, yaşlanma, tamir, tasarım değişiklikleri veya birimler arası farklılıklar bu basit modeli bozabilir. Kısmi görevler ve sansürlü yaşam verileri bu sayımlara dönüştürülemez.
  • Bu model, görev güvenilirliğini temsil eder. Üstel ömür modeli, arıza oranı, MTBF, kullanılabilirlik, SIL/PFD veya bakım politikası hesaplamaz. Örnekler tamamen kurmacadır.
  • Sayısal sınırlar yazılıma aittir; mühendislik kabul ölçütü değildir. Uç değerlerde olasılıklar kayan nokta duyarlılığıyla 0 veya 1 olarak yuvarlanabilir. Dar sonsal dağılımlarda çizgi örneklemesi yalnızca görseldir; sayısal aralıklar esas alınmalıdır.

Birincil kaynaklar

İlgili bağlam

Yöntemin açıklaması ve çözülmüş örneği bu sayfadadır. Aşağıdaki yazılar ek bağlam sağlar.

Tüm hesaplama araçları