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

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/aperture-duty-cycle.md

aperture-duty-cycle (skenaariolaji)

Moottorin v0.40.0 skenaariolaji, perhe Tehtäväanalyysi, linkit ja avaruusoperaatiot. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

Apertuurin käyttösuhde: navigoinnin ja viestinnän aikajako, jonka yhteysaikataulu merkitsee ohjattavien apertuurien joukolle. Ottaa yhteysaikataulun (luettelo ikkunoista [[contacts]] aos_s/los_s, joista kukin pyytää navigointia tai viestintää — sama aos_s/los_s-sanasto, jonka ennustin passes tuottaa), apertuurien määrän ja VÄLITYSPOLITIIKAN (navigointi etusijalla oletuksena, tai viestintä etusijalla, tai keskeyttämätön ensin tullut ensin palvellaan), ja raportoi navigoinnin käyttösuhteen, viestinnän käyttösuhteen, joutoajan käyttösuhteen ja istuntokohtaisen katkon — yhteysajan, jonka istunto pyysi ja jota mikään apertuuri ei palvellut. Tarkka välinpyyhkäisy ikkunarajojen yli, joten toisiinsa koskettavat ikkunat eivät koskaan kilpaile eikä yhtään apertuurisekuntia lasketa kahdesti; navigoinnin, viestinnän ja joutoajan apertuurisekunnit kerätään toisistaan riippumatta ja ne sulkeutuvat arvoon apertuurit*horizon_s. Raportti ilmoittaa ratkaistun politiikan, sen täyden määritelmän sekä käyttösuhteen ja katkon määritelmät, koska ilman välityspolitiikkaansa esitetty käyttösuhdeluku ei ole toistettavissa. MODELLED aikataulutuslaskenta: mitään käännös- / uudelleenvirityksen / vaihtoaikaa ei veloiteta, kun apertuuri vaihtaa palvelua tai istuntoa, päätökseen ei vaikuta datamäärä, puskuritila, energiabudjetti eikä linkin sulkeutuminen, ja yhteysikkunat ovat syötteitä — niiden geometria on se, mikä ne tuotti. Ei maasegmentin aikataulutustuote.

Yksi ajo tiedostosta scenarios/aperture-duty-cycle.toml tiivistyy näin: aperture-duty-cycle: 6 istuntoa 2 apertuurilla navigointi etusijalla -politiikan mukaan -> navigoinnin käyttösuhde 0,1167, viestinnän käyttösuhde 0,2667, jouto 0,6167; 0 s pyydetyistä 6900 s menetetty kilpailun vuoksi (MODELLED)

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: ei yhtään
  • Valinnaiset kentät: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

Esimerkki scenarios/aperture-duty-cycle.toml asettaa muun muassa:

Kenttä Arvo Yksikkö
apertures 2 lukumäärä
arbitration navigation-priority teksti
contacts[0].aos_s 0 s
contacts[0].los_s 600 s
contacts[0].name nav-1 teksti
contacts[0].service navigointi teksti
contacts[1].aos_s 300 s
contacts[1].los_s 1500 s
contacts[1].name comms-1 teksti
contacts[1].service viestintä teksti
contacts[2].aos_s 3600 s
contacts[2].los_s 4500 s

Aja se#

kshana scenarios/aperture-duty-cycle.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
aperture_seconds_available 18000 apertuuri*s
apertures 2 lukumäärä
arbitration_policy navigation-priority teksti
arbitration_policy_default navigation-priority teksti
communications_duty 0.266667 osuus (dimensioton)
communications_served_aperture_s 4800 apertuuri*s
contention_s 0 s
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier MODELLED teksti

Tulosnimike (moottorin oma): MODELLED — apertuurin aikataulutuslaskenta annetun yhteysaikataulun yli: tarkka välinpyyhkäisy navigoinnin ja viestinnän aikajaosta ja istuntokohtaisesta kilpailuhäviöstä nimetyn välityspolitiikan mukaan. Mitään käännös- / uudelleenvirityksen / vaihtoaikaa ei veloiteta, kun apertuuri vaihtaa palvelua tai istuntoa,

Moottorin kirjoittama kaavio skenaariolle scenarios/aperture-duty-cycle.toml, laji aperture-duty-cycle

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

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

  • 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 Yksi ajo ottaa yhteysaikataulun (luettelo aos_s/los_s-ikkunoista, joista kukin pyytää apertuuria navigointiin tai viestintään — sama ikkunasanasto, jonka `passes::pre. Oraakkeli (InternalConsistency): Sisäinen johdonmukaisuus, kolmesta suureesta, jotka lasketaan eri lausekkeilla samassa pyyhkäisyssä ja joiden sitten vaaditaan sulkeutuvan. Navigoinnin apertuurisekunnit, viestinnän apertuurisekunnit ja joutoajan apertuurisekunnit kerätään erikseen — jouto lausekkeesta (apertuurit − |palvellut|) alkeisväliä kohden, ei koskaan jäännöksenä — ja niiden summa varmistetaan arvoa apertuurit × horizon_s vastaan, minkä väärin rajattu raja, kahdesti laskettu

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • MODELLED — apertuurin aikataulutuslaskenta annetun yhteysaikataulun yli: tarkka välinpyyhkäisy navigoinnin ja viestinnän aikajaosta ja istuntokohtaisesta kilpailuhäviöstä nimetyn välityspolitiikan mukaan. Mitään käännös- / uudelleenvirityksen / vaihtoaikaa ei veloiteta, kun apertuuri vaihtaa palvelua tai istuntoa, päätökseen ei vaikuta datamäärä, puskuritila, energiabudjetti eikä linkin sulkeutuminen, ja yhteysikkunat ovat syötteitä — th (tulos label)
  • MODELLED aikataulutuslaskenta: mitään käännös- / uudelleenvirityksen / vaihtoaikaa ei veloiteta, kun apertuuri vaihtaa palvelua tai istuntoa, päätökseen ei vaikuta datamäärä, puskuritila, energiabudjetti eikä linkin sulkeutuminen, ja yhteysikkunat ovat syötteitä — niiden geometria on se, mikä ne tuotti. (lajiluettelo (kshana kinds --json))
  • REHELLINEN RAJAUS: MODELLED aikataulutuslaskenta annettujen ikkunoiden yli. Mitään käännös- / uudelleenvirityksen / vaihtoaikaa ei veloiteta, kun apertuuri vaihtaa palvelua tai istuntoa; päätökseen ei vaikuta datamäärä, puskuritila, energiabudjetti eikä linkin sulkeutuminen; ja yhteysikkunat ovat syötteitä -- niiden geometria on se, mikä ne tuotti (skenaario passes tuottaa saman aos_s / los_s -sanaston). Ei maasegmentin aikataulutus (skenaariotiedoston kommentti, rivit 18–24)
  • 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))
  • Apertuurin navigoinnin ja viestinnän käyttösuhde on MODELLED, ei validoitu: 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#