Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/inertial.md

inertial (skenaariotyyppi)

Moottorin v0.40.0 skenaariotyyppi, perhe Inertia-, fuusio- ja kvanttianturit. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).

Mitä se tekee#

1-DOF inertiaalinen dead reckoning GNSS-katkon aikana.

Yksi ajo tiedostolla scenarios/imu-deadreckoning.toml tiivistyy seuraavasti: scenario fc9191cef784 | quantum holdover 6600s p95 41.39m | classical holdover 350s p95 30629.9m

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: seed, threshold_m, time, gnss, accel_quantum, accel_classical
  • Valinnaiset kentät: runs

Esimerkki scenarios/imu-deadreckoning.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
accel_classical.bias 0.00157 m/s^2
accel_classical.bias_instability 1.0000e-5 ei ilmoitettu
accel_classical.id nav-grade-quartz teksti
accel_classical.provenance Navigointiluokan kvartsikiihtyvyysanturi (Honeywell QA-2000 / G teksti
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 teksti
accel_quantum.provenance Exail-hybridikvanttikiihtyvyysanturikolmikko: harhan vakaus 6e- teksti
accel_quantum.q_va 4.6656e-8 (m/s^2)^2/Hz
gnss.windows[0].state nominal teksti
gnss.windows[0].t0 0 ei ilmoitettu

Aja se#

kshana scenarios/imu-deadreckoning.toml

2 mukana toimitettua skenaariota käyttää tätä lajia; muut ovat kohteessa scenarios/.

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
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 ei arvoa ei ilmoitettu
classical.fom.pos_p95_m 30629.852742 m
classical.fom.pos_rms_m 15189.151543 m
classical.fom.security ei arvoa ei ilmoitettu
classical.monte_carlo false lippu
classical.spec.id nav-grade-quartz teksti
classical.spec.kind inertial teksti
Kaavio, jonka moottori kirjoittaa tiedostolle scenarios/imu-deadreckoning.toml, skenaariotyyppi inertial

Todisteet#

MODELLED 6 · VALIDATED 2: varmennusmatriisin rivit, jotka nimeävät tämän tyypin.

  • VALIDATED Kvaternioniasenteinen, WGS-84 NED -strapdown-inertiamekanisaatio (coning/sculling-kompensoitu), joka propagoi navigointitilaa (Δθ, Δv)-inkrementeistä Testit: classical_strapdown_ins_reference.rs.
  • MODELLED Kylmäatomi-interferometrikiihtyvyysanturi ensiperiaatteista (k_eff·T², QPN) Testit: quantum_inertial_sensor_reference.rs.
  • MODELLED Mach–Zehnder-interferenssijuovan epäselvyyden dynaaminen alue: 2π-jaksollinen juovalukema asettaa suurimman yksiselitteisen ominaisvoiman a_max=π/(k_eff·T²), ja yksiselitteinen alue resoluutiosoluissa a_max/σ_a=π/σ_Φ on riippumaton optisesta asteikkok
  • MODELLED Koostettu harha + asteikkokerroin + VRW + stabiilisuuden vaimenemis -paikkabudjetti holdoverin yli Testit: quantum_inertial_dead_reckoning_reference.rs.
  • ja 4 lisää matriisissa.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

  • MODELLED Kylmäatomi-interferometrikiihtyvyysanturi ensiperiaatteista (k_eff·T², QPN). Oraakkeli (ExternalDataset): Julkaistut CAI:n alkuperäisartikkelien numeeriset vektorit (Cheinet 2008 siirtofunktio; Peters/Freier-herkkyys): k_eff·T² täsmää tarkasti, shot-kohinan ASD yksipuolinen lattia ~2× sisällä kustakin julkaistusta instrumentista (todelliset laitteet kantavat teknistä kohinaa kvanttilattian yläpuolella). Haarukka, ei pariteetti. 0,30 kierros 2 (ennakkorekisteröity fcb9ac64), havainto (jää tasolle MODELLED): pelkkä QPN-kiertokohina mitattua Gauguet ym.
  • MODELLED Koostettu harha + asteikkokerroin + VRW + stabiilisuuden vaimenemis -paikkabudjetti holdoverin yli. Oraakkeli (ReferenceImpl): Riippumaton numpy Monte Carlo -SDE-integrointi kaksoisintegroidulle valkoisen kiihtyvyyden kohinalle (validoi analyyttisen VRW-varianssin aidosti riippumattomalla algoritmilla) + Grovesin 2013 julkaistu arvoankkuri harha- ja asteikkokerroin-termeille; CAI-laitelukemat kvantifioivat kumppanin laitteiston ja pysyvät tasolla MODELLED
  • MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
  • PARTNER Ei tarjota — vain suorituskykymalleja; kylmäatomi-/kellolaitteisto on kumppanin. Oraakkeli (NoneKind): ei mitään: kumppanin omistama ala, tarkoituksella ilman moduulia ja testiä

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • Kvanttiinertiaanturin suorituskyky on MODELLED, ei validoitu: osaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys koostuu mallinnetuista osista, joten kyvykkyys jää mallinnetuksi. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
  • Kvanttiinertiaalisen dead reckoning -paikanpidon kestävyys on MODELLED, ei validoitu: se on tarkistettu erillistä toteutusta vasten samassa koodikannassa — riippumaton testattavasta yksiköstä, mutta ei ulkoisesti auktoritatiivinen. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
  • Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#