sweep (scenariotype)

Scenariotype i motoren v0.40.0, familie Klokker, tidssynkronisering og holdover. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

1-D-sveip for avveiningsstudie over en parameter i klokkepakken.

En kjøring av scenarios/sweep-clock-stability.toml oppsummeres slik: sweep holdover_s over classical_q_wf (1.00e-24..1.00e-18, 25 pts, log scale) | quantum 6600.000->6600,000 | classical 2610.000->250,000

Inndata#

Fra skjemaet (kshana kinds --json):

• Obligatoriske felt: parameter, metric, start, stop, steps, base
• Valgfrie felt: scale

Eksempelet scenarios/sweep-clock-stability.toml angir blant annet:

Kjør den#

kshana scenarios/sweep-clock-stability.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

• MODELLED Én kjøring tar en kontaktplan (en liste med aos_s/los_s-vinduer, der hvert ber aperturen om navigasjon eller kommunikasjon — det samme vindusvokabularet som passes::predict_passes sender ut, konvertert av aperture_duty::windows_from_passes), et apert
• MODELLED Tilgjengelighetssveipene for typen gnss-ssv: per konstellasjon (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) og samlet, andelen av (bruker, epoke)-par med minst ett og minst fire signaler og det lengste avbruddet, for en bruker på en sfære
• MODELLED Fasen tli-and-cruise: middeltilstanden fra motorens Cowell-propagator (jordens punktmasse og J2, Solen og Månen som tredje legemer, Månen fra oppdragstrådens DE440-kjerne der den dekker segmentet og Solen fra den analytiske serie
• MODELLED Sveipet i typen campaign (én til tre nøkler med punktum av en hvilken som helst type, på aksene til det generiske sveipet, eventuelt et ensemble i hver node) og seksjonene monte_carlo: realisering k kjører med base_seed + k; hvert mål rapporterer middelverdi, standardavvik Tester: campaign_composition_reference.rs.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

• MODELLED Lukket form for vekst i glidefeil + holdover-til-terskel; kvantklokkeklasser. Uavhengig referanse (ReferenceImpl): Rekursjon over kovariansen i flere trinn i clock_state (kontroll mot samme kodebase); kjernen for glidevarians og invertering av holdover er eksternt validert mot scipy (se «Clock-holdover coast-variance & threshold inversion»). Tallene for holdover med rød-støy-gulv per klasse forblir MODELLED
• MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
• MODELLED Sweep-delen til typen campaign (én til tre punktnotasjonsnøkler av en hvilken som helst type, på det generiske sveipets akseverdier, eventuelt et ensemble i hver node) og monte_carlo-sek. Uavhengig referanse (InternalConsistency): Den lukkede formen for fasens randomvandring under hvit frekvensstøy, varians q_wf tau (NIST Technical Note 1337), for statistikkmaskineriet, og byte-likhet med de frittstående kjøringene for seedingen. Den kontrollerer ensemble-aritmetikken på motorens egen klokkemodell, ikke et eksternt datasett

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• Klokkens holdover uten GNSS er MODELLED, ikke validert: kontrollert mot en separat implementering i denne samme kodebasen — uavhengig av enheten som testes, men ikke eksternt autoritativ. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Parametersveip og seedede Monte Carlo-ensembler over en hvilken som helst scenariotype er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Klokker, tidssynkronisering og holdover
• Alle typer: KINDS.md
• Temaside: CAMPAIGNS.md
• Temaside: LEO-PNT.md