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/reentry.md

reentry (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#

Balistyczny korytarz wejścia w atmosferę Allena-Eggersa: szczytowe opóźnienie (niezależne od współczynnika balistycznego, V_e^2 sin|γ|/(2eH)), prędkość i wysokość w punkcie szczytowego przeciążenia oraz prędkość szczytowego nagrzewania, dla prędkości wejścia, kąta toru lotu i współczynnika balistycznego w atmosferze wykładniczej, plus planarne całkowanie punktu materialnego tego samego wejścia balistycznego z grawitacją, krzywizną Ziemi i Atmosferą Standardową USA 1976 (szczytowe opóźnienie, prędkość, wysokość i czas w punkcie szczytu). Wejście balistyczne (bez siły nośnej) MODELLED; wynik nagrzewania to PRĘDKOŚĆ szczytowego nagrzewania, a nie strumień ciepła (bez modelu aerotermicznego ani TPS).

Jeden przebieg scenarios/reentry.toml podsumowuje się tak: reentry (Allen–Eggers): V_e 7800 m/s, γ 6,0° -> szczyt 16,6 g na 49 km, 4731 m/s; nagrzewanie osiąga szczyt przy 6603 m/s; punkt materialny (grawitacja, krzywizna, US76) szczyt 16,4 g (balistyczne MODELLED, bez aerotermiki)

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

Przykład scenarios/reentry.toml ustawia między innymi:

Pole Wartość Jednostka
ballistic_coeff_kg_m2 100 kg/m^2
entry_velocity_m_s 7800 m/s
flight_path_angle_deg 6 deg
kind reentry tekst

Uruchom#

kshana scenarios/reentry.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
altitude_at_peak_g_m 48512.90039 m
ballistic_coeff_kg_m2 100 kg/m^2
entry_interface_altitude_m 122000 m
entry_velocity_m_s 7800 m/s
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
flight_path_angle_deg 6 deg
peak_deceleration_g 16.567086 1
peak_deceleration_m_s2 162.467612 m/s^2

Etykieta wyniku (silnika): MODELLED — wejście balistyczne (bez siły nośnej) Allena-Eggersa, wykładnicza atmosfera izotermiczna, stały kąt toru lotu; szczytowe przeciążenie nie zależy od współczynnika balistycznego; nagrzewanie to PRĘDKOŚĆ szczytowego nagrzewania, NIE strumień ciepła (bez modelu aerotermicznego ani TPS)

Wykres zapisany przez silnik dla scenarios/reentry.toml, rodzaj reentry

Dowody#

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

  • MODELLED Szczytowe opóźnienie (niezależne od współczynnika balistycznego), prędkość i wysokość w punkcie szczytowego przeciążenia oraz prędkość szczytowego nagrzewania dla wejścia balistycznego w atmosferze wykładniczej. Testy: reentry_point_mass_accelerometer_oracle.rs.
  • 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
  • MODELLED Faza entry: lot powrotny tli-and-cruise bez impulsu, kończący się na granicy wejścia; kąt toru lotu i jego sigma z pełnej kowariancji przez gradient różnic skończonych; prawdopodobieństwo, że kąt mieści się w podan

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 Szczytowe opóźnienie (niezależne od współczynnika balistycznego), prędkość i wysokość w punkcie szczytowego przeciążenia oraz prędkość szczytowego nagrzewania dla wejścia balistycznego w atmosferze wykładniczej. Uruchamialne. Wyrocznia (InternalConsistency): analityczne wejście Allena-Eggersa w postaci zamkniętej, dodatkowo skontrolowane krzyżowo względem numerycznego całkowania scipy 1,18 solve_ivp (DOP853) TEGO SAMEGO równania różniczkowego wejścia z samym oporem (tests/ballistic_re_entry_corridor_reference.rs, 36 przypadków, najgorsze względne a_max 2.9e-9) — kontrola całki numerycznej względem własnej postaci analitycznej, więc nadal InternalConsistency, NIE walidacja zewnętrzna. Balistyczne (bez siły nośnej) MODELLED, bez aerotermiki ani TPS — wynik nagrzewania to prędkość

Ograniczenia#

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

  • MODELLED — wejście balistyczne (bez siły nośnej) Allena-Eggersa, wykładnicza atmosfera izotermiczna, stały kąt toru lotu; szczytowe przeciążenie nie zależy od współczynnika balistycznego; nagrzewanie to PRĘDKOŚĆ szczytowego nagrzewania, NIE strumień ciepła (bez modelu aerotermicznego ani TPS) (wynik label)
  • Wejście balistyczne (bez siły nośnej) MODELLED; wynik nagrzewania to PRĘDKOŚĆ szczytowego nagrzewania, a nie strumień ciepła (bez modelu aerotermicznego ani TPS). (katalog rodzajów (kshana kinds --json))
  • RZETELNY ZAKRES: balistyczne (bez siły nośnej) MODELLED, wykładnicza atmosfera izotermiczna, stały kąt toru lotu. Bez modelu aerotermicznego ani TPS -- wynik nagrzewania to PRĘDKOŚĆ szczytowego nagrzewania, a nie strumień ciepła. To nie jest trajektoria 3-/6-DoF. Uruchomienie: kshana scenarios/reentry.toml (komentarz w pliku scenariusza, wiersze 8 do 11)
  • 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))
  • Balistyczny korytarz wejścia w atmosferę (Allen–Eggers) jest MODELLED, nie sprawdzony względem niezależnego wzorca zewnętrznego: sprawdzony względem własnej tożsamości w postaci zamkniętej lub analitycznej — wychwytuje błędy przepisania i współczynników, ale nie jest wyrocznią zewnętrzną. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#