Walidacja — kampania safeguards (bilans U-235)
MUF=feed-product-tails-holdup; |z|<1=spójna; z↓z σ; |z|>2=alarm; holdup w bilansie.
✓
10/10 asercji zdanych
Walidacja: ✓ ZALICZONA
Obliczono: 2026-07-08 02:29:06 UTC · PHP 8.1.2-1ubuntu2.24
Niezmienniki fizyczne
| Stan | Asercja | Wynik | Oczekiwane |
|---|---|---|---|
| ✓ | difference_kg_u235 ≈ 0 dla idealnie zbilansowanej kampanii (feed=product+tails) MUF = U-235_feed - U-235_product - U-235_tails - U-235_holdup; bilans musi zamykać się na 0. |
0 kg | 0 kg |
| ✓ | |z_score| < 1 dla idealnego bilansu → interpretacja "spójna z niepewnością" |z| < 1 σ: różnica mieści się w jednej sigma kombinowanej; kampania wiarygodna. |
z=0.0000, "kampania spójna z niepewnością pomiarową" | "spójna" |
| ✓ | combined_sigma_kg_u235 > 0 dla realnej kampanii σ(MUF) = √(Σσ²_i) > 0 gdy masa > 0; żadna realnie mierzalna kampania nie ma σ=0. |
sigma = 0.0129 kg | > 0 |
| ✓ | difference > 0 gdy feed > product + tails (brak 10 kg w ogonach) Brakujące 10 kg ogonów (×1% U-235 = 0.1 kg U-235): MUF > 0 → feed nie bilansuje się z wyjściami. |
difference = 0.1000 kg U-235 | > 0 |
| ✓ | difference < 0 gdy tails > proporcja (nadmiar deklarowany w ogonach) MUF < 0: więcej U-235 zadeklarowane jako wyjście niż wejście; błąd bilansu lub pomiary. |
difference = -0.1000 kg U-235 | < 0 |
| ✓ | streams zawiera klucze: feed, product, tails, hold_up Bilans IAEA: 4 strumienie — feed (wejście), product (wyjście), tails, hold-up (materiał w toku). |
feed, product, tails, hold_up | 4 klucze |
| ✓ | u235_kg(feed) = feed_kg × assay_pct / 100 = 3.0 kg U-235 = masa_total × frakcja_wzbogacenia; rachunek liniowy bez korekty UF6. |
3 kg | 3 kg |
| ✓ | |z_score| niższy przy wyższej niepewności (ta sama różnica): z_loose < z_tight z = MUF/σ: wyższe σ → niższy |z|; wymagania safeguards IAEA uwzględniają realną niepewność pomiaru. |
|z|(σ_duża)=0.394 < |z|(σ_mała)=39.442 | z_loose < z_tight |
| ✓ | |z| > 2 dla dużej niezgodności → interpretacja "wymaga wyjaśnienia metrologicznego" Brakuje 200 kg ogonów (×1%=2 kg U-235); przy σ≈0.5 kg: |z|>>2 → alarm safeguards IAEA. |
z=163.66, "różnica U-235 jest duża względem niepewności i wymaga wyjaśnienia metrologicznego" | "wyjaśnienia" |
| ✓ | hold-up ≠ 0 zmienia difference_kg_u235 (materiał w toku w bilansie) Hold-up: materiał zawieszony wewnątrz separatora; IAEA wymaga deklaracji i włączenia do bilansu. |
Δdiff = -0.1500 kg (holdup=5kg×3%) | ≠ 0 |
Porównanie z benchmarkami
Benchmarki pokazują pełny tor bilansu materiałowego: przeliczenie strumieni na U-235, MUF, niepewność łączną, z-score oraz interpretację audytową.
| Benchmark | Wynik modelu | Punkt odniesienia | Ocena |
|---|---|---|---|
| Bilans zamknięty: 100 kg × 3% = 50 kg × 5% + 50 kg × 1% To najprostszy benchmark rachunku safeguards: produkt i ogony dokładnie zamykają U-235 z feedu. |
MUF=0.000000 kg U-235; z=0.0000 | MUF=0 kg i interpretacja spójna | Jakościowy ✓ |
| Strumień feed: 100 kg uranu przy 3% zawiera 3,0 kg U-235 Waliduje podstawowe przeliczenie masa razy assay, zanim dane trafią do MUF. |
3.000000 kg U-235 | 3,000000 kg U-235 | Jakościowy ✓ |
| Brak 10 kg ogonów przy 1% assay daje dodatni MUF 0,1 kg U-235 Ten punkt pokazuje znak różnicy: dodatni MUF oznacza więcej U-235 na wejściu niż w zadeklarowanych wyjściach. |
0.1000 kg U-235 | +0,1000 kg U-235 | Jakościowy ✓ |
| Ten sam MUF ma niższy |z| przy większej niepewności pomiarowej Benchmark sprawdza nie tylko bilans masy, ale też propagację niepewności i interpretację statystyczną. |
|z| duża sigma 0.394; mała sigma 39.442 | |z|_duża_sigma < |z|_mała_sigma | Jakościowy ✓ |
| Duża niezgodność przy małej niepewności przechodzi w tryb wyjaśnienia To kontrola progu audytowego, widoczna dla użytkownika końcowego. |
MUF=2.00 kg U-235; z=163.66; różnica U-235 jest duża względem niepewności i wymaga wyjaśnienia metrologicznego | |z| > 2 i komunikat o wyjaśnieniu | Jakościowy ✓ |
Kontekst metodologiczny:
Kalkulator nie rozstrzyga przyczyn rozbieżności, tylko pokazuje audytowy rachunek MUF z niepewnością. Benchmarki są dobrane tak, aby użytkownik widział znak różnicy, rolę hold-upu i to, dlaczego ta sama różnica może być albo nieistotna, albo wymagająca wyjaśnienia zależnie od sigmy.
Zakres walidacji
Sprawdzone: MUF=0 dla bilansu, |z|<1→spójna, σ>0, MUF>0 gdy feed>wyjścia, MUF<0 gdy wyjścia>feed, 4 strumienie, u235=mass×assay, z↓z σ, |z|>2→alarm, holdup w bilansie.
Audyt modelu: Kampania safeguards
Kalkulator liczy bilans U-235 w strumieniach feed, product, tails i hold-up dla jednej kampanii pomiarowej. Propaguje niepewność masy i oznaczania assay oraz pokazuje z-score różnicy.
Najważniejsze uproszczenia
- Nie opisuje procedur inspekcyjnych, punktów pomiarowych ani częstotliwości kontroli.
- Nie dobiera progów alarmowych i nie modeluje obchodzenia containment/surveillance.
- To uproszczony model metrologiczny jednej kampanii, bez pełnej korelacji błędów systematycznych.
Co można liczyć dokładniej
- Dodać rozdzielenie błędów systematycznych i przypadkowych.
- Dodać trend wielu kampanii w czasie.
- Dodać import syntetycznego feed/product/tails z kalkulatora SWU i ogony.