body-pnt (scenarietype)

Scenarietype i motoren v0.40.0, familie Konstellationer, dækning og geometri. 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#

Positionsbestemmelse omkring ethvert legeme i solsystemet: en orbiter eller en lander på overfladen omkring et centrallegeme valgt ved navn (Mars, Månen, Europa, Ganymedes, Titan og resten af solsystemets katalog), der navigerer med envejs-pseudoafstande fra en lille Walker-navigationskonstellation omkring legemet (tolegemebaner med legemets egen sekulære J2-drift, et ukendt brugerur) og eventuelt en urfri tovejs dybrumsafstand fra Jorden, hvis retning og afstand ved hvert epoke kommer fra den analytiske efemeride for solsystemet. Sigtelinjer spærres af legemets middelkugle, og en bruger på overfladen har også brug for elevationsmasken. Pr. epoke: relæer i sigte, om Jorden er over randen, kun-konstellationens GDOP og PDOP (geometrisk og positionel præcisionsudvanding), den formelle usikkerhed på positionen (én sigma) med og uden Jord-rækken og fejlen på en seedet positionsbestemmelse med mindste kvadraters Gauss-Newton begge veje; over kørslen: tilgængelighed, synlighed af Jorden, median-PDOP, RMS-fejl og median af den formelle sigma, plus lystiden fra Jorden til legemet, rundturen, Shapiro-forsinkelsen og solseparationen ved epoken. MODELLED: relæbanerne, støjniveauerne og den øjeblikkelige målemodel er modelvalg, ikke valideret mod en missions navigationsdata; legemets konstanter er de publicerede værdier, der er angivet i body.rs, og Jord-geometrien arver mærkaterne fra solsystemets efemeride.

Én kørsel af scenarios/mars-orbit-pnt.toml opsummeres som: Positionsbestemmelse omkring Mars — orbiterbruger, 12 relæer på 10000 km, 296 epoker Jordens lystid 338,3 s envejs, 676,6 s rundtur; vinklen Sol-Jord-legeme 175,4 deg tilgængelighed: 1,000 kun konstellation, 1,000 med Jord-afstanden (Jorden i sigte 0,811) median-PDOP 1,375 ; RMS-fejl 1,883 m kun konstellation, 1,629 m med Jord-afstanden median formel sigma 1,375 m kun konstellation, 1,304 m med Jord-afstanden

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: body, epoch, epoch_jd_tdb, duration_s, step_s, seed, table, user, constellation, earth_link

Eksemplet scenarios/mars-orbit-pnt.toml angiver blandt andet:

Kør den#

kshana scenarios/mars-orbit-pnt.toml

2 medfølgende scenarier bruger denne type; de øvrige findes i scenarios/.

Hvad den giver#

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

Resultatmærkat (motorens egen): MODELLED: tolegemerelæbaner med sekulær J2-drift, geometrisk synlighed, gaussisk afstandsstøj og en øjeblikkelig målemodel omkring et legeme ud fra de publicerede konstanter; ikke valideret mod en missions navigationsdata. Geometrien fra Jorden til legemet arver mærkaten fra solsystemets efemeride

Evidens#

MODELLED 1 · VALIDATED 1: rækkerne i verifikationsmatrixen, som nævner denne type.

• VALIDATED Den newtonske envejs lystid fra et vilkårligt legeme til et andet, modtaget ved en epoke, løst af den radiometriske fikspunkts-lystidsløser (radiometric::light_time_solution, sender i sin retarderede position) gennem solar_system::link_o Tests: solar_system_light_time_preregistered.rs.
• MODELLED Typen body-pnt: en orbiter eller en lander på overfladen omkring et legeme valgt ved navn navigerer med envejs-pseudoafstande fra en Walker-navigationskonstellation omkring legemet (tolegemebaner med legemets sekulære J2-drift, et ukendt bruger-u

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 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 body-pnt: en orbiter eller en lander på overfladen omkring et legeme valgt ved navn navigerer med envejs-pseudoafstande fra en Walker-navigationskonstellation omkring. Uafhængig reference (InternalConsistency): Lukkede former og selvkonsistens: Keplers tredje lov for relæperioden, baneradius og overfladeradius holdt konstante over kørslen, at tilføjelse af en måling aldrig øger den formelle usikkerhed, og at de seedede fejl stemmer med kovariansen. Relæbanerne ser bort fra tredjelegemer (Jupiters træk i relæer omkring Europa er ikke modelleret), støjen er gaussisk ved angivne niveauer, og målemodellen er øjeblikkelig

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED: tolegemerelæbaner med sekulær J2-drift, geometrisk synlighed, gaussisk afstandsstøj og en øjeblikkelig målemodel omkring et legeme ud fra de publicerede konstanter; ikke valideret mod en missions navigationsdata. Geometrien fra Jorden til legemet arver mærkaterne fra solsystemets efemeride. (resultat label)
• MODELLED: relæbanerne, støjniveauerne og den øjeblikkelige målemodel er modelvalg, ikke valideret mod en missions navigationsdata; legemets konstanter er de publicerede værdier, der er angivet i body.rs, og Jord-geometrien arver mærkaterne fra solsystemets efemeride. (typekatalog (kshana kinds --json))
• MODELLED. Relæbanerne, afstandsstøjen på 1 m og den øjeblikkelige målemodel er modelvalg; intet her er valideret mod en missions navigationsdata. Marskonstanterne er de publicerede værdier, der er angivet i src/body.rs. (kommentar i scenariefilen, linje 20 til 22)
• 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))
• Positionsbestemmelse omkring ethvert legeme i solsystemet med en lokal konstellation og en dybrumsforbindelse fra Jorden 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: Konstellationer, dækning og geometri
• Alle typer: KINDS.md
• Emneside: SOLAR-SYSTEM.md
• Emneside: CONSTELLATION-DESIGN.md