aperture-duty-cycle (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Analiza misji, łącza i operacje kosmiczne. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie jest to sprzęt nawigacyjny z zatwierdzeniem typu ani usługa bezpieczeństwa życia. Każda etykieta tutaj pochodzi z silnika lub z macierzy weryfikacji; rodzaj ma status MODELLED, chyba że macierz mówi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Cykl pracy apertur: podział czasu między nawigację a łączność, jaki wynika z planu kontaktów dla puli sterowalnych apertur. Przyjmuje plan kontaktów (listę okien [[contacts]] aos_s/los_s, każde żądające nawigacji lub łączności — to samo słownictwo aos_s/los_s, które emituje predyktor passes), liczbę apertur oraz POLITYKĘ ARBITRAŻU (domyślnie z priorytetem nawigacji, albo z priorytetem łączności, albo bez wywłaszczania: kto pierwszy, ten pierwszy) i podaje cykl pracy nawigacji, cykl pracy łączności, cykl bezczynności oraz przerwę w obsłudze sesji — czas kontaktu, o który sesja prosiła, a który nie został obsłużony przez żadną aperturę. Dokładne przemiatanie przedziałów po granicach okien, więc stykające się okna nigdy nie konkurują i żadna sekunda apertury nie jest liczona dwa razy; sekundy apertur nawigacyjne, łącznościowe i bezczynne są sumowane niezależnie i domykają się względem apertures*horizon_s. Raport podaje rozstrzygniętą politykę, jej pełną definicję oraz definicje cyklu pracy i przerwy, ponieważ wartość cyklu pracy podana bez polityki arbitrażu nie jest odtwarzalna. Arytmetyka planowania MODELLED: nie nalicza się czasu przeskoku / przestrojenia / zmiany przy zmianie usługi lub sesji przez aperturę, w decyzji nie występuje ilość danych, stan bufora, budżet energii ani domknięcie łącza, a okna kontaktów są danymi wejściowymi — ich geometria jest taka, jaką wytworzyło to, co je wygenerowało. To nie jest produkt do planowania segmentu naziemnego.

Jeden przebieg scenarios/aperture-duty-cycle.toml podsumowuje się tak: aperture-duty-cycle: 6 sesji na 2 aperturach przy priorytecie nawigacji -> cykl pracy nawigacji 0,1167, cykl pracy łączności 0,2667, bezczynność 0,6167; 0 s z żądanych 6900 s utracone wskutek rywalizacji (MODELLED)

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

Przykład scenarios/aperture-duty-cycle.toml ustawia m.in.:

Uruchom#

kshana scenarios/aperture-duty-cycle.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Etykieta wyniku (silnika): MODELLED — arytmetyka planowania apertur na dostarczonym planie kontaktów: dokładne przemiatanie przedziałów podziału czasu między nawigację a łączność oraz strat z rywalizacji w sesjach według nazwanej polityki arbitrażu. Nie nalicza się czasu przeskoku / przestrojenia / zmiany przy zmianie usługi lub sesji przez aperturę,

Dowody#

MODELLED: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.

• MODELLED Jeden przebieg przyjmuje plan kontaktów (listę okien aos_s/los_s, każde żądające od apertury nawigacji lub łączności — to samo słownictwo okien, które emituje passes::predict_passes, przekształcone przez aperture_duty::windows_from_passes), liczbę apert

Wiersze, które sam przebieg wykorzystał, wraz z wyrocznią, jaką macierz podaje dla każdego (publiczne źródła są tam wymienione):

• MODELLED Deterministyczne, haszowane na poziomie scenariusza, bramki SBOM i złotych wyników między platformami. Wyrocznia (ExternalDataset): zgodność SBOM z oficjalnym schematem JSON CycloneDX 1,5 (+ prawidłowe identyfikatory SPDX): zewnętrzny opublikowany standard, zero błędów walidacji w całym grafie zależności; część dotycząca determinizmu wskaźników jakości i odtwarzalności bajt w bajt pozostaje przypiętą kontrolą samospójności, więc wiersz pozostaje MODELLED
• MODELLED Jeden przebieg przyjmuje plan kontaktów (listę okien aos_s/los_s, każde żądające od apertury nawigacji lub łączności — to samo słownictwo okien, które `passes::pre. Wyrocznia (InternalConsistency): Spójność wewnętrzna, z trzech wielkości liczonych różnymi wyrażeniami w tym samym przemiataniu, a następnie wymaganych do domknięcia. Sekundy apertur nawigacyjne, łącznościowe i bezczynne są sumowane osobno — bezczynne z (apertures − |served|) na elementarny przedział, nigdy jako reszta — a ich suma jest sprawdzana względem apertures × horizon_s, czego błędnie wyznaczona granica, podwójne l

Ograniczenia#

Co raport samego przebiegu podaje jako niemodelowane lub niesprawdzone względem niezależnego wzorca:

• MODELLED — arytmetyka planowania apertur na dostarczonym planie kontaktów: dokładne przemiatanie przedziałów podziału czasu między nawigację a łączność oraz strat z rywalizacji w sesjach według nazwanej polityki arbitrażu. Nie nalicza się czasu przeskoku / przestrojenia / zmiany przy zmianie usługi lub sesji przez aperturę, w decyzji nie występuje ilość danych, stan bufora, budżet energii ani domknięcie łącza, a okna kontaktów są danymi wejściowymi — th (wynik label)
• Arytmetyka planowania MODELLED: nie nalicza się czasu przeskoku / przestrojenia / zmiany przy zmianie usługi lub sesji przez aperturę, w decyzji nie występuje ilość danych, stan bufora, budżet energii ani domknięcie łącza, a okna kontaktów są danymi wejściowymi — ich geometria jest taka, jaką wytworzyło to, co je wygenerowało. (katalog rodzajów (kshana kinds --json))
• UCZCIWY ZAKRES: arytmetyka planowania MODELLED na dostarczonych oknach. Nie nalicza się czasu przeskoku / przestrojenia / zmiany przy zmianie usługi lub sesji przez aperturę; w decyzji nie występuje ilość danych, stan bufora, budżet energii ani domknięcie łącza; a okna kontaktów są danymi wejściowymi -- ich geometria jest taka, jaką wytworzyło to, co je wygenerowało (scenariusz passes emituje to samo słownictwo aos_s / los_s). To nie jest produkt do planowania segmentu naziemnego (komentarz w pliku scenariusza, wiersze 18 do 24)
• Odtwarzalność i zapewnienie jakości oprogramowania jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: jedno twierdzenie składowe jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc pozostaje obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
• Cykl pracy apertury między nawigacją a łącznością jest MODELLED, nie jest sprawdzony względem niezależnego wzorca: sprawdzony względem własnej tożsamości w postaci zamkniętej / analitycznej; wychwytuje błędy przepisania i współczynników, ale nie jest zewnętrzną wyrocznią. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#

• Strona rodziny: Analiza misji, łącza i operacje kosmiczne
• Wszystkie rodzaje: KINDS.md