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

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

sweep-nd (skenaariolaji)

Moottorin v0.40.0 skenaariotyyppi, perhe Kellot, ajoitus ja holdover. 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#

Yleinen N-ulotteinen pyyhkäisy minkä tahansa paketin yli pisteytettyjen TOML-avainten / JSON-metriikkapolkujen avulla.

Yksi ajo, jossa on scenarios/sweep-nd-inertial.toml, tiivistyy seuraavasti: generic sweep of inertial over [threshold_m, accel_classical.bias] | 15 nodes (shape [5, 3]) | metrics [classical.fom.holdover_s, classical.fom.pos_rms_m]

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: base, axes, metrics
  • Valinnaiset kentät: ei yhtään

Esimerkki scenarios/sweep-nd-inertial.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
axes[0].key threshold_m teksti
axes[0].start 100 ei ilmoitettu
axes[0].steps 5 ei ilmoitettu
axes[0].stop 500 ei ilmoitettu
axes[1].key accel_classical.bias teksti
axes[1].scale log teksti
axes[1].start 0.001 ei ilmoitettu
axes[1].steps 3 ei ilmoitettu
axes[1].stop 0.003 ei ilmoitettu
axes[1].unit m/s^2 teksti
base.accel_classical.bias 0.00157 ei ilmoitettu
base.accel_classical.bias_instability 1.0000e-5 ei ilmoitettu

Aja se#

kshana scenarios/sweep-nd-inertial.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier PARTNER teksti
Moottorin kirjoittama kaavio skenaariolle scenarios/sweep-nd-inertial.toml, laji sweep-nd

Todisteet#

Yksikään matriisin rivi ei nimeä tätä tyyppiä nimellä; sen tuloksen merkintä on moottorin oma, yllä.

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ä
  • MODELLED Lajin campaign pyyhkäisy (yhdestä kolmeen pisteillä erotettua avainta mitä tahansa lajia, yleisen pyyhkäisyn akseliarvoilla, valinnaisesti joukko jokaisessa solmussa) ja osio monte_carlo. Oraakkeli (InternalConsistency): Vaihesatunnaiskävelyn suljettu muoto valkoisessa taajuuskohinassa, varianssi q_wf tau (NIST Technical Note 1337), tilastokoneistolle, ja tavutason yhtäläisyys erillisten ajojen kanssa siementämiselle. Se tarkistaa joukkolaskennan moottorin omalla kellomallilla, ei ulkoista aineistoa

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))
  • Parametripyyhkäisyt ja siemenluvulla alustetut Monte Carlo -joukot minkä tahansa skenaariolajin yli ovat MODELLED, eivät validoituja: tarkistettu omaa suljetun muodon / analyyttistä identiteettiään vastaan — havaitsee kirjoitus- ja kerroinvirheet, mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#