Um só motor para toda a cadeia de falhas.

Propagação SGP4/SDP4 a partir de elementos reais de duas linhas (um instantâneo GPS do Celestrak incluído no repositório) ou de constelações Walker sintéticas cujos elementos médios realizam a fórmula i:T/P/F com menos de 1 km em 24 h. Visibilidade multiconstelação, diluição de precisão e disponibilidade GNSS, um otimizador de projeto de constelações, dimensionamento por ruas de cobertura, e um varrimento de projetos Walker que indica os projetos ótimos de Pareto sobre uma grelha de planos × satélites.

Um propagador numérico (de Cowell) que complementa o percurso analítico SGP4/SDP4, com um modelo de forças hierárquico: dois corpos + o campo zonal completo J2–J6, um geopotencial tesseral EGM2008 opcional até grau/ordem 70, gravidade de terceiro corpo do Sol e da Lua guiada pela época (efemérides integradas, sem núcleo DE/SPK), pressão de radiação solar com sombra cónica de umbra/penumbra, arrasto atmosférico, a correção relativista pós-newtoniana de Schwarzschild e o termo de arrastamento de referencial de Lense–Thirring — conduzido por uma escolha de integradores adaptativos RK4 com duplicação de passo ou Dormand–Prince RK5(4).

Nós de ΔV impulsivos com propagação de covariância 6×6, integração de queimas finitas verificada face à equação do foguetão de Tsiolkovsky com menos de 0,01 %, um solucionador de Lambert Izzo-2015 de uma só revolução e um propagador de Kepler de variáveis universais exato, e um varrimento porkchop (lançamento × chegada) de C3 / V∞ de chegada emitido como grelha de contornos JSON — a camada de simulação de desempenho acima do GMAT/Orekit.

Escalas IERS UTC / TAI / TT / UT1 com segundos intercalares, uma API de data juliana, o Ângulo de Rotação da Terra IAU-2000, referenciais TEME ↔ ECEF baseados em GMST e geodésicos WGS-84, nutação IAU 2000A/2000B completa e precessão IAU 2006, e a redução GCRS↔ITRS IAU 2006/2000A baseada no CIO, sem equinócio, com movimento polar do IERS — validada bit a bit face aos vetores SOFA/ERFA e verificada de forma independente face ao ANISE (SPICE em Rust puro): GCRS→ITRS vs ANISE ITRF93, os mesmos EOP do IERS, concordam até ≤ 0,86 m no solo / ≤ 3,6 m na órbita GNSS.

Um previsor de orientação da Terra de estilo operacional — mínimos quadrados sobre o enviesamento, a taxa e os principais termos periódicos ao longo de uma janela deslizante — medido face a previsões do Bulletin A genuinamente arquivadas e não face à persistência. A entrada predefinida offline é um produto IERS finals2000A real com linhas de previsão do Bulletin A, pelo que uma execução simples emite uma tabela por horizonte preenchida em vez de vazia. O UT1 e o movimento polar são indicados sobre um conjunto comum de linhas, juntamente com a sua combinação, pelo que o valor conjunto é uma só estatística e não uma soma em quadratura de duas amostras diferentes.

INS strapdown de três eixos — atitude por quaterniões, mecanização NED em WGS-84, compensação de coning/sculling e um modelo de erro de IMU determinístico completo — mais um acelerómetro de interferómetro de átomos frios de primeiros princípios (fase de Mach–Zehnder, ruído de projeção, decaimento de contraste, acoplamento de vibração) e um filtro de partículas para navegação sem GPS referenciada ao terreno/à gravidade.

Erro de posição face à duração sem GNSS a partir de um orçamento de erro de IMU — polarização, passeio aleatório e fator de escala, cada um com a sua lei de crescimento e a sua parte do cruzamento — pelo que o custo de uma falha de navegação é uma curva calculada e não uma taxa de deriva varrida. Os cruzamentos de limiar são saída do motor com a contribuição dominante indicada em cada um, para quatro classes de IMU, e um intervalo de solução de terreno é pontuado no seu próprio bloco para que os cruzamentos principais continuem sem assistência.

Um modelo de medição de gravímetro de átomos frios cujo patamar de ruído branco é derivado da física do acelerómetro CAI, um campo de anomalias gravíticas de harmónicas esféricas de baixo grau totalmente normalizadas mais mascons sintéticos, e um filtro de partículas de correspondência de mapa gravimétrico — estendido à navegação referenciada ao terreno face a um DEM de elevação SRTM (TERCOM/SITAN), a um campo magnético principal IGRF-14 até grau/ordem 13, e a um navegador combinado de gravidade + magnetismo + terreno que funde os três canais escalares. Um benchmark de 60 minutos sem GPS — uma falha de ~700 km / uma hora em que a solução inercial deriva para ~70 km — é recuperado para ~145 m por um correspondente hierárquico de grosseiro a fino: o objetivo Quantum Wayfarer do ESA NAVISP.

Um EKF de estado de erro de 15 estados que navega por inércia durante falhas de GNSS sobre uma solução inercial calibrada; um modo de pseudodistâncias de acoplamento forte que continua a corrigir com menos de quatro satélites; um filtro acoplado de relógio + posição; um estimador de Kalman unscented (pontos sigma) geral; um navegador GNSS/INS com filtro de Kalman unscented (UKF) de acoplamento forte validado até 0,77 m RMS durante uma falha de 120 s numa passagem LEO em curva; e um UKF GNSS/INS de acoplamento forte de 17 estados completo cuja navegação por estima quântica CAI atravessa a falha com o passeio aleatório de velocidade derivado do acelerómetro de átomos frios.

Recuperação de um estado orbital a partir do seguimento de distância por estações terrestres, compondo o modelo de forças de dois corpos + J2 e o integrador RK4 com um corretor diferencial em lote de Gauss–Newton (submétrico / mm·s⁻¹ a partir de distâncias sem ruído, ~2 m com um patamar de ruído de 5 m) e uma variante sequencial de filtro unscented.

Uma camada geral e reutilizável de informação de Fisher / Cramér–Rao (src/fim.rs): a matriz de informação M = HᵀWH, o limite inferior de Cramér–Rao, a característica de observabilidade e o espaço nulo do defeito de datum (pseudoinversa de Moore–Penrose), e escalares de projeto de experiências D/A/E/T-ótimos a partir de um solucionador de valores próprios de Jacobi simétrico. Sustenta o motor DOP, o limite de geolocalização passiva e o resultado de observabilidade de estações absolutas lunares — a medição de distâncias interna deixa um defeito de datum de corpo rígido de seis graus de liberdade que uma ligação VLBI de linha de base terrestre restaura para uma constelação esparsa e reforça para uma rica, fechando-se o datum absoluto em três estações terrestres não colineares.

Um propagador do problema circular restrito de três corpos (CR3BP) Terra–Lua no referencial rotativo — uma constante de Jacobi conservada e os cinco pontos de Lagrange — com uma matriz de transição de estado 6×6 e um corretor diferencial de tiro único que produz órbitas de halo / de halo quase retilíneas (NRHO) genuinamente periódicas: reproduz a NRHO L2 sul 9:2 publicada (a órbita do Gateway) com um período de ~6,57 dias e um perilúnio de ~3 250 km. Mais a geometria PNT cislunar LunaNet / LNIS (redução MCI↔MCMF, coordenadas selenográficas) com uma passagem ARAIM no polo sul lunar que revela com honestidade a lacuna de integridade: um σ_URE de ~30 m leva o nível de proteção muito acima de um limite de alerta de 50 m.

Realiza um referencial lunar solidário com o corpo a partir de uma campanha de observação: um ajuste de semelhança de Gauss–Newton ponderado sobre a geometria estação–refletor, indicando o datum, a sua covariância e o eixo pior determinado. O calibre acoplado de referencial e escala de tempo é transportado explicitamente em vez de absorvido, pelo que o défice de característica é visível no relatório em vez de enterrado numa pseudoinversa.

Varre uma constelação ilustrativa da classe Moonlight/LCNS sobre uma grelha selenográfica: visibilidade, diluição de precisão, cobertura e níveis de proteção ARAIM por época face a um limite de alerta configurável. A exatidão da medição de distância do sinal no espaço é um parâmetro, pelo que o varrimento responde a um requisito de medição de distância sobre todo o volume e não a um veredicto satisfaz/não satisfaz num único valor fixo.

Mede até que ponto três efemérides lunares de referência independentes realmente discordam, e converte isso numa lei de projeto: o orçamento de erro entre referencial e efemérides que um utilizador de vários fornecedores herda, e a tolerância de consistência que um fornecedor tem de respeitar para manter esse orçamento dentro de um limite declarado.

A álgebra linear de que uma constelação lunar autorreferenciada precisa para detetar as suas próprias falhas sem referência de terreno: o projetor de paridade ponderado na forma de pseudoinversa de característica deficiente que sobrevive ao calibre de datum e escala de tempo, a detetabilidade por nó, o enviesamento mínimo detetável de Baarda e as contagens de deteção/identificação de falhas bizantinas block-spark sobre geometria real entre nós a partir do DE440.

Substitui a campanha simulada por dados reais: 337 pontos normais arquivados de telemetria laser lunar do ILRS em cinco matrizes de retrorrefletores, cada observação ponderada pela sua própria precisão registada no ficheiro. As coordenadas dos refletores são um catálogo DE440 em eixos principais mantido sob o seu próprio nome de ficheiro, separado da tabela DE430 de Terra média — alimentar uma com a rotação da outra desloca um refletor em centenas de metros e nada protesta, porque ambas são coordenadas bem formadas.

Correções diferenciais entre uma estação de referência lunar e um utilizador. O cancelamento de modo comum é uma identidade exata; o resíduo de descorrelação espacial é um modelo geométrico de primeira ordem que cresce com a linha de base, e o orçamento de resíduos da ligação de correção é indicado ao lado para que o termo limitante fique visível em vez de diluído num só valor.

Tempos de cruzamento por classe de relógio para uma escala de tempo lunar — quando cada classe de oscilador deixa de satisfazer um limite declarado sem uma atualização — juntamente com uma observável de VLBI geodésico lunar e a informação de Fisher que contribui para o datum.

O volume de serviço corre sobre projetos de constelações publicados em vez de um ilustrativo: o conjunto de referência de cinco satélites da demonstração de interoperabilidade LANS, os casos de estudo LNCSS com 8, 12 e 16 satélites, e as quatro naves efetivamente em órbita lunar em 2023-01-01 a partir do JPL Horizons. Cada ficheiro indica o seu próprio referencial e a sua própria classe de proveniência, um horizonte para lá do fim de umas efemérides tabeladas é recusado em vez de extrapolado, e o resultado kepleriano ilustrativo é emitido ao lado do obtido, com a diferença entre eles, nunca substituído por este.

Relação jammer-sinal por satélite sobre distâncias oblíquas lunares reais, com o lado do sinal pretendido mantido como distribuição e não reduzido a uma mediana, para que o contorno de negação transporte a banda de incerteza que a geometria dos retransmissores realmente produz. São indicados dois critérios lado a lado: o limiar da razão de potência e a perda de bloqueio calculada a partir da dinâmica da malha de seguimento. A pegada de captura orbital é varrida em função da altitude e da largura de feixe do emissor e, onde a grelha nunca alcança a captura no limbo, o relatório di-lo e imprime a diferença em falta.

Acumula as derivadas parciais do atraso VLBI lunar numa matriz de informação de Fisher sobre um calendário de linhas de base por épocas e devolve a covariância das coordenadas das estações, pelo que o passo da precisão do atraso para o sigma das coordenadas é estimado e não presumido. A rede livre é indicada ao lado da de datum fixo, com o seu defeito de característica e a direção não observável identificados. A covariância de pontos à superfície é mantida distinta da das estações terrestres, porque a derivada parcial da baliza em campo próximo é uma diferença de dois vetores unitários de estações e não se comporta como o caso de campo distante.

Um motor aberto de navegação radiométrica do espaço profundo / de Marte: tempo-luz iterativo + atraso de Shapiro, Doppler e distância bidirecionais/unidirecionais/tridirecionais (duas pernas de Moyer), retransmissão coerente por transponder, medição de distância regenerativa/PN e Δ-DOR; E/S CCSDS-TDM; um filtro de informação de raiz quadrada de dinâmica reduzida (acelerações empíricas + relógio de bordo + arrasto de Marte) que faz a determinação de órbita em Mars-LMO num ciclo fechado sintético; fusão unidirecional+bidirecional; e uma constelação de retransmissores areostacionários MARCONI com um simulador de desempenho GSE de ponta a ponta.

A injeção de falhas dá ao monitor intermodal um poder de deteção em vez de um resultado satisfatório sem falhas: um enviesamento mínimo detetável por eixo para um orçamento declarado de falso alarme e de deteção falhada. Depois de uma transferência, o recrescimento da covariância é propagado face aos limites de alerta, pelo que o relatório indica durante quanto tempo a solução de modalidade única permanece dentro deles, e não apenas que a transferência foi contínua. Os troços de medição de distância ótico e RF só são comparados com o mesmo tempo de acumulação e o mesmo trajeto, e o relatório recusa-se a formar uma razão face a um valor que foi escolhido em vez de medido.

RAIM instantâneo e de separação de soluções com níveis de proteção horizontal e vertical (HPL/VPL), deteção e exclusão de falhas e diagramas de integridade de Stanford — mais um nível de proteção explícito de orçamento de risco de integridade (MHSS) com o modo de falha de toda a constelação em dupla/multiconstelação (ARAIM da UE / DO-316).

Os níveis de proteção MHSS do motor são executados face aos exemplos resolvidos publicados do próprio algoritmo aeroportado de referência do Grupo de Trabalho C UE-EUA, cada um transcrito com o seu URL de obtenção, data, página e SHA-256 do ficheiro e guardado em dois locais que um teste afirma concordarem. O vetor de aceitação é o Reference Airborne Algorithm Description Document v3.1, Apêndice D, internamente consistente. O relatório do Marco 3 contém dois defeitos internos — um erro de sinal na geometria e um multiplicador de falso alarme avaliado em 57 modos de falha enquanto o texto indica um — pelo que os seus níveis de proteção são indicados como discrepâncias medidas e não classificados, e os defeitos são demonstrados ao executar os próprios números do documento.

Níveis de proteção SBAS / WAAS na forma de mínimos quadrados ponderados do DO-229E (fatores K de aproximação de precisão e em rota) e a combinação de dupla frequência L1/L5 sem ionosfera (IS-GPS-705) que sustenta o DO-316, com a geometria dos níveis de proteção verificada face a uma implementação de álgebra linear de referência.

Holdover de Kalman de dois estados, estabilidade da família de Allan (ADEV / MDEV / TDEV / HDEV) com intervalos de confiança e um ajuste completo de lei de potência de cinco coeficientes IEEE-1139, e os métodos operacionais de transferência — TWSTFT com a forma fechada de Sagnac do BIPM, vista comum GNSS, transferência PPP sem ionosfera, uma ligação ótica em espaço livre com cintilação por turbulência e uma escala de tempo de conjunto de relógios por variância inversa. Uma calculadora de holdover de relógio sem GNSS inverte o crescimento do erro em funcionamento livre de van Loan para um holdover até ao limiar — durante quanto tempo um relógio funciona livremente antes de o seu erro de temporização exceder o orçamento — em classes de relógios clássicos e quânticos; modelado, e sem esconder que, para um relógio muito estável, o holdover até um limiar apertado é determinado pelo patamar de ruído de longo tau presumido, não pelo ADEV citado.

Síntese direta de pseudodistância / Doppler com ionosfera de Klobuchar (difundida) e IONEX / grelha TEC (medida) — incluindo um analisador de ficheiros IONEX, interpolação temporal e o mapeamento de obliquidade oblíqua de camada fina — troposfera de Saastamoinen + Niell e RAIM instantâneo.

Uma posição real de recetor resolvida a partir de pseudodistâncias de código RINEX reais + efemérides difundidas por mínimos quadrados ponderados iterados — correção de Sagnac/rotação da Terra, relógio difundido com TGD, a combinação de dupla frequência L1/L2 sem ionosfera (ou Klobuchar de frequência única), troposfera de Saastamoinen/Niell, ponderação por elevação, DOP e RAIM instantâneo.

Um modelo de jamming por orçamento de ligação (J/S → C/N₀ efetivo → perda de bloqueio), um detetor estocástico de spoofing de tempo (teste de energia de Neyman–Pearson / χ²₁ com P_fa/P_md por Monte Carlo e uma FoM de segurança de 1 − P_md) e um detetor de spoofing em várias camadas que funde um teste de paridade de consistência RAIM, um monitor de potência AGC de RF e um monitor de qualidade do sinal (SQM). Mais um orçamento de erro de navegação por estima quântico-inercial que compõe a deriva de ruído branco do interferómetro de átomos frios com o enviesamento residual (verificada face a um integrador independente) e o erro de fator de escala numa figura de deriva de posição ao longo do holdover — o gémeo inercial do holdover do relógio.

A camada de desempenho do sinal entre o orçamento de ligação e o domínio das medições: densidades espetrais de potência de área unitária para BPSK-R(n) e BOC(m,n) em seno, o coeficiente de separação espetral que deriva o Q anti-jam que o modelo de jamming consome diretamente dos espetros reais do sinal e do jammer, a largura de banda RMS (Gabor) que determina o conteúdo de informação de medição de distância (BOC > BPSK), o jitter de ruído térmico do seguimento de código por DLL coerente early–late, e a envolvente de erro de multipercurso coerente early-minus-late com supressão por correlador estreito, e um compromisso de projeto de códigos de medição de distância (lóbulo lateral da autocorrelação de sequências m/Gold e o limite de correlação cruzada de Gold de três valores, mais a inversão do comprimento do código para a distância sem ambiguidade). Isto é análise de desempenho do sinal, não projeto de hardware de carga útil de RF nem de antenas.

Localiza um jammer ou spoofer (ou uma fonte oportunista para PNT inverso) a partir de hiperboloides de diferença de tempo de chegada numa rede de recetores, resolvidos por mínimos quadrados de Gauss–Newton; acrescentar a diferença de frequência de chegada com recetores em movimento recupera em conjunto a posição e a velocidade do emissor, com o limite de Cramér–Rao sobre a covariância da posição a partir da geometria da rede. Um modelo de fonte pontual com linha de vista — sem termos de multipercurso / NLOS, enviesamento do relógio do recetor ou refração.

Ingestão de efemérides difundidas RINEX-3 multi-GNSS (GPS, Galileo, QZSS, BeiDou, GLONASS), um analisador de observações RINEX-3 (espera-se que o formato de observações RINEX 4,00 seja analisado, mas nenhum ficheiro 4,00 foi lido com ele; os ficheiros de navegação RINEX 4 são recusados pelo nome), um leitor/escritor de efemérides precisas SP3-c/d com interpolação de Lagrange, e exportação CCSDS OEM 2,0 + OMM (elementos médios) para ferramentas de dinâmica de voo (GMAT, Orekit, STK), e análise + emissão de mensagens de dados de seguimento CCSDS-TDM (503) para seguimento radiométrico do espaço profundo.

Uma referência cruzada requisito-módulo-teste-referência independente-estado gerada pelo próprio motor (Markdown/CSV), com invariantes de honestidade testados por unidades: uma linha só pode ser rotulada como validada se tiver uma referência independente externa (NIST / AIAA / SOFA / IGS / um valor publicado), de modo que uma verificação interna de autoconsistência não se possa fazer passar por validação — e as capacidades de hardware/PA que o Kshana não fornece ficam registadas como lacunas da responsabilidade de parceiros. A espinha dorsal executável de uma referência cruzada de verificação ECSS-E-ST-10-02.

Cada campo numérico que um cenário emite traz uma unidade e uma classe de proveniência retiradas de um vocabulário fechado, com uma definição onde exista, publicadas como um esquema legível por máquina ao lado do motor. Uma barreira progressiva executa todos os tipos de cenário incorporados e falha num campo que não traga nenhuma; os tipos de cenário ainda não completos são identificados um a um com o motivo por que cada um continua em aberto, e a lista só pode diminuir. Os relatórios que indicam as suas próprias constantes — o orçamento de ligação unidirecional, o orçamento ótico e de RF — permitem ao leitor recalcular o valor principal só a partir do relatório.

Orçamentos de projeto de missão de primeira ordem, cada um um cenário executável: geometria de lançamento e subida de dois corpos (azimute de lançamento, inclinação mínima, bónus de rotação da Terra, Δv de mudança de plano em dogleg, oportunidades diárias), um corredor de reentrada balística de Allen–Eggers (desaceleração máxima, velocidades de g máximo e de aquecimento máximo), geometria de cobertura de observação da Terra (faixa / GSD no nadir / acesso fora do nadir / revisita através do triângulo espacial SMAD), um orçamento de erro de atitude e apontamento a 3 graus de liberdade (binário de gradiente gravítico + orçamento de apontamento RSS), previsão de passagens sobre estações terrestres (AOS/TCA/LOS, elevação máxima, acesso) e um orçamento de ligação unidirecional sobre a equação de ligação CCSDS 401 / DSN 810-005 (FSPL, C/N₀, Eb/N₀, margem, fecho). A camada analítica pré-hardware abaixo do STK/GMAT/Basilisk — orçamentos de primeira ordem modelados, não uma substituição de 6 graus de liberdade nem radiométrica.

Entram um plano de contactos e uma contagem de aberturas; saem ciclo de trabalho de navegação, ciclo de trabalho de comunicações, falha por sessão e contenção. A política de arbitragem é indicada no relatório em vez de subentendida, e uma sessão que não pode ser totalmente servida indica a fração que se perdeu em vez de desaparecer numa média.

Um modelo de ambiente de meteorologia espacial: índices de atividade solar (F10.7 / F10.7a centrado em 81 dias) e geomagnética (Kp, com a tabela definicional Kp↔ap), a temperatura exosférica de Jacchia-1971 que eles determinam e a densidade neutra termosférica corrigida pela atividade face à estática, em altitude — a dependência da densidade do ciclo solar que uma atmosfera estática omite. Um acoplamento de primeira ordem calibrado por altura de escala, não uma atmosfera NRLMSISE validada com dados.

Um banco de ensaio de avaliação da deteção de perturbações de RF: um corpus sintético rotulado e fundamentado em parâmetros (nominal / jamming / spoof de tempo / spoof de posição / multipercurso), uma estrutura ROC/AUC independente do detetor que pontua qualquer detetor com Pd por classe para um Pfa alvo, e a diferença de otimismo dentro e fora da distribuição. Um estudo mais profundo da diferença de otimismo alarga-o a um painel de 13 detetores (energia / AGC / SQM / paridade mais detetores de regressão logística e de MLP de uma camada oculta com semente), leis de escala dentro e fora da distribuição com um nulo de permutação, e um previsor leave-one-out da degradação fora da distribuição; um front end de recetor definido por software (IQ/IF bruto para taps early/prompt/late do correlador até SQM) e adaptadores de ingestão de dados reais (RINEX, u-blox UBX, GnssLogger, JammerTest, Yunnan, SatGrid) permitem que os mesmos detetores corram sobre gravações fornecidas localmente. Mais um compromisso PNT quântico vs clássico que quantifica o benefício de holdover de temporização e inercial de um relógio candidato a partir de uma curva de ADEV medido face a uma linha de base clássica, com uma envolvente de resiliência versus tempo sem GNSS. Características operacionais modeladas — nunca dados de campo/IQ, sem veredicto de bom/mau.

Um mapa reprodutível de onde um sensor quântico ultrapassa o seu equivalente clássico sob incerteza de parâmetros: navegação por estima de átomos frios versus de classe de navegação e holdover de relógio ótico versus à escala de chip, ao longo da duração da falha e da vibração da plataforma, cada curva com uma etiqueta de maturidade tecnológica. Reprodutível através de cargo run --bin crossover_study. Orçamentos de desempenho modelados — as entradas são coeficientes publicados ou delimitados, não dados de voo.

Um limite, limitado pelo holdover, do erro de tempo não detetado sob spoofing de GNSS: dada uma verificação cruzada independente, o erro do tempo servido é limitado por um patamar de monitor de k sigma, pela variância em funcionamento livre de van Loan durante a latência de deteção e por um tempo até ao alarme CUSUM. Calibrado com um spoof real gravado (JammerTest 2024) e reprodutível através de cargo run --example tpl_jammertest. Composição modelada, condicional à deteção — não existe um limite incondicional finito, pois uma rampa suficientemente lenta escapa a um único monitor assistido por relógio.

Um motor de pontuação alinhado com um quadro de referência (categorias do DHS RPCF) que converte o comportamento simulado de uma arquitetura em subpontuações por dimensão e depois pergunta se alguma pontuação composta única ou Nível de maturidade é uma base estável para uma decisão — através de um simplex de ponderação de Dirichlet, da instabilidade de ordenação por tau de Kendall, de uma taxa de inversão do vencedor top-1 e do colapso de diversidade de modo comum (Hill-N2) — com um relatório de garantia com hash de integridade. Reprodutível através de cargo run --example resilience_report. Arquiteturas sintéticas modeladas alinhadas com o RPCF v2.0; uma autoavaliação, não uma certificação.

Uma ponte entre falha de deteção e integridade: um enviesamento não detetado deixado por uma deteção falhada de spoofing / jamming / RAIM aumenta o erro de posição efetivo que, comparado com limites de alerta específicos do contexto, é classificado nas regiões de integridade Stanford-ESA (disponível / indisponível / enganador / perigoso). Compõe a classificação de Stanford RAIM ancorada externamente; não acrescenta nenhuma matemática de integridade nova.

Uma lente de ROI por cobertura — custo por unidade de cobertura fornecida num compromisso de constelação / arquitetura. A componente de cobertura compõe a geometria de cobertura validada e a aritmética é testada por unidades, mas o custo é uma entrada do utilizador — pelo que a razão é um auxiliar de planeamento e não uma grandeza validada externamente (daí, com honestidade, não ter selo de prova).

Um envelope com versão e autodescritivo que envolve o resultado de um cenário com o seu tipo, a versão do esquema e as etiquetas de modelado/validado, para que um artefacto guardado continue a documentar-se a si próprio e os envelopes mais antigos continuem legíveis com compatibilidade para versões futuras.

Pontua se a solução de posição de navegação de uma embarcação é de confiança a partir do NMEA 0183 que o seu recetor e os seus instrumentos já emitem: uma pontuação de 0-100, três bandas e as razões por trás delas, por época, em lote, em direto ou como barreira. Os monitores comparam a solução de posição com o próprio movimento da embarcação, o sensor de rumo, a barquilha de velocidade e os níveis de sinal dos satélites. Software de caráter consultivo, não um equipamento de navegação homologado: o operador continua a ser responsável. A aritmética dos monitores é verificada face a bibliotecas independentes; a regra e os limiares da pontuação são do próprio projeto e continuam modelados.

Escreve NMEA 0183 de ponte sintético para uma viagem com guião, com eventos de jamming, arrastamento de posição, spoofing de tempo e replay definidos pelo instrutor, com um registo do instrutor, para que uma tripulação veja como é uma solução de posição degradada nos seus próprios instrumentos. Apenas texto, nunca para os sistemas de navegação em funcionamento de uma embarcação; nada é transmitido e nenhum sinal de rádio é produzido. As frases e os seus valores descodificados são verificados; os modelos do recetor, do céu e dos eventos são modelados.

Constrói um mapa GeoJSON diário de onde aeronaves (ADS-B) e navios (AIS) comunicaram dados de navegação degradados, a partir de dados de entrada de licença aberta, e a parte de uma rota que atravessa células degradadas. Uma célula degradada é uma afirmação sobre campos de exatidão comunicados ou posições implausíveis, não uma conclusão de interferência, e uma célula que ninguém observou não é prova de uma rota livre. Relatos passados, não uma previsão.

Exporta o fluxo de confiança como métricas Prometheus, OpenTelemetry (OTLP/HTTP) e eventos syslog CEF ou LEEF por stdout, HTTP, UDP ou TCP, para que um centro de operações de segurança veja uma falha de navegação junto dos seus outros alertas. Um recoletor inativo não bloqueia a avaliação nem passa despercebido. Prometheus, OTLP e CEF são lidos de volta por analisadores independentes; o LEEF é verificado apenas face à sua própria especificação.

Agrupa a janela em torno de um evento de confiança num pacote assinado com Ed25519 e ligado por cadeia de hashes, que qualquer pessoa pode verificar offline: um ficheiro alterado, removido, trocado ou acrescentado, um pacote reassinado ou uma chave fixada errada são identificados. Um token de data e hora RFC 3161 opcional fica associado a ele. Um registo técnico, não um parecer jurídico, uma apreciação de factos nem uma atestação.

Escreve o movimento do veículo e os eventos de um cenário como uma trajetória CSV e NMEA 0183 para um simulador GNSS de laboratório: colunas fixas à Terra, geodésicas e de velocidade local, atitude e UTC. Apenas movimento e eventos: nenhum sinal é escrito e nenhum desempenho de simulador ou de recetor é afirmado.

Mapeia as saídas do Kshana para as cláusulas de quadros públicos (orientações da IMO para navios, NIS2 da UE Artigo 21, EN 16803, o quadro de PNT resiliente do DHS dos EUA e as orientações da EASA para a aviação) apenas por número de cláusula, preenchido a partir das execuções que lhe forem dadas, e indica quais as linhas que um conjunto de execuções fornece elementos de prova em apoio de, com a lacuna de cada linha. Não é uma conclusão de que algum quadro seja satisfeito nem uma classificação ou aprovação por parte de quem quer que seja.

Um verificador aberto, em Rust puro, do lado do recetor para a Autenticação da Mensagem de Navegação do Serviço Aberto Galileo: verifica os dados de navegação de que satélites um recetor consegue autenticar a partir de páginas I/NAV ou de um fluxo UBX da u-blox, através das verificações de chave pública, cadeia de chaves e etiqueta da especificação do sinal no espaço, e indica a autenticação por satélite e por instante. Autentica dados; não afirma qualquer desempenho antispoofing.

Que satélites um local consegue ver quando edifícios, cais, gruas ou terreno bloqueiam parte do céu, e o que isso faz à diluição de precisão (DOP) e à elipse de erro horizontal. Uma linha de horizonte dependente do azimute substitui o limite de elevação único; o conjunto visível, o seu DOP e a elipse saem por época e por constelação. Uma linha de horizonte remove os satélites com linha de vista e nada mais: não modela reflexões, difração nem intensidade de sinal.

As reduções de canyon de rua, de setor e de terreno a uma tabela de linha de horizonte, quatro predefinições representativas (rua de cidade, aproximação a porto, fiorde, terminal de contentores) e as funções que as compõem num diagrama do céu e numa nuvem de Monte Carlo, a partir da CLI, do MCP, do Python e do navegador. As predefinições são geometrias representativas com dimensões escolhidas e declaradas, não levantamentos, e as reduções são verificadas apenas face a valores calculados à mão.

Coloca a geometria dos satélites ao lado da pontuação de confiança do recetor e indica uma classe em cada dedução: perda de sinal, geometria fraca ou uma inconsistência entre o DOP declarado pelo recetor e o derivado dos satélites à vista. A geometria só é avaliada quando é conhecida, e a etiqueta é o principal: só uma geometria fraca custa pontos. Software de caráter consultivo, não um equipamento de navegação homologado.

Um estudo reprodutível do que uma estação de referência no polo sul lunar poderia fazer sob pressupostos públicos: um mapa de cobertura e exatidão sobre a região polar (percentis do erro de posição corrigido e não corrigido, disponibilidade com um motivo para cada época indisponível, níveis de proteção e o orçamento da ligação de correção), um laboratório de tempo que mantém uma referência de tempo lunar num relógio atómico, e a geodesia de um retrorrefletor laser acrescentado e de uma baliza VLBI face ao datum das cinco matrizes. Cada entrada é rotulada com a sua fonte pública ou como ilustrativa. Não é uma afirmação sobre o desempenho de qualquer sistema real, e o Kshana não é afiliado a nenhuma agência.

Com que frequência uma ligação ótica de transferência de tempo está ativa quando a atmosfera está no caminho. Para cada local em terra, o motor indica a perda em céu limpo, o estado de turbulência de Hufnagel-Valley com desvanecimentos de cintilação gama-gama e média de abertura, a disponibilidade face à margem da ligação a partir de um clima de nuvens declarado, o teto que nenhuma margem consegue elevar, a distribuição da duração das falhas e o erro de temporização que uma falha custa a um relógio em holdover. Mostra depois o que ganham locais adicionais, uma abertura maior, outro comprimento de onda ou ótica adaptativa. Os climas de nuvens incluídos são ilustrativos, não medidos; a saída é consultiva.

Para uma nave numa esfera (a camada global do caderno do Space Service Volume do ICG) ou numa trajetória kepleriana de LEO até à transferência lunar, conta por constelação (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) e para todas em conjunto os sinais acima de um limiar de C/N0: disponibilidade de um e de quatro sinais, falha mais longa, C/N0 recebido, diluição de precisão e ligações de lóbulo principal face a lóbulo lateral. Os diagramas de emissão são os do caderno, um substituto paramétrico ou um que forneça; um modelo de ionosfera, plasmasfera e atmosfera com raio rasante e o projeto de um recetor de sinais fracos são opcionais; estão incluídos um filtro GNSS de bordo para órbitas altas e de transferência lunar e a navegação relativa em formação. MODELLED: comparado com as tabelas do caderno sob um pré-registo fixado antes da execução, as constantes de potência radiada mínima e o limiar lunar concordam, os restantes limiares são NOT MET sob a leitura pré-registada (quase todos devido ao ângulo de feixe GLONASS inconsistente do caderno), e o substituto paramétrico de lóbulo lateral não reproduz os diagramas medidos do painel GPS.

Cinco estudos num modelo restrito de três corpos: uma determinação de órbita GNSS terrestre a bordo numa órbita de halo quase retilínea face a uma determinação independente de distância e taxa de distância a partir do solo; a fixação conjunta da ambiguidade inteira da fase da portadora de uma estação de superfície e de um orbitador (LAMBDA); a informação de Fisher de um datum lunar de sete parâmetros com e sem distâncias orbitador-superfície; desvios de GNSS, VLBI e telemetria laser face à ligação local; e a sensibilidade aos parâmetros de maré e libração lunares. MODELLED com entradas ilustrativas: a parte numérica é verificada face a programas independentes de numpy e scipy, não a física. Sob os limiares pré-registados, três são NOT MET: um erro de força injetado não é detetado à taxa declarada (C3), a taxa de sucesso por bootstrap difere da referência numpy em 1.7e-6 face a um limiar de 1e-9 (Q3), e acrescentar uma família de medição de distâncias nem sempre reduz o traço da pseudoinversa (G3, metade do traço).