`moonlight-service-volume` (skenaariotyyppi)

Moottorin v0.40.0 skenaariolaji, perhe Kuu ja kuunläheinen avaruus. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

Mallinnettu kuun navigointipalvelun peittoalueen analyysi ILLUSTRATIVE-tyyppisestä, julkisista lähteistä kootusta Moonlight/LCNS-luokan kuun kiertoradan satelliittitähdistöstä (ei yhteyttä ESA:an): pyyhkäisee selenografisen leveys-/pituusasteruudukon aikahorisontin yli ja raportoi DOP:n, kattavuuden ja saatavuuden (≥4 satelliittia JA PDOP < kynnys) sekä yleistetyn kuun ARAIM-suojaustason (HPL/VPL) verhokäyrän peittoalueen yli. DOP-geometria KÄYTTÄÄ UUDELLEEN gnss_lib_py-VALIDATED-ydintä (crate::orbit::dop); suojaustaso KÄYTTÄÄ UUDELLEEN LunaNet LNIS -kuun ARAIM-koneistoa (crate::lunar, σ_URE≈30 m) ja supistuu olemassa olevaksi etelänavan PL:ksi erikoistapauksena. MODELLED-yhdistelmä: ympyrä-/ellipsi-Kepler-relejoukko (ei todellinen differentiaalikorjattu LCNS/NRHO-efemeridi), keskimääräisesti pyörivä Kuu (ei libraatiota eikä prekessoivaa napaa). Deterministinen (puhdas geometria). Ei TRL-, perintö- eikä virastohyväksyntää.

Syötteet#

Skeemasta (kshana kinds --json):

Pakolliset kentät: ei yhtään
Valinnaiset kentät: n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain

Esimerkki scenarios/moonlight-service-volume.toml asettaa muun muassa:

Kenttä	Arvo	Yksikkö
`alert_limit_m`	50	m
`argp_deg`	90	deg
`eccentricity`	0.6	ei ilmoitettu
`elev_mask_deg`	5	deg
`horizon_hours`	12	h
`inc_deg`	57.7	deg
`kind`	moonlight-service-volume	teksti
`lat_max_deg`	-60	deg
`lat_min_deg`	-90	deg
`lat_step_deg`	10	deg
`lon_max_deg`	180	deg
`lon_min_deg`	-180	deg

Aja se#

kshana scenarios/moonlight-service-volume.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos	Arvo	Yksikkö
`alert_limit_m`	50	m
`coverage_pct`	37.847222	%
`elev_mask_deg`	5	deg
`evidence.id_rule`	matriisirivin vakaa tunniste (ID	teksti
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	teksti
`evidence.tier`	MODELLED	teksti
`hpl_max_m`	4176.665443	m
`hpl_min_m`	138.725726	m
`max_sats`	7	lukumäärä
`min_sats`	4	lukumäärä

Moottorin kirjoittama kaavio skenaariolle scenarios/moonlight-service-volume.toml, tyyppi moonlight-service-volume

Todisteet#

MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.

MODELLED Laji ja vaihe lunar-surface: releiden saatavuus ja PDOP, Maan ja Auringon näkyvyys sekä kuriin saatettu pinnan kello kullekin kohteelle ja vuodenajalle, lajin moonlight-service-volume maastotaivaanrantaviivalla; yhden kohteen ajo on bitilleen sama kuin sen lajin

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
VALIDATED Moonlight-luokan kuun DOP / kattavuus / saatavuus + yleistetyt kuun ARAIM-suojaustasot peittoalueen yli. Oraakkeli (ExternalDataset): Riippumaton kolmannen osapuolen auktoriteetti ANISE 0.10.2 astro::Orbit -Kepler-propagaattori (Nyx Space, MPL-2.0) — ekvinoktiaalinen kahden kappaleen koodipolku, joka eroaa kshanan Newton–Raphson-Keplerista; satelliittikohtainen MCI-paikka täsmää tarkkuuteen <1e-3 m ja johdettu näkyvien satelliittien lukumäärä/joukko täsmää täsmälleen jokaisessa ruudukkopisteessä. DOP-ydin on gnss_lib_py-validoitu; eheys käyttää julkaistuja LunaNet/LCNS-parametreja
VALIDATED Satelliittikohtaiset toposentriset katselukulmat (atsimuutti myötäpäivään pohjoisesta, korkeuskulma) ja vinoetäisyys nimetyllä selenografisella paikalla, kun satelliitti on paikan. Oraakkeli (ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, ajettuna työkaluna hakemistosta xval/anise-service-geometry, binääri lunar-look-angles-xval, joka ei kutsu Kshana-koodia): ANISEn oma atsimuutti-, korkeuskulma- ja etäisyysrutiini (azimuth_elevation_range_sez) paikoista, jotka on rakennettu sen leveys-pituus-korkeus-konstruktorilla pck00011-Kuulle (pallo 1737,4 km), satelliitit kierrettyinä koordinaatistoon MOON_PA_DE440 tiedoston moon_pa_de440_200625.bpc kautta. 768 näytettä

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

MODELLED-yhdistelmä: ympyrä-/ellipsi-Kepler-relejoukko (ei todellinen differentiaalikorjattu LCNS/NRHO-efemeridi), keskimääräisesti pyörivä Kuu (ei libraatiota eikä prekessoivaa napaa). (tyyppiluettelo (kshana kinds --json))
REHELLISYYS: MODELLED-yhdistelmä. DOP-geometria on validoitu validoidun ytimen UUDELLEENKÄYTÖLLÄ; kattavuus-/saatavuus-/eheysyhdistelmä on MODELLED — ympyrä-/ellipsi-Kepler-relejoukko (ei differentiaalikorjattu LCNS / 9:2 NRHO-efemeridi), keskimääräisesti pyörivä Kuu (ei fysikaalista libraatiota / prekessoivaa napaa) ja julkaistut LunaNet LNIS -eheysparametrit. Tämä havainnollistaa kuun palvelun peittoalueen M (skenaariotiedoston kommentti, rivit 27 - 32)
Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))