Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/attitude-budget.md

attitude-budget (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Missionsanalyse, Links und Raumfahrtbetrieb. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

3-DOF-Lage- und Zeigefehlerbudget: das Störmoment des Schwerkraftgradienten im ungünstigsten Fall ((3/2)(μ/R³)ΔI) und ein Wurzel-aus-Summe-der-Quadrate-Zeigefehlerbudget über benannte 1σ-Beiträge (Sensorrauschen, Reaktionsrad-Jitter, thermisch, Ausrichtung) mit dem dominanten Term, für eine Bahnhöhe und eine Streuung der Körperträgheit. MODELLED skalares AOCS-Budget — eine Ergänzung vor der Hardware zu Basilisk/42, keine Simulation von Regelkreis, 6 Freiheitsgraden oder flexiblen Moden.

Ein Lauf von scenarios/attitude-budget.toml fasst sich so zusammen: attitude-budget: 600 km, ΔI 40 kg·m² -> GG torque 7.04e-5 N·m; pointing 10,7" RSS (dominant: reaction_wheel_jitter) (MODELLED scalar budget)

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: keine
  • Optionale Felder: altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

Das Beispiel scenarios/attitude-budget.toml setzt unter anderem:

Feld Wert Einheit
altitude_km 600 km
contributors[0].name star_tracker_noise Text
contributors[0].sigma_arcsec 5 arcsec
contributors[1].name reaction_wheel_jitter Text
contributors[1].sigma_arcsec 8 arcsec
contributors[2].name thermal_distortion Text
contributors[2].sigma_arcsec 4 arcsec
contributors[3].name alignment Text
contributors[3].sigma_arcsec 3 arcsec
i_max_kg_m2 100 nicht angegeben
i_min_kg_m2 60 nicht angegeben
kind attitude-budget Text

Ausführen#

kshana scenarios/attitude-budget.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnis Wert Einheit
altitude_km 600 km
delta_inertia_kg_m2 40 kg*m^2
dominant_contributor reaction_wheel_jitter Text
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier PARTNER Text
gravity_gradient_torque_max_nm 7.0383e-5 N*m
total_pointing_error_arcsec 10.677078 arcsec

Ergebnisbezeichnung (die der Engine): MODELLED — skalares 3-DOF-AOCS-Fehlerbudget: Störmoment des Schwerkraftgradienten im ungünstigsten Fall + RSS-Zeigebudget; KEINE Simulation von Regelkreis, 6 Freiheitsgraden oder flexiblen Moden (eine Ergänzung vor der Hardware zu Basilisk/42, kein Ersatz)

Das Diagramm, das die Engine für scenarios/attitude-budget.toml schreibt, Art attitude-budget

Nachweise#

VALIDATED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

  • VALIDATED Störmoment des Schwerkraftgradienten im ungünstigsten Fall ((3/2)(μ/R³)ΔI) als Spitze über der Lage (die validierte Behauptung), dazu ein RSS-Zeigefehlerbudget über benannte 1σ-Beiträge mit dem dominanten Term (eine quadratische Summe von Zahlen, die der Aufrufer liefert Tests: attitude_gg_torque_reference.rs.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

  • MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
  • VALIDATED Störmoment des Schwerkraftgradienten im ungünstigsten Fall ((3/2)(μ/R³)ΔI) als Spitze über der Lage (die validierte Behauptung), dazu ein RSS-Zeigefehlerbudget über benannte 1σ . Unabhängige Referenz (ExternalDataset): Basilisk 2.9.1 GravityGradientEffector (AVSLab, ISC), eine unabhängige C++-Implementierung des Schwerkraftgradienten-Moments mit vollem Tensor: Die Spitze (3/2)(μ/R³)ΔI von Kshana entspricht dem Moment von Basilisk bei der Lage von 45 deg auf 1e-12 relativ (schlechtester Wert 2.1e-15) über 5 Höhen und 8 Trägheitstensoren und begrenzt das Moment von Basilisk über 2000 zufällige Lagen je Fall; Toleranz vor dem Vergleich festgelegt. Validierte Behauptung: der Schwerkraft
  • PARTNER Nicht bereitgestellt — Kshana ist ein Simulator für Navigationsleistung, kein Satellitenbus-Hersteller. Unabhängige Referenz (NoneKind): keine: eine Disziplin im Besitz des Partners, absichtlich ohne Modul und ohne Test

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

  • MODELLED — skalares 3-DOF-AOCS-Fehlerbudget: Störmoment des Schwerkraftgradienten im ungünstigsten Fall + RSS-Zeigebudget; KEINE Simulation von Regelkreis, 6 Freiheitsgraden oder flexiblen Moden (eine Ergänzung vor der Hardware zu Basilisk/42, kein Ersatz) (Ergebnis label)
  • MODELLED skalares AOCS-Budget — eine Ergänzung vor der Hardware zu Basilisk/42, keine Simulation von Regelkreis, 6 Freiheitsgraden oder flexiblen Moden. (Artenkatalog (kshana kinds --json))
  • EHRLICHER GELTUNGSBEREICH: MODELLED skalares Fehlerbudget -- eine Ergänzung vor der Hardware zu Basilisk/42, KEINE Simulation von Regelkreis, 6 Freiheitsgraden oder flexiblen Moden. Der Schwerkraftgradiententerm wird als Moment gemeldet (ihn auf Zeigen abzubilden, braucht eine Regelsteifigkeit, die der Aufrufer besitzt); das Budget ist die quadratische Summe der gelieferten 1-Sigma-Beiträge. Lauf: kshana scenarios/attitude-budget.toml (Kommentar der Szenariodatei, Zeilen 8 bis 13)
  • Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#