pvt (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Medições GNSS, posicionamento e integridade. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Todo rótulo aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED a menos que a matriz diga outra coisa (como um rótulo é obtido: a seção Evidence do README).

O que faz#

Posicionamento de ponto único com observações reais: resolve a posição de um receptor a partir de um arquivo de observação RINEX 3 e de um arquivo de navegação por difusão (pseudodistâncias de código, efemérides de difusão, ionosfera de Klobuchar, troposfera de Saastamoinen/Niell), opcionalmente validado contra uma coordenada levantada.

Uma execução de scenarios/pvt-abmf.toml resume-se assim: pvt 55bdd18628e1 | 11 sat nav | 2/3 epochs solved | mean 9,0 sats, PDOP 1,8 | 3D error RMS 5,74 m (max 7,12 m)

Entradas#

A partir do esquema (kshana kinds --json):

• Campos obrigatórios: obs_rinex, nav_rinex
• Campos opcionais: truth_ecef, apriori_ecef, mask_deg, dual_frequency

O exemplo scenarios/pvt-abmf.toml define, entre outros:

Execute#

kshana scenarios/pvt-abmf.toml

O que ele fornece#

Os resultados escalares dessa execução, com as unidades que o motor declara:

Evidências#

MODELLED: as linhas da matriz de verificação que nomeiam este tipo de cenário.

• MODELLED Filtro de Hatch sem divergência (código livre de ionosfera carregado pela portadora livre de ionosfera, janela de N épocas, reinício em perda de sincronismo, salto livre de geometria ou lacuna) na montagem de posicionamento de ponto único preciso
• MODELLED dop_error_mc::run_geometry e check: um Monte Carlo com semente (N = 20.000 épocas por geometria, sigma = 1,5 m, semente ChaCha8 36 + i) da própria solução iterada de mínimos quadrados do motor (pvt::solve_spp, pesos unitários, resolvida a partir da posição verdadeira) sobre Testes: uere_dop_monte_carlo.rs.

As linhas que a própria execução exercitou, com a referência independente que a matriz dá a cada uma (as fontes públicas são nomeadas ali):

• VALIDATED Posição de satélite em ECEF a partir das efemérides de difusão IS-GPS-200 / Galileo-OS / BeiDou-OS (elementos keplerianos → ECEF), a partir de um registro de navegação RINEX-3 analisado. Referência independente (ExternalDataset): eph2pos() do RTKLIB v2.4.2-p13 compilado a partir do código-fonte em C (T. Takasu, BSD-2-Clause) — uma implementação independente do IS-GPS-200/SIS-ICD, alimentada com os mesmos registros de navegação RINEX-3; a posição ECEF do satélite coincide a ~62 nm. (A interpolação de efemérides precisas SP3 é validada separadamente — ver 'SP3 precise-ephemeris interpolation')
• MODELLED Portões determinísticos, com hash de cenário, de SBOM e de golden entre plataformas. Referência independente (ExternalDataset): aderência à norma do SBOM ao JSON Schema oficial do CycloneDX 1,5 (+ identificadores SPDX válidos) — um padrão externo publicado, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoMs / reprodutibilidade byte a byte continua sendo uma verificação de autoconsistência fixada, de modo que a linha permanece MODELLED

Limitações#

O que o próprio relatório da execução diz que não é modelado ou não é validado:

• Reprodutibilidade e garantia de software é MODELLED, não validada: uma subafirmação é verificada externamente, mas a capacidade inteira compõe peças modeladas, de modo que a capacidade permanece modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#

• Página da família: Medições GNSS, posicionamento e integridade
• Todos os tipos de cenário: KINDS.md
• Página do tema: POSITIONING.md
• Página do tópico: INTEGRITY.md