Teza: skuteczność układu GNC nie wynika z wyboru jednego „najlepszego algorytmu”. Jest własnością kontraktu łączącego pomiar, estymację, naprowadzanie, autopilota i fizyczne wykonanie — kontraktu zachowanego mimo niepewności, opóźnień, nasyceń, zmian fazy lotu oraz ewolucji konfiguracji sprzętowo-programowej.

Nawigacja, guidance i sterowanie odpowiadają na różne pytania. Nawigacja określa, gdzie pojazd jest, jak się porusza i jak jest zorientowany. Naprowadzanie zamienia cel misji na żądany ruch. Autopilot, będący częścią sterowania, stabilizuje płatowiec i śledzi to żądanie za pomocą dostępnych aktuatorów. Połączenie tych funkcji w jednej obudowie albo jednym programie nie usuwa ich odrębnych odpowiedzialności.

Pomiędzy obserwacją a ruchem istnieje długi łańcuch. Sensor nie mierzy „prawdy”, lecz sygnał z błędem i czasem. Estymator tworzy stan z niepewnością. Prawo naprowadzania korzysta z modelu ruchu i ograniczeń. Autopilot ma określone pasmo, a aktuator — szybkość, zakres i opóźnienie. Płatowiec odpowiada zależnie od prędkości, wysokości, masy oraz konfiguracji. Jeżeli choć jeden interfejs zgubi jednostkę, oś, chwilę ważności albo informację o nasyceniu, matematycznie poprawne bloki mogą wspólnie działać błędnie.

Po opanowaniu materiału czytelnik powinien umieć:

  1. oddzielić stan rzeczywisty, pomiar, estymatę i referencję;
  2. wskazać fizyczne oraz informacyjne granice funkcji GNC;
  3. sprawdzić jednostki, układy współrzędnych, czas i ważność sygnału;
  4. wyjaśnić, dlaczego filtracja, pasmo i opóźnienie tworzą wspólny kompromis;
  5. ocenić wykonalność komendy przez autopilota, aktuator i płatowiec;
  6. zbudować budżet błędów bez nieuprawnionego założenia niezależności;
  7. zaplanować dowód od modelu prostego przez HIL do korelacji próby;
  8. rozpoznać, które elementy rzeczywistego systemu są potwierdzone źródłowo, a które pozostają nieznane.

Zakres, bezpieczeństwo i status przykładów

NASA definiuje guidance jako generowanie komend określających żądany tor od stanu bieżącego do celu, nawigację jako określanie ruchu i położenia, a control jako manipulowanie elementami sterującymi w celu śledzenia komend oraz zachowania wymaganego wskazania.nasa-assessment Definicje pochodzą z techniki kosmicznej, lecz ich funkcjonalny podział jest użyteczny również dla pocisków.

Artykuł opisuje architekturę informacji, niepewność i własności pętli. Nie jest instrukcją projektowania konkretnej broni. Równania są powszechną teorią sterowania i estymacji. Studium liczbowe dotyczy fikcyjnego, powolnego aparatu badawczego śledzącego boję pomiarową; jego liczby nie opisują pocisku.

pominięto rzeczywiste współczynniki praw naprowadzania, modele celów, pasma, filtry, tabele aerodynamiczne, ograniczenia, logikę przejść, dane inicjalizacyjne, interfejsy, dokładności i procedury aktywnych systemów uzbrojenia. Publiczne studia Minuteman, Sidewinder oraz SM-1/SM-2 pokazują wyłącznie udokumentowaną ewolucję funkcji i architektury. Nie wolno uzupełniać braków przez analogię.

Nieznanego ani uszkodzonego zespołu wojskowego nie wolno zasilać, obracać, kalibrować, podłączać do magistrali czy aparatury ani używać do prób. Może zawierać źródła energii lub elementy inicjowane elektrycznie. Znalezisko zabezpiecza właściwa służba EOD.

W przykładzie integracyjnym stosuje się oznaczenia:

Oznaczenie Znaczenie
[WYM] fikcyjne wymaganie aparatu badawczego
[ZAŁ] jawne założenie wymagające sprawdzenia
[OBL] wynik obliczenia dla podanych danych
[POM] wartość, którą należałoby zmierzyć
[DEC] decyzja i jej podstawa
[REG] wpływ zmiany na ponowną weryfikację

Architektura: od świata fizycznego do świata fizycznego

GNC zaczyna i kończy się w fizyce. Sensor obserwuje ruch, komputer tworzy reprezentację, a aktuator wytwarza siłę lub moment. Pętla nie jest jednokierunkowym potokiem: wykonany ruch zmienia następny pomiar.

              ŚWIAT FIZYCZNY
        cel/otoczenie + pojazd
               │          ▲
               │ pomiar   │ siła, moment
               ▼          │
sensor → kondycjonowanie → nawigacja/estymacja
                              │ stan + niepewność
                              ▼
                    naprowadzanie i logika faz
                              │ referencja + ważność
                              ▼
                         autopilot
                              │ komenda + ograniczenie
                              ▼
                    alokacja i aktuatory

Każda strzałka jest kontraktem. Kontrakt powinien określać wielkość fizyczną, jednostkę, osie, znak, punkt odniesienia, znacznik czasu, częstotliwość, opóźnienie, zakres, jakość i zachowanie przy braku danych.

Granica Co przechodzi Typowy błąd integracyjny
sensor–estymator próbka, czas, stan ważności znacznik czasu powstaje po buforowaniu
estymator–naprowadzanie stan i niepewność liczba jest używana mimo utraty obserwowalności
naprowadzanie–autopilot referencja i osie przyspieszenie w układzie toru odczytane w osiach korpusu
autopilot–aktuator żądanie i limity nasycenie nie jest raportowane wyżej
aktuator–płatowiec położenie, siła, moment model pomija szybkość, luz lub zależność od zasilania

NASA Engineering and Safety Center zaleca traktowanie GNC przez cały cykl życia, używanie modeli o rosnącej wierności, zarządzanie marginesami, niezależną kontrolę i jawne śledzenie konfiguracji.nasa-practices To nie jest administracyjny dodatek. Bez wspólnej konfiguracji nie wiadomo, czy próba sprawdzała te same równania, dane i urządzenia, które opisuje raport.

Stan, pomiar, estymata i referencja

Stan rzeczywisty $x$ jest opisem fizycznego układu, na przykład położenia, prędkości, orientacji, prędkości kątowej oraz błędów sensorów. Komputer nie zna go bezpośrednio. Sensor dostarcza pomiar

$$z_k=h(x_k)+v_k,$$

gdzie $h$ opisuje sposób obserwacji, a $v_k$ — błąd pomiarowy. Model ruchu przewiduje

$$x_{k+1}=f(x_k,u_k)+w_k,$$

gdzie $u_k$ jest znanym wejściem, a $w_k$ obejmuje zaburzenia i niepełność modelu.

Estymator tworzy $\hat x$, czyli najlepsze dostępne przybliżenie stanu, oraz opis niepewności. Referencja $x_r$ mówi natomiast, jaki stan jest pożądany. Autopilot koryguje różnicę między estymatą i referencją; nie ma dostępu do idealnej prawdy.

Rozróżnienie ma bezpośrednią wartość diagnostyczną:

  • pomiar się zmienił — sensor albo obserwowany świat dał inny sygnał;
  • estymata się zmieniła — filtr zinterpretował pomiar wraz z modelem;
  • referencja się zmieniła — naprowadzanie albo logika faz zażądały innego ruchu;
  • odpowiedź się nie zmieniła — autopilot, aktuator lub płatowiec nie wykonały żądania.

Samo zapisanie wartości bez jej klasy pozwala pomylić przyczynę ze skutkiem.

Układy współrzędnych i orientacja

W typowym systemie spotykają się układy: inercjalny, związany z Ziemią, lokalny nawigacyjny, korpusu, sensora, linii obserwacji, toru lotu oraz aktuatora. Wektor fizyczny pozostaje ten sam, ale jego współrzędne zależą od bazy.

Macierz kierunkowych cosinusów przekształca reprezentację:

$$\mathbf v^b=\mathbf C_a^b\mathbf v^a.$$

Indeksy muszą jednoznacznie mówić „z jakiego układu do jakiego”. Iloczyn w odwrotnej kolejności może mieć poprawny wymiar i rozsądne liczby, a mimo to odwracać ruch w sprzężonej osi.

Kąty Eulera są intuicyjne, lecz zależą od kolejności obrotów i mają osobliwości. Macierz jest bezpośrednia, ale redundantna. Kwaternion

$$q=[q_0,q_1,q_2,q_3]^T,\qquad \|q\|=1$$

jest zwarty i omija typową osobliwość kątów, ale wymaga kontroli normy i konwencji mnożenia. Dwie wartości $q$ i $-q$ opisują ten sam obrót. Użycie kwaternionu nie usuwa dryfu sensora; rozwiązuje inny problem reprezentacji.

Dokument interfejsu powinien zawierać rysunek osi, zwroty, kolejność obrotów, punkt odniesienia i przykłady testowe. Nazwa BODY_YAW bez tej informacji jest niepełna.

Czas: czwarty wymiar interfejsu

Dwa dokładne pomiary mogą tworzyć błędny stan, jeżeli dotyczą innych chwil. Dla poruszającego się obiektu błąd czasu $\Delta t$ daje pierwszorzędowe przybliżenie błędu położenia

$$\Delta\mathbf r\approx\mathbf v\Delta t.$$

Stałe opóźnienie można modelować albo kompensować. Zmienność opóźnienia — jitter — rozszerza niepewność i utrudnia kompensację. Znacznik zapisany w chwili odbioru po kolejce nie jest równoważny chwili ekspozycji sensora.

Kontrakt czasowy obejmuje:

  • epokę i skalę czasu;
  • miejsce powstania znacznika;
  • okres próbkowania;
  • opóźnienie minimalne i maksymalne;
  • zmienność, kolejność i utratę próbek;
  • maksymalny dopuszczalny wiek danych;
  • zachowanie po skoku albo utracie synchronizacji.

W pętli cyfrowej liczy się przypadek najgorszy, nie średni. Zadanie uruchamiane zwykle co 5 ms, ale czasem po 14 ms, nie jest deterministyczną pętlą pięciomilisekundową.

Nawigacja inercyjna: od przyrządu do rozwiązania

IMU mierzy prędkości kątowe oraz siłę właściwą. Nie podaje gotowego położenia. Mechanizacja transformuje pomiar akcelerometrów do układu nawigacyjnego, uwzględnia grawitację i obrót układu, aktualizuje orientację, całkuje przyspieszenie do prędkości, a prędkość do położenia. Schematycznie:

$$\dot{\mathbf v}^{n}=\mathbf C_b^n\mathbf f^b+\mathbf g^n+ \text{człony obrotu}, \qquad \dot{\mathbf r}^{n}=\mathbf v^n.$$

Stały błąd żyroskopu narasta w orientacji. Błędna orientacja rzutuje dużą składową grawitacji na niewłaściwą oś, tworząc błąd przyspieszenia, który następnie narasta w prędkości i położeniu. To dlatego niewielki błąd początkowy może mieć skutek znacznie większy po czasie.

W układzie platformowym mechanizm fizycznie utrzymuje przyrządy w dogodnej orientacji. W systemie strapdown sensory są sztywno związane z korpusem, a „platformę” realizują obliczenia. Znika część mechaniki precyzyjnej, ale rosną wymagania zakresu dynamicznego, próbkowania, czasu i algorytmów uwzględniających nieprzemienność obrotów.

Klasy błędów IMU obejmują bias, skalę, nieortogonalność, zależność temperaturową, szum, zakres, nasycenie, opóźnienie i wrażliwości krzyżowe. Kalibracja jest częścią konfiguracji egzemplarza. Skopiowanie współczynników między pozornie identycznymi sensorami może pogorszyć wynik.

Fuzja danych i obserwowalność

INS daje szybkie rozwiązanie autonomiczne, ale jego błąd narasta. Pomiar zewnętrzny może ograniczać dryf. W zależności od zadania źródłem pomocy jest sygnał satelitarny, radiowy, radarowy, ciśnieniowy, obrazowy albo informacja platformy.

W liniowym filtrze Kalmana innowacja ma postać

$$\tilde{\mathbf y}_k=\mathbf z_k-\mathbf H_k\hat{\mathbf x}_{k|k-1}.$$

Jest różnicą pomiaru i jego przewidywania. Wzmocnienie filtru rozdziela korektę zależnie od przyjętej niepewności modelu oraz sensora. Jeżeli kowariancje są źle dobrane, filtr może być liczbowo stabilny, a zarazem nadmiernie ufać błędnemu źródłu.

Obserwowalność odpowiada na pytanie, czy historia wejść i wyjść zawiera informację potrzebną do rozdzielenia stanów. Nie każdy stan jest obserwowalny w każdej geometrii. Sam kąt linii obserwacji przy niezmiennej geometrii może słabo rozdzielać odległość i prędkość. Manewr własny albo inne źródło pomiaru zmienia ilość dostępnej informacji.

Filtr zawsze może wypisać liczbę. To nie dowodzi, że stan jest znany. Należy oceniać innowacje, kowariancję, geometrię, wiek danych i zgodność niezależnych źródeł.

Integracja luźna wykorzystuje gotowe rozwiązanie zewnętrznego odbiornika. Integracja ścisła korzysta z bardziej pierwotnych obserwacji. Druga może zachować część informacji przy ograniczonej dostępności, ale silniej sprzęga implementacje i utrudnia wymianę komponentu. „Ściślejsza” nie znaczy automatycznie lepsza.

Obserwacja celu i stan względny

Sensor celu mierzy relację między obiektami. INS opisuje ruch własny względem układu odniesienia. Wektor względny wynosi

$$\mathbf r=\mathbf r_T-\mathbf r_M,$$

a linia obserwacji ma kierunek

$$\mathbf u_{LOS}=\frac{\mathbf r}{\|\mathbf r\|}.$$

Sensor może mierzyć kąt, zmianę kąta, odległość, obraz, Dopplera lub miarę jakości. Pomiar kierunku bywa możliwy bez bezpośredniej znajomości odległości. Ruch głowicy, obrót korpusu, ugięcie osłony i niewspółosiowość zmieniają jednak przejście od surowej obserwacji do przestrzennej linii celu.

„Ślad istnieje” nie powinno być samotnym bitem. Stan śladu powinien rozróżniać inicjalizację, potwierdzenie, przejściową utratę, konkurencyjne hipotezy, wiek ostatniego pomiaru i niepewność. Naprowadzanie musi wiedzieć nie tylko, gdzie według filtru jest cel, ale także czy ta informacja pozostaje wiarygodna.

Naprowadzanie: geometria, energia i wykonalność

Naprowadzanie przyjmuje estymatę, cel misji oraz ograniczenia i wytwarza referencję. Może nią być żądane przyspieszenie, prędkość kątowa, orientacja, kąt toru albo punkt pośredni. Nie powinna być nią automatycznie pozycja płetwy; fizyczne wykonanie należy do sterowania.

Najprostsze rozróżnienie geometrii ma dużą wartość. W czystym pościgu wektor prędkości stale kieruje się na bieżące położenie celu. Dla celu poruszającego się poprzecznie prowadzi to do zakrzywionej trajektorii i dużego manewru końcowego. Kurs kolizyjny dąży do stałego namiaru przy malejącej odległości.

Prędkość zbliżania można przyjąć jako

$$V_c=-\dot R.$$

Dodatnie $V_c$ oznacza wtedy malejącą odległość. Sama stałość namiaru nie gwarantuje spotkania, jeżeli obiekty się nie zbliżają albo pojazd nie ma energii do utrzymania toru.

Jednym z publicznie omawianych praw końcowego samonaprowadzania jest nawigacja proporcjonalna. W zapisie koncepcyjnym żądane przyspieszenie poprzeczne jest proporcjonalne do prędkości zbliżania i prędkości obrotu linii obserwacji:

$$a_c\propto N V_c\dot\lambda.$$

Dokładna postać, znak i kierunek zależą od konwencji. JHU APL podkreśla, że filtr, prawo naprowadzania oraz autopilot tworzą sprzężony układ, w którym znaczenie mają opóźnienia, nasycenia i błędy sensora.apl-homing Wzór bez dynamiki wykonawczej nie jest projektem.

Naprowadzanie wielofazowe ma inne cele po starcie, w locie środkowym i w końcowym zbliżeniu. Stan na końcu fazy środkowej powinien znaleźć się w obszarze, z którego sensor może przejąć cel, a pozostała energia i czas pozwalają wykonać korektę. Najkrótsza droga geometryczna nie musi być najlepsza energetycznie.

Autopilot, aktuator i płatowiec

Autopilot stabilizuje ruch i śledzi referencję. Często zawiera szybką pętlę prędkości kątowej oraz wolniejszą pętlę przyspieszenia lub orientacji, ale nazwa „trzypętlowy” niczego nie dowodzi bez wskazania mierzonych wielkości.

Liniowy model wokół punktu pracy można zapisać jako

$$\dot{\mathbf x}_p=\mathbf A\mathbf x_p+\mathbf B\mathbf u, \qquad \mathbf y=\mathbf C\mathbf x_p+\mathbf D\mathbf u.$$

Macierze zmieniają się z prędkością, ciśnieniem dynamicznym, masą, środkiem ciężkości i stanem napędu. Harmonogramowanie wzmocnień dobiera parametry regulatora według punktu lotu. Interpolacja między dwoma stabilnymi regulatorami nie gwarantuje jednak stabilności pośredniej, a błędna zmienna harmonogramująca może wybrać niewłaściwy model.

Aktuator ma zakres, szybkość, pasmo, opóźnienie, zasilanie i nieliniowości. Uproszczona transmitancja drugiego rzędu

$$G_a(s)=\frac{\omega_a^2}{s^2+2\zeta_a\omega_a s+\omega_a^2}$$

nie obejmuje samoczynnie ograniczenia szybkości, luzu, tarcia ani spadku możliwości. Nasycenie jest zmianą modelu pętli. Jeżeli autopilot obcina żądanie, naprowadzanie powinno znać osiągniętą zdolność albo posiadać poprawny model ograniczenia.

Powierzchnie aerodynamiczne zależą od przepływu. Sterowanie wektorem ciągu zależy od pracy napędu. Inne mechanizmy wytwarzają siłę boczną albo moment i mają różne zakresy ważności. Model punktu materialnego może badać trajektorię, lecz nie dowodzi stateczności orientacji ani pracy aktuatorów.

Opóźnienie, pasmo, filtracja i mody giętkie

Całkowite opóźnienie pętli obejmuje sensor, kondycjonowanie, estymator, komunikację, obliczenie, aktuator i odpowiedź fizyczną:

$$\tau_\Sigma=\sum_i\tau_i.$$

Każde opóźnienie przesuwa fazę. Podniesienie wzmocnienia lub pasma może poprawiać szybką odpowiedź, lecz wzmacniać szum i zbliżać pętlę do niezamodelowanych modów konstrukcji. Filtr redukuje szum, ale również dodaje opóźnienie. Są to trzy strony jednego kompromisu.

Margines fazy i wzmocnienia opisują odporność modelu liniowego w danym punkcie. Nie zamykają nasyceń i przełączeń, ale ujawniają, czy niewielka zmiana czasu albo dynamiki może doprowadzić do oscylacji.

Osłona sensora tworzy szczególny przykład sprzężenia. Jeżeli jej błąd wskazania zależy od kąta, obrót korpusu zmienia pomiar celu; pomiar zmienia komendę, komenda obraca korpus. APL analizuje, jak nachylenie błędu osi osłony wpływa na efektywne zachowanie pętli.apl-homing Sensor, osłona i autopilot nie mogą być dowodzone wyłącznie osobno.

Studium integracyjne: jeden sygnał przez całą pętlę

Scenariusz i pomiar

Rozważmy fikcyjny bezzałogowy aparat badawczy śledzący boję meteorologiczną. Aparat i boja zbliżają się z małą prędkością; przykład nie jest modelem broni.

  • [WYM] referencja przyspieszenia bocznego ma mieć ważność znaną autopilotowi;
  • [WYM] aparat nie może przekroczyć fikcyjnego limitu 2,0 m/s²;
  • [ZAŁ] zmierzona prędkość zbliżania wynosi 20 m/s;
  • [ZAŁ] estymowana prędkość obrotu linii obserwacji wynosi 0,012 rad/s;
  • [ZAŁ] dla demonstracji przyjęto bezwymiarowy współczynnik 2,5.

Koncepcyjne żądanie wynosi

$$a_c=2{,}5\cdot20\cdot0{,}012=0{,}60 \mathrm{m/s^2}.$$

[OBL] Wartość jest poniżej limitu nominalnego, ale nie uwzględnia opóźnienia i niepewności. Estymator podaje również odchylenie standardowe prędkości LOS 0,004 rad/s. Pierwszorzędowa niepewność samego składnika kątowego daje tu około 0,20 m/s², jeżeli pozostałe wielkości potraktować jako ustalone.

Czas i transformacja

Znacznik próbki jest starszy o [POM] 80 ms. Przy założonym przyspieszeniu kątowym LOS 0,03 rad/s² niekompensowany przyrost prędkości kątowej ma rząd

$$0{,}03\cdot0{,}080=0{,}0024 \mathrm{rad/s}.$$

To 20% użytej wartości 0,012 rad/s. Stałe opóźnienie może być przewidywane modelem; zmienne wymaga ujęcia w niepewności. Następnie wektor przyspieszenia z układu LOS jest przekształcany do osi aparatu. Test interfejsu używa kilku znanych obrotów, w tym 90°, aby wykryć zamianę osi i znaku.

Autopilot i nasycenie szybkości

Autopilot przyjmuje referencję 0,60 m/s², ale aktuator wskutek limitu szybkości przez pierwsze 0,25 s osiąga średnio tylko połowę potrzebnej odpowiedzi. [POM] Zrealizowane przyspieszenie powinno być przesłane albo estymowane wyżej. W przeciwnym razie naprowadzanie przewiduje tor, który nie występuje.

W prostym oszacowaniu brakujący przyrost prędkości bocznej w tym okresie to

$$\Delta v_y\approx(0{,}60-0{,}30)\cdot0{,}25=0{,}075 \mathrm{m/s}.$$

[OBL] Liczba nie jest końcowym błędem położenia. Pokazuje jednak, że ograniczenie aktuatora musi wrócić do predykcji. [DEC] Kontrakt otrzymuje sygnał „referencja ograniczona” i wartość osiągniętej odpowiedzi, a test zamyka zachowanie po starzeniu danych.

Dowód

Jedno wymaganie prowadzi do kilku poziomów:

  1. test jednostkowy znaku i jednostki;
  2. test estymatora na syntetycznych próbkach z opóźnieniem;
  3. symulacja zamkniętej pętli z ograniczeniem szybkości;
  4. processor-in-the-loop dla rzeczywistego czasu obliczeń;
  5. HIL z emulatorem sensora i aktuatora;
  6. lot aparatu badawczego z niezależnym systemem referencyjnym;
  7. korelacja modelu czasu, odpowiedzi i ograniczeń.

Studium pokazuje istotę GNC: liczba 0,60 nie ma znaczenia bez osi, czasu, niepewności, limitu i informacji, co rzeczywiście wykonał pojazd.

Studium historyczne I: Minuteman i ciągłość funkcji nawigacyjnej

Minuteman jest aktywnym systemem strategicznym, dlatego opis ogranicza się do jawnych informacji historycznych U.S. Air Force. Oficjalny arkusz stwierdza, że od początku był szybko reagującym, inercyjnie kierowanym systemem, a kolejne modernizacje rozszerzały opcje i poprawiały dokładność oraz niezawodność.minuteman-fact

Historia wersji pokazuje różnicę między funkcją a implementacją. Minuteman I ustanowił autonomiczną nawigację inercyjną w gotowym do szybkiego użycia systemie stałopędnym. Minuteman II wprowadził przeprojektowany układ kierowania i mikroelektronikę; oficjalna historia Air Force odnotowuje także początkowe problemy niezawodności nowej techniki.minuteman-history Minuteman III odziedziczył rodzinę, lecz ponownie zmieniał układ kierowania i później podlegał programom przedłużania życia.

Nie trzeba znać konstrukcji obecnego systemu, aby wyprowadzić trzy lekcje:

  • stan nawigacyjny jest funkcją trwałą, ale sensor, komputer, pamięć i kalibracja mogą się zmieniać;
  • zmiana technologii nie jest samą miniaturyzacją — zmienia niezawodność, testowalność, zapis danych i utrzymanie;
  • dziedziczenie nazwy nie dowodzi wspólnej konfiguracji — dokument o Minuteman I nie opisuje automatycznie Minuteman III.

Filozofia „remove and replace”, podkreślana w materiałach Air Force, przesuwa ciężar na wymienność, testy podzespołów, konfigurację kalibracji i kontrolę interfejsów.minuteman-fact Wymieniony moduł musi odtworzyć właściwą funkcję w całym systemie; zgodność mechaniczna złącza nie wystarcza.

Nie zamieszczono danych celowania, dokładności, struktur pamięci, procedur inicjalizacji ani bieżącej architektury bezpieczeństwa.

Studium historyczne II: Sidewinder od AIM-9B do AIM-9X

Sidewinder pokazuje ewolucję sensora i sterowania w rodzinie zachowującej wspólną funkcję końcowego samonaprowadzania. U.S. Air Force podaje, że pierwsza wersja produkcyjna AIM-9B weszła do inwentarza w 1956 roku, miała istotne ograniczenia obserwacji, a późniejsze wersje stopniowo rozszerzały warunki przechwycenia. AIM-9L dodał możliwość ataku z różnych aspektów, AIM-9M poprawiał rozróżnianie tła i odporność, a AIM-9X otrzymał obrazujący sensor podczerwieni oraz zmiany układu sterowania.sidewinder

Nie wolno opisywać tej historii jako prostej osi „lepszy detektor”. Zmiana pola widzenia i sposobu tworzenia obrazu wpływa na:

pomiar → śledzenie i jakość → geometria naprowadzania
→ wymagane przyspieszenie → zakres autopilota i sterowania
→ interfejs z platformą oraz sposób wskazania celu

NAVAIR przedstawiał AIM-9X jako podejście systemowe łączące matrycowy sensor i sterowanie wektorem ciągu.navair Sens tego zestawienia nie polega na odtwarzaniu algorytmu. Pokazuje, że zwiększenie obserwowalnej geometrii bez zwiększenia wykonalności ruchu nie tworzyłoby pełnej zdolności. Sensor, przetwarzanie, autopilot, aktuatory i interfejs z nosicielem musiały ewoluować razem.

Warianty nie są wymienne źródłowo. Stwierdzenie o AIM-9L nie przechodzi automatycznie na AIM-9M, a opis AIM-9X nie dowodzi szczegółów jego kolejnych bloków. Publiczny artykuł powinien zatrzymać się na jawnej klasie sensora i architektury, jeśli źródło nie ujawnia implementacji.

Studium historyczne III: SM-1 do SM-2 jako zmiana granicy systemu

Historyczny artykuł APL z 1981 roku opisuje rozwój Standard Missile. W przejściu od SM-1 do SM-2 dołożono fazę środkową z łączami komunikacyjnymi, cyfrowym komputerem naprowadzania i inercyjnym układem odniesienia, zachowując część wcześniejszych sekcji oraz rozwijając końcowy odbiornik samonaprowadzania.standard

Zmiana była odpowiedzią na potrzebę wykorzystania dalekiego wykrycia przez system okrętowy. Sam seeker końcowy nie musiał przez cały czas obserwować celu. System zewnętrzny mógł doprowadzić pocisk do obszaru przejęcia, a następnie przekazać odpowiedzialność torowi końcowemu.

To tworzy krytyczny kontrakt przejścia:

Przed przejęciem Warunek przekazania Po przejęciu
INS i dane zewnętrzne utrzymują stan cel znajduje się w osiągalnym obszarze sensora, dane są świeże sensor końcowy tworzy własny ślad
system okrętowy aktualizuje rozwiązanie układy współrzędnych i czas są spójne naprowadzanie używa stanu względnego
energia jest zarządzana w fazie środkowej pozostaje margines manewru pętla końcowa redukuje błąd

APL opisuje badania modelu sekcji naprowadzania w laboratorium, testy interfejsu ze stroną okrętową oraz potwierdzenie wyników w próbach w locie.standard To konkretny przykład drabiny dowodowej: podzespół, interfejs, pełna konfiguracja i korelacja.

Studium dotyczy historycznych wersji opisanych w publikacji z 1981 roku. Nie należy przenosić jego szczegółów na współczesne warianty Standard Missile.

Tryby, degradacja i logika przejść

GNC działa w trybach: inicjalizacji, gotowości, wykrycia ruchu, stabilizacji, fazy środkowej, wyszukiwania, przejęcia, śledzenia końcowego i zachowania po utracie pomiaru. Przejście jest częścią algorytmu, nie tylko zmianą flagi.

Każda granica trybu powinna określać:

  • warunek wejścia i wyjścia;
  • wymagane źródła danych i ich jakość;
  • czas oczekiwania;
  • stany pamiętane, zerowane i ponownie inicjalizowane;
  • ciągłość referencji;
  • zachowanie po niespełnieniu warunku;
  • obserwowalny zapis diagnostyczny.

Skok referencji może nasycić aktuator. Filtr z błędną początkową kowariancją może zbyt szybko potwierdzić ślad. Integrator przeniesiony z poprzedniej fazy może długo generować nieaktualną korektę. Każdy z tych problemów powstaje na granicy, mimo że oba tryby osobno przechodzą test.

Degradacja nie zawsze oznacza kontynuację z gorszą dokładnością. Gdy stan staje się nieobserwowalny albo komenda niewykonalna, kontrolowane przejście do bezpieczniejszego zachowania może być poprawniejsze niż pozorna praca nominalna. Konkretna reakcja aktywnego uzbrojenia pozostaje poza zakresem artykułu.

Budżet błędów jako model zależności

Końcowy błąd może zawierać składniki nawigacji własnej, obserwacji celu, ustawienia osi, czasu, estymacji, prawa naprowadzania, śledzenia autopilota, aktuatora i zaburzeń. Nie należy ich bezwarunkowo dodawać metodą pierwiastka sumy kwadratów.

Dla liniowego przybliżenia wyjścia $y=g(\mathbf p)$ kowariancję można propagować jako

$$\mathbf P_y\approx\mathbf J\mathbf P_p\mathbf J^T,$$

gdzie $\mathbf J$ jest macierzą czułości. Elementy pozadiagonalne $\mathbf P_p$ opisują korelacje. Wspólna temperatura, zegar albo błąd orientacji może wpływać na kilka torów jednocześnie.

W syntetycznym przykładzie aparatu badawczego dwa przeliczone do wspólnej osi składniki błędu mają odchylenia standardowe $0{,}30 \mathrm m$ i $0{,}40 \mathrm m$, a ich współczynnik korelacji wynosi $\rho=0{,}75$. Dla $y=p_1+p_2$ otrzymujemy

$$\mathbf J=\begin{bmatrix}1&1\end{bmatrix},\qquad \mathbf P_p= \begin{bmatrix} 0{,}09&0{,}09\\ 0{,}09&0{,}16 \end{bmatrix},$$

ponieważ kowariancja ma wartość $0{,}75\cdot0{,}30\cdot0{,}40=0{,}09 \mathrm{m^2}$. Pełna propagacja daje

$$\sigma_y=\sqrt{\mathbf J\mathbf P_p\mathbf J^T} =\sqrt{0{,}43}\approx0{,}656 \mathrm m.$$

Pominięcie wyrazów pozadiagonalnych dałoby $\sqrt{0{,}09+0{,}16}=0{,}50 \mathrm m$, czyli zaniżyłoby wynik o około 24%. To nie jest automatyczny „zapas bezpieczeństwa”: korelacja ujemna mogłaby działać odwrotnie. Wartość i znak muszą pochodzić z modelu wspólnej przyczyny albo danych, a analiza wrażliwości powinna pokazać skutek błędnego założenia.

Budżet powinien rozróżniać:

  • błąd losowy i bias systematyczny;
  • niepewność wiedzy i fizyczny rozrzut;
  • wartość nominalną, graniczną i zmierzoną;
  • błąd lokalny oraz jego czułość na wynik systemowy;
  • przypadek pojedynczy i statystykę populacji.

Margines nie jest pulą wydawaną niezależnie przez każdy zespół. Jeżeli sensor zużywa większą część budżetu, wymaganie autopilota może wymagać ponownej alokacji. Po próbach budżet aktualizuje się danymi oraz ich niepewnością.

Weryfikacja, walidacja i korelacja

Drabina dowodowa odpowiada kolejno na inne pytania:

  1. kontrola równań, jednostek i znaków;
  2. test funkcji na danych syntetycznych;
  3. symulacja pojedynczych pętli i granic;
  4. model 3DOF do szerokiej analizy trajektorii;
  5. model 6DOF z sensorami, aktuatorami i sprzężeniami;
  6. analiza rozrzutów i przypadków granicznych;
  7. software- i processor-in-the-loop;
  8. hardware-in-the-loop z rzeczywistym czasem i interfejsami;
  9. próby środowiskowe;
  10. próby reprezentatywnego pojazdu oraz korelacja.

Model 3DOF nie dowodzi stabilności orientacji. HIL może ujawnić czas i protokół, lecz jego model otoczenia może być błędny. Próba w locie sprawdza rzeczywisty przypadek, ale nie pokrywa całej przestrzeni. Dowód powstaje z ich powiązania.

Monte Carlo ma wartość tylko z uzasadnionymi rozkładami, korelacjami i modelami błędów. Średni wynik może ukrywać ogon oraz oddzielną klasę niepowodzeń. Raport powinien zawierać percentyle, przypadki skrajne, nasycenia i przyczyny odrzutów.

Korelacja nie polega na dostrojeniu jednego współczynnika do końcowego punktu. Porównuje przebiegi stanów, komend, odpowiedzi, czasu i środowiska. Model, który trafia położenie końcowe dzięki dwóm kompensującym się błędom, nie jest wiarygodnym narzędziem predykcji.

Diagnostyka: od objawu do miejsca w łańcuchu

Objaw Możliwe klasy przyczyn Dane rozstrzygające
estymata skacze, pomiar nie stan filtru, tryb, czas innowacje, kowariancja, przejście trybu
pomiar i estymata są gładkie, błąd toru rośnie błędna referencja, osie, model celu zapis referencji, transformacji i przewidywania
referencja rośnie, odpowiedź stoi nasycenie, aktuator, zasilanie, aerodynamika komenda ograniczona, położenie aktuatora, stan lotu
oscylacja pojawia się tylko w jednej fazie harmonogram, opóźnienie, tryb elastyczny indeks harmonogramu, widmo, czas wykonania
kilka sensorów odchyla się razem wspólny czas, temperatura albo odniesienie zegar, środowisko, zasilanie, geometria
wynik HIL jest dobry, lot zły model środowiska, konfiguracja, interfejs fizyczny różnice konfiguracji i korelacja wielkości pośrednich

Analiza chroni oryginalne dane, wersje programu, FPGA, tablice, kalibracje i kolejność zdarzeń. Zmiana współczynnika przed zachowaniem stanu może usunąć dowód. Najpierw rozdziela się obserwacje od hipotez, potem projektuje test rozstrzygający.

Studium diagnostyczne: Mars Climate Orbiter i zerwany kontrakt jednostek

Mars Climate Orbiter nie był pociskiem, lecz jego utrata daje czysty, publicznie udokumentowany przykład awarii interfejsu GNC. Komisja NASA ustaliła, że naziemny program SM_FORCES zapisywał impuls w funt-siła-sekundach, podczas gdy specyfikacja interfejsu wymagała niutonosekund. Dalsze oprogramowanie nawigacyjne interpretowało dane zgodnie ze specyfikacją, przez co wpływ impulsów na trajektorię był niedoszacowany o czynnik 4,45.mco

Nie zawiódł więc pojedynczy wzór mechaniki. Każdy fragment mógł zwracać liczby o rozsądnym kształcie, ale producent danych i odbiorca przypisali im inne znaczenie. Raport wskazał również, że odchylenia były widoczne wcześniej, lecz istniejące procesy nie doprowadziły do wykrycia źródła przed krytycznym zdarzeniem.mco

Przypadek zamyka trzy wątki tego artykułu:

  1. jednostka musi należeć do kontraktu i być możliwa do sprawdzenia maszynowo;
  2. test zgodności powinien wprowadzać wartość o znanym znaczeniu fizycznym na jednej stronie i sprawdzać skutek na drugiej, nie tylko format pliku;
  3. diagnostyka musi zestawiać innowacje, skumulowane poprawki i niezależne wyznaczenie trajektorii, zamiast uznawać serię małych rozbieżności za osobne anomalie.

Transfer do GNC pocisku dotyczy metody inżynierskiej, nie konfiguracji sprzętu ani dynamiki lotu Mars Climate Orbiter. Studium nie dostarcza parametrów żadnego systemu uzbrojenia.

Implementacja numeryczna i konfiguracja

Stabilne równanie ciągłe nie pozostaje automatycznie stabilne po dowolnej dyskretyzacji. Prosty krok

$$\mathbf x_{k+1}=\mathbf x_k+T f(\mathbf x_k,\mathbf u_k)$$

ma błąd zależny od okresu i dynamiki. Dobór metody całkowania, precyzji i częstotliwości jest częścią projektu.

Arytmetyka stałoprzecinkowa wymaga zakresu, skali, zaokrąglania i nasycenia. Przepełnienie ze zmianą znaku może stworzyć komendę przeciwną. Liczby zmiennoprzecinkowe mają NaN, nieskończoności i tryby zaokrąglania. Wymagania muszą określać zachowanie na granicach, nie tylko dla danych nominalnych.

Konfiguracja GNC obejmuje kod, kompilator, parametry, tablice aerodynamiczne, kalibracje, układy osi, mapę sensorów, harmonogramy, wersję modelu i warunki inicjalizacji. „Ten sam algorytm” z inną tabelą albo opóźnieniem jest innym zachowaniem systemowym.

Zmiana sensora uruchamia regresję nie tylko nawigacji. Może zmienić opóźnienie, filtrację, obciążenie magistrali, obserwowalność, budżet błędów i wejście naprowadzania. Zmiana aktuatora może zmienić wymagane ograniczenie oraz model predykcyjny. Wpływ idzie zgodnie z grafem zależności, nie według struktury organizacyjnej.

Synteza

Nawigacja nie jest IMU, naprowadzanie nie jest seekerem, a autopilot nie jest aktuatorem. IMU dostarcza pomiary, nawigacja tworzy stan, sensor celu tworzy obserwację względną, naprowadzanie żąda ruchu, autopilot stabilizuje i śledzi, a aktuator wraz z płatowcem wykonuje działanie. Każda funkcja ma odrębny dowód, lecz żadna nie tworzy zdolności w izolacji.

Najważniejsza granica przebiega między liczbą a jej znaczeniem. Wartość może być pomiarem, estymatą lub referencją; dotyczyć różnych osi i chwil; mieć nieznaną ważność albo zostać ograniczona. Dojrzały kontrakt zachowuje te własności aż do fizycznej odpowiedzi i wracającej obserwacji.

Studia historyczne potwierdzają tę zasadę trzema drogami. Minuteman pokazuje ciągłość funkcji inercyjnej mimo zmian technologii i utrzymania. Sidewinder pokazuje, że ewolucja sensora wymusza integrację z przetwarzaniem oraz sterowaniem. SM-2 pokazuje zmianę granicy między platformą, fazą środkową i samonaprowadzaniem końcowym, a także wartość testów podzespołu, interfejsu i pełnej konfiguracji.

Dlatego projekt GNC zaczyna się od definicji stanu, pomiaru, osi, czasu, niepewności i ograniczeń. Potem buduje się modele od prostych do szczegółowych, sprawdza granice, koreluje wyniki i utrzymuje konfigurację. Dopiero w takim łańcuchu poprawna matematyka opisuje rzeczywisty system.

Bibliografia