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

Repetição Missão T+00:00:00 Cenário campaign-jam-spoof-holdover-integrity Nominal Motor v0.40.0 · semente 20260928Execução real

v0.40.0Código aberto · AGPL-3.0 · por Ashforde®

Kshana · क्षण · o instante preciso

Ensaie o minuto em que o GNSS se apaga.

O Kshana é um simulador de código aberto para a resiliência de PNT (posicionamento, navegação e temporização). Reproduza jamming, spoofing e holdover do relógio quando os sinais GNSS (Global Navigation Satellite System) falham, num motor em Rust que corre diretamente no seu navegador, e veja exatamente que resultados foram verificados face a referências independentes.

Iniciar o Kshana Studio

Prima ⌘K para pesquisar páginas, cenários e documentação

Kshana ProO mesmo motor, ampliado: 608 projetos, uma só frente de Pareto

Registo de eventos · campaign-jam-spoof-holdover-integrityEventos reais

De onde vem cada traçado

Campanha: Motor v0.40.0, compilação 3395218 · campaign-jam-spoof-holdover-integrity.toml · semente 20260928Abrir no Kshana StudioRelatório JSON TOML

Órbitas: Motor v0.40.0, compilação 3395218 · constellation-multi-gnss-coverage.toml · determinista, sem sementeAbrir no Kshana StudioRelatório JSON TOML

A consola, os três cartões e o registo reproduzem uma execução encadeada de 6 fases e 18 execuções-membro na sua grelha de 10 s (T+01:16:10 de tempo de missão). As órbitas são os 102 satélites de GPS, Galileo, BeiDou e GLONASS da execução da constelação, cada um recuperado como órbita circular de dois corpos a partir do rasto no solo do motor (pior resíduo 0,0034°), com raios comprimidos para apresentação. As ligações são traçadas para os satélites acima da máscara de 10° da execução da constelação (25° na fase de alarme de integridade, a máscara de reaquisição da campanha), esbatidas pelo seu jamming e cortadas em holdover. Terra: NASA Blue Marble e Black Marble. O Kshana Studio reproduz a execução encadeada no seu navegador; o relatório do próprio motor e o comando reproduzem cada execução.

92tipos de cenário 181ficheiros de cenário incluídos 401capacidades na matriz de verificação 176/401validadas face a referências externas independentes 6artigos no arXiv assentes no motor abertoLer a investigação WASMcorre no navegador como WebAssembly, sem instalação

Novidades da v0.40.0: uma cadeia da missão, uma etiqueta de evidência em cada figura e dezassete idiomas

O que cada um faz e o que foi verificado · Todos os canais de instalação

Consola de banda L · o tipo spectrum

Veja um jammer a tomar a banda.

A banda L do GNSS como uma única PSD (densidade espetral de potência): frequência na horizontal, tempo na vertical, cor para a potência acima do piso de ruído. Os sinais ficam abaixo desse piso, pelo que o que se acende são os jammers: um chirp, um tom CW (onda contínua) e ruído de banda estreita. Passe o rato, toque ou use as teclas de seta para ver o C/N0 (densidade de portadora-ruído) e o J/S (razão jammer-sinal) de cada banda.

kshana spectrum · l-band-waterfall-jamming.toml Execução real

A cascata é desenhada a partir da execução registada com JavaScript. O relatório do motor abaixo mostra a mesma execução.

Execução registada de l-band-waterfall-jamming.toml (semente 7, motor v0.40.0): 5 bandas GNSS, 3 jammers ao longo de 60 s, patamar de seguimento 25 dB-Hz. Jammers: dispositivo de privacidade com chirp a 1 575,42 MHz dos 10 s aos 40 s; tom CW em L1 a 1 575,42 MHz dos 30 s até ao fim; ruído de banda estreita em L2 a 1 227,60 MHz dos 45 s até ao fim.

O GPS L1 C/A perde o bloqueio aos 10 s e continua perdido, mínimo de 3,2 dB-Hz. O Galileo E1 perde o bloqueio aos 10 s e recupera aos 40 s, mínimo de 4,4 dB-Hz. O GPS L2C mantém o seguimento em todo o período, mínimo de 36,9 dB-Hz. O GPS L5 mantém o seguimento em todo o período, mínimo de 44,1 dB-Hz. O Galileo E5a mantém o seguimento em todo o período, mínimo de 46,7 dB-Hz.

A campanha que aciona, campaign-spectrum-holdover-integrity.toml (semente 20260928): jamming na banda L a partir do espetro, holdover do relógio e uma alternativa só com Galileo. Holdover durante 600 s com o relógio em funcionamento livre, pior erro de tempo de 5,06 ns face a uma guarda de 50 ns; depois uma alternativa só com Galileo com um nível de proteção de 6,1 a 17,7 m, abaixo do limite de alerta de 50 m.

A campanha que esta execução conduz · cada fase segue o estado do jammer

Execução do motor de l-band-waterfall-jamming.tomlAbrir no Kshana Studio Relatório do motor

Cenário, dados de resultado, a execução da campanha e o que é modelado

Execução do espetroFicheiro de cenário Dados de resultado

Campanha que conduz: campaign-spectrum-holdover-integrity.tomlAbrir no Kshana Studio Relatório do motor Ficheiro de cenário

Modelado: espetros em forma fechada sobre um piso de ruído térmico, pontuados por banda pela separação espetral; as potências e os instantes dos jammers são entradas do cenário. O eixo do tempo conta segundos antes de agora; a linha ciano marca onde a repetição recomeçou. O Kshana Studio executa o mesmo cenário no seu navegador e reproduz a cascata; o relatório e o comando reproduzem a execução.

01Cronologia da missão · desloque ou arraste para percorrer

1/6Nominal

Todos os satélites estão em seguimento. O relógio está disciplinado pela hora GNSS e o nível de proteção está bem abaixo do limite de alerta.

T+00:00:00

Tempo de missão

kshana campaign · campaign-jam-spoof-holdover-integrity · semente 20260928 Execução real

Fases · execuções-membro

NominalT+00:00:00
- clocksemente 42
- jammingsemente 1
- integritysemente 7
JammingT+00:10:00
- clocksemente 43
- jammingsemente 1
- integritysemente 7
SpoofingT+00:20:00
- spoof
- spoof-detect
- jammingsemente 1
HoldoverT+00:26:10
- clocksemente 44
- gnss-inssemente 7
- jammingsemente 1
Alarme de integridadeT+00:56:10
- clocksemente 45
- jammingsemente 1
- integritysemente 7
RecuperaçãoT+01:06:10
- clocksemente 46
- jammingsemente 1
- integritysemente 7

6 fases · 18 execuções-membro de tipos existentes

Erro de hora do relógions · guarda 50

–

C/N0dB-Hz · piso 25

–

PL vs ALmetros · AL 50

–

NominalJammingSpoofingHoldoverAlarme de integridadeRecuperação

T+00:00:00 → T+01:16:10 de tempo de missão · a execução encadeada, não três execuções lado a ladoPL = nível de proteção · AL = limite de alerta · INS = sistema de navegação inercial

Motor v0.40.0, compilação 3395218 · campaign-jam-spoof-holdover-integrity.toml · semente 20260928Abrir no Kshana StudioRelatório JSON TOML

02Capacidades

Um só motor para toda a cadeia de falhas.

Desde o primeiro satélite afetado por jamming até ao último nanossegundo de holdover do relógio: sinais, sensores, relógios, órbitas e integridade num só simulador. Cada imagem abaixo é uma execução real do motor e indica qual.

Interferência

Jamming e interferência GNSS

Um jammer de banda larga num mastro e um recetor deslocado sobre uma grelha à sua volta: cada célula é uma execução própria do tipo jamming do motor. A tonalidade é o J/S médio (razão jammer-sinal); as células vermelhas perderam todos os satélites.

Motor v0.40.0 · maritime-strait-jamming.toml · semente 1 · recetor deslocado por célulaAbrir no Kshana Studio Todas as células, em Missões

Decepção

Deteção de spoofing

Um spoofer captura o recetor e afasta a sua hora a um ritmo constante. O monitor de integridade de cada relógio tem o seu próprio limite de deteção: o relógio quântico assinala a falsidade quase de imediato, o clássico só depois de o desvio ter crescido.

Motor v0.40.0 · spoof-attack.toml · determinista, sem sementeAbrir no Kshana StudioRelatório

Relógios

Holdover do relógio entre classes de oscilador

A partir do momento em que o GNSS desaparece: a mediana e o percentil 95 de 200 execuções de Monte Carlo para um relógio atómico à escala de chip (CSAC) e um relógio ótico de rede, e o erro a um dia de mais quatro classes: um relógio-mestre ótico, um maser de hidrogénio, um padrão atómico de frequência de rubídio (RAFS) e a sua versão miniatura (mini-RAFS).

Motor v0.40.0 · clock-ensemble.toml · semente 42Abrir no Kshana StudioRelatório

Coluna a um dia: Motor v0.40.0 · lunar-time-budget.toml · determinista, sem sementeAbrir no Kshana StudioRelatório

Estima

Coasting GNSS/INS

Quando o GNSS falha, o INS (sistema de navegação inercial) continua e o seu cone de erro abre-se. Duas unidades de medição inercial (IMU), um só orçamento.

Motor v0.40.0 · small-uas-jammed-nav.toml · semente 7Abrir no Kshana StudioRelatório

Temporização

Temporização de intervalos

Durante quanto tempo um relógio permanece dentro do seu intervalo de guarda após a última solução de posição: a questão que importa às redes de janelas temporais.

Motor v0.40.0 · slot-timing-ocxo-leo.toml · determinístico, sem sementeAbrir no Kshana StudioRelatório

Integridade

RAIM e ARAIM

Níveis de proteção (PL) da monitorização autónoma da integridade pelo recetor (RAIM) e da sua forma avançada (ARAIM), verificados face ao limite de alerta: aqui, a fase de alarme de integridade da missão encadeada. As barras tracejadas são épocas em que não foi possível formar um nível de proteção.

Motor v0.40.0, compilação 3395218 · campaign-jam-spoof-holdover-integrity.toml · semente 20260928Abrir no Kshana StudioRelatório JSON TOML

Telecomunicações

Máscaras de temporização

MTIE (erro máximo de intervalo de tempo) e TDEV (desvio de tempo) de um holdover de 24 horas face aos limites da ITU-T (International Telecommunication Union, Telecommunication Standardization Sector), aqui o do PRTC-A (relógio de tempo de referência primário, classe A).

Motor v0.40.0 · telecom-prtc-holdover-24h.toml · semente 20260925Abrir no Kshana StudioRelatório

Astrodinâmica

Órbitas: SGP4 e numéricas

Propagação SGP4 (Simplified General Perturbations 4) de um conjunto real de elementos de duas linhas, desenhada sobre imagens reais; efemérides CCSDS OEM e SP3 de entrada e de saída.

Motor v0.40.0 · ephemeris.toml · determinístico, sem sementeAbrir no Kshana StudioRelatório

Cislunar

PNT lunar

Posicionamento, navegação e temporização em torno da Lua: níveis de proteção horizontal e vertical (HPL, VPL) do ARAIM num serviço de navegação lunar.

Motor v0.40.0 · lunanet-araim.toml · determinístico, sem sementeAbrir no Kshana StudioRelatório

Sensores emergentes

Estudos comparativos de sensores quânticos

Pondere um relógio quântico face a um clássico antes de alguém comprar equipamento: holdover ao longo de uma varredura do ruído do relógio clássico.

Motor v0.40.0 · sweep-clock-stability.toml · semente 42Abrir no Kshana StudioRelatório

Corre em todo o lado

Navegador, terminal, notebook, IDE, assistente

O mesmo motor em Rust é distribuído como WebAssembly para o Kshana Studio, uma CLI (interface de linha de comandos), pacotes Python e JavaScript, um plugin do JetBrains Marketplace para o seu IDE (ambiente de desenvolvimento integrado) e um servidor MCP (Model Context Protocol).

WebAssemblycargo install kshanapip install kshananpm install kshanaJetBrains Marketplacecargo install kshana-mcpimagem ghcr.ioCCSDS OEMSP3

CCSDS OEM: Consultative Committee for Space Data Systems Orbit Ephemeris Message. SP3: formato de órbita Standard Product 3.

Âmbito, dito com clareza

O que o Kshana não é

Conhecer os limites importa tanto quanto conhecer as funcionalidades.

Não é equipamento gerador de sinais RFNão comanda nenhum rádio nem transmite nada; a sua saída ao nível do sinal são ficheiros de amostras IQ em banda de base para recetores de software.

Não é um recetor GNSS de hardware nem certificadoO seu recetor de software (aquisição e seguimento sobre IQ registado ou gerado) é uma ferramenta de análise, não um produto de navegação.

Não é um produto de vooUm instrumento de estudo e de compromissos de projeto, com cada resposta rotulada como validada ou modelada.

03Assistentes de IA · kshana-mcp

Pergunte ao seu assistente de IA. O motor responde.

O seu assistente de IA (inteligência artificial) executa o motor por MCP (Model Context Protocol) através do kshana-mcp e lê de volta JSON (JavaScript Object Notation).

InstalarGerado a partir do repositório

Para qualquer pessoa, sem nada para instalar.

Iniciar o Kshana Studio

O motor corre localmente como WebAssembly; nada é carregado para servidores.

Abrir o Kshana Studio Guia do Studio

Para engenheiros que querem o comando kshana.

Depois, verifiquekshana --version

crates.io: kshana Utilização da linha de comandos

Para analistas e notebooks.

Depois, verifiquepython -c "import kshana; print(kshana.version())"

PyPI: kshana Guia da API Python

Para programadores web e Node.js.

Depois, verifiquenpm ls kshana

npm: kshana Guia do npm e do WebAssembly

Para quem usa um assistente compatível com MCP.

Depois, verifiquecargo install --list | grep kshana-mcp

crates.io: kshana-mcp Guia do servidor MCP

Depois registe-o na configuração do cliente MCP do seu assistente. Configuração completa em Developers

Assistente de IA + kshana-mcp Sessão registada

As mensagens que um assistente troca com o kshana-mcp, capturadas do servidor.

Uma sessão gravada com o servidor kshana-mcp (Model Context Protocol, motor v0.40.0): o assistente lista as 49 ferramentas, valida clock-holdover.toml (válido: tipo de cenário detetado `clock`) e executa-o: scenario 5ba83a232b94 | quantum holdover 6600s p95 1.20e-4ns integrity 1,000 security n/a (no attack) | classical holdover 2610s p95 19.7ns integrity 1,000 security n/a (no attack).

animate_scenario: Executa um cenário Kshana e devolve a sua série temporal sob a forma de animação.
assess_receiver_log: Avalia a confiança num registo real de um recetor GNSS: lê um registo u-blox UBX, RINEX 3 (opcionalmente com navegação por difusão, o que acrescenta a solução de posição própria do motor, o RAIM e um monitor assistido pelo relógio), Android GnssLogger ou NMEA, executa os monitores de confiança (queda da densidade de portadora-ruído, AGC, indicador de jamming, perda de bloqueio, salto de posição, RAIM, relógio) face a uma linha de base de calibração e devolve quando e porquê o recetor deixou de merecer confiança.
assess_vessel_log: Avalia o registo NMEA 0183 de uma embarcação como execução em lote (`kshana receiver-trust` com `[platform] kind = "vessel"`): o modelo de pontuação, os monitores executados e a pontuação de 0-100 de cada época com as suas deduções, a geometria dos satélites (boa, degradada, desconhecida) com um `label` (good, fair, poor) em cada época, com a geometria a deduzir apenas quando é má, e uma classe em cada dedução (geometria, ambiente, incoerência), com `geometry_model` (limiares, o teto e o piso em vigor, e a proveniência) e `geometry_summary`.
assess_vessel_stream: Pontua um excerto limitado de um fluxo NMEA 0183 de uma embarcação tal como o `kshana receiver-trust live` o pontua, e devolve o estado de confiança por época (a calibrar, nominal, degradado, não fiável) e a pontuação de 0-100 com os monitores que deduziram (esquema JSON-lines em tempo real 1,3: cada época traz `position`, uma declaração `advisory` de que a saída é consultiva, e a respetiva `geometry` de satélites (boa, degradada com motivos como few-satellites ou high-pdop, ou desconhecida quando o excerto não tem GSV nem GSA) com um `label` (good, fair, poor; a geometria só deduz quando é má); cada dedução traz uma `class`: geometria (o céu, e não uma conclusão de que não ocorreu nenhum ataque), ambiente ou incoerência (semelhante a um ataque)), o resumo (contagens por estado, geometria e classe, pontuação mais baixa e final, quando surgiu a primeira época não fiável) e a última sentença `$PKSHT`.
attach_evidence_timestamp: Associa um token de marca temporal RFC 3161 a um pacote de evidências (`kshana evidence attach-timestamp`), em memória: `files` é um pacote tal como `create_evidence_pack` o devolve, `token_base64` os bytes do ficheiro `.tsr` de uma autoridade de marcação temporal.
build_interference_map: Constrói um mapa de interferência GNSS a partir de relatórios de posição de aeronaves (ADS-B NIC/NACp) ou de navios (AIS) com licença aberta, fornecidos como texto CSV (`kshana interference-map adsb|ais`).
compliance_mapping: O mapeamento estático de referenciais públicos (`kshana compliance-report --mapping` / `--sources`) em Markdown: uma tabela por referencial com a exigência parafraseada de cada linha, as saídas do Kshana que fornecem elementos de prova em apoio dessa exigência e a lacuna que as saídas não fecham; ou, com `sources` verdadeiro, os documentos de origem que as tabelas citam, com versões e URL.
compliance_report: Preenche o mapeamento de referenciais públicos a partir de documentos de resultados do Kshana (`kshana compliance-report`): quais as linhas de seis referenciais e normas de resiliência (o referencial Resilient PNT v2.0 do DHS dos EUA, as orientações da IMO para navios, as orientações da EASA para a aviação, o artigo 21 da NIS2, a EN 16803, a NIST IR 8323r1) para as quais as execuções dadas fornecem elementos de prova em apoio, quais não, e a lacuna que cada linha mantém.
create_evidence_pack: Cria um pacote de evidências assinado para uma janela do registo NMEA 0183 de uma embarcação (`kshana receiver-trust evidence`): os bytes brutos do registo para a janela, a configuração com todos os limiares, os resultados e motivos por época, uma página de resumo autónoma e um manifesto que lista o SHA-256 de cada ficheiro com o hash do registo completo e uma cadeia de hashes, assinado com Ed25519.
create_round_trip_pack: Cria o pacote de ida e volta de laboratório assinado (`kshana evidence round-trip`, docs/spec/TEST-CONDITIONS.md): liga por hash o cenário que produziu o movimento, o documento `kshana.test-conditions/1` do laboratório, o registo do recetor e a sua pontuação face aos eventos declarados, num pacote de evidências assinado cujo `config.json` leva um bloco `round_trip`.
export_interop: Exporta um cenário Kshana num formato de interoperabilidade: `czml` (Cesium Language, para o CesiumJS), `kml` (Keyhole Markup Language, para o Google Earth e ferramentas de sistemas de informação geográfica), `geojson` (RFC 7946), `stk` (efemérides do Systems Tool Kit `.e`, um ficheiro por satélite) ou `sigmf` (gravação em Signal Metadata Format das amostras sintetizadas de um cenário `spectrum`).
export_oem: Exporta a constelação propagada de um cenário `orbit` como texto de efemérides CCSDS OEM 2,0 — a série temporal de estados inerciais (TEME) com posição E velocidade, que as ferramentas de dinâmica de voo (GMAT / Orekit / STK) leem.
export_omm: Exporta os elementos médios de um cenário `orbit` como um catálogo CCSDS 502.0-B-2 OMM (Orbit Mean-Elements Message) — um OMM por satélite.
export_sp3: Exporta a constelação propagada de um cenário `orbit` como texto de efemérides precisas SP3-c (o formato normalizado de pós-processamento GNSS).
export_table_csv: Executa um cenário Kshana e devolve a sua tabela de reprodutibilidade como texto CSV — a tabela estável byte a byte que a CLI escreve como `<scenario>.table.csv` e que os artigos citam.
export_test_bench: Exporta o movimento do veículo e os eventos de um cenário para um simulador GNSS de laboratório (`kshana bench-export`, docs/TEST-BENCH.md): um CSV de movimento e a sua descrição JSON (posição fixa à Terra e geodésica, velocidade, atitude, UTC), sentenças NMEA 0183 GGA/RMC, um texto de pontos de passagem quando a grelha de amostragem é regular ao milissegundo, e os eventos do cenário como CSV e como TOML `[[events]]` para um cenário `receiver-trust`.
fit_imu_log: Ajusta os parâmetros de sensor dos cenários `hybrid` e `fusion` a partir de um registo de IMU estacionária (`kshana imu-fit`, docs/MACHINE-INPUTS.md).
generate_training_nmea: Gera NMEA 0183 sintético de ponte para formação de tripulações a partir de um TOML `nmea-scenario` (`kshana nmea-scenario`): uma derrota da embarcação e uma cronologia de eventos programados (jamming, arrastamento de posição, spoofing de hora, atraso de repetição, com recuperação).
get_example_scenario: Devolve o texto TOML de um cenário de referência incluído, byte a byte o ficheiro que o repositório distribui em `scenarios/`.
import_route: Escreve uma rota GeoJSON num cenário Kshana que percorre uma trajetória de pontos de passagem, e devolve o novo TOML do cenário (execute-o com run_scenario).
iq_acquire: Aquisição por FFT de um ou mais PRN numa gravação IQ no diretório de trabalho (`kshana iq acquire`).
iq_campaign: Executa uma campanha de repetição em laboratório guardada no diretório de trabalho (`kshana iq campaign`): gravações (cada uma descrita por um ficheiro `kshana.test-conditions/1` que declara a referência conhecida do laboratório) x cadeias de front-end x projetos de malha, sendo cada célula seguida e pontuada face às condições declaradas (tempo até à perda de bloqueio, tempo de readquisição, degradação do C/N0 face ao J/S declarado, ao lado de uma referência analítica rotulada MODELLED, taxa de falso bloqueio, jitter de PLL/DLL, disponibilidade).
iq_campaign_status: Reporta o progresso de uma campanha de repetição em laboratório a partir da sua pasta de saída no diretório de trabalho, lendo apenas ficheiros: células concluídas e pendentes, as gravações, os front-ends e os projetos do plano e o `digest` quando todas as células estão concluídas.
iq_frontend: Aplica DSP de front-end de recetor e de mitigação de interferência a uma gravação IQ no diretório de trabalho e escreve o resultado como uma nova gravação bruta com um ficheiro auxiliar `<out>.json` (`kshana iq frontend`).
iq_info: Descreve uma gravação IQ no diretório de trabalho sem a processar: tipo (bruta com ficheiro auxiliar, SigMF, coleção SigMF), formato das amostras, taxa de amostragem, frequência central, total de amostras, duração, ficheiros de dados e o seu tamanho, limites de captura e número de anotações, em JSON (a mesma linha que `kshana iq info` imprime).
iq_labfit: Ajusta o modelo de perda de bloqueio da malha de seguimento a execuções de laboratório (`kshana iq labfit`): um TOML de cenário `iq-labfit` indica uma ou mais execuções, cada uma um registo de recetor com as suas condições de ensaio declaradas; o motor carrega cada registo, ajusta os modelos de malha e empírico, aplica bootstrap à incerteza e calcula o erro no conjunto reservado.
iq_monitor: Executa os monitores de deteção de interferência e de spoofing sobre uma gravação IQ no diretório de trabalho (`kshana iq monitor`): os monitores de banda larga `power` e `spectral` e, dados `signal` + `prns`, os monitores de C/N0 e de qualidade do sinal por satélite, cada um face a uma linha de base aprendida nos primeiros `baseline_s` segundos (ou a partir de um ficheiro de definições).
iq_scene: Gera uma cena IQ GNSS multissatélite para um ficheiro no diretório de trabalho (`kshana iq scene`).
iq_signals: A configuração da camada IQ GNSS, em JSON: `signals` (os nomes de sinal que iq_scene, iq_acquire e iq_track aceitam), `enabled` (se as ferramentas de ficheiros IQ estão ativas), `work_dir` (a única pasta que leem e escrevem; todo o argumento de caminho é relativo a ela), `max_samples` (o máximo de amostras complexas que uma chamada pode gerar ou processar) e, quando desativada, `reason`.
iq_sweep: Repete uma gravação IQ no diretório de trabalho através de vários projetos de malha de seguimento e reporta o resultado em regime estacionário de cada projeto (`kshana iq sweep`): os projetos são todos os projetos de um ficheiro `kshana.loop-design/1` (`design`), ou o produto das listas `pll_bws_hz`, `dll_bws_hz`, `spacings_chips` e `coherents` no projeto incorporado.
iq_test_conditions: Valida um ficheiro de condições de ensaio de laboratório (`kshana iq conditions`): um ficheiro `kshana.test-conditions/1`, em texto TOML ou JSON, que declara a referência conhecida do laboratório para uma gravação (os satélites esperados, o tempo de estabilização, o calendário declarado de jamming ou interferência).
iq_track: Adquire e depois segue um ou mais PRN numa gravação IQ no diretório de trabalho (`kshana iq track`): a aquisição inicializa cada canal, depois o banco de malhas DLL/PLL (opcionalmente assistidas por FLL) repete a gravação uma vez.
jammertest_import: Lê o catálogo de ensaios e o plano de transmissão publicados do Jammertest (NPRA/jammertest-plan, MIT) como referência programada (`kshana jammertest import`): os intervalos de uma zona de ensaio tornam-se eventos receiver-trust com o identificador do catálogo e o ano em cada rótulo.
jammertest_score: Pontua um registo de recetor face ao calendário do Jammertest (`kshana jammertest score`): por ensaio programado, a latência de deteção (primeiro alarme menos o início previsto), se foi detetado dentro da tolerância, tardiamente ou não detetado, e o tempo de recuperação (um período sem alarmes de `recover_hold_s`), mais os falsos alarmes fora de cada intervalo e da sua guarda.
list_example_scenarios: Lista os cenários de referência incluídos em JSON: `count` e `scenarios`, uma matriz de `name`, `kind` e `about` (a primeira frase do comentário de cabeçalho do próprio ficheiro).
list_export_formats: Reporta quais os formatos de exportação de interoperabilidade que se aplicam a um cenário Kshana, sem o executar: uma matriz JSON com uma entrada por formato (`czml`, `kml`, `geojson`, `stk`, `sigmf`) que indica `applies`, o `reason` quando não se aplica e `spec_url`, a especificação publicada que o escritor segue.
list_scenario_kinds: Lista todos os tipos de cenário Kshana incorporados com a sua descrição e os campos TOML obrigatórios/opcionais, como matriz JSON.
list_standards_packs: Lista os pacotes de normas (`kshana standards-pack list`): conjuntos de cenários pontuados para os perfis de ensaio do referencial Resilient PNT do DHS, a IMO MSC.1/Circ.1575 e o ICAO Doc 9849 Apêndice F, cada um com os limiares que declara antes da execução e as linhas de compliance para as quais fornece elementos de prova em apoio.
lunanet_afs_check: Verifica o LunaNet Augmented Forward Signal (AFS) face à especificação publicada, fixada em LNIS Version 5 Applicable Document 1 Volume A (LSIS-AFS V1.0, 29 de janeiro de 2025) (`kshana lunanet-afs-check`, docs/LUNANET-AFS.md).
render_leaderboard: Gera os ficheiros de resultados do kshana-bench (`kshana bench leaderboard`) como a página estática de classificação, em texto HTML na resposta: `results` é uma lista de textos JSON `kshana-bench-result/1` (no máximo 256, 4 MiB cada), cada um validado primeiro; um ficheiro pontuado sob outra versão principal da especificação é recusado, porque resultados de versões principais diferentes nunca são postos numa mesma tabela.
report_scenario: Executa um cenário Kshana e devolve o seu relatório: um resumo executivo, as entradas, cada valor de resultado com a sua unidade e o seu rótulo VALIDATED ou MODELLED, os eventos, as linhas de capacidade que a execução exercitou e um registo de reprodutibilidade (versão do motor, resumos SHA-256 do cenário e do resultado, semente, o comando que o reproduz).
route_exposure: Resume que parte de uma rota atravessa células degradadas de um ou mais mapas de interferência (`kshana route-exposure`): para cada mapa (um por fonte por dia UTC, o GeoJSON que `build_interference_map` devolve), o comprimento da rota e as proporções do seu comprimento em células degradadas, em células que não estavam degradadas, em células com amostra insuficiente para avaliar e em células não observadas.
run_scenario: Executa um cenário de resiliência PNT do Kshana a partir de uma definição TOML e devolve as suas figuras de mérito.
run_standards_pack: Executa um pacote de normas (`kshana standards-pack run <id>`): todos os cenários que contém, pontuados face a limiares declarados antes da execução.
score_benchmark: Pontua uma submissão ao kshana-bench (`kshana bench score`, bench/SPEC.md, docs/BENCH.md): um ficheiro de previsões (`kshana-bench-predictions/1`) face a um ficheiro de referência (`kshana-bench-truth/1`), ambos em texto JSON, no máximo 4 MiB cada, e devolve o ficheiro de resultados (`kshana-bench-result/1`) com a versão da especificação, a tarefa (a deteção em registos de recetor, b deteção em IQ, c previsão de holdover de temporização, d lacuna de otimismo fora da distribuição), a partição, o SHA-256 de ambas as entradas e as métricas da tarefa (AUC, probabilidade de deteção com um limite de falsos alarmes, RMSE por horizonte, ou a lacuna de otimismo).
sky_geometry: Geometria do céu sob uma linha de horizonte dependente do azimute (um desfiladeiro urbano, um porto, um fiorde, um terminal de contentores): a partir de um local, uma hora e predefinições de constelação, conjuntos de elementos de duas linhas (`tle`, com uma `epoch` UTC) ou satélites dados como azimute/elevação ou ECEF, quais os satélites visíveis e quais os ocultados pela linha de horizonte, GDOP/PDOP/HDOP/VDOP/TDOP a partir do núcleo DOP verificado com o gnss_lib_py, o cofator e a covariância este-norte-cima com um relógio de recetor por sistema (ou um comum), e a elipse de erro horizontal a um sigma e a uma confiança declarada para um UERE declarado.
trust_telemetry: Apresenta um fluxo de confiança GNSS ou um resultado `receiver-trust` como texto de telemetria de segurança (`kshana trust-telemetry`, docs/TRUST-TELEMETRY.md), com os mesmos codificadores que a linha de comandos usa: `prometheus` (a exposição do estado final), `cef` ou `leef` (uma linha syslog RFC 5424 por mudança de banda, ou por época com `syslog_all`; sem marca temporal, porque não é lido nenhum relógio) ou `otlp` (a carga de métricas JSON OTLP/HTTP).
validate_scenario: Verificação prévia de um TOML de cenário Kshana: confirma que é analisado como TOML e deteta o seu tipo de cenário, sem o executar.
verify_evidence_pack: Verifica um pacote de evidências assinado (`kshana evidence verify`): o SHA-256 de cada ficheiro face ao manifesto, a cadeia de hashes, a assinatura Ed25519 e, com `public_key` (a chave do signatário, obtida do signatário por outra via), que o signatário é o esperado, e, com `full_log`, que o registo que possui é o que o pacote regista e que o excerto provém dele.

A sessão gravada decorre aqui passo a passo.

A mesma execução no Studio: Motor v0.40.0 · clock-holdover.toml · semente 42Abrir no Kshana StudioRelatório

04História de deslocamento · uma execução encadeada

De um céu limpo a um relógio em marcha livre.

Um recetor, T+01:16:10 de tempo de missão: um céu limpo, um jammer, um spoofer que desloca a resposta em vez de a bloquear e, depois, um relógio entregue a si próprio. Os 102 satélites são os quatro sistemas da execução da constelação, sobre a Terra real. Desloque a página.

01 · Nominal

Todas as ligações, contabilizadas.

8 satélites em seguimento com um C/N0 médio (densidade de portadora-ruído) de 43,0 dB-Hz. O nível de proteção vertical mantém-se entre 9,1 e 21,6 m, abaixo do limite de alerta de 50 m.

02 · Jamming

O ruído engole o céu.

Um jammer de banda larga a 1,0 km liga-se a -30 dBW. O C/N0 desce para 30,6 dB-Hz, pouco acima do piso de seguimento de 25 dB-Hz. Ruidoso, pelo que o recetor sabe.

03 · Spoofing

Uma falsidade que parece uma solução de posição.

Um spoofer empurra o relógio a 0,1 ns/s. O detetor RF (radiofrequência) dá alarme em T+00:20:00; o monitor assistido pelo relógio precisa de 370 s e, até lá, já foram arrastados 36,0 ns.

04 · Holdover

Depois a hora começa a derivar.

O jammer passa a 10 dBW e todos os satélites se perdem. O relógio corre em marcha livre a partir dos 37,0 ns que o spoofer deixou e ultrapassa a sua guarda de 50 ns em T+00:35:40; o erro inercial atinge 24,3 km.

Campanha: Motor v0.40.0, compilação 3395218 · campaign-jam-spoof-holdover-integrity.toml · semente 20260928Abrir no Kshana StudioRelatório JSON TOML

Órbitas: Motor v0.40.0, compilação 3395218 · constellation-multi-gnss-coverage.toml · determinista, sem sementeAbrir no Kshana StudioRelatório JSON TOML

Núcleo aberto, Kshana Pro, estudo à medida

Gratuito para todos. Pro quando a resposta tem de resistir a uma revisão.

O Kshana Pro é uma camada proprietária que depende do núcleo aberto e nunca o bifurca, disponível sob contrato. Sem preços numa página web: toda a via paga começa com uma mensagem para contact@ashforde.org.

Núcleo aberto · gratuito · AGPL-3.0

Porque é que toda a gente precisa dele

Quem quer que obtenha posição ou hora a partir do GNSS está exposto: o jamming, o spoofing e a perda de sinal atingem por igual veículos, redes, redes elétricas e veículos espaciais.
176 de 401 capacidades concordam com referências independentes externas; as demais são etiquetadas como modeladas, em voz alta.
Todos os 92 tipos de cenário, gratuitos e sem restrição de recursos, determinísticos a partir do cenário, da semente e da versão do motor.
O mesmo núcleo sob uma licença comercial, para integração fechada.

Iniciar o Kshana Studio Instalar o motor

Kshana Pro · sob contrato

Porque o Pro, ainda mais

A frente de Pareto de um espaço de projeto, com cada projeto da frente como um cenário que o motor gratuito volta a executar.
Incerteza e sensibilidade ao longo de milhares de execuções.
Um dossiê de missão com um só comando, com matriz de verificação e um ficheiro PDF (Portable Document Format).
Pacotes de evidências reprodutíveis e de qualidade de auditoria; gémeos digitais de relógios calibrados segundo o orçamento de Allan publicado do seu equipamento; estudos comparativos de arquiteturas ordenados por uma figura de mérito; ferramentas de engenharia de sistemas baseada em modelos (MBSE) e de gestão de programas.

Pedir uma avaliação do Pro O que o Pro inclui

Estudo à medida · tratado por nós

Estudo à medida: a resposta, não a ferramenta

Um estudo modelado de resiliência PNT do seu sistema, por exemplo uma auditoria da lacuna de otimismo. Não é uma certificação.
Modelos de sensores e de resiliência calibrados para o seu equipamento.
Trabalho sujeito a controlo de exportação sob a credenciação de segurança e o NDA (acordo de confidencialidade) adequados.
Integração, formação e consultoria.

Pedir um estudo Porquê e a quem se destina

O mesmo motor, ampliado: saída real do Kshana Pro

O que o Pro inclui

Otimizador de projeto

15itens em aberto

12 requisitos verificados com execuções reais, PDF (Portable Document Format) de 21 páginas

Descubra onde a sua temporização falha, antes de falhar.

Iniciar o Kshana Studio

Ensaie o minuto em que o GNSS se apaga.

Novidades da v0.40.0: uma cadeia da missão, uma etiqueta de evidência em cada figura e dezassete idiomas

Veja um jammer a tomar a banda.

1/6Nominal

Fases · execuções-membro

Um só motor para toda a cadeia de falhas.

Jamming e interferência GNSS

Deteção de spoofing

Holdover do relógio entre classes de oscilador

Coasting GNSS/INS

Temporização de intervalos

RAIM e ARAIM

Máscaras de temporização

Órbitas: SGP4 e numéricas

PNT lunar

Estudos comparativos de sensores quânticos

Navegador, terminal, notebook, IDE, assistente

O que o Kshana não é

Pergunte ao seu assistente de IA. O motor responde.

De um céu limpo a um relógio em marcha livre.

Todas as ligações, contabilizadas.

O ruído engole o céu.

Uma falsidade que parece uma solução de posição.

Depois a hora começa a derivar.

Gratuito para todos. Pro quando a resposta tem de resistir a uma revisão.

Porque é que toda a gente precisa dele

Porque o Pro, ainda mais

Estudo à medida: a resposta, não a ferramenta

O mesmo motor, ampliado: saída real do Kshana Pro

Que projeto devemos fazer voar?

Com que grau de certeza, e o que determina o resultado?

A missão satisfaz os seus requisitos, e podemos entregá-lo?

Descubra onde a sua temporização falha, antes de falhar.