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

1-D-sweep til afvejningsstudie over en parameter for en urpakke.

Én kørsel af scenarios/sweep-clock-stability.toml opsummeres som: sweep holdover_s over classical_q_wf (1.00e-24..1.00e-18, 25 punkter, logaritmisk skala) | kvante 6600.000->6600,000 | klassisk 2610.000->250,000

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: parameter, metric, start, stop, steps, base
• Valgfrie felter: scale

Eksemplet scenarios/sweep-clock-stability.toml angiver blandt andet:

Kør den#

kshana scenarios/sweep-clock-stability.toml

Hvad den giver#

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

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

• MODELLED Én kørsel tager en kontaktplan (en liste af aos_s/los_s-vinduer, der hver beder aperturen om navigation eller kommunikation — det samme vinduesordforråd, som passes::predict_passes udsender, konverteret af aperture_duty::windows_from_passes), en apert
• MODELLED Tilgængelighedssweepene i gnss-ssv-typen: pr. konstellation (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) og samlet andelen af (bruger, epoke)-par med mindst ét og mindst fire signaler og det længste udfald, for en bruger på en kugle
• MODELLED Fasen tli-and-cruise: middeltilstanden fra motorens Cowell-propagator (Jorden som punktmasse og J2, Solen og Månen som tredjelegemer, Månen fra trådens DE440-kerne, hvor den dækker segmentet, og Solen fra den analytiske serie
• MODELLED Afsnittene sweep og monte_carlo i typen campaign (én til tre punkterede nøgler af en vilkårlig type, på det generiske sweeps akseværdier, eventuelt et ensemble i hver knude): realisering k kører ved base_seed + k; hver metrik rapporterer middelværdi, standard d Tests: campaign_composition_reference.rs.

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 Lukket form for vækst i fejl under frit løb + holdover til tærskel; kvanteurklasser. Uafhængig reference (ReferenceImpl): Flertrins clock_state-kovariansrekursion (krydskontrol i samme kodebase); selve kernen for frit-løb-varians og holdover-inversion er eksternt valideret mod scipy (se 'Clock-holdover coast-variance & threshold inversion'). Tallene for holdover pr. klasse ved rødstøjsgulvet 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
• 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:

• Ur-holdover i GNSS-nægtede miljøer er MODELLED, ikke valideret: kontrolleret mod en separat implementering i denne samme kodebase — uafhængig af den enhed, der afprøves, 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å#

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