Bilgiseller / Risk analizi yöntemleri
Dinamik olay ağaçları: fiziksel durumun belirlediği dallanma ve geri besleme
Talep zamanları enerji dengesinden doğan küçük bir ısıl olay ağacı kurun; yinelenen sıcaklıkları, geçmişe koşullu olasılıkları ve sayısal olay çözünürlüğünü izleyin.
Bu sayfada
Bir olay ağacı, prosesin her karar noktasına sabit sırayla ulaştığını varsayarsa doğru etiketleri yanlış diziye yerleştirebilir. Dinamik ağaç fiziksel durumu zaman içinde ilerletir ve yörüngenin sırada hangi olaya ulaşacağını sorar. Geri besleme önemlidir; başarılı eylem yörüngeyi değiştirerek daha sonra yeni bir talep yaratabilir. Bu geri dönüşleri izlerken hem fiziksel geçmişi hem olasılık kütlesini korumak gerekir.
Proses yörüngesini ağacın parçası yapın
Sandia’nın ADAPT açıklaması, dinamik olay ağacı çalışmasını kaydedilmiş durumdan benzetici yeniden başlatma ve zamana bağlı çıktılarla ilişkilendirir. Bu örnekte temel fikir sınırlıdır: fiziksel modeli olay koşuluna kadar ilerletin, tam durumu kaydedin, sonra tanımlanan her sonuç için bir alt dalı sürdürün. Belirli ticari benzetici veya özel dallanma algoritması varsayılmaz.
Olay sıralaması ve koşullu olasılıkları incelenen durumu yeterince temsil ediyorsa geleneksel ağaç yararlıdır. Yalnız zaman damgası eklemek ağacı dinamik yapmaz. Burada sonraki soğutma talebini sıcaklığın değişimi üretir; soğutmanın sonucu da sonraki olayın zamanını değiştirir. Bu nedenle analist, dalları çözmeden bütün olay zamanlarını belirleyemez.
Isıl envanteri ve sonlu soruyu tanımlayın
Isı kapasitesi C = 100 kJ/K ve sabit ısı girdisi Q = 10 kW olan varsayımsal, tam karışmış envanter kullanın. Başlangıçta T = 20 °C ve soğutucu kapalıdır. Başarılı soğutma başlatması Qc = 30 kW uzaklaştırır; başarısız başlatma ısı uzaklaştırmaz. Giriş, çıkış, faz değişimi, çevreye kayıp veya gecikme yoktur. Bu sadeleştirmeler yörüngeleri kesin yeniden hesaplanabilir kılar; gerçek kaba uygulanabilir kılmaz.
30 °C’nin ilk yukarı yönlü geçişi soğutma talep eder. Başarılı soğutma, 24 °C’nin aşağı yönlü geçişine kadar sürer; sonra kapanır ve sonraki yukarı geçiş yeniden talep oluşturabilir. Başlatma başarısızsa soğutma deneyin kalanında kullanılamaz. İlk kez varsayımsal 35 °C sınıflandırma sınırına ulaşılınca veya 250 s ufkunda durun. Ufka sınır altında ulaşmak, sınırsız gelecekteki işletme hakkında hüküm vermez.
Anahtarlama olayları arasındaki hareketi türetin
MIT’nin ısıtılan tank dersi, açık varsayımlı yığılmış enerji dengesinin sıcaklık modeline dönüşümünü gösterir. Burada kurulan farklı, kapalı envanter modelinde C dT/dt = Q − uQc olur; soğutma kapalıyken u sıfır, açıkken birdir. 1 kW = 1 kJ/s olduğundan eğimler sırasıyla +0,1 K/s ve −0,2 K/s olur.
Olaylar arasında sıcaklık doğrusaldır: T(t + Δt) = T(t) + eğim × Δt. İlk talep böylece (30 − 20)/0,1 = 100 s sonra oluşur. Başarılı başlatmada soğutma, (30 − 24)/0,2 = 30 s sonra, t = 130 s anında sıfırlama sıcaklığına ulaşır. Olay zamanlarını bu fiziksel hesap belirler; başlatmaya atanan olasılık, başlatmanın ısıl etkisini belirlemez.
Yönlü geçiş koşulları kullanın ve kipi saklayın
Olay koşulu yalnız “sıcaklık 30 °C’ye eşittir” ifadesinden fazlasını gerektirir. Başlatma koşulunu ancak soğutma kapalı, hâlâ kullanılabilir ve sıcaklık yükseliyorken uygulayın. Sıfırlama koşulunu yalnız soğutma açık ve sıcaklık düşüyorken uygulayın. Başlatması başarısız dal, ayrı kullanılamaz kipidir; her integrasyon adımında yeni bağımsız başlatma talep etmemelidir.
Bu öğretim mantığında 30 °C başlatma ve 24 °C sıfırlama histerezis oluşturur. Böylece tek sınırda anlık açma–kapama önlenir. Kaydedilen durum; zamanı, sıcaklığı, soğutucu kipini ve talep geçmişini içerir. Sonradan aktüatör gecikmesi, depolanmış ısı, bakım veya sürekli yaşlanan bileşen eklenirse bunların durum değişkenleri de kaydedilmelidir; yoksa görünüşte aynı iki yeniden başlangıcın geçerli gelecekleri farklı olabilir.
Yinelenen sıcaklığı birleştirmek yerine izleyin
130 s anındaki ilk sıfırlamadan sonra 24 °C’den 30 °C’ye ısınma 60 s sürer. İkinci talep bu nedenle 190 s anında oluşur. İlk taleple sıcaklığı aynı, zamanı ve geçmişi farklıdır. İkinci başlatma başarılıysa soğutma 220 s anında sıfırlanır; envanter 250 s ufkunda 27 °C’ye ısınır. Üçüncü talep, bu hesabın dışında, 280 s anında oluşurdu.
İlk başlatma başarısızsa değişmeyen ısınma eğimi envanteri 150 s anında 35 °C’ye taşır. İlki başarılı ve ikincisi başarısızsa 35 °C’ye varış 240 s anındadır. Sırf sıcaklıkları eşit diye iki 30 °C düğümünü birleştirmek talep sayısını siler ve olası devamı değiştirir. Yinelenen fiziksel değerler, kendiliğinden eşdeğer olasılıksal durumlar değildir.
Koşullu olasılığı yalnız belirsizliğin dallandığı yere ekleyin
İlk başlatmanın başarı olasılığını 0,8 olarak belirleyin. İlk başlatmanın başarılı olması ve belirtilen geçmişte ikinci talebe ulaşılması koşuluyla ikinci başarı olasılığını 0,6 alın. İkinci değerin düşük olması yalnız özgün deney tanımının parçasıdır; aşınma mekanizması veya ölçülmüş bağımlılık çıkarılmaz. Gerçek model, kendi geçmişe bağlı sonuç yasası için kanıt gerektirir.
İlk başarısızlık yaprağının kütlesi 0,2’dir. İlk başarı/ikinci başarısızlık yaprağı 0,8 × 0,4 = 0,32’dir. İki başarı 0,8 × 0,6 = 0,48 verir. Ayrık yaprakların toplamı 1’dir. 250 s içinde 35 °C’ye ulaşma olasılığı 0,2 + 0,32 = 0,52 olur. Sıfırlama ve yeniden ısınma burada deterministiktir; ek “geçiş olasılıklarıyla” çarpmak aynı belirsizliği iki kez sayar.
Sonlanmayı, budamayı ve çözülemeyen kütleyi ayırın
Sınıra ulaşan dal tamamlanmış ve sınıflandırılmış sonuçtur. Ufukta sınıra ulaşmadan duran dal da sınıflandırılmıştır; ancak yalnız sonlu soru için. Hesap yükü nedeniyle atılan dal bunlardan hiçbiri değildir. Sınıra ulaşan, ufka ulaşan, bilerek budanan ve çözülemeyen yolların toplamlarını ayrı tutun; her ayrımda üst daldan alt dallara kütle korunmalıdır.
Sandia’nın dinamik ağaç yayını, belirsizliğin daha ayrıntılı işlenmesinin durum uzayını büyüttüğünü ve olasılığa göre budamayı gündeme getirebildiğini belirtir. Sınıra ulaşma gibi sınırlandırılmış gösterge için atılan kütle, hesaplanmamış katkıyı sınırlayabilir: kalan yaprakları sessizce yeniden normalize etmek yerine onu çözülememiş olarak koruyun. Benzetimin çökmesi, yolun güvenli veya olasılığının sıfır olduğuna kanıt değildir.
İntegrasyon doğruluğuyla birlikte olay yerini de sınayın
Kesin parçalı doğrusal çözüm bağımsız test hedefleri verir: talepler 100 ve 190 s, başarılı sıfırlamalar 130 ve 220 s, sınır varışları 150 veya 240 s anındadır. Her parçayı integre edin ve geçişi sayısal adımın içinde bulun. Sürekli sıcaklığı olay anında sonraki kipe taşıyın; geçen enerjiyi kaybedip yalnız gösterilen sıcaklığı eşik değerine çekmek uygulama hatasını gizleyebilir.
Azalan en büyük adımlar ve daralan olay toleranslarıyla tekrarlayın. Yalnız düzgün görünen eğriyi değil; olay sırasını, olay zamanlarını, son sıcaklığı, yaprak sınıflarını ve korunan kütleyi karşılaştırın. Büyük adım hem geçiş koşulunu hem sonuç sınırını atlayabilir; en erken geçerli geçiş önce çözülmelidir. Bu basit model kesin olay yeri hesabına izin verir; dolayısıyla kalan adım etkisi fiziksel belirsizliği değil, sayısal veya geçiş mantığı sorununu gösterir.
Model çözünürlüğünü girdi belirsizliğinden ayırın
Çözücü toleransını değiştirmek sayısal temsili sınar. Isı kapasitesini, ısı girdisini, soğutma yeteneğini, anahtarlama gecikmesini veya koşullu başlatma olasılıklarını değiştirmek fiziksel ya da olasılıksal varsayımları sınar. Bunları ayrı raporlayın. Tam yakınsamış çözüm; tabakalaşma, sıcaklığa bağlı ısı uzaklaştırma veya modellenen ortalama sıcaklığı ölçmeyen sensör bulunan ekipman için yine yanlış olabilir.
Eşzamanlı olay kurallarını da inceleyin. Kapatma, sıfırlama ve son koşul çakışırsa gerçekte hangi fiziksel eylemlerin olduğunu ve sınıflandırmanın nasıl yapıldığını tanımlayın. Yazılım olay listesinin iç sırası bu soruya kazara karar vermesin. Bu örnekte 35 °C’ye ilk varış yolu sonlandırır; sınır sonrası toparlanma veya bunun sonuçları modellenmez.
Durumdan sonuca denetlenebilir zincir koruyun
Her düğüm için üst düğüm kimliğini, gelen kütleyi, tam yeniden başlatma durumunu, etkin geçiş koşullarını, dal sonuçlarını ve koşullu olasılıklarını saklayın. Her son yol için durma nedenini ve sınıflandırmayı yeniden üretecek yörüngeyi tutun. Sıcaklık ve zaman içermeyen yol özeti, soğutma talebinin gerçekten sonuçtan önce oluşup oluşmadığını gösteremez.
Bu örneği ancak enerji dengesi, kesin olay takvimi, üç yapraklı ayrım ve sonlu ufuk ifadesi uyuştuğunda kabul edin. Mühendislik uygulamasında öğretim girdilerini ve anahtarlama yasasını; doğrulanmış tesis davranışı, kanıta dayalı belirsizlik ve gerekçeli sonuçlarla değiştirin. Ayırt edici fayda, proses tanıdık sıcaklığa önemli ölçüde farklı durumda döndüğünde de geri beslemenin sonraki talebi nasıl oluşturduğunu izlenebilir biçimde açıklamaktır.