attitude-budget (scenariotype)
Scenariotype i motoren v0.40.0, familien Oppdragsanalyse, linker og romoperasjoner. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en tjeneste der liv og sikkerhet står på spill. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: avsnittet Evidence i README).
Hva den gjør#
3-DOF-budsjett for holdnings- og pekefeil: det verst tenkelige forstyrrelsesmomentet fra gravitasjonsgradienten ((3/2)(μ/R³)ΔI) og et rot-sum-kvadrat-budsjett for pekefeil over navngitte 1σ-bidrag (sensorstøy, reaksjonshjulsjitter, termisk, justering) med det dominerende leddet, for en banehøyde og en spredning i kroppens treghet. MODELLED skalart AOCS-budsjett — et supplement før maskinvare til Basilisk/42, ikke en simulering av reguleringssløyfe, 6-DoF eller fleksible moduser.
Én kjøring av scenarios/attitude-budget.toml oppsummeres som: 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)
Inndata#
Fra skjemaet (kshana kinds --json):
- Påkrevde felt: ingen
- Valgfrie felt:
altitude_km,i_max_kg_m2,i_min_kg_m2,contributors
Eksempelet scenarios/attitude-budget.toml setter blant annet:
| Felt | Verdi | Enhet |
|---|---|---|
altitude_km |
600 | km |
contributors[0].name |
star_tracker_noise | tekst |
contributors[0].sigma_arcsec |
5 | buesekunder |
contributors[1].name |
reaction_wheel_jitter | tekst |
contributors[1].sigma_arcsec |
8 | buesekunder |
contributors[2].name |
thermal_distortion | tekst |
contributors[2].sigma_arcsec |
4 | buesekunder |
contributors[3].name |
justering | tekst |
contributors[3].sigma_arcsec |
3 | buesekunder |
i_max_kg_m2 |
100 | ikke oppgitt |
i_min_kg_m2 |
60 | ikke oppgitt |
kind |
attitude-budget | tekst |
Kjør den#
kshana scenarios/attitude-budget.toml
Hva den gir#
Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:
| Resultat | Verdi | Enhet |
|---|---|---|
altitude_km |
600 | km |
delta_inertia_kg_m2 |
40 | kg*m^2 |
dominant_contributor |
reaction_wheel_jitter | tekst |
evidence.id_rule |
den stabile id-en til matriseraden (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 | buesekunder |
Resultatetikett (motorens): MODELLED — scalar 3-DOF AOCS error budget: gravity-gradient worst-case disturbance torque + RSS pointing budget; NOT a control-loop / 6-DoF / flexible-mode simulation (a pre-hardware complement to Basilisk/42, not a replacement)
Evidens#
VALIDATED: radene i verifikasjonsmatrisen som nevner denne typen.
- VALIDATED Verst tenkelige forstyrrelsesmoment fra gravitasjonsgradienten ((3/2)(μ/R³)ΔI) som toppen over holdning (den validerte påstanden), pluss et RSS-budsjett for pekefeil over navngitte 1σ-bidrag med det dominerende leddet (en kvadratsum av tall oppgitt av den som kaller Tester: attitude_gg_torque_reference.rs.
Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):
- MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
- VALIDATED Verst tenkelige forstyrrelsesmoment fra gravitasjonsgradienten ((3/2)(μ/R³)ΔI) som toppen over holdning (den validerte påstanden), pluss et RSS-budsjett for pekefeil over navngitte 1σ . Uavhengig referanse (ExternalDataset): Basilisk 2.9.1 GravityGradientEffector (AVSLab, ISC), en uavhengig C++-implementering av gravitasjonsgradientmomentet med full tensor: Kshanas topp (3/2)(μ/R³)ΔI er lik Basilisks moment ved holdningen 45 deg innen 1e-12 relativt (verst 2.1e-15) over 5 høyder og 8 treghetstensorer, og begrenser Basilisks moment over 2000 tilfeldige holdninger per tilfelle; toleranse fastsatt før sammenligningen. Validert påstand: gravity-
- PARTNER Ikke levert — Kshana er en simulator for navigasjonsytelse, ikke et bussleverandørhus. Uavhengig referanse (NoneKind): ingen: en disiplin som eies av partneren, uten modul og uten test etter utforming
Begrensninger#
Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:
- MODELLED — scalar 3-DOF AOCS error budget: gravity-gradient worst-case disturbance torque + RSS pointing budget; NOT a control-loop / 6-DoF / flexible-mode simulation (a pre-hardware complement to Basilisk/42, not a replacement) (resultat
label) - MODELLED skalart AOCS-budsjett — et supplement før maskinvare til Basilisk/42, ikke en simulering av reguleringssløyfe, 6-DoF eller fleksible moduser. (typekatalog (
kshana kinds --json)) - HONEST SCOPE: MODELLED skalart feilbudsjett -- et supplement før maskinvare til Basilisk/42, IKKE en simulering av reguleringssløyfe, 6-DoF eller fleksible moduser. Gravitasjonsgradientleddet rapporteres som et moment (å omsette det til peking krever en reguleringsstivhet som den som kaller eier); budsjettet er kvadratsummen av de oppgitte 1-sigma-bidragene. Kjør: kshana scenarios/attitude-budget.toml (kommentar i scenariofilen, linje 8 til 13)
- Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
Se også#
- Familieside: Oppdragsanalyse, linker og romoperasjoner
- Alle typer: KINDS.md