quantum-anomaly-detect (scenarietype)

Scenarietype i motoren v0.40.0, familie Inertial-, fusions- og kvantesensorer. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: afsnittet Evidens i README).

Hvad det gør#

MODELLED detektion af fejl og anomalier for kvante-PNT-systemer: et mærket fejlkatalog (urets frekvensspring, drift og tab af lås; sensorens biastrin og udfald), en ROC-AUC for detektionsstatistikken (med et bootstrap-konfidensinterval fra den eksternt validerede eval_stats) og en mindste detekterbare fejl ved en fast falsk alarmrate, hvor den kvanteur-støttede monitor (lavere støj) detekterer mindre fejl — som ærlig TradeEvidence + repræsentativitet. Gaussisk model af detektionsstatistikken (AUC = Phi(mu/(sigma*sqrt2))); modellerer klassen, illustrative parametre fra offentlige kilder, ingen TRL/flyvning/certificering.

Én kørsel af scenarios/quantum-anomaly-detect.toml opsummeres som: quantum-anomaly-detect | AUC kvante 0,9908 mod klassisk 0,7603 | mindste detekterbare fejl kvante 1,312 mod klassisk 4,372 | 5 fejlklasser | afvejning: kvante vinder 2/2 | MODELLED

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: fault_mu, quantum_sigma, classical_sigma, pfa, pd, samples, seed

Eksemplet scenarios/quantum-anomaly-detect.toml angiver blandt andet:

Kør den#

kshana scenarios/quantum-anomaly-detect.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Evidens#

Ingen matrixrække nævner denne type ved navn; mærkaten på dens resultat er motorens egen, ovenfor.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• VALIDATED Analytisk binormal ROC-AUC = Φ(μ/(σ√2)) og den mindste detekterbare fejl σ·(Φ⁻¹(1−P_fa)+Φ⁻¹(P_d)), som ligger til grund for detektorerne for kvantefejl og anomalier. Uafhængig reference (ExternalDataset): scipy 1,17 (Cephes ndtr/ndtri) + scikit-learn roc_auc_score (Pedregosa et al., JMLR 2011), begge BSD-3-Clause — uafhængige biblioteker, der beregner de samme entydigt definerede størrelser for gaussisk hale og AUC, afstemt til A&S-erf-gulvet (~7e-8). Fordelen for kvante frem for klassisk, som er bygget oven på, forbliver MODELLED
• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• PARTNER Ikke leveret: kun ydelsesmodeller; koldatom-/urhardware er en partners. Uafhængig reference (NoneKind): ingen: en disciplin, som partneren ejer, uden modul og uden test i designet
• MODELLED Ét reproducerbart TradeEvidence-objekt (fast ramme: scenarie+seed+motor; fælles værdier for kvante mod klassisk pr. kvalitetsmål med polaritetskorrekt fordel, valgfri 95%. Uafhængig reference (InternalConsistency): identiteter i lukket form for fordel og vinder + tro indpakning af det eksisterende quantum_trade::TradeResult; ærligheden er knyttet til registeret over repræsentativitet og verifikationsmærkaterne
• MODELLED Mærket katalog over kvantefejl (urets frekvensspring, drift og tab af lås; sensorens biastrin og udfald), en ROC-AUC for detektionsstatistikken med bootstrap-konfidensinterval og en mindste. Uafhængig reference (InternalConsistency): gaussisk AUC i lukket form = Phi(mu/(sigma*sqrt2)) krydskontrolleret mod den eksternt validerede eval_stats::bootstrap_auc_ci (mod scikit-learn) + analytiske detektionstærskler

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED detektion af fejl og anomalier for kvante-PNT-systemer: et mærket fejlkatalog (urets frekvensspring, drift og tab af lås; sensorens biastrin og udfald), en ROC-AUC for detektionsstatistikken (med et bootstrap-konfidensinterval fra den eksternt validerede eval_stats) og en mindste detekterbare fejl ved en fast falsk alarmrate, hvor den kvanteur-støttede monitor (lavere støj) detekterer mindre fejl — som ærlig TradeEvidence + repræsentativ (typekatalog (kshana kinds --json))
• Detektion af fejl og anomalier for kvante-PNT-systemer — mærket fejlkatalog + ROC-AUC + mindste detekterbare fejl, kvanteur-støttet mod klassisk monitor. MODELLED; illustrative parametre fra offentlige kilder; modellerer klassen, ingen påstand om TRL eller flyvning. (kommentar i scenariefilen, linje 1 til 3)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Afvejning mellem kvante og klassisk (fælles form) er MODELLED, ikke valideret: kontrolleret mod dens egen identitet i lukket/analytisk form — det fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Detektion af fejl og anomalier for kvante-PNT-systemer er MODELLED, ikke valideret: kontrolleret mod dens egen identitet i lukket/analytisk form — det fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Inertial-, fusions- og kvantesensorer
• Alle typer: KINDS.md
• Emneside: QUANTUM-MODELS.md