Um só motor para toda a cadeia de falhas.

Propagação SGP4/SDP4 a partir de elementos reais de duas linhas (um instantâneo de GPS do Celestrak registrado) 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 de várias constelações, diluição de precisão e disponibilidade de GNSS, um otimizador de projeto de constelações, dimensionamento por ruas de cobertura e uma varredura de projetos Walker que informa os projetos ótimos de Pareto sobre uma grade de planos × satélites.

Um propagador numérico (Cowell) que complementa o caminho 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 conduzida pela época (efemérides embutidas, sem kernel DE/SPK), pressão de radiação solar com sombra cônica de umbra/penumbra, arrasto atmosférico, a correção relativística pós-newtoniana de Schwarzschild e o termo de arrasto de referencial de Lense–Thirring, conduzido por uma escolha entre integradores adaptativos RK4 com duplicação de passo ou Dormand–Prince RK5(4).

Nós de ΔV impulsivo com propagação de covariância 6×6, integração de queima finita verificada contra a equação do foguete de Tsiolkovsky com menos de 0,01 %, um resolvedor de Lambert de revolução única de Izzo-2015 e um propagador de Kepler exato em variáveis universais, e uma varredura porkchop (lançamento × chegada) de C3 / V∞ de chegada emitida como grade de contornos em JSON, a camada de simulação de desempenho acima de GMAT/Orekit.

Escalas UTC / TAI / TT / UT1 do IERS 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 completa IAU 2000A/2000B e precessão IAU 2006, e a redução GCRS↔ITRS IAU 2006/2000A baseada em CIO, sem equinócio, com movimento polar do IERS, validada bit a bit contra os vetores SOFA/ERFA e verificada de forma independente contra o ANISE (SPICE em Rust puro): GCRS→ITRS vs ANISE ITRF93, mesmo EOP do IERS, concordam em ≤ 0,86 m no solo / ≤ 3,6 m na órbita GNSS.

Um preditor de orientação da Terra de estilo operacional, com mínimos quadrados sobre viés, taxa e os principais termos periódicos ao longo de uma janela retroativa, medido contra predições do Bulletin A genuinamente arquivadas e não contra a persistência. A entrada padrão offline é um produto real finals2000A do IERS com linhas de predição do Bulletin A, de modo que uma execução simples emite uma tabela por horizonte preenchida em vez de vazia. UT1 e movimento polar são informados sobre um conjunto comum de linhas junto com sua combinação, de modo que a cifra conjunta é uma única estatística e não uma soma em quadratura de duas amostras diferentes.

INS strapdown de três eixos, com atitude por quatérnion, mecanização NED WGS-84, compensação de coning/sculling e um modelo completo de erro de IMU determinístico, 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 a terreno/gravidade.

Erro de posição contra a duração da navegação, a partir de um orçamento de erro de IMU (viés, passeio aleatório e fator de escala, cada um com sua própria lei de crescimento e sua própria parcela do cruzamento), de modo que o custo de uma interrupção de navegação é uma curva calculada e não uma taxa de deriva varrida. Os cruzamentos de limite são saída do motor, com a contribuição dominante indicada em cada um, em quatro classes de IMU, e um intervalo de correção de terreno é pontuado em seu próprio bloco, de modo que os cruzamentos principais permaneçam sem auxílio.

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

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

Recuperação de um estado orbital a partir do rastreamento de distância por estação em solo, 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 piso 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, o posto de observabilidade e o espaço nulo do defeito de datum (pseudoinversa de Moore–Penrose), e escalares de projeto de experimento ótimos D/A/E/T a partir de um autosolucionador de Jacobi simétrico. Ela sustenta o motor de DOP, o limite de geolocalização passiva e o resultado de observabilidade de estação absoluta lunar: a medição de distância interna deixa um defeito de datum de corpo rígido de seis DOF que um vínculo de VLBI de linha de base terrestre restaura para uma constelação esparsa e refina para uma rica, fechando-se o datum absoluto em três estações terrestres não colineares.

Um propagador do problema restrito circular de três corpos (CR3BP) Terra–Lua no referencial rotativo, com constante de Jacobi conservada e todos 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 / halo quase retilíneas (NRHO) genuinamente periódicas: reproduz a NRHO L2 sul 9:2 publicada (a órbita do Gateway) com período de ~6,57 dias e perilúnio de ~3.250 km. Mais a geometria de PNT cislunar LunaNet / LNIS (redução MCI↔MCMF, coordenadas selenográficas) com uma passagem de ARAIM no polo sul lunar que expõe honestamente 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 fixo ao corpo a partir de uma campanha de observação: um ajuste de similaridade de Gauss–Newton ponderado sobre a geometria estação–refletor, informando o datum, sua covariância e o eixo pior determinado. O gauge acoplado de referencial e escala de tempo é carregado explicitamente em vez de absorvido, de modo que a deficiência de posto fica visível no relatório e não enterrada em uma pseudoinversa.

Varre uma constelação ilustrativa da classe Moonlight/LCNS sobre uma grade selenográfica: visibilidade, diluição de precisão, cobertura e níveis de proteção de ARAIM por época contra um limite de alerta configurável. A exatidão de alcance do sinal no espaço é um parâmetro, de modo que a varredura responde a um requisito de alcance sobre todo o volume e não a um simples atendido ou não atendido em um único valor fixo.

Mede o quanto três efemérides lunares independentes de referência realmente discordam e transforma isso em uma lei de projeto: o orçamento de erro entre referencial e efemérides que um usuário de provedores mistos herda, e a tolerância de consistência que um provedor precisa manter para conter esse orçamento dentro de um limite declarado.

A álgebra linear de que uma constelação lunar autorreferente precisa para detectar suas próprias falhas sem verdade de referência: o projetor de paridade ponderado na forma de pseudoinversa de posto deficiente que sobrevive ao gauge de datum e escala de tempo, a detectabilidade por nó, o viés mínimo detectável de Baarda e contagens de detecção/identificação de block-spark bizantino sobre a geometria real entre nós do DE440.

Substitui a campanha simulada por dados reais: 337 pontos normais arquivados de telemetria a laser lunar do ILRS em cinco arranjos de retrorrefletores, cada observação ponderada por sua própria precisão registrada, extraída do arquivo. As coordenadas dos refletores formam um catálogo DE440 de eixos principais mantido sob seu próprio nome de arquivo, 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 reclama, porque ambas são coordenadas bem formadas.

Correções diferenciais entre uma estação de referência lunar e um usuário. O cancelamento de modo comum é uma identidade exata; o resíduo de decorrelação espacial é um modelo geométrico de primeira ordem que cresce com a linha de base, e o orçamento de resíduo do enlace de correção é informado ao lado, de modo que o termo limitante permaneça visível e não seja diluído em um único número.

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

O volume de serviço usa projetos de constelação publicados em vez de um ilustrativo: o conjunto de referência de cinco satélites da demonstração de interoperabilidade LANS, os estudos de caso LNCSS com 8, 12 e 16 satélites e as quatro espaçonaves realmente em órbita lunar em 2023-01-01, obtidas do JPL Horizons. Cada arquivo declara seu próprio referencial e sua própria classe de proveniência, um horizonte além do fim de uma efeméride tabulada é recusado em vez de extrapolado, e o resultado kepleriano ilustrativo é emitido ao lado do obtido, com a diferença entre eles, e nunca substituído por ele.

Razão jammer-sinal por satélite sobre distâncias oblíquas lunares reais, com o lado do sinal desejado mantido como distribuição e não reduzido a uma mediana, de modo que o contorno de negação traga a faixa de incerteza que a geometria do relé de fato produz. Dois critérios são informados lado a lado: o limiar da razão de potência e a perda de travamento calculada a partir da dinâmica da malha de rastreamento. A pegada de captura orbital é varrida sobre a altitude do transmissor e a largura de feixe e, onde a grade nunca alcança a captura no limbo, o relatório diz isso e imprime a diferença que falta.

Acumula as derivadas parciais do atraso do VLBI lunar em uma matriz de informação de Fisher sobre um cronograma de linhas de base por épocas e devolve a covariância das coordenadas das estações, de modo que a passagem da precisão do atraso para o sigma de coordenadas é estimada e não presumida. A rede livre é informada ao lado da de datum fixo, com seu defeito de posto e a direção não observável identificados. A covariância do ponto de superfície é mantida distinta da da estação terrestre, porque a derivada parcial da baliza em campo próximo é uma diferença de dois vetores unitários de estação e não se comporta como o caso de campo distante.

Um motor aberto de navegação radiométrica de espaço profundo / Marte: atraso de tempo de luz iterativo + atraso de Shapiro, Doppler e distância de duas / uma / três vias (Moyer, duas pernas), retransmissão coerente de transponder, medição regenerativa/PN e Δ-DOR; E/S CCSDS-TDM; um Square-Root Information Filter de dinâmica reduzida (acelerações empíricas + relógio de bordo + arrasto em Marte) que faz a determinação de órbita em Mars-LMO em malha fechada sintética; fusão de uma via + duas vias; e uma constelação de relés areoestacionários MARCONI com um simulador de desempenho GSE de ponta a ponta.

A injeção de falhas dá ao monitor entre modalidades um poder de detecção, e não uma execução sem falhas: um viés mínimo detectável por eixo para um orçamento declarado de alarme falso e de detecção perdida. Após uma transferência, o recrescimento da covariância é propagado contra os limites de alerta, de modo que o relatório declara por quanto tempo a solução de uma única modalidade permanece dentro deles, e não apenas que a transferência foi contínua. Os trechos de medição óptico e RF são comparados somente com o mesmo tempo de acumulação e o mesmo caminho, e o relatório se recusa a formar uma razão contra um valor que foi escolhido e não medido.

RAIM de instantâneo e de separação de soluções com níveis de proteção horizontal e vertical (HPL/VPL), detecçã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 para dupla/múltiplas constelações (ARAIM da UE / DO-316).

Os níveis de proteção MHSS do motor são executados contra os exemplos resolvidos publicados do algoritmo aerotransportado de referência do Grupo de Trabalho C UE-EUA, cada um transcrito com sua URL de obtenção, data, página e SHA-256 do arquivo e mantido em dois lugares cuja concordância um teste verifica. O vetor de aceitação é o Reference Airborne Algorithm Description Document v3.1, Apêndice D, internamente consistente. O relatório do Marco 3 traz dois defeitos internos, um erro de sinal na geometria e um multiplicador de alarme falso avaliado em 57 modos de falha enquanto o texto declara um, de modo que seus níveis de proteção são informados como discrepâncias medidas e não classificados, e os defeitos são demonstrados executando 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 livre de ionosfera (IS-GPS-705) que sustenta o DO-316, com a geometria dos níveis de proteção verificada contra uma implementação de referência de álgebra linear.

Holdover com filtro de Kalman de dois estados, estabilidade da família 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, visada comum por GNSS, transferência livre de ionosfera por PPP, um enlace óptico 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 de navegação inercial sem GNSS de van Loan para um holdover até o limite, isto é, por quanto tempo um relógio funciona em regime livre antes que seu erro de temporização exceda o orçamento, em classes de relógios clássicos e quânticos; modelada, e franca em dizer que, para um relógio muito estável, o holdover até um limite estreito é determinado pelo piso de ruído de tau longo presumido e não pelo ADEV citado.

Síntese direta de pseudodistância / Doppler com ionosfera de Klobuchar (transmitida) e IONEX / grade de TEC (medida), incluindo um analisador de arquivos IONEX, interpolação no tempo e o mapeamento de obliquidade oblíqua em casca fina, troposfera de Saastamoinen + Niell e RAIM de instantâneo.

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

Um modelo de jamming por orçamento de enlace (J/S → C/N₀ efetivo → perda de travamento), um detector estocástico de spoofing de tempo (teste de energia de Neyman–Pearson / χ²₁ com P_fa/P_md por Monte Carlo e uma Security FoM de 1 − P_md) e um detector de spoofing em múltiplas camadas que funde um teste de paridade de consistência RAIM, um monitor de potência AGC de RF e um monitor de qualidade de sinal (SQM). Mais um orçamento de erro de navegação por estimativa inercial quântica que compõe a deriva de ruído branco do interferômetro de átomos frios com viés residual (verificado contra um integrador independente) e erro de fator de escala em uma 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 enlace e o domínio de medição: densidades espectrais de potência de área unitária para BPSK-R(n) e BOC-seno(m,n), o coeficiente de separação espectral que deriva o Q antijamming que o modelo de jamming consome diretamente dos espectros reais do sinal e do jammer, a largura de banda RMS (Gabor) que define o conteúdo de informação de distância (BOC > BPSK), o jitter de ruído térmico do rastreamento de código por DLL coerente adiantado–atrasado, o envelope de erro de multipercurso coerente adiantado-menos-atrasado com supressão por correlador estreito, e um compromisso de projeto de código de distância (lóbulo lateral de autocorrelação de sequência-m/Gold e o limite de correlação cruzada de Gold de três valores, mais a inversão de comprimento de código para distância não ambígua). Esta é uma análise de desempenho de sinal, não projeto de carga útil de RF nem de hardware de antena.

Localizar um jammer ou spoofer (ou uma fonte oportunista para PNT reverso) a partir de hiperboloides de diferença de tempo de chegada em uma rede de receptores, resolvido por mínimos quadrados de Gauss–Newton; ao se acrescentar a diferença de frequência de chegada com receptores em movimento, recuperam-se conjuntamente a posição e a velocidade do emissor, com o limite de Cramér–Rao sobre a covariância de posição a partir da geometria da rede. Um modelo de fonte pontual com linha de visada, sem termos de multipercurso / NLOS, de viés de relógio do receptor ou de refração.

Ingestão de efemérides de transmissão RINEX-3 multi-GNSS (GPS, Galileo, QZSS, BeiDou, GLONASS), um analisador de observações RINEX-3 (espera-se que o leiaute de observação RINEX 4,00 seja lido, mas nenhum arquivo 4,00 foi lido por ele; arquivos de navegação RINEX 4 são recusados pelo nome), um leitor/gravador 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 leitura + emissão de mensagens de dados de rastreamento CCSDS-TDM (503) para rastreamento radiométrico de espaço profundo.

Uma referência cruzada requisito-módulo-teste-referência independente-status renderizada a partir do próprio motor (Markdown/CSV), com invariantes de honestidade testados unitariamente: uma linha só pode ser rotulada como validada se trouxer uma referência independente externa (NIST / AIAA / SOFA / IGS / um valor publicado), de modo que uma verificação interna de autoconsistência não possa se passar por validação; e as capacidades de hardware/PA que o Kshana não fornece são registradas como lacunas de responsabilidade do parceiro. A espinha dorsal executável de uma referência cruzada de verificação ECSS-E-ST-10-02.

Todo campo numérico que um cenário emite traz uma unidade e uma classe de proveniência extraída de um vocabulário fechado, com uma definição quando existe, publicado como um esquema legível por máquina ao lado do motor. Um gate em catraca executa todo tipo de cenário embutido e falha em um campo que não traga nenhum; os tipos de cenário ainda não completos são nomeados um a um com o motivo de cada um ainda estar em aberto, e a lista só pode diminuir. Relatórios que declaram suas próprias constantes, o orçamento de enlace unidirecional e o orçamento óptico e de RF, permitem que o leitor recalcule o número principal apenas 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 aquecimento máximo), geometria de cobertura de observação da Terra (faixa / GSD no nadir / acesso fora do nadir / revisita pelo triângulo espacial SMAD), um orçamento de erro de atitude e apontamento 3-DOF (torque de gradiente de gravidade + orçamento de apontamento RSS), previsão de passagens em estação de solo (AOS/TCA/LOS, elevação máxima, acesso) e um orçamento de enlace unidirecional sobre a equação de enlace CCSDS 401 / DSN 810-005 (FSPL, C/N₀, Eb/N₀, margem, fechamento). A camada analítica pré-hardware abaixo de STK/GMAT/Basilisk: orçamentos de primeira ordem modelados, não um substituto de 6-DoF nem radiométrico.

Entram um plano de contatos e uma contagem de aberturas; saem ciclo de trabalho de navegação, ciclo de trabalho de comunicações, interrupção por sessão e contenção. A política de arbitragem é nomeada no relatório em vez de implícita, e uma sessão que não pode ser atendida por completo informa a fração dela que foi perdida, em vez de desaparecer em uma média.

Um modelo de ambiente de clima 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 versus estática em altitude, isto é, a dependência da densidade em relação ao ciclo solar que uma atmosfera estática omite. Um acoplamento calibrado de primeira ordem por altura de escala, não uma atmosfera NRLMSISE validada com dados.

Uma bancada de avaliação de detecção de degradações de RF: um corpus sintético rotulado e fundamentado em parâmetros (nominal / jamming / spoofing de tempo / spoofing de posição / multipercurso), uma bancada ROC/AUC independente do detector que pontua qualquer detector com Pd por classe em uma Pfa alvo, e a lacuna de otimismo dentro e fora da distribuição. Um estudo mais profundo da lacuna de otimismo estende isso a um painel de 13 detectores (energia / AGC / SQM / paridade, mais detectores de regressão logística com semente e de MLP de uma camada oculta), leis de escala dentro e fora da distribuição com um nulo por permutação, e um preditor leave-one-out da degradação fora da distribuição; um front end de receptor definido por software (IQ/IF bruto para derivações adiantada/pontual/atrasada do correlador para SQM) e adaptadores de ingestão de dados reais (RINEX, u-blox UBX, GnssLogger, JammerTest, Yunnan, SatGrid) permitem que os mesmos detectores sejam executados sobre gravações fornecidas localmente. Mais um compromisso de 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 contra uma linha de base clássica, com um envelope de resiliência contra o tempo sem GNSS. Características operacionais modeladas, nunca dados de campo/IQ, sem veredito de bom/ruim.

Um mapa reproduzível de onde um sensor quântico ultrapassa seu equivalente clássico sob incerteza de parâmetros: navegação por estimativa de átomos frios versus de classe de navegação e holdover de relógio óptico versus em escala de chip, ao longo da duração da interrupção e da vibração da plataforma, cada curva com um rótulo de nível de maturidade tecnológica. Reproduzível por 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, restrito pelo holdover, para o erro de tempo não detectado sob spoofing de GNSS: dada uma verificação cruzada independente, o erro do tempo fornecido é limitado por um piso de monitor de k sigma, pela variância de navegação inercial sem GNSS de van Loan ao longo da latência de detecção e por um tempo até o alarme do CUSUM. Calibrado sobre um spoofing real registrado (JammerTest 2024) e reproduzível por cargo run --example tpl_jammertest. Composição modelada, condicionada à detecção: não existe limite incondicional finito, pois uma rampa suficientemente lenta escapa de um único monitor auxiliado por relógio.

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

Uma ponte entre detecção perdida e integridade: um viés não detectado deixado por uma detecção perdida de spoofing / jamming / RAIM infla o erro de posição efetivo que, comparado com limites de alerta específicos de cada contexto, é classificado nas regiões de integridade Stanford-ESA (disponível / indisponível / enganosa / perigosa). Compõe a classificação de Stanford do RAIM ancorada externamente; não acrescenta nenhuma matemática de integridade nova.

Uma lente de ROI de custo por cobertura: custo por unidade de cobertura entregue em um estudo de compromisso de constelação / arquitetura. O componente de cobertura compõe a geometria de cobertura validada e a aritmética é testada unitariamente, mas o custo é uma entrada do usuário, de modo que a razão é um auxílio de planejamento e não uma grandeza validada externamente (daí, com honestidade, nenhum selo de prova).

Um envelope versionado e autodescritivo que envolve o resultado de um cenário com seu tipo de cenário, a versão do esquema e os rótulos de modelado/validado, de modo que um artefato armazenado continue autodocumentado e envelopes mais antigos permaneçam legíveis com compatibilidade futura.

Pontua se a solução de navegação de uma embarcação é confiável a partir do NMEA 0183 que seu receptor e seus instrumentos já emitem: uma pontuação de 0 a 100, três faixas e os motivos por trás delas, por época, em lote, ao vivo ou como um gate. Os monitores comparam a solução com o próprio movimento da embarcação, o sensor de rumo, o odômetro náutico (speed log) e os níveis dos sinais de satélite. Software de caráter consultivo, não um equipamento de navegação homologado: o operador continua responsável. A aritmética dos monitores é verificada contra bibliotecas independentes; a regra e os limiares da pontuação são do próprio projeto e permanecem modelados.

Grava NMEA 0183 sintético de passadiço para uma viagem roteirizada com eventos de jamming, desvio de posição, spoofing de tempo e repetição roteirizados pelo instrutor, com um registro do instrutor, para que uma tripulação veja como é uma solução degradada em seus próprios instrumentos. Somente texto, nunca para os sistemas de navegação ao vivo de uma embarcação; nada é transmitido e nenhum sinal de rádio é gerado. As sentenças e seus valores decodificados são verificados; os modelos de receptor, céu e eventos são modelados.

Constrói um mapa GeoJSON por dia de onde aeronaves (ADS-B) e navios (AIS) informaram dados de navegação degradados, a partir de entradas com licença aberta, e a parcela de uma rota que passa por células degradadas. Uma célula degradada é uma afirmação sobre campos de exatidão informados ou posições implausíveis, não uma constatação de interferência, e uma célula que ninguém observou não é evidência 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 de syslog CEF ou LEEF por stdout, HTTP, UDP ou TCP, de modo que um centro de operações de segurança veja uma falha de navegação ao lado de seus outros alertas. Um coletor parado nem trava a avaliação nem passa despercebido. Prometheus, OTLP e CEF são relidos por analisadores independentes; o LEEF é verificado apenas contra sua própria especificação.

Agrupa a janela em torno de um evento de confiança em um pacote encadeado por hash e assinado com Ed25519 que qualquer pessoa pode verificar offline: um arquivo alterado, removido, trocado ou acrescentado, um pacote reassinado ou uma chave fixada errada é identificado. Um token de carimbo de tempo da RFC 3161 opcional é vinculado a ele. Um registro técnico, não um parecer jurídico, constatação de fato ou atestação.

Grava 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 terrestres fixas, geodésicas e de velocidade local, atitude e UTC. Apenas movimento e eventos: nenhum sinal é gravado e nenhum desempenho de simulador ou receptor é alegado.

Mapeia as saídas do Kshana para as cláusulas de frameworks públicos (orientações da IMO para navios, NIS2 da UE Artigo 21, EN 16803, o framework de PNT resiliente do DHS dos EUA e orientações da EASA para aviação) somente por número de cláusula, preenchido a partir das execuções que você fornece, e diz quais linhas um conjunto de execuções fornece evidências em apoio de, com a lacuna de cada linha. Não é uma constatação de que algum framework seja atendido, nem uma classificação ou aprovação de quem quer que seja.

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

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

As reduções de cânion urbano, setor e terreno para uma tabela de horizonte, quatro predefinições representativas (rua da cidade, aproximação de porto, fiorde, terminal de contêineres) e as funções que as compõem em um skyplot e em uma 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 contra valores calculados à mão.

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

Um estudo reproduzível do que uma estação de referência no polo sul lunar poderia fazer sob premissas públicas: um mapa de cobertura e exatidão sobre a região polar (erro de posição corrigido e não corrigido por percentil, disponibilidade com um motivo para cada época indisponível, níveis de proteção e o orçamento do enlace de correção), um laboratório de tempo que mantém uma referência de tempo lunar em um relógio atômico, e a geodésia de um retrorrefletor a laser e de uma baliza VLBI acrescentados contra o datum de cinco arranjos. Toda entrada é rotulada com sua fonte pública ou como ilustrativa. Não é uma afirmação sobre o desempenho de nenhum sistema real, e o Kshana não é afiliado a nenhuma agência.

Com que frequência um enlace óptico de transferência de tempo está ativo quando a atmosfera está no caminho. Para cada local em solo, o motor fornece a perda em céu limpo, o estado de turbulência de Hufnagel-Valley com desvanecimentos de cintilação gama-gama e média por abertura, a disponibilidade contra a margem do enlace a partir de um clima de nuvens declarado, o teto que nenhuma margem consegue elevar, a distribuição da duração das interrupções e o erro de temporização que uma interrupção custa a um relógio em holdover. Depois mostra o que locais adicionais, uma abertura maior, outro comprimento de onda ou óptica adaptativa proporcionam. Os climas de nuvens incluídos são ilustrativos, não medidos; a saída é consultiva.

Para uma espaçonave em uma esfera (a camada global do livreto Space Service Volume do ICG) ou em uma trajetória kepleriana de LEO até a transferência lunar, conta por constelação (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) e para todas juntas os sinais acima de um limiar de C/N0: disponibilidade de um e de quatro sinais, maior interrupção, C/N0 recebido, diluição de precisão e enlaces de lóbulo principal contra lóbulos laterais. Os diagramas de transmissão são os do livreto, um substituto paramétrico ou um que você forneça; um modelo de ionosfera, plasmasfera e atmosfera por raio no limbo e um projeto de receptor de sinal fraco 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 de formação. MODELLED: comparados com as tabelas do livreto sob um pré-registro fixado antes da execução, as constantes de potência radiada mínima e o limiar lunar concordam, os demais limiares são NOT MET sob a leitura pré-registrada (quase todos por causa do ângulo de feixe inconsistente do GLONASS no livreto), e o substituto paramétrico de lóbulo lateral não reproduz os diagramas medidos dos painéis do GPS.

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