Tłumaczenie maszynowe, niezweryfikowane przez osobę, dla której polski jest językiem ojczystym. Wzorcem jest wersja angielska.

Strony rodzajów scenariuszyEdytuj na GitHubieŹródło: docs/kinds/by-kind/ascent-losses.md

ascent-losses (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Analiza misji, łącza i operacje kosmiczne. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie jest to sprzęt nawigacyjny z zatwierdzeniem typu ani usługa bezpieczeństwa życia. Każda etykieta tutaj pochodzi z silnika lub z macierzy weryfikacji; rodzaj ma status MODELLED, chyba że macierz mówi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Planarne wznoszenie po zakręcie grawitacyjnym wielostopniowego pojazdu nad nieobracającą się kulistą Ziemią przez atmosferę US Standard Atmosphere 1976 (pionowy wznios, kopnięcie pochylenia, ciąg wzdłuż prędkości), z całkowaniem strat grawitacyjnych, oporowych, sterowania i przeciwciśnienia oraz sprawdzeniem, czy idealne dv minus straty zgadza się z prędkością po wypaleniu; max-Q, szczytowe przyspieszenie i stan po wypaleniu. MODELLED.

Jeden przebieg scenarios/ascent-losses.toml podsumowuje się tak: ascent-losses: idealne dv 11290 m/s, straty 2359 m/s (grawitacyjne 2276, oporowe 15, sterowania 0, przeciwciśnienia 67); wypalenie 509 km przy 8932 m/s, gamma 8,7 deg; max-Q 32,5 kPa (MODELLED)

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: stages, payload_kg, drag_coefficient, reference_area_m2, kick_altitude_m, kick_angle_deg, kick_duration_s, step_s

Przykład scenarios/ascent-losses.toml ustawia m.in.:

Pole Wartość Jednostka
drag_coefficient 0.3 1
kick_altitude_m 1000 m
kick_angle_deg 3 deg
kick_duration_s 10 s
kind ascent-losses tekst
payload_kg 10000 kg
reference_area_m2 10.5 m^2
stages[0].dry_mass_kg 25000 kg
stages[0].exit_area_m2 6 m^2
stages[0].isp_vac_s 311 s
stages[0].propellant_kg 400000 kg
stages[0].thrust_vac_n 7600000 N

Uruchom#

kshana scenarios/ascent-losses.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
burn_time_s 508.755519 s
crashed false flaga
end.altitude_m 5.0903e5 m
end.circular_speed_m_s 7607.618569 m/s
end.downrange_m 1.5142e6 m
end.flight_path_angle_deg 8.707144 deg
end.speed_m_s 8931.555867 m/s
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst

Etykieta wyniku (silnika): MODELLED — planarne wznoszenie po zakręcie grawitacyjnym wielostopniowego pojazdu nad nieobracającą się kulistą Ziemią przez US76, z całkowaniem strat grawitacyjnych, oporowych, sterowania i przeciwciśnienia oraz sprawdzoną tożsamością idealne-dv-minus-straty; stałe C_D, bez rotacji, bez fazy bezmocowej, bez sterowania poza kopnięciem pochylenia

Wykres zapisywany przez silnik dla scenarios/ascent-losses.toml, rodzaj ascent-losses

Dowody#

MODELLED: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.

  • MODELLED Planarne wznoszenie po zakręcie grawitacyjnym wielostopniowego pojazdu nad nieobracającą się kulistą Ziemią przez atmosferę US Standard Atmosphere 1976 (gęstość i ciśnienie), z kopnięciem pochylenia, ciągiem zmniejszonym o przeciwciśnienie dyszy, wypaleniami stopni przy dokładnych s

Wiersze, które sam przebieg wykorzystał, wraz z wyrocznią, jaką macierz podaje dla każdego (publiczne źródła są tam wymienione):

  • MODELLED Deterministyczne, haszowane na poziomie scenariusza, bramki SBOM i złotych wyników między platformami. Wyrocznia (ExternalDataset): zgodność SBOM z oficjalnym schematem JSON CycloneDX 1,5 (+ prawidłowe identyfikatory SPDX): zewnętrzny opublikowany standard, zero błędów walidacji w całym grafie zależności; część dotycząca determinizmu wskaźników jakości i odtwarzalności bajt w bajt pozostaje przypiętą kontrolą samospójności, więc wiersz pozostaje MODELLED
  • MODELLED Planarne wznoszenie po zakręcie grawitacyjnym wielostopniowego pojazdu nad nieobracającą się kulistą Ziemią przez atmosferę US Standard Atmosphere 1976 (gęstość i ciśnienie), z kop. Wyrocznia (InternalConsistency): Spójność wewnętrzna: dokładna tożsamość prędkość po wypaleniu = suma Isp g0 ln(m0/mf) minus cztery scałkowane straty (reszta poniżej 1e-6 m/s), równanie Ciołkowskiego dla pionowego wypalenia w próżni, w którym jedyną stratą jest grawitacja, oraz ciśnienia US76 na poziomie morza i tropopauzie. CZEGO NIE OBEJMUJE: nie porównano strat żadnego opublikowanego pojazdu; brak rotacji Ziemi, fazy bezmocowej, dławienia ani sterowania poza kopnięciem; stałe C_D; nie jest trajektorią

Ograniczenia#

Co raport samego przebiegu podaje jako niemodelowane lub niesprawdzone względem niezależnego wzorca:

  • MODELLED — planarne wznoszenie po zakręcie grawitacyjnym wielostopniowego pojazdu nad nieobracającą się kulistą Ziemią przez US76, z całkowaniem strat grawitacyjnych, oporowych, sterowania i przeciwciśnienia oraz sprawdzoną tożsamością idealne-dv-minus-straty; stałe C_D, bez rotacji, bez fazy bezmocowej, bez sterowania poza kopnięciem pochylenia (wynik label)
  • MODELLED. (katalog rodzajów (kshana kinds --json))
  • Straty wznoszenia po zakręcie grawitacyjnym ILLUSTRATIVE dwustopniowej rakiety na naftę i tlen (to nie jest prawdziwy pojazd): pionowy wznios do 1 km, kopnięcie pochylenia o 3 deg przez 10 s, a następnie ciąg wzdłuż prędkości. Przebieg całkuje straty grawitacyjne, oporowe, sterowania i przeciwciśnienia i sprawdza, czy idealne dv minus straty równa się prędkości po wypaleniu. MODELLED: planarnie, nieobracająca się Ziemia, stałe C_D, bez fazy bezmocowej, bez sterowania poza kopnięciem. (komentarz w pliku scenariusza, wiersze 1 do 5)
  • Odtwarzalność i zapewnienie jakości oprogramowania jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: jedno twierdzenie składowe jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc pozostaje obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • Straty grawitacyjne, oporowe, sterowania i przeciwciśnienia przy wznoszeniu rakiety są MODELLED, nie są sprawdzone względem niezależnego wzorca: sprawdzone względem własnej tożsamości w postaci zamkniętej / analitycznej; wychwytuje błędy przepisania i współczynników, ale nie jest zewnętrzną wyrocznią. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#