Conceitos — uma introdução em linguagem simples

Esta página explica o que o Kshana faz e porquê, partindo do zero e construindo até à física. Não se pressupõe nenhum conhecimento prévio na primeira parte; as secções posteriores acrescentam as relações precisas para especialistas. Para definições palavra a palavra, consulte o Glossário.

1. O problema, num parágrafo#

Quase tudo o que precisa de saber onde está ou que horas são — telemóveis, aeronaves, navios, satélites, redes elétricas, sistemas financeiros — depende de sinais de satélites de navegação (o GPS (Sistema de Posicionamento Global) e os seus congéneres, coletivamente GNSS (sistema global de navegação por satélite)). Esses sinais são fracos e perdem-se facilmente: sofrem jamming, são bloqueados ou simplesmente ficam fora de vista no espaço. Quando isso acontece, um sistema tem de continuar por si próprio usando sensores de bordo — um relógio para manter o tempo e sensores inerciais para acompanhar o movimento. A pergunta a que o Kshana responde é simples de formular e difícil de medir: durante quanto tempo e com que qualidade consegue continuar?

2. Porquê «quântico»?#

Os sensores de bordo derivam. Um relógio vai perdendo tempo; um sensor inercial vai perdendo a noção da posição. Os relógios e sensores inerciais quânticos derivam muito mais devagar do que as peças clássicas hoje em uso — pelo 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 devagar» tem de ser convertido em números: quantos minutos extra de holdover? quantos metros a menos de deriva? Esses números decidem se uma carga útil quântica compensa 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. Toma um cenário — uma cronologia com um período de interrupção de GNSS e as figuras de desempenho publicadas de um sensor.
2. Conduz um modelo de erros de sensor ao longo dessa cronologia: enquanto o GNSS está disponível o modelo é disciplinado pela referência; durante a interrupção corre livremente, acumulando erro exatamente como a física diz que deve.
3. Pontua o resultado face a figuras de mérito operacionais (quão grande o erro se torna, durante quanto tempo se mantém dentro da especificação, quão fiável é a estimativa).
4. Para os pacotes de sensores, faz isto duas vezes — uma para um sensor quântico, outra para a sua contraparte clássica — no mesmo cenário, de modo que a comparação seja em condições idênticas.

É fundamental que o motor não sabe nada sobre «quântico» vs «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 dos lados.

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

O pacote híbrido é o ponto fulcral: uma solução de navegação precisa de ambos bom tempo e boa posição. Mostra que uma ligação ótica de temporização pode manter bloqueado até um relógio modesto — o que significa que o sensor inercial passa a ser o elo mais fraco, e é exatamente aí que um acelerómetro quântico compensa.

Para além dos quatro pacotes#

O mesmo motor executa muitos mais tipos de cenário; kshana kinds lista-os a todos. Estendem-se para além dos sensores, até aos sinais e à geometria de que os sensores dependem:

• Onde estão os satélites — propagação de órbitas, projeto de constelações em torno da Terra, da Lua ou de outro corpo e as posições dos corpos do sistema solar.
• O que o recetor consegue ver — uma linha de horizonte dependente do azimute (uma rua, um cais, um fiorde) sobre a máscara de elevação e a geometria do céu que ela deixa: os satélites à vista, a sua diluição de precisão e a elipse de erro.
• O que o recetor ouve — o espetro da banda L sob um jammer, jamming e spoofing, e a perda de bloqueio do ciclo de seguimento.
• Se a resposta é fiável — monitorização de integridade (RAIM, monitorização autónoma de integridade pelo recetor, e a sua forma avançada ARAIM) com níveis de proteção.
• Alternativas ao GNSS — correspondência com mapas de gravidade e de terreno, e posicionamento, navegação e temporização a partir de satélites em órbita terrestre baixa (LEO), desde o projeto do sinal, passando pelo orçamento de ligação e pela mensagem de navegação, até à solução de posição.
• Temporização para redes — holdover de telecomunicações verificado face às máscaras internacionais e temporização de intervalos para escalonamentos indexados no tempo.
• Para além da Terra — tempo e referenciais lunares, volumes de serviço lunares e navegação por retransmissão em Marte.
• Muitas execuções de uma vez — as campanhas encadeiam tipos de cenário numa só cronologia, varrem um parâmetro ou executam um ensemble de Monte Carlo.

5. Honestidade por construção#

Um simulador só é útil se se puder confiar nele. O Kshana está construído de modo a que se possa:

• Cada parâmetro é citado. Cada figura de sensor transporta uma cadeia provenance que nomeia a folha de especificações ou o artigo de onde veio. Sem constantes anónimas.
• Cada modelo é verificado face a uma relação de manual, e não apenas face a si próprio — por exemplo, o desvio de Allan do relógio simulado tem de coincidir com a figura de estabilidade publicada, e a deriva inercial tem de coincidir com a lei padrão de crescimento de erro. Uma capacidade só é chamada validada quando uma referência independente externa (um conjunto de dados real, uma implementação independente ou vetores de referência publicados) concorda; o resto é modelado, e a matriz de verificação indica o que é o quê.
• A maturidade é etiquetada. VALIDATION.md classifica cada efeito como validated, modelled ou not modeled e afirma com clareza que os valores dos relógios óticos são números de laboratório / objetivo espacial — nenhum relógio ótico de estrôncio voou.
• Os resultados são reprodutíveis ao bit: o mesmo cenário, a mesma semente e a mesma versão produzem sempre a resposta idêntica na mesma plataforma; entre sistemas operativos, os valores coincidem até 1e-6 em termos relativos (ver REPRODUCIBILITY.md).

6. A física, para especialistas#

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

• Holdover do relógio. Modelo de dois estados, fase e frequência, com modulação de frequência branca (white FM, densidade espetral de potência q_wf), FM de passeio aleatório (q_rw), FM de cintilação (uma soma de processos de Ornstein–Uhlenbeck espaçados logaritmicamente, calibrados para um patamar de Allan plano) e envelhecimento determinista. Validado por desvio de Allan sobreposto face ao σ_y(τ) publicado (Riley, NIST (National Institute of Standards and Technology) SP (Special Publication) 1065).
• Navegação inercial por estima. O desvio residual do acelerómetro → ½·b·T²; o passeio aleatório da velocidade → σ_x(T) = √(S_a·T³/3); o desvio opcional do giroscópio e o 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 num só sentido (range = c·dt, 1 ps ≈ 0,3 mm); a média da amostra varia como σ/√N.
• Fusão e integridade. Um filtro de Kalman de dois estados cujo ruído de processo corresponde ao modelo de referência; em navegação inercial livre, a variância do erro de fase cresce exatamente até q_wf·T + q_rw·T³/3 — a relação analítica do holdover — e o seu limite de 1-σ alimenta a figura de mérito de Integridade.
• Geometria. Propagação kepleriana de dois corpos (opcionalmente com J2 secular) ou SGP4 (Simplified General Perturbations 4) a partir de conjuntos reais de elementos de duas linhas, constelações Walker e visibilidade em linha de vista (ocultaçã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 a seguir#

• Trabalhar com ele: os tutoriais — três exemplos resolvidos + exercícios graduados.
• Executá-lo: ver o arranque rápido no README.
• Compreender a estrutura: ARCHITECTURE.md.
• Verificar o que está e o que não está validado: VALIDATION.md.
• Consultar um termo: GLOSSARY.md.