moonlight-service-volume (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 tsislunaarse navigatsiooniteenuse teeninduspiirkonna analüüs ILLUSTRATIVE, avalikest allikatest pärit Moonlight/LCNS-klassi Kuu orbiidi satelliidikonstellatsioonist (ESAga seotud ei ole): käib läbi selenograafilise laius- ja pikkuskraadi ruudustiku ajahorisondi jooksul ning annab DOP-i / katvuse / kättesaadavuse (≥4 satelliiti JA PDOP < lävi) ning üldistatud Kuu ARAIM-i kaitsetaseme (HPL/VPL) ümbriku üle piirkonna. DOP-i geomeetria KASUTAB UUESTI gnss_lib_py abil VALIDATED tuuma (crate::orbit::dop); kaitsetase KASUTAB UUESTI LunaNet LNIS-i Kuu ARAIM-i masinavärki (crate::lunar, σ_URE≈30 m) ja taandub erijuhuna olemasolevaks lõunapooluse kaitsetasemeks. MODELLED koostis: ringikujuline või elliptiline Kepleri releekomplekt (mitte tegelik diferentsiaalselt korrigeeritud LCNS/NRHO efemeriid), keskmise pöörlemisega Kuu (ilma libratsiooni ja pretsesseeruva poolusteta). Deterministlik (puhas geomeetria). TRL-i, kogemuspärandit ega agentuuri heakskiitu ei väideta.
Ühe scenarios/moonlight-service-volume.toml käivituse kokkuvõte: moonlight-service-volume | 8 satelliiti (illustratiivne LCNS-klass, seotud ei ole) | 24 punkti × 12 epohhi | katvus 37,8% (PDOP<6,0) | satelliite 4–7 | PDOP 2.19/13.74/180.30 | HPL 139–4177 m | PL kättesaadavus 0,0% | MODELLED
Sisendid#
Skeemist (kshana kinds --json):
- Nõutavad väljad: puuduvad
- Valikulised väljad:
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
Näide scenarios/moonlight-service-volume.toml määrab muu hulgas:
| Väli | Väärtus | Ühik |
|---|---|---|
alert_limit_m |
50 | m |
argp_deg |
90 | deg |
eccentricity |
0.6 | ei ole märgitud |
elev_mask_deg |
5 | deg |
horizon_hours |
12 | h |
inc_deg |
57.7 | deg |
kind |
moonlight-service-volume | tekst |
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 |
Käivitamine#
kshana scenarios/moonlight-service-volume.toml
Mida see annab#
Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:
| Tulemus | Väärtus | Ühik |
|---|---|---|
alert_limit_m |
50 | m |
coverage_pct |
37.847222 | % |
elev_mask_deg |
5 | deg |
evidence.id_rule |
maatriksi rea stabiilne id (ID | tekst |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | tekst |
evidence.tier |
MODELLED | tekst |
hpl_max_m |
4176.665443 | m |
hpl_min_m |
138.725726 | m |
max_sats |
7 | arv |
min_sats |
4 | arv |
Tõendid#
MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.
- MODELLED Liik ja faas
lunar-surface: releede kättesaadavus ja PDOP, Maa ja Päikese nähtavus ning distsiplineeritud pinnakell iga koha ja aastaaja kohta, liigimoonlight-service-volumereljeefisiluetiga; ühe koha käivitus võrdub selle liigi
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 Moonlight-klassi Kuu DOP / katvus / kättesaadavus ning üldistatud Kuu ARAIM-i kaitsetasemed teeninduspiirkonna üle. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): sõltumatu kolmanda osapoole autoriteetne ANISE 0.10.2 astro::Orbit Kepleri propageerija (Nyx Space, MPL-2.0) — ekvinoktsiaalne kahe keha koodirada, mis erineb kshana Newtoni-Raphsoni Kepleri lahendajast; satelliidi MCI asukoht langeb kokku täpsusega <1e-3 m ning tuletatud nähtavate satelliitide arv ja hulk ühtivad täpselt igas ruudustiku punktis. DOP-i tuum on gnss_lib_py abil kontrollitud; terviklikkus kasutab avaldatud LunaNet/LCNS-i parameetreid
- VALIDATED Satelliidi topotsentrilised vaatenurgad (asimuut põhjast päripäeva, tõusunurk) ja kaldkaugus nimetatud selenograafilises asukohas, kui satelliit on asukoha. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, käivitatud tööriistana kataloogist xval/anise-service-geometry, binaarfail lunar-look-angles-xval, mis ei kutsu ühtegi Kshana koodi): ANISE-i enda asimuudi, tõusunurga ja kauguse rutiin (azimuth_elevation_range_sez) asukohtadele, mis on ehitatud selle laiuse-pikkuse-kõrguse konstruktoriga pck00011 Kuul (kera 1737,4 km), kusjuures satelliidid on pööratud süsteemi MOON_PA_DE440 faili moon_pa_de440_200625.bpc kaudu. 768 valimit o
Piirangud#
Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:
- MODELLED koostis: ringikujuline või elliptiline Kepleri releekomplekt (mitte tegelik diferentsiaalselt korrigeeritud LCNS/NRHO efemeriid), keskmise pöörlemisega Kuu (ilma libratsiooni ja pretsesseeruva poolusteta). (liikide kataloog (
kshana kinds --json)) - AUSTUS: MODELLED koostis. DOP-i geomeetria on valideeritud tuuma UUESTIKASUTUSE KAUDU; katvuse / kättesaadavuse / terviklikkuse koostis on MODELLED — ringikujuline või elliptiline Kepleri releekomplekt (mitte diferentsiaalselt korrigeeritud LCNS / 9:2 NRHO efemeriid), keskmise pöörlemisega Kuu (ilma füüsilise libratsiooni ja pretsesseeruva poolusteta) ning avaldatud LunaNet LNIS-i terviklikkuse parameetrid. See demonstreerib Kuu teeninduspiirkonna M (stsenaariumifaili kommentaar, read 27–32)
- 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#
- Perekonna leht: Kuu ja tsislunaarne ruum
- Kõik liigid: KINDS.md
- Teemaleht: LUNAR-REFERENCE-STATION.md
- Teemaleht: MISSION-THREAD-LUNAR.md