Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Sider om scenarietyperRedigér på GitHubKilde: docs/kinds/by-kind/sweep-nd.md

sweep-nd (scenarietype)

Scenarietype i motoren v0.40.0, familie Ure, tidssynkronisering og holdover. 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: README'ens afsnit Evidence).

Hvad det gør#

Generisk N-D-sweep over en vilkårlig pakke via punkterede TOML-nøgler / JSON-metrikstier.

Én kørsel af scenarios/sweep-nd-inertial.toml opsummeres som: generisk sweep af inertial over [threshold_m, accel_classical.bias] | 15 knuder (form [5, 3]) | metrikker [classical.fom.holdover_s, classical.fom.pos_rms_m]

Input#

Fra skemaet (kshana kinds --json):

  • Påkrævede felter: base, axes, metrics
  • Valgfrie felter: ingen

Eksemplet scenarios/sweep-nd-inertial.toml angiver blandt andet:

Felt Værdi Enhed
axes[0].key threshold_m tekst
axes[0].start 100 ikke angivet
axes[0].steps 5 ikke angivet
axes[0].stop 500 ikke angivet
axes[1].key accel_classical.bias tekst
axes[1].scale log tekst
axes[1].start 0.001 ikke angivet
axes[1].steps 3 ikke angivet
axes[1].stop 0.003 ikke angivet
axes[1].unit m/s^2 tekst
base.accel_classical.bias 0.00157 ikke angivet
base.accel_classical.bias_instability 1.0000e-5 ikke angivet

Kør den#

kshana scenarios/sweep-nd-inertial.toml

Hvad den giver#

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

Resultat Værdi Enhed
evidence.id_rule det stabile id for matrixrækken (kolonnen ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier PARTNER tekst
Diagrammet, som motoren skriver for scenarios/sweep-nd-inertial.toml, type sweep-nd

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):

  • MODELLED Koldatom-interferometer-accelerometer ud fra grundprincipper (k_eff·T², QPN). Uafhængig reference (ExternalDataset): Offentliggjorte numeriske vektorer fra CAI-primærartikler (Cheinet 2008, overføringsfunktion; Peters/Freier, følsomhed): k_eff·T² stemte præcist, skudstøjens ASD et ensidet gulv inden for ca. 2× af hvert offentliggjort instrument (rigtige enheder har teknisk støj over kvantegulvet). Et interval, ikke paritet. 0,30 runde 2 (præregistreret fcb9ac64), et fund (forbliver MODELLED): rotationsstøjen med kun QPN mod den målte Gauguet et al.
  • MODELLED Sammensat positionsbudget af bias + skalafaktor + VRW + stabilitetsforfald over holdover. Uafhængig reference (ReferenceImpl): Uafhængig numpy Monte Carlo-SDE-integration af dobbeltintegreret hvid accelerationsstøj (validerer den analytiske VRW-varians med en reelt uafhængig algoritme) + et offentliggjort værdianker fra Groves 2013 for bias- og skalafaktorleddene; CAI-enhedstallene kvantificerer partnerens hardware og 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 Typen campaigns sweep (en til tre punktsepararede nøgler af en vilkårlig type, på det generiske sweeps akseværdier, eventuelt et ensemble i hver knude) og monte_carlo-sek. Uafhængig reference (InternalConsistency): Den lukkede form for fasens random walk under hvid frekvensstøj, varians q_wf tau (NIST Technical Note 1337), for statistikmaskineriet, og byte-lighed med de selvstændige kørsler for seedningen. Det kontrollerer ensemblets aritmetik på motorens egen urmodel, ikke et eksternt datasæt

Begrænsninger#

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

  • Kvanteinertial sensorydelse 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))
  • Robusthed for kvanteinertial dødregning er MODELLED, ikke valideret: kontrolleret mod en separat implementering i samme kodebase, uafhængig af den enhed, der testes, men ikke eksternt autoritativ. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • 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))
  • Parametersweeps og seedede Monte Carlo-ensembler over enhver scenarietype er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#