Bilgiseller / Risk ve güvenilirlik

Arıza sırası önemli olduğunda: statik hata ağacının sınırları

Soğuk yedek, geçiş başarısı ve tepki süresi gereksinimini açık geçiş hesabıyla inceleyin; eşzamanlı arıza mantığının nerede yetersiz kaldığını görün.

Bu sayfada

Görev sonunda iki öğenin arızalı görünmesi; hangisinin önce arızalandığını, yedeğin zamanında başlayıp başlamadığını veya sürecin ne kadar korumasız kaldığını göstermez. Soğutmanın, dümen desteğinin veya temel elektrik hizmetinin geçiş boyunca sürmesi gerektiğinde bu ayrımlar önemlidir. Statik hata ağacı yararlı olabilir; ancak olay tanımları sıraya bağlı gereksinimi sessizce son durum fotoğrafına dönüştürmemelidir.

VE kapısının kaybettiği bilgiyi belirleyin

Sıradan A VE B ifadesi iki koşulun da doğru olduğunu kaydeder. Önce A sonra B, önce B sonra A ve eşzamanlı oluşma için aynı sonucu verir. Tepe olayı yalnız birlikte bulunmalarına bağlıysa bu uygundur. A, B olayının çalışma maruziyetini değiştiriyor, geçiş başlatıyor veya daha önce gerekli eylemi engelliyorsa yeterli değildir.

NASA dinamik hata ağacı bölümü, sıraya bağlı olayları, yedekleri ve durum modeli çözümlerini ele alır. Genel ders, ilgili geçmişi korumaktır. Statik bileşen etiketine yedek sözcüğü eklemek, eksik bekleme durumu, anahtarlama veya zamanlama modelini sağlamaz.

Özellikle ideal seçilmiş soğuk yedek modelini tanımlayın

Bir etkin ünite ve onunla aynı özellikte soğuk yedek varsayalım. Bu ideal modelde yedek beklerken arızalanamaz; etkinleştiğinde ilk üniteyle aynı sabit λ arıza hızına sahiptir. Geçiş anlık ve başlangıçta kusursuzdur. Onarım, ortak neden, yük etkileşimi veya en büyük kesinti sınırı yoktur. Başarısızlık, t görev süresinden önce hizmetin kaybıdır.

Varsayımlar güçlüdür. Gerçek depolanmış veya boşta ünite bozulabilir, yardımcı hizmetlerini kaybedebilir veya talepte başlayamayabilir. İdeal durumu açık tutmak, tek mekanizmayı ayırdığı için yararlıdır: yedek ancak etkin ünite arızalandıktan sonra çalışma maruziyeti biriktirir. İki ünitenin sıfır anından itibaren çalıştığı hesap farklı güvenilirlik sorusunu yanıtlar.

Sağkalımı birbirini dışlayan iki yoldan türetin

İlk başarı yolu, başlangıç ünitesinin görevin tamamında çalışmasıdır; olasılığı e^(−λt) olur. İkinci yol, ünitenin s anında arızalanması ve yedeğin kalan t−s süresini tamamlamasıdır. λe^(−λs)e^(−λ(t−s)) ifadesini s=0 ile t arasında integre etmek λt e^(−λt) verir. İlk ünite ya sona kadar çalışır ya da daha önce arızalanır; yollar birbirini dışlar.

Böylece güvenilirlik R(t)=e^(−λt)(1+λt), görev başarısızlığı Q=1−R olur. Birim kontrolü önemlidir: λ birimi h⁻¹, t birimi h olduğundan λt boyutsuzdur. Bu, belirtilen ideal modele ait özgün türetimdir; her yedek düzeni için geçerli formül değildir.

İki maruziyet varsayımını sayısal karşılaştırın

λ=0.002 h⁻¹ ve t=20 h alırsak λt=0.04 olur. Soğuk yedek modeli Q≈0.000779 verir. Bunun yerine iki bağımsız etkin ünite yirmi saatin tamamında çalışır ve hizmet ancak ikisi de arızalandığında kaybolursa statik sonuç [1−e^(−0.04)]²≈0.001537 olur.

Fark, doğru ve yanlış matematik yarışı değildir. Modeller farklı maruziyet geçmişlerini açıklar. Etkin paralel durumda iki ünite görev boyunca arızaya maruzdur; ideal yedek ise arıza riski biriktirmeden bekler. Sonuçlardan birini gerçek gemi makinesine uygulamak için bekleme arızası, etkinleşme, onarım ve geçişte gerekli işlevsel tepki hakkında kanıt gerekir.

Kusurlu geçişi ayrı olay olarak ekleyin

Bu kez c, ilk ünite arızalandığında geçişin başarılı olmasının koşullu olasılığı olsun. Arıza zamanından bağımsız ve 0.95 olduğunu varsayalım. Yalnız ikinci başarı yolu değişir; R(t)=e^(−λt)(1+cλt) olur. Aynı λ ve t ile Q≈0.002701 bulunur. Yedeğin etkin güvenilirliği değişmese bile yüzde beş geçiş başarısızlığı olasılığı belirgin etki yapar.

Buradaki c geçiş başarısıdır; temel olay ortak neden parametresi veya kanıtlama testi kapsaması değildir. Ayrı modellerde aynı harfi kullanmak ancak tanımlar açık kaldığında zararsızdır. Başlatılamama olasılığı, gecikme dağılımı ve eksik arıza algılama, belgelenmemiş tek kapsama sayısında birleştirilmek yerine ayrı terimler gerektirebilir.

Başarılı başlatma yine de geç kalabilir

Hayalî süreç gerekli hizmet olmadan en fazla 20 s dayanabilsin. Algılama 8 s, başlatma ve beslemenin kurulması ayrıca 15 s sürüyorsa kesinti 23 s olur. Yedek sonunda çalışır; ancak bu sıra işlevsel gereksinimi 3 s aşar. Son durumda yedeğin çalıştığını gösteren inceleme, önceki ihlali kaçırır.

İzin verilen kesinti, genel yedekleme kuralı varsayımından değil süreç dinamiğinden ve tanımlı sonuçtan gelmelidir. Depolanmış enerji, sıvı hacmi veya ısıl kapasite gecikmeyi karşılayabilir; değişen yük payı kısaltabilir. Tehlikeyi kesinti süresi, kısmi çıktı veya toparlanma eğrisi belirliyorsa zamana bağlı performans modeli gerekir.

Soruyu koruyan durum tanımını seçin

Basit geçiş modeli; iki ünitenin kullanılabilir olması, başarılı geçişten sonra yedeğin çalışması ve hizmetin kaybı durumlarını ayırabilir. Daha gerçekçi model bekleme arızasını, saptanmış ve gizli arızaları, onarımı, hizmete dönüşü ve ortak yedeğe yarışan talepleri gerektirebilir. Eklenen her durum geçiş hızını, başarı koşulunu veya sonucu etkileyen ayrımı temsil etmelidir.

Sürekli zamanlı Markov modellerinin temel biçimi genellikle belleksiz bekleme sürelerini kullanır. Sabit başlatma gecikmesi veya yaşa bağlı bozulma; ek durum, yarı Markov yaklaşımı ya da benzetim gerektirebilir. Yöntemin adı bu varsayımları kaldırmaz. Zaman gösteriminin karar için neden yeterli olduğunu kaydedin ve sonucu bilinen özel durumlarla sınayın.

Ortak nedenleri ve toparlanmayı görünür tutun

İki üniteyi etkisiz bırakan yangın, ortak emiş arızası veya ortak başlatma havası sorunu, geçiş sırasını daha hassas modelleyerek düzeltilmez. Dinamik ayrıntı artarken baskın neden modelden eksik kalabilir. Tersine erişim, yedek parça veya güvenli izolasyon görev sırasında yokken anlık onarım varsaymak performansı büyük ölçüde abartabilir.

Toparlanmayı her arızanın sonuna eklenen genel başarı dalı yerine zamanlaması ve kanıtı tanımlı işlev olarak ele alın. Aynı ekip birkaç sistemi teşhis etmek, izole etmek ve başlatmak zorundaysa eylemler zaman için yarışabilir. Model, görünürde ayrı başarı olasılıklarını çarpmak yerine tepki düzeninin kapasitesini yansıtmalıdır.

İdeal beklemeyi tanımlı bekleme arıza hızıyla değiştirin

Etkin arıza hızı λA kalsın; yedek beklerken λD hızıyla arızalanabilsin. Kusursuz geçiş, onarım bulunmaması ve bağımsız mekanizmalar altında yedeğin başarı yolu s bekleme süresinde sağkalımı da içermelidir. İntegrand λA e^(−λA s)e^(−λD s)e^(−λA(t−s)) olur. Kullanılmayan yedek arızalansa bile ilk ünitenin sağkalım yolu e^(−λA t) kalır.

λD>0 için integral R=e^(−λA t)[1+λA(1−e^(−λD t))/λD] verir. λD sıfıra yaklaşınca ideal soğuk yedek sonucu elde edilir. λD=λA olduğunda bağımsız etkin paralel güvenilirliği 2e^(−λA t)−e^(−2λA t) olur. Bu sınırlar yararlı model kontrolleridir. Gerçek boşta pompanın sabit bekleme hızına veya etkin ve bekleme durumlarında aynı mekanizmalara sahip olduğunu göstermezler.

Görev sağkalımını sonraki kullanılabilirlikten ayırın

Onarılmış sistem, daha önce hizmet kaybetmiş olsa da görev sonunda kullanılabilir olabilir. Gereksinim kesintisiz soğutmaysa önceki kayıp onarımdan sonra da görev başarısızlığı olarak kalır. Onarılmış durumları hiç arızalanmamış durumlarla birleştiren model, gerekli sürekli hizmet olasılığı yerine anlık kullanılabilirliği hesaplayabilir.

İlk kayıp modellenmiş görev gereksinimini geri dönülmez biçimde bozuyorsa ayrı soğurucu başarısızlık durumu kullanın. Sonuç süresinden önce toparlanmaya izin veriliyorsa bunun yerine izin verilen kesintiyi ve toparlanma koşullarını temsil edin. Seçimi en kolay çözülen diyagram değil mühendislik son noktası belirler. Kullanılabilirliği ve görev güvenilirliğini ancak her birinin tanımlı kullanımı varsa birlikte raporlayın; karşılaştırmalarda etiketlerini ayrı tutun.

Sınırı yeterliyse daha basit modeli kullanın

Sıra tanımlı sonucu etkilemiyorsa veya dikkatle türetilmiş koşullu olaylar ilgili sırayı zaten kapsıyorsa statik ağaç uygundur. Sıra, gecikme, bekleme maruziyeti veya onarım değişince sonuç önemli ölçüde değişiyorsa ayrıntılı model gerekçelidir. Karmaşıklık yalnız diyagramı büyütmek yerine bilinen eksikliği gidermelidir.

Statik karşılaştırmayı, eklenen durumları veya zaman değişkenlerini ve ek mekanizmanın sayısal etkisini gösterin. Gerçek donanım için hangi varsayımların doğrulanmadığını belirtin. Buradaki hesaplar eğitsel güvenilirlik modelleridir; geminin acil hizmet uygunluğunu, kabul edilebilir kesinti süresini veya işletme iznini belirlemez.

Kaynaklar