attitude-budget (scenariotyp)
Scenariotyp i motor v0.40.0, familj Uppdragsanalys, länkar och rymdoperationer. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).
Vad den gör#
Attityd- och pekfelsbudget i 3 frihetsgrader: det värsta fallets gravitationsgradientstörande vridmoment ((3/2)(μ/R³)ΔI) och en pekfelsbudget som kvadratisk summa över namngivna 1σ-bidrag (sensorbrus, reaktionshjulsjitter, termiskt, uppriktning) med den dominerande termen, för en banhöjd + spridning i kroppens tröghet. MODELLED skalär AOCS-budget — ett komplement före hårdvaran till Basilisk/42, inte en simulering av reglerslinga, 6 frihetsgrader eller flexibla moder.
En körning av scenarios/attitude-budget.toml sammanfattas som: attitude-budget: 600 km, ΔI 40 kg·m² -> GG-vridmoment 7.04e-5 N·m; pekning 10,7" RSS (dominerande: reaction_wheel_jitter) (MODELLED skalär budget)
Indata#
Från schemat (kshana kinds --json):
- Obligatoriska fält: inga
- Valfria fält:
altitude_km,i_max_kg_m2,i_min_kg_m2,contributors
Exemplet scenarios/attitude-budget.toml anger bland annat:
| Fält | Värde | Enhet |
|---|---|---|
altitude_km |
600 | km |
contributors[0].name |
star_tracker_noise | text |
contributors[0].sigma_arcsec |
5 | bågsekunder |
contributors[1].name |
reaction_wheel_jitter | text |
contributors[1].sigma_arcsec |
8 | bågsekunder |
contributors[2].name |
thermal_distortion | text |
contributors[2].sigma_arcsec |
4 | bågsekunder |
contributors[3].name |
uppriktning | text |
contributors[3].sigma_arcsec |
3 | bågsekunder |
i_max_kg_m2 |
100 | inte angivet |
i_min_kg_m2 |
60 | inte angivet |
kind |
attitude-budget | text |
Kör den#
kshana scenarios/attitude-budget.toml
Vad den ger#
De skalära resultaten av den körningen, med de enheter som motorn anger:
| Resultat | Värde | Enhet |
|---|---|---|
altitude_km |
600 | km |
delta_inertia_kg_m2 |
40 | kg*m^2 |
dominant_contributor |
reaction_wheel_jitter | text |
evidence.id_rule |
det stabila id:t för matrisraden (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 | bågsekunder |
Resultatetikett (motorns): MODELLED — skalär AOCS-felbudget i 3 frihetsgrader: det värsta fallets gravitationsgradientstörande vridmoment + RSS-pekbudget; INTE en simulering av reglerslinga / 6 frihetsgrader / flexibla moder (ett komplement före hårdvaran till Basilisk/42, inte en ersättning)
Evidens#
VALIDATED: raderna i verifieringsmatrisen som nämner den här typen.
- VALIDATED Det värsta fallets gravitationsgradientstörande vridmoment ((3/2)(μ/R³)ΔI) som toppvärdet över attityd (det validerade påståendet), plus en RSS-pekfelsbudget över namngivna 1σ-bidrag med den dominerande termen (en kvadratisk summa av tal som anroparen ger Tester: attitude_gg_torque_reference.rs.
De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):
- MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
- VALIDATED Det värsta fallets gravitationsgradientstörande vridmoment ((3/2)(μ/R³)ΔI) som toppvärdet över attityd (det validerade påståendet), plus en RSS-pekfelsbudget över namngivna 1σ . Oberoende referens (ExternalDataset): Basilisk 2.9.1 GravityGradientEffector (AVSLab, ISC), en oberoende C++-implementering av gravitationsgradientmomentet med full tensor: Kshanas topp (3/2)(μ/R³)ΔI är lika med Basilisks vridmoment vid attityden 45 deg inom 1e-12 relativt (sämst 2.1e-15) över 5 höjder och 8 tröghetstensorer, och begränsar Basilisks vridmoment över 2000 slumpmässiga attityder per fall; toleransen fastställd före jämförelsen. Validerat påstående: gravity-
- PARTNER Tillhandahålls inte — Kshana är en simulator för navigeringsprestanda, inte ett satellitbusföretag. Oberoende referens (NoneKind): ingen: en disciplin som ägs av partner, utan modul och utan test av utformning
Begränsningar#
Vad körningens egen rapport säger inte är modellerat eller inte validerat:
- MODELLED — skalär AOCS-felbudget i 3 frihetsgrader: det värsta fallets gravitationsgradientstörande vridmoment + RSS-pekbudget; INTE en simulering av reglerslinga / 6 frihetsgrader / flexibla moder (ett komplement före hårdvaran till Basilisk/42, inte en ersättning) (resultat
label) - MODELLED skalär AOCS-budget — ett komplement före hårdvaran till Basilisk/42, inte en simulering av reglerslinga / 6 frihetsgrader / flexibla moder. (typkatalog (
kshana kinds --json)) - ÄRLIG AVGRÄNSNING: MODELLED skalär felbudget -- ett komplement före hårdvaran till Basilisk/42, INTE en simulering av reglerslinga / 6 frihetsgrader / flexibla moder. Gravitationsgradienttermen redovisas som ett vridmoment (att översätta den till pekning kräver en reglerstyvhet som anroparen äger); budgeten är den kvadratiska summan av de givna 1-sigma-bidragen. Kör: kshana scenarios/attitude-budget.toml (kommentar i scenariofilen, rad 8 till 13)
- Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
Se även#
- Familjesida: Uppdragsanalys, länkar och rymdoperationer
- Alla typer: KINDS.md