Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/sweep-nd.md

sweep-nd (scenariotyp)

Scenariotyp i motor v0.40.0, familj Klockor, tidssynkronisering och holdover. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Generellt N-dimensionellt svep över valfritt paket via punktseparerade TOML-nycklar / JSON-mätvärdessökvägar.

En körning av scenarios/sweep-nd-inertial.toml sammanfattas som: generellt svep av inertial över [threshold_m, accel_classical.bias] | 15 noder (form [5, 3]) | mätvärden [classical.fom.holdover_s, classical.fom.pos_rms_m]

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: base, axes, metrics
  • Valfria fält: inga

Exemplet scenarios/sweep-nd-inertial.toml anger bland annat:

Fält Värde Enhet
axes[0].key threshold_m text
axes[0].start 100 inte angivet
axes[0].steps 5 inte angivet
axes[0].stop 500 inte angivet
axes[1].key accel_classical.bias text
axes[1].scale log text
axes[1].start 0.001 inte angivet
axes[1].steps 3 inte angivet
axes[1].stop 0.003 inte angivet
axes[1].unit m/s^2 text
base.accel_classical.bias 0.00157 inte angivet
base.accel_classical.bias_instability 1.0000e-5 inte angivet

Kör den#

kshana scenarios/sweep-nd-inertial.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier PARTNER text
Diagrammet som motorn skriver för scenarios/sweep-nd-inertial.toml, typ sweep-nd

Evidens#

Ingen matrisrad nämner den här typen vid namn; etiketten på dess resultat är motorns egen, ovan.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • MODELLED Accelerometer med kallatomsinterferometer från grundprinciper (k_eff·T², QPN). Oracle (ExternalDataset): Publicerade numeriska vektorer från primärartiklar om CAI (Cheinet 2008 överföringsfunktion; Peters/Freier känslighet): k_eff·T² stämde exakt, skottbrus-ASD ett ensidigt golv inom ~2× av varje publicerat instrument (verkliga enheter har tekniskt brus över kvantgolvet). Ett intervall, inte paritet. 0,30 round 2 (pre-registered fcb9ac64), ett fynd (förblir MODELLED): det rena QPN-rotationsbruset mot det uppmätta Gauguet et al.
  • MODELLED Sammansatt positionsbudget för bias + skalfaktor + VRW + stabilitetsavklingning över holdover. Oracle (ReferenceImpl): Oberoende numpy Monte Carlo-SDE-integrering av dubbelintegrerat vitt accelerationsbrus (validerar den analytiska VRW-variansen med en genuint oberoende algoritm) + ett publicerat värdeankare från Groves 2013 för bias-/skalfaktortermerna; CAI-enhetens siffror kvantifierar partnerhårdvara och förblir MODELLED
  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
  • PARTNER Tillhandahålls inte — endast prestandamodeller; kallatoms-/klockhårdvaran är en partners. Oracle (NoneKind): ingen: en disciplin som ägs av partner, utan modul och utan test av utformning
  • MODELLED Typen campaign svep (en till tre punktseparerade nycklar av valfri typ, på det generiska svepets axelvärden, eventuellt en ensemble i varje nod) och monte_carlo-avs. Oberoende referens (InternalConsistency): Den slutna formen för fasslumpvandringen under vitt frekvensbrus, varians q_wf tau (NIST Technical Note 1337), för statistikmaskineriet, och bytelikhet med de fristående körningarna för seedningen. Den kontrollerar ensemblens aritmetik på motorns egen klockmodell, inte en extern datamängd

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • Prestanda hos kvantinertialsensorer är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan består av modellerade delar, så förmågan förblir Modelled. (verification matrix (docs/MODELLED-RATIONALE.md))
  • Motståndskraft hos kvantinertial dödräkning är MODELLED, inte validerad: kontrollerad mot en separat implementation i samma kodbas — oberoende av enheten som testas, men inte externt auktoritativ. (verification matrix (docs/MODELLED-RATIONALE.md))
  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Parametersvep och seedade Monte Carlo-ensembler över valfri scenariotyp är MODELLED, inte validerade: kontrollerade mot sin egen slutna / analytiska identitet — fångar transkriptions- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#