Kuu ja Maa–Kuu-avaruus (skenaariolajien perhe)

24 skenaariolajia, moottori v0.40.0. 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).

Aihesivut: LUNAR-REFERENCE-STATION, LUNAR-INFRASTRUCTURE, LUNANET-AFS. Aja yksi: kshana scenarios/lunar-infrastructure-od-consistency.toml. Kaikki perheet: KINDS.md.

lunar-integrity#

Kuun etelänavan ARAIM-suojaustason ohitus verrattuna edustavaan LunaNet-releiden joukkoon. sigma_ure_m paljastaa signaalin avaruudessa -etäisyysmittaustarkkuuden (suojaustasot skaalautuvat sen mukana lineaarisesti, joten sen pyyhkäisy vastaa kysymykseen, mitä etäisyysmittaustarkkuutta hälytysraja vaatii). Oletuksena historiallinen LNIS-luokan etelänapatapaus.

Pakolliset kentät: ei yhtään. Valinnaiset: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m.

Kirjanpito (ledger): mikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-integrity.

kshana scenarios/lunanet-araim.toml

lunar-time-offset#

Mallinnettu relativistinen Maa–Kuu-kellonopeus (Lunar Coordinate Time, LTC/TCL): maallinen LTC−TT-nopeus itsepotentiaalin erosta ja kuun kineettisestä termistä, raportoituna julkaistun 56–59 µs/vrk vaihteluvälin kanssa, sekä kertynyt poikkeama horisontin yli.

Pakolliset kentät: ei yhtään. Valinnaiset: epoch_year, epoch_month, epoch_day, horizon_days.

Kirjanpito (ledger): mikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-time-offset.

kshana scenarios/lunar-time-offset.toml

lunar-time-budget#

MODELLED päästä päähän ulottuva Coordinated Lunar Time (LTC) -aikavirhebudjetti: seitsemän LTC-virhetermiä koottuna aikavirhekäyriksi x_i(τ) koko keskiarvoistusaikojen ruudukon yli, neliöllisesti summattuna x_Σ(τ):ksi, sekä kellon ja koordinaatiston RISTEYSKOHTA τ, jossa kasvava kellotermi ylittää vakion reaaliaikaisen koordinaatiston toteutustermin (sen alapuolella budjettia rajoittaa koordinaatisto, yläpuolella kello) — rehellinen vastaus yhden τ:n artefaktiin. τ-kaltevuudet ovat suljetussa muodossa ja analyyttisesti tarkistettavissa (kello τ^{+1/2}/τ^{+1}, lattiat τ^0, mittaus τ^{-1/2}) ja kelloriveillä toistetaan julkaistut yhden päivän kellomäärittelyt (crate::clock_specs); RF/optisen linkin, koordinaatiston toteutuksen, relativistisen residuaalin ja efemeridin lattian SUURUUDET ovat mallinnettuja budjettiosuuksia (dokumentoidut oletukset, kutsujan ohitettavissa), eivät mittauksia. Kontribuutio on toistettava risteyskohta τ, ei sertifioitu termikohtainen luku; ei sertifioitu operatiiviseen ajanpitoon.

Pakolliset kentät: ei yhtään. Valinnaiset: clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab.

Kirjanpito (ledger): MODELLED. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-time-budget.

kshana scenarios/lunar-time-budget.toml

lunar-ascent#

MODELLED moottoroitu nousu etelänapa-alueen pintakohteesta kohtaamiskiertoradalle ja kiertoradalle takaisin kuljetettu paikka-nopeuskovarianssi (Artemis-luokka). Tyypin lunar-descent viiden tilan akselikohtainen inertiavirhemalli (paikka, nopeus, kiihtyvyysmittarin harha, asennon kallistus, gyron harha, jota ajaa ominaisvoima) ajetaan kaikilla kolmella kohdeakselilla pintatilasta, jolla vaihe alkaa; AFS-paikannus ILLUSTRATIVE LCNS-luokan tähdistön näkyvistä releistä (itsenäinen tai differentiaalinen käyttäen tyypin lunar-differential-pnt korjauslinkin jäännöstä, kello tuettuna, kun vain kolme relettä on näkyvissä) otetaan ilmoitetulla välillä, ja Kuun aika tulee ajoneuvon kellon ja ajanmerkintävirheen kautta radan suunnassa. Raportoi suljetun muodon inertiaalilähteet, avustuksen osuuden, ablaation, navigoinnin 1-sigmat nousun yli, moottorin katkaisuhajonnan navigointitiedon rinnalla ja täyden 6x6 MCI-kovarianssin insertiossa paikka-nopeuskorrelaatio säilytettynä. MODELLED: havainnollinen IMU-luokka, ominaisvoima, relejoukko ja katkaisuhajonta; virheet pidetään laukaisukohteen akseleissa; nimellinen poistumistila on paikanpitäjä. Ei viraston tukema; ohjeellinen ohjelmisto, ei sertifioitu navigointilaite.

Pakolliset kentät: ei yhtään. Valinnaiset: site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days.

Kirjanpito: MODELLED. Koko sivu syötteineen, tuloksineen, todisteineen ja rajoituksineen: lunar-ascent.

kshana scenarios/lunar-ascent.toml

lunar-surface#

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.

Pakolliset kentät: ei yhtään. Valinnaiset: 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.

Kirjanpito: MODELLED. Koko sivu syötteineen, tuloksineen, todisteineen ja rajoituksineen: lunar-surface.

kshana scenarios/lunar-surface.toml

lunar-descent#

MODELLED laskeutumishajonnan budjetti moottoroidulle laskeutumiselle etelänapa-alueen kohteeseen (Artemis-luokka). Kutakin vaaka-akselia kohden viisitilainen inertiavirhemalli (paikka, nopeus, kiihtyvyysmittarin harha, asennon kallistuma, gyron harha) saa herätteensä laskeutumisen ominaisvoimasta; peräkkäinen suodin ottaa paikkakorjaukset käytössä olevista apuvälineistä: AFS-korjaus ILLUSTRATIVE LCNS-luokan tähdistön näkyvistä releistä (yksinään tai differentiaalisena käyttäen lunar-differential-pnt-lajin korjauslinkin jäännöstä, kellon ollessa tuettu, kun vain kolme relettä on näkyvissä) sekä maastosuhteellinen korjaus (paketin TERCOM/SITAN-sovitin synteettisellä reliefillä tai todellisen LOLA-etelänapa-DEM:n korkeusikkunan sovituksen Cramér–Rao-raja). Kuun aika tulee mukaan ajoneuvon kellon kautta korjausten hetkillä (lunar-time-offset-lajin LTC-TT-siirtymä tai sen julkaistun kaistan epävarmuus) ja ratakoordinaatin suuntaisena aikaleimavirheenä. Raportoi 3-sigma-laskeutumiselliipsin, R95:n, suljetun muodon inertialähteet, kunkin apuvälineen osuuden, jokaisen apuvälinekombinaation ablaation, ellipsin Monte Carlo -kalibroinnin ja eteenpäin siirretyn kovarianssin. MODELLED: havainnollistava IMU-luokka, releiden joukko, laskeutumisprofiili ja ohjaustermi; maastonavigointi käyttää synteettistä reliefiä maan metrimittakaavassa; AFS-saatavuus on yksi epookki tasaisella maskilla. Ei minkään viraston suosittelema; ohjeellinen ohjelmisto, ei virallisesti hyväksytty navigointilaite.

Pakolliset kentät: ei yhtään. Valinnaiset: site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed.

Kirjanpito: MODELLED. Koko sivu syötteineen, tuloksineen, todisteineen ja rajoituksineen: lunar-descent.

kshana scenarios/lunar-descent.toml

lunar-orbit-rendezvous#

MODELLED suhteellinen navigointi Orion–laskeutuja-tyyppiselle telakoinnille matalalla Kuun kiertoradalla tai elliptisellä napakiertoradalla (Artemis-luokka). Takaa-ajaja ja kohde lentävät samaa rataa paketin Kuun voimamallin mukaan; yhteinen 21-parametrinen eräpohjainen Gauss–Newton-estimaatti kaaren yli (kaksi ajoneuvon tilaa ja pysyvät signaalitien harhat) yhdistää ajoneuvokohtaisen absoluuttisen paikkakorjauksen ILLUSTRATIVE LCNS-luokan releiden joukosta (Kuun taakse jäävät releet pudotetaan, neljä tarvitaan, yhteismoodin signaalitien virhe kumoutuu ajoneuvojen välillä) ja ristikkäislinkin etäisyysmittauksen, jonka etäisyysmittauksen tarkkuus tulee LunaNet AFS -pilotin koodiseurannan rajasta. Raportoi muodollisen ja Monte Carlo -suhteellisen paikka- ja nopeusvirheen kohteen LVLH-akseleissa, korjausten saatavuuden, keskimääräisen normalisoidun estimointivirheen neliön suhteessa odotusarvoonsa, kaikki kokeet, joiden iteraatio ei suppennut, gravitaatioharmonisten sivuuttamisesta aiheutuvan ajautuman sekä eteenpäin siirretyn täyden 6x6-kovarianssin. Suljetun muodon Hill/Clohessy–Wiltshire-tarkistus koskee ympyräratatapausta. MODELLED: havainnollistava releiden joukko, virhebudjetti ja priorit; totuus ja estimaattori käyttävät samaa voimamallia, joten NEES tarkistaa itsejohdonmukaisuutta eikä mallivirhettä. Ei minkään viraston suosittelema; ohjeellinen ohjelmisto, ei virallisesti hyväksytty navigointilaite.

Pakolliset kentät: ei yhtään. Valinnaiset: orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree.

Kirjanpito: MODELLED. Koko sivu syötteineen, tuloksineen, todisteineen ja rajoituksineen: lunar-orbit-rendezvous.

kshana scenarios/lunar-orbit-rendezvous.toml

lunar-vlbi#

Mallinnettu kuun geodeettinen VLBI-viiveen havaintosuure: Maa-peruslinja (kaksi maa-asemaa, GCRS) havaitsee yksisuuntaisen signaalin NovaMoon-luokan kuun pinnalla olevalta majakalta. Tuottaa lähikentän kahden etäisyyden erotuksen viiveen, sen muutosnopeuden ja aaltorintaman kaarevuuden lähikenttäkorjauksen ohituksen yli — ristiintarkistettu saman koodikannan tasoaaltoon perustuvaa Δ-DOR-havaintosuuretta vasten kaukokentän rajalla, differenssillä varmennetuin osittaisderivaatoin. Oletusarvoinen analyyttinen polku on MODELLED ja sisältää koordinaatiston johdonmukaisuuden, napaliikkeen xp=yp=0 ja tasoaalto-vs.-lähikenttä -varaumat. Asetuksilla planetary_kernel_path, earth_orientation_kernel_path ja moon_orientation_kernel_path ajetaan sen sijaan ydinpolku (DE440, MOON_PA_DE440, ITRF93; suppenneet barycentriset valon kulkuajat; lisää epookin majakan ja aseman osittaisderivaatat), jonka newtonilainen viive ja osittaisderivaatat täsmäävät NAIF SPICEn suppenneisiin valon kulkuaikoihin tarkkuudella 0,06 ps ja 7.4e-9. Ei validoitu todellista VLBI-dataa vasten.

Pakolliset kentät: ei yhtään. Valinnaiset: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path.

Kirjanpito (ledger): MODELLED 3 · VALIDATED 3. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-vlbi.

kshana scenarios/lunar-vlbi.toml

lunar-vlbi-fim#

Kuun VLBI:n asemakoordinaattien kovarianssi: lunar-vlbi-havaintosuureen viiveen osittaisderivaatat kerättynä nimenomaisen AIKATAULUN (peruslinjat x epookit) yli Fisherin informaatiomatriisiksi, käännettynä ja raportoituna asemakoordinaattien kovarianssina ja koordinaattikohtaisena asemasigmana — lasketun moottoritulosteen, ei oletetun isotrooppisen g = 3 -tasajakokertoimen läpi työnnetyn skalaarisen viiveen tarkkuuden. Tila sisältää Maahan KIINNITETYT (ITRS) asemakoordinaatit, joten jakobiaani on inertiaalinen osittaisderivaatta, jota on kierretty kunkin epookin GCRS->ITRS-matriisilla: Maan pyöriminen tekee nämä koordinaatit havaittaviksi, ja raportti MITTAA Maahan kiinnitetyn näkölinjan pyyhkäisyn ja majakan deklinaation eikä oleta niitä. Yksi havainto on yksi (peruslinja, epookki) -pari, jossa MOLEMMAT asemat ovat korkeuskulmamaskin yläpuolella, painotettuna 1/delay_sigma_s^2. Raportoi asteen, datumvajeen, ehtoluvun, koko informaatiospektrin, kovarianssimatriisin, asemakohtaiset akselikohtaiset ja 3D-sigmat sekä vapaan verkon nolla-avaruuden jokaisella ajolla; asteen vajeessa otsikkosigma julkaistaan arvona NULL ja tilatiedolla, eikä sitä koskaan lueta lähes singulaarisesta käänteismatriisista. Tasajakoarvo cdelay_sigma_ssqrt(g/N) SAMALLE aikataululle tuotetaan lasketun arvon viereen suhdeluvun kanssa, yhdessä isotrooppisen jälkirajan sqrt(p/trace(M)) kanssa, jonka AM-HM tekee kovaksi alarajaksi — joten suhdeluku on se anisotropia, jonka oletus hylkäsi. Viiveen sulkeuma tau_ik = tau_ij + tau_jk tekee vain n-1:stä n(n-1)/2:sta peruslinjasta geometrisesti riippumattomia; raportti ilmoittaa molemmat lukumäärät. MODELLED: Kuun keskipisteen efemeridi, asemien kellot, troposfääri ja Maan orientaatioparametrit pidetään KIINTEINÄ ja havaintoja käsitellään riippumattomina, joten kovarianssi on Cramer–Rao-raja pienennetylle parametrijoukolle, ei ennustettu sessiotulos; viiveen sigma, asemakoordinaatit ja aikataulu ovat syötteitä. Osittaisderivaatta, jonka geometrisen viiveen jakobiaani jättää pois (erotettu Shapiro-termi), mitataan differenssillä ja tuotetaan. Ei geodeettinen tuote.

Pakolliset kentät: ei yhtään. Valinnaiset: stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path.

Kirjanpito (ledger): MODELLED 3 · VALIDATED 2. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-vlbi-fim.

kshana scenarios/lunar-vlbi-fim.toml

lunar-joint-od-clock#

Mallinnettu usean tekniikan yhteinen kuun radanmääritys ja kellojen eräestimaattori SIMULOIDUSSA verkossa: Gauss-Newton-hetkikuvasovitus, joka yhdistää Maa-peruslinjan geodeettiset VLBI-viiveet, kuun paikalliset aseman↔satelliitin etäisyydet ja satelliittien väliset etäisyydet ja palauttaa yhdessä kuun pinta-aseman 3D-paikan, pienen tähdistön paikat ja jokaisen laitteen kellon poikkeaman syötetystä todellisesta tilasta. Keskeinen rehellinen tulos — VLBI tekee aseman täyden 3D-paikan havaittavaksi, kun taas pelkkä kuun paikallinen etäisyydenmittaus jättää heikosti havaittavan suunnan — raportoidaan aseman virheen vertailuna VLBI:n kanssa ja ilman sitä. MODELLED simuloitu suljetun silmukan palautus (tosi tila jakaa havaintomallin), deterministinen (siemenluku), EI validoitu todellisella datalla; ei voimamallin etenemistä ratkaisijan sisällä; ei TRL-, perintö- eikä virastohyväksyntää.

Pakolliset kentät: ei yhtään. Valinnaiset: n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day.

Kirjanpito (ledger): mikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-joint-od-clock.

kshana scenarios/lunar-joint-od-clock.toml

lunar-frame-realisation#

Mallinnettu Kuun koordinaatiston realisaatio: 7-parametrinen Helmert-datumin (similariteetti) sovitus — 3 translaatiota, 3 pienen kulman rotaatiota, 1 skaala — joka sitoo estimoidun selenografisista johdettujen MCMF-pistekoordinaattien joukon datumiin painotetulla pienimmän neliösumman menetelmällä (crate::batch_ls::gauss_newton), sekä yksinkertaisen orientaatiositomisen, joka ilmaisee realisoidun pienen rotaation ICRF-akselien ympäri suhteessa IAU 2015 WGCCRE -kappaleen orientaatioon. Skenaario lisää tunnetun pienen muunnoksen (translaatio ~kymmeniä m, rotaatio ~µrad, skaala ~1e-7) hyvin hajautettuun synteettiseen pisteverkkoon, lisää siemenluvulla alustettua Gaussin kohinaa, palauttaa datumin ja raportoi palautetun muunnoksen, parametrikohtaisen palautusvirheen suhteessa lisättyyn totuuteen sekä sovituksen jälkeisen RMS-jäännöksen. MODELLED itsejohdonmukaisuus — palauttaa lisätyn similariteettimuunnoksen (kohinaton konetarkkuuteen asti), EI realisaatio oikeaa seuranta-/VLBI-dataa vastaan; deterministinen (siemenluku); ei TRL:ää/lentoperintöä/virastosuositusta.

Pakolliset kentät: ei yhtään. Valinnaiset: n_points, tx_m, ty_m, tz_m, rot_x_urad, rot_y_urad, rot_z_urad, scale_ppb, noise_sigma_m, seed, epoch_year, epoch_month, epoch_day.

Kirjanpito (ledger): mikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-frame-realisation.

kshana scenarios/lunar-frame-realisation.toml

lunar-frame-campaign#

Seitsenparametrinen Helmertin (similariteetti)koordinaatiston datum, jota ohjaa SIMULOITU HAVAINTOKAMPANJA eikä lisätty muunnos. Maa-asemien verkko havainnoi Kuun pinnan majakoiden luetteloa nimenomaisen aikataulun mukaan; Kuun VLBI-viiveen osittaisderivaatat kertyvät tuon aikataulun yli majakkakoordinaattien Fisherin informaatiomatriisiksi täsmälleen kuten lunar-vlbi-fim tekee; ja tuo informaatio välitetään Helmert-suunnittelumatriisin A = [I3 | [p]_x | p] kautta luettelopisteissä datumin kovarianssiksi H = A^T M_b A, jonka diagnosoi crate::fim::crlb. MITÄÄN muunnosta EI lisätä eikä mitään palauteta istutetusta vastauksesta, joten raportoitu datumin tarkkuus johtuu havaintoohjelmasta: viiveen sigman puolittaminen puolittaa sen täsmälleen, ja kaaren pidentäminen parantaa sitä, koska libraatio, jonka raportti MITTAA (sub_earth_direction_sweep_deg), erottaa näköyhteyden suuntaisen majakkakoordinaatin taivaan tason suuntaisista. Aste, datumin vajaus, ehtoluku, koko spektri, havaitsemattomat suunnat SEITSENPARAMETRISESSA KANNASSA, heikoin suunta täydelläkin asteella ja kunkin parametrin osuus siitä raportoidaan jokaisella ajolla; parametri, jota kampanja ei rajoita, julkaistaan arvona NULL ja tilatiedolla, ei koskaan lähes singulaarisen käänteismatriisin lukemana. Majakkavirheiden korrelaatio on mitattu, ei oletettu: kun asemat pidetään kiinteinä, mikään havainto ei kosketa kahta majakkaa, joten informaatiomatriisi on täsmälleen lohkodiagonaalinen (offblock_fraction 0), ja kun asemat estimoidaan, Schur-marginalisoitu lohko on kytketty, indusoitu korrelaatio tulostetaan ja koko eteneminen ajetaan uudelleen sen ollessa hylättynä, jotta riippumattomuusoletuksen hinta on luku. Sama eteneminen isotrooppisella koordinaattikohtaisella sigmalla ja palautusvirhe, jonka skenaario lunar-frame-realisation raportoi, ajetaan molemmat tässä ja tulostetaan kampanja-arvon rinnalle suhdelukuineen. MODELLED: majakkaluettelo on lähteistetty mutta KAMPANJA on simuloitu — asemaverkko ja viiveen sigma ovat havainnollistavia syötteitä, yksittäisiä viivehavaintoja käsitellään riippumattomina, ja Kuun keskipisteen efemeridi, asemakellot, troposfääri ja Maan orientaatioparametrit pidetään KIINTEINÄ, joten datumin kovarianssi on Cramer-Rao-raja supistetulle parametrijoukolle. Ei ole geodeettinen tuote.

Pakolliset kentät: ei yhtään. Valinnaiset: stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver.

Kirjanpito (ledger): MODELLED 2 · VALIDATED 3. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-frame-campaign.

kshana scenarios/lunar-frame-campaign.toml

lunar-llr-datum#

Seitsemän parametrin Helmert-kuukoordinaatiston datum, jonka pohjana on TODELLINEN, ARKISTOITU havaintokampanja simuloidun sijaan. Kun lunar-frame-campaign poisti syötetyn muunnoksen mutta ilmoitti silti asemaverkkonsa, aikataulunsa ja havaintokohtaisen sigmansa ILLUSTRATIVE-syötteinä, tämä tyyppi ottaa kaikki kolme mittauksista: epookit ovat arkistoitujen ILRS Consolidated Laser Ranging Data -normaalipisteiden maalähetysajat, havainnot ovat kuun viiteen retroreflektoriryhmään todella ammutut laseretäisyydet, ja jokainen havaintopaino on kyseisen normaalipisteen oma arkistoitu tarkkuus bin_rms/sqrt(n_raw), luettuna tiedostosta. Asemien koordinaatit tulevat IERS ITRF2020 SLR -ratkaisusta (ajettu epookkiin niiden julkaistuilla nopeuksilla) ja reflektorien koordinaatit JPL DE430:n taulukosta 7 keskimääräisessä Maa/keskimääräisessä pyörimiskoordinaatistossa, jonka IAU 2015 WGCCRE -malli toteuttaa. Etäisyyden osittaisderivaatat kertyvät yhteiseen reflektorikoordinaattien Fisherin informaatiomatriisiin ja etenevät saman Helmert-rakenteen läpi datumin kovarianssiin, jonka crate::fim::crlb diagnosoi. Aste, vaje, ehtoluku, spektri, havaitsemattomat suunnat seitsemän parametrin kannassa, heikoin suunta täydellä asteella ja kunkin parametrin osuus siitä tuotetaan jokaisella ajolla, ja rajoittamaton parametri julkaistaan arvona NULL ja tilatiedolla. Ryhmien välinen korrelaatio on MEASURED täsmälleen nolla eikä oletettu, koska laseretäisyys koskettaa yhtä ryhmää. Tietue, jota luettelot eivät pysty sijoittamaan — asema, jolla ei ole julkaistua ITRF-paikkaa — OHITETAAN JA LASKETAAN, eikä sille koskaan anneta korvaavaa koordinaattia. RAPORTTI ON SE, MIKÄ LINKEISTÄ ON MEASURED JA MIKÄ MODELLED, EI ALAVIITE: Kuun keskipisteen efemeridi ja IAU:n kappaleen asento ovat edelleen mallinnettuja, ja niiden yhteinen suuruus tuotetaan havaittu-miinus-laskettu yksisuuntaisena etäisyysresiduaalina kaikkien käytettyjen pisteiden yli; troposfääri, kiinteän kappaleen vuorovedet, aseman eksentrisyys, napaliike, UT1-UTC, relativistinen viive ja asemien kellot puuttuvat ja sisältyvät tähän residuaaliin. Koska efemeridivirhe vaikuttaa kovarianssiin vain kunkin näkölinjan suunnan kautta, jokainen ajo ratkaisee koko datumin myös uudelleen kaikki osittaisderivaatat kallistettuina arvolla sensitivity_tilt_deg (etumerkki vaihtelee) ja tuottaa suhdeluvun, joten kovarianssin epäherkkyys mallinnetulle efemeridille on luku eikä väite. Simuloidun kampanjan omat luvut AJETAAN ja tulostetaan mitattujen viereen, eikä niitä kopioida. MODELLED: seitsemän parametrin luvut ovat Cramer–Rao-raja pienennetylle parametrijoukolle todellisella aikataululla — ei ratkaistu datum, ei LLR-analyysi eikä geodeettinen tuote. Sidottu todellisen datan osajoukko toimitetaan repon mukana mutta ei julkaistun crate-kirjaston mukana; osoita data_dir sen kopioon.

Pakolliset kentät: ei yhtään. Valinnaiset: data_dir, normal_points_dir, reflectors_path, stations_path, dut1_s, rel_tol, compare_simulated_campaign, sensitivity_tilt_deg, planetary_kernel_path, extra_reflectors, extra_beacons, extra_earth_elevation_mask_deg, beacon_campaign.

Kirjanpito (ledger): VALIDATED. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-llr-datum.

kshana scenarios/lunar-llr-datum.toml

moonlight-service-volume#

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ää.

Pakolliset kentät: ei yhtään. Valinnaiset: 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.

Kirjanpito: MODELLED. Koko sivu syötteineen, tuloksineen, todisteineen ja rajoituksineen: moonlight-service-volume.

kshana scenarios/moonlight-service-volume.toml

lunar-differential-pnt#

Mallinnettu Kuun DIFFERENTIAALI-PNT (Kuun DGNSS/SBAS-vastine): NovaMoon-luokan vertailuasema TUNNETUSSA selenografisessa paikassa laskee satelliittikohtaiset differentiaalikorjaukset ILLUSTRATIVE (havainnollistavasta), julkisiin lähteisiin perustuvasta Moonlight/LCNS-luokan tähdistöstä (NovaMoon mainitaan vain järjestelmän LUOKKANA, ei yhteydessä ESA:an), ja käyttäjä, joka on siirretty arvolla baseline_km, soveltaa niitä niin, että YHTEISMOODIN rata- ja kellovirheet kumoutuvat. Kellotermi kumoutuu TÄSMÄLLEEN (algebrallinen identiteetti); ratatermistä jää vain näköyhteyserotuksen projektio, joka → 0, kun baseline → 0 (spatiaalisen dekorrelaation lattia) ja kasvaa ≈ lineaarisesti baseline-arvon mukana. Raportoi käyttäjän 3D-paikkavirheen korjauksilla VS ILMAN korjauksia, pienenemiskertoimen, virhe–baseline-käyrän sekä käyttäjän suojaustason, joka KÄYTTÄÄ UUDELLEEN DO-229E SBAS -koneistoa (crate::sbas) differentiaalijäännöksen σ:lla. MODELLED — täsmällinen kumoutumisidentiteetti + ensimmäisen kertaluvun dekorrelaatiomalli; ei validoitu oikealla datalla; ei TRL:ää/lentoperintöä/virastosuositusta. Deterministinen, jos siemenluku annetaan.

Pakolliset kentät: ei yhtään. Valinnaiset: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ref_lat_deg, ref_lon_deg, baseline_km, orbit_err_m, clock_err_m, noise_m, seed, t_s, residual_sigma_m, p_hmi, survey_sigma_m, latency_s, quantization_bits.

Kirjanpito (ledger): mikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-differential-pnt.

kshana scenarios/lunar-differential-pnt.toml

lunar-station-coverage#

Mallinnettu kuun referenssiasemien kattavuus: Monte Carlo -pyyhkäisy kuun differentiaalisesta PNT-mallista etelänapa-alueen käyttäjäruudukon ja yhden päivän epookkien yli. Tunnetulla etelänapa-paikalla oleva differentiaalinen referenssiasema korjaa ilmoitetun satelliittitähdistön (havainnollistava Kepler-tähdistö tai taulukoitu efemeridi) ilmoitetulla signaali avaruudessa -virheellä, mittausvirheellä, korjauksen viiveellä ja linkin kvantisoinnilla; pistettä kohti ja koko alueella se raportoi korjatun ja korjaamattoman paikkavirheen prosenttipisteet (3D, vaaka, pysty), saatavuuden, kattavuuden ilmoitettua kynnystä vastaan, DO-229E-suojaustasot, kattavuussäteen atsimuuttia kohti ja korjauslinkin linkkibudjetin asemalla ja huonoimmassa pisteessä. Ei väite minkään todellisen järjestelmän suorituskyvystä; ei yhteyttä eikä hyväksyntää miltään virastolta. MODELLED.

Pakolliset kentät: ei yhtään. Valinnaiset: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution.

Kirjanpito (ledger): MODELLED. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-station-coverage.

kshana scenarios/lunar-station-coverage.toml

lunar-beacon#

Kuun kiertoradalla toimivan navigointipalvelun pintamajakkatäydennys ajettavana ennen/jälkeen-taulukkona. Etelänapaisen alueen käyttäjä näkee harvan kiertoratajoukon kapealla taivaan alueella, joten etäisyysmittausgeometria on huonosti ehdollistettu; muutama KARTOITETTU PINTAMAJAKKA tuottaa matalan korkeuskulman, laajan atsimuutin näköyhteysrivit, joita pelkästään yläpuolella oleva joukko ei tuota, ja vaakasuuntainen tarkkuuden heikkenemiskerroin romahtaa. Skenaario raportoi kolme konfiguraatiota yhdellä epookilla — pelkät satelliitit, satelliitit plus näkyvät majakat ja suurempi tähdistö vaihtoehtoisena reittinä samaan geometriaan — kullakin näkyvien lähteiden lukumäärä, täysi DOP ja saavutettu 1-sigma-tarkkuus METREINÄ, joka saadaan kertomalla majakkakohtaisella käyttäjäekvivalenttisella etäisyysvirheellä, joka on koottu kellosynkronoinnin, monitie-etenemisen ja mittaustermien neliösumman neliöjuurena. Majakan näkyvyys on ilmattoman Kuun kahden korkeuden geometrinen horisontti (ei ilmakehää, joten raja on tarkka), ja DOP-kokoaminen on sama ydin, joka on tarkistettu ristiin gnss_lib_py:tä vastaan tiedostossa tests/dop_reference.rs. MIKSI TÄMÄ TYYPPI ON OLEMASSA: sen takana oleva moduuli on ollut moottorissa ja tarkistettu riippumatonta DOP-polkua vastaan L08/L09:stä lähtien, mutta siihen ei päässyt käsiksi ajosta — ei tyyppiä, ei lähetyshaaraa, ei mukana toimitettua tiedostoa. README mainosti kyvykkyyttä ja varmennusmatriisissa EI ollut siitä lainkaan riviä, joten se oli samanaikaisesti väitetty proosassa ja väittämättä kirjanpidossa (ledger) samalla kun se oli moottorissa tavoittamaton. Oletukset ovat geometria, jolla on jo sitoutettu golden-vertailu (käyttäjä -80 deg:ssa 2 m antennilla, kolme majakkaa kohdissa -80/0, -79/+60 ja -79/-60 korkeudella 2 km, kuuden satelliitin havainnollistava LCNS-tilannekuva hetkellä t=0, 5 deg:n maski), joten paljas ajo toistaa taulukon, jonka oraakkeli jo kattaa, eikä keksi uusia lukuja. MODELLED: tähdistön suunnittelu, majakoiden sijoittelu ja jokainen virhebudjetin suuruus ovat havainnollistavia syötteitä, eivät käytössä oleva mittaus tai mitattu linkki; vain DOP-aritmetiikka, horisontin suljettu muoto ja relaatio sigma = DOP x sigma_URE on ankkuroitu ulkoisesti. Ei ole palvelun suorituskykysitoumus.

Pakolliset kentät: ei yhtään. Valinnaiset: user, beacons, n_satellites, comparison_n_satellites, epoch_s, elevation_mask_deg, clock_sync_m, multipath_m, survey_m.

Kirjanpito (ledger): MODELLED. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-beacon.

kshana scenarios/lunar-beacon.toml

lunar-interop-export#

Mallinnettu Kuun yhteentoimivuusvienti: tuottaa Kuun koordinaatiston, Kuun aika-asteikon ja Kuun efemeridin LunaNet/IOAG-linjatuissa, CCSDS-pohjaisissa vaihtomuodoissa edestakaisella kierrolla / kenttien yhdenmukaisuudella. KÄYTTÄÄ UUDELLEEN paketin CCSDS OEM 2,0 -lähettäjää ja jäsennintä (crate::oem) Kuun kontekstiin uudelleenmerkittynä — OEM REF_FRAME kantaa IAU 2015 WGCCRE Kuun kappalekoordinaatiston (MOON_ME / MOON_PA), TIME_SYSTEM Kuun aika-asteikon (LTC / TCL / UTC), CENTER_NAME = MOON — havainnollistavan LCNS-luokan esimerkkiefemeridin yli (paikat crate::lunar_service:stä, nopeus äärellisellä differenssillä). Tuottaa myös LunaNet/IOAG-linjatun Kuun ajan kuvaajan (asteikon tunnus, sekulaarinen nopeus µs/päivä crate::lunar_time:stä, julkaistu kaista, vertailupinta), joka kiertää edestakaisin serde_json:in kautta, ja käärii artefaktit olemassa olevaan KIF-kirjekuoreen (crate::interchange) MODELLED-rehellisyysnimikkeellä. Raportoi tuotetut artefaktit, OEM-rivien lukumäärän, kenttien yhdenmukaisuuden läpäisyn + läsnä olevien/puuttuvien kenttien luettelon, OEM:n edestakaisen kierron onnistumisen, aikametatietojen edestakaisen kierron onnistumisen ja KIF:n tavukoon. MODELLED — deterministinen edestakainen kierto + kenttänimien yhdenmukaisuus julkaistua CCSDS OEM:iä + LunaNet/IOAG-kenttäsemantiikkaa vastaan on oraakkeli; EI ole sertifioitu yhteentoimivuuden yhdenmukaisuustesti; havainnollistava julkisiin lähteisiin perustuva efemeridi, ei yhteydessä ESA:an; ei TRL:ää/lentoperintöä/virastosuositusta.

Pakolliset kentät: ei yhtään. Valinnaiset: frame, time_system, n_states, epoch, step_min, object.

Kirjanpito (ledger): mikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-interop-export.

kshana scenarios/lunar-interop-export.toml

cislunar-observability#

MODELLED tasomaisen kuunläheisen satelliittitähdistön havaittavuus (P6): seuraa neljän avaruusaluksen differentiaalikorjattua tasomaista DRO-satelliittitähdistöä satelliittien välisellä etäisyysmittauksella ja raportoi, kuinka suuren osan avaruusaluksen nelitilasta [x,y,ẋ,ẏ] kaari tekee havaittavaksi. Tuottaa (1) aste-kaaren pituutta vastaan -taulukon yhdelle pelkkää etäisyyttä käyttävälle linkille — hetkellisesti aste 1, kasvaa kohti täyttä nelitilaa kaaren pidentyessä (P6 Table 1); (2) havaittavuuden Gramin matriisin ominaisarvospektrin ja ehtoluvun kaaren yli; (3) pelkkä etäisyys vs etäisyys+etäisyysnopeus -hetkellisen asteen vertailun (Doppler-suunnitteluvipu) sekä pelkän etäisyyden singulaarisen / etäisyys+nopeus-määritellyn GDOP-raportoinnin; ja (4) riippumattoman SRIF-ristiinvalidoinnin, jonka posteriorikovarianssi muuttuu äärelliseksi / hyvin ehdolliseksi täsmälleen kaarella, jolla havaittava aste saavuttaa neljä. VALIDATED ydin: havaittava aste on asteen paljastava singulaariarvokynnys, joka on ristiintarkistettu Gramin matriisin ominaisarvoasteella; ominaisarvospektri noudattaa spektri-invariantteja (trace=Σλ, det=Πλ, Frobenius²=Σλ²); variaatiotilansiirtomatriisi on äärellisellä differenssillä validoitu CR3BP:n tilansiirtomatriisi; etäisyyden/etäisyysnopeuden jakobiaanin rivit ovat äärellisellä differenssillä validoituja analyyttisiä osittaisderivaattoja (ristiintarkistettu paketin 3-D-etäisyysnopeushavaintoa vastaan); neljä alkuehtoa ovat differentiaalikorjattuja tasomaisia DRO:ita, jotka sulkeutuvat tiukkaan jaksollisuusjäännökseen ja ovat vastakulkuisia; asteen siirtymä on ristiinvalidoitu paketin neliöjuuri-informaatiosuodattimella (posteriorikovarianssi äärellinen täsmälleen täydellä asteella, cond(P)=cond(OᵀO)); asteeltaan vajaa tilannekuva merkitään GDOP-määrittelemättömäksi (fim condition=inf), ei koskaan valheelliseksi äärelliseksi arvoksi — sama singulaarigeometriasuoja, jota pvt::solve_spp soveltaa. MODELLED: satelliittitähdistön suunnittelu (DRO:n periluna-amplitudit ja vaiheet) ja sen tuottama erityinen asteen eteneminen. Ei sertifioitu navigoinnin suorituskykytuote.

Pakolliset kentät: ei yhtään. Valinnaiset: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km.

Kirjanpito (ledger): MODELLED. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: cislunar-observability.

kshana scenarios/cislunar-observability.toml

cislunar-arc-recovery#

MODELLED riippumattoman estimaattorin testi kuunläheisen kaaren pituuden havaittavuuskynnykselle. Tuo kynnys on havaittavuusmatriisin ASTE-luku, joka on koottu ANALYYTTISISTÄ etäisyysjakobiaanin riveistä ja ANALYYTTISESTÄ variaatiotilansiirtomatriisista, ja sen neliöjuuri-informaatiosuodattimen ristiintarkistus taittaa samat rivit — kahden numeerisen koneen välinen johdonmukaisuustarkistus, ei vahvistus. Tämä laji tarjoaa puuttuvan ratkaisijan: eräkohtaisen pienimmän neliösumman estimaattorin, joka todella PALAUTTAA päähenkilön alkutilan simuloiduista mittauksista, kun mittausosittaisderivaatat otetaan koostetun eteenpäinmallin KESKEISINÄ ÄÄRELLISINÄ DIFFERENSSEINÄ. Se ei kutsu yhtään analyyttistä jakobiaanin riviä, yhtään variaatiotilansiirtomatriisia, yhtään singulaariarvo- tai ominaisarvohajotelmaa, yhtään asteen toleranssia eikä neliöjuuri-informaatiosuodatinta — tiedoston tests/cislunar_arc_recovery_reference.rs lähdetekstisuoja tekee tämän pakotettavaksi — kun taas dynamiikka (sama RK4 CR3BP -virtaus), alkuehdot (sama differentiaalikorjattu satelliittitähdistö), skalaarihavainto ja epookkiruudukko jaetaan tarkoituksella ja nimetään tuotetussa lohkossa independence, koska saman fysikaalisen ongelman kaksi analyysia on sovittava fysiikasta ollakseen vertailukelpoisia. Kaksi kriteeriä, kumpikin pyyhkäisty viiden dekadin yli omalla rajallaan: KOHINATON PALAUTUS (jokaisen siemenluvulla alustetun kokeen lopullinen tilavirhe on enintään recovery_factor kertaa sen a priori -poikkeama — asteen vastine, jossa ei ole singulaariarvotoleranssia) ja MONTE CARLO -ESTIMOITAVUUS (mitattu RMS-paikkavirhe siemenluvulla alustetun kohinajoukon yli on ilmoitetun rajan alapuolella — estimoitavuuden vastine, mitattu eikä ennustettu). Tukee tasomaista nelitilaista ja avaruudellista kuusitilaista, DRO / L2 halo / L2 NRHO -perheitä, etäisyys- ja etäisyysnopeushavaintoja sekä Kuu-keskistä polaariparametrisointia, jossa muunnos sovelletaan TILAAN ja eteenpäinmalli derivoidaan siellä uudelleen. MEASURED julkaistulla tasomaisella DRO-ruudukolla: estimaattori palauttaa nelitilan arvosta 0,782609 h, kun astekriteerin arvo on 2,086957 h toleranssilla rel_tol 1e-6 (suhde 0,375) — aste-kynnystä EI ole vahvistettu palautettavuuden rajaksi — kun taas mitattu estimoitavuusraja osuu samaan ruudukon soluun kuin muodollinen, 5,739130 h, ja mitattu virhekäyrä toistaa muodollisen 1-sigman 21 kaaren pituuden yli geometrisella keskisuhteella 0,98. MODELLED: satelliittitähdistön suunnittelu, epookkiruudukko, yksi seurattu linkki, poikkeaman suuruus, mittaussigma ja kaksi ilmoitettua rajaa. Ei sertifioitu navigoinnin suorituskykytuote.

Pakolliset kentät: ei yhtään. Valinnaiset: mu, arc_hours, epochs, steps, spatial, family, n_spacecraft, observable, coordinates, trials, seed, displacement_nd, recovery_factor, sigma_range_m, sigma_range_rate_mm_s, error_bound_km, max_iterations, rel_tol.

Kirjanpito (ledger): MODELLED. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: cislunar-arc-recovery.

kshana scenarios/cislunar-arc-recovery.toml

lunar-attack-surface#

Kuun pinnan navigoinnin signaaliturvallisuuden hyökkäyspinta (P1): kokoaa avoimet signaaliturvallisuusanalyysit yhdeksi binäärillä tavoitettavaksi ajoksi. Raportoi (1) AFS:n vastaanotetun tehon ja sen tehon YLIJÄÄMÄN maanpäällistä GPS-vertailua vastaan sekä 12-18 dB:n herkkyyskaistan aitona monen akselin pyyhkäisynä linkin syötteiden yli (vertailutaso x EIRP x vinoetäisyys) 25x-pyöristetyn / 28x-pyöristämättömän lineaarisen kertoimen täsmäytyksellä. KORJATTU (sääntö R4): tämä raportoi 15,6 dB:n tehon ALIJÄÄMÄN ja kertoimen 32x/36x, kunnes GPS-vertailu korjattiin arvoista -125 / -128.5 (jotka ovat dBm-lukuja) arvoihin -155 / -158.5 dBW, ICD-GPS-200-arvot, jotka häirintämoduuli on aina kantanut. Etumerkki kääntyy: mallinnettu Kuun AFS-signaali on 14,4 dB VAHVEMPI kuin maanpäällinen GPS L1 C/A, ei heikompi. Vastaanotettu teho itse ei liikahtanut bittiäkään, ja lineaarinen kerroin on vanha jaettuna täsmälleen luvulla 1000, joka on täsmälleen 30 dB:n dBm–dBW-siirtymä; (2) vaadittu hyökkääjän lähetysteho harhauttamiseen (J/S = 3 dB) ja kieltoon (J/S = 30 dB) kullakin etäisyydellä, J/S-linkin käänteisfunktio; (3) kiertoradalta tapahtuvan kaappauksen jalanjälki todellisella tasaisen aukon antennikuviolla (Airy [2 J1(x)/x]^2), korkeusrajoitettu puolipallon alapuolinen kalotti, jonka reunaa EI kaapata; (4) laskettu seurantasilmukan harhautuksen kaappauksen sisäänvetotulos (vetääkö vastaavan koodin harhauttaja tietyllä tehoedulla ja koodisiirtymällä todella DLL/PLL:ää) väitetyn 3 dB:n kynnyksen sijaan; (5) ilmattoman kappaleen geometrinen horisonttiulottuvuus korotetulle pintalähettimelle; ja (6) OSNMA/TESLA-todennusbudjetti (20 bit/s lisäkuorma = ~40 % 50 bit/s AFS-navigointiviestistä, avaimen julkistamisen viive, 2^-40 väärennös). Tyhjä runko toistaa P1-lähtötason; jokaisella syötteellä on oletus ja se voidaan ohittaa. VALIDATED osatulokset kantavat lähdemoduulinsa oraakkelin (suljetun muodon dB-radiometria; käänteinen J/S-kierros; Airy-kuvio vs A&S Bessel ja pallokalotin geometria; DLL/PLL-sisäänveto vs Kaplan & Hegarty; pallotangentin horisonttiidentiteetti vs eo_payload; OSNMA SIS-ICD -kenttien mitoitus). MODELLED: edustavat geometria- ja tehosuuruudet sekä kaappauskartan tietyt solujen arvot. Ei ole sertifioitu turvallisuustuote.

Pakolliset kentät: ei yhtään. Valinnaiset: afs_eirp_dbw, user_gain_dbi, slant_range_m, slant_range_max_m, carrier_hz, gps_reference_dbw, gps_reference_min_dbw, afs_isotropic_signal_dbw, transmitter_altitude_m, transmitter_power_dbw, antenna_diameter_m, footprint_grid, spoof_power_advantage_db, spoof_code_offset_chips, attacker_gain_dbi, spoof_capture_js_db, jam_denial_js_db, standoffs_m, mast_height_m, user_antenna_height_m, footprint_altitude_min_m, footprint_altitude_max_m, footprint_altitude_steps, footprint_altitude_scale, footprint_diameter_min_m, footprint_diameter_max_m, footprint_diameter_steps, footprint_diameter_scale.

Kirjanpito (ledger): mikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-attack-surface.

kshana scenarios/lunar-attack-surface.toml

lunar-jamming#

Kuun omaan käyttöön tehty radiotaajuinen häirintä (jamming): satelliittikohtainen häirintä-signaalisuhde, tehollinen C/N₀ ja lukituksen menetys selenografiselle pintakäyttäjälle kuun pinnalla (tai korotetulla) olevan häirintälähettimen alla, havainnollistavan julkisista lähteistä kootun Moonlight/LCNS-luokan kuun kiertoradan satelliittitähdistön yli. Yhdistää olemassa olevan avoimen häirintäfysiikan (jamming::j_over_s_db, effective_cn0_dbhz, rx_antenna_gain_db, lock_status, q_factor) olemassa olevaan kuun taivasgeometriaan (lunar_service::LunarConstellation + topocentric, lunar::selenographic_to_mcmf); geometriaa tai radiometriaa ei johdeta uudelleen. Toisin kuin Maan jamming-tyypissä, signaalihaara EI ole kiinteä vastaanotettu teho: kunkin satelliitin isotrooppinen vastaanotettu teho on sen oma linkkibudjetti EIRP − FSPL(vinoetäisyys), joten J/S vaihtelee satelliitista toiseen kuun etäisyyden ja korkeuskulman mukana. Raportoi YHDEN RIVIN JOKAISTA NÄKYVÄÄ (epookki, satelliitti) -LINKKIÄ KOHTI — atsimuutti, korkeuskulma, vinoetäisyys, molemmat vastaanotetut tehot, joiden erotus J/S on, J/S, nimellinen ja tehollinen C/N₀ sekä lukitustila — sekä koostetut laatumittarit tämän taulukon rinnalla (ei sen sijaan) ja saman taulukon CSV-artefaktina. Jokaisella tuotetulla numeerisella kentällä on yksikkö ja alkuperäluokka. VALIDATED-aliosatuloksilla on lähdemoduulinsa oraakkeli (häirinnänestoyhtälö ja J/S-linkki lähteestä Kaplan & Hegarty §9,4, ulkoisesti viitattu tiedostossa tests/gnss_denied_jamming_resilience_reference.rs; kuun geometria moduulista lunar_service). Itse yhdistelmä on ristiintarkistettu riippumattomalla kahden linkkibudjetin polulla (linkbudget::received_signal_power_dbw, eri vapaan tilan vaimennuksen lauseke) tarkkuuteen 1e-9 dB. MODELLED: havainnollistava tähdistö, edustavat EIRP / häirintälähettimen teho / antennivahvistukset / kohinalämpötila sekä maastovarjostuksen, monitie-etenemisen, AGC-dynamiikan ja adaptiivisen nollauksen puuttuminen. Ei sertifioitu palvelunestotuote. Kun häirintälähetin on määritetty, raportti sisältää myös ESTOKÄYRÄN, JOSSA ON EPÄVARMUUSKAISTA, eikä yhdestä skalaarista luettua käyrää: täydellinen mitattu haluttu signaali C/N₀ -jakauma satelliittikohtaisen taulukon yli (n, min, p05, p25, mediaani, p75, p95, max, keskiarvo, otoskeskihajonta ja otoksen oma vinous) sekä käyrä laskettuna jokaisessa näistä järjestystunnusluvuista KAHDEN moottorin tunnistaman estokriteerin mukaan — vakiintunut tehosuhdekriteeri (J/S = 30 dB, kuten attack-surface- ja tracking-loop-tyypeissä) ja lukituksen menetyksen kriteeri (tehollinen C/N₀ laskee arvoon tracking_threshold_dbhz, jota tämän raportin oma tilasarake käyttää) — estotason molemmilla akseleilla (vaadittu häirintälähettimen EIRP skenaarion etäisyydellä, estoetäisyys skenaarion EIRP:llä). Kaistan reunat OVAT contour(p05) ja contour(p95), sama suljetun muodon kuvaus sovellettuna otoksen omiin kvantiileihin: ei otokseen sovitettu sigma eikä mediaani ± k·stdev, ja stdev tuotetaan jatkuvuuden vuoksi eikä mikään käytä sitä. Kvantiilille, joka on jo seurantakynnyksen tasolla tai sen alapuolella, ei ole äärellistä estävää J/S:ää, ja sen lukituksen menetyksen sarakkeet ovat null laskettuine syineen, eivät koskaan rajattu säde.

Pakolliset kentät: ei yhtään. Valinnaiset: n_sats, sma_km, eccentricity, inc_deg, argp_deg, site_lat_deg, site_lon_deg, site_alt_m, horizon_hours, step_min, elev_mask_deg, sat_eirp_dbw, carrier_hz, chip_rate_hz, user_boresight_gain_dbi, temp_k, tracking_threshold_dbhz, degraded_margin_db, jammer.

Kirjanpito (ledger): MODELLED. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-jamming.

kshana scenarios/lunar-jamming.toml

earth-gnss-lunar#

Maan GNSS:n vastaanotto Kuun etäisyydellä: heikon signaalin kerros, jonka konfliktinkestävyyspaperi nimeää ja jolle moottorilla ei ollut mallia. GNSS-satelliitti suuntaa antenninsa Maahan; Kuun lähellä oleva vastaanotin on noin viisitoista kertaa kiertoradan säteen päässä, joten kolme asiaa vaikuttaa yhtä aikaa. Maa PEITTÄÄ ANTENNIN AKSELIN: etäisyydeltä 26 560 km se kattaa 13,9 asteen puolikulman, joten jokaisen Kuuhun suuntautuvan säteen on lähdettävä lähettimestä vähintään näin kaukana nadirista, mikä poistaa keilan huipun ennen kuin mitään tehoa on laskettu. Jäljelle jää PÄÄKEILAN REUNA JA SIVUKEILAT, se alue, jolla LuGRE-hyötykuorma todella toimi vuonna 2025. Ja vapaan tilan vaimennus on noin 208 dB L1-taajuudella, noin 25 dB enemmän kuin maanpäällinen käyttäjä maksaa. Raportti antaa yhden rivin satelliittia kohti (akselipoikkeama, Maan peitto, etäisyys, reittivaimennus, lähetinvahvistus kyseisessä kulmassa, vastaanotettu teho, kantoaalto-kohinatiheys-suhde) ja kokoaa yhteen vain seurantakynnyksen ylittävät linkit. SE RAPORTOI MYÖS EHDOLLISUUDEN, koska se määrittää tämän kerroksen: jokainen näkyvä satelliitti on Kuusta nähtynä muutaman asteen levyisen kartion sisällä, joten näkölinjat ovat lähes yhdensuuntaiset, tarkkuuden heikkenemiskerroin on valtava, ja Maan GNSS:n paikannus Kuun etäisyydellä on paljon enemmän AJOITUSluokan havainto kuin paikkaluokan. MODELLED, ja syynä on lähetyskuvio: vahvistus kulman funktiona on tasaisesti valaistu pyöreä apertuuri (Airy), kun taas todellinen GPS L1 -antenni on kaksitoistaelementtinen kierukkaryhmä, jolla on muotoiltu pääkeila ja ei-Airy-sivukeilat. Mitattuja kuvioita on olemassa, eikä niitä ole sisällytetty tähän, joten järjestykset ja suuruusluokat ovat merkityksellisiä mutta yksittäisen satelliitin dB-arvo ei. Tarkoituksella PUUTTUVAT, kukin tekee budjetista optimistisen: ei ionosfääri- tai troposfäärivaimennusta Maan reunaa hipoville säteille, ei polarisaatio-, osoitus- tai toteutushäviötä ja pallomainen Maa ilman refraktiivista laajennusta. Kuun paikka on SYÖTE (etäisyys sekä inertiasuunta) efemeridihaun sijaan, koska testattava suure on linkki ja keilageometria. Rivin nostaminen validoiduksi vaatii mitatun lähetyskuvion ja LuGRE:n normaalipisteet; kumpaakaan ei ole repositoriossa eikä kumpaakaan ole keksitty tässä.

Pakolliset kentät: ei yhtään. Valinnaiset: altitude_km, inclination_deg, planes, sats_per_plane, phasing_f, epoch_s, receiver_range_m, receiver_ra_deg, receiver_dec_deg, tx_power_dbw, tx_diameter_m, tx_efficiency, freq_hz, rx_gain_dbi, system_temp_k, tracking_threshold_dbhz, back_lobe_suppression_db, epochs, span_s.

Kirjanpito (ledger): MODELLED. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: earth-gnss-lunar.

kshana scenarios/earth-gnss-lunar.toml

lunar-infrastructure#

MODELLED tutkimukset Kuun radasta ja pinnasta navigointi- ja geodeettisenä infrastruktuurina, viisi tutkimusta yhden tyypin takana, valittuna kentällä study: od-consistency (aluksella tehtävä Maa-GNSS-radanmääritys NRHO- tai ELFO-radalla verrattuna riippumattomaan maa-asemien radiometriseen radanmääritykseen, arvioituna niiden omilla kovariansseilla siemenluvulla alustetun Monte Carlon yli), carrier-phase (yhteinen pinta–kiertäjä kaksoisdifferentioitu kantoaallon vaihe ja kokonaislukuepävarmuuden ratkaisu LAMBDA:lla), frame-coestimation (pinta-asema ja kiertäjät lisättyinä Maa-asemien etäisyysmittaukseen seitsenparametrisen Kuun koordinaatiston datumin saamiseksi), space-tie (GNSS, VLBI ja laseretäisyysmittaus yhdellä avaruusaluksella, koordinaatiston sitomisen toistotarkkuus suhteessa paikalliseen sidosvirheeseen) ja geodesy-sensitivity (Kuun Love-lukujen h2, k2, l2 ja fyysisen libraation Fisher-informaatio laseretäisyysmittauksesta, kiertäjien seurannasta, pintagravimetristä ja pintakellosta). Rajoitettu kolmen kappaleen malli ilmoitetuin yksinkertaistuksin; numeriikka tarkistetaan riippumattomilla ohjelmilla, eikä mitään verrata Kuun suureen tehtyyn mittaukseen.

Pakolliset kentät: study. Valinnaiset: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal.

Kirjanpito (ledger): mikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jolla ovat syötteet, tulokset, todisteet ja rajoitukset: lunar-infrastructure.

kshana scenarios/lunar-infrastructure-space-tie.toml

ei kuvaajaa: esimerkki ei kirjoita kaaviota