Masintõlge, mida emakeelne kõneleja pole üle vaadanud. Võrdlusallikaks on ingliskeelne versioon.

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/lunar-time-offset.md

lunar-time-offset (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Kuu ja tsislunaarne ruum. 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#

Modelleeritud relativistlik Maa–Kuu kellakiirus (Kuu koordinaataeg, LTC/TCL): sekulaarne LTC−TT kiirus omapotentsiaali erinevusest ja Kuu kineetilisest liikmest, esitatud avaldatud 56–59 µs/päevas vööndiga, pluss kogunenud nihe üle horisondi.

Ühe scenarios/lunar-time-offset.toml käivituse kokkuvõte: lunar-time-offset | sekulaarne LTC−TT kiirus 57,04 µs/päevas (vöönd 56–59) | omapotentsiaal 57,50 kineetiline -0.46 | nihe @ 1,00 p = 57,04 µs

Sisendid#

Skeemist (kshana kinds --json):

  • Nõutavad väljad: puuduvad
  • Valikulised väljad: epoch_year, epoch_month, epoch_day, horizon_days

Näide scenarios/lunar-time-offset.toml määrab muu hulgas:

Väli Väärtus Ühik
epoch_day 1 d
epoch_month 1 ei ole märgitud
epoch_year 2000 ei ole märgitud
horizon_days 1 päev
kind lunar-time-offset tekst

Käivitamine#

kshana scenarios/lunar-time-offset.toml

Mida see annab#

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

Tulemus Väärtus Ühik
band_high 59 us/day
band_low 56 us/day
evidence.id_rule maatriksi rea stabiilne id (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
horizon_days 1 päev
kinetic_us_per_day -0.458241 us/day
offset_at_horizon_us 57.043632 us
secular_rate_us_per_day 57.043632 us/day
self_potential_us_per_day 57.501873 us/day
Mootori joonistatud diagramm failile scenarios/lunar-time-offset.toml, liik lunar-time-offset

Tõendid#

Ükski maatriksirida ei nimeta seda liiki nimepidi; selle tulemuse silt on mootori enda, ülal.

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

  • 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 Relativistlik Maa-Kuu kellakiirus (LTC/TCL) + TT/TAI/UTC aheldamine + ansambel. Sõltumatu etalon (ExternalDataset): Ashby & Patla 2024, „A Relativistic Framework to Estimate Clock Rates on the Moon“, Astronomical Journal 167:149 (NIST; IAU/IAG LunaNet LTC alus): Kuu pinna omapotentsiaal L_m = 3.13881e-11 ja sekulaarne kogu 56,02 µs/päevas ühtivad avaldatud arvväärtustena; geotsentriline Kuu kiirus ristkontrollitud JPL DE440 vastu (de440s.bsp SPICE kaudu)

Piirangud#

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

  • Ausus: MODELLED, mitte sertifitseeritud. Peamine us/päevas arv sõltub etalonist (Maa geoid W0 vs Kuu selenoid, ajakeskmistamise aken, tähelepanuta jäetud alla-us/päevas tsentrifugaal-/J2 paranded) -> aus väljund on vöönd, mitte üks arv. Midagi siin ei ole valideeritud alla nanosekundilise absoluutse täpsuseni ega sertifitseeritud operatiivseks ajahoidmiseks. Aruanne annab ka kogunenud LTC-TT nihke üle horisondi (stsenaariumifaili kommentaar, read 11 kuni 16)
  • 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))

Vt ka#