Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/attitude-budget.md

attitude-budget (skenaariolaji)

Moottorin v0.40.0 skenaariolaji, perhe Tehtäväanalyysi, linkit ja avaruusoperaatiot. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

3-DOF-asento- ja osoitusvirhebudjetti: pahimman tapauksen gravitaatiogradienttihäiriömomentti ((3/2)(μ/R³)ΔI) ja osoitusvirheen neliösumman juuren budjetti nimettyjen 1σ-osatekijöiden yli (anturikohina, reaktiopyörän jitter, lämpö, linjaus) hallitsevan termin kanssa, kiertoratakorkeudelle ja rungon hitausmomenttien hajonnalle. MODELLED skalaarinen AOCS-budjetti — laitteistoa edeltävä täydennys Basiliskille/42:lle, ei säätösilmukan / 6-DoF:n / joustavien muotojen simulaatio.

Yksi ajo tiedostosta scenarios/attitude-budget.toml tiivistyy näin: attitude-budget: 600 km, ΔI 40 kg·m² -> GG-momentti 7.04e-5 N·m; osoitus 10,7" RSS (hallitseva: reaction_wheel_jitter) (MODELLED skalaaribudjetti)

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: ei yhtään
  • Valinnaiset kentät: altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

Esimerkki scenarios/attitude-budget.toml asettaa muun muassa:

Kenttä Arvo Yksikkö
altitude_km 600 km
contributors[0].name star_tracker_noise teksti
contributors[0].sigma_arcsec 5 kaarisekuntia
contributors[1].name reaction_wheel_jitter teksti
contributors[1].sigma_arcsec 8 kaarisekuntia
contributors[2].name thermal_distortion teksti
contributors[2].sigma_arcsec 4 kaarisekuntia
contributors[3].name linjaus teksti
contributors[3].sigma_arcsec 3 kaarisekuntia
i_max_kg_m2 100 ei ilmoitettu
i_min_kg_m2 60 ei ilmoitettu
kind attitude-budget teksti

Aja se#

kshana scenarios/attitude-budget.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
altitude_km 600 km
delta_inertia_kg_m2 40 kg*m^2
dominant_contributor reaction_wheel_jitter teksti
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier PARTNER teksti
gravity_gradient_torque_max_nm 7.0383e-5 N*m
total_pointing_error_arcsec 10.677078 kaarisekuntia

Tulosnimike (moottorin oma): MODELLED — skalaarinen 3-DOF-AOCS-virhebudjetti: gravitaatiogradientin pahimman tapauksen häiriömomentti + RSS-osoitusbudjetti; EI säätösilmukan / 6-DoF:n / joustavien muotojen simulaatio (laitteistoa edeltävä täydennys Basiliskille/42:lle, ei korvaaja)

Moottorin kirjoittama kaavio skenaariolle scenarios/attitude-budget.toml, laji attitude-budget

Todisteet#

VALIDATED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.

  • VALIDATED Gravitaatiogradientin pahimman tapauksen häiriömomentti ((3/2)(μ/R³)ΔI) huippuarvona asennon yli (validoitu väite) sekä RSS-osoitusvirhebudjetti nimettyjen 1σ-osatekijöiden yli hallitsevan termin kanssa (kutsujan antamien lukujen neliösumma Testit: attitude_gg_torque_reference.rs.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

  • MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
  • VALIDATED Gravitaatiogradientin pahimman tapauksen häiriömomentti ((3/2)(μ/R³)ΔI) huippuarvona asennon yli (validoitu väite) sekä RSS-osoitusvirhebudjetti nimettyjen 1σ . Oraakkeli (ExternalDataset): Basilisk 2.9.1 GravityGradientEffector (AVSLab, ISC), riippumaton C++-toteutus täyden tensorin gravitaatiogradienttimomentista: Kshanan huippu (3/2)(μ/R³)ΔI on yhtä suuri kuin Basiliskin momentti 45 deg:n asennossa 1e-12 suhteellisella tarkkuudella (pahin 2.1e-15) 5 korkeudella ja 8 hitaustensorilla, ja rajaa Basiliskin momentin ylhäältä 2000 satunnaisella asennolla tapausta kohden; toleranssi kiinnitetty ennen vertailua. Validoitu väite: painovoima
  • PARTNER Ei tarjota — Kshana on navigoinnin suorituskykysimulaattori, ei satelliittialustatalo. Oraakkeli (NoneKind): ei mitään: kumppanin omistama osa-alue, jolla ei ole moduulia eikä testiä tarkoituksella

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • MODELLED — skalaarinen 3-DOF-AOCS-virhebudjetti: gravitaatiogradientin pahimman tapauksen häiriömomentti + RSS-osoitusbudjetti; EI säätösilmukan / 6-DoF:n / joustavien muotojen simulaatio (laitteistoa edeltävä täydennys Basiliskille/42:lle, ei korvaaja) (tulos label)
  • MODELLED skalaarinen AOCS-budjetti — laitteistoa edeltävä täydennys Basiliskille/42:lle, ei säätösilmukan / 6-DoF:n / joustavien muotojen simulaatio. (lajiluettelo (kshana kinds --json))
  • REHELLINEN RAJAUS: MODELLED skalaarinen virhebudjetti -- laitteistoa edeltävä täydennys Basiliskille/42:lle, EI säätösilmukan / 6-DoF:n / joustavien muotojen simulaatio. Gravitaatiogradienttitermi raportoidaan momenttina (sen muuttaminen osoitukseksi vaatii säätöjäykkyyden, jonka kutsuja omistaa); budjetti on annettujen 1-sigma-osatekijöiden neliösumma. Ajo: kshana scenarios/attitude-budget.toml (skenaariotiedoston kommentti, rivit 8–13)
  • Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#