body-pnt (scenariotyp)
Scenariotyp i motor v0.40.0, familj Konstellationer, täckning och geometri. 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#
Positionering kring valfri himlakropp i solsystemet: en omloppsfarkost eller en ytlandare kring en centralkropp som väljs med namn (Mars, Månen, Europa, Ganymedes, Titan och resten av solsystemskatalogen), som navigerar med enkelriktade pseudoavstånd från en liten Walker-navigationskonstellation kring kroppen (tvåkroppsbanor med kroppens egen sekulära J2-drift, en okänd användarklocka) och eventuellt ett klockfritt tvåvägsavstånd i djuprymden från jorden, vars riktning och avstånd kommer från den analytiska solsystemsefemeriden vid varje epok. Siktlinjer blockeras av kroppens medelsfär, och en ytanvändare behöver dessutom elevationsmasken. Per epok: reläer i sikte, om jorden är ovanför limben, GDOP och PDOP enbart för konstellationen (geometrisk dilution och positionsdilution av precision), den formella osäkerheten i position på en sigma med och utan jordraden, samt felet i en seedad positionsbestämning med Gauss-Newton minsta kvadrat åt båda hållen; över körningen: tillgänglighet, jordsynlighet, median-PDOP, RMS-fel och formell mediansigma, plus ljustiden jorden–kroppen, tur och retur, Shapiro-fördröjningen och solseparationen vid epoken. MODELLED: reläbanorna, brusnivåerna och den ögonblickliga mätmodellen är modellval, inte validerade mot ett uppdrags navigationsdata; kroppskonstanterna är de publicerade värdena som anges i body.rs, och jordgeometrin ärver etiketterna från solsystemsefemeriden.
En körning av scenarios/mars-orbit-pnt.toml sammanfattas som: Positionering kring Mars — användare i omloppsbana, 12 reläer på 10000 km, 296 epoker jordens ljustid 338,3 s enkel väg, 676,6 s tur och retur; vinkel Sol-jord-kropp 175,4 deg tillgänglighet: 1,000 enbart konstellation, 1,000 med jordavståndet (jorden i sikte 0,811) median-PDOP 1,375 ; RMS-fel 1,883 m enbart konstellation, 1,629 m med jordavståndet formell mediansigma 1,375 m enbart konstellation, 1,304 m med jordavståndet
Indata#
Från schemat (kshana kinds --json):
- Obligatoriska fält: inga
- Valfria fält:
body,epoch,epoch_jd_tdb,duration_s,step_s,seed,table,user,constellation,earth_link
Exemplet scenarios/mars-orbit-pnt.toml anger bland annat:
| Fält | Värde | Enhet |
|---|---|---|
body |
Mars | text |
constellation.altitude_km |
10000 | km |
constellation.inclination_deg |
60 | deg |
constellation.planes |
3 | inte angivet |
constellation.sats_per_plane |
4 | inte angivet |
constellation.sigma_range_m |
1 | m |
duration_s |
88775 | s |
earth_link.enabled |
true | flagga |
earth_link.sigma_range_m |
1 | m |
epoch |
2027-02-19T00:00:00 | text |
kind |
body-pnt | text |
seed |
7 | inte angivet |
Kör den#
kshana scenarios/mars-orbit-pnt.toml
2 medföljande scenarier använder den här typen; de övriga finns i scenarios/.
Vad den ger#
De skalära resultaten av den körningen, med de enheter som motorn anger:
| Resultat | Värde | Enhet |
|---|---|---|
body.gm_m3_s2 |
4.2828e13 | m^3/s^2 |
body.j2 |
0.00196 | 1 |
body.j2_reference_radius_m |
3396200 | m |
body.name |
Mars | text |
body.radius_mean_m |
3389500 | m |
body.sidereal_rotation_period_h |
24.622962 | h |
earth_link_used |
true | flagga |
earth_to_body.from |
Mars | text |
earth_to_body.geometric_distance_m |
1.0142e11 | m |
earth_to_body.one_way_light_time_s |
338.316188 | s |
Resultatetikett (motorns): MODELLED: tvåkroppsreläbanor med sekulär J2-drift, geometrisk synlighet, gaussiskt avståndsbrus och en ögonblicklig mätmodell kring en kropp från de publicerade konstanterna; inte validerad mot ett uppdrags navigationsdata. Geometrin jorden–kroppen ärver etiketten från solsystemsefemeriden
Evidens#
MODELLED 1 · VALIDATED 1: raderna i verifieringsmatrisen som nämner den här typen.
- VALIDATED Den newtonska enkelriktade ljustiden från valfri kropp till valfri annan, mottagen vid en epok, löst med den radiometriska fixpunktslösaren för ljustid (radiometric::light_time_solution, sändaren vid sin retarderade position) genom solar_system::link_o Tester: solar_system_light_time_preregistered.rs.
- MODELLED Typen
body-pnt: en omloppsfarkost eller en ytlandare kring en kropp som väljs med namn navigerar med enkelriktade pseudoavstånd från en Walker-navigationskonstellation kring kroppen (tvåkroppsbanor med kroppens sekulära J2-drift, en okänd användarklocka
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 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
body-pnt: en omloppsfarkost eller en ytlandare kring en kropp som väljs med namn navigerar med enkelriktade pseudoavstånd från en Walker-navigationskonstellation kring. Oberoende referens (InternalConsistency): Slutna former och självkonsistens: Keplers tredje lag för reläperioden, banradien och ytradien som hålls över körningen, att en tillagd mätning aldrig ökar den formella osäkerheten, och att de seedade felen stämmer med kovariansen. Reläbanorna bortser från tredje kroppar (Jupiters drag på reläer kring Europa är inte modellerat), bruset är gaussiskt vid angivna nivåer och mätmodellen är ögonblicklig
Begränsningar#
Vad körningens egen rapport säger inte är modellerat eller inte validerat:
- MODELLED: tvåkroppsreläbanor med sekulär J2-drift, geometrisk synlighet, gaussiskt avståndsbrus och en ögonblicklig mätmodell kring en kropp från de publicerade konstanterna; inte validerad mot ett uppdrags navigationsdata. Geometrin jorden–kroppen ärver etiketterna från solsystemsefemeriden. (resultat
label) - MODELLED: reläbanorna, brusnivåerna och den ögonblickliga mätmodellen är modellval, inte validerade mot ett uppdrags navigationsdata; kroppskonstanterna är de publicerade värdena som anges i body.rs, och jordgeometrin ärver etiketterna från solsystemsefemeriden. (typkatalog (
kshana kinds --json)) - MODELLED. Reläbanorna, avståndsbruset på 1 m och den ögonblickliga mätmodellen är modellval; inget här är validerat mot ett uppdrags navigationsdata. Marskonstanterna är de publicerade värdena som anges i src/body.rs. (kommentar i scenariofilen, rad 20 till 22)
- 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))
- Positionering kring valfri himlakropp i solsystemet med en lokal konstellation och en djuprymdslänk från jorden är MODELLED, inte validerad: kontrollerad mot sin egen slutna / analytiska identitet — fångar transkriptions- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
Se även#
- Familjesida: Konstellationer, täckning och geometri
- Alla typer: KINDS.md
- Ämnessida: SOLAR-SYSTEM.md
- Ämnessida: CONSTELLATION-DESIGN.md