Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutEi vielä GitHubissaLähde: docs/kinds/by-kind/lunar-surface.md

lunar-surface (skenaariolaji)

Moottorin v0.40.0 skenaariotyyppi, 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 merkintä on moottorin tai varmennusmatriisin antama; tyyppi on MODELLED, ellei matriisi muuta sano (miten merkintä ansaitaan: README:n Evidence-osio).

Mitä se tekee#

MODELLED pinnan paikannus- ja ajoitussaatavuus kohteen ja vuodenajan mukaan Artemis-luokan etelänapa-alueen kohteille. Kullekin kohteelle ja vuodenajalle (epookki ja sen jälkeinen ikkuna) raportoidaan releillä paikannus (neljä tai useampi ILLUSTRATIVE LCNS-luokan tähdistön relettä näkyvissä ja PDOP kynnyksen alla, samoilla funktioilla kuin moonlight-service-volume-lajissa ja maastolohkon kanssa lunar-station-coverage-lajin maaston säteenseurannalla laskettu taivaanrantaviiva), ovatko Maa ja Aurinko kohteen horisontin yläpuolella (analyyttinen Aurinko, Kuu ja Kuun orientaatio, libraatio mukaan lukien, mikä liikkuu vuodenajan mukana) sekä ajoituksen saatavuus (rele tai Maa näkyvissä) pisimmän jakson kanssa, jolloin kumpaakaan ei ole, eli holdover, jonka pinnan kellon on kestettävä. Yhden kohteen tulos on bitilleen sama kuin moonlight-service-volume-lajin. MODELLED: havainnollistava Kepler-releiden joukko keskimääräisesti pyörivällä Kuulla; releiden luku ei muutu vuodenajan mukana; maasto on 1200 m LOLA-leikkaus. Ei minkään viraston suosittelema; ohjeellinen ohjelmisto, ei virallisesti hyväksytty navigointilaite.

Yksi tiedoston scenarios/lunar-surface.toml ajo tiivistyy seuraavasti: lunar-surface | 4 kohdetta x 4 vuodenaikaa | paikannus 41 % – 41 % | huonoin ajoituksen saatavuus 100,0 % | pisin ajoitusaukko 0,0 h (MODELLED)

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: ei yhtään
  • Valinnaiset kentät: sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain

Esimerkki scenarios/lunar-surface.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
argp_deg 90 deg
earth_mask_deg 0 deg
eccentricity 0.6 ei ilmoitettu
inc_deg 57.7 deg
kind lunar-surface teksti
mask_deg 5 deg
n_sats 8 ei ilmoitettu
pdop_threshold 6 1
season_dates [2028-01-01, 2028-04-01, 2028-07-01, 2028-09-30] ei ilmoitettu
sites[0].lat_deg -89.9 deg
sites[0].lon_deg 0 deg
sites[0].name etelänapa-alue 89,9 teksti

Aja se#

kshana scenarios/lunar-surface.toml

2 mukana toimitettua skenaariota käyttää tätä tyyppiä; muut ovat hakemistossa scenarios/.

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
advisory Ohjeellinen ohjelmisto, ei virallisesti hyväksytty navigoi teksti
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier MODELLED teksti
exit_state.clock_sigma_s 5.0000e-8 s
exit_state.evidence MODELLED teksti
exit_state.frame mci teksti
exit_state.longest_timing_gap_h 0 h
exit_state.position_velocity_covariance kulkee muuttumattomana läpi teksti
exit_state.stay_days 27.3217 d

Tuloksen merkintä (moottorin oma): MODELLED

Kaavio, jonka moottori kirjoittaa tiedostolle scenarios/lunar-surface.toml, laji lunar-surface

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
  • MODELLED Laji ja vaihe lunar-surface: releiden saatavuus ja PDOP, Maan ja Auringon näkyvyys sekä kuriin saatettu pinnan kello kullekin kohteelle ja vuodenajalle, maastolla. Oraakkeli (ReferenceImpl): Täsmällinen yhtäsuuruus olemassa olevan lajin kanssa yhden kohteen osalta sekä monotonisuustarkistukset testeissä. Releiden joukko on ILLUSTRATIVE, eikä mitään pinnalla tehtyä mittausta verrata

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • MODELLED (tulos label)
  • MODELLED pinnan paikannus- ja ajoitussaatavuus kohteen ja vuodenajan mukaan Artemis-luokan etelänapa-alueen kohteille. (lajiluettelo (kshana kinds --json))
  • MODELLED: havainnollistava Kepler-releiden joukko keskimääräisesti pyörivällä Kuulla; releiden luku ei muutu vuodenajan mukana; maasto on 1200 m LOLA-leikkaus. (lajiluettelo (kshana kinds --json))
  • REHELLISYYS: MODELLED. Releiden joukko on havainnollistava ja Kepler-rataan perustuva, ja Kuu pyörii releille keskinopeudella (ei libraatiota) kuten moonlight-service-volume-lajissa; Maa ja Aurinko käyttävät analyyttistä orientaatiota, joten kaksi koordinaatistoa eroavat tämän puutteen verran. Releillä saatava paikannuksen luku ei tässä mallissa muutu vuodenajan mukana; Maan ja Auringon luvut muuttuvat. Ei väitetä sopivuutta minkään todellisen palvelun tai kohteen kanssa. Adv (skenaariotiedoston kommentti, rivit 11–15)
  • 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))
  • Pinnan paikannus- ja ajoitussaatavuus kohteen ja vuodenajan mukaan Kuun navoilla (lunar-surface) on MODELLED, ei validoitu: tarkistettu erillistä toteutusta vastaan samassa koodikannassa, mikä on riippumaton testattavasta yksiköstä mutta ei ulkoisesti auktoritatiivinen. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#