Sayım İstatistiği ve Hata Öngörüsü
Radyoaktif bozunma temelde rastgele olduğundan, her radyasyon ölçümü kendine özgü bir istatistiksel belirsizlik taşır; bu bölüm bu belirsizliği nasıl niceleyeceğimizi, öngöreceğimizi ve en aza indireceğimizi öğretir. Bölüm, tekrarlı ölçümler kümesini deneysel ortalama, veri dağılım fonksiyonu, artıklar (residual) ve örnek varyansı ile karakterize ederek başlar ve bu deneysel büyüklükleri, altta yatan bir olasılık modelinin parametrelerinden keskin biçimde ayırır. Ardından üç istatistiksel model genellik sırasıyla geliştirilir: binom dağılımı (sabit başarı olasılığıyla sonlu sayıda deneme için kesin), onun Poisson limiti (başarı olasılığı küçükken geçerli, nükleer sayımın doğal modeli) ve Gauss limiti (büyük ortalamalar için geçerli, simetrik çan-eğrisi şekliyle). Uygulamacı için can alıcı sonuç, bir Poisson süreci için varyansın ortalamaya eşit olmasıdır; bu nedenle tek bir N sayımının öngörülen standart sapması yalnızca N'nin kareköküdür. Bölüm bu modelleri iki ayrı yolla uygular: bir veri kümesinin yalnızca istatistiksel dalgalanmayla iç tutarlı olup olmadığını sınamak (ki-kare testi) ve tek bir ölçüme belirsizlik atamak. Sonra hata yayılım formülü türetilir ve toplamlara, farklara, çarpımlara, oranlara, sayım hızlarına ve net (kaynak eksi arka plan) hızlara özelleştirilir. Optimizasyon analizi, sabit bir sayım süresinin numune ile arka plan arasında belirsizliği en aza indirecek şekilde nasıl bölüneceğini gösterir ve bir liyakat ölçütü (figure of merit) tanıtır. Son olarak saptanabilirlik sınırları ele alınır: ROC eğrileri, kritik seviye ve Currie'nin minimum saptanabilir miktarı; ve bölüm rastgele olaylar arasındaki zaman aralıklarının üstel dağılımıyla kapanır. Bu bölüme hakim olmak, herhangi bir nükleer ölçümü dürüst biçimde raporlamanın ön koşuludur.
Verinin Karakterizasyonu
Aynı fiziksel büyüklük N kez bağımsız olarak ölçüldüğünde (örneğin ardışık bir dakikalık sayımlar), kaynak sabit olsa bile sonuçlar saçılım gösterir, çünkü bozunma rastgeledir. Veri, her x değerinin bağıl frekansını veren veri dağılım fonksiyonu F(x) ile ve iki türetilmiş büyüklükle özetlenir. Deneysel ortalama x_e aritmetik ortalamadır, dağılımın etrafında merkezlendiği değerdir. Örnek varyansı s^2 iç saçılımı ölçer: bir noktanın artığı (residual) onun x_e'den sapması olarak tanımlanır (artıkların toplamı sıfırdır) ve s^2 artıkların karelerinin ortalamasıdır; gerçek ortalama yerine x_e kullanıldığı için paydada N-1 ile hesaplanır. Örnek varyansı, dalgalanmanın bağıl değil mutlak bir ölçüsüdür ve kaç veri noktası alındığından bağımsızdır. Bu tamamen deneysel betimleyiciler hiçbir model varsayımı taşımaz; bölüm ilerleyen kısımda bunları bir istatistiksel modelin öngörüleriyle karşılaştırır. Önemli olarak, s^2 gözlenen saçılımın yalnızca istatistiksel dalgalanmayla mı tutarlı olduğunu yoksa ek (cihaz kaynaklı) bir değişkenliğin mi bulunduğunu niceler.
İstatistiksel Modeller
Radyoaktif bozunma, bir dizi bağımsız Bernoulli denemesi olarak modellenir: sabit bir gözlem aralığında mevcut n çekirdekten her biri ya bozunur (olasılık p) ya da bozunmaz. Kesin sonuç, ortalaması n*p ve varyansı n*p*(1-p) olan binom dağılımıdır: P(x) = [n!/((n-x)! x!)] p^x (1-p)^(n-x). Tipik bir ölçüm sırasında herhangi bir çekirdeğin bozunma şansı çok küçük (p << 1) iken n çok büyük olduğundan, binom dağılımı Poisson dağılımına indirgenir: P(x) = (ortalama^x e^(-ortalama))/x!; bu tek bir parametreye, ortalamaya bağlıdır. Tanımlayıcı özelliği, varyansın ortalamaya eşit olmasıdır, yani sigma = sqrt(ortalama). Ortalama kendisi büyük hale geldiğinde (kabaca > 30), kesikli Poisson, sürekli Gauss (normal) dağılımıyla iyi yaklaşıklanır; bu, yine ortalamasıyla tam belirlenen simetrik bir çan eğrisidir (sayım verisi için varyans yine ortalamaya eşit). Bölüm, hangi modelin ne zaman uygulanacağını açıklar, Gauss eğrisinin +/- k*sigma içindeki alanını tablolaştırır ve üçünün de aynı ortalamayı öngördüğünü vurgular; şekil ve geçerlilik bölgesi bakımından farklılık gösterirler.
İstatistiksel Modellerin Uygulamaları
Bir istatistiksel modelin iki ayrı kullanımı geliştirilir. Uygulama A, tekrarlı ölçümler kümesinin yalnızca istatistiksel dalgalanmayla iç tutarlı olup olmadığını sorar. Model ortalaması deneysel ortalama x_e'ye eşitlenir, sonra örnek varyansı s^2 ile öngörülen varyans (Poisson için x_e'ye eşittir) karşılaştırılır. Daha nicel bir karşılaştırma ki-kare testidir: chi^2 = sum (x_i - x_e)^2 / x_e; tutarlı veri için bu, N-1 serbestlik derecesine yakın olmalıdır; alışılmadık biçimde büyük bir chi^2 fazla (çoğunlukla cihaz kaynaklı) saçılıma işaret eder, alışılmadık biçimde küçük bir chi^2 ise verinin aşırı düzgün olduğunu düşündürür (olası veri uydurması veya kontrollü bir yapay etki). Uygulama B günlük durumdur: tek bir ölçüm yapılmıştır ve belirsizliği belirtilmelidir. Burada tek sayım N, ortalamanın en iyi tahmini olarak alınır, dolayısıyla tahmini standart sapma sqrt(N)'dir. Bölüm, sqrt(N)'nin yalnızca biriktirilmiş sayım sayısına uygulandığını, asla bir hız, ortalanmış bir değer veya bir fark gibi türetilmiş bir büyüklüğe doğrudan uygulanamayacağını vurgular; bunlar hata yayılımı gerektirir.
Hata Yayılımı
Bir sonuç, her biri kendi belirsizliğini taşıyan birkaç bağımsız ölçülmüş sayımdan hesaplandığında, belirsizlikler genel hata yayılım formülü aracılığıyla birleşir: u(x,y,...) büyüklüğünün varyansı, tüm bağımsız değişkenler üzerinden (partial u / partial x)^2 sigma_x^2 terimlerinin toplamıdır. Bunun uygulanması standart özel durumları verir. Bir toplam veya fark u = x +/- y için mutlak varyanslar toplanır: sigma_u^2 = sigma_x^2 + sigma_y^2 (bir fark için x ve y birbirine yakınken bağıl hatanın çok büyüyebileceğine dikkat edin; bu, net-sayım ölçümlerinin belasıdır). Bir çarpım veya bölüm için kesirsel varyanslar toplanır: (sigma_u/u)^2 = (sigma_x/x)^2 + (sigma_y/y)^2. Bir sayımı kesin bir sabitle çarpmak standart sapmasını o sabitle ölçeklendirir; dolayısıyla bir sayım hızı r = N/t için sigma_r = sqrt(N)/t = sqrt(r/t) olur ve bir hızın bağıl hatası altta yatan sayımınkiyle özdeştir. Bu kurallar laboratuvar veri indirgenişinin iş atıdır ve doğrudan saptama-sınırı ve optimizasyon analizlerinde kullanılan net-hız belirsizliğine götürür.
Sayım Deneylerinin Optimizasyonu
Yaygın bir görev, bir arka plan hızı B varlığında net bir kaynak hızı S ölçmektir; burada toplam mevcut süre T, numune-artı-arka plan sayımı (süre T_{S+B}) ile yalnız arka plan sayımı (süre T_B) arasında bölünmelidir. Sabit toplam süre için net hızın varyansını en aza indirmek, optimal süre-bölme kuralını verir: iki sayım süresinin oranı sqrt((S+B)/B)'ye eşittir. Ulaşılabilir kesinlik bir liyakat ölçütüyle (figure of merit) yakalanır; bu, hedef bir kesirsel standart sapma epsilon = sigma_S/S değerine ulaşmak için gereken sürenin tersidir; optimal bölme için 1/T = epsilon^2 S^2 / (sqrt(S+B) + sqrt(B))^2. İki limit uygulamayı aydınlatır. Kaynak baskınsa (S >> B) arka plan ihmal edilebilir ve yalnızca S maksimize edilir. Kaynak zayıfsa (S << B), ki bu düşük-seviyeli sayımda tipiktir, liyakat ölçütü S^2/B ile ölçeklenir; dolayısıyla S'yi bir katsayıyla, B'yi başka bir katsayıyla artıran bir dedektör veya analiz değişikliği yalnızca S^2/B artarsa değerlidir. Bölüm ayrıca gereken sürenin 1/epsilon^2 ile ölçeklendiğini gösterir; yani istatistiksel hatayı yarıya indirmek sürede dört kat maliyet getirir.
Saptanabilirlik Sınırları
Bir sistem ne kadar zayıf bir kaynağı güvenilir biçimde saptayabilir? Bunu iki hata oranı yönetir: gerçek bir kaynağı doğru biçimde işaretleme olasılığı P_D (saptama olasılığı) ve yalnızca arka plan varken kaynak ilan etme olasılığı P_FA (yanlış alarm olasılığı). Bir karar eşiğini (kritik seviye L_C) tarayarak P_D'nin P_FA'ya karşı çizildiği Alıcı İşletim Karakteristiği (ROC) eğrisi elde edilir. Currie'nin yaygın kullanılan minimum saptanabilir miktarı (MDA) P_D = 0.95 ve P_FA = 0.05 değerlerini sabitler. Gauss istatistiği varsayılarak, yalnızca %5'lik bir yanlış-pozitif oranı istemek kritik seviyeyi L_C = 2.33*sigma_{N_B} = 2.33*sqrt(N_B) olarak belirler (net-sayım standart sapması sqrt(2 N_B)'ye uygulanan tek-taraflı 1.645 sigma). Buna ek olarak, kaynak varken yalnızca %5'lik bir yanlış-negatif oranı istemek, minimum saptanabilir net sayımlar için ünlü Currie denklemini verir: N_D = 2.71 + 4.65*sqrt(N_B). N_D'yi sayım süresine, dallanma oranına f ve mutlak verime epsilon bölmek onu bir minimum saptanabilir aktiviteye çevirir. Bölüm, ROC/MDA'nın iyi karakterize edilmiş Gauss arka planları varsaydığını ve bu varsayımlar geçersizken yanıltabileceğini uyarır.
Zaman Aralıklarının Dağılımı
Herhangi bir Poisson rastgele süreci için (birim zamanda sabit gerçekleşme olasılığı, geçmiş olayların hafızası yok), ardışık olaylar arasındaki zaman aralıkları basit bir yasaya uyar. Bir t aralığında hiçbir olayın gerçekleşmeme olasılığı P(0) = e^(-r t) ile bir sonraki anda bir olayın gerçekleşme olasılığı r*dt birleştirildiğinde, aralık dağılımı I_1(t) dt = r e^(-r t) dt elde edilir; bu, azalan bir üsteldir. En olası aralığı sıfır, ortalama aralığı ise beklendiği gibi 1/r'dir. İnce ve ünlü bir sonuç bunu izler: bunun yerine saat rastgele bir anda başlatılırsa, bir sonraki olaya kadar geçen süre aynı üstele ve aynı 1/r ortalamasına uyar (ilk-sayıma-kadar-geçen-süre hız-ölçüm yönteminin temeli). Yine de rastgele seçilen bir anın içine düştüğü aralık, ortalamada iki kat daha uzundur, 2/r; çünkü rastgele bir an, kısa bir aralıktan ziyade uzun bir aralığa düşme eğilimindedir. Bu uzunluk-yanlı dağılım I_2(t) = r^2 t e^(-r t), görünürdeki paradoksu çözer ve sayım fiziği içinde inceleme-paradoksu (inspection paradox) akıl yürütmesinin temiz bir örneğidir.
Temel Denklemler (18)
Bu denklemi çalıştır: Poisson'dan Gauss'a Yakınsama Kaşifi →N tekrarlı ölçümün aritmetik ortalaması, eşdeğer olarak veri dağılım fonksiyonunun birinci momentidir. Gerçek ortalamanın deneysel tahminidir ve verinin etrafında merkezlendiği değerdir.
Verinin iç saçılımnın mutlak bir ölçüsü: deneysel ortalama etrafındaki artıkların karelerinin ortalaması; ortalamanın aynı veriden tahmin edilmesini düzeltmek için paydada N-1 kullanılır. Tutarlılığı sınamak için model-öngörülü varyansla karşılaştırılır.
Her biri başarı olasılığı p olan n bağımsız Bernoulli denemesinde tam olarak x başarı gözlemleme olasılığı. Herhangi bir yaklaşımdan önce radyoaktif bozunmanın temel modelidir; ortalaması n*p ve varyansı n*p*(1-p)'dir.
p << 1 ve büyük n için binom dağılımının limiti; nükleer sayımın doğal modelidir. Tek parametresi olan ortalamayla tam belirlenir ve varyansının ortalamasına eşit olması gibi tanımlayıcı bir özelliği vardır.
Bölümün merkezi pratik sonucu: bir Poisson süreci için varyans ortalamaya eşittir; dolayısıyla tek bir biriktirilmiş N sayımının (ortalamanın en iyi tahmini olarak alınan) beklenen standart sapması sqrt(N)'dir. Yalnızca sayım sayısına uygulanır, türetilmiş büyüklüklere değil.
Büyük ortalama (kabaca > 30) için Poisson dağılımının sürekli limiti; burada sayım verisine uygun olarak varyansı ortalamaya eşit yazılmıştır. Simetrik çan şekli, güven aralıklarının ve +/- sigma alan tablolarının temelini oluşturur.
Tekrarlı sayımlar kümesinin Poisson istatistiğiyle tutarlı olup olmadığını nicel olarak sınar. İç tutarlı veri için chi^2, N-1'e yakındır; çok daha büyük bir değer fazla (cihaz kaynaklı) saçılıma, çok daha küçük bir değer anormal düzgün veriye işaret eder. N-1 serbestlik dereceli bir ki-kare dağılım tablosuyla karşılaştırılır.
Bağımsız ölçülmüş değişkenlerden hesaplanan türetilmiş bir u(x,y,...) büyüklüğünün varyansını verir; her değişkenin kendi varyansı vardır. Tüm özel birleştirme kurallarının (toplam, çarpım, hız) türediği ana formüldür; değişkenler ilişkisizken geçerlidir.
Toplamsal bir birleşim için mutlak varyanslar işaretten bağımsız olarak toplanır. Bir fark için bu, mutlak hatanın bir toplamınkiyle aynı olduğu anlamına gelir; ancak x ve y neredeyse eşitken kesirsel hata patlayabilir, ki bu tam olarak net (kaynak eksi arka plan) sayımdaki durumdur.
Çarpımsal bir birleşim için kesirsel (bağıl) varyanslar toplanır. Bu kural verim düzeltmelerini, aktivite oranlarını ve ölçülen sayımların çarpılması veya bölünmesiyle oluşan herhangi bir büyüklüğü yönetir.
Bir hız, bir sayımın kesin bilinen bir süreye bölünmesidir; dolayısıyla standart sapması sqrt(N)/t'dir. Bir hızın kesirsel hatası sayımınkine, 1/sqrt(N)'ye eşittir; kesinliği yalnızca biriktirilmiş sayım sayısı iyileştirir, geçen süre değil.
Arka plan-düzeltmeli net kaynak hızının standart sapmasını vermek için hız-hatası ve fark kurallarını birleştirir. Bu, kesinliği sayım süresinin bölünmesi üzerinden optimize edilen ve saptama sınırlarını belirleyen büyüklüktür.
Sabit bir toplam sayım süresi için bu oran, net kaynak hızının varyansını en aza indirir. Kaynak zayıfken süreler eşit dağılıma yaklaşır; kaynak güçlüyken brüt ölçüme daha fazla süre ayrılır.
Süre optimal bölündüğünde, hedef bir kesirsel standart sapma epsilon değerine ulaşmak için gereken toplam sürenin tersi. 1/T'yi maksimize etmek (gereken süreyi en aza indirmek) dedektör ve kabul-penceresi tasarımını yönlendirir. S >> B için ~epsilon^2 S'ye, S << B için ~epsilon^2 S^2/(4B)'ye indirgenir.
Bir ölçümün saptama olarak ilan edildiği net-sayım eşiği; eşit numune ve arka plan süreleriyle Gauss varsayımı altında yanlış-pozitif (yanlış-alarm) olasılığını %5 yapacak şekilde belirlenir. Net-sayım standart sapması sqrt(2 N_B)'ye uygulanan tek-taraflı 1.645 sigma noktası.
Yanlış-alarm olasılığı %5'te (P_FA=0.05) tutulurken bir kaynağın %95 olasılıkla saptanabilmesi (P_D=0.95) için üretmesi gereken minimum ortalama net sayım sayısı. Sayım süresi, dallanma oranı f ve mutlak verim epsilon ile birleşince minimum saptanabilir aktiviteyi verir: a = N_D/(f*epsilon*T).
Bir Poisson sürecinde ardışık olaylar arasındaki t süresinin olasılık yoğunluğu; P(0)=e^(-r t) (t süresince olay yok) ile r*dt (sonraki anda bir olay) çarpılarak elde edilir. En olası aralık sıfır, ortalama aralık 1/r'dir.
Rastgele seçilen bir anın içine düştüğü aralığın dağılımı. Rastgele bir zaman uzun bir aralığa düşme olasılığı daha yüksek olduğundan, aralıklar uzunlukları r*t ile ağırlıklandırılır; bu da olağan ortalamanın iki katı olan 2/r ortalamasını verir. Zaman-aralığı inceleme paradoksunu çözer.
Simülasyon tasarımları
Öğrenci bir ortalama sayım hızı ve bir sayım süresi belirler, sonra benzetilmiş tekrarlı ölçümlerin histogramını gerçek zamanlı oluşurken izler. Üstüne kesin Poisson PMF ve Gauss yaklaşımı bindirilir. Ortalama ~30'u geçtikçe Poisson'un çarpıklığı kaybolur ve iki eğri birleşir; canlı okuma deneysel ortalama, örnek varyansı ve sqrt(ortalama) gösterir ve varyans = ortalama eşitliğini sergiler.
Öğrenci bir arka plan hızı, bir kaynak hızı ve bir sayım süresi belirler; araç iki örtüşen Gauss net-sayım dağılımını (yalnız arka plan ve kaynak-mevcut) çizer. Sürükle-bırak bir kritik seviye L_C canlı kayar; gölgelendirilmiş yanlış-alarm ve yanlış-negatif alanlarını, P_D/P_FA okumalarını ve üretilen ROC eğrisi boyunca izleyen bir noktayı günceller. Bir düğme L_C'yi Currie 2.33*sqrt(N_B) değerine oturtur ve minimum saptanabilir aktiviteyi raporlar.
Seçilen bir hızda bir Poisson tıklamaları akışı üretilir ve canlı bir olay rasteri olarak gösterilir. Olaylar-arası aralıkların histogramı üstel r*e^(-r t)'ye uyacak şekilde dolar. Ardından öğrenci akışın üzerine rastgele örneklem anları bırakır; bu anların içine düştüğü aralıkların histogramı uzunluk-yanlı r^2*t*e^(-r t)'ye yükselir; yan yana bir okuma ölçülen ortalamaların 1/r ve 2/r'ye yakınsadığını gösterir ve inceleme paradoksunu sergiler.
Sayısal veriler
Bu bölüm, her nükleer ölçüm kodunun istatistiksel omurgasıdır. Öğrenciler psödo-rastgele nükleer veriyi üretmeyi ve doğrulamayı öğrenir: düzgün PRNG'ler (xorshift, PCG), ters-CDF ve reddetme (rejection) örnekleme ve özel Poisson üreticileri (küçük ortalamalar için Knuth çarpımı, büyük ortalamalar için dönüştürülmüş-reddetme PTRS). Felaket getiren naif kareler-toplamı yerine sayısal olarak kararlı toplayıcılar (Welford'un çevrimiçi ortalama/varyansı) uygularlar ve ki-kare uyum-iyiliği istatistiğini serbestlik-derecesi yorumuyla kodlarlar. Hata yayılımı hem analitik (kısmi-türev formülü) hem de Monte Carlo ile uygulanır; öğrenciler ikisinin uyuştuğunu görür. Saptama sınırları için erf yaklaşımları aracılığıyla Gauss kuyruk integrallerini kodlar, ROC eğrileri oluşturmak için kritik seviyeleri tarar ve minimum saptanabilir aktivite için Currie denklemini çözerler; bu, sağlık-fiziği ve iç-güvenlik cihazlarının içinde çalışan tam mantıktır. Bu fikirler üretim araçlarına doğrudan eşleşir: Monte Carlo transport kodları MCNP, Geant4, OpenMC ve Serpent sonuçları ortalamalar ve istatistiksel belirsizliklerle raporlar ve doğrudan bu bölümden alınan varyans-azaltma ve liyakat-ölçütü (FOM = 1/(sigma^2 * T)) optimizasyonunu uygular; gama-spektroskopi paketleri (Genie 2000, InterSpec) Currie MDA'yı ve pik-belirsizliği yayılımını uygular. Bu ilkel yapıları TypeScript arayüzlü Rust/WASM'da inşa ederek öğrenciler, tüm alanın altında yatan istatistik katmanının çalışan, incelenebilir bir sürümünü kazanır.