Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/attitude-budget.md

attitude-budget (scenariokind)

Scenariotype van de engine v0.40.0, familie Missieanalyse, verbindingen en ruimteoperaties. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen dienst voor het redden van mensenlevens. Elk label hier is dat van de engine of van de verificatiematrix; een type is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

3-DOF-stand- en richtfoutbudget: het worstcase-verstoringsmoment van de zwaartekrachtgradiënt ((3/2)(μ/R³)ΔI) en een root-sum-square-richtfoutbudget over benoemde 1σ-bijdragers (sensorruis, reactiewieljitter, thermisch, uitlijning) met de dominante term, voor een baanhoogte + spreiding van het lichaamstraagheidsmoment. MODELLED scalair AOCS-budget — een pre-hardwarecomplement op Basilisk/42, geen simulatie van regellus, 6-DoF of flexibele modi.

Eén run van scenarios/attitude-budget.toml vat samen als: attitude-budget: 600 km, ΔI 40 kg·m² -> GG-moment 7.04e-5 N·m; richting 10,7" RSS (dominant: reaction_wheel_jitter) (MODELLED scalair budget)

Invoer#

Uit het schema (kshana kinds --json):

  • Vereiste velden: geen
  • Optionele velden: altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

Het voorbeeld scenarios/attitude-budget.toml stelt onder meer in:

Veld Waarde Eenheid
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 uitlijning tekst
contributors[3].sigma_arcsec 3 arcsec
i_max_kg_m2 100 niet vermeld
i_min_kg_m2 60 niet vermeld
kind attitude-budget tekst

Uitvoeren#

kshana scenarios/attitude-budget.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
altitude_km 600 km
delta_inertia_kg_m2 40 kg*m^2
dominant_contributor reaction_wheel_jitter tekst
evidence.id_rule de stabiele id van de matrixrij (de 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

Resultaatlabel (van de engine): MODELLED — scalair 3-DOF-AOCS-foutbudget: worstcase-verstoringsmoment van de zwaartekrachtgradiënt + RSS-richtbudget; GEEN simulatie van regellus, 6-DoF of flexibele modi (een pre-hardwarecomplement op Basilisk/42, geen vervanging)

De grafiek die de engine schrijft voor scenarios/attitude-budget.toml, kind attitude-budget

Bewijs#

VALIDATED: de rijen van de verificatiematrix die dit kind noemen.

  • VALIDATED Worstcase-verstoringsmoment van de zwaartekrachtgradiënt ((3/2)(μ/R³)ΔI) als piek over de stand (de getoetste claim), plus een RSS-richtfoutbudget over benoemde 1σ-bijdragers met de dominante term (een kwadratische som van door de aanroeper geleverde getallen Tests: attitude_gg_torque_reference.rs.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
  • VALIDATED Worstcase-verstoringsmoment van de zwaartekrachtgradiënt ((3/2)(μ/R³)ΔI) als piek over de stand (de getoetste claim), plus een RSS-richtfoutbudget over benoemde 1σ . Onafhankelijke referentie (ExternalDataset): Basilisk 2.9.1 GravityGradientEffector (AVSLab, ISC), een onafhankelijke C++-implementatie van het volledige-tensor-zwaartekrachtgradiëntmoment: de piek (3/2)(μ/R³)ΔI van Kshana is gelijk aan het moment van Basilisk bij de stand van 45 deg binnen 1e-12 relatief (slechtste 2.1e-15) over 5 hoogtes en 8 traagheidstensoren, en begrenst het moment van Basilisk over 2000 willekeurige standen per geval; tolerantie vastgelegd vóór de vergelijking. Gevalideerde claim: de zwaartekracht
  • PARTNER Niet geleverd — Kshana is een simulator voor navigatieprestaties, geen satellietbushuis. Onafhankelijke referentie (NoneKind): geen: een discipline die van de partner is, met opzet zonder module en zonder test

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • MODELLED — scalair 3-DOF-AOCS-foutbudget: worstcase-verstoringsmoment van de zwaartekrachtgradiënt + RSS-richtbudget; GEEN simulatie van regellus, 6-DoF of flexibele modi (een pre-hardwarecomplement op Basilisk/42, geen vervanging) (resultaat label)
  • MODELLED scalair AOCS-budget — een pre-hardwarecomplement op Basilisk/42, geen simulatie van regellus, 6-DoF of flexibele modi. (kindcatalogus (kshana kinds --json))
  • EERLIJKE REIKWIJDTE: MODELLED scalair foutbudget -- een pre-hardwarecomplement op Basilisk/42, GEEN simulatie van regellus, 6-DoF of flexibele modi. De zwaartekrachtgradiëntterm wordt als moment gerapporteerd (om die naar richting om te zetten is een regelstijfheid nodig die de aanroeper bezit); het budget is de kwadratische som van de aangeleverde 1-sigma-bijdragers. Run: kshana scenarios/attitude-budget.toml (opmerking in het scenariobestand, regels 8 tot 13)
  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#