Lunar e cislunar (família de tipos de cenário)

24 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de investigação e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Toda etiqueta aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED, a menos que a matriz diga o contrário (como uma etiqueta é obtido: a secção Evidence do README).

Páginas de tema: LUNAR-REFERENCE-STATION, LUNAR-INFRASTRUCTURE, LUNANET-AFS. Executar uma: kshana scenarios/lunar-infrastructure-od-consistency.toml. Todas as famílias: KINDS.md.

lunar-integrity#

Passagem de nível de proteção ARAIM no polo sul lunar face a um conjunto de retransmissores LunaNet representativo. sigma_ure_m expõe a exatidão de medição de distâncias do sinal no espaço (os níveis de proteção escalam linearmente com ela, pelo que variá-la responde à pergunta sobre que exatidão de medição de distâncias um limite de alerta exige). Por predefinição, o caso histórico do polo sul da classe LNIS.

Campos obrigatórios: nenhum. Opcionais: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m.

Registo: nenhuma linha da matriz menciona este tipo; o motor etiqueta o seu próprio resultado. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-integrity.

kshana scenarios/lunanet-araim.toml

lunar-time-offset#

Taxa relativista modelada do relógio Terra–Lua (Tempo Coordenado Lunar, LTC/TCL): a taxa secular LTC−TT a partir da diferença de autopotencial e do termo cinético da Lua, indicada com a banda publicada de 56–59 µs/dia, mais o desvio acumulado ao longo de um horizonte.

Campos obrigatórios: nenhum. Opcionais: epoch_year, epoch_month, epoch_day, horizon_days.

Registo: nenhuma linha da matriz menciona este tipo; o motor etiqueta o seu próprio resultado. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-time-offset.

kshana scenarios/lunar-time-offset.toml

lunar-time-budget#

Orçamento de erro de tempo MODELLED, de ponta a ponta, do Tempo Lunar Coordenado (LTC): os sete termos de erro do LTC reunidos como curvas de erro de tempo x_i(τ) ao longo de uma grelha completa de tempos de média, somados em soma quadrática em x_Σ(τ), e o CRUZAMENTO τ entre relógio e referencial em que o termo crescente do relógio ultrapassa o termo constante de realização do referencial em tempo real (abaixo dele o orçamento é limitado pelo referencial, acima dele limitado pelo relógio) — a resposta honesta ao artefacto de um único τ. As inclinações em τ são de forma fechada e verificáveis analiticamente (relógio τ^{+1/2}/τ^{+1}, patamares τ^0, medição τ^{-1/2}) e as linhas do relógio reproduzem as especificações publicadas de relógio a um dia (crate::clock_specs); as MAGNITUDES dos patamares da ligação RF/ótica, da realização do referencial, do resíduo relativista e das efemérides são atribuições de orçamento modeladas (predefinições documentadas, substituíveis por quem chama), não medições. O contributo é o cruzamento τ reprodutível, não um valor certificado por termo; não certificado para manutenção da hora operacional.

Campos obrigatórios: nenhum. Opcionais: clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-time-budget.

kshana scenarios/lunar-time-budget.toml

lunar-ascent#

Ascensão propulsionada MODELLED de um local de superfície polar sul até à órbita de encontro, e a covariância de posição e velocidade que ela leva de volta à órbita (classe Artemis). O modelo de erro inercial de cinco estados por eixo de lunar-descent (posição, velocidade, enviesamento do acelerómetro, inclinação de atitude, enviesamento do giroscópio, conduzido pela força específica) é executado nos três eixos do local a partir do estado de superfície com que a fase começa; uma solução de posição AFS a partir dos relés visíveis de uma constelação ILLUSTRATIVE de classe LCNS (isolada, ou diferencial usando o resíduo do enlace de correção de lunar-differential-pnt, com o relógio auxiliado quando apenas três relés estão visíveis) é obtida num intervalo declarado, com o tempo lunar a entrar pelo relógio do veículo e um erro de marcação temporal ao longo da trajetória. Indica as fontes inerciais em forma fechada, a contribuição do auxílio, a ablação, os 1-sigmas de navegação ao longo da ascensão, a dispersão no corte do motor ao lado do conhecimento de navegação, e a covariância MCI 6x6 completa na inserção com a correlação posição-velocidade mantida. MODELLED: classe de IMU, força específica, conjunto de relés e dispersão no corte ilustrativos; erros mantidos nos eixos do local de lançamento; o estado nominal de saída é um substituto. Sem aval de agência; software de caráter consultivo, não um equipamento de navegação certificado.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-ascent.

kshana scenarios/lunar-ascent.toml

lunar-surface#

Disponibilidade MODELLED de posicionamento e temporização na superfície por local e estação para locais polares sul de classe Artemis. Para cada local e estação (uma época e uma janela após ela) indica o posicionamento por relés (quatro ou mais relés de uma constelação ILLUSTRATIVE de classe LCNS à vista e PDOP abaixo de um limite, a partir das mesmas funções de moonlight-service-volume e, com uma secção de terreno, o horizonte por traçado de raios do terreno de lunar-station-coverage), se a Terra e o Sol estão acima do horizonte do local (Sol, Lua e orientação lunar analíticos, libração incluída, que é o que varia com a estação) e a disponibilidade de temporização (um relé ou a Terra à vista) com o maior intervalo sem nenhum dos dois, o holdover que um relógio de superfície precisa atravessar. Um resultado de local único é igual, bit a bit, ao de moonlight-service-volume. MODELLED: conjunto de relés kepleriano ilustrativo numa Lua de rotação média; o valor dos relés não muda com a estação; o terreno é o recorte de 1200 m do LOLA. Sem aval de agência; software de caráter consultivo, não um equipamento de navegação certificado.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-surface.

kshana scenarios/lunar-surface.toml

lunar-descent#

Orçamento de dispersão de aterragem MODELLED para uma descida propulsionada a um local polar sul (classe Artemis). Por eixo horizontal, um modelo de erro inercial de cinco estados (posição, velocidade, enviesamento do acelerómetro, inclinação de atitude, enviesamento do giroscópio) é conduzido pela força específica da descida; um filtro sequencial recebe soluções de posição dos auxílios ativados: uma solução AFS a partir dos relés visíveis de uma constelação ILLUSTRATIVE de classe LCNS (isolada, ou diferencial usando o resíduo do enlace de correção de lunar-differential-pnt, com o relógio auxiliado quando apenas três relés estão visíveis) e uma solução relativa ao terreno (o correlacionador TERCOM/SITAN da biblioteca sobre um relevo sintético, ou o limite de Cramer-Rao da correlação de uma janela de elevação do DEM polar sul real do LOLA). O tempo lunar entra pelo relógio do veículo nas soluções (o desvio LTC-TT de lunar-time-offset, ou a incerteza do seu intervalo publicado) e como um erro de marcação de tempo ao longo da trajetória. Indica a elipse de aterragem de 3 sigma, R95, as fontes inerciais em forma fechada, a contribuição de cada auxílio, a ablação de cada combinação de auxílios, uma calibração de Monte Carlo da elipse e a covariância transferida. MODELLED: classe de IMU, conjunto de relés, perfil de descida e termo de orientação ilustrativos; terrain-nav usa um relevo sintético em escala métrica terrestre; a disponibilidade de AFS é de uma época com uma máscara plana. Sem aval de agência; software de caráter consultivo, não um equipamento de navegação certificado.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-descent.

kshana scenarios/lunar-descent.toml

lunar-orbit-rendezvous#

Navegação relativa MODELLED para uma acoplagem no estilo Orion-módulo de aterragem numa órbita lunar baixa ou numa órbita polar elíptica (classe Artemis). Um veículo perseguidor e um alvo voam na mesma órbita sob o modelo de forças lunares da biblioteca; uma estimativa conjunta de Gauss-Newton em lote de 21 parâmetros ao longo do arco (dois estados de veículo e enviesamentos persistentes do sinal no espaço) funde uma solução absoluta de posição por veículo a partir de um conjunto de relés ILLUSTRATIVE de classe LCNS (relés atrás da Lua descartados, quatro necessários, o erro de modo comum do sinal no espaço a cancelar-se entre os veículos) e uma distância por enlace cruzado, com a precisão de medição de distância vinda do limite de seguimento de código do piloto AFS da LunaNet. Indica o erro relativo formal e de Monte Carlo de posição e velocidade nos eixos LVLH do alvo, a disponibilidade das soluções, o erro de estimação normalizado quadrático médio face ao valor esperado, e qualquer tentativa cuja iteração não convergiu, a deriva por ignorar os harmónicos da gravidade e a covariância 6x6 completa transferida. Uma verificação de Hill/Clohessy-Wiltshire em forma fechada aplica-se ao caso circular. MODELLED: conjunto de relés, orçamento de erro e priores ilustrativos; a referência e o estimador partilham um único modelo de forças, de modo que o NEES verifica a autoconsistência e não o erro do modelo. Sem aval de agência; software de caráter consultivo, não um equipamento de navegação certificado.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-orbit-rendezvous.

kshana scenarios/lunar-orbit-rendezvous.toml

lunar-vlbi#

Observável modelado do atraso VLBI geodésico lunar: uma linha de base terrestre (duas estações em terra, GCRS) observa um sinal unidirecional de uma baliza da superfície lunar da classe NovaMoon. Emite o atraso de campo próximo por diferença de duas distâncias, a sua taxa e a correção de campo próximo por curvatura da frente de onda ao longo de uma passagem — verificada de forma cruzada face ao observável Δ-DOR de onda plana da mesma base de código no limite de campo distante, com derivadas parciais verificadas por diferenças finitas. O percurso analítico predefinido é MODELLED e traz as ressalvas de consistência de referencial, de movimento polar xp=yp=0 e de onda plana versus campo próximo. Definir planetary_kernel_path, earth_orientation_kernel_path e moon_orientation_kernel_path executa em vez disso o percurso por núcleos (DE440, MOON_PA_DE440, ITRF93; tempos de luz baricêntricos convergidos; acrescenta as derivadas parciais da baliza e da estação da época), cujo atraso newtoniano e cujas derivadas parciais concordam com os tempos de luz convergidos do NAIF SPICE até 0,06 ps e 7.4e-9. Não validado face a dados VLBI reais.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED 3 · VALIDATED 3. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-vlbi.

kshana scenarios/lunar-vlbi.toml

lunar-vlbi-fim#

Covariância das coordenadas das estações VLBI lunar: as derivadas parciais do atraso do observável lunar-vlbi acumuladas ao longo de um CALENDÁRIO explícito (linhas de base x épocas) numa matriz de informação de Fisher, invertida e indicada como a covariância das coordenadas das estações e o sigma da estação por coordenada — um resultado calculado do motor, e não uma precisão escalar do atraso passada por um fator de equipartição isotrópico g = 3 assumido. O estado transporta coordenadas das estações FIXAS à Terra (ITRS), pelo que a jacobiana é a derivada parcial inercial rodada pela matriz GCRS->ITRS de cada época: a rotação da Terra é o que torna essas coordenadas observáveis, e o relatório MEDE a varredura da linha de vista fixa à Terra e a declinação da baliza em vez de as assumir. Uma observação é um par (linha de base, época) com AMBAS as estações acima da máscara de elevação, ponderado por 1/delay_sigma_s^2. Indica posto, defeito de datum, número de condição, o espetro de informação completo, a matriz de covariância, os sigmas por estação, por eixo e 3-D, e o espaço nulo da rede livre em cada execução; sob uma deficiência de posto, o sigma principal é publicado como NULL com um estado, nunca lido a partir de uma inversa quase singular. O valor de equipartição cdelay_sigma_ssqrt(g/N) para o MESMO calendário é emitido a par do valor calculado, com a razão, juntamente com o limite isotrópico do traço sqrt(p/trace(M)) que a desigualdade AM-HM torna um piso rígido — pelo que a razão é a anisotropia que o pressuposto descartou. O fecho do atraso tau_ik = tau_ij + tau_jk faz com que apenas n-1 das n(n-1)/2 linhas de base sejam geometricamente independentes; o relatório indica as duas contagens. MODELLED: as efemérides do centro da Lua, os relógios das estações, a troposfera e os parâmetros de orientação da Terra são mantidos FIXOS e as observações são tratadas como independentes, pelo que a covariância é um limite de Cramer-Rao para um conjunto reduzido de parâmetros, não um resultado de sessão previsto; o sigma do atraso, as coordenadas das estações e o calendário são entradas. A derivada parcial que a jacobiana do atraso geométrico deixa de fora (o termo de Shapiro diferenciado) é medida por diferença finita e emitida. Não é um produto geodésico.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED 3 · VALIDATED 2. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-vlbi-fim.

kshana scenarios/lunar-vlbi-fim.toml

lunar-joint-od-clock#

Estimador em lote multitécnica modelado de OD lunar + relógio, numa rede SIMULADA: um ajuste instantâneo de Gauss-Newton que funde atrasos VLBI geodésicos de linha de base terrestre, distâncias locais lunares estação↔satélite e distâncias entre satélites para recuperar, em conjunto, a posição 3-D de uma estação à superfície lunar, as posições de uma pequena constelação e o desvio de relógio de cada ativo a partir de uma verdade injetada. O resultado principal, apresentado com honestidade — o VLBI torna observável a posição 3-D completa da estação, onde a medição de distâncias apenas local lunar deixa uma direção fracamente observada — é indicado como o contraste do erro da estação com versus sem VLBI. Recuperação simulada em malha fechada MODELLED (a verdade partilha o modelo de observação), determinística (semente fixa), NÃO validada com dados reais; sem propagação de modelo de forças dentro do resolvedor; sem TRL, herança de voo nem aval de agências.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: nenhuma linha da matriz menciona este tipo; o motor etiqueta o seu próprio resultado. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-joint-od-clock.

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

lunar-frame-realisation#

Realização modelada do referencial lunar: um ajuste de datum de Helmert (semelhança) de 7 parâmetros — 3 de translação, 3 de rotação de ângulo pequeno, 1 de escala — que liga um conjunto estimado de coordenadas de pontos MCMF de origem selenográfica a um datum por mínimos quadrados ponderados (crate::batch_ls::gauss_newton), mais uma ligação de orientação simples que exprime a pequena rotação realizada em torno dos eixos do ICRF relativamente à orientação do corpo segundo o WGCCRE da IAU de 2015. O cenário injeta uma pequena transformação conhecida (translação de ~dezenas de m, rotação de ~µrad, escala de ~1e-7) numa rede sintética de pontos bem distribuída, acrescenta ruído gaussiano de semente fixa, recupera o datum e indica a transformação recuperada, o erro de recuperação por parâmetro face à verdade injetada e o resíduo RMS pós-ajuste. Autoconsistência MODELLED — recupera uma transformação de semelhança injetada (sem ruído até ~à precisão da máquina), NÃO uma realização face a dados reais de seguimento/VLBI; determinístico (semente fixa); sem TRL, herança de voo nem aval de agências.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: nenhuma linha da matriz menciona este tipo; o motor etiqueta o seu próprio resultado. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-frame-realisation.

kshana scenarios/lunar-frame-realisation.toml

lunar-frame-campaign#

Datum de referencial de sete parâmetros de Helmert (semelhança) conduzido por uma CAMPANHA DE OBSERVAÇÃO SIMULADA, e não por uma transformação injetada. Uma rede de estações terrestres observa um catálogo de balizas da superfície lunar segundo um calendário explícito; as derivadas parciais do atraso VLBI lunar são acumuladas ao longo desse calendário numa matriz de informação de Fisher das coordenadas das balizas, exatamente como o lunar-vlbi-fim; e essa informação é propagada através do projeto de Helmert A = [I3 | [p]_x | p] nos pontos do catálogo para a covariância do datum H = A^T M_b A, diagnosticada por crate::fim::crlb. NENHUMA transformação é injetada e nada é recuperado a partir de uma resposta plantada, pelo que a exatidão do datum indicada decorre do programa de observação: reduzir o sigma do atraso a metade reduz-no exatamente a metade, e alongar o arco melhora-a porque a libração que o relatório MEDE (sub_earth_direction_sweep_deg) é o que separa a coordenada da baliza ao longo da linha de vista das do plano do céu. Posto, defeito de datum, número de condição, o espetro completo, as direções inobserváveis NA BASE DE SETE PARÂMETROS, a direção mais fraca mesmo com posto completo e a parcela de cada parâmetro nela são emitidos em cada execução; um parâmetro que a campanha não restringe é publicado como NULL com um estado, nunca lido a partir de uma inversa quase singular. A correlação de erro das balizas é medida, não assumida: com as estações fixas nenhuma observação toca em duas balizas, pelo que a matriz de informação é exatamente diagonal por blocos (offblock_fraction 0), e com as estações estimadas o bloco marginalizado por Schur está acoplado, sendo a correlação induzida impressa e toda a propagação repetida com ela descartada, de modo que o preço de um pressuposto de independência é um número. A mesma propagação com um sigma isotrópico por coordenada, e o erro de recuperação que o cenário lunar-frame-realisation indica, são ambos executados aqui e impressos a par do valor da campanha, com as suas razões. MODELLED: o catálogo de balizas tem fonte, mas a CAMPANHA é simulada — a rede de estações e o sigma do atraso são entradas ilustrativas, as observações de atraso individuais são tratadas como independentes, e as efemérides do centro da Lua, os relógios das estações, a troposfera e os parâmetros de orientação da Terra são mantidos FIXOS, pelo que a covariância do datum é um limite de Cramer-Rao para um conjunto reduzido de parâmetros. Não é um produto geodésico.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED 2 · VALIDATED 3. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-frame-campaign.

kshana scenarios/lunar-frame-campaign.toml

lunar-llr-datum#

Datum de referencial lunar de Helmert de sete parâmetros conduzido por uma campanha de observação REAL e ARQUIVADA, e não por uma simulada. Onde o lunar-frame-campaign removeu a transformação injetada mas continuou a indicar a sua rede de estações, o seu calendário e o seu sigma por observação como entradas ILLUSTRATIVE, este tipo de cenário retira os três da medição: as épocas são os instantes de transmissão a partir do solo de pontos normais arquivados dos Consolidated Laser Ranging Data da ILRS, as observações são as distâncias laser efetivamente disparadas contra as cinco matrizes de retrorrefletores na Lua, e cada peso de observação é a PRÓPRIA precisão arquivada desse ponto normal, bin_rms/sqrt(n_raw), lida do ficheiro. As coordenadas das estações provêm da solução SLR ITRF2020 do IERS (propagadas para a época pelas suas velocidades publicadas) e as coordenadas dos refletores da Tabela 7 do JPL DE430, no referencial de Terra média/rotação média que o modelo WGCCRE da IAU de 2015 realiza. As derivadas parciais das distâncias acumulam-se na matriz de informação de Fisher conjunta das coordenadas dos refletores e propagam-se através do mesmo projeto de Helmert para a covariância do datum, diagnosticada por crate::fim::crlb. Posto, defeito, condição, espetro, direções inobserváveis na base de sete parâmetros, a direção mais fraca com posto completo e a parcela de cada parâmetro nela são emitidos em cada execução, e um parâmetro não restringido é publicado como NULL com um estado. A correlação entre matrizes é MEASURED como exatamente zero, em vez de assumida, porque uma distância laser toca numa só matriz. Um registo que os catálogos não conseguem situar — uma estação sem posição ITRF publicada — é IGNORADO E CONTADO, nunca recebendo uma coordenada substituta. QUAIS AS LIGAÇÕES MEASURED E QUAIS AS MODELLED É O RELATÓRIO, NÃO UMA NOTA DE RODAPÉ: as efemérides do centro da Lua e a orientação do corpo segundo a IAU continuam modeladas e a sua dimensão combinada é emitida como o resíduo da distância unidirecional observado menos calculado sobre todos os pontos utilizados; a troposfera, as marés do corpo sólido, a excentricidade da estação, o movimento polar, o UT1-UTC, o atraso relativista e os relógios das estações estão ausentes e incluídos nesse resíduo. Como um erro de efemérides só chega a uma covariância através da direção de cada linha de vista, cada execução volta também a resolver todo o datum com todas as derivadas parciais inclinadas de sensitivity_tilt_deg (com o sinal alternado) e emite a razão, pelo que a insensibilidade da covariância às efemérides modeladas é um número e não um argumento. Os valores da própria campanha simulada são EXECUTADOS e impressos a par dos medidos, não transcritos. MODELLED: os valores de sete parâmetros são um limite de Cramer-Rao para um conjunto reduzido de parâmetros num calendário real — não um datum resolvido, não uma análise LLR e não um produto geodésico. A fatia de dados reais registada é distribuída com o repositório, mas não com a crate publicada; aponte data_dir para uma cópia da mesma.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: VALIDATED. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-llr-datum.

kshana scenarios/lunar-llr-datum.toml

moonlight-service-volume#

Análise modelada do volume de serviço de navegação lunar a partir de uma constelação de órbita lunar da classe Moonlight/LCNS, ILLUSTRATIVE e de fontes públicas (sem afiliação à ESA): varre uma grelha selenográfica de latitude/longitude ao longo de um horizonte temporal e indica DOP / cobertura / disponibilidade (≥4 sats E PDOP < limiar) mais uma envolvente generalizada de níveis de proteção ARAIM lunares (HPL/VPL) sobre o volume. A geometria do DOP REAPROVEITA o núcleo VALIDATED face ao gnss_lib_py (crate::orbit::dop); o nível de proteção REAPROVEITA a maquinaria ARAIM lunar LNIS do LunaNet (crate::lunar, σ_URE≈30 m) e reduz-se ao nível de proteção existente do polo sul como caso particular. Composição MODELLED: um conjunto de retransmissores kepleriano circular/elíptico (não as efemérides LCNS/NRHO reais corrigidas diferencialmente), uma Lua de rotação média (sem libração nem polo em precessão). Determinístico (geometria pura). Sem aval de TRL, de herança de voo nem de agências.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: moonlight-service-volume.

kshana scenarios/moonlight-service-volume.toml

lunar-differential-pnt#

PNT DIFERENCIAL lunar modelado (um análogo lunar do DGNSS/SBAS): uma estação de referência da classe NovaMoon, numa localização selenográfica CONHECIDA, calcula correções diferenciais por satélite a partir de uma constelação ILLUSTRATIVE de classe Moonlight/LCNS, de fontes públicas (NovaMoon referida apenas como uma CLASSE de sistema, sem afiliação à ESA), e um utilizador afastado por baseline_km aplica-as, de modo que os erros de órbita e de relógio de MODO COMUM se cancelam. O termo do relógio cancela-se EXATAMENTE (uma identidade algébrica); do termo da órbita resta apenas a projeção da diferença de linha de vista, que → 0 quando a linha de base → 0 (o piso da decorrelação espacial) e cresce ≈ linearmente com a linha de base. Indica o erro de posição 3-D do utilizador COM versus SEM correções, o fator de redução, a curva do erro em função da linha de base e um nível de proteção do utilizador que REAPROVEITA a maquinaria SBAS da DO-229E (crate::sbas) com o resíduo diferencial σ. MODELLED — identidade de cancelamento exata + modelo de decorrelação de primeira ordem; não validado com dados reais; sem TRL, herança de voo nem aval de agências. Determinístico se tiver semente fixa.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: nenhuma linha da matriz menciona este tipo; o motor etiqueta o seu próprio resultado. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-differential-pnt.

kshana scenarios/lunar-differential-pnt.toml

lunar-station-coverage#

Cobertura modelada de uma estação de referência lunar: uma varredura de Monte Carlo do modelo de PNT diferencial lunar sobre uma grelha de utilizadores do polo sul e um dia de épocas. Uma estação de referência diferencial num local conhecido do polo sul corrige uma constelação indicada (kepleriana ilustrativa ou efemérides tabeladas) com um erro de sinal no espaço, um erro de levantamento, uma latência de correção e uma quantização da ligação indicados; por ponto e ao longo da região, indica o erro de posição percentil corrigido e não corrigido (3-D, horizontal, vertical), a disponibilidade, a cobertura face a um limiar indicado, os níveis de proteção da DO-229E, o raio de cobertura por azimute e o orçamento da ligação de correção na estação e no pior ponto. Não é uma afirmação sobre o desempenho de nenhum sistema real; sem afiliação nem aval de nenhuma agência. MODELLED.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-station-coverage.

kshana scenarios/lunar-station-coverage.toml

lunar-beacon#

Aumento de um serviço de navegação orbital lunar por balizas de superfície, como uma tabela executável de antes/depois. Um utilizador no polo sul vê um conjunto orbital esparso numa faixa estreita do céu, pelo que a geometria de medição de distâncias é mal condicionada; algumas BALIZAS DE SUPERFÍCIE TOPOGRAFADAS fornecem as linhas de linha de vista de baixa elevação e grande azimute que falta a um conjunto todo ele zenital, e a diluição horizontal da precisão desce abruptamente. O cenário indica três configurações numa época — só os satélites, os satélites mais as balizas visíveis, e uma constelação maior como via alternativa para a mesma geometria — cada uma com as suas contagens de fontes visíveis, o seu DOP completo e a exatidão realizada de 1 sigma em METROS, obtida multiplicando por um erro de distância equivalente do utilizador por baliza, montado como a soma quadrática dos termos de sincronização de relógio, multipercurso e levantamento. A visibilidade das balizas é o horizonte geométrico de duas alturas da Lua sem atmosfera (sem atmosfera, pelo que o limite é exato), e a montagem do DOP é o mesmo núcleo verificado face ao gnss_lib_py em tests/dop_reference.rs. PORQUE EXISTE ESTE TIPO DE CENÁRIO: o módulo subjacente existe no motor e foi verificado face a um percurso de DOP independente desde L08/L09, mas não era acessível a partir de uma execução — sem tipo de cenário, sem ramo de despacho, sem ficheiro incluído. O README anunciava a capacidade e a matriz de verificação não tinha NENHUMA linha para ela, pelo que era simultaneamente afirmada em prosa e não afirmada no registo, ao mesmo tempo que era inacessível no motor. As predefinições são a geometria que já tem uma referência de ouro registada (um utilizador a -80 graus com uma antena de 2 m, três balizas a -80/0, -79/+60 e -79/-60 a 2 km, um instantâneo ilustrativo de seis satélites LCNS em t=0, uma máscara de 5 graus), pelo que uma execução simples reproduz uma tabela que uma referência independente já cobre, em vez de inventar números novos. MODELLED: o projeto da constelação, a colocação das balizas e todas as magnitudes do orçamento de erro são entradas ilustrativas, não um levantamento no terreno nem uma ligação medida; apenas a aritmética do DOP, a forma fechada do horizonte e a relação sigma = DOP x sigma_URE estão ancoradas externamente. Não é um compromisso de desempenho do serviço.

Campos obrigatórios: nenhum. Opcionais: user, beacons, n_satellites, comparison_n_satellites, epoch_s, elevation_mask_deg, clock_sync_m, multipath_m, survey_m.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-beacon.

kshana scenarios/lunar-beacon.toml

lunar-interop-export#

Exportação de interoperabilidade lunar modelada: emite o referencial lunar, a escala de tempo lunar e as efemérides lunares em formas de intercâmbio alinhadas com LunaNet/IOAG e baseadas em CCSDS, com aderência à norma de ida e volta e dos campos. REAPROVEITA o emissor e analisador CCSDS OEM 2,0 da crate (crate::oem), reetiquetado para o contexto lunar — o REF_FRAME do OEM transporta o referencial do corpo lunar segundo o WGCCRE da IAU de 2015 (MOON_ME / MOON_PA), o TIME_SYSTEM a escala de tempo lunar (LTC / TCL / UTC), CENTER_NAME = MOON — sobre umas efemérides de amostra ilustrativas da classe LCNS (posições de crate::lunar_service, velocidade por diferença finita). Emite também um descritor de tempo lunar alinhado com LunaNet/IOAG (id da escala, taxa secular em µs/dia de crate::lunar_time, banda publicada, superfície de referência) que faz ida e volta via serde_json, e envolve os artefactos no envelope KIF existente (crate::interchange) com a etiqueta de honestidade MODELLED. Indica os artefactos emitidos, o número de linhas do OEM, a aderência dos campos à norma (resultado positivo) e a lista de campos presentes/em falta, a ida e volta do OEM correta, a ida e volta dos metadados de tempo correta e o tamanho em bytes do KIF. MODELLED — a referência independente é a ida e volta determinística e a aderência dos nomes de campos à norma face ao CCSDS OEM publicado e à semântica de campos do LunaNet/IOAG; NÃO é um ensaio certificado de aderência à norma de interoperabilidade; efemérides ilustrativas de fontes públicas, sem afiliação à ESA; sem TRL, herança de voo nem aval de agências.

Campos obrigatórios: nenhum. Opcionais: frame, time_system, n_states, epoch, step_min, object.

Registo: nenhuma linha da matriz menciona este tipo; o motor etiqueta o seu próprio resultado. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-interop-export.

kshana scenarios/lunar-interop-export.toml

cislunar-observability#

Observabilidade MODELLED de constelação cislunar planar (P6): segue uma constelação planar de DRO corrigida diferencialmente, com quatro espaçonaves e alcance intersatélites, e indica quanto do estado de quatro componentes [x,y,ẋ,ẏ] de uma espaçonave o arco torna observável. Emite (1) a tabela de característica contra comprimento de arco para um único enlace só de distância — de característica 1 instantânea, crescendo em direção ao estado completo de quatro componentes à medida que o arco se estende (P6 Tabela 1); (2) o espetro de autovalores do gramiano de observabilidade + o número de condição ao longo do arco; (3) a comparação de característica instantânea só de distância contra distância + taxa de distância (a alavanca de projeto do Doppler) mais o relato de GDOP singular só com distância / definido com distância + taxa; e (4) uma validação cruzada independente por SRIF cuja covariância a posteriori se torna finita / bem condicionada exatamente no arco em que a característica observável chega a quatro. Núcleo VALIDATED: a característica observável é um limiar de valor singular que revela a característica, verificado de forma cruzada contra o característica de autovalores do gramiano; o espetro de autovalores obedece aos invariantes espetrais (traço=Σλ, det=Πλ, Frobenius²=Σλ²); a STM variacional é a STM do CR3BP validada por diferenças finitas; as linhas do jacobiano de distância/taxa de distância são derivadas parciais analíticas validadas por diferenças finitas (verificadas de forma cruzada contra o observável de taxa de distância em 3-D do crate); as quatro condições iniciais são DROs planares corrigidas diferencialmente que fecham com um resíduo de periodicidade estreito e são retrógradas; a transição de característica é validada de forma cruzada contra o filtro de informação em raiz quadrada do crate (covariância a posteriori finita exatamente em característica completa, cond(P)=cond(OᵀO)); um instantâneo com deficiência de característica é sinalizado como GDOP indefinido (fim condition=inf), nunca como um valor finito espúrio — a mesma guarda de geometria singular que pvt::solve_spp aplica. MODELLED: o projeto da constelação (amplitudes e fases do perilúnio dos DROs) e a progressão específica de característica que ele produz. Não é um produto de desempenho de navegação certificado.

Campos obrigatórios: nenhum. Opcionais: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: cislunar-observability.

kshana scenarios/cislunar-observability.toml

cislunar-arc-recovery#

Teste MODELLED de estimador independente do limiar de observabilidade do comprimento de arco cislunar. Esse limiar é uma leitura de CARACTERÍSTICA sobre a matriz de observabilidade montada a partir das linhas ANALÍTICAS do jacobiano de distância e da matriz de transição de estado variacional ANALÍTICA, e a sua verificação cruzada por filtro de informação em raiz quadrada incorpora essas mesmas linhas — uma verificação de consistência entre duas máquinas numéricas, não uma corroboração. Este tipo de cenário fornece o árbitro que faltava: um estimador de mínimos quadrados em lote que de facto RECUPERA o estado inicial do chefe a partir de medidas simuladas, com as derivadas parciais da medida tomadas como DIFERENÇAS FINITAS CENTRAIS do modelo direto composto. Este não chama nenhuma linha de jacobiano analítico, nenhuma STM variacional, nenhuma decomposição em valores singulares ou autovalores, nenhuma tolerância de característica e nenhum filtro de informação em raiz quadrada — uma guarda de texto-fonte em tests/cislunar_arc_recovery_reference.rs torna isso verificável — enquanto a dinâmica (o mesmo fluxo RK4 do CR3BP), as condições iniciais (a mesma constelação corrigida diferencialmente), o observável escalar e a grelha de épocas são partilhados deliberadamente e nomeados no bloco independence emitido, porque duas análises de um mesmo problema físico precisam concordar quanto à física para serem comparáveis. Dois critérios, cada um varrido ao longo de cinco décadas do seu próprio limite: RECUPERAÇÃO SEM RUÍDO (o erro de estado final de cada tentativa com semente no máximo recovery_factor vezes o seu deslocamento a priori — o análogo da característica, sem nenhuma tolerância de valor singular) e ESTIMABILIDADE POR MONTE CARLO (o erro RMS de posição medido sobre um conjunto de ruído com semente abaixo de um limite declarado — o análogo da estimabilidade, medido e não previsto). Suporta o caso planar de quatro estados e o espacial de seis estados, as famílias DRO / halo L2 / NRHO L2, os observáveis de distância e de taxa de distância, e uma parametrização polar centrada na Lua em que a transformação é aplicada ao ESTADO e o modelo direto é rediferenciado ali. MEASURED na grelha planar de DRO publicada: o estimador recupera o caso de quatro estados a partir de 0,782609 h contra os 2,086957 h do critério de característica em rel_tol 1e-6 (razão 0,375) — o limiar de característica NÃO é corroborado como fronteira de recuperabilidade — enquanto a fronteira de estimabilidade medida cai na mesma célula da grelha que a formal, 5,739130 h, e a curva de erro medida reproduz o 1 sigma formal ao longo de 21 comprimentos de arco com uma razão de média geométrica de 0,98. MODELLED: o projeto da constelação, a grelha de épocas, o único enlace em seguimento, a magnitude do deslocamento, o sigma da medida e os dois limites declarados. Não é um produto de desempenho de navegação certificado.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: cislunar-arc-recovery.

kshana scenarios/cislunar-arc-recovery.toml

lunar-attack-surface#

Superfície de ataque à segurança dos sinais de navegação à superfície lunar (P1): compõe as análises abertas de segurança de sinais numa única execução acessível por binário. Indica (1) a potência recebida do AFS e o seu EXCEDENTE de potência face a uma referência GPS terrestre, bem como a banda de sensibilidade de 12-18 dB, como uma verdadeira varredura multieixo sobre as entradas da ligação (nível de referência x EIRP x distância oblíqua), com a reconciliação dos fatores lineares de 25x arredondado / 28x não arredondado. REVISTO (regra R4): isto indicava um DÉFICE de potência de 15,6 dB e um fator de 32x/36x até a referência GPS ser corrigida de -125 / -128.5 (que são os valores em dBm) para -155 / -158.5 dBW, os valores da ICD-GPS-200 que o módulo de jamming sempre usou. O sinal inverte-se: o sinal AFS lunar modelado é 14,4 dB MAIS FORTE do que o GPS L1 C/A terrestre, não mais fraco. A própria potência recebida não se alterou um único bit, e o fator linear é o antigo dividido por exatamente 1000, que é exatamente o desvio de 30 dB entre dBm e dBW; (2) a potência de transmissão exigida ao atacante para falsificar (J/S = 3 dB) e para negar (J/S = 30 dB) a cada distância de afastamento, o inverso da ligação J/S; (3) a pegada orbital de captura sob um diagrama de antena real de abertura uniforme (Airy [2 J1(x)/x]^2), uma calota sub-hemisférica limitada pela altitude cujo limbo NÃO é capturado; (4) um resultado calculado de atracão por captura de spoofing no laço de seguimento (um spoofer de código adaptado, com uma dada vantagem de potência e desvio de código, arrasta efetivamente o DLL/PLL?) em vez do limiar afirmado de 3 dB; (5) o alcance do horizonte geométrico de um corpo sem atmosfera para um transmissor de superfície elevado; e (6) o orçamento de autenticação OSNMA/TESLA (20 bit/s de sobrecarga = ~40 % de uma mensagem de navegação AFS de 50 bit/s, latência de divulgação de chaves, falsificação de 2^-40). Um corpo vazio reproduz a linha de base P1; todas as entradas têm valor predefinido e podem ser substituídas. Os subresultados VALIDATED trazem a referência independente do respetivo módulo de origem (radiometria em dB de forma fechada; ida e volta do J/S inverso; diagrama de Airy face a Bessel de A&S e à geometria da calota esférica; atracão DLL/PLL face a Kaplan & Hegarty; identidade do horizonte tangente esférico face a eo_payload; dimensionamento de campos do ICD de SIS do OSNMA). MODELLED: as magnitudes representativas de geometria/potência e os valores específicos das células do mapa de captura. Não é um produto de segurança certificado.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: nenhuma linha da matriz menciona este tipo; o motor etiqueta o seu próprio resultado. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-attack-surface.

kshana scenarios/lunar-attack-surface.toml

lunar-jamming#

Jamming de RF nativo lunar: razão jammer-sinal por satélite, C/N₀ efetivo e perda de bloqueio para um utilizador à superfície selenográfica sob um jammer na superfície lunar (ou elevado), sobre a constelação ilustrativa de fontes públicas de órbita lunar da classe Moonlight/LCNS. Compõe a física aberta de jamming existente (jamming::j_over_s_db, effective_cn0_dbhz, rx_antenna_gain_db, lock_status, q_factor) com a geometria do céu lunar existente (lunar_service::LunarConstellation + topocentric, lunar::selenographic_to_mcmf); não se rededuz nenhuma geometria nem radiometria. Ao contrário do tipo de cenário jamming terrestre, a componente do sinal NÃO é uma potência recebida fixa: a potência recebida isotrópica de cada satélite é o seu próprio orçamento de ligação EIRP − FSPL(distância oblíqua), pelo que o J/S varia de satélite para satélite com a distância e a elevação lunares. Indica UMA LINHA POR LIGAÇÃO (época, satélite) VISÍVEL — azimute, elevação, distância oblíqua, as duas potências recebidas de que o J/S é a diferença, o J/S, o C/N₀ nominal e efetivo e o estado de bloqueio — mais figuras de mérito agregadas a par dessa tabela (nunca em seu lugar), e a mesma tabela como artefacto CSV. Cada campo numérico emitido traz uma unidade e uma classe de proveniência. Os subresultados VALIDATED trazem a referência independente do respetivo módulo de origem (a equação antiinterferência e a ligação J/S de Kaplan & Hegarty §9,4, referenciadas externamente em tests/gnss_denied_jamming_resilience_reference.rs; a geometria lunar de lunar_service). A própria composição é verificada de forma cruzada face a um percurso independente de dois orçamentos de ligação (linkbudget::received_signal_power_dbw, uma expressão de perda no espaço livre diferente) até 1e-9 dB. MODELLED: a constelação ilustrativa, a EIRP / potência do jammer / ganhos de antena / temperatura de ruído representativos, e a ausência de sombreamento do terreno, multipercurso, dinâmica do AGC e anulação adaptativa. Não é um produto certificado de negação de serviço. Com um jammer configurado, o relatório traz também um CONTORNO DE NEGAÇÃO COM UMA BANDA DE INCERTEZA, em vez de um contorno lido a partir de um único escalar: a distribuição completa medida do C/N₀ do sinal pretendido sobre a tabela por satélite (n, mín., p05, p25, mediana, p75, p95, máx., média, desvio-padrão amostral e a própria assimetria da amostra), e o contorno avaliado em cada uma dessas estatísticas de ordem segundo AMBOS os critérios de negação que o motor reconhece — o incumbente de razão de potências (J/S = 30 dB, como em attack-surface e tracking-loop) e o de perda de bloqueio (C/N₀ efetivo a descer até tracking_threshold_dbhz, o critério que a própria coluna de estado deste relatório utiliza) — nos dois eixos do plano de negação (EIRP do jammer exigida à distância de afastamento do cenário, distância de afastamento de negação à EIRP do cenário). Os limites da banda SÃO contour(p05) e contour(p95), o mesmo mapa de forma fechada aplicado aos quantis da própria amostra: não um sigma ajustado à amostra e não mediana ± k·desvio-padrão, com o desvio-padrão emitido por continuidade e não utilizado por nada. Um quantil já igual ou inferior ao limiar de seguimento não tem J/S de negação finito e as suas colunas de perda de bloqueio são nulas, com um motivo contabilizado, nunca um raio truncado.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-jamming.

kshana scenarios/lunar-jamming.toml

earth-gnss-lunar#

Receção de GNSS da Terra à distância lunar, a camada de sinal fraco que o artigo sobre resiliência a conflitos nomeia e para a qual o motor não tinha modelo. Um satélite GNSS aponta a sua antena para a Terra; um recetor perto da Lua fica a cerca de quinze vezes o raio orbital de distância, de modo que três coisas pesam ao mesmo tempo. A Terra OCULTA O EIXO DE VISADA: a partir de 26 560 km ela subtende um semiângulo de 13,9 graus, de modo que qualquer raio dirigido à Lua deve deixar o transmissor com pelo menos esse afastamento do nadir, o que remove o pico do feixe antes de qualquer potência ser calculada. O que resta são A ORLA DO LÓBULO PRINCIPAL E OS LÓBULOS LATERAIS, o regime em que a carga útil LuGRE realmente operou em 2025. E a perda no espaço livre é de cerca de 208 dB em L1, aproximadamente 25 dB a mais do que um utilizador terrestre paga. O relatório emite uma linha por satélite (ângulo fora do eixo, ocultação pela Terra, distância, perda de percurso, ganho de transmissão nesse ângulo, potência recebida, densidade de portadora sobre ruído) e agrega apenas os enlaces que superam o limiar de seguimento. TAMBÉM INDICA O CONDICIONAMENTO, porque é isso que define esta camada: cada satélite visível está dentro de um cone de poucos graus de largura visto da Lua, de modo que as linhas de visada são quase paralelas, a diluição de precisão é enorme, e uma solução de GNSS da Terra à distância lunar é uma observação de grau de TEMPORIZAÇÃO muito mais do que de grau de posição. MODELLED, e o diagrama de transmissão é o motivo: o ganho em função do ângulo é uma abertura circular uniforme (Airy), enquanto uma antena GPS L1 real é um arranjo helicoidal de doze elementos com um lóbulo principal moldado e lóbulos laterais que não são de Airy. Existem diagramas medidos e eles não estão incluídos aqui, de modo que ordenações e ordens de grandeza são significativas, mas o dB de um único satélite não é. DELIBERADAMENTE AUSENTES, cada uma tornando o balanço otimista: nenhuma perda ionosférica ou troposférica nos raios rasantes ao limbo, nenhuma perda por polarização, apontamento ou implementação, e uma Terra esférica sem extensão refrativa. A posição da Lua é uma ENTRADA (distância mais direção inercial) em vez de uma consulta a efemérides, porque a grandeza sob teste é o enlace e a geometria do feixe. Elevar esta linha a validada exige um diagrama de transmissão medido e pontos normais do LuGRE; nenhum dos dois está no repositório e nenhum é inventado aqui.

Campos obrigatórios: nenhum. Opcionais: 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.

Registo: MODELLED. Página completa, com as entradas, os resultados, as evidências e as limitações: earth-gnss-lunar.

kshana scenarios/earth-gnss-lunar.toml

lunar-infrastructure#

Estudos MODELLED da órbita e da superfície da Lua como infraestrutura de navegação e geodésica, cinco estudos num único tipo de cenário selecionado por study: od-consistency (determinação de órbita a bordo com Earth-GNSS numa NRHO ou ELFO face à determinação de órbita radiométrica independente a partir do solo, avaliadas pelas suas próprias covariâncias sobre um Monte Carlo de semente fixa), carrier-phase (fase da portadora de dupla diferença conjunta superfície-orbitador e resolução de ambiguidades inteiras com LAMBDA), frame-coestimation (uma estação de superfície e orbitadores acrescentados à medição de distâncias de estações terrestres para o datum de referencial lunar de sete parâmetros), space-tie (GNSS, VLBI e telemetria laser numa única nave, precisão da ligação de referenciais face ao erro de ligação local) e geodesy-sensitivity (informação de Fisher dos números de Love lunares h2, k2, l2 e da libração física a partir de telemetria laser, seguimento de orbitadores, um gravímetro de superfície e um relógio de superfície). Um modelo restrito de três corpos com simplificações indicadas; a numérica é verificada face a programas independentes e nada é comparado com uma medição de uma grandeza lunar.

Campos obrigatórios: study. Opcionais: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal.

Registo: nenhuma linha da matriz menciona este tipo; o motor etiqueta o seu próprio resultado. Página completa, com as entradas, os resultados, as evidências e as limitações: lunar-infrastructure.

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

sem gráfico: o exemplo não escreve nenhum gráfico