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

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

sweep (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#

1-ulotteinen vaihtoehtovertailun pyyhkäisy kellopaketin parametrin yli.

Yksi ajo, jossa on scenarios/sweep-clock-stability.toml, tiivistyy seuraavasti: sweep holdover_s over classical_q_wf (1.00e-24..1.00e-18, 25 pts, log scale) | quantum 6600.000->6600,000 | classical 2610.000->250,000

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: parameter, metric, start, stop, steps, base
  • Valinnaiset kentät: scale

Esimerkki scenarios/sweep-clock-stability.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
base.clock_classical.flicker_floor 2.0000e-11 ei ilmoitettu
base.clock_classical.id csac-sa45s teksti
base.clock_classical.provenance Datasheet (Microchip SA.45s CSAC) sigma_y(1s)=3e-10; q_wf on s teksti
base.clock_classical.q_rw 0 ei ilmoitettu
base.clock_classical.q_wf 9.0000e-20 ei ilmoitettu
base.clock_classical.y0 5.0000e-10 ei ilmoitettu
base.clock_quantum.flicker_floor 1.0000e-16 ei ilmoitettu
base.clock_quantum.id optical-sr-lattice teksti
base.clock_quantum.provenance Strontiumin optinen hilakello, avaruuteen suunnattu tavoite sigma_y teksti
base.clock_quantum.q_rw 0 ei ilmoitettu
base.clock_quantum.q_wf 1.0000e-30 ei ilmoitettu
base.clock_quantum.y0 5.0000e-17 ei ilmoitettu

Aja se#

kshana scenarios/sweep-clock-stability.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 MODELLED teksti
metric holdover_s teksti
parameter classical_q_wf teksti
scale log teksti
Moottorin kirjoittama kaavio skenaariolle scenarios/sweep-clock-stability.toml, laji sweep

Todisteet#

MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.

  • MODELLED Yksi ajo ottaa yhteysaikataulun (luettelo aos_s/los_s-ikkunoista, joista kukin pyytää apertuuria navigointiin tai viestintään — sama ikkunasanasto, jonka passes::predict_passes tuottaa, muunnettuna funktiolla aperture_duty::windows_from_passes), apert
  • MODELLED Tyypin gnss-ssv saatavuuspyyhkäisyt: tähdistöittäin (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) ja yhdistettynä (käyttäjä, epookki) -parien osuus, joilla on vähintään yksi ja vähintään neljä signaalia, sekä pisin katko, pallolla olevalle käyttäjälle
  • MODELLED Vaihe tli-and-cruise: keskitila moottorin Cowell-propagaattorilla (Maa pistemassana ja J2, Aurinko ja Kuu kolmansina kappaleina, Kuu ketjun DE440-kernelistä, missä se kattaa osuuden, ja Aurinko analyyttisestä sarj
  • MODELLED Lajin campaign sweep-osio (yhdestä kolmeen pisteytettyä avainta mitä tahansa lajia, yleisen pyyhkäisyn akseliarvoilla, valinnaisesti joukko jokaisessa solmussa) ja monte_carlo-osiot: realisaatio k ajetaan arvolla base_seed + k; jokainen metriikka raportoi keskiarvon, keskihajonnan d Testit: campaign_composition_reference.rs.

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

  • MODELLED Suljetun muodon ajelehtimisvirheen kasvu + holdover kynnykseen; kvanttikelloluokat. Oraakkeli (ReferenceImpl): Monivaiheinen clock_state-kovarianssirekursio (saman koodikannan ristiintarkistus); taustalla oleva ajelehtimisvarianssin ja holdover-inversion ydin on validoitu ulkoisesti scipy-kirjastoa vastaan (ks. 'Clock-holdover coast-variance & threshold inversion'). Luokkakohtaiset punakohinalattian holdover-luvut pysyvät 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
  • 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:

  • Kellon holdover GNSS:n ollessa estetty 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#