Tłumaczenie maszynowe, niezweryfikowane przez osobę, dla której polski jest językiem ojczystym. Wzorcem jest wersja angielska.

Strony rodzajów scenariuszyEdytuj na GitHubieŹródło: docs/kinds/by-kind/attitude-budget.md

attitude-budget (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#

Budżet błędu orientacji i wskazywania 3-DOF: najgorszy przypadek momentu zakłócającego od gradientu grawitacji ((3/2)(μ/R³)ΔI) oraz budżet błędu wskazywania metodą pierwiastka z sumy kwadratów dla nazwanych składników 1σ (szum czujników, drgania kół reakcyjnych, termiczne, osiowanie) z wiodącym składnikiem, dla wysokości orbity i rozrzutu bezwładności korpusu. Skalarny budżet AOCS MODELLED — uzupełnienie przed powstaniem sprzętu dla Basilisk/42, a nie symulacja pętli sterowania / 6-DoF / drgań giętnych.

Jeden przebieg scenarios/attitude-budget.toml podsumowuje się tak: attitude-budget: 600 km, ΔI 40 kg·m² -> moment GG 7.04e-5 N·m; wskazywanie 10,7" RSS (dominuje: reaction_wheel_jitter) (skalarny budżet MODELLED)

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

Przykład scenarios/attitude-budget.toml ustawia m.in.:

Pole Wartość Jednostka
altitude_km 600 km
contributors[0].name star_tracker_noise tekst
contributors[0].sigma_arcsec 5 arcsec
contributors[1].name reaction_wheel_jitter tekst
contributors[1].sigma_arcsec 8 arcsec
contributors[2].name thermal_distortion tekst
contributors[2].sigma_arcsec 4 arcsec
contributors[3].name osiowanie tekst
contributors[3].sigma_arcsec 3 arcsec
i_max_kg_m2 100 nie podano
i_min_kg_m2 60 nie podano
kind attitude-budget tekst

Uruchom#

kshana scenarios/attitude-budget.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
altitude_km 600 km
delta_inertia_kg_m2 40 kg*m^2
dominant_contributor reaction_wheel_jitter tekst
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier PARTNER tekst
gravity_gradient_torque_max_nm 7.0383e-5 N*m
total_pointing_error_arcsec 10.677078 arcsec

Etykieta wyniku (silnika): MODELLED — skalarny budżet błędu AOCS 3-DOF: najgorszy przypadek momentu zakłócającego od gradientu grawitacji + budżet wskazywania RSS; to NIE jest symulacja pętli sterowania / 6-DoF / drgań giętnych (uzupełnienie przed powstaniem sprzętu dla Basilisk/42, a nie jego zamiennik)

Wykres zapisywany przez silnik dla scenarios/attitude-budget.toml, rodzaj attitude-budget

Dowody#

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

  • VALIDATED Najgorszy przypadek momentu zakłócającego od gradientu grawitacji ((3/2)(μ/R³)ΔI) jako szczyt po orientacji (twierdzenie sprawdzone względem niezależnego wzorca), plus budżet błędu wskazywania RSS dla nazwanych składników 1σ z wiodącym składnikiem (suma kwadratowa liczb podanych przez wywołującego Testy: attitude_gg_torque_reference.rs.

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
  • VALIDATED Najgorszy przypadek momentu zakłócającego od gradientu grawitacji ((3/2)(μ/R³)ΔI) jako szczyt po orientacji (twierdzenie sprawdzone względem niezależnego wzorca), plus budżet błędu wskazywania RSS dla nazwanych składników 1σ . Wyrocznia (ExternalDataset): Basilisk 2.9.1 GravityGradientEffector (AVSLab, ISC), niezależna implementacja w C++ momentu od gradientu grawitacji z pełnym tensorem: szczyt Kshana (3/2)(μ/R³)ΔI równa się momentowi Basilisk przy orientacji 45 deg z dokładnością 1e-12 względnie (najgorszy 2.1e-15) dla 5 wysokości i 8 tensorów bezwładności oraz ogranicza moment Basilisk dla 2000 losowych orientacji w każdym przypadku; tolerancja ustalona przed porównaniem. Twierdzenie sprawdzone względem niezależnego wzorca: gradient grawitacji-
  • PARTNER Nie zapewnia się — Kshana jest symulatorem osiągów nawigacyjnych, a nie producentem platform satelitarnych. Wyrocznia (NoneKind): brak: dyscyplina należąca do partnera, z założenia bez modułu i bez testu

Ograniczenia#

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

  • MODELLED — skalarny budżet błędu AOCS 3-DOF: najgorszy przypadek momentu zakłócającego od gradientu grawitacji + budżet wskazywania RSS; to NIE jest symulacja pętli sterowania / 6-DoF / drgań giętnych (uzupełnienie przed powstaniem sprzętu dla Basilisk/42, a nie jego zamiennik) (wynik label)
  • Skalarny budżet AOCS MODELLED — uzupełnienie przed powstaniem sprzętu dla Basilisk/42, a nie symulacja pętli sterowania / 6-DoF / drgań giętnych. (katalog rodzajów (kshana kinds --json))
  • UCZCIWY ZAKRES: skalarny budżet błędu MODELLED -- uzupełnienie przed powstaniem sprzętu dla Basilisk/42, a NIE symulacja pętli sterowania / 6-DoF / drgań giętnych. Składnik gradientu grawitacji jest podawany jako moment (przełożenie go na wskazywanie wymaga sztywności sterowania, którą zapewnia wywołujący); budżet jest sumą kwadratową dostarczonych składników 1-sigma. Uruchomienie: kshana scenarios/attitude-budget.toml (komentarz w pliku scenariusza, wiersze 8 do 13)
  • 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))

Zobacz też#