solar-system (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Satelliidikonstellatsioonid, katvus ja geomeetria. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

Kogu Päikesesüsteem ühel epohhil, PNT-d (positsioneerimine, navigatsioon ja aeg) silmas pidades mis tahes keha ümber. Päikese, kaheksa planeedi, Pluuto, Kuu, Phobose, Deimose, Io, Europa, Ganymedese, Callisto ja Titani kohta annab see aru heliotsentrilisest asukohast ja kiirusest ICRF-is (International Celestial Reference Frame, ekvatoriaalne J2000), heliotsentrilisest kaugusest ning J2000 ekliptika pikkuskraadist ja laiuskraadist, gravitatsiooniparameetrist, ekvatoriaalsest ja keskmisest raadiusest, J2-st, kus see on avaldatud, ja selle tugiraadiusest, sideraalsest pöörlemisperioodist, IAU poolusest ja nullmeridiaanist epohhil, ühe tiiru jooksul valimisse võetud orbiiditrajektoorist (planeetidel heliotsentriline, kuudel emakeha-tsentriline) ning vaatleja keha (vaikimisi Maa) suhtes valguse levimisajast, ühe- ja kahesuunalisest kaugusest, Päikese Shapiro viivitusest ja Päikese nurkkaugusest; lisa from/to lingid saavad sama kohtlemise. Asukohad: Standishi ja Williamsi JPL-i Kepleri elemendid (tabel 1 aastatele 1800 pKr kuni 2050 pKr, tabelid 2a/2b aastatele 3000 eKr kuni 3000 pKr) iga planeedi nimiveaga, Montenbrucki ja Gilli Kuu rida Maa–Kuu jaotuse jaoks, JPL-i keskmised elemendid IAU sünkroonse pöörlemiskiirusega Marsi ja Galilei kuude jaoks ning IAU pöörlemismudel Titani jaoks. Valguse levimisaeg: radiomeetriline kinnispunkti lahendus, saatja oma hilinenud asukohas; Newtoni, Shapiro viivitus esitatud eraldi. VALIDATED JPL Horizonsi (DE441) vastu kuni kahekordse nimiveani: Merkuur kuni Saturn ja Maa tabelist 1 (halvim 1,87 korda nimiviga) ja kõik kaheksa planeeti tabelitest 2a/2b (halvim 1,71 korda) ning Maa–Marsi ja Maa–Jupiteri valguse levimisaeg. MODELLED, iga rida sildistatud: Uraan ja Neptuun tabelist 1 (2,0 ja 5,2 korda nimiviga DE441 vastu), Pluuto (1992. aasta rida; viga pole esitatud), Kuu ja seitse kuud (mõõdetud Horizonsi vastu, avaldatud piiri pole).

Ühe scenarios/solar-system-tour.toml käivituse kokkuvõte: Päikesesüsteem ajahetkel 2026-09-28T00:00:00 (JD 2461311,50080 TDB), 18 keha, vaatleja Maa Standishi tabel 1 (1800 pKr kuni 2050 pKr) Päike 0,0000 au pikkus 0,00 kraadi valguse levimisaeg 500,1 s [lähtepunkt] Merkuur 0,4666 au pikkus 259,05 kraadi valguse levimisaeg 605,3 s [VALIDATED] Veenus 0,7272 au pikkus 348,72 kraadi valguse levimisaeg 182,1 s [VALIDATED] Maa 1,0022 au pikkus 4,52 kraadi vaatleja [VALIDATED] Kuu 1,0046 au pikkus 4,56 kraadi valguse levimisaeg 1,3 s [MODELLED] Marss 1,5544 au pikkus 83,81 kraadi valguse levimisaeg 841,1 s [VALIDATED] Phobos 1,5545 au pikkus 83,81 kraadi valguse levimisaeg 841,2 s [MODELLED] Deimos 1,5545 au pikkus 83,80 kraadi valguse levimisaeg 841,1 s [MODELLED] Jupiter 5,3036 au pikkus 130,91 kraadi valguse levimisaeg 2970,6 s [VALIDATED] Io 5,3049 au pikkus 130,94 kraadi valguse levimisaeg 2971,5 s [MODELLED] Europa 5,2995 au pikkus 130,93 kraadi valguse levimisaeg 2968,7 s [MODELLED] Ganymedes 5,3005 au pikkus 130,98 kraadi valguse levimisaeg 2969,6 s [MODELLED] Callisto 5,3153 au pikkus 130,96 kraadi valguse levimisaeg 2976,7 s [MODELLED] Saturn 9,4356 au pikkus 10,77 kraadi valguse levimisaeg 4212,2 s [VALIDATED] Titan 9,4401 au pikkus 10,74 kraadi valguse levimisaeg 4214,3 s [MODELLED] Uraan 19,4363 au pikkus 62,62 kraadi valguse levimisaeg 9444,1 s [MODELLED] Neptuun 29,8775 au pikkus 2,62 kraadi valguse levimisaeg 14409,3 s [MODELLED] Pluuto 35,6122 au pikkus 304,19 kraadi valguse levimisaeg 17529,1 s [MODELLED] link Marss -> Jupiter: ühesuunaline 2193,539 s, kahesuunaline 4386,919 s, Shapiro 15,0 us, Päike 15,0 kraadi link Saturn -> Maa: ühesuunaline 4212,176 s, kahesuunaline 8424,347 s, Shapiro 22,1 us, Päike 172,5 kraadi link Europa -> Jupiter: ühesuunaline 2,218 s, kahesuunaline 4,437 s, Shapiro 0,0 us, Päike 22,0 kraadi

Sisendid#

Skeemist (kshana kinds --json):

• Nõutavad väljad: puuduvad
• Valikulised väljad: epoch, epoch_jd_tdb, bodies, observer, track_points, table, links

Näide scenarios/solar-system-tour.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/solar-system-tour.toml

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemuse silt (mootori oma): MIXED: iga keha kannab oma silti. Planeetide asukohad on VALIDATED JPL Horizonsi vastu kuni kahekordse Standishi nimiveani (Merkuur kuni Saturn ja Maa tabelist 1; kõik kaheksa planeeti tabelitest 2a/2b); Uraan ja Neptuun tabelist 1, Pluuto, Kuu ja seitse kuud on MODELLED.

Tõendid#

MODELLED 2 · VALIDATED 3: kontrollimaatriksi read, mis nimetavad seda liiki.

• VALIDATED Liik solar-system koos planetary_kernel_path-iga: iga raporteeritud keha, mille oma NAIF-i koodi SPK sisaldab, võtab oma heliotsentrilise J2000 asukoha ja kiiruse kernelist mootori enda lugeja kaudu (silt KERNEL), link, mille kaks otsa
• VALIDATED Merkuuri, Veenuse, Maa–Kuu baarikeskme, Maa, Marsi, Jupiteri ja Saturni heliotsentrilised asukohad Standishi tabelist 1 (1800 pKr kuni 2050 pKr) ning kõigi kaheksa planeedi omad tabelitest 2a/2b (3000 eKr kuni 3000 pKr, koos b, c, s, f keskanomaalia Testid: solar_system_standish_earth_icrf_preregistered.rs.
• VALIDATED Newtoni ühesuunaline valguse levimisaeg suvalisest kehast suvalise teiseni, vastu võetud epohhil, lahendatud radiomeetrilise fikspunkti valguse levimisaja lahendajaga (radiometric::light_time_solution, saatja oma hilinenud asukohas) funktsiooni solar_system::link_o kaudu Testid: solar_system_light_time_preregistered.rs.
• MODELLED Uraani ja Neptuuni asukohad Standishi tabelist 1 (vaikimisi vahemikus 1800 pKr kuni 2050 pKr), Pluuto 1992. aasta tabeli 1 realt, mida praegune JPL-i leht enam ei loetle, ja iga planeedi heliotsentriline kiirus: kahe keha tuletis koos Testid: solar_system_horizons_reference.rs.
• ja veel 1 maatriksis.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

• VALIDATED Liik solar-system koos planetary_kernel_path-iga: iga raporteeritud keha, mille oma NAIF-i koodi SPK sisaldab, võtab oma heliotsentrilise J2000 asukoha ja kiiruse. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): NAIF SPICE Toolkit (CSPICE N0067 spiceypy 8.3.0 kaudu) spkezr heliotsentrilised olekud täielikul de440s.bsp-l, eraldi programm, mis ei kutsu ühtegi Kshana koodi (tests/fixtures/solar_system_kernel/, NOTICE.md); mootor loeb bitt bitilt de440s lõike. Eelregistreeritud f8e946ea. Ühenduse Library kontroll: DE440 ise ja analüütilised kehad ei ole siin valideeritud. Tulemused: docs/design/evidence/cap31-solar-system-kernel/RE
• MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
• VALIDATED Merkuuri, Veenuse, Maa–Kuu baarikeskme, Maa, Marsi, Jupiteri ja Saturni heliotsentrilised asukohad Standishi tabelist 1 (1800 pKr kuni 2050 pKr) ning kõigi . Sõltumatu etalon (sõltumatu etalon; ExternalDataset): JPL Horizons DE441 geomeetrilised heliotsentrilised vektorid (ekliptika ja ICRF), toodud pärast eelregistreerimise kommitte 80451866, 8d38a28b ja 558cc807. Lävi: planeedi ja komponendi kohta RMS kuni 1.0x Explanatory Supplement 3. väljaande tabeli 8.10.1 ligikaudsed vead (Maa puhul EMB rida); Maa–EMB jaotust kontrollitakse otse DE441 399 miinus 3 vastu, kuni 0,3 kraadi ja 8,1 km igal epohhil 1950-2050 (th
• VALIDATED Newtoni ühesuunaline valguse levimisaeg mis tahes kehast mis tahes teiseni, vastu võetud epohhil, lahendatud radiomeetrilise kinnispunkti valguse levimisaja lahendajaga (radiometric::light_t. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): JPL Horizons DE441 ühesuunaline allalingi Newtoni valguse levimisaeg LT (VEC_CORR=LT, vaatleja Maa keskpunkt), eelregistreeritud (480037d3, muudatus 54d5c86f, mis muutis ainult interpolatsioonisõlmede vahet pärast seda, kui esimene tõmme ei läbinud oma 10 m interpolatsiooni eeltingimust, enne kui ühtegi valguse levimisaega võrreldi) lävega 1e-6 s valguse levimisaja kohta, lahendajat söödeti DE441 barütsentriliste asukohtadega, nii et hilinenud saatja iteratsioon on nähtav
• MODELLED Uraani ja Neptuuni asukohad Standishi tabelist 1 (vaikimisi vahemikus 1800 pKr kuni 2050 pKr), Pluuto 1992. aasta tabeli 1 realt, mida praegune JPL-i leht enam ei loetle. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): mõõdetud JPL Horizons DE441 vastu (samad kinnistatud testandmed), kuid mitte valideeritud: tabeli 1 nimetatud arvud Uraani ja Neptuuni jaoks ületatakse kuni 2,0 ja 5,2 korda DE441 heliotsentriliste asukohtade vastu (Neptuun vastab neile barütsentriliste asukohtade vastu, mis viitab sellele, et sobitus ei olnud heliotsentriline), leht ei esita Pluuto viga ja kiiruste jaoks avaldatud piiri ei ole. Tabelid 2a/2b vastavad oma

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

• MIXED: iga keha kannab oma silti. Planeetide asukohad on VALIDATED JPL Horizonsi vastu kuni kahekordse Standishi nimiveani (Merkuur kuni Saturn ja Maa tabelist 1; kõik kaheksa planeeti tabelitest 2a/2b); Uraan ja Neptuun tabelist 1, Pluuto, Kuu ja seitse kuud on MODELLED. Valguse levimisajad on Newtoni, samadest asukohtadest. (tulemus label)
• MODELLED, iga rida sildistatud: Uraan ja Neptuun tabelist 1 (2,0 ja 5,2 korda nimiviga DE441 vastu), Pluuto (1992. aasta rida; viga pole esitatud), Kuu ja seitse kuud (mõõdetud Horizonsi vastu, avaldatud piiri pole). (liikide kataloog (kshana kinds --json))
• MIS ON VALIDATED JA MIS EI OLE Iga keha kannab oma silti. Merkuur kuni Saturn ja Maa on VALIDATED JPL Horizonsi (Development Ephemeris DE441) vastu kuni kahekordse Standishi lehe nimiveani. Uraan ja Neptuun tabelist 1 ületavad lehe arve DE441 vastu (2,0 ja 5,2 korda) ning on MODELLED; nii ka Pluuto, Kuu ja seitse kuud, mida mõõdeti Horizonsi vastu, kuid millel puudub avaldatud (stsenaariumifaili kommentaar, read 20–25)
• Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• Uraan ja Neptuun Standishi tabelist 1, Pluuto ja planeetide kiirused on MODELLED, mitte valideeritud: alamväidet kontrollitakse välisel teel, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleeritud tasemele. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• Kuu ja seitsme suurema kuu (Phobos, Deimos, Galilei kuud, Titan) asukohad on MODELLED, mitte valideeritud: alamväidet kontrollitakse välisel teel, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleeritud tasemele. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• Iga Päikesesüsteemi keha füüsikalised konstandid ja kogu süsteemi aruanne on MODELLED, mitte valideeritud: kontrollitud oma kinnise kuju / analüütilise samasuse vastu — tabab ärakirjutus- ja koefitsiendivigu, kuid ei ole väline etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#

• Perekonna leht: Satelliidikonstellatsioonid, katvus ja geomeetria
• Kõik liigid: KINDS.md
• Teemaleht: SOLAR-SYSTEM.md
• Teemaleht: CONSTELLATION-DESIGN.md