Conceitos: uma introdução em linguagem simples

Esta página explica o que o Kshana faz e por quê, partindo do zero e chegando à física. Nenhum conhecimento prévio é presumido na primeira parte; as seções posteriores acrescentam as relações precisas para especialistas. Para definições palavra por palavra, veja o Glossário.

1. O problema, em um parágrafo#

Quase tudo o que precisa saber onde está ou que horas são, como telefones, aeronaves, navios, satélites, redes elétricas e sistemas financeiros, depende de sinais de satélites de navegação (o GPS (Sistema de Posicionamento Global) e seus irmãos, coletivamente o GNSS (sistema global de navegação por satélite)). Esses sinais são fracos e se perdem com facilidade: sofrem jamming, são bloqueados ou simplesmente ficam fora de vista no espaço. Quando isso acontece, um sistema precisa seguir por conta própria usando sensores de bordo: um relógio para manter o tempo e sensores inerciais para acompanhar o movimento. A pergunta que o Kshana responde é simples de enunciar e difícil de medir: por quanto tempo e com que qualidade ele consegue seguir?

2. Por que "quântico"?#

Os sensores de bordo derivam. Um relógio perde tempo lentamente; um sensor inercial perde lentamente o rastro da posição. Relógios e sensores inerciais quânticos derivam muito mais lentamente do que as peças clássicas em uso hoje, de modo que um veículo poderia atravessar uma interrupção de GNSS muito mais longa mantendo-se dentro dos seus limites de exatidão. Essa vantagem é toda a promessa do PNT (posicionamento, navegação e temporização) quântico. Mas "muito mais lentamente" precisa ser convertido em números: quantos minutos extras de holdover? quantos metros a menos de deriva? Esses números decidem se uma carga útil quântica vale o seu custo, massa e potência.

3. O que o Kshana realmente faz#

O Kshana é um simulador, não é hardware nem um projeto de hardware. Ele:

1. Recebe um cenário: uma linha do tempo com um trecho de interrupção de GNSS e as figuras de desempenho publicadas de um sensor.
2. Conduz um modelo de erro do sensor por essa linha do tempo: enquanto o GNSS está disponível, o modelo é disciplinado à verdade; durante a interrupção, ele corre livre, acumulando erro exatamente como a física diz que deveria.
3. Pontua o resultado contra figuras de mérito operacionais (quão grande o erro se torna, por quanto tempo permanece dentro da especificação, quão confiável é a estimativa).
4. Para os pacotes de sensores, faz isso duas vezes, uma para um sensor quântico e outra para o seu equivalente clássico, sobre o mesmo cenário, de modo que a comparação seja de igual para igual.

O ponto crucial: o motor não sabe nada sobre "quântico" versus "clássico". Ambos são apenas modelos de erro com parâmetros diferentes (publicados e citados). A diferença que se vê na saída é a diferença na física publicada; nada é ajustado à mão para favorecer um lado.

4. Os quatro blocos de construção ("pacotes")#

O pacote híbrido é o ponto principal: uma solução de navegação precisa tanto de bom tempo quanto de boa posição. Ele mostra que um enlace óptico de temporização pode manter travado até um relógio modesto, o que significa que o sensor inercial se torna o elo mais fraco, e é exatamente aí que um acelerômetro quântico compensa.

Além dos quatro pacotes#

O mesmo motor executa muitos outros tipos de cenário; kshana kinds os lista todos. Eles vão além dos sensores, até os sinais e a geometria de que os sensores dependem:

• Onde estão os satélites: propagação de órbita, projeto de constelações ao redor da Terra, da Lua ou de outro corpo, e as posições dos corpos do sistema solar.
• O que o receptor pode ver: um horizonte de obstruções dependente do azimute (uma rua, um cais, um fiorde) sobre a máscara de elevação, e a geometria de céu que ele deixa: os satélites à vista, a sua diluição de precisão e a elipse de erro.
• O que o receptor ouve: o espectro da banda L sob um jammer, jamming e spoofing, e a perda de travamento da malha de rastreamento.
• Se a resposta é confiável: monitoramento de integridade (RAIM, monitoramento autônomo de integridade pelo receptor, e a sua forma avançada, ARAIM) com níveis de proteção.
• Alternativas ao GNSS: correspondência de mapas de gravidade e de terreno, e posicionamento, navegação e temporização a partir de satélites em órbita baixa da Terra (LEO), do projeto do sinal ao orçamento de enlace, à mensagem de navegação e ao fixo de posição.
• Temporização para redes: holdover de telecomunicações verificado contra as máscaras internacionais, e temporização de slots para programações indexadas no tempo.
• Além da Terra: tempo e referenciais lunares, volumes de serviço lunares e navegação de retransmissão em Marte.
• Muitas execuções de uma vez: as campanhas encadeiam tipos de cenário em uma linha do tempo, varrem um parâmetro ou executam um conjunto Monte Carlo.

5. Honestidade por construção#

Um simulador só é útil se se pode confiar nele. O Kshana é construído para que você possa:

• Todo parâmetro é citado. Cada figura de sensor traz uma cadeia provenance que nomeia a folha de dados ou o artigo de onde veio. Nenhuma constante anônima.
• Todo modelo é verificado contra uma relação de manual, e não apenas contra si mesmo; por exemplo, o desvio de Allan do relógio simulado deve coincidir com a figura de estabilidade publicada, e a deriva inercial deve coincidir com a lei padrão de crescimento de erro. Uma capacidade só é chamada de validada onde uma referência independente externa (um conjunto de dados real, uma implementação independente ou vetores de referência publicados) concorda; o restante é modelado, e a matriz de verificação diz qual é qual.
• A maturidade é rotulada. VALIDATION.md marca cada efeito como validated, modelled ou not modeled, e afirma com clareza que as figuras dos relógios ópticos são números de laboratório / meta espacial: nenhum relógio óptico de estrôncio voou.
• Os resultados são reprodutíveis até o bit: o mesmo cenário, semente e versão sempre produzem a resposta idêntica na mesma plataforma; entre sistemas operacionais, as figuras concordam até 1e-6 em termos relativos (veja REPRODUCIBILITY.md).

6. A física, para especialistas#

As relações que o Kshana implementa e testa (detalhes completos e tolerâncias em VALIDATION.md):

• Holdover de relógio. Modelo de fase/frequência de dois estados com modulação de frequência branca (FM branco, densidade espectral de potência q_wf), FM de passeio aleatório (q_rw), FM flicker (uma soma de processos de Ornstein–Uhlenbeck espaçados logaritmicamente e calibrados para um piso de Allan plano) e envelhecimento determinístico. Validado pelo desvio de Allan sobreposto contra o σ_y(τ) publicado (Riley, NIST (National Institute of Standards and Technology) SP (Special Publication) 1065).
• Navegação inercial por estima. Viés residual do acelerômetro → ½·b·T²; passeio aleatório de velocidade → σ_x(T) = √(S_a·T³/3); viés opcional do giroscópio e passeio aleatório angular produzem um erro de inclinação que acopla a gravidade (g·θ) à aceleração horizontal (Groves).
• Transferência de tempo. Jitter de temporização branco → precisão de sincronização → medição de distância unidirecional (range = c·dt, 1 ps ≈ 0,3 mm); a média amostral se reduz como σ/√N.
• Fusão e integridade. Um filtro de Kalman de dois estados cujo ruído de processo coincide com o modelo verdadeiro; em navegação inercial, a sua variância do erro de fase cresce exatamente até q_wf·T + q_rw·T³/3, a relação analítica de holdover, e o seu limite de 1 σ alimenta a figura de mérito de Integridade.
• Geometria. A propagação kepleriana de dois corpos (opcionalmente com J2 secular) ou o SGP4 (Simplified General Perturbations 4) a partir de conjuntos reais de elementos de duas linhas, as constelações Walker e a visibilidade em linha de visada (oclusão pela Terra + máscara de elevação) derivam a disponibilidade GNSS da geometria orbital, e não de janelas escritas à mão.

7. Para onde ir em seguida#

• Trabalhe nisto: os tutoriais, três exemplos resolvidos + exercícios graduados.
• Execute: veja o início rápido do README.
• Entenda a estrutura: ARCHITECTURE.md.
• Verifique o que está e o que não está validado: VALIDATION.md.
• Consulte um termo: GLOSSARY.md.