Bilgiseller / Risk ve güvenilirlik
Olay ağacı: tepki dizilerinden sonuç frekansına nasıl gidilir?
Olay ağacı, sınırları tanımlanmış bir başlatıcı olayla başlar ve bu olayın ardından devreye girebilecek tepkileri izler. Tamamlanan her yol, belirli bir sonuca ulaşan olay dizisini gösterir. Uygun frekans ve olasılık verileri varsa, bu dizilerin modelde ne sıklıkla gerçekleştiği de hesaplanabilir. NRC, olay ağacını başlatıcı bir olayın ardından gelişebilecek senaryoları düzenleyen bir yöntem olarak açıklar. NRC olay ağacı tanımı
Bu sayfada
Hangi soruya cevap verir?
Soğutma beslemesinin kesildiğini düşünelim. Bir tepki soğutmayı yeniden sağlayabilir; başka bir tepki, hasar gelişmeden ekipmanı durdurabilir. Bunlar farklı sonuçlardır. Olay ağacı, bütün durumu tek bir “korunuyor/korunmuyor” etiketiyle anlatmak yerine tepkilerin sırasını ve koşullarını açık hale getirir.
Yöntem, bir zorlanmanın ardından ne olacağını araştırırken yararlıdır: Hangi tepkiye ihtiyaç duyulur, hangi birleşimler belirli bir sonuca gider ve hangi eksik bilgi önemlidir? Tek bir tepkinin neden başarısız olabileceği hata ağacıyla incelenebilir; olay ağacı ise dizinin bütününü korur. İki yaklaşım da olasılıksal risk değerlendirmesinde yer alır. Bununla birlikte hiçbir yöntem, dayanağı olmayan bir varsayımı kanıta dönüştürmez. NRC olasılıksal risk değerlendirmesi
Önce sınırı belirleyin
Dalları çizmeden önce başlatıcı olayı, zaman temelini, çalışma koşulunu ve son durumları yazın. İncelenen olay “ekipman çalışırken normal soğutma beslemesinin kaybı” ise yalnızca “soğutma yok” demek yeterince açık değildir. Neyin soğutmanın geri kazanılması, neyin koruyucu duruş sayıldığını tanımlayın. Ekipmanı koruyan bir duruş, kesintisiz çalışmayla aynı sonuç değildir.
Bir tepkinin hangi durumda anlamlı olduğunu da belirleyin. Aşağıdaki örnekte soğutma geri kazanılmışsa o yol sona erer. Başarılı geri kazanımdan sonra ayrıca bir duruş talebi varmış gibi davranılmaz.
Üç son yollu bir örnek
Aşağıdaki değerler öğretim amacıyla oluşturulmuştur. Bir geminin ölçümleri veya herhangi bir yazılım ürününün sonuçları değildir.
Varsayımlar:
- Normal soğutma kesintisinin örnek başlatıcı frekansı yılda 0,04'tür.
- Geri kazanım işlevi, bu taleplerin %95'inde başarılıdır.
- Geri kazanım başarısız olduğunda koruyucu duruşun koşullu başarı olasılığı 0,90'dır.
- Tanımlanan tepkiler ve son durumlar, bilinçli olarak sadeleştirilmiş bu modelin bütün durumlarını kapsar.
Üç son yol elde edilir:
- Soğutma geri kazanılır: 0,04 × 0,95 = yılda 0,038.
- Geri kazanım başarısız, duruş başarılıdır: 0,04 × 0,05 × 0,90 = yılda 0,0018.
- Geri kazanım ve duruş başarısızdır: 0,04 × 0,05 × 0,10 = yılda 0,0002.
Toplam yılda 0,04'tür; başlatıcı frekansla aynıdır. Örnekte yollar birbirini dışlayan ve tanımlanan durumları birlikte kapsayan yollar olduğu için bu yararlı bir aritmetik kontroldür. Kontrolün sağlanması, gerçek hayattaki bütün senaryoların modele alınmış olduğunu göstermez.
“Koşullu” sözcüğü neden önemli?
Duruş için kullanılan değer, “bu senaryoda geri kazanım başarısız olmuşken duruşun başarılı olma olasılığı” anlamına gelir. Başka bir çalışma koşulundan veya test grubundan alınan genel bir kullanılabilirlik değeriyle kendiliğinden eşdeğer değildir.
Koşullu dal olasılıklarının çarpılması, örnekteki dizinin yapısını izler; iki işlevin bağımsız olduğunu varsaymayı gerektirmez. Eldeki değerler yalnızca koşulsuz güvenilirlik verileriyse, bunları dallara yerleştirmeden önce bağımlılıklar değerlendirilmelidir. Ortak güç kaynağı, ortak algılama, çevre koşulları veya insan eylemleri belirli bir yoldaki olasılığı değiştirebilir. İki ayrı kutu çizmek, ortak nedeni ortadan kaldırmaz.
En küçük sayı ne anlatır?
Buradaki yılda 0,0002, açıkça tanımlanmış tek bir olay dizisinin model frekansıdır. Ölçülmüş kaza sıklığı, sonuç şiddeti veya bütün hasar verici olayların olasılığı değildir. Frekans ile olasılık farklı kavramlardır; aralarında dönüşüm yapabilmek için zamanla ilgili model de açıklanmalıdır.
Bu hesap, gerçek bir tesiste duruş işlevine güvenlik katkısı atanabileceğini de kanıtlamaz. Bunun için işlev, çalışma koşulları, güvenilirlik ve bağımlılıklar hakkında uygun dayanak gerekir. Örnek, hesap düzenini gösterir; kabul edilebilir risk kararı vermez.
Başarı ölçütüne zamanı da katın
Tepki ancak tanımlı işlevi dizinin koşulları içinde sağlarsa başarılıdır. Gerçek gerek, ısıl sınıra ulaşılmadan yeterli debiyse “pompa başladı” zayıf ölçüt olabilir. Kullanılabilir süre bittikten sonra çalışan tepki, zamanında toparlanmayla aynı son yola konulmamalıdır. Görev süresi de tanımlanmalıdır: başarılı başlangıç, gerekli dönem boyunca hizmetin sürdürüldüğünü kanıtlamaz. Dalın başarı tanımı, yalnızca cihaz hareketi değil süreçte ihtiyaç duyulan sonuçla ilişkilendirilmelidir.
Dallanma sırası, kutuların çizilme sırasını değil modellenen mantığı yansıtmalıdır. Bazı işlemler paraleldir; bazıları önceki olayların ürettiği bilgiye bağlıdır. Basit statik olay ağacı yararlı olabilir, fakat zamanı nasıl ele aldığı açıklanmalıdır. Değişen koşullar veya geri besleme başarıyı belirliyorsa statik çizime rastgele dallar eklemek yerine daha ayrıntılı zamana bağlı model gerekebilir. Hangi sadeliğin karar için yeterli olduğu, modelin amaçlanan kullanımına göre değerlendirilir.
Başlatıcı olay topluluğunu dal performansından ayırın
Başlatıcı sıklığı için topluluk ve maruziyet temeli tanımlanmalıdır. “Gemi-yılı başına” ile “transfer başına” veya “başlatma talebi başına” aynı değildir. İşlem başına model yıllıklaştırılacaksa ilgili işlem sayısı açıkça verilmelidir. Kurgusal örnekte yılda 200 işlem ve işlem başına 0,0002 başlatıcı olasılığı, belirtilen model altında yılda 0,04 beklenen başlatıcı olay verir. Çarpma işlemi, operasyonların aynı nitelikte olduğunu veya olasılık girdisinin kanıta dayandığını göstermez.
Dal kanıtı da ilgili yola uymalıdır. Normal elektrik beslemesindeki toparlanma, ortak besleme kaybı sonrasındaki toparlanmayı temsil etmeyebilir. Başlatıcıları farklı sınıflara ayırmak bağımlılığı görünür kılabilir; ancak sınıflar örtüşmemeli ve sıklıkları tutarlı tanımlanmalıdır. Aynı olay iki sınıfta sayılıp iki ağacın sonucu bağımsız katkılarmış gibi toplanmamalıdır. Sınıflandırma, yalnızca daha çok çizim üretmek için değil, gerçekten farklı koşulları ayırmak için kullanılmalıdır.
Hata ağaçlarını bağımlılığı iki kez saymadan bağlayın
Hata ağacı, bir tepkinin neden başarısız olabileceğini modelleyebilir. Fakat çıktısı olay ağacı dalının koşuluna ve zaman temeline uymalıdır. Başlatıcı olay elektrik kaynağının kaybedildiğini zaten belirliyorsa dal modeli bu bilinen durumu içermelidir. Koşulsuz sistem arıza olasılığı kullanmak, dizinin daha önce kaybettiği beslemeye yeniden koruma payı verebilir. Böylece matematik doğru yapılırken fiziksel mantık yanlış kurulmuş olur.
Ortak olayların bütün modelde kimliği tutarlı olmalıdır. Aynı kesici arızasını içeren iki çizim, iki bağımsız arıza göstermez. Ortak destek sistemlerinin, çevresel zorlanmaların ve insan eylemlerinin birden fazla dala nasıl girdiği izlenmelidir. Amaç, ayrı hesaplanmış güvenilirlik sayıları koleksiyonu değil, tek dizinin tutarlı modelidir. Çok basamaklı sonuç, çelişkili koşullandırmayı düzeltemez. Modelin mantıksal gözden geçirmesi, sayısal hassasiyet artırılmadan önce yapılmalıdır.
Sonucu açık duyarlılık aralığıyla sınayın
Önceki üç yollu yapı için araştırma amaçlı başlatıcı sıklığını yılda 0,02–0,08, toparlanma başarısızlığını 0,02–0,10 ve başarısız toparlanma koşulundaki durdurma başarısızlığını 0,05–0,20 arasında değiştirelim. Alt uçları çarpmak yılda 0,00002; üst uçları çarpmak yılda 0,0016 verir. Seksen katlık aralık, seçilen girdi zarfının etkisini gösterir; gerçek kaza deneyiminde ölçülmüş değişim değildir. Aralığın anlamı, girdilerin nasıl seçildiğine bağlıdır.
Uçlar eğitim varsayımlarıdır ve gerçek sistemde aynı anda mümkün olmayabilir. Yüzde 95 güven aralığı veya olasılık dağılımı değildirler. Daha iyi karar çalışması, hangi bileşimlerin savunulabilir olduğunu, önerilen önlemin bunlarda yararlı kalıp kalmadığını ve hangi kanıtın karar açısından önemli belirsizliği azaltacağını sorar. Tek girdiyi sırayla değiştirmek modeli açıklayabilir, fakat etkileşimleri ve korelasyonu kaçırabilir. Duyarlılık sonucu, gerçeklik tahminiyle karıştırılmamalıdır.
Hiç başarısızlık görülmemesi sıfır olasılık kanıtı değildir
Hayalî tepkinin yirmi bağımsız ve karşılaştırılabilir talepte hiç başarısız olmadığını düşünelim. Örneklem başarısızlık oranı sıfırdır; alttaki olasılığın sıfır olduğu kanıtlanmaz. Aynı Bernoulli talep modeli altında hiç başarısızlık gözlenmemesi (1 − p)^20 olasılığına sahiptir. (1 − p)^20 = 0,05 denklemi p ≈ 0,139 verir. Bu, söz konusu sıfır başarısızlık durumu için kesin binom yöntemine dayalı tek taraflı yüzde 95 güven üst sınırıdır.
NIST'in kesin binom güven sınırları açıklaması istatistiksel çerçeveyi verir. Hesap özgün eğitim örneğidir; gerçek bariyere uygun olasılık ataması değildir. Bağımsızlık, benzer talep koşulları, eksiksiz bildirim ve başarısızlığın tanımı önemlidir. Güven yönteminin kapsama özelliği, sabit fakat bilinmeyen p'nin sınır altında bulunmasına yüzde 95 olasılık verilmesi biçiminde yeniden ifade edilmemelidir. İstatistiksel terimin anlamı korunmalıdır.
Sonuçları anlamlarını kaybetmeden birleştirin
Birbirini dışlayan birkaç yol aynı sonuç sınıfına ulaşıyorsa sıklıkları tutarlı biçimde toplanabilir. Ancak ekipman hasarı, sevk kaybı ve yaralanma gibi sınıflar örtüşebilir. Olay tanımları kontrol edilmeden toplamlarını eklemek aynı gerçekleşmeyi iki kez sayabilir. Dizi kimliği, son durum ve sonuç modeli bağlı tutulmalı; çıktının olay mı, etkilenen gemi mi, başka büyüklük mü saydığı belirtilmelidir. Aynı birim görünmesi, iki toplamın doğrudan birleştirilebileceğini kanıtlamaz.
Nadir dal kendiliğinden en yüksek veya en düşük öncelik değildir. Sonuç şiddeti, belirsizlik, uygulanabilir önlemler ve karar bağlamı önemini korur. Olay ağacının yararlı çıktısı, kabul edilebilir riski otomatik ilan eden sayı değil, varsayımları izlenebilir dizi modelidir. Güvenilir olasılık bulunmayan nitel yollar korunmalı ve sayısallaştırılmadıkları belirtilmelidir. Sessizce analizden çıkarılmaları, veri eksikliğini güvenlik kanıtına dönüştürür. Açık bilinmeyenler, karar vericinin çalışmayı doğru kullanmasına yardım eder.
İnceleme için kısa kontrol listesi
- Başlatıcı olay ve bütün sonuçlar açık adlandırılmış mı?
- Frekans birimi görünür ve tutarlı mı?
- Başarı/başarısızlık dalları aynı talebi ve çalışma koşulunu mu anlatıyor?
- Olasılıklar kullanıldıkları yola koşullu mu?
- Eksik yollar, ortak nedenler ve bulunmayan veriler belirtilmiş mi?
- Varsayımlar raporda sonucun yanında korunuyor mu?
Daha kapsamlı bir incelemede, hangi varsayımların sonucu değiştirdiğini ve hangi kanıtın bu belirsizliği giderebileceğini araştırın. Duyarlılık karşılaştırması, modelde neyin değiştiğini gösterir; tek başına işletmede ne olacağını belirlemez. NASA'nın modelleme ve simülasyon rehberi, modelin güvenilirliğini ve kabul ölçütlerini amaçlanan kullanımla birlikte ele alır. NASA model ve simülasyon standardı
Kaynaklar ve ilgili konular
İlgili kütüphane konuları: hata ağacı, bağımsız koruma katmanları, duyarlılık ve belirsizlik. Bu yazı genel bir yöntemi açıklar; belirli bir tesis için işletme veya güvenlik onay prosedürü sunmaz.