Bilgiseller / Risk ve güvenilirlik

FTA olasılıkları: nadir olay yaklaşımı ve örtüşen kesim kümeleri

Örtüşen iki kesim kümesiyle kesin birleşimi, nadir olay toplamını ve sınırları karşılaştırın; küçük küme olasılıklarının neden tek başına yetmediğini görün.

Bu sayfada

Minimal kesim kümesi olasılıklarını toplamak kolaydır; fakat birkaç küme birlikte doğru olduğunda aynı durum birden fazla sayılır. Hatanın büyüklüğünü sonucun kaç ondalık basamakla yazıldığı değil, örtüşme belirler. Bu nedenle bir denizcilik hata ağacında nadir ortak olay birkaç ayrı görünen yolun içinde bulunuyorsa çok küçük fakat önemli ölçüde yanlı bir sonuç çıkabilir.

Yaklaşımı seçmeden önce birleşimi yazın

Hayalî bir soğutma kaybı T = AB VEYA AC olsun. A, yukarı akıştaki izolasyon arızası; B ve C ise ayrı modellenmiş iki aşağı akış koşuludur. Minimal kümeler K1={A,B} ve K2={A,C}; kesişimleri ABC olur. Olasılık kuramı bağımsızlık varsaymadan P(T)=P(AB)+P(AC)−P(ABC) verir.

NASA el kitabı kümeler üzerinden olasılık değerlendirmesini açıklar. Buradaki sayısal örnek ayrıca oluşturulmuştur. Tanımlı bir görev veya talebi ele aldığı için bütün girdiler ve sonuç boyutsuzdur. Yıllık başlatıcı olay sıklığı, uyumlu zaman veya olay modeli kurulmadan P(A) yerine bu denkleme konulamaz.

Küçük örtüşmeli durumu kesin hesaplayın

A, B ve C bağımsız; olasılıkları sırasıyla 0.02, 0.03 ve 0.04 olsun. P(AB)=0.0006, P(AC)=0.0008 ve P(ABC)=0.000024 bulunur. Kesin tepe olayı olasılığı 0.001376 olur. İki kümeyi toplamak 0.0014 verir; mutlak fazla tahmin 0.000024 değerindedir.

Kesin sonuca göre bağıl hata 0.000024/0.001376 ≈ %1.74 olur. Toplama göre yaklaşık %1.71 bulunur; hata yüzdesinde paydanın hangisi olduğunu belirtin. Çarpanlara ayrılmış eşdeğer hesap 0.02 × [1−(1−0.03)(1−0.04)] biçimindedir. İçerme–dışlama ve çarpanlara ayırma sonuçlarının uyuşması temel bir hesap kontrolü sağlar.

Küçük küme olasılıkları küçük hatayı garanti etmez

Aynı mantığı koruyup bağımsız olasılıkları P(A)=0.001 ve P(B)=P(C)=0.8 seçelim. Her kesim kümesinin olasılığı yalnız 0.0008 olur. Buna rağmen kesişim olasılığı 0.00064 değerindedir. Kesin birleşim 0.00096, nadir olay toplamı 0.0016 olur; kesin değere göre fazla tahmin %66.7 düzeyindedir.

Nadir A olayı iki yolu da etkinleştirir; yollardan biri gerçekleştiğinde diğerinin gerçekleşmesi de oldukça olasıdır. Temel olaylar bağımsız kabul edilse bile kesim kümeleri bağımlıdır. Bu oluşturulmuş karşı örnek, yalnızca her kümenin belirli küçük eşiğin altında olmasına dayanan evrensel kuralın yetersizliğini gösterir. Ortak olay yapısını ve gerçek kesişim terimlerini inceleyin.

Sınırları doğru anlamlarıyla kullanın

Herhangi bir olay topluluğunda birleşim olasılığı, olay olasılıkları toplamından ve birden büyük olamaz. En büyük tek olay olasılığından da küçük olamaz. Dolayısıyla max P(Ki) ≤ P(T) ≤ min[1, ΣP(Ki)] geçerlidir. Bağımsızlık gerekmese de tekil kesim kümesi olasılıklarının doğru hesaplanmış olması gerekir.

Toplamdan bütün ikili kesişimleri çıkarmak ikinci mertebe Bonferroni alt sınırını verir. İki kümede sonuç kesindir; daha fazla kümede üçlü ve yüksek mertebeli kesişimler kalır. Negatif alt sınır sıfırla değiştirilebilir; ancak sınırın gevşekliği de bilgi taşır: seçilen yaklaşım kesin karar için olasılığı yeterince daraltamamaktadır.

Bağımsız olayları dışlayan olaylarla karıştırmayın

Bağımsız olaylar birlikte gerçekleşebilir; birbirini dışlayan olaylar gerçekleşemez. B ve C, modellenen gözlem boyunca birlikte bulunamayan alternatif çalışma kipleri olsaydı P(BC) sıfır olur ve birleşimleri kesin toplamla bulunurdu. Bu kipleri bağımsız saymak olanaksız örtüşme yaratır. Tersine, farklı donanım adları ne bağımsızlığı ne de birbirini dışlamayı kanıtlar.

Yararlı bir kontrol, kaydedilmiş tek talebin nasıl görüneceğini sormaktır. Aynı talep hem AB hem AC koşulunu karşılayabilir mi? Karşılayabiliyorsa kesişime aittir. Bir olayın birçok katkı nedeni olmasına rağmen veri tabanı yalnız bir ana neden atıyorsa kayıtlar dışlayıcı görünebilir; fiziksel durumlar yine örtüşebilir. Nicelleştirme gerçek olay tanımını izlemelidir.

Bağımlılık hatası yaklaşım hatasını aşabilir

P(AB)=P(A)P(B) çarpımı yalnız belirtilen bağımsızlık varsayımıyla gerekçelendirilmiştir. Genel bağıntı P(AB)=P(A)P(B|A) olur. Ortak su baskını, elektrik beslemesi veya bakım durumu koşullu arıza olasılığını marjinal değerden çok farklı yapabilir. Sonraki birleşim toplamını ihtiyatlı saymak, düşük tahmin edilmiş kesim kümesi çarpımını düzeltmez.

Örneğin P(A)=0.02 ve P(B|A)=0.20 ise AB olasılığı 0.004 olur. Marjinal P(B)=0.03 değerini bağımsızlık varsayarak kullanmak 0.0006 verir; bu yolu altı kattan fazla düşük tahmin eder. Ayrı bir öğretici durum olan bu örnek, ortak dağılım yeniden tanımlanmadan önceki bağımsız modelle birleştirilemez.

Matematiksel hatayı girdi belirsizliğinden ayırın

Kesin Boole olasılığı, yine de zayıf bilinen arıza hızlarına dayanabilir. Örtüşme hatasını kaldırmak hesabı iyileştirir; girdilerin kanıtını iyileştirmez. Üç belirsizliği görünür tutun: mantık yeterli mi, ortak olasılıklar destekleniyor mu ve sayısal çözüm seçilen modeli yeterince iyi temsil ediyor mu?

İlk hayalî durum için kurum içi karar eşiğinin 0.001376 ile 0.0014 arasında bulunduğunu varsayalım. Yüzde hata küçük olsa bile yaklaşım sınıflandırmayı değiştirebilir. Bu, kesin sayının onaya yeterli olduğunu göstermez; makul girdi aralıkları çok daha geniş olabilir. Belirsizlik aralığını ve hesap sınırlarını karar ölçütüyle birlikte karşılaştırın.

Çözücüyü seçin ve ayarlarını doğrulayın

İkili karar diyagramı veya başka kesin yöntem, desteklediği olasılık ve bağımlılık modeli içinde bütün örtüşmeleri tek tek açmadan çözüm sağlayabilir. Kesim kümesi yazılımı ise toplam, içerme–dışlama sınırları veya kesme kullanabilir. SAPHIRE teknik başvuru özeti, olasılık algoritmalarını ve önem değerlendirmesini ayrı belgelenmiş yetenekler olarak tanımlar; yazılım adı seçilmiş hesabı tek başına açıklamaz.

Çözücü sürümünü, nicelleştirme seçeneğini, kesme eşiğini ve bağımlılık işlemesini kaydedin. Büyük modele güvenmeden küçük ve sonucu bilinen örneği yeniden üretin. Yazılım ilk örnekte 0.0014 veriyorsa bozuk olmak yerine toplam yaklaşımını doğru uyguluyor olabilir. Yöntem seçiminin ve karar için uygunluğunun sorumluluğu yine analistedir.

Son terimi düşürmeden üç kesim kümesini kontrol edin

Başka özgün örnekte T=AB VEYA AC VEYA BC olsun; ilk durumdaki bağımsız a=0.02, b=0.03 ve c=0.04 kullanılsın. Kesim kümesi toplamı 0.0006+0.0008+0.0012=0.0026 olur. Üç ikili kesişimin her biri ABC; üçlü kesişim de ABC olur. İçerme–dışlama bu nedenle Q=ab+ac+bc−2abc=0.002552 verir.

Üç ikili kesişimi çıkarıp üçlü kesişimi unutmak 0.002528 verir. Bu kesin yanıt değil alt sınırdır. Aynı ABC durumu önce üç kere sayılmış, sonra üç kere çıkarılmıştır; bir kere geri konulmalıdır. Tek somut durumun kaç kez sayıldığını izlemek, uzun artı-eksi serisini mekanik işlemden geçirmekten daha açıktır. Büyük ağaçta örtüşme ayarlarına güvenmeden sayısal çözücü bu küçük sınamayı yeniden üretmelidir.

Eksik yolu çıkarılmış olasılık teriminden ayırın

Çözücünün bildirdiği kesme hatası, girdi modelinde bulunup sayısal değerlendirmede çıkarılmış yollarla ilgilidir. Hiç modellenmemiş ortak neden yolunu sınırlayamaz. Benzer şekilde bağımsızlık altında kesin yanıt, bağımlı fiziksel sistem için kesin yanıt değildir. Kesin sözcüğü her zaman zihinde bu tanımlı model için ifadesiyle tamamlanmalıdır.

İnceleme sonrası hesap değişince bunun daha doğru aritmetikten, yenilenmiş veriden veya yeni neden yapısından kaynaklandığını belirtin. Açıklamalar farklı sonraki adımlar doğurur. Hassas aritmetik örtüşme sorununu çözebilir; yeni bulunan ortak yardımcı hizmet birçok ilgili ağacı yeniden incelemeyi gerektirebilir. Değişiklik nedenlerini ayırmak sayısal sonucun kullanımını kolaylaştırır ve çözücü doğruluğu iddiasının eksiksiz mühendislik bilgisi iddiasına dönüşmesini önler.

Önemli örtüşmeyi raporlayın

Yararlı sonuç; görev sınırını, kesin veya yaklaşık yöntemi, başlıca ortak olay gruplarını, olasılık sınırlarını ve belirsiz girdilere duyarlılığı belirtir. Mutlak ve bağıl hatayı ayrı raporlayın. Toplamı bütüncül emniyet payı diye adlandırmayın; yalnız doğru tanımlanmış kesim kümelerinin doğru birleşimi için üst sınırdır.

Gemi incelemesindeki uygulama sonucu, ayrı görünen birçok nedenin tek ortak destek sorunu olması olabilir. Örtüşmeyi doğru çözmek hem sayıyı hem önceliklerin yorumunu değiştirir. Örnekler olasılık muhasebesini gösterir; gerçek denizcilik bileşenlerine arıza olasılığı atamaz ve kabul edilebilir seyir, insan veya çevre riski düzeyi tanımlamaz.

Kaynaklar