Tradução automática, não revista por um falante nativo. O inglês é a referência.

CenáriosEditar no GitHubFonte: docs/SCENARIOS.md

Tipos de cenário

Os 92 tipos de cenário incorporados sobre os quais kshana::api::run_toml distribui, cada um com sua descrição de uma linha e seus campos TOML (Tom's Obvious, Minimal Language) obrigatórios / opcionais.

Este arquivo é gerado a partir de api::list_scenario_kinds() — a única fonte de verdade — por cargo run --bin gen_validation_artifacts; edite a fonte, não este arquivo. Todo binding (o pacote Python, a ferramenta list_scenario_kinds do servidor MCP (Model Context Protocol) e o playground WebAssembly (WASM)) expõe este mesmo catálogo, de modo que o que está listado aqui é exatamente o que toda superfície consegue executar. As descrições são concisas e nem sempre desdobram suas abreviações; todas estão explicadas por extenso em GLOSSARY.md.

Todo cenário, exceto clock, também deve definir kind = "<name>" no nível superior: um documento sem kind roda como clock, e é por isso que kind não é repetido nos campos obrigatórios de nenhum tipo de cenário abaixo. Uma entrada obrigatória pode nomear alternativas: | separa formas das quais ao menos uma deve estar presente, e + une campos que devem aparecer juntos, de modo que tle|orbit+epoch se lê "um tle, ou um orbit com um epoch".

# Tipo Descrição
1 clock Holdover do relógio em relação à especificação; conjunto Monte Carlo opcional (execuções > 1).
2 inertial Navegação inercial por estima em 1-DOF durante uma interrupção do GNSS.
3 orbit Disponibilidade GNSS + DOP a partir de uma constelação orbital (Walker / TLE / RINEX).
4 ephemeris Efemérides e traço no solo: propaga um satélite (TLE→SGP4 ou órbita analítica) e emite o seu estado TEME/GCRS (posição + velocidade), a posição ITRF/ECEF, latitude/longitude/altitude subsatélite WGS-84 e, a cada passo, azimute/elevação/distância da estação + taxa de variação da distância (Doppler). O satélite vem de um tle ou de uma orbit analítica com a sua epoch (um tle prevalece quando ambos são dados); com um tle, um epoch substitui a própria época do TLE como t = 0.
5 integrity RAIM instantâneo / de separação de soluções / ARAIM com HPL/VPL e um diagrama de Stanford.
6 lunar-integrity Passagem de nível de proteção ARAIM no polo sul lunar contra um conjunto representativo de retransmissores LunaNet. sigma_ure_m expõe a precisão de medição de distância do sinal no espaço (os níveis de proteção escalam linearmente com ela, de modo que varrê-la responde que precisão de medição de distância um limite de alerta exige). O padrão é o caso histórico do polo sul da classe LNIS.
7 lunar-time-offset Taxa relativística 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, informada com a faixa publicada de 56–59 µs/dia, mais o deslocamento acumulado ao longo de um horizonte.
8 lunar-vlbi Observável modelado de atraso de VLBI geodésico lunar: uma linha de base terrestre (duas estações em solo, GCRS) observa um sinal unidirecional de uma baliza da classe NovaMoon na superfície lunar. Emite o atraso de campo próximo por diferença de duas distâncias, a sua taxa e a correção de curvatura de frente de onda de campo próximo ao longo de uma passagem — verificado de forma cruzada contra o 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 caminho analítico padrão é MODELLED e traz as ressalvas de consistência de referencial, de movimento polar xp=yp=0 e de onda plana contra campo próximo. Definir planetary_kernel_path, earth_orientation_kernel_path e moon_orientation_kernel_path executa em vez disso o caminho por kernel (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 a 0,06 ps e 7.4e-9. Não validado contra dados reais de VLBI.
9 lunar-joint-od-clock Estimador em lote conjunto, multitécnica, de OD lunar + relógio, modelado, em uma 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 na superfície lunar, as posições de uma pequena constelação e o deslocamento de relógio de cada ativo a partir de uma verdade injetada. O resultado principal e honesto — o VLBI torna observável a posição 3-D completa da estação onde a medição de distância apenas local lunar deixa uma direção fracamente observada — é informado como o contraste de erro da estação com e sem VLBI. Recuperação simulada em malha fechada MODELLED (a verdade compartilha o modelo de observação), determinística (com semente), NÃO validada com dados reais; sem propagação de modelo de forças dentro do resolvedor; sem TRL, herança nem endosso de agência.
10 lunar-frame-realisation Realização modelada do referencial lunar: um ajuste de datum de Helmert (de similaridade) de 7 parâmetros — 3 de translação, 3 de rotação de ângulo pequeno, 1 de escala — que amarra um conjunto estimado de coordenadas de pontos MCMF derivadas de coordenadas selenográficas a um datum por mínimos quadrados ponderados (crate::batch_ls::gauss_newton), mais uma amarração de orientação simples que exprime a pequena rotação realizada em torno dos eixos ICRF em relação à orientação do corpo WGCCRE da IAU 2015. O cenário injeta uma pequena transformação conhecida (translação de ~dezenas de m, rotação de ~µrad, escala de ~1e-7) em uma rede sintética de pontos bem distribuída, acrescenta ruído gaussiano com semente, recupera o datum e informa a transformação recuperada, o erro de recuperação por parâmetro contra a verdade injetada e o resíduo RMS pós-ajuste. Autoconsistência MODELLED — recupera uma transformação de similaridade injetada (sem ruído, até cerca da precisão de máquina), NÃO uma realização contra dados reais de rastreamento/VLBI; determinístico (com semente); sem TRL, herança nem endosso de agência.
11 moonlight-service-volume Análise modelada de volume de serviço de navegação lunar a partir de uma constelação em órbita lunar da classe Moonlight/LCNS, ILLUSTRATIVE e de fonte pública (sem afiliação com a ESA): varre uma grade selenográfica de latitude/longitude sobre um horizonte de tempo e informa DOP / cobertura / disponibilidade (≥4 satélites E PDOP < limiar) mais um envelope generalizado de nível de proteção ARAIM lunar (HPL/VPL) sobre o volume. A geometria do DOP REAPROVEITA o núcleo VALIDATED do gnss_lib_py (crate::orbit::dop); o nível de proteção REAPROVEITA o mecanismo ARAIM lunar LNIS da LunaNet (crate::lunar, σ_URE≈30 m) e se reduz ao PL existente do polo sul como caso particular. Composição MODELLED: um conjunto de retransmissores kepleriano circular/elíptico (não as efemérides reais LCNS/NRHO corrigidas diferencialmente), uma Lua de rotação média (sem libração nem polo com precessão). Determinístico (geometria pura). Sem TRL, herança nem endosso de agência.
12 lunar-differential-pnt PNT DIFERENCIAL lunar modelado (um análogo lunar de DGNSS/SBAS): uma estação de referência da classe NovaMoon em um local selenográfico CONHECIDO calcula correções diferenciais por satélite a partir de uma constelação da classe Moonlight/LCNS, ILLUSTRATIVE e de fonte pública (NovaMoon citada apenas como uma CLASSE de sistema, sem afiliação com a ESA), e um usuário deslocado por baseline_km as aplica, de modo que os erros de órbita + relógio de MODO COMUM se cancelem. O termo de relógio se cancela EXATAMENTE (uma identidade algébrica); o termo de órbita deixa apenas a projeção da diferença de linha de visada, que → 0 quando a linha de base → 0 (o piso de descorrelação espacial) e cresce ≈ linearmente com a linha de base. Informa o erro de posição 3-D do usuário COM e SEM correções, o fator de redução, a curva de erro contra a linha de base e um nível de proteção do usuário que REAPROVEITA o mecanismo SBAS da DO-229E (crate::sbas) com o resíduo diferencial σ. MODELLED — identidade de cancelamento exato + modelo de descorrelação de primeira ordem; não validado com dados reais; sem TRL, herança nem endosso de agência. Determinístico se houver semente.
13 lunar-station-coverage Cobertura modelada da estação de referência lunar: uma varredura Monte Carlo do modelo de PNT diferencial lunar sobre uma grade de usuários no polo sul e um dia de épocas. Uma estação de referência diferencial em um local conhecido do polo sul corrige uma constelação declarada (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 de enlace declarados; por ponto e sobre a região, informa o erro de posição corrigido e não corrigido por percentil (3-D, horizontal, vertical), a disponibilidade, a cobertura contra um limiar declarado, os níveis de proteção da DO-229E, o raio de cobertura por azimute e o orçamento do enlace de correção na estação e no pior ponto. Não é uma declaração sobre o desempenho de nenhum sistema real; sem afiliação nem endosso de nenhuma agência. MODELLED.
14 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 baseadas em CCSDS e alinhadas com LunaNet/IOAG, com ida e volta e aderência à norma dos campos. REAPROVEITA o emissor+analisador CCSDS OEM 2,0 do crate (crate::oem), reetiquetado para o contexto lunar — o REF_FRAME do OEM leva o referencial do corpo lunar WGCCRE da IAU 2015 (MOON_ME / MOON_PA), o TIME_SYSTEM a escala de tempo lunar (LTC / TCL / UTC), CENTER_NAME = MOON — sobre uma efeméride de amostra ilustrativa da classe LCNS (posições de crate::lunar_service, velocidade por diferença finita). Também emite 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 artefatos no envelope KIF existente (crate::interchange) com o rótulo de honestidade MODELLED. Informa artefatos emitidos, contagem de linhas do OEM, êxito na aderência à norma dos campos + lista de campos presentes/ausentes, ida e volta do OEM ok, ida e volta dos metadados de tempo ok, e tamanho do KIF em bytes. MODELLED — ida e volta determinística + aderência à norma dos nomes de campo contra o CCSDS OEM publicado + a semântica de campos do LunaNet/IOAG é a referência independente; NÃO é um ensaio certificado de aderência à norma de interoperabilidade; efeméride ilustrativa de fonte pública, sem afiliação com a ESA; sem TRL, herança nem endosso de agência.
15 timetransfer Transferência bidirecional de tempo/frequência óptica versus RF.
16 quantum-anomaly-detect Detecção de falhas/anomalias MODELLED para sistemas PNT quânticos: um catálogo rotulado de falhas (salto de frequência/deriva/perda de sincronismo do relógio; salto de viés/perda de dados do sensor), uma AUC ROC da estatística de detecção (com um IC bootstrap a partir do eval_stats validado externamente) e uma falha mínima detectável a uma taxa fixa de falso alarme, com o monitor auxiliado por relógio quântico (menor ruído) detectando falhas menores — como TradeEvidence honesto + representatividade. Modelo gaussiano da estatística de detecção (AUC = Phi(mu/(sigma*sqrt2))); modela a classe, com parâmetros ilustrativos de fonte pública, sem TRL, voo nem certificação.
17 quantum-gnss-free-nav Navegação quântica sem GNSS, MODELLED: durante uma interrupção do GNSS, um orçamento inercial quântico (interferômetro de átomos frios) contra um INS clássico de grau de navegação — crescimento do erro de posição ao longo da deriva, holdover até um limiar de posição e a comparação quântico-versus-clássico como TradeEvidence honesto, com representatividade. Nota honesta de observabilidade: sem solução externa, o viés do acelerômetro é não observável, de modo que o erro cresce; o sensor quântico desacelera essa diferença, mas não a fecha. Parâmetros ilustrativos de dispositivo de fonte pública; modela a classe, sem TRL, voo nem certificação.
18 quantum-time-transfer Cadeia de temporização quântica confiável, MODELLED: um orçamento de transferência de tempo de ponta a ponta quântico (relógio de rede óptica + enlace de emaranhamento/fóton único) contra clássico (CSAC + RF de dois sentidos), um nível de proteção de temporização reaproveitado + uma figura de mérito de segurança contra ataque de atraso/repetição (1-P_md), uma probabilidade de detecção de anomalia de relógio + latência do CUSUM, e a comparação quântico-versus-clássico como TradeEvidence honesto, com um registro de representatividade + lacunas até o voo. Parâmetros ilustrativos de dispositivo/enlace de fonte pública; modela a classe, sem alegação de TRL, voo nem certificação.
19 hybrid Capstone de PNT híbrido: relógio + IMU + auxílio por transferência de tempo.
20 fusion PNT por fusão de sensores com filtro de Kalman conjunto sobre as mesmas entradas híbridas.
21 hybrid-ukf UKF GNSS/INS híbrido quântico+clássico com acoplamento forte e 17 estados (MODELLED): 15 estados de erro do INS + correção de viés do acelerômetro derivada de CAI + um relógio de 2 estados (fase+frequência) do motor de relógio de parâmetros q, conduzido pelo modelo de erro de CAI em faixa. A figura de mérito é a autoconsistência do filtro (NEES + brancura da inovação contra limites de χ²) — uma declaração de autoconsistência, NÃO uma garantia de exatidão no mundo real. Apenas simulação; sem TRL>3, sem herança de voo, sem validação externa.
22 gnss-ins EKF de estado de erro GNSS/INS com acoplamento fraco e forte.
23 gnss-sim Simulação de pseudodistância no domínio da medição (ionosfera de Klobuchar, troposfera de Saastamoinen/Niell) + RAIM.
24 jamming Jamming por balanço de enlace: J/S → C/N₀ efetivo → perda de sincronismo.
25 spoof Detector estocástico de spoofing de tempo (Neyman–Pearson / χ²₁) com P_fa/P_md de Monte Carlo.
26 spoof-detect Detector combinado de spoofing por RF/medições (consistência RAIM multi-SV + AGC + SQM, fundidos) contra um ataque parametrizado (vantagem de potência, alinhamento de fase da portadora, deslocamento de tempo/posição; estilo TEXBAT).
27 sweep Varredura 1-D de estudo de compromissos sobre um parâmetro do pacote de relógio.
28 sweep-nd Varredura genérica N-D sobre qualquer pacote por meio de chaves TOML pontuadas / caminhos de métricas JSON.
29 gravity-map Navegação por correspondência com mapa de gravidade sem GPS: um gravímetro de átomos frios recupera uma deriva constante do INS a partir da sequência de anomalias de gravidade pela qual voa.
30 terrain-nav Navegação referenciada ao terreno sem GPS (TERCOM/SITAN): um altímetro de radar/barométrico compara o perfil de elevação do solo com um DEM de estilo SRTM para recuperar a deriva do INS.
31 terrain-slam Navegação sequencial (recursiva) referenciada ao terreno sem GPS: um filtro de partículas executa o modelo de medição de correspondência de terreno época a época (SITAN como filtro em execução), de modo que uma deriva do INS variável no tempo é acompanhada ao longo da trajetória, enquanto o terrain-nav em lote só recupera um único deslocamento constante.
32 combined-altpnt Navegador combinado de gravidade + campo magnético + terreno sem GPS: três canais de campo escalares fundidos a cada ponto de passagem para uma correção de deriva mais precisa (CRLB menor) do que qualquer campo isolado.
33 pvt Posicionamento de ponto único com observações reais: resolve a posição de um receptor a partir de um arquivo de observação RINEX 3 e de um arquivo de navegação por difusão (pseudodistâncias de código, efemérides de difusão, ionosfera de Klobuchar, troposfera de Saastamoinen/Niell), opcionalmente validado contra uma coordenada levantada.
34 mars-pnt PNT de espaço profundo em Marte: uma constelação simulada de retransmissores MARCONI (retransmissores areoestacionários + inclinados que transmitem em sentido único + retransmitem em dois sentidos para uma estação de espaço profundo) navega um usuário de referência (transfer | lmo | surface) pelo estimador conjunto de fusão radiométrica de sentido único e dois sentidos. Informa geometria/visibilidade por época, RMS alcançado contra a verdade e a covariância formal (posição 1σ / 3σ) — uma figura de mérito simulada honesta, NÃO um nível de proteção certificado.
35 impairment-eval Bancada de avaliação de detecção de degradações de RF por aprendizado de máquina (13494): gerar um corpus SINTÉTICO rotulado e fundamentado em parâmetros (nominal/jamming/spoof de tempo/spoof de posição/multipercurso), pontuar um detector (energy|agc|sqm|parity|fused) com a estrutura de teste agnóstica ao detector, e informar AUC/ROC/confusão + Pd por classe em um Pfa-alvo, além da lacuna de otimismo dentro versus fora da distribuição. Apenas características operacionais MODELLED — nunca dados de campo/IQ, sem veredito bom/ruim.
36 quantum-trade Comparação PNT quântico-versus-clássico (13503): benefício de holdover de temporização + holdover inercial de um relógio candidato (uma curva de ADEV medida — o ponto central da defensabilidade — ou uma classe de relógio quântico) contra uma classe clássica de linha de base, com a ressalva da hipótese de piso de tau longo carregada no artefato, mais um envelope de resiliência contra o tempo sem GNSS. MODELLED; quantifica (nunca valida) um dispositivo do parceiro. O relógio candidato é uma curva medida (candidate_adev_taus + candidate_adev_values, de igual comprimento, com pelo menos 2 pontos; ela prevalece quando as duas formas são dadas) ou uma candidate_clock_class.
37 space-weather Modelo de ambiente de clima espacial: índices de atividade solar (F10.7/F10.7a) e geomagnética (Kp, com a tabela definicional Kp↔ap), a temperatura exosférica de Jacchia-1971 que eles governam (validada contra mínimo/média/máximo solares publicados), e a densidade neutra termosférica de Jacchia-1971 na temperatura exosférica média diurna contra o perfil estático sem atividade em um conjunto de altitudes — a dependência da densidade em relação ao ciclo solar que a atmosfera estática omite. MODELLED: a densidade concorda com densidades derivadas de acelerômetro (TOLEOS CHAMP e GRACE) dentro de um fator 2 no máximo solar, mas é cerca de 1.7x densa demais no mínimo solar de 2008.
38 oem-interop Ponte de interoperabilidade CCSDS OEM: importa uma Orbit Ephemeris Message produzida por uma ferramenta externa de dinâmica de voo (GMAT/Orekit/STK emitem OEM) e informa os seus segmentos/objetos/referenciais/intervalo de épocas, além de uma verificação de consistência de velocidade; sem entrada, faz a ida e volta de uma órbita de referência gerada e informa a fidelidade entre importação e exportação. Verificação de ingestão estrutural/física MODELLED, NÃO uma validação da exatidão orbital da fonte.
39 launch-window Geometria de lançamento e ascensão de dois corpos: azimute(s) de lançamento (sin Az = cos i / cos lat), inclinação mínima alcançável, velocidade circular, o bônus para leste da rotação da Terra, Δv de mudança de plano em dogleg quando a inclinação-alvo está abaixo da latitude do local, e o número de oportunidades diárias de lançamento. Geometria de Terra esférica MODELLED (sem correção do triângulo de velocidades da Terra em rotação, sem modelo de ascensão/perda por arrasto).
40 reentry Corredor balístico de reentrada de Allen-Eggers: desaceleração máxima (independente do coeficiente balístico, V_e^2 sin|γ|/(2eH)), a velocidade e a altitude no pico de g e a velocidade de aquecimento máximo, para uma velocidade de entrada, ângulo da trajetória e coeficiente balístico em uma atmosfera exponencial, além de uma integração planar de massa pontual da mesma entrada balística com gravidade, curvatura da Terra e a Atmosfera Padrão dos EUA 1976 (desaceleração máxima, velocidade, altitude e tempo no pico). Entrada balística (sem sustentação) MODELLED; a saída de aquecimento é a VELOCIDADE de aquecimento máximo, não um fluxo de calor (sem modelo aerotérmico/TPS).
41 eo-coverage Pegada da carga útil de observação da Terra e geometria de cobertura (triângulo espacial do SMAD): raio angular da Terra, largura da faixa imageada, distância de amostragem no solo no nadir, acesso máximo fora do nadir, período circular, período nodal com J2 e espaçamento equatorial do traço no solo com um indicador de cobertura contígua, para uma altitude orbital, uma inclinação (heliossíncrona por padrão) e um FOV/IFOV do sensor. Geometria de Terra esférica MODELLED (sem radiometria/MTF/atmosfera/jitter/reflexo solar); espaçamento de nós R_e·(ω − Ω̇)·T_nodal com taxas seculares de J2 de primeira ordem.
42 space-packet Enquadramento do CCSDS 133.0-B Space Packet Protocol: codifica um fluxo sintético de pacotes TM/TC (cabeçalho primário de 6 octetos + campo de dados) e informa a decodificação do cabeçalho por pacote, o total de octetos e um ciclo exato de codificação↔decodificação. Enquadramento determinístico de layout de bits exato — a camada de interoperabilidade do formato de pacotes das agências; NÃO é uma certificação de aderência à norma (sem lógica de cabeçalho secundário/CRC/segmentação além dos flags).
43 attitude-budget Orçamento de erro de atitude e apontamento em 3 graus de liberdade: o torque perturbador de gradiente de gravidade de pior caso ((3/2)(μ/R³)ΔI) e um orçamento de erro de apontamento por raiz da soma dos quadrados sobre contribuintes nomeados de 1σ (ruído de sensor, jitter da roda de reação, térmico, alinhamento), com o termo dominante, para uma altitude orbital + dispersão de inércia do corpo. Orçamento escalar de AOCS MODELLED — um complemento pré-hardware ao Basilisk/42, não uma simulação de malha de controle / 6 graus de liberdade / modos flexíveis.
44 passes Predição de passagens por estação em solo: as passagens de visibilidade no domínio do tempo (AOS/TCA/LOS, elevação aparente máxima, duração) de uma órbita circular, como elementos médios SGP4 no início da janela, sobre uma estação acima de uma máscara de elevação ao longo de uma janela, com o tempo total de acesso. Propagação SGP4/SDP4 no referencial fixo na Terra IAU 2006/2000A (UT1 - UTC e movimento polar opcionais), refração troposférica ITU-R P.834-9 e o tempo de luz do enlace de descida (ambos ligados por padrão), cruzamentos resolvidos a 1e-7 s e a culminação por busca de seção áurea. A geometria da passagem é VALIDATED contra o Orekit 13.1.8 em estações ao nível do mar; a órbita e a estação do cenário são entradas ilustrativas.
45 link-budget Orçamento de enlace unidirecional sobre a equação de enlace CCSDS 401 / DSN 810-005: perda de percurso no espaço livre, C/N₀, Eb/N₀, margem e fechamento para um EIRP de transmissão, G/T de recepção, distância, taxa de dados e banda (s|x|ka) em relação a um Eb/N₀ exigido. Um cálculo de engenharia determinístico a partir das entradas fornecidas (não é uma folha de dados calibrada de terminal).
46 lunar-time-budget Orçamento de erro de tempo de ponta a ponta do Tempo Lunar Coordenado (LTC), MODELLED: os sete termos de erro do LTC montados como curvas de erro de tempo x_i(τ) sobre toda uma grade de tempos de média, somados em raiz em x_Σ(τ), e o τ de CRUZAMENTO relógio-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 artefato de um único τ. As inclinações em τ são de forma fechada e verificáveis analiticamente (relógio τ^{+1/2}/τ^{+1}, pisos τ^0, medição τ^{-1/2}) e as linhas de relógio reproduzem as especificações publicadas de relógio de um dia (crate::clock_specs); as MAGNITUDES dos pisos do enlace de RF/óptico, da realização do referencial, do resíduo relativístico e das efemérides são alocações modeladas do orçamento (valores padrão documentados, substituíveis por quem chama), não medições. A contribuição é o τ de cruzamento reproduzível, não um número certificado por termo; não certificado para a manutenção operacional da hora.
47 lunar-ascent Ascensão propulsada MODELLED de um local de superfície polar sul até a ó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, viés do acelerômetro, inclinação de atitude, viés 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 em um intervalo declarado, com o tempo lunar entrando pelo relógio do veículo e um erro de marcação de tempo ao longo da trajetória. Informa 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.
48 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) informa 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 seçã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 trecho de 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 em uma 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.
49 lunar-descent Orçamento de dispersão de pouso MODELLED para uma descida propulsada a um local polar sul (classe Artemis). Por eixo horizontal, um modelo de erro inercial de cinco estados (posição, velocidade, viés do acelerômetro, inclinação de atitude, viés do giroscópio) é conduzido pela força específica da descida; um filtro sequencial recebe soluções de posição dos auxílios habilitados: 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 deslocamento LTC-TT de lunar-time-offset, ou a incerteza de sua faixa publicada) e como um erro de marcação de tempo ao longo da trajetória. Informa a elipse de pouso 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 guiagem 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.
50 lunar-orbit-rendezvous Navegação relativa MODELLED para uma acoplagem no estilo Orion-módulo de pouso em uma órbita lunar baixa ou em uma órbita polar elíptica (classe Artemis). Um veículo perseguidor e um alvo voam a 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 viéses 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 se cancelando 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 rastreamento de código do piloto AFS da LunaNet. Informa 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 em relação 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 se aplica ao caso circular. MODELLED: conjunto de relés, orçamento de erro e priores ilustrativos; a referência e o estimador compartilham 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.
51 hybrid-optical-rf Figura de mérito conjunta de PNT óptico + RF heterogêneo MODELLED (P5): compõe o balanço de enlace óptico bidirecional de 1550 nm (CRLB de medição de distância bidirecional limitada por fótons σ_τ/√N e pegada de difração λ/D·distância), um nível de proteção RAIM de separação de soluções entre modalidades (posição E temporização) que funde as soluções de RF frouxa e óptica estreita com covariâncias díspares, a disponibilidade de céu claro óptica de N estações (união independente 1−Π(1−a_i) e uma variante espacialmente correlacionada), uma transferência de estado/covariância óptico↔RF com uma média COMPROVADAMENTE contínua bit a bit (sem salto) e uma barreira de consistência NEES χ², e uma pontuação conjunta de P(disponível E de grau de precisão E com integridade assegurada) com tratamento de correlação. Forma fechada VALIDATED: o CRLB de medição de distância, a pegada de difração, o quantil de nível de proteção χ², a combinatória da união, a continuidade da média da transferência + a barreira NEES e o produto independente conjunto. MODELLED: as alocações de perda óptica, as magnitudes de σ de RF/óptico, as entradas de climatologia de nuvens, as correlações e o orçamento de P_HMI. Não é um produto de disponibilidade/integridade certificado.
52 cislunar-observability Observabilidade MODELLED de constelação cislunar planar (P6): rastreia uma constelação planar de DRO corrigida diferencialmente, com quatro espaçonaves e alcance intersatélites, e informa quanto do estado de quatro componentes [x,y,ẋ,ẏ] de uma espaçonave o arco torna observável. Emite (1) a tabela de posto contra comprimento de arco para um único enlace só de distância — de posto 1 instantâneo, crescendo em direção ao estado completo de quatro componentes à medida que o arco se estende (P6 Tabela 1); (2) o espectro de autovalores do gramiano de observabilidade + o número de condição ao longo do arco; (3) a comparação de posto instantâneo 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 o posto observável chega a quatro. Núcleo VALIDATED: o posto observável é um limiar de valor singular revelador de posto, verificado de forma cruzada contra o posto de autovalores do gramiano; o espectro de autovalores obedece aos invariantes espectrais (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 posto é validada de forma cruzada contra o filtro de informação em raiz quadrada do crate (covariância a posteriori finita exatamente em posto completo, cond(P)=cond(OᵀO)); um instantâneo com deficiência de posto é 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 posto que ele produz. Não é um produto de desempenho de navegação certificado.
53 conflict-resilience Resiliência a conflitos MODELLED de PNT em camadas (P7): um usuário em ambiente contestado dispõe de várias camadas de PNT (GNSS de serviço aberto, GNSS de banda larga, uma constelação autenticada, um relé de aumentação), cada uma com uma disponibilidade-base, uma exatidão de 1σ e uma vulnerabilidade de negação por vetor à ameaça compartilhada de jamming/spoofing. Um Monte Carlo COM SEMENTE, varrido em intensidade, nega cada camada com probabilidade clamp(vulnerabilidade·intensidade·peso_do_vetor,0.1), funde as sobreviventes pela regra de forma fechada de variância inversa σ_fused=(Σ 1/σ_i²)^(−1/2), e informa a probabilidade de perda total (todas as camadas negadas), o erro fundido mediano e estatísticas de utilizável/negada por camada em função da intensidade. A razão de resiliência principal (probabilidade de perda total de camada única contra em camadas) chega a cerca de 7x sob a hipótese de INDEPENDÊNCIA; uma varredura de negação correlacionada por cópula gaussiana de um fator mostra então esse ~7x colapsando em direção a 1 à medida que a correlação da negação aumenta (a correlação derrota a estratificação em camadas). Um bloco de sensibilidade a priors varia o valor principal sobre os priors de vulnerabilidade COM FONTE por meio do tornado mcda + uma realocação de esforço de ameaça de Dirichlet + ICs por percentis. Núcleo VALIDATED: a perda total por Monte Carlo converge para o produto independente de forma fechada Π_i p_deny_i (dentro do erro-padrão do MC com semente fixa e N grande); a fusão por variância inversa é uma identidade de forma fechada; em ρ=0 a cópula se reduz ao modelo independente e todo ρ preserva a taxa de negação marginal de cada camada. MODELLED: as magnitudes de vulnerabilidade/disponibilidade/exatidão por camada são entradas com fonte, porém modeladas (JammerTest 2024, TEXBAT, EASA SIB, RTCA DO-229, LunaNet/IOAG — ver conflict_threat_params), e a magnitude específica de ~7x e a forma da curva razão-versus-correlação decorrem dessa parametrização. Um detalhamento de sobrevivência por vetor, na seção § 4,2, resolve então a ameaça de RF compartilhada nos quatro vetores nomeados (jamming/spoofing/cinético/cibernético) e informa a curva de degradação gradual de PNT utilizável de cada vetor S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibilidade_i,v·x,0.1))) — VALIDATED: o Monte Carlo por camada com semente converge para essa forma fechada; o jamming é o vetor mais severo para a linha de base de RF correlacionada e a camada inercial, imune a RF, é a sobrevivente decisiva. Não é um produto de disponibilidade de navegação certificado.
54 lunar-attack-surface Superfície de ataque à segurança de sinais da navegação na superfície lunar (P1): compõe as análises abertas de segurança de sinais em uma única execução alcançável pelo binário. Informa (1) a potência recebida do AFS e o seu EXCEDENTE de potência em relação a uma referência GPS terrestre, além da faixa de sensibilidade de 12-18 dB como uma varredura genuína em vários eixos sobre as entradas do enlace (nível de referência x EIRP x distância oblíqua), com a reconciliação do fator linear de 25x arredondado / 28x não arredondado. REVISADO (regra R4): isto informava um DÉFICIT de potência de 15,6 dB e um fator de 32x/36x até que a referência GPS fosse corrigida de -125 / -128.5 (que são os valores em dBm) para -155 / -158.5 dBW, os valores do ICD-GPS-200 que o módulo de interferência sempre carregou. O sinal se inverte: o sinal lunar AFS 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 mudou nem um bit, e o fator linear é o antigo dividido por exatamente 1000, que é exatamente o deslocamento de 30 dB entre dBm e dBW; (2) a potência de transmissão exigida do atacante para falsificar (J/S = 3 dB) e para negar (J/S = 30 dB) em cada distância de afastamento, o inverso do enlace J/S; (3) a área de captura orbital sob um diagrama real de antena 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 entrada em captura de falsificação na malha de rastreamento (um falsificador de código casado, com dada vantagem de potência e dado deslocamento de código, realmente arrasta a DLL/PLL) em vez do limiar afirmado de 3 dB; (5) o alcance do horizonte geométrico de um transmissor elevado na superfície de um corpo sem atmosfera; 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 chave, falsificação de 2^-40). Um corpo vazio reproduz a linha de base P1; toda entrada tem valor padrão e pode ser substituída. Os subresultados VALIDATED carregam a referência independente do seu módulo de origem (radiometria em dB de forma fechada; ida e volta do J/S inverso; diagrama de Airy contra Bessel de A&S e geometria de calota esférica; entrada em captura de DLL/PLL contra Kaplan & Hegarty; identidade de horizonte tangente esférico contra eo_payload; dimensionamento dos campos do SIS-ICD do OSNMA). MODELLED: as magnitudes representativas de geometria e potência e os valores específicos das células do mapa de captura. Não é um produto de segurança certificado.
55 realtime-frame-eop Orçamento de predição de referencial lunar / orientação da Terra em tempo real: Tabela 1 do P4 (a verificação de consistência do erro de referencial — pós-processado ~0,27 m ↔ ~0,010 ms e tempo real ~15 m ↔ ~0,5 ms, cada posição de referencial expressa como o seu erro equivalente de UT1 pelo braço de alavanca L19 Δr = D_EM·ω⊕·ΔUT1) e Tabela 2 (erro medido de predição de UT1 contra o horizonte — a curva L18 lida diretamente da série real finals2000A do IERS: o piso final Bulletin A − Bulletin B e o erro do preditor de persistência de vários dias, cada um mapeado para uma posição no referencial lunar por L19), mais o orçamento L21 de erro de referencial em tempo real pela raiz da soma dos quadrados (EOP + efemérides + piso de realização). Forma fechada VALIDATED (o braço de alavanca L19, ω⊕ verificado de forma cruzada contra o ângulo de rotação da Terra CIO) e dados reais VALIDATED (a curva L18 a partir das linhas reais de finals2000A); são MODELLED as magnitudes de covariância de OD do retransmissor lunar e o piso de realização do referencial (alocações representativas) e o preditor de persistência (não o algoritmo operacional do Bulletin A do IERS). Não é um produto certificado de referencial em tempo real.
56 aperture-duty-cycle Ciclo de trabalho de abertura: a divisão de tempo entre navegação e comunicações que um plano de contatos implica para um conjunto de aberturas direcionáveis. Recebe um plano de contatos (uma lista de janelas [[contacts]] aos_s/los_s, cada uma pedindo navegação ou comunicações — o mesmo vocabulário aos_s/los_s que o preditor passes emite), uma contagem de aberturas e uma POLÍTICA DE ARBITRAGEM (prioridade de navegação por padrão, ou prioridade de comunicações, ou primeiro a chegar, primeiro a ser atendido sem preempção), e informa o ciclo de trabalho de navegação, o ciclo de trabalho de comunicações, o ciclo de trabalho ocioso e a indisponibilidade por sessão — o tempo de contato que uma sessão pediu e nenhuma abertura atendeu. Uma varredura exata de intervalos sobre as fronteiras das janelas, de modo que janelas que se tocam nunca disputam e nenhum segundo de abertura é contado em dobro; os segundos de abertura de navegação, de comunicações e ociosos são acumulados de forma independente e fecham contra aberturas*horizon_s. O relatório declara a política resolvida, a sua definição completa e as definições de ciclo de trabalho e de indisponibilidade, porque um valor de ciclo de trabalho citado sem a sua política de arbitragem não é reproduzível. Aritmética de agendamento MODELLED: nenhum tempo de manobra / resintonização / troca é cobrado quando uma abertura muda de serviço ou de sessão, nenhum volume de dados, estado de buffer, orçamento de energia ou fechamento de enlace entra na decisão, e as janelas de contato são entradas — a sua geometria é aquela que as produziu. Não é um produto de agendamento de segmento terrestre.
57 lunar-jamming Interferência de RF nativa lunar: razão interferidor-sinal por satélite, C/N₀ efetivo e perda de sincronismo para um usuário na superfície selenográfica sob um interferidor na superfície lunar (ou elevado), sobre a constelação em órbita lunar ilustrativa, de fonte pública, da classe Moonlight/LCNS. Compõe a física aberta de interferência 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); nenhuma geometria nem radiometria é rededuzida. Diferentemente do tipo de cenário jamming da Terra, o trecho 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 enlace EIRP − FSPL(distância oblíqua), de modo que o J/S varia de satélite para satélite com a distância e a elevação lunares. Informa UMA LINHA POR ENLACE (época, satélite) VISÍVEL — azimute, elevação, distância oblíqua, as duas potências recebidas cuja diferença é o J/S, o J/S, o C/N₀ nominal e efetivo e o estado de sincronismo — mais valores agregados de mérito ao lado da (nunca no lugar da) tabela, e a mesma tabela como artefato CSV. Todo campo numérico emitido traz uma unidade e uma classe de proveniência. Os subresultados VALIDATED carregam a referência independente do seu módulo de origem (a equação antiinterferência e o enlace J/S de Kaplan & Hegarty §9,4, referenciados externamente em tests/gnss_denied_jamming_resilience_reference.rs; a geometria lunar de lunar_service). A própria composição é verificada de forma cruzada contra um caminho independente de dois orçamentos de enlace (linkbudget::received_signal_power_dbw, uma expressão diferente de perda no espaço livre) até 1e-9 dB. MODELLED: a constelação ilustrativa, o EIRP / a potência do interferidor / os ganhos de antena / a temperatura de ruído representativos, e a ausência de sombreamento do terreno, de multipercurso, de dinâmica de AGC e de anulação adaptativa. Não é um produto certificado de negação de serviço. Com um interferidor configurado, o relatório traz também um CONTORNO DE NEGAÇÃO COM UMA FAIXA DE INCERTEZA, em vez de um contorno lido a partir de um único escalar: a distribuição completa medida do C/N₀ do sinal desejado sobre a tabela por satélite (n, mínimo, p05, p25, mediana, p75, p95, máximo, média, desvio-padrão amostral e a assimetria da própria amostra), e o contorno avaliado em cada uma dessas estatísticas de ordem sob AMBOS os critérios de negação que o motor reconhece — o vigente, de razão de potência (J/S = 30 dB, como em attack-surface e tracking-loop) e o de perda de sincronismo (C/N₀ efetivo caindo até tracking_threshold_dbhz, o critério que a própria coluna de estado deste relatório usa) — nos dois eixos do plano de negação (EIRP do interferidor exigido no afastamento do cenário, afastamento de negação no EIRP do cenário). Os extremos da faixa SÃO contour(p05) e contour(p95), o mesmo mapa de forma fechada aplicado aos próprios quantis da amostra: não um sigma ajustado à amostra e não a mediana ± k·desvio-padrão, com o desvio-padrão emitido por continuidade e usado por nada. Um quantil já igual ou abaixo do limiar de rastreamento não tem J/S finito de negação e as suas colunas de perda de sincronismo são nulas com um motivo contado, nunca um raio truncado.
58 ins-trn-coast Modelo de erro de INS/TRN em inércia: erro de posição em função da duração da inércia, construído a partir de coeficientes da IMU em vez de varrido como uma taxa de deriva presumida. Cinco contribuições de crescimento — viés do acelerômetro, inclinação por viés do giroscópio através da gravidade, passeio aleatório de velocidade, passeio aleatório de ângulo e fator de escala em função da distância percorrida — cada uma propagada por um modelo de erro inercial de nove estados em nível local com realimentação de Schuler a uma latitude e altura declaradas (as leis de ordem dominante para inércia curta t², t³, t^1,5, t^2,5 e t¹/t² são informadas ao lado) e combinadas sob uma regra DECLARADA (raiz da soma dos quadrados por padrão, ou soma linear, ou soma determinística com rss estocástico; as três são calculadas em toda execução, de modo que a escolha fica visível em vez de enterrada). As durações de inércia que atingem limiares de posição fornecidos pelo chamador (10 m e 50 m por padrão) são localizadas pela bisseção já existente no motor, cada uma com um detalhamento por contribuição que nomeia a fonte dominante, e o cruzamento de cada contribuição isolada é, além disso, invertido algebricamente para que os dois coincidam. Um modo de navegação relativa ao terreno limita a inércia com correções de posição periódicas e informa o maior intervalo entre correções que mantém cada limiar; uma correção apenas de posição deixa o erro de velocidade e a inclinação vivos através da correção, de modo que nem sempre limita a inércia, seja qual for a taxa de correções, e o relatório diz isso em vez de devolver um zero. MODELLED: os coeficientes de classe da IMU são valores representativos de faixa, não de uma folha de dados, e o resíduo da correção de terreno é uma entrada. Um limiar não alcançado é informado como nulo com um status, nunca como zero. Não é um produto de desempenho de navegação inercial certificado.
59 lunar-vlbi-fim Covariância das coordenadas das estações do VLBI lunar: as derivadas parciais do atraso do observável lunar-vlbi acumuladas ao longo de um CRONOGRAMA explícito (linhas de base x épocas) em uma matriz de informação de Fisher, invertida, e informada como a covariância das coordenadas das estações e o sigma de cada coordenada de cada estação — uma saída calculada do motor, em vez de uma precisão escalar de atraso empurrada por um fator de equipartição isotrópico presumido g = 3. O estado traz coordenadas de estação FIXAS na Terra (ITRS), de modo que o jacobiano é a derivada parcial inercial girada 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 visada fixa na Terra e a declinação da baliza em vez de presumi-las. Uma observação é um par (linha de base, época) com AMBAS as estações acima da máscara de elevação, ponderada por 1/delay_sigma_s^2. Informa posto, defeito de datum, número de condição, o espectro completo de informação, a matriz de covariância, os sigmas por estação, por eixo e 3-D, e o espaço nulo da rede livre em toda execução; sob uma deficiência de posto, o sigma principal é publicado como NULL com um status, nunca lido de uma inversa quase singular. O valor de equipartição cdelay_sigma_ssqrt(g/N) para o MESMO cronograma é emitido ao lado do valor calculado com a razão, junto com o limite isotrópico do traço sqrt(p/trace(M)) que a desigualdade AM-HM torna um piso rígido — de modo que a razão é a anisotropia que a hipótese descartou. O fechamento de atraso tau_ik = tau_ij + tau_jk torna geometricamente independentes apenas n-1 das n(n-1)/2 linhas de base; o relatório declara 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, de modo que a covariância é um limite de Cramer-Rao para um conjunto reduzido de parâmetros, não um resultado previsto de sessão; o sigma do atraso, as coordenadas das estações e o cronograma são entradas. A derivada parcial que o jacobiano 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.
60 tracking-loop Perda de travamento do loop de rastreamento: C/N0 -> travado/destravado COM HISTERESE, o tempo para perder o travamento e o pull-in de spoofing em função da TAXA de deslocamento de código e de portadora. Os critérios existentes do mecanismo de negação e de captura são razões sobre a potência recebida (um jammer nega a J/S = 30 dB, um spoofer captura a 3 dB); a perda de travamento real não é uma razão de potência, é onde o jitter de um loop mais o estresse dinâmico excedem o seu orçamento de limiar de rastreamento. Informa (1) o jitter térmico de 1 sigma de portadora (Costas) e de código (early/late não coerente) em função de C/N0, com a perda por elevação ao quadrado incluída, contra as regras declaradas 3sigma_PLL + theta_e <= 45 deg (a regra dos 15 graus na forma de três sigmas) e 3sigma_DLL + atraso de rampa <= d/2 chips; (2) os limiares de C/N0 de queda e de retravamento com o loop determinante indicado, o limiar de retravamento DERIVED da largura de banda maior em que um receptor refaz o pull-in em vez de afirmado, de modo que a largura da histerese deve ficar entre 5log10(razão) e 10log10(razão) dB; (3) o tempo declarado para perder o travamento a partir de um detector de travamento de dois limiares com permanências de confirmação, conduzido ao longo de uma rampa de C/N0, informado separadamente do tempo físico de escape de fase (o tempo médio de Viterbi entre saltos de ciclo, em log10 s porque abrange centenas de décadas); (4) limites de pull-in de spoofing — a maior variação de código e a maior taxa de Doppler de portadora que os loops de uma vítima conseguem seguir, com um mapa sobre os dois eixos, porque um spoofer que varia mais rápido do que isso não captura o loop, ele o ultrapassa; e (5) o RAIO DE NEGAÇÃO que a dinâmica do loop implica, informado JUNTO com o raio existente de razão de potência, nunca em seu lugar, com a diferença com sinal entre eles como um campo próprio nomeado (denial_radius_delta_km) e uma definição ao lado. Todo campo numérico emitido traz uma unidade e uma classe de proveniência. Formas fechadas VALIDATED: as expressões de jitter de portadora e de código, a redução do filtro de loop sqrt(2B_nT) e o atraso de rampa de primeira ordem são conferidos com o próprio correlador sdr do mecanismo avançado sobre IF sintética com semente — um caminho diferente para os mesmos números — a 0,6 %, 3,7 % e 0,17 % respectivamente, e a Bessel modificada I0 por trás do tempo de salto de ciclo contra valores tabelados padrão a 1e-7. O limite inferior de validade é afirmado, não apenas declarado: abaixo de ~32 dB-Hz a 1 ms o discriminador atan real satura contra o seu intervalo de +-pi/2 e mede menos jitter do que qualquer teoria linear. MODELLED: as larguras de banda dos loops, o tempo de integração, o espaçamento dos correladores, a razão de largura de banda de pull-in, as permanências de confirmação, a potência do jammer e os ganhos de antena são valores representativos da banda, não um datasheet. NÃO modelados: jitter do oscilador (desvio de Allan) e de vibração, limitação de largura de banda do front-end, multipercurso, dinâmica do AGC, perda por transição de bit de dados, auxílio externo e qualquer correção de meio ciclo na fórmula de salto de ciclo de Costas. Sob a dinâmica do loop, a captura por spoofing não tem raio algum — a restrição determinante é a taxa de deslocamento, não a potência — de modo que esse campo é nulo, com um motivo, em vez de um número fabricado. Não é um produto certificado de desempenho de receptor.
61 araim-reference-check Vetores de referência de certificação do ARAIM publicados: os níveis de proteção horizontal e vertical do ARAIM do motor executados contra os PRÓPRIOS exemplos numéricos resolvidos do Subgrupo Técnico de ARAIM do WG-C, na tolerância (TOL_PL = 5e-2 m) que esses próprios documentos declaram. Dois vetores estão versionados como fixtures, cada um com o seu URL de obtenção, a data de obtenção, o SHA-256 do arquivo de origem e a página: o Apêndice D do Reference Airborne Algorithm Description Document v3.1 (2019) — autoconsistente e o vetor de aceitação — e a Seção A.IX do Anexo A do Milestone 3 Report (2016), a declaração que as bibliografias de pesquisa citam. Toda entrada publicada (a matriz de geometria de 10 satélites e 2 constelações, as diagonais de variância C_int e C_acc, b_nom, P_sat, P_const e o conjunto de constantes LPV-200) e toda saída publicada (VPL, HPL, EMT, sigma_v_acc, K_fa_3 e os sigma_3, sigma_ss_3 e b_3 dos dois modos de falha de constelação) é informada ao lado do número do próprio motor e da sua diferença absoluta. A equação do nível de proteção NÃO é resolvida de novo aqui: a lista de modos da referência é entregue ao raim::araim_protection_level / araim_integrity_risk já existentes do motor, de modo que a bissecção e a álgebra da cauda gaussiana sob teste são as do próprio motor; só a geometria, as subsoluções, os limiares de detecção e a divisão de orçamento publicada são construídos para ele. EXTERNALLY CHECKED contra o vetor de 2019: VPL 18,2926 m contra 18,3 m publicado, HPL 13,4063 m contra 13,45 m, EMT 7,2997 m contra 7,2998 m, sigma_v_acc 1,3694 m contra 1,3694 m, e todos os seis intermediários publicados com precisão de meia unidade na última casa decimal impressa. O vetor de 2016 traz dois defeitos internos que o relatório declara em vez de ocultar — um erro de sinal na linha 3 de G e um K_fa_3 avaliado em 57 modos de falha enquanto o documento declara N_fault_max = 1 (12 modos) — de modo que os seus intermediários de geometria são reproduzidos exatamente, enquanto os seus níveis de proteção são informados como discrepâncias medidas e excluídos da figura de aceitação; a tolerância nunca é ampliada para absorvê-los. Todo campo numérico emitido traz uma unidade e uma classe de proveniência, e uma figura transcrita é rotulada published para que nunca possa ser confundida com uma calculada. ESCOPO: apenas N_fault_max = 1 (modos de falha de um único satélite e de uma única constelação) está implementado, e um caso cujas probabilidades a priori exigem subconjuntos de falhas simultâneas de vários eventos é REFUSED em vez de ser truncado silenciosamente; a detecção e exclusão de falhas, a verificação de consistência do qui-quadrado e a etapa de realocação de dupla contagem do algoritmo de referência estão fora do escopo. Isto reproduz o exemplo resolvido de um algoritmo de referência publicado — não é uma certificação, um artefato de aeronavegabilidade nem uma aprovação.
62 lunar-frame-campaign Datum de referencial de Helmert (de similaridade) de sete parâmetros 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 na superfície lunar segundo um cronograma explícito; as derivadas parciais do atraso VLBI lunar são acumuladas ao longo desse cronograma em uma matriz de informação de Fisher das coordenadas das balizas, exatamente como faz o lunar-vlbi-fim; e essa informação é propagada pelo projeto de Helmert A = [I3 | [p]_x | p] nos pontos do catálogo até a covariância do datum H = A^T M_b A, diagnosticada por crate::fim::crlb. NENHUMA transformação é injetada e nada é recuperado de uma resposta plantada, de modo que a precisão do datum informada deriva do programa de observação: reduzir o sigma do atraso à metade a reduz exatamente à metade, e alongar o arco a melhora porque a libração que o relatório MEDE (sub_earth_direction_sweep_deg) é o que separa a coordenada da baliza na linha de visada das do plano do céu. Posto, defeito de datum, número de condição, o espectro completo, as direções não observá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 toda execução; um parâmetro que a campanha não restringe é publicado como NULL com um status, nunca lido de uma inversa quase singular. A correlação de erro entre balizas é medida, não presumida: com as estações mantidas fixas nenhuma observação toca duas balizas, de modo que a matriz de informação é exatamente diagonal em blocos (offblock_fraction 0), e com as estações estimadas o bloco marginalizado por Schur é acoplado, com a correlação induzida impressa e toda a propagação refeita com ela descartada, de modo que o preço de uma hipótese de independência é um número. A mesma propagação sob um sigma isotrópico por coordenada, e o erro de recuperação que o cenário lunar-frame-realisation informa, são ambos executados aqui e impressos ao lado 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 individuais de atraso 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, de modo que a covariância do datum é um limite de Cramer-Rao para um conjunto reduzido de parâmetros. Não é um produto geodésico.
63 lunar-llr-datum Datum de referencial lunar de Helmert de sete parâmetros conduzido por uma campanha de observação REAL e ARQUIVADA, em vez de simulada. Enquanto o lunar-frame-campaign removeu a transformação injetada, mas ainda declarava a sua rede de estações, o seu cronograma e o seu sigma por observação como entradas ILLUSTRATIVE, este tipo de cenário toma os três a partir de medições: as épocas são os instantes de transmissão em solo de pontos normais arquivados do Consolidated Laser Ranging Data do ILRS, as observações são as distâncias laser realmente disparadas contra os cinco arranjos de retrorrefletores na Lua, e cada peso de observação é a precisão arquivada do próprio ponto normal, bin_rms/sqrt(n_raw), lida do arquivo. As coordenadas das estações vêm da solução SLR ITRF2020 do IERS (propagadas até 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 2015 realiza. As derivadas parciais de distância se acumulam na matriz de informação de Fisher conjunta das coordenadas dos refletores e se propagam pelo mesmo projeto de Helmert até a covariância do datum, diagnosticada por crate::fim::crlb. Posto, defeito, condição, espectro, direções não observá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 toda execução, e um parâmetro sem restrição é publicado como NULL com um status. A correlação entre arranjos é MEASURED como exatamente zero, em vez de presumida, porque uma medição laser toca um único arranjo. Um registro 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 ENLACES SÃO MEASURED E QUAIS SÃO MODELLED É O RELATÓRIO, NÃO UMA NOTA DE RODAPÉ: as efemérides do centro da Lua e a orientação do corpo pela IAU continuam modeladas e o seu tamanho combinado é emitido como o resíduo de distância unidirecional observado menos calculado sobre todos os pontos usados; troposfera, marés do corpo sólido, excentricidade da estação, movimento polar, UT1-UTC, atraso relativístico e relógios das estações estão ausentes e dentro desse resíduo. Como um erro de efemérides chega a uma covariância apenas pela direção de cada linha de visada, toda execução também resolve de novo o datum inteiro com todas as derivadas parciais inclinadas por sensitivity_tilt_deg (com sinal alternado) e emite a razão, de modo que a insensibilidade da covariância às efemérides modeladas é um número, e não um argumento. Os próprios valores da campanha simulada são EXECUTADOS e impressos ao lado 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 em um cronograma real — não um datum resolvido, não uma análise LLR e não um produto geodésico. A fatia de dados reais registrada acompanha o repositório, mas não o crate publicado; aponte data_dir para uma cópia dela.
64 lunar-beacon Aumento por balizas de superfície de um serviço lunar de navegação em órbita, como uma tabela executável de antes e depois. Um usuário polar sul vê um conjunto orbital esparso em uma faixa estreita do céu, de modo que a geometria de medição de distância é mal condicionada; algumas BALIZAS DE SUPERFÍCIE LEVANTADAS TOPOGRAFICAMENTE fornecem as linhas de linha de visada de baixa elevação e amplo azimute que um conjunto todo sobre a cabeça não tem, e a diluição horizontal da precisão colapsa. O cenário informa três configurações em uma época -- só os satélites, os satélites mais as balizas visíveis, e uma constelação maior como caminho alternativo para a mesma geometria -- cada uma com as suas contagens de fontes visíveis, o seu DOP completo e a precisão realizada de 1 sigma em METROS, obtida multiplicando por um erro equivalente de medição de distância do usuário por baliza, montado como a raiz da soma dos quadrados 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 ar (sem atmosfera, de modo que o limite é exato), e a montagem do DOP é o mesmo núcleo verificado de forma cruzada contra o gnss_lib_py em tests/dop_reference.rs. POR QUE ESTE TIPO DE CENÁRIO EXISTE: o módulo por trás dele está no motor e é verificado contra um caminho de DOP independente desde L08/L09, mas não era alcançável a partir de uma execução -- sem tipo de cenário, sem ramo de despacho, sem arquivo incluído. O README anunciava a capacidade e a matriz de verificação NÃO trazia nenhuma linha para ela, de modo que ela era ao mesmo tempo afirmada na prosa e não afirmada no registro, enquanto era inalcançável no motor. Os valores padrão são a geometria que já tem um golden registrado (um usuário a -80 graus com uma antena de 2 m, três balizas em -80/0, -79/+60 e -79/-60 a 2 km, um instantâneo LCNS ilustrativo de seis satélites em t=0, uma máscara de 5 graus), de modo 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 posição das balizas e toda magnitude do orçamento de erros são entradas ilustrativas, não um levantamento em campo nem um enlace medido; apenas a aritmética do DOP, a forma fechada do horizonte e a relação sigma = DOP x sigma_URE têm âncora externa. Não é um compromisso de desempenho de serviço.
65 earth-gnss-lunar Recepçã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 receptor 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 BORDA 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 usuário 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 rastreamento. TAMBÉM INFORMA O CONDICIONAMENTO, porque é isso que define esta camada: todo 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 conformado 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.
66 lunar-infrastructure Estudos MODELLED da órbita e da superfície da Lua como infraestrutura de navegação e geodésica, cinco estudos sob um único tipo de cenário, selecionados por study: od-consistency (determinação de órbita a bordo por GNSS terrestre em uma NRHO ou ELFO contra determinação de órbita radiométrica independente em solo, julgadas pelas suas próprias covariâncias em um Monte Carlo com semente), carrier-phase (fase da portadora com dupla diferença conjunta entre superfície e orbitador e resolução de ambiguidade inteira com LAMBDA), frame-coestimation (uma estação de superfície e orbitadores acrescentados à medição de distância por estações terrestres para o datum de referencial lunar de sete parâmetros), space-tie (GNSS, VLBI e medição laser em uma mesma espaçonave, precisão da amarração de referencial contra o erro de amarraçã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 medição laser, rastreamento 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 declaradas; a numérica é verificada contra programas independentes e nada é comparado com uma medição de uma grandeza lunar.
67 cislunar-arc-recovery Teste MODELLED de estimador independente do limiar de observabilidade do comprimento de arco cislunar. Esse limiar é uma leitura de POSTO 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 fato 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. Ele não chama nenhuma linha de jacobiano analítico, nenhuma STM variacional, nenhuma decomposição em valores singulares ou autovalores, nenhuma tolerância de posto 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 grade de épocas são compartilhados 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 do posto, 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 grade 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 posto em rel_tol 1e-6 (razão 0,375) — o limiar de posto NÃO é corroborado como fronteira de recuperabilidade — enquanto a fronteira de estimabilidade medida cai na mesma célula da grade 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 grade de épocas, o único enlace rastreado, a magnitude do deslocamento, o sigma da medida e os dois limites declarados. Não é um produto de desempenho de navegação certificado.
68 telecom-timing Temporização de telecomunicações: erro de tempo, erro máximo de intervalo de tempo (MTIE) e desvio de tempo (TDEV) de um holdover de GNSS, conferidos contra máscaras da ITU-T com PASS ou FAIL e uma margem por máscara. A entrada é um HOLDOVER SINTÉTICO (uma predefinição de oscilador -- ocxo, rubídio, césio ou csac, cada uma com os valores de estabilidade, envelhecimento e temperatura de um datasheet público e nomeado da Microchip -- mais o tempo de perda do GNSS, a duração do registro e o intervalo de amostragem; o relógio em operação livre tem ruído de frequência branco, flicker e, quando o ajuste ao datasheet exige, de passeio aleatório, envelhecimento linear e um termo senoidal de temperatura) ou uma SÉRIE INGERIDA de pares [time_s, time_error_ns] fornecidos em linha (e, apenas em compilações nativas, um arquivo CSV). Máscaras: ITU-T G.8272 (07/2025) PRTC-A e PRTC-B (max|TE| 100 / 40 ns, MTIE Tabelas 1-2, TDEV Tabelas 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC bloqueado (30 ns, Tabelas 1-2) e holdover de ePRTC-A (o envelope de erro de tempo da Tabela 3 que sobe de 30 ns a 100 ns ao longo do período de holdover H definido pela duração em bloqueio, MTIE Tabela 4, TDEV Tabela 5); G.8273.2 (2023) Amd. 2 (11/2025) classes A-C de T-BC/T-TSC (max|TE|, erro de tempo constante, MTIE e TDEV filtrados por passa-baixa) e classe D (max|TE_L| 5 ns, o único valor da classe D não deixado para estudo futuro); G.8271.1 (2022) Amd. 3 (05/2025) ponto de referência C (max|TE_L| 1100 / 600 / 100 ns com MTIE Tabelas 7-1 a 7-3). Toda entrada que uma Recomendação marca para estudo futuro está ausente em vez de preenchida, e cada relatório lista o que não está implementado. Informa também o tempo para exceder cada orçamento de erro de tempo máximo (padrões: 100 ns max|TE_HO| de ePRTC, 400 ns de alocação de holdover de rede, 1100 ns ponto C, 1,5 us classe 4), as curvas de MTIE/TDEV como uma tabela CSV com o limite de cada máscara, e uma entrada de unidades e proveniência por campo numérico. VALIDATED: os estimadores de MTIE e TDEV contra o pacote allantools em uma série de holdover versionada. MODELLED: as tabelas de máscaras são transcrições, e um holdover sintético é um modelo construído a partir de máximos de datasheet, não uma medição de qualquer unidade. Não é um teste de aderência à norma.
69 slot-timing Temporização de slot: segundos até um relógio em operação livre sair da guarda de um slot de roteamento ou de atribuição de tarefas indexado no tempo (o maior erro de tempo absoluto que o slot tolera), a contribuição de cada termo nesse instante com o dominante indicado (incerteza da correção, ruído de fase branco, ruído de frequência branco, flicker, de passeio aleatório e de corrida aleatória, deslocamento de frequência residual, temperatura, envelhecimento), o tempo restante desde a última correção e o maior intervalo de correção que mantém o relógio dentro, descontada a latência da correção. O oscilador é um padrão de CLASSE (csac, uso, dsac, tcxo, ocxo ou rafs: um desvio de Allan de um segundo citado e um piso de ruído vermelho assumido), uma PREDEFINIÇÃO DE DATASHEET de temporização de telecomunicações ou um DATASHEET em linha (máximos do desvio de Allan ajustados como envoltória, mais envelhecimento e um coeficiente de temperatura), ou um REGISTRO DE FASE MEASURED em linha (seu desvio de Allan sobreposto ajustado por mínimos quadrados ponderados na base de ruído de fase branco e de modulação de frequência da IEEE Std 1139, de modo que o piso de ruído vermelho é medido em vez de assumido). Uma violação além do maior tempo de médias que o datasheet ou o registro suporta é sinalizada como extrapolada. Uma seção opcional de spoofing acrescenta o nível de proteção de temporização para um receptor em órbita: velocidade e período orbitais, por quanto tempo um único spoofer em solo alcança o satélite a cada passagem, o piso do monitor auxiliado pelo relógio e a latência de detecção do CUSUM, o limite condicional, o desvio que um spoofer com uma taxa de rampa máxima declarada acumula antes de o satélite sair do seu alcance ou de uma verificação independente ser executada, e se cada verificação de contato com o solo ou de crosslink é independente desse spoofer. VALIDATED: a inversão de holdover a partir de um registro ajustado, mantida de reserva em um relógio real de césio medido contra um maser de hidrogênio (tests/slot_timing_cs5071a_holdout.rs, condicionado a dados); em um oscilador de cristal medido, a predição reservada é conservadora, mas não está dentro do limiar, portanto o caso do cristal é MODELLED. MODELLED: as fontes de classe e de datasheet, os termos determinísticos e a avaliação de spoofing.
70 spectrum Modelo de espectro da banda L e cascata (waterfall): toda a banda L do GNSS como uma única densidade espectral de potência (PSD), frequência na horizontal, tempo na vertical, ao longo de uma linha do tempo de jammers roteirizada. SINAIS: GPS L1 C/A e L2C (BPSK(1)), serviço aberto Galileo E1 (MBOC(6,1,1/11), ou BOC(1.1)), GPS L5 e Galileo E5a (BPSK(10)), cada um em sua portadora com a potência recebida mínima da especificação de interface (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD), salvo substituição; GLONASS, BeiDou e Galileo E6 não são modelados. JAMMERS: tom de onda contínua, ruído de banda estreita plano, chirp linear em dente de serra e ruído de banda larga casado com a própria modulação de uma banda, cada um com um centro, uma largura de banda, uma potência recebida (direta, ou EIRP e distância pela perda de percurso em espaço livre do tipo jamming) e instantes de ligar/desligar. Cada jammer é avaliado contra cada banda pelo seu coeficiente de separação espectral kappa sobre a largura de banda do receptor, e (C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1; para um jammer isso é igual à equação anti-jam do tipo jamming com Q = 1/(R_c kappa), e o relatório traz essa verificação cruzada (e, ao lado, o valor de Q representativo do tipo jamming). O piso de ruído é k T_sys com T_sys = T_ant + 290 K (F - 1). A cascata faz a média de cada célula sobre o seu bin e a sua linha (chirps exatamente, varreduras inteiras mais a parcial; jammers que comutam no meio da linha pelo seu ciclo de trabalho), de modo que a linha do tempo de C/N0 e a imagem vêm dos mesmos números; result.json traz a grade com média de blocos em potência, C/N0 e J/S por banda em cada linha, e por jammer e por banda o SSC, Q, J/S, J/S em banda e C/N0 em regime. [iq] opcional: o modelo gerado como IQ complexo em um instante, gravado e relido de uma gravação SigMF (cf32_le ou ci16_le), e comparado com uma estimativa de Welch. [recording] opcional (compilações nativas): a PSD de Welch de uma gravação SigMF real ao lado do modelo. VALIDATED: as PSDs dos sinais contra as larguras de lóbulo principal dos livros-texto (BPSK(n) 2n x 1,023 MHz de nulo a nulo; lóbulos de BOC(1.1) centrados em +/-1.023 MHz) e os coeficientes de separação espectral contra suas formas fechadas de Parseval e contra o Q = 1 (CW) e 1,5 (casado) de Kaplan & Hegarty. MODELLED: potências dos jammers, linha do tempo, larguras de banda do front-end, o tratamento de espectro contínuo (sem linhas de código) e a ausência de AGC, blanking e diagrama de antena.
71 solar-system O sistema solar inteiro em uma época, para PNT (posicionamento, navegação e temporização) em torno de qualquer corpo. Para o Sol, os oito planetas, Plutão, a Lua, Fobos, Deimos, Io, Europa, Ganimedes, Calisto e Titã, informa a posição e a velocidade heliocêntricas no ICRF (Referencial Celeste Internacional, equatorial J2000), a distância heliocêntrica e a longitude e a latitude eclípticas J2000, o parâmetro gravitacional, o raio equatorial e médio, J2 onde publicado e seu raio de referência, o período de rotação sideral, o polo da IAU e o meridiano principal na época, uma trilha orbital amostrada ao longo de uma revolução (heliocêntrica para planetas, centrada no corpo-pai para luas), e o tempo de luz, a distância de ida e a de ida e volta, o atraso Shapiro solar e a separação do Sol a partir de um corpo observador (padrão Terra); vínculos extras de/para recebem o mesmo tratamento. Posições: os elementos keplerianos do JPL de Standish e Williams (Tabela 1 para 1800 d.C. a 2050 d.C., Tabelas 2a/2b para 3000 a.C. a 3000 d.C.) com o erro nominal de cada planeta, a série lunar de Montenbruck & Gill para a separação Terra-Lua, elementos médios do JPL com a taxa de rotação síncrona da IAU para as luas marcianas e galileanas, e o modelo de rotação da IAU para Titã. Tempo de luz: a solução radiométrica de ponto fixo, com o transmissor em sua posição retardada; newtoniano, com o atraso Shapiro informado separadamente. VALIDATED contra o JPL Horizons (DE441) dentro de duas vezes o erro nominal: de Mercúrio a Saturno e a Terra a partir da Tabela 1 (pior caso 1,87 vez o nominal) e os oito planetas a partir das Tabelas 2a/2b (pior caso 1,71 vez), e o tempo de luz da Terra a Marte e Júpiter. MODELLED, cada linha rotulada: Urano e Netuno a partir da Tabela 1 (2,0 e 5,2 vezes o erro nominal contra o DE441), Plutão (a linha de 1992; sem erro declarado), a Lua e as sete luas (medidas contra o Horizons, sem limite publicado).
72 body-pnt Posicionamento em torno de qualquer corpo do sistema solar: um orbitador ou um módulo de pouso na superfície em torno de um corpo central escolhido pelo nome (Marte, a Lua, Europa, Ganimedes, Titã e o restante do catálogo do sistema solar), navegando com pseudodistâncias unidirecionais de uma pequena constelação de navegação Walker em torno do corpo (órbitas de dois corpos com a deriva secular de J2 do próprio corpo, um relógio de usuário desconhecido) e, opcionalmente, uma medida de distância bidirecional de espaço profundo, sem relógio, a partir da Terra, cuja direção e distância vêm das efemérides analíticas do sistema solar em cada época. As linhas de visada são bloqueadas pela esfera média do corpo, e um usuário na superfície também precisa da máscara de elevação. Por época: relés em vista, se a Terra está acima do limbo, o GDOP e o PDOP apenas da constelação (diluição de precisão geométrica e de posição), a incerteza formal de posição de um sigma com e sem a linha da Terra, e o erro de uma solução de mínimos quadrados de Gauss-Newton com semente em cada caso; ao longo da execução: disponibilidade, visibilidade da Terra, PDOP mediano, erro RMS e sigma formal mediano, além do tempo de luz Terra-corpo, da ida e volta, do atraso de Shapiro e da separação do Sol na época. MODELLED: as órbitas dos relés, os níveis de ruído e o modelo de medida instantâneo são escolhas de modelagem, não validadas contra dados de navegação de uma missão; as constantes do corpo são os valores publicados citados em body.rs, e a geometria da Terra herda os rótulos das efemérides do sistema solar.
73 constellation-design Projeto de constelações em escala: padrões Walker DELTA e Walker STAR na convenção i: T/P/F (nós distribuídos em 360 ou 180 graus, espaçamento no plano 360P/T, deslocamento de fase entre planos 360F/T), listas explícitas de elementos e projetos de várias camadas orbitais, várias constelações em uma única execução, em torno da Terra, da Lua, de Marte ou de qualquer outro planeta, de Plutão ou de uma lua importante, usando as constantes do módulo body (as mesmas que os tipos de cenário solar-system e body-pnt usam). PREDEFINIÇÕES a partir de elementos nominais publicados: gps-baseline e gps-expandable (as 24 posições e os seis pares expansíveis frente/trás do GPS Standard Positioning Service Performance Standard, 5ª edição 2020, Tabelas 3.2-1 a 3.2-3), galileo (Walker 24/3/1 a 29.599,801 km e 56 graus, Galileo Open Service Service Definition Document edição 1,1 Tabelas 1 e 23), beidou e beidou-meo (Walker 24/3/1 a 21.528 km e 55 graus mais três satélites geoestacionários a 80, 110,5 e 140 graus L e três satélites geossíncronos inclinados a 55 graus, BeiDou Open Service Performance Standard 3,0 seção 4,1; a fase MEO e o cruzamento geossíncrono inclinado em 118 graus L são modelados porque a norma não os especifica) e glonass (24/3/1 a 19.100 km e 64,8 graus a partir da fórmula de posições do GLONASS Interface Control Document edição 5,1 seção 5,2). COBERTURA E DILUIÇÃO DE PRECISÃO: sobre uma grade de latitude/longitude e uma janela amostrada com máscara de elevação, o número de satélites à vista, GDOP, PDOP, HDOP e VDOP por célula, a disponibilidade (uma solução com PDOP igual ou inferior a um limiar, 6 por padrão) por célula, globalmente (ponderada por área) e no pior local, com um relógio de receptor por constelação, a menos que clock = "common". Escala para milhares de satélites: a visibilidade é um produto escalar contra o semiângulo de cobertura de cada satélite, e os satélites são agrupados em faixas pela latitude do ponto subsatélite a cada época, de modo que uma linha da grade testa apenas os que podem estar à vista; o relatório conta os testes de pares economizados. O JSON traz os mapas da grade e traços no solo por satélite com amostragem reduzida. VALIDATED: o gerador Walker contra a Tabela 23 do Galileo OS SDD e a fórmula de posições do GLONASS ICD, a predefinição do GPS contra a coluna publicada de cruzamento equatorial da Tabela 3.2-1 do SPS PS, e a distribuição global de HDOP da linha de base do GPS contra o Apêndice B do SPS PS (mediana 0,94, 95% 1,25, média 0,96, tolerância 0,03). MODELLED: órbitas de dois corpos com J2 secular opcional, um corpo esférico, apenas visibilidade geométrica (sem potência de sinal, estado de saúde ou terreno), e a fase relativa entre sistemas diferentes, que não é um retrato de nenhuma data real.
74 campaign Campanha: tipos de cenário existentes compostos em uma só execução, com cada número lido de uma execução real do tipo de cenário nomeado. Quatro seções, em qualquer combinação. PHASES: uma missão encadeada em uma linha do tempo compartilhada -- cada fase executa um ou mais cenários (por exemplo jamming, depois spoofing, depois um relógio em holdover com um sistema de navegação inercial deslizando ao lado, depois um alarme de integridade, depois a recuperação), as suas saídas são lidas em canais nomeados (erro de tempo do relógio contra a sua guarda, relação portadora/densidade de ruído contra o piso de rastreamento, nível de proteção contra o limite de alerta, erro de posição, satélites rastreados, sinalizadores de alarme) por uma predefinição por tipo de cenário ou por caminhos de resultado explícitos, e reamostradas em uma grade comum por retentor de ordem zero, com fronteiras de fase e eventos; o estado é repassado por carry (um canal continua a partir do valor final da fase anterior), handoff (um número da fase anterior gravado no cenário desta fase) e end_at (uma fase termina em um instante que uma execução calculou, como o instante de detecção de um monitor de spoofing). SWEEP: uma grade sobre uma a três chaves de cenário com pontos de qualquer tipo de cenário (um segmento de número inteiro indexa um array de tabelas, como em system.2.sisre_m), com métricas lidas por caminho de resultado e, com execuções acima de uma, um conjunto de Monte Carlo com semente em cada nó. MONTE_CARLO: a realização k executa em base_seed + k; cada métrica informa média, desvio padrão, percentis 5º/50º/95º pelo posto mais próximo e um intervalo de confiança de 95% por bootstrap com semente fixa sobre a média. COMPOSE: vários cenários sob valores compartilhados (a potência e a posição de um jammer gravadas em um receptor marítimo e em um rodoviário), com um resumo combinado de melhor/pior caso. O resultado traz um hash de campanha, um resumo sobre o resultado de cada membro e uma entrada de unidades para cada número emitido; as exportações de interoperabilidade gravam cada cenário membro que tem geometria como seu próprio conjunto de arquivos. As identidades de composição são testadas: uma campanha de uma fase reproduz a execução isolada bit a bit, um conjunto de semente fixa é estável byte a byte e, em um relógio com ruído de frequência branco, a média do conjunto cai dentro do intervalo informado, com a dispersão coincidindo com sqrt(q_wf * tau). MODELLED: o carry aditivo e o retentor de ordem zero são escolhas de modelagem, e cada fase traz o rótulo do tipo de cenário que a executou.
75 leo-signal Projetos de sinais LEO-PNT: sinais parametrizados de posicionamento, navegação e temporização (PNT) em órbita terrestre baixa (LEO), para qualquer sistema, banda e estrutura. Um SINAL é uma banda (frequência central, largura de banda de transmissão, alocação da UIT RNSS/RDSS/MSS/EESS/non-RNSS/other) e componentes (aquisição, dados, piloto; qualquer subconjunto), cada um com uma modulação (BPSK(n) com n fracionário, BOC(m,n), MBOC(6.1,p) ou uma banda plana do tipo OFDM), uma fração de potência, deslocamentos opcionais de subportadoras FDMA, um comprimento de código e uma taxa de dados. Os sinais vêm de arquivos de predefinições públicas compilados no programa (xona-pulsar, iridium-stl, starlink-soo, centispace, generic-c-band, generic-bands; cada um com o URL da sua fonte e todo valor não publicado rotulado REPRESENTATIVE) ou são escritos em linha. POR SINAL: a densidade espectral de potência limitada em banda e a fração da potência de cada componente que a banda de transmissão deixa passar (forma fechada do BPSK ao lado do valor numérico), a largura de banda RMS (Gabor), o jitter térmico de rastreamento de código da malha de captura de atraso em função de C/N0 e do espaçamento adiantado-atrasado, a partir da fórmula adiantado-atrasado coerente (ou não coerente) limitada em banda de Betz & Kolodziejski 2009, com a sua forma de manual para banda ilimitada e o seu limite de Gabor para espaçamento tendendo a zero, a precisão de medição de distância em metros, o espaço de busca de aquisição (células Doppler a partir do Doppler máximo da órbita mais os termos do oscilador e do usuário, vezes as células de código), a probabilidade de detecção de lei quadrática e o tempo médio de aquisição serial e paralela em código, o coeficiente de separação espectral do sinal em relação a GPS L1 C/A, Galileo E1, GPS L5, Galileo E5a, E5b e E5 AltBOC e de cada um deles em relação ao sinal com a degradação de C/N0, e os J/S de onda contínua, de banda larga e casado que o componente rastreado tolera, a partir do mecanismo de SSC do próprio tipo de cenário spectrum. UMA COMPARAÇÃO ENTRE BANDAS: atraso ionosférico de primeira ordem (40,3 TEC/f^2), perda no espaço livre, precisão de medição de distância com o mesmo C/N0 e com o mesmo EIRP, e tolerância a interferidores. VERIFICAÇÕES DE FORMA opcionais confrontam o espectro de um projeto com uma medição descrita (consistência MODELLED). VALIDATED: as formas fechadas da potência em banda do BPSK (90,3 % no lóbulo principal) e da largura de banda de Gabor, o jitter limitado em banda que se reduz à forma coerente adiantado-atrasado de manual e ao seu limite de Gabor, o coeficiente de separação espectral do BPSK deslocado contra a sua forma fechada de Parseval, a área unitária do espectro AltBOC, e o Doppler máximo em LEO contra os valores publicados do Xona Pulsar (32-34 kHz) e do Iridium (36 kHz). MODELLED: todos os projetos, as divisões de potência e os níveis de C/N0 e de interferidor; os espectros EFQPSK, CSK e OFDM são aproximados.
76 leo-pass Passagem LEO e balanço de enlace, banda a banda, para LEO-PNT (posicionamento, navegação e temporização a partir de órbita terrestre baixa), agnóstico de sistema: um usuário (em terra, no mar, no ar ou em ambiente fechado, estático ou em movimento) e um ou mais satélites LEO a partir de uma PASSAGEM PROJETADA (uma órbita circular posicionada de modo que o usuário veja uma passagem de uma elevação máxima escolhida em um instante escolhido, heliossíncrona se pedido), ELEMENTOS explícitos, um TLE (conjunto de elementos de duas linhas) pelo SGP4 do motor, ou uma constelação WALKER construída pelo código constellation-design (as passagens mais altas informadas). As bandas vêm de uma predefinição nomeada (UHF/L/S/C genérica multibanda, banda C genérica, Xona Pulsar X1/X5, Iridium STL, Starlink como um sinal de oportunidade apenas de Doppler, CentiSpace, e uma predefinição opcional Celeste IOD marcada WORKSHOP) ou são escritas no cenário; cada predefinição declara se os seus números são PUBLIC (com URL), REPRESENTATIVE ou WORKSHOP. Por satélite, banda e época: elevação, azimute, distância, taxa de variação da distância e aceleração da distância; perda no espaço livre; EIRP e o ganho do diagrama do satélite (isofluxo, feixe gaussiano ou plano); ganho da antena do usuário em função da elevação (patch, hemisférica ou isotrópica); atenuação gasosa (ITU-R P.676-10 Anexo 2), atenuação por chuva (coeficientes da ITU-R P.838-3 e o procedimento da P.618-14, a partir de uma taxa de chuva e uma altura de chuva), cintilação troposférica (ITU-R P.618-14 seção 2.4.1), perda de penetração em edificações para um usuário em ambiente fechado (ITU-R P.2109-2), descasamento de polarização, temperatura de ruído do sistema e C/N0 (densidade de portadora sobre ruído); Doppler e taxa de Doppler em forma fechada a partir da taxa de variação e da aceleração da distância, cada uma conferida contra diferenças centrais; o atraso ionosférico de primeira ordem 40,3 STEC/f^2 a partir de um TEC oblíquo de Klobuchar ou de TEC vertical, escalado para a parte da ionosfera abaixo do satélite. Pares de bandas recebem os coeficientes livres de ionosfera, a amplificação de ruído e o ruído de código no pico da passagem. Satélites GNSS em MEO (predefinições do Galileo ou do GPS) são avaliados com o mesmo modelo de antena e de ruído a partir das potências recebidas dos seus documentos de interface, de modo que a passagem LEO em forma de sino e as portadoras GNSS planas compartilham um mesmo gráfico. Uma seção opcional [iot] fornece tempo até a primeira solução, energia por solução e vida útil da bateria em função do ciclo de trabalho para um orçamento de potência de receptor declarado (MODELLED). Cada par de bandas fornece também o TEC oblíquo que a sua combinação livre de geometria recupera no pico e o sigma de ruído de código dessa estimativa (sondagem da ionosfera). Uma seção opcional [spoofer] falsifica os sinais de uma posição alegada que salta ou é empurrada para longe da verdadeira depois de um início e executa dois monitores com probabilidades de falso alarme e de detecção perdida declaradas: consistência de Doppler e de geometria da passagem (taxas de variação da distância medidas contra as previstas a partir das órbitas e de uma posição e velocidade a priori independentes, um teste de qui-quadrado de mínimos quadrados generalizados sobre uma janela, nos canais GNSS, LEO e em todos) e consistência entre bandas (o passo de época a época da combinação livre de geometria, corrigida pelo modelo, de cada par de bandas LEO), informando estatísticas por época e quando cada monitor detecta (MODELLED). Componentes VALIDATED: perda no espaço livre, os coeficientes da P.838-3 contra a sua Tabela 5, os procedimentos de chuva e cintilação da P.618-14 e a perda de penetração em edificações da P.2109 contra os exemplos de validação do Grupo de Estudos 3 da ITU-R, a razão de atraso de grupo L1/L2 do IS-GPS-200 e o Doppler máximo de usuário estático em uma órbita circular contra a Tabela 1 do arXiv 2509,19551. MODELLED: EIRPs, diagramas, a fração de Chapman do TEC abaixo do satélite e a passagem inteira.
77 leo-navmsg Mensagem de navegação LEO: as efemérides e o relógio transmitidos de um satélite de posicionamento, navegação e temporização em órbita terrestre baixa (LEO), para qualquer órbita, portadora e modelo, com predefinições nomeadas opcionais (Xona Pulsar, Iridium, Starlink, CentiSpace, um sistema representativo em banda C, o modelo ATOMIC de relógio zero, Celeste IOD). CONTEÚDO: dados auxiliares (SVID, número de emissão dos dados, banda, saúde do sinal), sincronização (semana, tempo da semana, um polinômio de relógio de segunda ordem af0-af2 em torno de toc), efemérides em um de quatro modelos -- o conjunto kepleriano de 16 parâmetros do Galileo OS SIS ICD; esse conjunto mais polinômios de correção ao longo da trilha, transversais e radiais; o modelo de 22 parâmetros de Liu et al. 2025; um polinômio ECEF sem termos de relógio (ATOMIC de relógio zero) -- e outros serviços (um conjunto de transmissão de Klobuchar, ai0-ai2 do NeQuick-G com o nível efetivo de ionização, e parâmetros de tempo do sistema para UTC com a lógica de segundos intercalares do ICD). AJUSTADOR: uma órbita-verdade integrada com gravidade zonal J2-J6 ou EGM2008 até o grau escolhido e arrasto, e um relógio livre ou conduzido com semente; ajuste de Levenberg-Marquardt do conjunto kepleriano em elementos não singulares, depois polinômios de correção por mínimos quadrados lineares; relógio ajustado líquido do termo relativístico que o usuário acrescenta. ANÁLISES: fit-interval-trade (erro de distância do sinal no espaço, SISRE, com pesos médios globais para a altitude da órbita, em função do intervalo de ajuste e do período de atualização, apenas órbita e com relógio), model-comparison (quatro modelos, número de parâmetros, bits codificados e o ajuste do Kshana nas altitudes de Liu et al. ao lado dos valores publicados), midpass-update (a passagem mais alta sobre um usuário, o salto de posição, de relógio e de distância do usuário a cada troca de mensagem, o salto na pior geometria, PASS/FAIL contra um limiar de continuidade), encode-decode (o quadro binário documentado do próprio Kshana com CRC-24Q, um orçamento de quantização de meio passo por campo, uma verificação de quadro corrompido, uma exportação e importação de registro no estilo RINEX 4 rotulada como extensão do Kshana, e uma tabela CSV). VALIDATED: os pesos do SISRE contra a tabela MEO/GEO publicada (Montenbruck et al. 2018); o algoritmo de usuário do Galileo contra o RTKLIB em efemérides de transmissão reais do Galileo; o CRC-24Q contra o seu valor de verificação de catálogo e o quadro de exemplo RTCM 1005. MODELLED: todo valor de ajuste e de SISRE é erro de representação contra uma verdade integrada pelo Kshana (sem erro de determinação ou predição de órbita); a comparação com Liu et al. usa órbitas diferentes; os formatos de codificação e de texto são do próprio Kshana.
78 leo-pvt Posicionamento, navegação e temporização (PNT) fundidos em órbita terrestre média (MEO) e baixa (LEO) sobre QUALQUER constelação: cada [[system]] é uma predefinição de GNSS do tipo de cenário constellation-design, uma predefinição LEO (xona-pulsar, iridium-stl, starlink-sop, centispace, generic-c-band, o modelo de efemérides atomic-zero-clock, ou outro arquivo de predefinição, cada um em seu próprio arquivo com as fontes marcadas PUBLIC, WORKSHOP ou DERIVED), camadas Walker ou conjuntos explícitos de elementos, com uma portadora, uma taxa de chips, um envelope de densidade de portadora sobre ruído (C/N0) da máscara de elevação até o zênite, um erro de distância do sinal no espaço (SISRE), um sigma de Doppler e um modelo de relógio (o seu próprio relógio de receptor, de modo que o viés entre sistemas é estimado, ou um deslocamento de transmissão conhecido). Quatro modos. DOPPLER: posicionamento em lote de Gauss-Newton a partir da taxa de variação da distância com derivadas parciais analíticas, estados de deriva do relógio e, opcionalmente, de velocidade e uma restrição opcional de altura, com um ou vários satélites, o erro em função da duração da janela, o envelope de Doppler, de taxa de Doppler e de jerk de cada sistema LEO, e a exatidão ao longo da trilha e transversal de uma única passagem em função do afastamento transversal (o erro transversal cresce sem limite à medida que a passagem fica sobre o usuário; uma única passagem também tem uma solução espelhada do outro lado do traço no solo). Um sinal de oportunidade apenas de Doppler (starlink-sop) roda aqui. CONJUNTO: soluções de pseudodistância por mínimos quadrados ponderados a cada época apenas com GNSS, apenas com LEO e com ambos, sigmas por medição de um modelo de ruído térmico de malha de captura de atraso em C/N0 mais o SISRE (ou um sigma fixo, para que um modelo de sinal possa alimentá-los), os vieses entre sistemas estimados, e PDOP/HDOP/VDOP em função do número de satélites LEO acrescentados. POLAR: satélites à vista e DOP em função da latitude para GNSS, LEO e ambos. TEMPORIZAÇÃO: transferência de tempo para o Tempo Universal Coordenado (UTC) a partir de satélites LEO em posição conhecida com um filtro de relógio de dois estados cujo ruído de processo vem das classes de osciladores do motor, em função do C/N0 e do oscilador, e a expressão do IS-GPS-200 de tempo do sistema para UTC; com [timing] trace = true cada linha também informa o seu erro de tempo e o sigma previsto a cada época. VALIDATED: o maior Doppler de uma passagem do zênite ao horizonte contra os valores publicados do Iridium (até 36 kHz) e do Xona Pulsar X1 (32 a 34 kHz). MODELLED: todo o resto; o DOP é conferido contra um caso derivado à mão, as soluções contra a sua covariância e o modelo de Doppler contra a identidade da aceleração da distância.
79 leo-ppp Convergência do posicionamento preciso por ponto (PPP) apenas com GNSS e com aumentação por LEO: um filtro de Kalman estendido flutuante sobre código e fase da portadora livres de ionosfera, com as coordenadas estáticas da estação, um relógio de receptor branco, um viés entre sistemas por sistema adicional, um atraso úmido zenital em passeio aleatório mapeado por 1/sin(elevação) e uma ambiguidade flutuante por arco de satélite; o erro de órbita e relógio preciso é branco e comum ao código e à fase de um satélite, de modo que cada satélite é uma atualização correlacionada de duas linhas em uma forma estabilizada de Joseph. As medições são simuladas a partir do mesmo modelo com ruído com semente em vários locais e sementes, e cada caso (primeiro apenas GNSS, depois cada [[case]] de sistemas LEO, de qualquer constelação ou predefinição) informa o tempo mediano de convergência (a primeira época depois da qual os erros horizontal e vertical permanecem abaixo dos limiares, 10 cm por padrão), a fração convergida, as curvas medianas de erro e a consistência do filtro (o NEES de posição médio da execução contra a faixa de qui-quadrado bilateral de 95%). Opcionalmente ao lado dos valores publicados de Li et al. (2019, J. Geod. 93:749, doi 10.1007/s00190-018-1195-2) em latitudes médias: 9,6 min para multi-GNSS reduzidos a 7,0, 3,2, 2,1 e 1,3 min com 60, 96, 192 e 288 satélites LEO. MODELLED: uma comparação de consistência da tendência, não uma reprodução das constelações, do ruído ou das estações desse estudo; sem resolução de ambiguidades, saltos de ciclo, phase wind-up, marés nem erros de produtos correlacionados no tempo.
80 ntn-positioning Posicionamento a partir de um enlace de descida de rede não terrestre (NTN) 5G no serviço móvel por satélite (MSS) na banda S (banda 3GPP n256, enlace de descida de 2170 a 2200 MHz; portadora padrão de 2172,5 MHz): o limite de Cramér-Rao (CRB) do tempo de chegada, c / (2 pi beta sqrt(2 (C/N0) T)), com beta a largura de banda quadrática média (de Gabor) do espectro OFDM plano (B/sqrt(12)), e do Doppler de um tom complexo, sqrt(3 / (2 pi^2 (C/N0) T^3)), para cada sinal (por padrão um canal New Radio de 5 MHz com 4,5 MHz ocupados e um canal de banda estreita de 200 kHz com 180 kHz ocupados); depois, sobre qualquer constelação LEO, soluções de tempo de chegada no enlace de descida com um relógio de receptor desconhecido (com semente, com o limite mais um erro de sincronização da rede como sigma), o seu PDOP e o sigma 3D formal, e uma solução Doppler de um único satélite na passagem mais longa com a altura mantida. MODELLED: o passo de largura de banda para limite é a forma fechada de manual, verificada contra a integração numérica dos espectros BPSK plano e limitado em banda (consistência interna, sem nenhum valor trabalhado publicado fixado), e a precisão de posicionamento é um limite em um canal sem multipercurso com um erro de sincronização declarado, não um resultado alcançado.
81 leo-pnt-chain Um sistema LEO-PNT (posicionamento, navegação e temporização a partir de órbita terrestre baixa) de ponta a ponta, para qualquer constelação e sinal: o projeto leo-signal nomeado por signal_design (uma predefinição pública ou um projeto [signal] em linha) define o centro, a largura de banda, a taxa de chips e a divisão de EIRP de uma banda de [pass], o balanço de enlace do leo-pass fornece o C/N0 rastreado e o jitter de código limitado em banda ao longo da passagem, e uma reta de C/N0 em sin(elevação) e o SISRE de transmissão da mensagem [navmsg] (ajustado na altitude do satélite da passagem) alimentam todo sistema LEO da solução conjunta leo-pvt de [fusion] e, opcionalmente, os casos leo-ppp de [ppp]; cada transferência é listada com o seu valor e a sua unidade. MODELLED.
82 contact-schedule Planejamento de contatos com o solo para vários satélites sobre várias estações: janelas de acesso aparentes (SGP4, referencial fixo à Terra IAU 2006/2000A, refração ITU-R P.834, tempo de luz), o volume de dados DVB-S2 ACM de cada passagem (limiares da Tabela 13 da ETSI EN 302 307-1) e um cronograma sem conflitos (um satélite por antena com um tempo de retorno, uma estação por satélite, entrega ponderada por prioridade limitada a cada backlog) por um método guloso de valor marginal, uma linha de base de ordem de chegada e um branch and bound exato em conjuntos pequenos, com a lacuna de otimalidade do método guloso. MODELLED.
83 acm-link Um satélite sobre uma estação: a distância oblíqua, a elevação e o Es/N0 de cada passagem ao longo da passagem, o MODCOD DVB-S2 escolhido a cada passo (limiares da Tabela 13 da ETSI EN 302 307-1 mais uma margem de implementação) e o volume de dados que o ACM move em relação à linha de base de codificação constante que fecha na máscara. MODELLED.
84 aocs Controle de atitude de espaçonave: uma manobra de apontamento inercial de um hub rígido com três ou mais rodas de reação balanceadas sob realimentação MRP (L = -K sigma - P omega), torques das rodas de norma mínima limitados ao limite de cada motor, RK4 com retentor de ordem zero; opcionalmente fechada sobre um EKF multiplicativo a partir de um giroscópio simulado (passeio aleatório de ângulo e de taxa) e um rastreador de estrelas. Informa o tempo de acomodação, o erro de apontamento final e de pico, a velocidade e o torque de pico das rodas, a fração saturada, a deriva do momento angular e, com o estimador, o seu erro de atitude e o NEES. A malha de estado verdadeiro é VALIDATED contra o Basilisk 2.9.1; o estimador é MODELLED.
85 entry-heating Entrada atmosférica de massa pontual em 3-DoF sobre uma Terra esférica em rotação ou Marte (balística ou com sustentação a inclinação lateral constante), RK4, através da US76, de uma atmosfera exponencial ou da atmosfera de Marte, com aquecimento convectivo no ponto de estagnação de Sutton-Graves (NASA TR R-376): desaceleração de pico, fluxo de calor e pressão dinâmica, carga térmica, alcance longitudinal, uma verificação de energia no referencial em rotação e a forma fechada de Allen-Eggers ao lado. A desaceleração de pico é conferida contra o valor nominal publicado da Stardust; o aquecimento é MODELLED.
86 eo-radiometry Radiometria de imageador no nadir e qualidade de imagem: radiância na abertura de uma cena lambertiana, a equação da câmera, sinal e ruído de disparo/escuro/leitura/quantização e SNR; a MTF do sistema em Nyquist (difração x detector x arrasto x jitter), a resposta relativa de borda a partir dela, Q = lambda F/p e o NIIRS da GIQE versão 4 sem compensação de MTF. MODELLED.
87 ascent-losses Subida planar em curva gravitacional de um veículo de vários estágios sobre uma Terra esférica não rotativa, através da US Standard Atmosphere 1976 (subida vertical, chute de arfagem, empuxo ao longo da velocidade), integrando as perdas por gravidade, arrasto, direcionamento e contrapressão e verificando o dv ideal menos as perdas contra a velocidade de fim de queima; max-Q, aceleração de pico e estado de fim de queima. MODELLED.
88 time-transfer-budget Transferência bidirecional de tempo e frequência por satélite entre duas estações por meio de um relé geoestacionário: a equação bidirecional resolvida para T_A - T_B com todo termo não recíproco (atrasos do equipamento das estações, ionosfera em banda Ku, transponder, Sagnac), um orçamento de incerteza em quadratura cujo termo do tipo A é o TDEV do enlace simulado no tempo de médias, um enlace simulado com ruído de fase branco e flicker e uma não reciprocidade diurna, e a estabilidade (taxa, RMS residual, TDEV, ADEV) de qualquer série fornecida da Seção 1 da Circular T do BIPM, CSV MJD,ns ou registros de relógio de estação RINEX do IGS. MODELLED.
89 optical-atmosphere PNT óptico MODELLED através da atmosfera: para um enlace óptico e um conjunto de locais em solo com climas de nuvens declarados, informa a perda em céu limpo dependente do comprimento de onda e da elevação (lei de visibilidade de Kim mais Rayleigh), o estado de turbulência de Hufnagel-Valley (variância de Rytov, índice de cintilação, parâmetros gama-gama, média de abertura), a disponibilidade dirigida pelo tempo contra a margem do enlace (profundidade óptica das nuvens a partir de um clima log-normal de água líquida, extinção de óptica geométrica, desvanecimento por turbulência independente), a margem de enlace necessária para disponibilidades-alvo, a distribuição da duração de interrupções, o crescimento do erro de temporização e de medição de distância por interrupção pelo modelo de holdover do relógio, a disponibilidade com diversidade de locais correlacionada pela distância, e ganhos hipotéticos de técnicas de melhoria (comprimento de onda, abertura de recepção, redução de cintilação por óptica adaptativa, margem extra). VALIDATED como implementação das fórmulas declaradas contra uma referência independente em mpmath: variância de Rytov, índice de cintilação, probabilidade de desvanecimento gama-gama, fator de média de abertura, profundidade óptica de nuvens e de céu limpo. MODELLED: toda entrada de clima, de técnica e de relógio e as hipóteses de independência e de cópula; nenhum registro medido de disponibilidade foi comparado. Análise de caráter consultivo, não um produto certificado de disponibilidade ou de navegação.
90 holdover-test Teste de holdover MODELLED de um sistema de temporização, pontuado a partir de um registro de erro de tempo que o OPERADOR fornece (um log do ptp4l, phc2sys ou ts2phc do linuxptp, um log de tracking ou statistics do chrony, um log de relógio TICC, TimeLab ou RINEX, ou pares time_s,time_error_ns). O teste tem quatro etapas e o Kshana não executa nenhuma delas: uma LINHA DE BASE travada, GNSS REMOVIDO pelo operador (o cabo da antena ou a saída do simulador; o Kshana não transmite nem aciona nada) em um instante declarado, HOLDOVER no oscilador próprio do sistema e RECUPERAÇÃO depois que o operador restabelece o GNSS em um segundo instante declarado. O registro é dividido nesses dois instantes. Linha de base: estatísticas de erro de tempo e as máscaras da ITU-T escritas para um relógio travado. Holdover: estatísticas, o desvio fracionário de frequência que o sistema manteve (uma reta de mínimos quadrados), as máscaras escritas para holdover ou para um relógio autônomo, o envelope de holdover do ePRTC-A a partir da duração travada declarada e o tempo para exceder cada orçamento de erro de tempo. Recuperação: se e quando |TE| entrou em uma faixa declarada e permaneceu nela, o pico e o maior degrau. Todo limite é transcrito de uma tabela pública da ITU-T (as máscaras de temporização de telecomunicações); as palavras são 'medido em relação à máscara', e os dois instantes são uma declaração do operador, não verificada. Um registro curto demais para uma máscara é INCOMPLETE, nunca extrapolado. Ver docs/TIMING-HIL.md.
91 gnss-ssv Disponibilidade e intensidade de enlace de GNSS MODELLED no Space Service Volume e além: para um usuário em uma esfera (a camada global do folheto do ICG) ou em uma trajetória kepleriana (de LEO a transferência lunar), conta, por constelação (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) e para todas em conjunto, os sinais utilizáveis acima de um limiar de C/N0 - disponibilidade de pelo menos um e de quatro sinais, duração máxima de interrupção, C/N0 recebido, diluição de precisão, enlaces de lóbulo principal contra lóbulo lateral - com um diagrama de transmissão do folheto, paramétrico ou fornecido pelo usuário, efeitos opcionais de ionosfera, plasmasfera e atmosfera em raios rasantes ao limbo e um projeto opcional de receptor de sinal fraco; também um filtro de Kalman estendido de GNSS a bordo para naves em HEO e em transferência lunar (dinâmica orbital, pressão de radiação solar, terceiros corpos, relógio) e a navegação relativa de uma formação de várias naves por pseudodistâncias de diferença simples. Conferido contra as tabelas do folheto SSV do ICG sob um pré-registro (xval/gnss-ssv)
92 mission-thread Orçamento de erro de navegação e temporização MODELLED de uma cadeia declarada de fases de missão, do lançamento à reentrada: lançamento e ascensão, encontro e acoplagem em órbita baixa da Terra (repetível), injeção trans-lunar e cruzeiro cislunar, encontro em órbita lunar, descida, permanência na superfície, ascensão e o retorno e a reentrada, cada fase um de oito tipos registrados com seus próprios sensores e filtro. A covariância 6x6, o relógio e o referencial são transferidos de fase em fase sob uma regra declarada (carry, inflate ou reacquire); as conversões de referencial e de escala de tempo (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) são linhas próprias do orçamento, com o estado da Lua a partir de um recorte opcional do kernel DE440 e a série analítica como alternativa declarada. Uma sobreposição opcional da rede terrestre define o ciclo de rastreamento de cada fase. Informa o orçamento por fase (1-sigmas de entrada, de pico e de saída, cada contribuição com sua unidade), a margem em relação a um requisito declarado, o elo mais fraco, os eventos e uma figura de linha do tempo. MODELLED: todo número é uma entrada declarada; a cadeia segue uma única pilha e nenhum veículo é modelado. Apenas fontes públicas; sem afiliação nem aval de qualquer agência; software de caráter consultivo, não um equipamento de navegação certificado.

clock#

Holdover do relógio em relação à especificação; conjunto Monte Carlo opcional (execuções > 1).

  • Campos obrigatórios: seed, threshold_ns, time, gnss, clock_quantum, clock_classical
  • Campos opcionais: runs, integrity

inertial#

Navegação inercial por estima em 1-DOF durante uma interrupção do GNSS.

  • Campos obrigatórios: seed, threshold_m, time, gnss, accel_quantum, accel_classical
  • Campos opcionais: runs

orbit#

Disponibilidade GNSS + DOP a partir de uma constelação orbital (Walker / TLE / RINEX).

  • Campos obrigatórios: seed, threshold_ns, mask_deg, time, user|user_site, constellation, clock_quantum, clock_classical
  • Campos opcionais: sigma_uere_m, constellations, epoch, export_sp3, export_omm, export_oem, skyline

ephemeris#

Efemérides e traço no solo: propaga um satélite (TLE→SGP4 ou órbita analítica) e emite o seu estado TEME/GCRS (posição + velocidade), a posição ITRF/ECEF, latitude/longitude/altitude subsatélite WGS-84 e, a cada passo, azimute/elevação/distância da estação + taxa de variação da distância (Doppler). O satélite vem de um tle ou de uma orbit analítica com a sua epoch (um tle prevalece quando ambos são dados); com um tle, um epoch substitui a própria época do TLE como t = 0.

  • Campos obrigatórios: tle|orbit+epoch
  • Campos opcionais: step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

integrity#

RAIM instantâneo / de separação de soluções / ARAIM com HPL/VPL e um diagrama de Stanford.

  • Campos obrigatórios: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation
  • Campos opcionais: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline

lunar-integrity#

Passagem de nível de proteção ARAIM no polo sul lunar contra um conjunto representativo de retransmissores LunaNet. sigma_ure_m expõe a precisão de medição de distância do sinal no espaço (os níveis de proteção escalam linearmente com ela, de modo que varrê-la responde que precisão de medição de distância um limite de alerta exige). O padrão é o caso histórico do polo sul da classe LNIS.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m

lunar-time-offset#

Taxa relativística 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, informada com a faixa publicada de 56–59 µs/dia, mais o deslocamento acumulado ao longo de um horizonte.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: epoch_year, epoch_month, epoch_day, horizon_days

lunar-vlbi#

Observável modelado de atraso de VLBI geodésico lunar: uma linha de base terrestre (duas estações em solo, GCRS) observa um sinal unidirecional de uma baliza da classe NovaMoon na superfície lunar. Emite o atraso de campo próximo por diferença de duas distâncias, a sua taxa e a correção de curvatura de frente de onda de campo próximo ao longo de uma passagem — verificado de forma cruzada contra o 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 caminho analítico padrão é MODELLED e traz as ressalvas de consistência de referencial, de movimento polar xp=yp=0 e de onda plana contra campo próximo. Definir planetary_kernel_path, earth_orientation_kernel_path e moon_orientation_kernel_path executa em vez disso o caminho por kernel (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 a 0,06 ps e 7.4e-9. Não validado contra dados reais de VLBI.

  • Campos obrigatórios: (nenhum)
  • Campos 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

lunar-joint-od-clock#

Estimador em lote conjunto, multitécnica, de OD lunar + relógio, modelado, em uma 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 na superfície lunar, as posições de uma pequena constelação e o deslocamento de relógio de cada ativo a partir de uma verdade injetada. O resultado principal e honesto — o VLBI torna observável a posição 3-D completa da estação onde a medição de distância apenas local lunar deixa uma direção fracamente observada — é informado como o contraste de erro da estação com e sem VLBI. Recuperação simulada em malha fechada MODELLED (a verdade compartilha o modelo de observação), determinística (com semente), NÃO validada com dados reais; sem propagação de modelo de forças dentro do resolvedor; sem TRL, herança nem endosso de agência.

  • Campos obrigatórios: (nenhum)
  • Campos 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

lunar-frame-realisation#

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

  • Campos obrigatórios: (nenhum)
  • Campos 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

moonlight-service-volume#

Análise modelada de volume de serviço de navegação lunar a partir de uma constelação em órbita lunar da classe Moonlight/LCNS, ILLUSTRATIVE e de fonte pública (sem afiliação com a ESA): varre uma grade selenográfica de latitude/longitude sobre um horizonte de tempo e informa DOP / cobertura / disponibilidade (≥4 satélites E PDOP < limiar) mais um envelope generalizado de nível de proteção ARAIM lunar (HPL/VPL) sobre o volume. A geometria do DOP REAPROVEITA o núcleo VALIDATED do gnss_lib_py (crate::orbit::dop); o nível de proteção REAPROVEITA o mecanismo ARAIM lunar LNIS da LunaNet (crate::lunar, σ_URE≈30 m) e se reduz ao PL existente do polo sul como caso particular. Composição MODELLED: um conjunto de retransmissores kepleriano circular/elíptico (não as efemérides reais LCNS/NRHO corrigidas diferencialmente), uma Lua de rotação média (sem libração nem polo com precessão). Determinístico (geometria pura). Sem TRL, herança nem endosso de agência.

  • Campos obrigatórios: (nenhum)
  • Campos 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

lunar-differential-pnt#

PNT DIFERENCIAL lunar modelado (um análogo lunar de DGNSS/SBAS): uma estação de referência da classe NovaMoon em um local selenográfico CONHECIDO calcula correções diferenciais por satélite a partir de uma constelação da classe Moonlight/LCNS, ILLUSTRATIVE e de fonte pública (NovaMoon citada apenas como uma CLASSE de sistema, sem afiliação com a ESA), e um usuário deslocado por baseline_km as aplica, de modo que os erros de órbita + relógio de MODO COMUM se cancelem. O termo de relógio se cancela EXATAMENTE (uma identidade algébrica); o termo de órbita deixa apenas a projeção da diferença de linha de visada, que → 0 quando a linha de base → 0 (o piso de descorrelação espacial) e cresce ≈ linearmente com a linha de base. Informa o erro de posição 3-D do usuário COM e SEM correções, o fator de redução, a curva de erro contra a linha de base e um nível de proteção do usuário que REAPROVEITA o mecanismo SBAS da DO-229E (crate::sbas) com o resíduo diferencial σ. MODELLED — identidade de cancelamento exato + modelo de descorrelação de primeira ordem; não validado com dados reais; sem TRL, herança nem endosso de agência. Determinístico se houver semente.

  • Campos obrigatórios: (nenhum)
  • Campos 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

lunar-station-coverage#

Cobertura modelada da estação de referência lunar: uma varredura Monte Carlo do modelo de PNT diferencial lunar sobre uma grade de usuários no polo sul e um dia de épocas. Uma estação de referência diferencial em um local conhecido do polo sul corrige uma constelação declarada (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 de enlace declarados; por ponto e sobre a região, informa o erro de posição corrigido e não corrigido por percentil (3-D, horizontal, vertical), a disponibilidade, a cobertura contra um limiar declarado, os níveis de proteção da DO-229E, o raio de cobertura por azimute e o orçamento do enlace de correção na estação e no pior ponto. Não é uma declaração sobre o desempenho de nenhum sistema real; sem afiliação nem endosso de nenhuma agência. MODELLED.

  • Campos obrigatórios: (nenhum)
  • Campos 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

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 baseadas em CCSDS e alinhadas com LunaNet/IOAG, com ida e volta e aderência à norma dos campos. REAPROVEITA o emissor+analisador CCSDS OEM 2,0 do crate (crate::oem), reetiquetado para o contexto lunar — o REF_FRAME do OEM leva o referencial do corpo lunar WGCCRE da IAU 2015 (MOON_ME / MOON_PA), o TIME_SYSTEM a escala de tempo lunar (LTC / TCL / UTC), CENTER_NAME = MOON — sobre uma efeméride de amostra ilustrativa da classe LCNS (posições de crate::lunar_service, velocidade por diferença finita). Também emite 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 artefatos no envelope KIF existente (crate::interchange) com o rótulo de honestidade MODELLED. Informa artefatos emitidos, contagem de linhas do OEM, êxito na aderência à norma dos campos + lista de campos presentes/ausentes, ida e volta do OEM ok, ida e volta dos metadados de tempo ok, e tamanho do KIF em bytes. MODELLED — ida e volta determinística + aderência à norma dos nomes de campo contra o CCSDS OEM publicado + a semântica de campos do LunaNet/IOAG é a referência independente; NÃO é um ensaio certificado de aderência à norma de interoperabilidade; efeméride ilustrativa de fonte pública, sem afiliação com a ESA; sem TRL, herança nem endosso de agência.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: frame, time_system, n_states, epoch, step_min, object

timetransfer#

Transferência bidirecional de tempo/frequência óptica versus RF.

  • Campos obrigatórios: seed, samples, step_s, range_spec_mm, link_quantum, link_classical
  • Campos opcionais: (nenhum)

quantum-anomaly-detect#

Detecção de falhas/anomalias MODELLED para sistemas PNT quânticos: um catálogo rotulado de falhas (salto de frequência/deriva/perda de sincronismo do relógio; salto de viés/perda de dados do sensor), uma AUC ROC da estatística de detecção (com um IC bootstrap a partir do eval_stats validado externamente) e uma falha mínima detectável a uma taxa fixa de falso alarme, com o monitor auxiliado por relógio quântico (menor ruído) detectando falhas menores — como TradeEvidence honesto + representatividade. Modelo gaussiano da estatística de detecção (AUC = Phi(mu/(sigma*sqrt2))); modela a classe, com parâmetros ilustrativos de fonte pública, sem TRL, voo nem certificação.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: fault_mu, quantum_sigma, classical_sigma, pfa, pd, samples, seed

quantum-gnss-free-nav#

Navegação quântica sem GNSS, MODELLED: durante uma interrupção do GNSS, um orçamento inercial quântico (interferômetro de átomos frios) contra um INS clássico de grau de navegação — crescimento do erro de posição ao longo da deriva, holdover até um limiar de posição e a comparação quântico-versus-clássico como TradeEvidence honesto, com representatividade. Nota honesta de observabilidade: sem solução externa, o viés do acelerômetro é não observável, de modo que o erro cresce; o sensor quântico desacelera essa diferença, mas não a fecha. Parâmetros ilustrativos de dispositivo de fonte pública; modela a classe, sem TRL, voo nem certificação.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: outage_s, threshold_m, quantum_bias_m_s2, classical_bias_m_s2

quantum-time-transfer#

Cadeia de temporização quântica confiável, MODELLED: um orçamento de transferência de tempo de ponta a ponta quântico (relógio de rede óptica + enlace de emaranhamento/fóton único) contra clássico (CSAC + RF de dois sentidos), um nível de proteção de temporização reaproveitado + uma figura de mérito de segurança contra ataque de atraso/repetição (1-P_md), uma probabilidade de detecção de anomalia de relógio + latência do CUSUM, e a comparação quântico-versus-clássico como TradeEvidence honesto, com um registro de representatividade + lacunas até o voo. Parâmetros ilustrativos de dispositivo/enlace de fonte pública; modela a classe, sem alegação de TRL, voo nem certificação.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

hybrid#

Capstone de PNT híbrido: relógio + IMU + auxílio por transferência de tempo.

  • Campos obrigatórios: seed, timing_spec_ns, position_spec_m, time, gnss, resync, clock_quantum, clock_classical, accel_quantum, accel_classical
  • Campos opcionais: (nenhum)

fusion#

PNT por fusão de sensores com filtro de Kalman conjunto sobre as mesmas entradas híbridas.

  • Campos obrigatórios: seed, timing_spec_ns, position_spec_m, time, gnss, resync, clock_quantum, clock_classical, accel_quantum, accel_classical
  • Campos opcionais: coupled

hybrid-ukf#

UKF GNSS/INS híbrido quântico+clássico com acoplamento forte e 17 estados (MODELLED): 15 estados de erro do INS + correção de viés do acelerômetro derivada de CAI + um relógio de 2 estados (fase+frequência) do motor de relógio de parâmetros q, conduzido pelo modelo de erro de CAI em faixa. A figura de mérito é a autoconsistência do filtro (NEES + brancura da inovação contra limites de χ²) — uma declaração de autoconsistência, NÃO uma garantia de exatidão no mundo real. Apenas simulação; sem TRL>3, sem herança de voo, sem validação externa.

  • Campos obrigatórios: seed, time, gnss, accel, clock
  • Campos opcionais: residual_accel_bias_m_s2, speed_m_s, sigma_pr_m, sigma_rr_mps, consistency_seeds, q_factor, r_factor

gnss-ins#

EKF de estado de erro GNSS/INS com acoplamento fraco e forte.

  • Campos obrigatórios: seed, threshold_m, time, gnss, imu_quantum, imu_classical
  • Campos opcionais: fix_interval_s, sigma_pos_m, sigma_vel_mps, lat_deg, lon_deg, alt_m, trajectory, tight

gnss-sim#

Simulação de pseudodistância no domínio da medição (ionosfera de Klobuchar, troposfera de Saastamoinen/Niell) + RAIM.

  • Campos obrigatórios: seed, time, receiver, constellation
  • Campos opcionais: iono, tropo, mask_deg, noise_sigma_m, multipath_m, sat_clock_rms_m, uere_m, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, skyline

jamming#

Jamming por balanço de enlace: J/S → C/N₀ efetivo → perda de sincronismo.

  • Campos obrigatórios: seed, time, receiver, constellation
  • Campos opcionais: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

spoof#

Detector estocástico de spoofing de tempo (Neyman–Pearson / χ²₁) com P_fa/P_md de Monte Carlo.

  • Campos obrigatórios: threshold_ns, time, attack, clock_quantum, clock_classical
  • Campos opcionais: (nenhum)

spoof-detect#

Detector combinado de spoofing por RF/medições (consistência RAIM multi-SV + AGC + SQM, fundidos) contra um ataque parametrizado (vantagem de potência, alinhamento de fase da portadora, deslocamento de tempo/posição; estilo TEXBAT).

  • Campos obrigatórios: attack
  • Campos opcionais: satellites, detector

sweep#

Varredura 1-D de estudo de compromissos sobre um parâmetro do pacote de relógio.

  • Campos obrigatórios: parameter, metric, start, stop, steps, base
  • Campos opcionais: scale

sweep-nd#

Varredura genérica N-D sobre qualquer pacote por meio de chaves TOML pontuadas / caminhos de métricas JSON.

  • Campos obrigatórios: base, axes, metrics
  • Campos opcionais: (nenhum)

gravity-map#

Navegação por correspondência com mapa de gravidade sem GPS: um gravímetro de átomos frios recupera uma deriva constante do INS a partir da sequência de anomalias de gravidade pela qual voa.

  • Campos obrigatórios: nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg
  • Campos opcionais: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

terrain-nav#

Navegação referenciada ao terreno sem GPS (TERCOM/SITAN): um altímetro de radar/barométrico compara o perfil de elevação do solo com um DEM de estilo SRTM para recuperar a deriva do INS.

  • Campos obrigatórios: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, altimeter_sigma_m, map_sigma_m, search_half_deg, search_step_deg
  • Campos opcionais: refine_stages, refine_factor, noise_seed

terrain-slam#

Navegação sequencial (recursiva) referenciada ao terreno sem GPS: um filtro de partículas executa o modelo de medição de correspondência de terreno época a época (SITAN como filtro em execução), de modo que uma deriva do INS variável no tempo é acompanhada ao longo da trajetória, enquanto o terrain-nav em lote só recupera um único deslocamento constante.

  • Campos obrigatórios: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_rate_lat_deg, drift_rate_lon_deg, altimeter_sigma_m, map_sigma_m
  • Campos opcionais: n_particles, init_pos_sigma_deg, process_sigma_deg, resample_ess_frac, seed

combined-altpnt#

Navegador combinado de gravidade + campo magnético + terreno sem GPS: três canais de campo escalares fundidos a cada ponto de passagem para uma correção de deriva mais precisa (CRLB menor) do que qualquer campo isolado.

  • Campos obrigatórios: start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, search_half_deg, search_step_deg, nmax, gravity_sigma_mgal, igrf_year, magnetic_sigma_nt, dem_seed, terrain_sigma_m
  • Campos opcionais: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid

pvt#

Posicionamento de ponto único com observações reais: resolve a posição de um receptor a partir de um arquivo de observação RINEX 3 e de um arquivo de navegação por difusão (pseudodistâncias de código, efemérides de difusão, ionosfera de Klobuchar, troposfera de Saastamoinen/Niell), opcionalmente validado contra uma coordenada levantada.

  • Campos obrigatórios: obs_rinex, nav_rinex
  • Campos opcionais: truth_ecef, apriori_ecef, mask_deg, dual_frequency

mars-pnt#

PNT de espaço profundo em Marte: uma constelação simulada de retransmissores MARCONI (retransmissores areoestacionários + inclinados que transmitem em sentido único + retransmitem em dois sentidos para uma estação de espaço profundo) navega um usuário de referência (transfer | lmo | surface) pelo estimador conjunto de fusão radiométrica de sentido único e dois sentidos. Informa geometria/visibilidade por época, RMS alcançado contra a verdade e a covariância formal (posição 1σ / 3σ) — uma figura de mérito simulada honesta, NÃO um nível de proteção certificado.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: user, clock_class, step_s, duration_s, nmax, range_sigma_m, doppler_sigma_mps, dynamic_tightness, two_way_period_s, seed

impairment-eval#

Bancada de avaliação de detecção de degradações de RF por aprendizado de máquina (13494): gerar um corpus SINTÉTICO rotulado e fundamentado em parâmetros (nominal/jamming/spoof de tempo/spoof de posição/multipercurso), pontuar um detector (energy|agc|sqm|parity|fused) com a estrutura de teste agnóstica ao detector, e informar AUC/ROC/confusão + Pd por classe em um Pfa-alvo, além da lacuna de otimismo dentro versus fora da distribuição. Apenas características operacionais MODELLED — nunca dados de campo/IQ, sem veredito bom/ruim.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: seed, n_per_class, nominal_cn0_dbhz, meas_noise, detector, target_pfa, shift_severity_scale, optimism_tol

quantum-trade#

Comparação PNT quântico-versus-clássico (13503): benefício de holdover de temporização + holdover inercial de um relógio candidato (uma curva de ADEV medida — o ponto central da defensabilidade — ou uma classe de relógio quântico) contra uma classe clássica de linha de base, com a ressalva da hipótese de piso de tau longo carregada no artefato, mais um envelope de resiliência contra o tempo sem GNSS. MODELLED; quantifica (nunca valida) um dispositivo do parceiro. O relógio candidato é uma curva medida (candidate_adev_taus + candidate_adev_values, de igual comprimento, com pelo menos 2 pontos; ela prevalece quando as duas formas são dadas) ou uma candidate_clock_class.

  • Campos obrigatórios: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
  • Campos opcionais: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

space-weather#

Modelo de ambiente de clima espacial: índices de atividade solar (F10.7/F10.7a) e geomagnética (Kp, com a tabela definicional Kp↔ap), a temperatura exosférica de Jacchia-1971 que eles governam (validada contra mínimo/média/máximo solares publicados), e a densidade neutra termosférica de Jacchia-1971 na temperatura exosférica média diurna contra o perfil estático sem atividade em um conjunto de altitudes — a dependência da densidade em relação ao ciclo solar que a atmosfera estática omite. MODELLED: a densidade concorda com densidades derivadas de acelerômetro (TOLEOS CHAMP e GRACE) dentro de um fator 2 no máximo solar, mas é cerca de 1.7x densa demais no mínimo solar de 2008.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: f107, f107a, kp, altitudes_km

oem-interop#

Ponte de interoperabilidade CCSDS OEM: importa uma Orbit Ephemeris Message produzida por uma ferramenta externa de dinâmica de voo (GMAT/Orekit/STK emitem OEM) e informa os seus segmentos/objetos/referenciais/intervalo de épocas, além de uma verificação de consistência de velocidade; sem entrada, faz a ida e volta de uma órbita de referência gerada e informa a fidelidade entre importação e exportação. Verificação de ingestão estrutural/física MODELLED, NÃO uma validação da exatidão orbital da fonte.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: oem_text

launch-window#

Geometria de lançamento e ascensão de dois corpos: azimute(s) de lançamento (sin Az = cos i / cos lat), inclinação mínima alcançável, velocidade circular, o bônus para leste da rotação da Terra, Δv de mudança de plano em dogleg quando a inclinação-alvo está abaixo da latitude do local, e o número de oportunidades diárias de lançamento. Geometria de Terra esférica MODELLED (sem correção do triângulo de velocidades da Terra em rotação, sem modelo de ascensão/perda por arrasto).

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: site_lat_deg, target_inclination_deg, altitude_km, site_lon_deg, epoch, eop_finals2000a

reentry#

Corredor balístico de reentrada de Allen-Eggers: desaceleração máxima (independente do coeficiente balístico, V_e^2 sin|γ|/(2eH)), a velocidade e a altitude no pico de g e a velocidade de aquecimento máximo, para uma velocidade de entrada, ângulo da trajetória e coeficiente balístico em uma atmosfera exponencial, além de uma integração planar de massa pontual da mesma entrada balística com gravidade, curvatura da Terra e a Atmosfera Padrão dos EUA 1976 (desaceleração máxima, velocidade, altitude e tempo no pico). Entrada balística (sem sustentação) MODELLED; a saída de aquecimento é a VELOCIDADE de aquecimento máximo, não um fluxo de calor (sem modelo aerotérmico/TPS).

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

eo-coverage#

Pegada da carga útil de observação da Terra e geometria de cobertura (triângulo espacial do SMAD): raio angular da Terra, largura da faixa imageada, distância de amostragem no solo no nadir, acesso máximo fora do nadir, período circular, período nodal com J2 e espaçamento equatorial do traço no solo com um indicador de cobertura contígua, para uma altitude orbital, uma inclinação (heliossíncrona por padrão) e um FOV/IFOV do sensor. Geometria de Terra esférica MODELLED (sem radiometria/MTF/atmosfera/jitter/reflexo solar); espaçamento de nós R_e·(ω − Ω̇)·T_nodal com taxas seculares de J2 de primeira ordem.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: altitude_km, half_fov_deg, ifov_microrad, max_off_nadir_deg, inclination_deg

space-packet#

Enquadramento do CCSDS 133.0-B Space Packet Protocol: codifica um fluxo sintético de pacotes TM/TC (cabeçalho primário de 6 octetos + campo de dados) e informa a decodificação do cabeçalho por pacote, o total de octetos e um ciclo exato de codificação↔decodificação. Enquadramento determinístico de layout de bits exato — a camada de interoperabilidade do formato de pacotes das agências; NÃO é uma certificação de aderência à norma (sem lógica de cabeçalho secundário/CRC/segmentação além dos flags).

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: apid, telecommand, packet_count, data_len

attitude-budget#

Orçamento de erro de atitude e apontamento em 3 graus de liberdade: o torque perturbador de gradiente de gravidade de pior caso ((3/2)(μ/R³)ΔI) e um orçamento de erro de apontamento por raiz da soma dos quadrados sobre contribuintes nomeados de 1σ (ruído de sensor, jitter da roda de reação, térmico, alinhamento), com o termo dominante, para uma altitude orbital + dispersão de inércia do corpo. Orçamento escalar de AOCS MODELLED — um complemento pré-hardware ao Basilisk/42, não uma simulação de malha de controle / 6 graus de liberdade / modos flexíveis.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

passes#

Predição de passagens por estação em solo: as passagens de visibilidade no domínio do tempo (AOS/TCA/LOS, elevação aparente máxima, duração) de uma órbita circular, como elementos médios SGP4 no início da janela, sobre uma estação acima de uma máscara de elevação ao longo de uma janela, com o tempo total de acesso. Propagação SGP4/SDP4 no referencial fixo na Terra IAU 2006/2000A (UT1 - UTC e movimento polar opcionais), refração troposférica ITU-R P.834-9 e o tempo de luz do enlace de descida (ambos ligados por padrão), cruzamentos resolvidos a 1e-7 s e a culminação por busca de seção áurea. A geometria da passagem é VALIDATED contra o Orekit 13.1.8 em estações ao nível do mar; a órbita e a estação do cenário são entradas ilustrativas.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: altitude_km, inclination_deg, raan_deg, arg_lat_deg, station_lat_deg, station_lon_deg, station_alt_m, epoch, mask_deg, duration_hours, step_s, refraction, light_time, ut1_minus_utc_s, xp_arcsec, yp_arcsec

Orçamento de enlace unidirecional sobre a equação de enlace CCSDS 401 / DSN 810-005: perda de percurso no espaço livre, C/N₀, Eb/N₀, margem e fechamento para um EIRP de transmissão, G/T de recepção, distância, taxa de dados e banda (s|x|ka) em relação a um Eb/N₀ exigido. Um cálculo de engenharia determinístico a partir das entradas fornecidas (não é uma folha de dados calibrada de terminal).

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: band, eirp_dbw, g_over_t_db, range_km, data_rate_bps, other_losses_db, required_eb_n0_db, tsys_k

lunar-time-budget#

Orçamento de erro de tempo de ponta a ponta do Tempo Lunar Coordenado (LTC), MODELLED: os sete termos de erro do LTC montados como curvas de erro de tempo x_i(τ) sobre toda uma grade de tempos de média, somados em raiz em x_Σ(τ), e o τ de CRUZAMENTO relógio-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 artefato de um único τ. As inclinações em τ são de forma fechada e verificáveis analiticamente (relógio τ^{+1/2}/τ^{+1}, pisos τ^0, medição τ^{-1/2}) e as linhas de relógio reproduzem as especificações publicadas de relógio de um dia (crate::clock_specs); as MAGNITUDES dos pisos do enlace de RF/óptico, da realização do referencial, do resíduo relativístico e das efemérides são alocações modeladas do orçamento (valores padrão documentados, substituíveis por quem chama), não medições. A contribuição é o τ de cruzamento reproduzível, não um número certificado por termo; não certificado para a manutenção operacional da hora.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab

lunar-ascent#

Ascensão propulsada MODELLED de um local de superfície polar sul até a ó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, viés do acelerômetro, inclinação de atitude, viés 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 em um intervalo declarado, com o tempo lunar entrando pelo relógio do veículo e um erro de marcação de tempo ao longo da trajetória. Informa 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)
  • Campos 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

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) informa 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 seçã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 trecho de 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 em uma 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)
  • Campos 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

lunar-descent#

Orçamento de dispersão de pouso MODELLED para uma descida propulsada a um local polar sul (classe Artemis). Por eixo horizontal, um modelo de erro inercial de cinco estados (posição, velocidade, viés do acelerômetro, inclinação de atitude, viés do giroscópio) é conduzido pela força específica da descida; um filtro sequencial recebe soluções de posição dos auxílios habilitados: 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 deslocamento LTC-TT de lunar-time-offset, ou a incerteza de sua faixa publicada) e como um erro de marcação de tempo ao longo da trajetória. Informa a elipse de pouso 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 guiagem 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)
  • Campos 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

lunar-orbit-rendezvous#

Navegação relativa MODELLED para uma acoplagem no estilo Orion-módulo de pouso em uma órbita lunar baixa ou em uma órbita polar elíptica (classe Artemis). Um veículo perseguidor e um alvo voam a 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 viéses 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 se cancelando 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 rastreamento de código do piloto AFS da LunaNet. Informa 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 em relação 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 se aplica ao caso circular. MODELLED: conjunto de relés, orçamento de erro e priores ilustrativos; a referência e o estimador compartilham 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)
  • Campos 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

hybrid-optical-rf#

Figura de mérito conjunta de PNT óptico + RF heterogêneo MODELLED (P5): compõe o balanço de enlace óptico bidirecional de 1550 nm (CRLB de medição de distância bidirecional limitada por fótons σ_τ/√N e pegada de difração λ/D·distância), um nível de proteção RAIM de separação de soluções entre modalidades (posição E temporização) que funde as soluções de RF frouxa e óptica estreita com covariâncias díspares, a disponibilidade de céu claro óptica de N estações (união independente 1−Π(1−a_i) e uma variante espacialmente correlacionada), uma transferência de estado/covariância óptico↔RF com uma média COMPROVADAMENTE contínua bit a bit (sem salto) e uma barreira de consistência NEES χ², e uma pontuação conjunta de P(disponível E de grau de precisão E com integridade assegurada) com tratamento de correlação. Forma fechada VALIDATED: o CRLB de medição de distância, a pegada de difração, o quantil de nível de proteção χ², a combinatória da união, a continuidade da média da transferência + a barreira NEES e o produto independente conjunto. MODELLED: as alocações de perda óptica, as magnitudes de σ de RF/óptico, as entradas de climatologia de nuvens, as correlações e o orçamento de P_HMI. Não é um produto de disponibilidade/integridade certificado.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: wavelength_nm, tx_power_w, tx_aperture_m, rx_aperture_m, range_km, pulse_rms_ps, integration_s, atmospheric_loss_db, pointing_loss_db, optics_efficiency, detector_efficiency, two_way, rf_pos_sigma_m, rf_vertical_sigma_m, rf_clock_sigma_s, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, alert_limit_t_s, grade_pos_m, grade_time_s, n_optical_sites, site_correlation, fom_correlation, handoff_inflation, p_hmi, fault_ramp_rate_pos_m_s, fault_ramp_rate_clock_s_s, process_noise_pos_psd_m2_s, process_noise_clock_psd_s2_s, coast_coverage_k, rf_band, rf_eirp_dbw, rf_g_over_t_db, rf_other_losses_db, rf_data_rate_bps, rf_required_eb_n0_db, rf_chip_rate_hz, rf_correlator_spacing_chips, rf_dll_bandwidth_hz, rf_tracking_threshold_dbhz, rf_degraded_margin_db

cislunar-observability#

Observabilidade MODELLED de constelação cislunar planar (P6): rastreia uma constelação planar de DRO corrigida diferencialmente, com quatro espaçonaves e alcance intersatélites, e informa quanto do estado de quatro componentes [x,y,ẋ,ẏ] de uma espaçonave o arco torna observável. Emite (1) a tabela de posto contra comprimento de arco para um único enlace só de distância — de posto 1 instantâneo, crescendo em direção ao estado completo de quatro componentes à medida que o arco se estende (P6 Tabela 1); (2) o espectro de autovalores do gramiano de observabilidade + o número de condição ao longo do arco; (3) a comparação de posto instantâneo 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 o posto observável chega a quatro. Núcleo VALIDATED: o posto observável é um limiar de valor singular revelador de posto, verificado de forma cruzada contra o posto de autovalores do gramiano; o espectro de autovalores obedece aos invariantes espectrais (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 posto é validada de forma cruzada contra o filtro de informação em raiz quadrada do crate (covariância a posteriori finita exatamente em posto completo, cond(P)=cond(OᵀO)); um instantâneo com deficiência de posto é 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 posto que ele produz. Não é um produto de desempenho de navegação certificado.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km

conflict-resilience#

Resiliência a conflitos MODELLED de PNT em camadas (P7): um usuário em ambiente contestado dispõe de várias camadas de PNT (GNSS de serviço aberto, GNSS de banda larga, uma constelação autenticada, um relé de aumentação), cada uma com uma disponibilidade-base, uma exatidão de 1σ e uma vulnerabilidade de negação por vetor à ameaça compartilhada de jamming/spoofing. Um Monte Carlo COM SEMENTE, varrido em intensidade, nega cada camada com probabilidade clamp(vulnerabilidade·intensidade·peso_do_vetor,0.1), funde as sobreviventes pela regra de forma fechada de variância inversa σ_fused=(Σ 1/σ_i²)^(−1/2), e informa a probabilidade de perda total (todas as camadas negadas), o erro fundido mediano e estatísticas de utilizável/negada por camada em função da intensidade. A razão de resiliência principal (probabilidade de perda total de camada única contra em camadas) chega a cerca de 7x sob a hipótese de INDEPENDÊNCIA; uma varredura de negação correlacionada por cópula gaussiana de um fator mostra então esse ~7x colapsando em direção a 1 à medida que a correlação da negação aumenta (a correlação derrota a estratificação em camadas). Um bloco de sensibilidade a priors varia o valor principal sobre os priors de vulnerabilidade COM FONTE por meio do tornado mcda + uma realocação de esforço de ameaça de Dirichlet + ICs por percentis. Núcleo VALIDATED: a perda total por Monte Carlo converge para o produto independente de forma fechada Π_i p_deny_i (dentro do erro-padrão do MC com semente fixa e N grande); a fusão por variância inversa é uma identidade de forma fechada; em ρ=0 a cópula se reduz ao modelo independente e todo ρ preserva a taxa de negação marginal de cada camada. MODELLED: as magnitudes de vulnerabilidade/disponibilidade/exatidão por camada são entradas com fonte, porém modeladas (JammerTest 2024, TEXBAT, EASA SIB, RTCA DO-229, LunaNet/IOAG — ver conflict_threat_params), e a magnitude específica de ~7x e a forma da curva razão-versus-correlação decorrem dessa parametrização. Um detalhamento de sobrevivência por vetor, na seção § 4,2, resolve então a ameaça de RF compartilhada nos quatro vetores nomeados (jamming/spoofing/cinético/cibernético) e informa a curva de degradação gradual de PNT utilizável de cada vetor S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibilidade_i,v·x,0.1))) — VALIDATED: o Monte Carlo por camada com semente converge para essa forma fechada; o jamming é o vetor mais severo para a linha de base de RF correlacionada e a camada inercial, imune a RF, é a sobrevivente decisiva. Não é um produto de disponibilidade de navegação certificado.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: layers, intensity, correlation, trials, seed, primary_layer

lunar-attack-surface#

Superfície de ataque à segurança de sinais da navegação na superfície lunar (P1): compõe as análises abertas de segurança de sinais em uma única execução alcançável pelo binário. Informa (1) a potência recebida do AFS e o seu EXCEDENTE de potência em relação a uma referência GPS terrestre, além da faixa de sensibilidade de 12-18 dB como uma varredura genuína em vários eixos sobre as entradas do enlace (nível de referência x EIRP x distância oblíqua), com a reconciliação do fator linear de 25x arredondado / 28x não arredondado. REVISADO (regra R4): isto informava um DÉFICIT de potência de 15,6 dB e um fator de 32x/36x até que a referência GPS fosse corrigida de -125 / -128.5 (que são os valores em dBm) para -155 / -158.5 dBW, os valores do ICD-GPS-200 que o módulo de interferência sempre carregou. O sinal se inverte: o sinal lunar AFS 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 mudou nem um bit, e o fator linear é o antigo dividido por exatamente 1000, que é exatamente o deslocamento de 30 dB entre dBm e dBW; (2) a potência de transmissão exigida do atacante para falsificar (J/S = 3 dB) e para negar (J/S = 30 dB) em cada distância de afastamento, o inverso do enlace J/S; (3) a área de captura orbital sob um diagrama real de antena 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 entrada em captura de falsificação na malha de rastreamento (um falsificador de código casado, com dada vantagem de potência e dado deslocamento de código, realmente arrasta a DLL/PLL) em vez do limiar afirmado de 3 dB; (5) o alcance do horizonte geométrico de um transmissor elevado na superfície de um corpo sem atmosfera; 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 chave, falsificação de 2^-40). Um corpo vazio reproduz a linha de base P1; toda entrada tem valor padrão e pode ser substituída. Os subresultados VALIDATED carregam a referência independente do seu módulo de origem (radiometria em dB de forma fechada; ida e volta do J/S inverso; diagrama de Airy contra Bessel de A&S e geometria de calota esférica; entrada em captura de DLL/PLL contra Kaplan & Hegarty; identidade de horizonte tangente esférico contra eo_payload; dimensionamento dos campos do SIS-ICD do OSNMA). MODELLED: as magnitudes representativas de geometria e 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)
  • Campos 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

realtime-frame-eop#

Orçamento de predição de referencial lunar / orientação da Terra em tempo real: Tabela 1 do P4 (a verificação de consistência do erro de referencial — pós-processado ~0,27 m ↔ ~0,010 ms e tempo real ~15 m ↔ ~0,5 ms, cada posição de referencial expressa como o seu erro equivalente de UT1 pelo braço de alavanca L19 Δr = D_EM·ω⊕·ΔUT1) e Tabela 2 (erro medido de predição de UT1 contra o horizonte — a curva L18 lida diretamente da série real finals2000A do IERS: o piso final Bulletin A − Bulletin B e o erro do preditor de persistência de vários dias, cada um mapeado para uma posição no referencial lunar por L19), mais o orçamento L21 de erro de referencial em tempo real pela raiz da soma dos quadrados (EOP + efemérides + piso de realização). Forma fechada VALIDATED (o braço de alavanca L19, ω⊕ verificado de forma cruzada contra o ângulo de rotação da Terra CIO) e dados reais VALIDATED (a curva L18 a partir das linhas reais de finals2000A); são MODELLED as magnitudes de covariância de OD do retransmissor lunar e o piso de realização do referencial (alocações representativas) e o preditor de persistência (não o algoritmo operacional do Bulletin A do IERS). Não é um produto certificado de referencial em tempo real.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: epoch, horizons_days, ephemeris_pos_sigma_m, ephemeris_vel_sigma_mps, latency_s, frame_realization_floor_m, delta_ut1_ms, delta_xp_mas, delta_yp_mas, eop_finals2000a, eop_finals2000a_later, frame_realization_tie_noise_m, operational_window_days, operational_min_cycle_fraction, operational_anchor_residual

aperture-duty-cycle#

Ciclo de trabalho de abertura: a divisão de tempo entre navegação e comunicações que um plano de contatos implica para um conjunto de aberturas direcionáveis. Recebe um plano de contatos (uma lista de janelas [[contacts]] aos_s/los_s, cada uma pedindo navegação ou comunicações — o mesmo vocabulário aos_s/los_s que o preditor passes emite), uma contagem de aberturas e uma POLÍTICA DE ARBITRAGEM (prioridade de navegação por padrão, ou prioridade de comunicações, ou primeiro a chegar, primeiro a ser atendido sem preempção), e informa o ciclo de trabalho de navegação, o ciclo de trabalho de comunicações, o ciclo de trabalho ocioso e a indisponibilidade por sessão — o tempo de contato que uma sessão pediu e nenhuma abertura atendeu. Uma varredura exata de intervalos sobre as fronteiras das janelas, de modo que janelas que se tocam nunca disputam e nenhum segundo de abertura é contado em dobro; os segundos de abertura de navegação, de comunicações e ociosos são acumulados de forma independente e fecham contra aberturas*horizon_s. O relatório declara a política resolvida, a sua definição completa e as definições de ciclo de trabalho e de indisponibilidade, porque um valor de ciclo de trabalho citado sem a sua política de arbitragem não é reproduzível. Aritmética de agendamento MODELLED: nenhum tempo de manobra / resintonização / troca é cobrado quando uma abertura muda de serviço ou de sessão, nenhum volume de dados, estado de buffer, orçamento de energia ou fechamento de enlace entra na decisão, e as janelas de contato são entradas — a sua geometria é aquela que as produziu. Não é um produto de agendamento de segmento terrestre.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

lunar-jamming#

Interferência de RF nativa lunar: razão interferidor-sinal por satélite, C/N₀ efetivo e perda de sincronismo para um usuário na superfície selenográfica sob um interferidor na superfície lunar (ou elevado), sobre a constelação em órbita lunar ilustrativa, de fonte pública, da classe Moonlight/LCNS. Compõe a física aberta de interferência 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); nenhuma geometria nem radiometria é rededuzida. Diferentemente do tipo de cenário jamming da Terra, o trecho 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 enlace EIRP − FSPL(distância oblíqua), de modo que o J/S varia de satélite para satélite com a distância e a elevação lunares. Informa UMA LINHA POR ENLACE (época, satélite) VISÍVEL — azimute, elevação, distância oblíqua, as duas potências recebidas cuja diferença é o J/S, o J/S, o C/N₀ nominal e efetivo e o estado de sincronismo — mais valores agregados de mérito ao lado da (nunca no lugar da) tabela, e a mesma tabela como artefato CSV. Todo campo numérico emitido traz uma unidade e uma classe de proveniência. Os subresultados VALIDATED carregam a referência independente do seu módulo de origem (a equação antiinterferência e o enlace J/S de Kaplan & Hegarty §9,4, referenciados externamente em tests/gnss_denied_jamming_resilience_reference.rs; a geometria lunar de lunar_service). A própria composição é verificada de forma cruzada contra um caminho independente de dois orçamentos de enlace (linkbudget::received_signal_power_dbw, uma expressão diferente de perda no espaço livre) até 1e-9 dB. MODELLED: a constelação ilustrativa, o EIRP / a potência do interferidor / os ganhos de antena / a temperatura de ruído representativos, e a ausência de sombreamento do terreno, de multipercurso, de dinâmica de AGC e de anulação adaptativa. Não é um produto certificado de negação de serviço. Com um interferidor configurado, o relatório traz também um CONTORNO DE NEGAÇÃO COM UMA FAIXA DE INCERTEZA, em vez de um contorno lido a partir de um único escalar: a distribuição completa medida do C/N₀ do sinal desejado sobre a tabela por satélite (n, mínimo, p05, p25, mediana, p75, p95, máximo, média, desvio-padrão amostral e a assimetria da própria amostra), e o contorno avaliado em cada uma dessas estatísticas de ordem sob AMBOS os critérios de negação que o motor reconhece — o vigente, de razão de potência (J/S = 30 dB, como em attack-surface e tracking-loop) e o de perda de sincronismo (C/N₀ efetivo caindo até tracking_threshold_dbhz, o critério que a própria coluna de estado deste relatório usa) — nos dois eixos do plano de negação (EIRP do interferidor exigido no afastamento do cenário, afastamento de negação no EIRP do cenário). Os extremos da faixa SÃO contour(p05) e contour(p95), o mesmo mapa de forma fechada aplicado aos próprios quantis da amostra: não um sigma ajustado à amostra e não a mediana ± k·desvio-padrão, com o desvio-padrão emitido por continuidade e usado por nada. Um quantil já igual ou abaixo do limiar de rastreamento não tem J/S finito de negação e as suas colunas de perda de sincronismo são nulas com um motivo contado, nunca um raio truncado.

  • Campos obrigatórios: (nenhum)
  • Campos 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

ins-trn-coast#

Modelo de erro de INS/TRN em inércia: erro de posição em função da duração da inércia, construído a partir de coeficientes da IMU em vez de varrido como uma taxa de deriva presumida. Cinco contribuições de crescimento — viés do acelerômetro, inclinação por viés do giroscópio através da gravidade, passeio aleatório de velocidade, passeio aleatório de ângulo e fator de escala em função da distância percorrida — cada uma propagada por um modelo de erro inercial de nove estados em nível local com realimentação de Schuler a uma latitude e altura declaradas (as leis de ordem dominante para inércia curta t², t³, t^1,5, t^2,5 e t¹/t² são informadas ao lado) e combinadas sob uma regra DECLARADA (raiz da soma dos quadrados por padrão, ou soma linear, ou soma determinística com rss estocástico; as três são calculadas em toda execução, de modo que a escolha fica visível em vez de enterrada). As durações de inércia que atingem limiares de posição fornecidos pelo chamador (10 m e 50 m por padrão) são localizadas pela bisseção já existente no motor, cada uma com um detalhamento por contribuição que nomeia a fonte dominante, e o cruzamento de cada contribuição isolada é, além disso, invertido algebricamente para que os dois coincidam. Um modo de navegação relativa ao terreno limita a inércia com correções de posição periódicas e informa o maior intervalo entre correções que mantém cada limiar; uma correção apenas de posição deixa o erro de velocidade e a inclinação vivos através da correção, de modo que nem sempre limita a inércia, seja qual for a taxa de correções, e o relatório diz isso em vez de devolver um zero. MODELLED: os coeficientes de classe da IMU são valores representativos de faixa, não de uma folha de dados, e o resíduo da correção de terreno é uma entrada. Um limiar não alcançado é informado como nulo com um status, nunca como zero. Não é um produto de desempenho de navegação inercial certificado.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: imu_grade, accel_bias_ug, accel_vrw_m_s_per_sqrt_hr, accel_scale_factor_ppm, gyro_bias_deg_per_hr, gyro_arw_deg_per_sqrt_hr, speed_m_s, ref_accel_m_s2, latitude_deg, height_m, combination, crossing_thresholds_m, grades, drift_band_lo_m_per_s, drift_band_hi_m_per_s, trn_fix_mode, trn_fix_interval_s, trn_fix_residual_m, mission_duration_s

lunar-vlbi-fim#

Covariância das coordenadas das estações do VLBI lunar: as derivadas parciais do atraso do observável lunar-vlbi acumuladas ao longo de um CRONOGRAMA explícito (linhas de base x épocas) em uma matriz de informação de Fisher, invertida, e informada como a covariância das coordenadas das estações e o sigma de cada coordenada de cada estação — uma saída calculada do motor, em vez de uma precisão escalar de atraso empurrada por um fator de equipartição isotrópico presumido g = 3. O estado traz coordenadas de estação FIXAS na Terra (ITRS), de modo que o jacobiano é a derivada parcial inercial girada 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 visada fixa na Terra e a declinação da baliza em vez de presumi-las. Uma observação é um par (linha de base, época) com AMBAS as estações acima da máscara de elevação, ponderada por 1/delay_sigma_s^2. Informa posto, defeito de datum, número de condição, o espectro completo de informação, a matriz de covariância, os sigmas por estação, por eixo e 3-D, e o espaço nulo da rede livre em toda execução; sob uma deficiência de posto, o sigma principal é publicado como NULL com um status, nunca lido de uma inversa quase singular. O valor de equipartição cdelay_sigma_ssqrt(g/N) para o MESMO cronograma é emitido ao lado do valor calculado com a razão, junto com o limite isotrópico do traço sqrt(p/trace(M)) que a desigualdade AM-HM torna um piso rígido — de modo que a razão é a anisotropia que a hipótese descartou. O fechamento de atraso tau_ik = tau_ij + tau_jk torna geometricamente independentes apenas n-1 das n(n-1)/2 linhas de base; o relatório declara 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, de modo que a covariância é um limite de Cramer-Rao para um conjunto reduzido de parâmetros, não um resultado previsto de sessão; o sigma do atraso, as coordenadas das estações e o cronograma são entradas. A derivada parcial que o jacobiano 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)
  • Campos 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

tracking-loop#

Perda de travamento do loop de rastreamento: C/N0 -> travado/destravado COM HISTERESE, o tempo para perder o travamento e o pull-in de spoofing em função da TAXA de deslocamento de código e de portadora. Os critérios existentes do mecanismo de negação e de captura são razões sobre a potência recebida (um jammer nega a J/S = 30 dB, um spoofer captura a 3 dB); a perda de travamento real não é uma razão de potência, é onde o jitter de um loop mais o estresse dinâmico excedem o seu orçamento de limiar de rastreamento. Informa (1) o jitter térmico de 1 sigma de portadora (Costas) e de código (early/late não coerente) em função de C/N0, com a perda por elevação ao quadrado incluída, contra as regras declaradas 3sigma_PLL + theta_e <= 45 deg (a regra dos 15 graus na forma de três sigmas) e 3sigma_DLL + atraso de rampa <= d/2 chips; (2) os limiares de C/N0 de queda e de retravamento com o loop determinante indicado, o limiar de retravamento DERIVED da largura de banda maior em que um receptor refaz o pull-in em vez de afirmado, de modo que a largura da histerese deve ficar entre 5log10(razão) e 10log10(razão) dB; (3) o tempo declarado para perder o travamento a partir de um detector de travamento de dois limiares com permanências de confirmação, conduzido ao longo de uma rampa de C/N0, informado separadamente do tempo físico de escape de fase (o tempo médio de Viterbi entre saltos de ciclo, em log10 s porque abrange centenas de décadas); (4) limites de pull-in de spoofing — a maior variação de código e a maior taxa de Doppler de portadora que os loops de uma vítima conseguem seguir, com um mapa sobre os dois eixos, porque um spoofer que varia mais rápido do que isso não captura o loop, ele o ultrapassa; e (5) o RAIO DE NEGAÇÃO que a dinâmica do loop implica, informado JUNTO com o raio existente de razão de potência, nunca em seu lugar, com a diferença com sinal entre eles como um campo próprio nomeado (denial_radius_delta_km) e uma definição ao lado. Todo campo numérico emitido traz uma unidade e uma classe de proveniência. Formas fechadas VALIDATED: as expressões de jitter de portadora e de código, a redução do filtro de loop sqrt(2B_nT) e o atraso de rampa de primeira ordem são conferidos com o próprio correlador sdr do mecanismo avançado sobre IF sintética com semente — um caminho diferente para os mesmos números — a 0,6 %, 3,7 % e 0,17 % respectivamente, e a Bessel modificada I0 por trás do tempo de salto de ciclo contra valores tabelados padrão a 1e-7. O limite inferior de validade é afirmado, não apenas declarado: abaixo de ~32 dB-Hz a 1 ms o discriminador atan real satura contra o seu intervalo de +-pi/2 e mede menos jitter do que qualquer teoria linear. MODELLED: as larguras de banda dos loops, o tempo de integração, o espaçamento dos correladores, a razão de largura de banda de pull-in, as permanências de confirmação, a potência do jammer e os ganhos de antena são valores representativos da banda, não um datasheet. NÃO modelados: jitter do oscilador (desvio de Allan) e de vibração, limitação de largura de banda do front-end, multipercurso, dinâmica do AGC, perda por transição de bit de dados, auxílio externo e qualquer correção de meio ciclo na fórmula de salto de ciclo de Costas. Sob a dinâmica do loop, a captura por spoofing não tem raio algum — a restrição determinante é a taxa de deslocamento, não a potência — de modo que esse campo é nulo, com um motivo, em vez de um número fabricado. Não é um produto certificado de desempenho de receptor.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: pll_bandwidth_hz, dll_bandwidth_hz, predetection_integration_s, correlator_spacing_chips, carrier_allowance_deg, code_allowance_chips, pullin_bandwidth_ratio, drop_confirm_epochs, relock_confirm_epochs, doppler_rate_hz_per_s, code_slew_chips_per_s, cn0_high_dbhz, cn0_low_dbhz, ramp_duration_s, jitter_table_cn0_dbhz, jammer_power_dbw, jammer_gain_dbi, rx_gain_toward_jammer_db, rx_gain_toward_sat_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, jammer_type, q_override, denial_js_threshold_db, capture_js_threshold_db, spoof_code_slew_chips_per_s, spoof_doppler_rate_hz_per_s

araim-reference-check#

Vetores de referência de certificação do ARAIM publicados: os níveis de proteção horizontal e vertical do ARAIM do motor executados contra os PRÓPRIOS exemplos numéricos resolvidos do Subgrupo Técnico de ARAIM do WG-C, na tolerância (TOL_PL = 5e-2 m) que esses próprios documentos declaram. Dois vetores estão versionados como fixtures, cada um com o seu URL de obtenção, a data de obtenção, o SHA-256 do arquivo de origem e a página: o Apêndice D do Reference Airborne Algorithm Description Document v3.1 (2019) — autoconsistente e o vetor de aceitação — e a Seção A.IX do Anexo A do Milestone 3 Report (2016), a declaração que as bibliografias de pesquisa citam. Toda entrada publicada (a matriz de geometria de 10 satélites e 2 constelações, as diagonais de variância C_int e C_acc, b_nom, P_sat, P_const e o conjunto de constantes LPV-200) e toda saída publicada (VPL, HPL, EMT, sigma_v_acc, K_fa_3 e os sigma_3, sigma_ss_3 e b_3 dos dois modos de falha de constelação) é informada ao lado do número do próprio motor e da sua diferença absoluta. A equação do nível de proteção NÃO é resolvida de novo aqui: a lista de modos da referência é entregue ao raim::araim_protection_level / araim_integrity_risk já existentes do motor, de modo que a bissecção e a álgebra da cauda gaussiana sob teste são as do próprio motor; só a geometria, as subsoluções, os limiares de detecção e a divisão de orçamento publicada são construídos para ele. EXTERNALLY CHECKED contra o vetor de 2019: VPL 18,2926 m contra 18,3 m publicado, HPL 13,4063 m contra 13,45 m, EMT 7,2997 m contra 7,2998 m, sigma_v_acc 1,3694 m contra 1,3694 m, e todos os seis intermediários publicados com precisão de meia unidade na última casa decimal impressa. O vetor de 2016 traz dois defeitos internos que o relatório declara em vez de ocultar — um erro de sinal na linha 3 de G e um K_fa_3 avaliado em 57 modos de falha enquanto o documento declara N_fault_max = 1 (12 modos) — de modo que os seus intermediários de geometria são reproduzidos exatamente, enquanto os seus níveis de proteção são informados como discrepâncias medidas e excluídos da figura de aceitação; a tolerância nunca é ampliada para absorvê-los. Todo campo numérico emitido traz uma unidade e uma classe de proveniência, e uma figura transcrita é rotulada published para que nunca possa ser confundida com uma calculada. ESCOPO: apenas N_fault_max = 1 (modos de falha de um único satélite e de uma única constelação) está implementado, e um caso cujas probabilidades a priori exigem subconjuntos de falhas simultâneas de vários eventos é REFUSED em vez de ser truncado silenciosamente; a detecção e exclusão de falhas, a verificação de consistência do qui-quadrado e a etapa de realocação de dupla contagem do algoritmo de referência estão fora do escopo. Isto reproduz o exemplo resolvido de um algoritmo de referência publicado — não é uma certificação, um artefato de aeronavegabilidade nem uma aprovação.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: vector

lunar-frame-campaign#

Datum de referencial de Helmert (de similaridade) de sete parâmetros 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 na superfície lunar segundo um cronograma explícito; as derivadas parciais do atraso VLBI lunar são acumuladas ao longo desse cronograma em uma matriz de informação de Fisher das coordenadas das balizas, exatamente como faz o lunar-vlbi-fim; e essa informação é propagada pelo projeto de Helmert A = [I3 | [p]_x | p] nos pontos do catálogo até a covariância do datum H = A^T M_b A, diagnosticada por crate::fim::crlb. NENHUMA transformação é injetada e nada é recuperado de uma resposta plantada, de modo que a precisão do datum informada deriva do programa de observação: reduzir o sigma do atraso à metade a reduz exatamente à metade, e alongar o arco a melhora porque a libração que o relatório MEDE (sub_earth_direction_sweep_deg) é o que separa a coordenada da baliza na linha de visada das do plano do céu. Posto, defeito de datum, número de condição, o espectro completo, as direções não observá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 toda execução; um parâmetro que a campanha não restringe é publicado como NULL com um status, nunca lido de uma inversa quase singular. A correlação de erro entre balizas é medida, não presumida: com as estações mantidas fixas nenhuma observação toca duas balizas, de modo que a matriz de informação é exatamente diagonal em blocos (offblock_fraction 0), e com as estações estimadas o bloco marginalizado por Schur é acoplado, com a correlação induzida impressa e toda a propagação refeita com ela descartada, de modo que o preço de uma hipótese de independência é um número. A mesma propagação sob um sigma isotrópico por coordenada, e o erro de recuperação que o cenário lunar-frame-realisation informa, são ambos executados aqui e impressos ao lado 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 individuais de atraso 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, de modo 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)
  • Campos 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

lunar-llr-datum#

Datum de referencial lunar de Helmert de sete parâmetros conduzido por uma campanha de observação REAL e ARQUIVADA, em vez de simulada. Enquanto o lunar-frame-campaign removeu a transformação injetada, mas ainda declarava a sua rede de estações, o seu cronograma e o seu sigma por observação como entradas ILLUSTRATIVE, este tipo de cenário toma os três a partir de medições: as épocas são os instantes de transmissão em solo de pontos normais arquivados do Consolidated Laser Ranging Data do ILRS, as observações são as distâncias laser realmente disparadas contra os cinco arranjos de retrorrefletores na Lua, e cada peso de observação é a precisão arquivada do próprio ponto normal, bin_rms/sqrt(n_raw), lida do arquivo. As coordenadas das estações vêm da solução SLR ITRF2020 do IERS (propagadas até 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 2015 realiza. As derivadas parciais de distância se acumulam na matriz de informação de Fisher conjunta das coordenadas dos refletores e se propagam pelo mesmo projeto de Helmert até a covariância do datum, diagnosticada por crate::fim::crlb. Posto, defeito, condição, espectro, direções não observá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 toda execução, e um parâmetro sem restrição é publicado como NULL com um status. A correlação entre arranjos é MEASURED como exatamente zero, em vez de presumida, porque uma medição laser toca um único arranjo. Um registro 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 ENLACES SÃO MEASURED E QUAIS SÃO MODELLED É O RELATÓRIO, NÃO UMA NOTA DE RODAPÉ: as efemérides do centro da Lua e a orientação do corpo pela IAU continuam modeladas e o seu tamanho combinado é emitido como o resíduo de distância unidirecional observado menos calculado sobre todos os pontos usados; troposfera, marés do corpo sólido, excentricidade da estação, movimento polar, UT1-UTC, atraso relativístico e relógios das estações estão ausentes e dentro desse resíduo. Como um erro de efemérides chega a uma covariância apenas pela direção de cada linha de visada, toda execução também resolve de novo o datum inteiro com todas as derivadas parciais inclinadas por sensitivity_tilt_deg (com sinal alternado) e emite a razão, de modo que a insensibilidade da covariância às efemérides modeladas é um número, e não um argumento. Os próprios valores da campanha simulada são EXECUTADOS e impressos ao lado 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 em um cronograma real — não um datum resolvido, não uma análise LLR e não um produto geodésico. A fatia de dados reais registrada acompanha o repositório, mas não o crate publicado; aponte data_dir para uma cópia dela.

  • Campos obrigatórios: (nenhum)
  • Campos 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

lunar-beacon#

Aumento por balizas de superfície de um serviço lunar de navegação em órbita, como uma tabela executável de antes e depois. Um usuário polar sul vê um conjunto orbital esparso em uma faixa estreita do céu, de modo que a geometria de medição de distância é mal condicionada; algumas BALIZAS DE SUPERFÍCIE LEVANTADAS TOPOGRAFICAMENTE fornecem as linhas de linha de visada de baixa elevação e amplo azimute que um conjunto todo sobre a cabeça não tem, e a diluição horizontal da precisão colapsa. O cenário informa três configurações em uma época -- só os satélites, os satélites mais as balizas visíveis, e uma constelação maior como caminho alternativo para a mesma geometria -- cada uma com as suas contagens de fontes visíveis, o seu DOP completo e a precisão realizada de 1 sigma em METROS, obtida multiplicando por um erro equivalente de medição de distância do usuário por baliza, montado como a raiz da soma dos quadrados 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 ar (sem atmosfera, de modo que o limite é exato), e a montagem do DOP é o mesmo núcleo verificado de forma cruzada contra o gnss_lib_py em tests/dop_reference.rs. POR QUE ESTE TIPO DE CENÁRIO EXISTE: o módulo por trás dele está no motor e é verificado contra um caminho de DOP independente desde L08/L09, mas não era alcançável a partir de uma execução -- sem tipo de cenário, sem ramo de despacho, sem arquivo incluído. O README anunciava a capacidade e a matriz de verificação NÃO trazia nenhuma linha para ela, de modo que ela era ao mesmo tempo afirmada na prosa e não afirmada no registro, enquanto era inalcançável no motor. Os valores padrão são a geometria que já tem um golden registrado (um usuário a -80 graus com uma antena de 2 m, três balizas em -80/0, -79/+60 e -79/-60 a 2 km, um instantâneo LCNS ilustrativo de seis satélites em t=0, uma máscara de 5 graus), de modo 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 posição das balizas e toda magnitude do orçamento de erros são entradas ilustrativas, não um levantamento em campo nem um enlace medido; apenas a aritmética do DOP, a forma fechada do horizonte e a relação sigma = DOP x sigma_URE têm âncora externa. Não é um compromisso de desempenho de serviço.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: user, beacons, n_satellites, comparison_n_satellites, epoch_s, elevation_mask_deg, clock_sync_m, multipath_m, survey_m

earth-gnss-lunar#

Recepçã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 receptor 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 BORDA 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 usuário 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 rastreamento. TAMBÉM INFORMA O CONDICIONAMENTO, porque é isso que define esta camada: todo 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 conformado 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)
  • Campos 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

lunar-infrastructure#

Estudos MODELLED da órbita e da superfície da Lua como infraestrutura de navegação e geodésica, cinco estudos sob um único tipo de cenário, selecionados por study: od-consistency (determinação de órbita a bordo por GNSS terrestre em uma NRHO ou ELFO contra determinação de órbita radiométrica independente em solo, julgadas pelas suas próprias covariâncias em um Monte Carlo com semente), carrier-phase (fase da portadora com dupla diferença conjunta entre superfície e orbitador e resolução de ambiguidade inteira com LAMBDA), frame-coestimation (uma estação de superfície e orbitadores acrescentados à medição de distância por estações terrestres para o datum de referencial lunar de sete parâmetros), space-tie (GNSS, VLBI e medição laser em uma mesma espaçonave, precisão da amarração de referencial contra o erro de amarraçã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 medição laser, rastreamento 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 declaradas; a numérica é verificada contra programas independentes e nada é comparado com uma medição de uma grandeza lunar.

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

cislunar-arc-recovery#

Teste MODELLED de estimador independente do limiar de observabilidade do comprimento de arco cislunar. Esse limiar é uma leitura de POSTO 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 fato 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. Ele não chama nenhuma linha de jacobiano analítico, nenhuma STM variacional, nenhuma decomposição em valores singulares ou autovalores, nenhuma tolerância de posto 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 grade de épocas são compartilhados 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 do posto, 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 grade 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 posto em rel_tol 1e-6 (razão 0,375) — o limiar de posto NÃO é corroborado como fronteira de recuperabilidade — enquanto a fronteira de estimabilidade medida cai na mesma célula da grade 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 grade de épocas, o único enlace rastreado, 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)
  • Campos 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

telecom-timing#

Temporização de telecomunicações: erro de tempo, erro máximo de intervalo de tempo (MTIE) e desvio de tempo (TDEV) de um holdover de GNSS, conferidos contra máscaras da ITU-T com PASS ou FAIL e uma margem por máscara. A entrada é um HOLDOVER SINTÉTICO (uma predefinição de oscilador -- ocxo, rubídio, césio ou csac, cada uma com os valores de estabilidade, envelhecimento e temperatura de um datasheet público e nomeado da Microchip -- mais o tempo de perda do GNSS, a duração do registro e o intervalo de amostragem; o relógio em operação livre tem ruído de frequência branco, flicker e, quando o ajuste ao datasheet exige, de passeio aleatório, envelhecimento linear e um termo senoidal de temperatura) ou uma SÉRIE INGERIDA de pares [time_s, time_error_ns] fornecidos em linha (e, apenas em compilações nativas, um arquivo CSV). Máscaras: ITU-T G.8272 (07/2025) PRTC-A e PRTC-B (max|TE| 100 / 40 ns, MTIE Tabelas 1-2, TDEV Tabelas 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC bloqueado (30 ns, Tabelas 1-2) e holdover de ePRTC-A (o envelope de erro de tempo da Tabela 3 que sobe de 30 ns a 100 ns ao longo do período de holdover H definido pela duração em bloqueio, MTIE Tabela 4, TDEV Tabela 5); G.8273.2 (2023) Amd. 2 (11/2025) classes A-C de T-BC/T-TSC (max|TE|, erro de tempo constante, MTIE e TDEV filtrados por passa-baixa) e classe D (max|TE_L| 5 ns, o único valor da classe D não deixado para estudo futuro); G.8271.1 (2022) Amd. 3 (05/2025) ponto de referência C (max|TE_L| 1100 / 600 / 100 ns com MTIE Tabelas 7-1 a 7-3). Toda entrada que uma Recomendação marca para estudo futuro está ausente em vez de preenchida, e cada relatório lista o que não está implementado. Informa também o tempo para exceder cada orçamento de erro de tempo máximo (padrões: 100 ns max|TE_HO| de ePRTC, 400 ns de alocação de holdover de rede, 1100 ns ponto C, 1,5 us classe 4), as curvas de MTIE/TDEV como uma tabela CSV com o limite de cada máscara, e uma entrada de unidades e proveniência por campo numérico. VALIDATED: os estimadores de MTIE e TDEV contra o pacote allantools em uma série de holdover versionada. MODELLED: as tabelas de máscaras são transcrições, e um holdover sintético é um modelo construído a partir de máximos de datasheet, não uma medição de qualquer unidade. Não é um teste de aderência à norma.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: seed, masks, budgets, holdover, series

slot-timing#

Temporização de slot: segundos até um relógio em operação livre sair da guarda de um slot de roteamento ou de atribuição de tarefas indexado no tempo (o maior erro de tempo absoluto que o slot tolera), a contribuição de cada termo nesse instante com o dominante indicado (incerteza da correção, ruído de fase branco, ruído de frequência branco, flicker, de passeio aleatório e de corrida aleatória, deslocamento de frequência residual, temperatura, envelhecimento), o tempo restante desde a última correção e o maior intervalo de correção que mantém o relógio dentro, descontada a latência da correção. O oscilador é um padrão de CLASSE (csac, uso, dsac, tcxo, ocxo ou rafs: um desvio de Allan de um segundo citado e um piso de ruído vermelho assumido), uma PREDEFINIÇÃO DE DATASHEET de temporização de telecomunicações ou um DATASHEET em linha (máximos do desvio de Allan ajustados como envoltória, mais envelhecimento e um coeficiente de temperatura), ou um REGISTRO DE FASE MEASURED em linha (seu desvio de Allan sobreposto ajustado por mínimos quadrados ponderados na base de ruído de fase branco e de modulação de frequência da IEEE Std 1139, de modo que o piso de ruído vermelho é medido em vez de assumido). Uma violação além do maior tempo de médias que o datasheet ou o registro suporta é sinalizada como extrapolada. Uma seção opcional de spoofing acrescenta o nível de proteção de temporização para um receptor em órbita: velocidade e período orbitais, por quanto tempo um único spoofer em solo alcança o satélite a cada passagem, o piso do monitor auxiliado pelo relógio e a latência de detecção do CUSUM, o limite condicional, o desvio que um spoofer com uma taxa de rampa máxima declarada acumula antes de o satélite sair do seu alcance ou de uma verificação independente ser executada, e se cada verificação de contato com o solo ou de crosslink é independente desse spoofer. VALIDATED: a inversão de holdover a partir de um registro ajustado, mantida de reserva em um relógio real de césio medido contra um maser de hidrogênio (tests/slot_timing_cs5071a_holdout.rs, condicionado a dados); em um oscilador de cristal medido, a predição reservada é conservadora, mas não está dentro do limiar, portanto o caso do cristal é MODELLED. MODELLED: as fontes de classe e de datasheet, os termos determinísticos e a avaliação de spoofing.

  • Campos obrigatórios: oscillator, slot
  • Campos opcionais: spoofing

spectrum#

Modelo de espectro da banda L e cascata (waterfall): toda a banda L do GNSS como uma única densidade espectral de potência (PSD), frequência na horizontal, tempo na vertical, ao longo de uma linha do tempo de jammers roteirizada. SINAIS: GPS L1 C/A e L2C (BPSK(1)), serviço aberto Galileo E1 (MBOC(6,1,1/11), ou BOC(1.1)), GPS L5 e Galileo E5a (BPSK(10)), cada um em sua portadora com a potência recebida mínima da especificação de interface (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD), salvo substituição; GLONASS, BeiDou e Galileo E6 não são modelados. JAMMERS: tom de onda contínua, ruído de banda estreita plano, chirp linear em dente de serra e ruído de banda larga casado com a própria modulação de uma banda, cada um com um centro, uma largura de banda, uma potência recebida (direta, ou EIRP e distância pela perda de percurso em espaço livre do tipo jamming) e instantes de ligar/desligar. Cada jammer é avaliado contra cada banda pelo seu coeficiente de separação espectral kappa sobre a largura de banda do receptor, e (C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1; para um jammer isso é igual à equação anti-jam do tipo jamming com Q = 1/(R_c kappa), e o relatório traz essa verificação cruzada (e, ao lado, o valor de Q representativo do tipo jamming). O piso de ruído é k T_sys com T_sys = T_ant + 290 K (F - 1). A cascata faz a média de cada célula sobre o seu bin e a sua linha (chirps exatamente, varreduras inteiras mais a parcial; jammers que comutam no meio da linha pelo seu ciclo de trabalho), de modo que a linha do tempo de C/N0 e a imagem vêm dos mesmos números; result.json traz a grade com média de blocos em potência, C/N0 e J/S por banda em cada linha, e por jammer e por banda o SSC, Q, J/S, J/S em banda e C/N0 em regime. [iq] opcional: o modelo gerado como IQ complexo em um instante, gravado e relido de uma gravação SigMF (cf32_le ou ci16_le), e comparado com uma estimativa de Welch. [recording] opcional (compilações nativas): a PSD de Welch de uma gravação SigMF real ao lado do modelo. VALIDATED: as PSDs dos sinais contra as larguras de lóbulo principal dos livros-texto (BPSK(n) 2n x 1,023 MHz de nulo a nulo; lóbulos de BOC(1.1) centrados em +/-1.023 MHz) e os coeficientes de separação espectral contra suas formas fechadas de Parseval e contra o Q = 1 (CW) e 1,5 (casado) de Kaplan & Hegarty. MODELLED: potências dos jammers, linha do tempo, larguras de banda do front-end, o tratamento de espectro contínuo (sem linhas de código) e a ausência de AGC, blanking e diagrama de antena.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: seed, duration_s, step_s, receiver, grid, bands, jammers, iq, recording

solar-system#

O sistema solar inteiro em uma época, para PNT (posicionamento, navegação e temporização) em torno de qualquer corpo. Para o Sol, os oito planetas, Plutão, a Lua, Fobos, Deimos, Io, Europa, Ganimedes, Calisto e Titã, informa a posição e a velocidade heliocêntricas no ICRF (Referencial Celeste Internacional, equatorial J2000), a distância heliocêntrica e a longitude e a latitude eclípticas J2000, o parâmetro gravitacional, o raio equatorial e médio, J2 onde publicado e seu raio de referência, o período de rotação sideral, o polo da IAU e o meridiano principal na época, uma trilha orbital amostrada ao longo de uma revolução (heliocêntrica para planetas, centrada no corpo-pai para luas), e o tempo de luz, a distância de ida e a de ida e volta, o atraso Shapiro solar e a separação do Sol a partir de um corpo observador (padrão Terra); vínculos extras de/para recebem o mesmo tratamento. Posições: os elementos keplerianos do JPL de Standish e Williams (Tabela 1 para 1800 d.C. a 2050 d.C., Tabelas 2a/2b para 3000 a.C. a 3000 d.C.) com o erro nominal de cada planeta, a série lunar de Montenbruck & Gill para a separação Terra-Lua, elementos médios do JPL com a taxa de rotação síncrona da IAU para as luas marcianas e galileanas, e o modelo de rotação da IAU para Titã. Tempo de luz: a solução radiométrica de ponto fixo, com o transmissor em sua posição retardada; newtoniano, com o atraso Shapiro informado separadamente. VALIDATED contra o JPL Horizons (DE441) dentro de duas vezes o erro nominal: de Mercúrio a Saturno e a Terra a partir da Tabela 1 (pior caso 1,87 vez o nominal) e os oito planetas a partir das Tabelas 2a/2b (pior caso 1,71 vez), e o tempo de luz da Terra a Marte e Júpiter. MODELLED, cada linha rotulada: Urano e Netuno a partir da Tabela 1 (2,0 e 5,2 vezes o erro nominal contra o DE441), Plutão (a linha de 1992; sem erro declarado), a Lua e as sete luas (medidas contra o Horizons, sem limite publicado).

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: epoch, epoch_jd_tdb, bodies, observer, track_points, table, links

body-pnt#

Posicionamento em torno de qualquer corpo do sistema solar: um orbitador ou um módulo de pouso na superfície em torno de um corpo central escolhido pelo nome (Marte, a Lua, Europa, Ganimedes, Titã e o restante do catálogo do sistema solar), navegando com pseudodistâncias unidirecionais de uma pequena constelação de navegação Walker em torno do corpo (órbitas de dois corpos com a deriva secular de J2 do próprio corpo, um relógio de usuário desconhecido) e, opcionalmente, uma medida de distância bidirecional de espaço profundo, sem relógio, a partir da Terra, cuja direção e distância vêm das efemérides analíticas do sistema solar em cada época. As linhas de visada são bloqueadas pela esfera média do corpo, e um usuário na superfície também precisa da máscara de elevação. Por época: relés em vista, se a Terra está acima do limbo, o GDOP e o PDOP apenas da constelação (diluição de precisão geométrica e de posição), a incerteza formal de posição de um sigma com e sem a linha da Terra, e o erro de uma solução de mínimos quadrados de Gauss-Newton com semente em cada caso; ao longo da execução: disponibilidade, visibilidade da Terra, PDOP mediano, erro RMS e sigma formal mediano, além do tempo de luz Terra-corpo, da ida e volta, do atraso de Shapiro e da separação do Sol na época. MODELLED: as órbitas dos relés, os níveis de ruído e o modelo de medida instantâneo são escolhas de modelagem, não validadas contra dados de navegação de uma missão; as constantes do corpo são os valores publicados citados em body.rs, e a geometria da Terra herda os rótulos das efemérides do sistema solar.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: body, epoch, epoch_jd_tdb, duration_s, step_s, seed, table, user, constellation, earth_link

constellation-design#

Projeto de constelações em escala: padrões Walker DELTA e Walker STAR na convenção i: T/P/F (nós distribuídos em 360 ou 180 graus, espaçamento no plano 360P/T, deslocamento de fase entre planos 360F/T), listas explícitas de elementos e projetos de várias camadas orbitais, várias constelações em uma única execução, em torno da Terra, da Lua, de Marte ou de qualquer outro planeta, de Plutão ou de uma lua importante, usando as constantes do módulo body (as mesmas que os tipos de cenário solar-system e body-pnt usam). PREDEFINIÇÕES a partir de elementos nominais publicados: gps-baseline e gps-expandable (as 24 posições e os seis pares expansíveis frente/trás do GPS Standard Positioning Service Performance Standard, 5ª edição 2020, Tabelas 3.2-1 a 3.2-3), galileo (Walker 24/3/1 a 29.599,801 km e 56 graus, Galileo Open Service Service Definition Document edição 1,1 Tabelas 1 e 23), beidou e beidou-meo (Walker 24/3/1 a 21.528 km e 55 graus mais três satélites geoestacionários a 80, 110,5 e 140 graus L e três satélites geossíncronos inclinados a 55 graus, BeiDou Open Service Performance Standard 3,0 seção 4,1; a fase MEO e o cruzamento geossíncrono inclinado em 118 graus L são modelados porque a norma não os especifica) e glonass (24/3/1 a 19.100 km e 64,8 graus a partir da fórmula de posições do GLONASS Interface Control Document edição 5,1 seção 5,2). COBERTURA E DILUIÇÃO DE PRECISÃO: sobre uma grade de latitude/longitude e uma janela amostrada com máscara de elevação, o número de satélites à vista, GDOP, PDOP, HDOP e VDOP por célula, a disponibilidade (uma solução com PDOP igual ou inferior a um limiar, 6 por padrão) por célula, globalmente (ponderada por área) e no pior local, com um relógio de receptor por constelação, a menos que clock = "common". Escala para milhares de satélites: a visibilidade é um produto escalar contra o semiângulo de cobertura de cada satélite, e os satélites são agrupados em faixas pela latitude do ponto subsatélite a cada época, de modo que uma linha da grade testa apenas os que podem estar à vista; o relatório conta os testes de pares economizados. O JSON traz os mapas da grade e traços no solo por satélite com amostragem reduzida. VALIDATED: o gerador Walker contra a Tabela 23 do Galileo OS SDD e a fórmula de posições do GLONASS ICD, a predefinição do GPS contra a coluna publicada de cruzamento equatorial da Tabela 3.2-1 do SPS PS, e a distribuição global de HDOP da linha de base do GPS contra o Apêndice B do SPS PS (mediana 0,94, 95% 1,25, média 0,96, tolerância 0,03). MODELLED: órbitas de dois corpos com J2 secular opcional, um corpo esférico, apenas visibilidade geométrica (sem potência de sinal, estado de saúde ou terreno), e a fase relativa entre sistemas diferentes, que não é um retrato de nenhuma data real.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: body, duration_s, step_s, mask_deg, pdop_threshold, grid_step_deg, lat_min_deg, lat_max_deg, lon_min_deg, lon_max_deg, clock, j2, track_points, max_tracks, constellation

campaign#

Campanha: tipos de cenário existentes compostos em uma só execução, com cada número lido de uma execução real do tipo de cenário nomeado. Quatro seções, em qualquer combinação. PHASES: uma missão encadeada em uma linha do tempo compartilhada -- cada fase executa um ou mais cenários (por exemplo jamming, depois spoofing, depois um relógio em holdover com um sistema de navegação inercial deslizando ao lado, depois um alarme de integridade, depois a recuperação), as suas saídas são lidas em canais nomeados (erro de tempo do relógio contra a sua guarda, relação portadora/densidade de ruído contra o piso de rastreamento, nível de proteção contra o limite de alerta, erro de posição, satélites rastreados, sinalizadores de alarme) por uma predefinição por tipo de cenário ou por caminhos de resultado explícitos, e reamostradas em uma grade comum por retentor de ordem zero, com fronteiras de fase e eventos; o estado é repassado por carry (um canal continua a partir do valor final da fase anterior), handoff (um número da fase anterior gravado no cenário desta fase) e end_at (uma fase termina em um instante que uma execução calculou, como o instante de detecção de um monitor de spoofing). SWEEP: uma grade sobre uma a três chaves de cenário com pontos de qualquer tipo de cenário (um segmento de número inteiro indexa um array de tabelas, como em system.2.sisre_m), com métricas lidas por caminho de resultado e, com execuções acima de uma, um conjunto de Monte Carlo com semente em cada nó. MONTE_CARLO: a realização k executa em base_seed + k; cada métrica informa média, desvio padrão, percentis 5º/50º/95º pelo posto mais próximo e um intervalo de confiança de 95% por bootstrap com semente fixa sobre a média. COMPOSE: vários cenários sob valores compartilhados (a potência e a posição de um jammer gravadas em um receptor marítimo e em um rodoviário), com um resumo combinado de melhor/pior caso. O resultado traz um hash de campanha, um resumo sobre o resultado de cada membro e uma entrada de unidades para cada número emitido; as exportações de interoperabilidade gravam cada cenário membro que tem geometria como seu próprio conjunto de arquivos. As identidades de composição são testadas: uma campanha de uma fase reproduz a execução isolada bit a bit, um conjunto de semente fixa é estável byte a byte e, em um relógio com ruído de frequência branco, a média do conjunto cai dentro do intervalo informado, com a dispersão coincidindo com sqrt(q_wf * tau). MODELLED: o carry aditivo e o retentor de ordem zero são escolhas de modelagem, e cada fase traz o rótulo do tipo de cenário que a executou.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: title, seed, timeline, phases, sweep, monte_carlo, compose

leo-signal#

Projetos de sinais LEO-PNT: sinais parametrizados de posicionamento, navegação e temporização (PNT) em órbita terrestre baixa (LEO), para qualquer sistema, banda e estrutura. Um SINAL é uma banda (frequência central, largura de banda de transmissão, alocação da UIT RNSS/RDSS/MSS/EESS/non-RNSS/other) e componentes (aquisição, dados, piloto; qualquer subconjunto), cada um com uma modulação (BPSK(n) com n fracionário, BOC(m,n), MBOC(6.1,p) ou uma banda plana do tipo OFDM), uma fração de potência, deslocamentos opcionais de subportadoras FDMA, um comprimento de código e uma taxa de dados. Os sinais vêm de arquivos de predefinições públicas compilados no programa (xona-pulsar, iridium-stl, starlink-soo, centispace, generic-c-band, generic-bands; cada um com o URL da sua fonte e todo valor não publicado rotulado REPRESENTATIVE) ou são escritos em linha. POR SINAL: a densidade espectral de potência limitada em banda e a fração da potência de cada componente que a banda de transmissão deixa passar (forma fechada do BPSK ao lado do valor numérico), a largura de banda RMS (Gabor), o jitter térmico de rastreamento de código da malha de captura de atraso em função de C/N0 e do espaçamento adiantado-atrasado, a partir da fórmula adiantado-atrasado coerente (ou não coerente) limitada em banda de Betz & Kolodziejski 2009, com a sua forma de manual para banda ilimitada e o seu limite de Gabor para espaçamento tendendo a zero, a precisão de medição de distância em metros, o espaço de busca de aquisição (células Doppler a partir do Doppler máximo da órbita mais os termos do oscilador e do usuário, vezes as células de código), a probabilidade de detecção de lei quadrática e o tempo médio de aquisição serial e paralela em código, o coeficiente de separação espectral do sinal em relação a GPS L1 C/A, Galileo E1, GPS L5, Galileo E5a, E5b e E5 AltBOC e de cada um deles em relação ao sinal com a degradação de C/N0, e os J/S de onda contínua, de banda larga e casado que o componente rastreado tolera, a partir do mecanismo de SSC do próprio tipo de cenário spectrum. UMA COMPARAÇÃO ENTRE BANDAS: atraso ionosférico de primeira ordem (40,3 TEC/f^2), perda no espaço livre, precisão de medição de distância com o mesmo C/N0 e com o mesmo EIRP, e tolerância a interferidores. VERIFICAÇÕES DE FORMA opcionais confrontam o espectro de um projeto com uma medição descrita (consistência MODELLED). VALIDATED: as formas fechadas da potência em banda do BPSK (90,3 % no lóbulo principal) e da largura de banda de Gabor, o jitter limitado em banda que se reduz à forma coerente adiantado-atrasado de manual e ao seu limite de Gabor, o coeficiente de separação espectral do BPSK deslocado contra a sua forma fechada de Parseval, a área unitária do espectro AltBOC, e o Doppler máximo em LEO contra os valores publicados do Xona Pulsar (32-34 kHz) e do Iridium (36 kHz). MODELLED: todos os projetos, as divisões de potência e os níveis de C/N0 e de interferidor; os espectros EFQPSK, CSK e OFDM são aproximados.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: presets, signals, receiver, acquisition, compatibility, trade, shape_checks, psd_points

leo-pass#

Passagem LEO e balanço de enlace, banda a banda, para LEO-PNT (posicionamento, navegação e temporização a partir de órbita terrestre baixa), agnóstico de sistema: um usuário (em terra, no mar, no ar ou em ambiente fechado, estático ou em movimento) e um ou mais satélites LEO a partir de uma PASSAGEM PROJETADA (uma órbita circular posicionada de modo que o usuário veja uma passagem de uma elevação máxima escolhida em um instante escolhido, heliossíncrona se pedido), ELEMENTOS explícitos, um TLE (conjunto de elementos de duas linhas) pelo SGP4 do motor, ou uma constelação WALKER construída pelo código constellation-design (as passagens mais altas informadas). As bandas vêm de uma predefinição nomeada (UHF/L/S/C genérica multibanda, banda C genérica, Xona Pulsar X1/X5, Iridium STL, Starlink como um sinal de oportunidade apenas de Doppler, CentiSpace, e uma predefinição opcional Celeste IOD marcada WORKSHOP) ou são escritas no cenário; cada predefinição declara se os seus números são PUBLIC (com URL), REPRESENTATIVE ou WORKSHOP. Por satélite, banda e época: elevação, azimute, distância, taxa de variação da distância e aceleração da distância; perda no espaço livre; EIRP e o ganho do diagrama do satélite (isofluxo, feixe gaussiano ou plano); ganho da antena do usuário em função da elevação (patch, hemisférica ou isotrópica); atenuação gasosa (ITU-R P.676-10 Anexo 2), atenuação por chuva (coeficientes da ITU-R P.838-3 e o procedimento da P.618-14, a partir de uma taxa de chuva e uma altura de chuva), cintilação troposférica (ITU-R P.618-14 seção 2.4.1), perda de penetração em edificações para um usuário em ambiente fechado (ITU-R P.2109-2), descasamento de polarização, temperatura de ruído do sistema e C/N0 (densidade de portadora sobre ruído); Doppler e taxa de Doppler em forma fechada a partir da taxa de variação e da aceleração da distância, cada uma conferida contra diferenças centrais; o atraso ionosférico de primeira ordem 40,3 STEC/f^2 a partir de um TEC oblíquo de Klobuchar ou de TEC vertical, escalado para a parte da ionosfera abaixo do satélite. Pares de bandas recebem os coeficientes livres de ionosfera, a amplificação de ruído e o ruído de código no pico da passagem. Satélites GNSS em MEO (predefinições do Galileo ou do GPS) são avaliados com o mesmo modelo de antena e de ruído a partir das potências recebidas dos seus documentos de interface, de modo que a passagem LEO em forma de sino e as portadoras GNSS planas compartilham um mesmo gráfico. Uma seção opcional [iot] fornece tempo até a primeira solução, energia por solução e vida útil da bateria em função do ciclo de trabalho para um orçamento de potência de receptor declarado (MODELLED). Cada par de bandas fornece também o TEC oblíquo que a sua combinação livre de geometria recupera no pico e o sigma de ruído de código dessa estimativa (sondagem da ionosfera). Uma seção opcional [spoofer] falsifica os sinais de uma posição alegada que salta ou é empurrada para longe da verdadeira depois de um início e executa dois monitores com probabilidades de falso alarme e de detecção perdida declaradas: consistência de Doppler e de geometria da passagem (taxas de variação da distância medidas contra as previstas a partir das órbitas e de uma posição e velocidade a priori independentes, um teste de qui-quadrado de mínimos quadrados generalizados sobre uma janela, nos canais GNSS, LEO e em todos) e consistência entre bandas (o passo de época a época da combinação livre de geometria, corrigida pelo modelo, de cada par de bandas LEO), informando estatísticas por época e quando cada monitor detecta (MODELLED). Componentes VALIDATED: perda no espaço livre, os coeficientes da P.838-3 contra a sua Tabela 5, os procedimentos de chuva e cintilação da P.618-14 e a perda de penetração em edificações da P.2109 contra os exemplos de validação do Grupo de Estudos 3 da ITU-R, a razão de atraso de grupo L1/L2 do IS-GPS-200 e o Doppler máximo de usuário estático em uma órbita circular contra a Tabela 1 do arXiv 2509,19551. MODELLED: EIRPs, diagramas, a fração de Chapman do TEC abaixo do satélite e a passagem inteira.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: epoch, duration_s, step_s, user, atmosphere, ionosphere, satellite, leo_constellation, gnss, iono_free_pairs, iot, spoofer, name, description, skyline

leo-navmsg#

Mensagem de navegação LEO: as efemérides e o relógio transmitidos de um satélite de posicionamento, navegação e temporização em órbita terrestre baixa (LEO), para qualquer órbita, portadora e modelo, com predefinições nomeadas opcionais (Xona Pulsar, Iridium, Starlink, CentiSpace, um sistema representativo em banda C, o modelo ATOMIC de relógio zero, Celeste IOD). CONTEÚDO: dados auxiliares (SVID, número de emissão dos dados, banda, saúde do sinal), sincronização (semana, tempo da semana, um polinômio de relógio de segunda ordem af0-af2 em torno de toc), efemérides em um de quatro modelos -- o conjunto kepleriano de 16 parâmetros do Galileo OS SIS ICD; esse conjunto mais polinômios de correção ao longo da trilha, transversais e radiais; o modelo de 22 parâmetros de Liu et al. 2025; um polinômio ECEF sem termos de relógio (ATOMIC de relógio zero) -- e outros serviços (um conjunto de transmissão de Klobuchar, ai0-ai2 do NeQuick-G com o nível efetivo de ionização, e parâmetros de tempo do sistema para UTC com a lógica de segundos intercalares do ICD). AJUSTADOR: uma órbita-verdade integrada com gravidade zonal J2-J6 ou EGM2008 até o grau escolhido e arrasto, e um relógio livre ou conduzido com semente; ajuste de Levenberg-Marquardt do conjunto kepleriano em elementos não singulares, depois polinômios de correção por mínimos quadrados lineares; relógio ajustado líquido do termo relativístico que o usuário acrescenta. ANÁLISES: fit-interval-trade (erro de distância do sinal no espaço, SISRE, com pesos médios globais para a altitude da órbita, em função do intervalo de ajuste e do período de atualização, apenas órbita e com relógio), model-comparison (quatro modelos, número de parâmetros, bits codificados e o ajuste do Kshana nas altitudes de Liu et al. ao lado dos valores publicados), midpass-update (a passagem mais alta sobre um usuário, o salto de posição, de relógio e de distância do usuário a cada troca de mensagem, o salto na pior geometria, PASS/FAIL contra um limiar de continuidade), encode-decode (o quadro binário documentado do próprio Kshana com CRC-24Q, um orçamento de quantização de meio passo por campo, uma verificação de quadro corrompido, uma exportação e importação de registro no estilo RINEX 4 rotulada como extensão do Kshana, e uma tabela CSV). VALIDATED: os pesos do SISRE contra a tabela MEO/GEO publicada (Montenbruck et al. 2018); o algoritmo de usuário do Galileo contra o RTKLIB em efemérides de transmissão reais do Galileo; o CRC-24Q contra o seu valor de verificação de catálogo e o quadro de exemplo RTCM 1005. MODELLED: todo valor de ajuste e de SISRE é erro de representação contra uma verdade integrada pelo Kshana (sem erro de determinação ou predição de órbita); a comparação com Liu et al. usa órbitas diferentes; os formatos de codificação e de texto são do próprio Kshana.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: name, description, seed, analysis, preset, orbit, clock, message, trade, comparison, midpass

leo-pvt#

Posicionamento, navegação e temporização (PNT) fundidos em órbita terrestre média (MEO) e baixa (LEO) sobre QUALQUER constelação: cada [[system]] é uma predefinição de GNSS do tipo de cenário constellation-design, uma predefinição LEO (xona-pulsar, iridium-stl, starlink-sop, centispace, generic-c-band, o modelo de efemérides atomic-zero-clock, ou outro arquivo de predefinição, cada um em seu próprio arquivo com as fontes marcadas PUBLIC, WORKSHOP ou DERIVED), camadas Walker ou conjuntos explícitos de elementos, com uma portadora, uma taxa de chips, um envelope de densidade de portadora sobre ruído (C/N0) da máscara de elevação até o zênite, um erro de distância do sinal no espaço (SISRE), um sigma de Doppler e um modelo de relógio (o seu próprio relógio de receptor, de modo que o viés entre sistemas é estimado, ou um deslocamento de transmissão conhecido). Quatro modos. DOPPLER: posicionamento em lote de Gauss-Newton a partir da taxa de variação da distância com derivadas parciais analíticas, estados de deriva do relógio e, opcionalmente, de velocidade e uma restrição opcional de altura, com um ou vários satélites, o erro em função da duração da janela, o envelope de Doppler, de taxa de Doppler e de jerk de cada sistema LEO, e a exatidão ao longo da trilha e transversal de uma única passagem em função do afastamento transversal (o erro transversal cresce sem limite à medida que a passagem fica sobre o usuário; uma única passagem também tem uma solução espelhada do outro lado do traço no solo). Um sinal de oportunidade apenas de Doppler (starlink-sop) roda aqui. CONJUNTO: soluções de pseudodistância por mínimos quadrados ponderados a cada época apenas com GNSS, apenas com LEO e com ambos, sigmas por medição de um modelo de ruído térmico de malha de captura de atraso em C/N0 mais o SISRE (ou um sigma fixo, para que um modelo de sinal possa alimentá-los), os vieses entre sistemas estimados, e PDOP/HDOP/VDOP em função do número de satélites LEO acrescentados. POLAR: satélites à vista e DOP em função da latitude para GNSS, LEO e ambos. TEMPORIZAÇÃO: transferência de tempo para o Tempo Universal Coordenado (UTC) a partir de satélites LEO em posição conhecida com um filtro de relógio de dois estados cujo ruído de processo vem das classes de osciladores do motor, em função do C/N0 e do oscilador, e a expressão do IS-GPS-200 de tempo do sistema para UTC; com [timing] trace = true cada linha também informa o seu erro de tempo e o sigma previsto a cada época. VALIDATED: o maior Doppler de uma passagem do zênite ao horizonte contra os valores publicados do Iridium (até 36 kHz) e do Xona Pulsar X1 (32 a 34 kHz). MODELLED: todo o resto; o DOP é conferido contra um caso derivado à mão, as soluções contra a sua covariância e o modelo de Doppler contra a identidade da aceleração da distância.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: mode, seed, duration_s, step_s, user, dll, doppler, joint, polar, timing, system, skyline

leo-ppp#

Convergência do posicionamento preciso por ponto (PPP) apenas com GNSS e com aumentação por LEO: um filtro de Kalman estendido flutuante sobre código e fase da portadora livres de ionosfera, com as coordenadas estáticas da estação, um relógio de receptor branco, um viés entre sistemas por sistema adicional, um atraso úmido zenital em passeio aleatório mapeado por 1/sin(elevação) e uma ambiguidade flutuante por arco de satélite; o erro de órbita e relógio preciso é branco e comum ao código e à fase de um satélite, de modo que cada satélite é uma atualização correlacionada de duas linhas em uma forma estabilizada de Joseph. As medições são simuladas a partir do mesmo modelo com ruído com semente em vários locais e sementes, e cada caso (primeiro apenas GNSS, depois cada [[case]] de sistemas LEO, de qualquer constelação ou predefinição) informa o tempo mediano de convergência (a primeira época depois da qual os erros horizontal e vertical permanecem abaixo dos limiares, 10 cm por padrão), a fração convergida, as curvas medianas de erro e a consistência do filtro (o NEES de posição médio da execução contra a faixa de qui-quadrado bilateral de 95%). Opcionalmente ao lado dos valores publicados de Li et al. (2019, J. Geod. 93:749, doi 10.1007/s00190-018-1195-2) em latitudes médias: 9,6 min para multi-GNSS reduzidos a 7,0, 3,2, 2,1 e 1,3 min com 60, 96, 192 e 288 satélites LEO. MODELLED: uma comparação de consistência da tendência, não uma reprodução das constelações, do ruído ou das estações desse estudo; sem resolução de ambiguidades, saltos de ciclo, phase wind-up, marés nem erros de produtos correlacionados no tempo.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: seed, duration_s, step_s, runs, criterion_horizontal_m, criterion_vertical_m, compare_li_2019, noise, site, gnss, case

ntn-positioning#

Posicionamento a partir de um enlace de descida de rede não terrestre (NTN) 5G no serviço móvel por satélite (MSS) na banda S (banda 3GPP n256, enlace de descida de 2170 a 2200 MHz; portadora padrão de 2172,5 MHz): o limite de Cramér-Rao (CRB) do tempo de chegada, c / (2 pi beta sqrt(2 (C/N0) T)), com beta a largura de banda quadrática média (de Gabor) do espectro OFDM plano (B/sqrt(12)), e do Doppler de um tom complexo, sqrt(3 / (2 pi^2 (C/N0) T^3)), para cada sinal (por padrão um canal New Radio de 5 MHz com 4,5 MHz ocupados e um canal de banda estreita de 200 kHz com 180 kHz ocupados); depois, sobre qualquer constelação LEO, soluções de tempo de chegada no enlace de descida com um relógio de receptor desconhecido (com semente, com o limite mais um erro de sincronização da rede como sigma), o seu PDOP e o sigma 3D formal, e uma solução Doppler de um único satélite na passagem mais longa com a altura mantida. MODELLED: o passo de largura de banda para limite é a forma fechada de manual, verificada contra a integração numérica dos espectros BPSK plano e limitado em banda (consistência interna, sem nenhum valor trabalhado publicado fixado), e a precisão de posicionamento é um limite em um canal sem multipercurso com um erro de sincronização declarado, não um resultado alcançado.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: seed, carrier_hz, signal, integration_s, doppler_integration_s, cn0_dbhz, sync_error_m, user, duration_s, step_s, system

leo-pnt-chain#

Um sistema LEO-PNT (posicionamento, navegação e temporização a partir de órbita terrestre baixa) de ponta a ponta, para qualquer constelação e sinal: o projeto leo-signal nomeado por signal_design (uma predefinição pública ou um projeto [signal] em linha) define o centro, a largura de banda, a taxa de chips e a divisão de EIRP de uma banda de [pass], o balanço de enlace do leo-pass fornece o C/N0 rastreado e o jitter de código limitado em banda ao longo da passagem, e uma reta de C/N0 em sin(elevação) e o SISRE de transmissão da mensagem [navmsg] (ajustado na altitude do satélite da passagem) alimentam todo sistema LEO da solução conjunta leo-pvt de [fusion] e, opcionalmente, os casos leo-ppp de [ppp]; cada transferência é listada com o seu valor e a sua unidade. MODELLED.

  • Campos obrigatórios: signal_design, pass, fusion
  • Campos opcionais: name, description, seed, signal, navmsg, od_sisre_m, ppp

contact-schedule#

Planejamento de contatos com o solo para vários satélites sobre várias estações: janelas de acesso aparentes (SGP4, referencial fixo à Terra IAU 2006/2000A, refração ITU-R P.834, tempo de luz), o volume de dados DVB-S2 ACM de cada passagem (limiares da Tabela 13 da ETSI EN 302 307-1) e um cronograma sem conflitos (um satélite por antena com um tempo de retorno, uma estação por satélite, entrega ponderada por prioridade limitada a cada backlog) por um método guloso de valor marginal, uma linha de base de ordem de chegada e um branch and bound exato em conjuntos pequenos, com a lacuna de otimalidade do método guloso. MODELLED.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

Um satélite sobre uma estação: a distância oblíqua, a elevação e o Es/N0 de cada passagem ao longo da passagem, o MODCOD DVB-S2 escolhido a cada passo (limiares da Tabela 13 da ETSI EN 302 307-1 mais uma margem de implementação) e o volume de dados que o ACM move em relação à linha de base de codificação constante que fecha na máscara. MODELLED.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: epoch, duration_hours, step_s, refraction, light_time, link, satellite, station

aocs#

Controle de atitude de espaçonave: uma manobra de apontamento inercial de um hub rígido com três ou mais rodas de reação balanceadas sob realimentação MRP (L = -K sigma - P omega), torques das rodas de norma mínima limitados ao limite de cada motor, RK4 com retentor de ordem zero; opcionalmente fechada sobre um EKF multiplicativo a partir de um giroscópio simulado (passeio aleatório de ângulo e de taxa) e um rastreador de estrelas. Informa o tempo de acomodação, o erro de apontamento final e de pico, a velocidade e o torque de pico das rodas, a fração saturada, a deriva do momento angular e, com o estimador, o seu erro de atitude e o NEES. A malha de estado verdadeiro é VALIDATED contra o Basilisk 2.9.1; o estimador é MODELLED.

  • Campos obrigatórios: hub_inertia_kg_m2, k_nm, p_nms, wheels, sigma0
  • Campos opcionais: duration_s, dt_s, sample_s, omega0_rad_s, pointing_threshold_deg, estimator

entry-heating#

Entrada atmosférica de massa pontual em 3-DoF sobre uma Terra esférica em rotação ou Marte (balística ou com sustentação a inclinação lateral constante), RK4, através da US76, de uma atmosfera exponencial ou da atmosfera de Marte, com aquecimento convectivo no ponto de estagnação de Sutton-Graves (NASA TR R-376): desaceleração de pico, fluxo de calor e pressão dinâmica, carga térmica, alcance longitudinal, uma verificação de energia no referencial em rotação e a forma fechada de Allen-Eggers ao lado. A desaceleração de pico é conferida contra o valor nominal publicado da Stardust; o aquecimento é MODELLED.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: body, atmosphere, rho0_kg_m3, scale_height_m, entry_interface_altitude_m, velocity_frame, entry_speed_m_s, flight_path_angle_deg, heading_deg, latitude_deg, longitude_deg, mass_kg, drag_coefficient, reference_area_m2, nose_radius_m, lift_to_drag, bank_angle_deg, rotating_planet, step_s, terminal_altitude_m, max_time_s

eo-radiometry#

Radiometria de imageador no nadir e qualidade de imagem: radiância na abertura de uma cena lambertiana, a equação da câmera, sinal e ruído de disparo/escuro/leitura/quantização e SNR; a MTF do sistema em Nyquist (difração x detector x arrasto x jitter), a resposta relativa de borda a partir dela, Q = lambda F/p e o NIIRS da GIQE versão 4 sem compensação de MTF. MODELLED.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: altitude_m, focal_length_m, aperture_m, pixel_pitch_um, wavelength_um, bandwidth_um, fill_factor, smear_px, jitter_px_rms, reflectance, solar_irradiance_w_m2_um, sun_zenith_deg, atmospheric_transmittance, path_radiance_w_m2_sr_um, optics_transmittance, integration_s, quantum_efficiency, dark_current_e_s, read_noise_e, full_well_e, adc_bits

ascent-losses#

Subida planar em curva gravitacional de um veículo de vários estágios sobre uma Terra esférica não rotativa, através da US Standard Atmosphere 1976 (subida vertical, chute de arfagem, empuxo ao longo da velocidade), integrando as perdas por gravidade, arrasto, direcionamento e contrapressão e verificando o dv ideal menos as perdas contra a velocidade de fim de queima; max-Q, aceleração de pico e estado de fim de queima. MODELLED.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: stages, payload_kg, drag_coefficient, reference_area_m2, kick_altitude_m, kick_angle_deg, kick_duration_s, step_s

time-transfer-budget#

Transferência bidirecional de tempo e frequência por satélite entre duas estações por meio de um relé geoestacionário: a equação bidirecional resolvida para T_A - T_B com todo termo não recíproco (atrasos do equipamento das estações, ionosfera em banda Ku, transponder, Sagnac), um orçamento de incerteza em quadratura cujo termo do tipo A é o TDEV do enlace simulado no tempo de médias, um enlace simulado com ruído de fase branco e flicker e uma não reciprocidade diurna, e a estabilidade (taxa, RMS residual, TDEV, ADEV) de qualquer série fornecida da Seção 1 da Circular T do BIPM, CSV MJD,ns ou registros de relógio de estação RINEX do IGS. MODELLED.

  • Campos obrigatórios: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
  • Campos opcionais: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

optical-atmosphere#

PNT óptico MODELLED através da atmosfera: para um enlace óptico e um conjunto de locais em solo com climas de nuvens declarados, informa a perda em céu limpo dependente do comprimento de onda e da elevação (lei de visibilidade de Kim mais Rayleigh), o estado de turbulência de Hufnagel-Valley (variância de Rytov, índice de cintilação, parâmetros gama-gama, média de abertura), a disponibilidade dirigida pelo tempo contra a margem do enlace (profundidade óptica das nuvens a partir de um clima log-normal de água líquida, extinção de óptica geométrica, desvanecimento por turbulência independente), a margem de enlace necessária para disponibilidades-alvo, a distribuição da duração de interrupções, o crescimento do erro de temporização e de medição de distância por interrupção pelo modelo de holdover do relógio, a disponibilidade com diversidade de locais correlacionada pela distância, e ganhos hipotéticos de técnicas de melhoria (comprimento de onda, abertura de recepção, redução de cintilação por óptica adaptativa, margem extra). VALIDATED como implementação das fórmulas declaradas contra uma referência independente em mpmath: variância de Rytov, índice de cintilação, probabilidade de desvanecimento gama-gama, fator de média de abertura, profundidade óptica de nuvens e de céu limpo. MODELLED: toda entrada de clima, de técnica e de relógio e as hipóteses de independência e de cópula; nenhum registro medido de disponibilidade foi comparado. Análise de caráter consultivo, não um produto certificado de disponibilidade ou de navegação.

  • Campos obrigatórios: (nenhum)
  • Campos opcionais: wavelength_nm, elevation_deg, availability_targets_pct, link, atmosphere, site, network, technique, clock, timeseries

holdover-test#

Teste de holdover MODELLED de um sistema de temporização, pontuado a partir de um registro de erro de tempo que o OPERADOR fornece (um log do ptp4l, phc2sys ou ts2phc do linuxptp, um log de tracking ou statistics do chrony, um log de relógio TICC, TimeLab ou RINEX, ou pares time_s,time_error_ns). O teste tem quatro etapas e o Kshana não executa nenhuma delas: uma LINHA DE BASE travada, GNSS REMOVIDO pelo operador (o cabo da antena ou a saída do simulador; o Kshana não transmite nem aciona nada) em um instante declarado, HOLDOVER no oscilador próprio do sistema e RECUPERAÇÃO depois que o operador restabelece o GNSS em um segundo instante declarado. O registro é dividido nesses dois instantes. Linha de base: estatísticas de erro de tempo e as máscaras da ITU-T escritas para um relógio travado. Holdover: estatísticas, o desvio fracionário de frequência que o sistema manteve (uma reta de mínimos quadrados), as máscaras escritas para holdover ou para um relógio autônomo, o envelope de holdover do ePRTC-A a partir da duração travada declarada e o tempo para exceder cada orçamento de erro de tempo. Recuperação: se e quando |TE| entrou em uma faixa declarada e permaneceu nela, o pico e o maior degrau. Todo limite é transcrito de uma tabela pública da ITU-T (as máscaras de temporização de telecomunicações); as palavras são 'medido em relação à máscara', e os dois instantes são uma declaração do operador, não verificada. Um registro curto demais para uma máscara é INCOMPLETE, nunca extrapolado. Ver docs/TIMING-HIL.md.

  • Campos obrigatórios: test, series
  • Campos opcionais: masks, budgets

gnss-ssv#

Disponibilidade e intensidade de enlace de GNSS MODELLED no Space Service Volume e além: para um usuário em uma esfera (a camada global do folheto do ICG) ou em uma trajetória kepleriana (de LEO a transferência lunar), conta, por constelação (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) e para todas em conjunto, os sinais utilizáveis acima de um limiar de C/N0 - disponibilidade de pelo menos um e de quatro sinais, duração máxima de interrupção, C/N0 recebido, diluição de precisão, enlaces de lóbulo principal contra lóbulo lateral - com um diagrama de transmissão do folheto, paramétrico ou fornecido pelo usuário, efeitos opcionais de ionosfera, plasmasfera e atmosfera em raios rasantes ao limbo e um projeto opcional de receptor de sinal fraco; também um filtro de Kalman estendido de GNSS a bordo para naves em HEO e em transferência lunar (dinâmica orbital, pressão de radiação solar, terceiros corpos, relógio) e a navegação relativa de uma formação de várias naves por pseudodistâncias de diferença simples. Conferido contra as tabelas do folheto SSV do ICG sob um pré-registro (xval/gnss-ssv)

  • Campos obrigatórios: shell|trajectory|navigation
  • Campos opcionais: name, constellations, transmit, receiver, atmosphere, formation

mission-thread#

Orçamento de erro de navegação e temporização MODELLED de uma cadeia declarada de fases de missão, do lançamento à reentrada: lançamento e ascensão, encontro e acoplagem em órbita baixa da Terra (repetível), injeção trans-lunar e cruzeiro cislunar, encontro em órbita lunar, descida, permanência na superfície, ascensão e o retorno e a reentrada, cada fase um de oito tipos registrados com seus próprios sensores e filtro. A covariância 6x6, o relógio e o referencial são transferidos de fase em fase sob uma regra declarada (carry, inflate ou reacquire); as conversões de referencial e de escala de tempo (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) são linhas próprias do orçamento, com o estado da Lua a partir de um recorte opcional do kernel DE440 e a série analítica como alternativa declarada. Uma sobreposição opcional da rede terrestre define o ciclo de rastreamento de cada fase. Informa o orçamento por fase (1-sigmas de entrada, de pico e de saída, cada contribuição com sua unidade), a margem em relação a um requisito declarado, o elo mais fraco, os eventos e uma figura de linha do tempo. MODELLED: todo número é uma entrada declarada; a cadeia segue uma única pilha e nenhum veículo é modelado. Apenas fontes públicas; sem afiliação nem aval de qualquer agência; software de caráter consultivo, não um equipamento de navegação certificado.

  • Campos obrigatórios: epoch_utc, entry, phase
  • Campos opcionais: kind, title, seed, moon_kernel_path, ground_network