sweep (scenariosoort)

Scenariokind van de engine v0.40.0, familie Klokken, tijdsynchronisatie en holdover. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

1-D-sweep voor een afwegingsstudie over een parameter van een klokpakket.

Eén run van scenarios/sweep-clock-stability.toml vat samen als: sweep holdover_s over classical_q_wf (1.00e-24..1.00e-18, 25 punten, logaritmische schaal) | quantum 6600.000->6600,000 | klassiek 2610.000->250,000

Invoer#

Uit het schema (kshana kinds --json):

• Verplichte velden: parameter, metric, start, stop, steps, base
• Optionele velden: scale

Het voorbeeld scenarios/sweep-clock-stability.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/sweep-clock-stability.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

• MODELLED Eén run neemt een contactplan (een lijst van aos_s/los_s-vensters, elk met een verzoek aan de apertuur om navigatie of communicatie — dezelfde vensterwoordenschat die passes::predict_passes uitgeeft, omgezet door aperture_duty::windows_from_passes), een apert
• MODELLED De beschikbaarheidssweeps van de soort gnss-ssv: per constellatie (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) en gecombineerd, het aandeel (gebruiker, epoche)-paren met ten minste één en ten minste vier signalen en de langste uitval, voor een gebruiker op een bol
• MODELLED De fase tli-and-cruise: de gemiddelde toestand met de Cowell-propagator van de engine (aarde als puntmassa en J2, zon en maan als derde lichamen, de maan uit de DE440-kernel van de keten waar die het segment dekt en de zon uit de analytische serie
• MODELLED De sweep van de soort campaign (één tot drie sleutels met punten van elke soort, op de aswaarden van de generieke sweep, optioneel met een ensemble op elk knooppunt) en de secties monte_carlo: realisatie k draait op base_seed + k; elke metriek rapporteert gemiddelde, standaardafwijking, Tests: campaign_composition_reference.rs.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

• MODELLED Gesloten-vorm-groei van de driftfout tijdens coasting + holdover-tot-drempel; kwantumklasseklokken. Onafhankelijke referentie (ReferenceImpl): Recursie van de covariantie van clock_state in meerdere stappen (kruiscontrole binnen dezelfde codebase); de onderliggende kernel voor coast-variantie en holdover-inversie is extern getoetst tegen scipy (zie 'Clock-holdover coast-variance & threshold inversion'). De holdovercijfers per klasse met rode-ruisbodem blijven MODELLED
• MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
• MODELLED De sweep van het kind campaign (één tot drie gepunte sleutels van elk kind, op de aswaarden van de generieke sweep, optioneel een ensemble bij elk knooppunt) en de sectie monte_carlo. Onafhankelijke referentie (InternalConsistency): De gesloten vorm van de fase-randomwalk onder witte frequentieruis, variantie q_wf tau (NIST Technical Note 1337), voor de statistiekmachinerie, en byte-gelijkheid met de zelfstandige runs voor de seeding. Het controleert de ensemblerekenkunde op het eigen klokmodel van de engine, geen externe dataset

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

• Klok-holdover bij GNSS-uitval is MODELLED, niet extern getoetst: gecontroleerd tegen een afzonderlijke implementatie in dezelfde codebase — onafhankelijk van de geteste eenheid, maar niet extern gezaghebbend. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• Parametersweeps en geseede Monte-Carlo-ensembles over elk scenariokind is MODELLED, niet extern getoetst: gecontroleerd tegen zijn eigen gesloten-vorm- of analytische identiteit — dat vangt transcriptie- en coëfficiëntfouten, maar is geen externe referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Klokken, tijdsynchronisatie en holdover
• Alle kinds: KINDS.md
• Onderwerppagina: CAMPAIGNS.md
• Onderwerppagina: LEO-PNT.md