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

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

sweep (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#

1-D-svep för en avvägningsstudie över en parameter i klockpaketet.

En körning av scenarios/sweep-clock-stability.toml sammanfattas som: svep holdover_s över classical_q_wf (1.00e-24..1.00e-18, 25 punkter, logaritmisk skala) | kvant 6600.000->6600,000 | klassisk 2610.000->250,000

Indata#

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

  • Obligatoriska fält: parameter, metric, start, stop, steps, base
  • Valfria fält: scale

Exemplet scenarios/sweep-clock-stability.toml anger bland annat:

Fält Värde Enhet
base.clock_classical.flicker_floor 2.0000e-11 inte angivet
base.clock_classical.id csac-sa45s text
base.clock_classical.provenance Microchip SA.45s CSAC-datablad sigma_y(1s)=3e-10; q_wf är s text
base.clock_classical.q_rw 0 inte angivet
base.clock_classical.q_wf 9.0000e-20 inte angivet
base.clock_classical.y0 5.0000e-10 inte angivet
base.clock_quantum.flicker_floor 1.0000e-16 inte angivet
base.clock_quantum.id optical-sr-lattice text
base.clock_quantum.provenance Optisk gitterklocka med strontium, rymdinriktat mål sigma_y text
base.clock_quantum.q_rw 0 inte angivet
base.clock_quantum.q_wf 1.0000e-30 inte angivet
base.clock_quantum.y0 5.0000e-17 inte angivet

Kör den#

kshana scenarios/sweep-clock-stability.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 MODELLED text
metric holdover_s text
parameter classical_q_wf text
scale log text
Diagrammet som motorn skriver för scenarios/sweep-clock-stability.toml, typ sweep

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

  • MODELLED En körning tar en kontaktplan (en lista med aos_s/los_s-fönster, vart och ett med begäran till aperturen om navigering eller kommunikation — samma fönstervokabulär som passes::predict_passes ger, omvandlad av aperture_duty::windows_from_passes), ett antal aperturer
  • MODELLED Tillgänglighetssvepen i kind gnss-ssv: per konstellation (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) och kombinerat, andelen (användare, epok)-par med minst en och minst fyra signaler samt det längsta bortfallet, för en användare på en sfär
  • MODELLED Fasen tli-and-cruise: medeltillståndet med motorns Cowell-propagator (jordens punktmassa och J2, solen och månen som tredje kroppar, månen från trådens DE440-kärna där den täcker segmentet och solen från den analytiska serie
  • MODELLED Typens campaign sektioner sweep (en till tre punktseparerade nycklar av valfri typ, på det generella svepets axelvärden, eventuellt med en ensemble i varje nod) och monte_carlo: realisering k körs vid base_seed + k; varje mätvärde redovisar medelvärde, standardavvikelse Tester: campaign_composition_reference.rs.

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 Glidfelstillväxt i sluten form + holdover till tröskel; kvantklockeklasser. Oberoende referens (ReferenceImpl): Flerstegsrekursion för clock_state-kovarians (korskontroll i samma kodbas); den underliggande kärnan för glidvarians och holdover-inversion är externt validerad mot scipy (se 'Clock-holdover coast-variance & threshold inversion'). Holdover-talen för rödbrusgolvet per klass 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
  • 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:

  • Klockans holdover i GNSS-nekade miljöer är MODELLED, inte validerad: kontrollerad mot en separat implementering i just den här kodbasen — oberoende av enheten som testas, men inte externt auktoritativ. (verifieringsmatris (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#