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

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/aperture-duty-cycle.md

aperture-duty-cycle (stsenaariumi liik)

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

Mida see teeb#

Apertuuri töötsükkel: navigatsiooni ja side ajajaotus, mida kontaktiplaan eeldab juhitavate apertuuride kogumi jaoks. Võtab kontaktiplaani ([[contacts]] aos_s/los_s akende loend, millest igaüks küsib navigatsiooni või sidet — sama aos_s/los_s sõnavara, mida annab passes-ennustaja), apertuuride arvu ja ARBITREERIMISPOLIITIKA (vaikimisi navigatsiooniprioriteet, või sideprioriteet, või mitte-eelistav first-come-first-served) ning annab navigatsiooni töötsükli, side töötsükli, jõudeoleku töötsükli ja seansi kohta katkestuse — kontaktiaja, mida seanss küsis ja ükski apertuur ei teenindanud. Täpne intervallipühkimine üle akende piiride, nii et kokkupuutuvad aknad ei konkureeri kunagi ja ühtegi apertuurisekundit ei loeta kaks korda; navigatsiooni, side ja jõudeoleku apertuurisekundid akumuleeritakse sõltumatult ja sulguvad suhtes apertures*horizon_s. Aruanne esitab lahendatud poliitika, selle täieliku määratluse ning töötsükli ja katkestuse määratlused, sest ilma arbitreerimispoliitikata esitatud töötsükli arv ei ole reprodutseeritav. MODELLED ajastusaritmeetika: apertuuri teenust või seanssi vahetades ei arvestata ümberpööramise / ümberhäälestuse / üleminekuaega, otsusesse ei lähe andmemahtu, puhvri olekut, energiaeelarvet ega lingi sulgumist ning kontaktiaknad on sisendid — nende geomeetria on see, mis neid tootis. Mitte maajaama ajastustoode.

Ühe scenarios/aperture-duty-cycle.toml jooksu kokkuvõte: aperture-duty-cycle: 6 seanssi 2 apertuuril navigatsiooniprioriteedi all -> navigatsiooni töötsükkel 0,1167, side töötsükkel 0,2667, jõudeolek 0,6167; 0 s 6900 s küsitust läks konkurentsi tõttu kaotsi (MODELLED)

Sisendid#

Skeemist (kshana kinds --json):

  • Nõutavad väljad: puuduvad
  • Valikulised väljad: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

Näide scenarios/aperture-duty-cycle.toml määrab muu hulgas:

Väli Väärtus Ühik
apertures 2 arv
arbitration navigation-priority tekst
contacts[0].aos_s 0 s
contacts[0].los_s 600 s
contacts[0].name nav-1 tekst
contacts[0].service navigatsioon tekst
contacts[1].aos_s 300 s
contacts[1].los_s 1500 s
contacts[1].name comms-1 tekst
contacts[1].service side tekst
contacts[2].aos_s 3600 s
contacts[2].los_s 4500 s

Käivitamine#

kshana scenarios/aperture-duty-cycle.toml

Mida see annab#

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

Tulemus Väärtus Ühik
aperture_seconds_available 18000 aperture*s
apertures 2 arv
arbitration_policy navigation-priority tekst
arbitration_policy_default navigation-priority tekst
communications_duty 0.266667 murd (dimensioonitu)
communications_served_aperture_s 4800 aperture*s
contention_s 0 s
evidence.id_rule maatriksi rea stabiilne id (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst

Tulemuse silt (mootori oma): MODELLED — apertuuride ajastusaritmeetika etteantud kontaktiplaani üle: täpne intervallipühkimine navigatsiooni ja side ajajaotusest ning seansi kohta konkurentsikaost nimetatud arbitreerimispoliitika all. Apertuuri teenust või seanssi vahetades ei arvestata ümberpööramise / ümberhäälestuse / üleminekuaega,

Diagramm, mille mootor kirjutab failile scenarios/aperture-duty-cycle.toml, liik aperture-duty-cycle

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

  • MODELLED Üks jooks võtab kontaktiplaani (aos_s/los_s akende loend, millest igaüks küsib apertuurilt navigatsiooni või sidet — sama akende sõnavara, mida annab passes::predict_passes, teisendatud funktsiooniga aperture_duty::windows_from_passes), apertuuri

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

  • 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
  • MODELLED Üks jooks võtab kontaktiplaani (aos_s/los_s akende loend, millest igaüks küsib apertuurilt navigatsiooni või sidet — sama akende sõnavara, mida annab `passes::pre. Sõltumatu etalon (InternalConsistency): Sisemine kooskõla kolmest suurusest, mis on arvutatud samas pühkimises erinevate avaldistega ja millelt seejärel nõutakse sulgumist. Navigatsiooni apertuurisekundid, side apertuurisekundid ja jõudeoleku apertuurisekundid akumuleeritakse eraldi — jõudeolek (apertures − |served|) järgi elementaarintervalli kohta, mitte kunagi jäägina — ja nende summat kontrollitakse suhte apertures × horizon_s vastu, mida valesti sulgenud piir, topelt-c

Piirangud#

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

  • MODELLED — apertuuride ajastusaritmeetika etteantud kontaktiplaani üle: täpne intervallipühkimine navigatsiooni ja side ajajaotusest ning seansi kohta konkurentsikaost nimetatud arbitreerimispoliitika all. Apertuuri teenust või seanssi vahetades ei arvestata ümberpööramise / ümberhäälestuse / üleminekuaega, otsusesse ei lähe andmemahtu, puhvri olekut, energiaeelarvet ega lingi sulgumist ning kontaktiaknad on sisendid — th (tulemus label)
  • MODELLED ajastusaritmeetika: apertuuri teenust või seanssi vahetades ei arvestata ümberpööramise / ümberhäälestuse / üleminekuaega, otsusesse ei lähe andmemahtu, puhvri olekut, energiaeelarvet ega lingi sulgumist ning kontaktiaknad on sisendid — nende geomeetria on see, mis neid tootis. (liikide kataloog (kshana kinds --json))
  • ÕIGLANE ULATUS: MODELLED ajastusaritmeetika etteantud akende üle. Apertuuri teenust või seanssi vahetades ei arvestata ümberpööramise / ümberhäälestuse / üleminekuaega; otsusesse ei lähe andmemahtu, puhvri olekut, energiaeelarvet ega lingi sulgumist; ning kontaktiaknad on sisendid -- nende geomeetria on see, mis neid tootis (stsenaarium passes annab sama aos_s / los_s sõnavara). Mitte maajaama ajastus (stsenaariumifaili kommentaar, read 18 kuni 24)
  • 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))
  • Apertuuri navigatsiooni ja side töötsükkel on MODELLED, mitte valideeritud: kontrollitud oma suletud kujul / analüütilise samasuse vastu — tabab ülekirjutus- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#