Masintõlge, mida emakeelne kõneleja pole üle vaadanud. Võrdlusallikaks on ingliskeelne versioon.

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/inertial.md

inertial (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Inertsiaal-, liitmis- ja kvantsensorid. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

1-DOF inertsiaalne kursiarvestus GNSS-i katkestuse ajal.

Ühe scenarios/imu-deadreckoning.toml jooksu kokkuvõte: scenario fc9191cef784 | kvant-holdover 6600s p95 41.39m | klassikaline holdover 350s p95 30629.9m

Sisendid#

Skeemist (kshana kinds --json):

  • Kohustuslikud väljad: seed, threshold_m, time, gnss, accel_quantum, accel_classical
  • Valikulised väljad: runs

Näide scenarios/imu-deadreckoning.toml määrab muu hulgas:

Väli Väärtus Ühik
accel_classical.bias 0.00157 m/s^2
accel_classical.bias_instability 1.0000e-5 ei ole märgitud
accel_classical.id nav-grade-quartz tekst
accel_classical.provenance Navigatsiooniklassi kvartsakseleromeeter (Honeywell QA-2000 / G tekst
accel_classical.q_aa 1.0000e-13 (m/s^2)^2/s
accel_classical.q_va 3.8416e-8 (m/s^2)^2/Hz
accel_quantum.bias 5.8800e-7 m/s^2
accel_quantum.id cold-atom-quat tekst
accel_quantum.provenance Exail hübriidne kvantakseleromeetri kolmik: nihke stabiilsus 6e- tekst
accel_quantum.q_va 4.6656e-8 (m/s^2)^2/Hz
gnss.windows[0].state nominaalne tekst
gnss.windows[0].t0 0 ei ole märgitud

Käivitamine#

kshana scenarios/imu-deadreckoning.toml

2 kaasasolevat stsenaariumi kasutab seda liiki; ülejäänud on kaustas scenarios/.

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemus Väärtus Ühik
classical.fom.availability 0.131761 1
classical.fom.drift_slope_m_per_s 5.138079 m/s
classical.fom.holdover_s 350 s
classical.fom.integrity väärtus puudub ei ole märgitud
classical.fom.pos_p95_m 30629.852742 m
classical.fom.pos_rms_m 15189.151543 m
classical.fom.security väärtus puudub ei ole märgitud
classical.monte_carlo false lipp
classical.spec.id nav-grade-quartz tekst
classical.spec.kind inertial tekst
Diagramm, mille mootor kirjutab failile scenarios/imu-deadreckoning.toml, liik inertial

Tõendid#

MODELLED 6 · VALIDATED 2: selle liigi nimetavad kontrollimaatriksi read.

  • VALIDATED Kvaternioonasendiga, WGS-84 NED inertsiaalnavigatsiooni mehhaniseering (koonuse/sõudmise kompenseeritud), mis ekstrapoleerib navigatsiooniolekut (Δθ, Δv) juurdekasvudest Testid: classical_strapdown_ins_reference.rs.
  • MODELLED Külmaatomi interferomeetri akseleromeeter esimestest printsiipidest (k_eff·T², QPN) Testid: quantum_inertial_sensor_reference.rs.
  • MODELLED Mach–Zehnderi triibumitmetähenduslikkuse dünaamiline ulatus: 2π-perioodiline triibu väljalugemine määrab maksimaalse üheselt mõistetava erijõu a_max=π/(k_eff·T²) ning üheselt mõistetav ulatus eraldusrakkudes a_max/σ_a=π/σ_Φ on sõltumatu optilisest skaalateguri
  • MODELLED Koostatud nihke + skaalateguri + VRW + stabiilsuse hääbumise positsioonieelarve holdover-i jooksul Testid: quantum_inertial_dead_reckoning_reference.rs.
  • ja veel 4 maatriksis.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

  • MODELLED Külmaatomi interferomeetri akseleromeeter esimestest printsiipidest (k_eff·T², QPN). Sõltumatu etalon (ExternalDataset): Avaldatud CAI esmaartiklite arvvektorid (Cheineti 2008 ülekandefunktsioon; Petersi/Freieri tundlikkus): k_eff·T² ühtib täpselt, footonimüra ASD ühepoolne põrand ~2× piires iga avaldatud instrumendi omast (päris seadmed kannavad kvantpõrandast kõrgemat tehnilist müra). Vahemik, mitte võrdsus. 0,30 ring 2 (eelregistreeritud fcb9ac64), tulemus (jääb MODELLED): ainult QPN pöörlemismüra mõõdetud Gauguet et al. vastu.
  • MODELLED Koostatud nihke + skaalateguri + VRW + stabiilsuse hääbumise positsioonieelarve holdover-i jooksul. Sõltumatu etalon (ReferenceImpl): Sõltumatu numpy Monte Carlo SDE integreerimine topeltintegreeritud valge kiirenduse müra jaoks (valideerib analüütilise VRW dispersiooni tõeliselt sõltumatu algoritmiga) + Grovesi 2013 avaldatud väärtuse ankur nihke/skaalateguri liikmete jaoks; CAI seadme arvud kvantifitseerivad partneri riistvara ja jäävad MODELLED
  • MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
  • PARTNER Ei paku — ainult toimivusmudelid; külmaatomi/kella riistvara on partneri oma. Sõltumatu etalon (NoneKind): puudub: partneri vastutusala, kujundatud nii, et mooduli ega testi ei ole

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

  • Kvantinertsiaalsensori toimivus on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • Kvantinertsiaalse kursiarvestuse vastupidavus on MODELLED, mitte valideeritud: kontrollitud eraldi teostuse vastu samas koodibaasis — testitavast üksusest sõltumatu, kuid mitte väliselt autoriteetne. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#