AIM-120 AMRAAM: zdolność należy do baseline'u, nie do nazwy

Pytanie „co potrafi AIM-120?” jest źle postawione, dopóki skrót AIM-120 oznacza równocześnie rodzinę rozwijaną od lat osiemdziesiątych, kilka przyrostków produkcyjnych, różne generacje elektroniki, pakiety oprogramowania, integracje lotnicze i naziemne oraz egzemplarze o nieujawnionej historii przechowywania. Trafniejsze pytanie brzmi: jaka zdolność została wykazana dla konkretnego, datowanego baseline'u i jak daleko wolno przenieść ten dowód?

Teza tej monografii jest następująca: zdolność AIM-120 nie jest własnością nazwy rodziny ani samego pocisku, lecz datowanego baseline'u wariant–hardware–software–platforma–interfejs–dowód. Dla tego baseline'u stan nosiciela i celu musi przejść przez inicjalizację, INS, datalink, estymację, terminalny seeker, guidance, autopilot i detekcję celu, a każdemu przejściu trzeba przypisać jawny zakres dowodu oraz niepewność.

W tym zapisie baseline oznacza kontrolowaną konfigurację odniesienia, hardware — konfigurację sprzętową, software — oprogramowanie, seeker — terminalny sensor poszukujący, a guidance — warstwę naprowadzania wyznaczającą żądany ruch. Angielskie nazwy pozostają tam, gdzie są elementem oznaczenia programu, dokumentacji źródłowej albo wspólnej karty.

Tak sformułowana teza nie jest zabiegiem terminologicznym. Wyjaśnia, dlaczego:

  • aktywna głowica radiolokacyjna nie usuwa zależności od jakości danych przedstartowych i śródtorowych;
  • zgodność mechaniczna z samolotem albo wyrzutnią nie dowodzi zgodności oprogramowania misji, interfejsu danych i całej obwiedni użycia;
  • próba jednego wariantu z jedną platformą nie certyfikuje innego wariantu, innego pakietu oprogramowania ani startu naziemnego;
  • notyfikacja eksportowa, umowa, przydział w partii produkcyjnej, dostawa, integracja i gotowość są odrębnymi stanami;
  • program odświeżenia elektroniki może zachować formę, dopasowanie i funkcję na poziomie projektu, lecz nadal wymaga regresji i dowodu na poziomie całego systemu.

Publiczne źródła pozwalają wiarygodnie opisać architekturę funkcjonalną, historię wybranych konfiguracji i logikę dowodzenia. Nie pozwalają zrekonstruować rzeczywistych obwiedni odpalenia, stref no-escape, zasięgów przejęcia, charakterystyk emisji, ramek łącza, algorytmów ECCM ani parametrów prawa naprowadzania. Te elementy nie są potrzebne do zrozumienia zasadniczego problemu inżynierskiego: każdy etap przetwarza informację o określonej jakości, a zdolność istnieje dopiero wtedy, gdy wszystkie zgodne elementy zamkną pętlę.

Jednostka analizy: wspólna karta konfiguracji

Najmniejszą sensowną jednostką opisu nie jest „AMRAAM”, lecz rekord konfiguracji. Rekord ma datę odniesienia i osiem obowiązkowych pól. Jeżeli któregoś pola nie można wypełnić, wniosek musi zostać zwężony, a nie uzupełniony domysłem.

Pole karty Co musi zostać zapisane
Wariant A, B, konkretny przyrostek C albo D/D-3; sama nazwa rodziny nie wystarcza.
Hardware Ujawniona konfiguracja sekcji, odświeżenie elektroniki, znane różnice geometryczne lub energetyczne.
Software Pakiet pocisku i status: planowany, badany, zatwierdzony, wdrożony; brak nazwy pozostaje brakiem.
Platforma/OFP Typ i wersja nosiciela oraz jego Operational Flight Program lub równoważny baseline oprogramowania misji.
Launcher/interfejs Wyrzutnia lub stanowisko startu, połączenie mechaniczne i elektryczne, zgodność wymiany danych.
Data/status Data próby, kontraktu, dostawy lub oceny oraz dokładny rodzaj osiągniętego stanu.
Dowód Dokument i jego poziom: komponent, integracja, próba rozwojowa, próba operacyjna, decyzja o fieldingu.
Granica wniosku Najszersze twierdzenie, które źródło rzeczywiście wspiera, oraz jawna niepewność.

Zapis skrócony ma więc postać:

wariant → hardware → software → platforma/OFP → launcher/interfejs → data/status → dowód → granica wniosku.

To jest wspólna karta prowadząca przez cały artykuł. Przykład poprawnego, lecz celowo wąskiego rekordu brzmi: „AIM-120D-3 → hardware guidance section po F3R → nieujawniona w komunikacie dokładna wersja software → F/A-18F/baseline niepodany → lotniczy interfejs tej konfiguracji → 12 maja 2021, druga próba swobodnego lotu → komunikat NAVAIR → wykazano bezpieczne oddzielenie, pracę autopilota separacji i nawigację swobodnego lotu w tej próbie; nie wykazano z tego źródła gotowości operacyjnej ani zgodności z F-35”.navair-d3

Karta wymusza rozdzielenie pojęć, które w tekstach popularnych bywają mieszane:

  • rodzina to ciąg produktów noszących wspólne oznaczenie AIM-120;
  • wariant to formalnie oznaczona odmiana, na przykład AIM-120D;
  • przyrostek produkcyjny to konfiguracja w obrębie litery, na przykład C-5, C-7 albo D-3;
  • program odświeżenia hardware'u to przedsięwzięcie takie jak F3R, nie sam wariant;
  • pakiet oprogramowania to identyfikowalny baseline, na przykład SIP-3F lub SIP-4;
  • platforma to samolot albo system naziemny wraz z jego konfiguracją, nie tylko nazwą typu;
  • wyrzutnia i interfejs tworzą warstwę mechanicznego, elektrycznego i informacyjnego połączenia;
  • środowisko startu obejmuje warunki, których nie zachowuje proste przeniesienie między komorą wewnętrzną, węzłem podskrzydłowym i wyrzutnią naziemną.

W rezultacie zapis „F-16 przenosi AMRAAM” jest prawdziwy na poziomie rodziny, ale za słaby do odpowiedzi, czy określona flota, z określonym OFP i wyrzutnią, jest gotowa do użycia określonego przyrostka. Analogicznie „AMRAAM działa w NASAMS” nie znaczy, że dowolny AIM-120 można bez dalszego dowodu włączyć do dowolnej wersji systemu naziemnego.

Jak czytać źródła i nie zgubić zakresu dowodu

W tej monografii pierwszeństwo mają dokumenty programu, budżety, sprawozdania DOT&E, komunikaty sił zbrojnych, notyfikacje DSCA i komunikaty MON. Materiał producenta służy do opisu własnego programu F3R, konfiguracji produktu oraz deklarowanej integracji. RAND i literatura techniczna wspierają modele ogólne, nie ujawnioną implementację pocisku. Źródła mutowalne mają datę dostępu 7 września 2026 r.; PDF-y mają lokalizator strony, sekcji albo numeru formularza.

Są cztery proste reguły zakresu:

  1. Nazwa nie dziedziczy cech. Cecha D-3 nie przechodzi na D0, C-8 ani C-7 bez źródła obejmującego obie konfiguracje.
  2. Komponent nie certyfikuje systemu. Nowa karta procesora może dowodzić odświeżenia guidance section, lecz nie gotowości samolotu z danym OFP.
  3. Zdarzenie nie zmienia się w inny etap. Próba nie jest kontraktem; notyfikacja nie jest umową; umowa nie jest dostawą; dostawa nie jest gotowością.
  4. Brak publicznego dowodu nie jest dowodem braku. Znaczy tylko, że w jawnej bazie nie wolno postawić twierdzenia pozytywnego.

Szczególnie ważna jest różnica między datą dokumentu a datą zdarzenia. Komunikat z 13 maja 2021 r. opisuje próbę z 12 maja i odwołuje się do pierwszego strzału z 9 grudnia 2020 r. Informacja producenta opublikowana 1 września 2023 r. potwierdza ukończoną pierwszą próbę lotną C-8, ale nie podaje w tekście daty samego strzału. W takiej sytuacji nie należy sztucznie zrównywać obu dat.navair-d3,rtx-c8

Rodzina i przyrostki: chronologia bez automatycznego dziedziczenia

Historia programu pokazuje, dlaczego pojedyncza nazwa jest za mało precyzyjna. Raport GAO z 1990 r. dokumentował jeszcze przed osiągnięciem gotowości problemy kosztu, harmonogramu i stabilności konstrukcji oraz programową ambicję zwalczania wielu celów. Jest to źródło historii akwizycji, nie współczesna specyfikacja wariantu.gao

Oficjalna karta NAVAIR podaje obecnie IOC USAF we wrześniu 1991 r. i IOC US Navy we wrześniu 1993 r. Historyczne sprawozdanie DOT&E FY2000 rozbija ten obraz dokładniej: F-15 we wrześniu 1991 r., F-16 w styczniu 1992 r. oraz Navy w październiku 1993 r. Różnica miesiąca dla marynarki nie może zostać usunięta przez wybór wygodniejszej daty. Najuczciwszy zapis brzmi: oficjalne źródła są zgodne co do wdrażania w latach 1991–1993, lecz różnią się między wrześniem i październikiem 1993 r. dla marynarki, prawdopodobnie z powodu odmiennej definicji kamienia milowego lub poziomu agregacji.navair-product,dote-fy00

Poniższy rejestr nie jest tabelą „co potrafi każdy wariant”. Jest mapą tego, co można datować i czego nie wolno przenosić:

Oznaczenie Publicznie wykazany zakres i granica
AIM-120A Wczesny wariant produkcyjny rodziny; źródła historyczne łączą pierwsze IOC z wczesnymi konfiguracjami, ale bieżąca karta NAVAIR nie przypisuje dat IOC konkretnemu przyrostkowi.
AIM-120B ACC grupuje B, C i D jako warianty reprogramowalne w polu. Nie wynika z tego wspólność hardware'u, software'u ani wszystkich interfejsów.acc
AIM-120C Gałąź rodziny obejmująca kolejne przyrostki C-3…C-8. Sama litera C nie identyfikuje ich odmiennych konfiguracji.dote-fy04
C-3 DOT&E FY2004 przypisuje temu przyrostkowi zmniejszoną geometrię skrzydeł, wprowadzoną z myślą o przenoszeniu większej liczby pocisków w wewnętrznych komorach F-22. Źródło nie przypisuje temu rekordowi późniejszych zmian C-4…C-8.dote-fy04
C-4 DOT&E FY2004 przypisuje temu przyrostkowi nową głowicę. Z tego źródła nie wolno dopisywać C-4 cech późniejszych przyrostków.dote-fy04
C-5 Źródła budżetowe FY2000 i sprawozdanie DOT&E FY2004 wiążą ten etap z wydłużonym silnikiem „+5”; dostawy były w źródle budżetowym planowane na FY2000. Nie wolno z tego wyprowadzać parametrów osiągów.usaf-fy00,dote-fy04
C-6 DOT&E FY2004 przypisuje C-6 nowy Target Detection Device; dokument nie uzasadnia przeniesienia dokładnej konstrukcji TDD na inne przyrostki.dote-fy04
C-7 USAF FY2009 opisuje nowe hardware i software guidance section oraz zatwierdzenie fieldingu w grudniu 2007 r. Bieżąca karta ACC przypisuje konfiguracji „od C-7” również +5 i SCAS, co tworzy konflikt z dokumentami C-5 omówiony osobno.usaf-fy09,acc
C-8 RTX opisuje go jako najnowszy w 2023 r. wariant międzynarodowy rozwinięty w ramach F3R; pierwszą próbę lotną wykonano z F-15C. To nie jest dowód polskiej umowy, dostawy ani gotowości.rtx-c8
AIM-120D/D0 RAND syntetyzuje publiczne różnice jako nawigację wspomaganą GPS, dwukierunkowe łącze danych i nowe oprogramowanie guidance. DOT&E używa później nazwy D0 dla starszego hardware'u odróżnianego od D-3.rand,dote-fy25
AIM-120D-3 Wariant z guidance hardware odświeżonym przez F3R. Jest nośnikiem określonych pakietów software, ale nie jest nazwą programu F3R ani synonimem SIP-3F.navair-d3,dote-fy23
F3R Program Form, Fit, Function Refresh przeciwdziałający obsolescencji elektroniki i rehostujący kod dla C-8 oraz D-3. Nie jest literowo-cyfrowym wariantem pocisku.rtx-c8,navair-d3
AMRAAM-ER Odrębny efektor naziemny z większym silnikiem i zoptymalizowanym systemem sterowania, integrowany z NASAMS. Wspólna marka nie pozwala opisywać go jako C-8 lub D-3.rtx-product

Z tej mapy wynikają trzy poziomy tożsamości. Litera A/B/C/D identyfikuje dużą gałąź. Przyrostek, na przykład C-7 lub D-3, wyznacza węższy baseline produkcyjny. Dopiero pakiet oprogramowania i konfiguracja platformy domykają zdolność systemową. „D” bez przyrostka może być poprawne w historycznej syntezie, lecz jest niewystarczające w wymaganiu, umowie, protokole próby albo analizie regresji.

Spór o „+5”: dwa źródła urzędowe i jedna uczciwa odpowiedź

„+5” jest dobrym testem dyscypliny źródłowej, bo dwa oficjalne dokumenty prowadzą do różnych zdań. Budżet USAF FY2000 opisuje drugą fazę Pre-Planned Product Improvement: C-4 jako przyrost zdolności rażenia, a konfigurację C-5 jako przyrost kinematyczny wykorzystujący nową głowicę i silnik wydłużony o pięć cali. Sprawozdanie DOT&E FY2004 porządkuje ewolucję nieco inaczej: C-4 otrzymał nową głowicę, C-5 — wydłużony silnik, C-6 — nowy TDD, a C-7 — nowe hardware i software sekcji naprowadzania.usaf-fy00,dote-fy04

Bieżąca karta ACC, zaktualizowana w styczniu 2022 r., stwierdza natomiast, że począwszy od konfiguracji C-7 zastosowano silnik „+5” i Shortened Control Actuator System (SCAS), co pozwoliło zachować długość całego pocisku. Ta karta jest silnym źródłem dla aktualnego publicznego opisu produktu, ale nie wyjaśnia, czy „beginning with C-7” dotyczy pierwszego wprowadzenia rozwiązania, jego określonego zestawienia produkcyjnego, zmienionej definicji baseline'u czy po prostu skróconej redakcji.acc

Nie ma podstaw, aby ogłosić jedną wersję bezsporną i przemilczeć drugą. Rozstrzygnięcie ma dwa poziomy:

  • historyczny początek: dwa bliskie programowi dokumenty z FY2000 i FY2004 lokują wydłużony silnik na etapie C-5;
  • bieżący opis konfiguracji: karta ACC z 2022 r. opisuje zestaw „+5 + SCAS” od C-7.

Dlatego twierdzenie „C-7 był bezspornym początkiem silnika +5” jest niewykazane, a w świetle starszych źródeł urzędowych — mylące. Równie nieostrożne byłoby odrzucenie aktualnej karty ACC. Poprawna karta dowodu zapisuje konflikt i ogranicza wniosek: program C-5 jest najwcześniejszym jawnie udokumentowanym etapem wydłużonego silnika, natomiast współczesna karta ACC wiąże kompletną konfigurację +5/SCAS z C-7. Bez dokumentacji konfiguracyjnej nie da się z publicznych danych odtworzyć granicy każdej partii produkcyjnej.

Ta sprzeczność ma wartość szkoleniową. Pokazuje, że nawet dwa źródła instytucjonalne nie są wymienne. Dokument budżetowy śledzi ewolucję programu i finansowane przyrosty; karta produktu upraszcza aktualną rodzinę dla użytkownika. Każde odpowiada na inne pytanie.

F3R, D-3, C-8 i software: cztery różne osie

F3R oznacza Form, Fit, Function Refresh: odświeżenie prowadzone tak, aby przeciwdziałać starzeniu i niedostępności elementów elektronicznych przy zachowaniu wymaganej formy, dopasowania i funkcji. NAVAIR w maju 2021 r. wiązał program z rosnącymi trudnościami produkcyjnymi wynikającymi z obsolescencji elektroniki. RTX doprecyzował w 2023 r., że w guidance section modernizowano wiele kart i procesorów oraz rehostowano odziedziczone oprogramowanie w obu wariantach: AIM-120D-3 i AIM-120C-8.navair-d3,rtx-c8

W materiale ze stycznia 2024 r. RTX podał liczbę piętnastu modernizowanych kart F3R i szybsze procesory. Jest to wartościowy dowód producenta o skali odświeżenia jego własnego programu, ale nie kompletna lista konfiguracji ani samodzielny dowód skuteczności operacyjnej każdego wariantu.rtx-f3r

Z tego wynikają cztery odrębne osie:

  1. F3R jest programem hardware refresh/rehost, nie oznaczeniem efektora.
  2. D-3 i C-8 są przyrostkami wariantów, które korzystają z rezultatów F3R, ale nie stają się przez to tym samym pociskiem.
  3. SIP-3F jest pakietem oprogramowania rehostowanym na hardware D-3; DOT&E FY2023 opisuje go jako SIP-3 przeniesiony na nowe hardware w układzie form-fit-function.dote-fy23
  4. SIP-4 jest późniejszym pakietem dla D-3, którego nie można domniemywać na podstawie samego oznaczenia D-3.

Raport DOT&E FY2023 jest szczególnie ważny, bo pokazuje, dlaczego „rehost” nie jest administracyjnym skopiowaniem programu. W zintegrowanych próbach zakończonych w maju 2023 r. odkrycia wymusiły zmiany software'u i firmware'u, przez co część wcześniejszych prób nie reprezentowała końcowej wersji produkcyjnej. DOT&E zalecił dalsze badania niezawodności nowego hardware'u D-3. Ówczesny raport mówił o oczekiwaniu na decyzję służb dotyczącą fieldingu SIP-3F, a nie o już osiągniętym statusie.dote-fy23

Stan ten został później uaktualniony. DOT&E FY2024 podał, że raport FOT&E SIP-3F opublikowano w formie niejawnej w styczniu 2024 r., a pakiet wdrożono w marcu 2024 r.; jednocześnie trwało dodatkowe charakteryzowanie niezawodności hardware'u D-3. Raport FY2025 powtórzył datę fieldingu SIP-3F i rozdzielił trwające prace: SIP-3 Tape 2 dla D0 oraz SIP-4 dla D-3. FOT&E SIP-3 Tape 2 rozpoczęto we wrześniu 2025 r.; ponieważ trwało, danych było wówczas za mało do oceny jego skuteczności, śmiercionośności i przydatności operacyjnej. Dla SIP-4 raport podaje tylko plan zakończenia FOT&E w FY2026 oraz publikację niejawnego raportu po analizie danych. Analiza danych dotyczących cyber survivability obu konfiguracji — SIP-3 Tape 2 i SIP-4 — pozostawała niezakończona; ich oceny miały trafić do odrębnych niejawnych raportów po ukończeniu analiz.dote-fy24,dote-fy25

Poprawny zapis konfiguracji nie brzmi zatem „D-3/F3R/SIP-3F”, jakby ukośniki oznaczały synonimy. Brzmi: „D-3, hardware odświeżony w programie F3R, z pakietem SIP-3F wdrożonym w marcu 2024 r.” — jeśli właśnie taki stan jest przedmiotem twierdzenia. Dla SIP-4 należy utworzyć nowy rekord z inną datą i stanem prób. C-8 potrzebuje osobnego rekordu software'u; dokument o SIP-3F nie przenosi go automatycznie na C-8.

Literatura dotycząca projektowania FPGA jest użyteczna wyłącznie do objaśnienia ogólnej zasady: zmiana technologii sprzętowej, języka opisu lub platformy wykonawczej wymaga kontroli interfejsów, deterministyczności, weryfikacji i regresji. Nie stanowi ona dowodu, że konkretna funkcja AIM-120 została zaimplementowana w FPGA ani że F3R zastosował określoną architekturę układu.fpga-pl,fpga-en

Od danych nosiciela do detekcji celu: jeden łańcuch, wiele granic

Oficjalne źródła ujawniają ogólną architekturę bez odsłaniania implementacji. Karta NAVAIR opisuje lot na dużym dystansie jako nawigację inercyjną wspieraną aktualizacjami celu przez łącze danych, a fazę terminalną — jako przejście do własnego aktywnego radaru monopulsowego. Karta ACC dzieli pocisk na cztery główne sekcje: guidance, armament, propulsion i control. W guidance wymienia elektronikę seekera i serwomechanizmu, nadajnik, konwersję energii, bezwładnościowy zespół odniesienia oraz Target Detection Device; osobno przypisuje tej sekcji funkcję navigation data link processing.navair-product,acc

Z tych informacji można zbudować bezpieczny i technicznie użyteczny łańcuch funkcjonalny:

stan nosiciela i track celu → inicjalizacja → własny stan INS → aktualizacje datalink → estymacja względna → warunek terminalnego przejęcia → pomiar seekera → guidance → autopilot i sekcja sterowania → detekcja zbliżenia/warunek działania części bojowej.

Każda strzałka oznacza transformację danych, nie magiczne przekazanie pewnej prawdy:

  • nosiciel ma oszacowanie własnego stanu i oszacowanie stanu celu;
  • interfejs zapisuje do pocisku zestaw danych zgodny z danym baseline'em;
  • INS propaguje stan pocisku, ale jego błąd rośnie i ma strukturę zależną od czasu oraz warunków inicjalizacji;
  • aktualizacja nie „steruje pociskiem jak joystickiem”, tylko koryguje informację używaną przez estymację i guidance;
  • seeker dostarcza własne pomiary dopiero w warunkach, w których cel znajdzie się w obszarze możliwego wyszukania i rozróżnienia;
  • guidance wytwarza żądanie ruchu, autopilot stabilizuje i realizuje je przez sekcję sterowania;
  • TDD jest odrębną funkcją detekcji warunków zadziałania, a nie drugim seekerem.

Ten opis jest świadomie funkcjonalny. Nie rekonstruuje kolejności trybów search/acquisition/track, kryteriów przerwania aktualizacji, zawartości downlinku, logiki home-on-jam, bramek przejęcia ani wyboru celu. NAVAIR publicznie potwierdza zdolność HOJ na poziomie rodziny, ale nie ujawnia algorytmu i nie upoważnia do opisywania AMRAAM jako wyspecjalizowanego pocisku przeciwradiolokacyjnego.navair-product

Stan, kowariancja i ramy odniesienia

Stan celu i niepewność stanu to dwa różne obiekty matematyczne. Ich mieszanie prowadzi do pozornie precyzyjnych, lecz bezwartościowych zdań. Dla modelu dydaktycznego można zapisać stan celu w ustalonej ramie odniesienia (F) jako:

$$\mathbf{x}_T^F = \begin{bmatrix} \mathbf{r}_T^F \\ \mathbf{v}_T^F \end{bmatrix},$$

gdzie

  • $\mathbf{r}_T^F$ jest wektorem położenia celu w ramie $F$,
  • $\mathbf{v}_T^F$ jest wektorem prędkości celu w tej samej ramie,
  • indeks $T$ oznacza cel, nie czas,
  • wszystkie składowe muszą odnosić się do jawnie podanej epoki pomiaru.

Macierz kowariancji celu ma postać:

$$\mathbf{P}_T^F = \operatorname{E}\!\left[ (\mathbf{x}_T^F-\hat{\mathbf{x}}_T^F) (\mathbf{x}_T^F-\hat{\mathbf{x}}_T^F)^{\mathsf T} \right].$$

Wektor $\hat{\mathbf{x}}_T^F$ jest estymatą, zaś $\mathbf{P}_T^F$ opisuje rozrzut błędu tej estymaty i korelacje między składowymi. Ma jednostki będące kwadratami lub iloczynami jednostek odpowiednich składowych. Nie jest „pozycją zapasową” ani pojedynczą liczbą dokładności.

Analogicznie definiuje się stan nosiciela $\mathbf{x}_F$, stan pocisku $\mathbf{x}_M$ i odpowiadające im kowariancje. Symbol $F$ użyty jako indeks górny oznacza ramę współrzędnych; symbol $F$ użyty później przy składniku niepewności interfejsu jest tylko etykietą modelu skalarnego i zostanie wyjaśniony lokalnie. W systemie rzeczywistym trzeba ponadto zdefiniować konwencję osi, skalę czasu, znaki, układ geodezyjny, punkt odniesienia i transformacje między ramami. Tu nie podaje się implementacji AIM-120 — jedynie minimalny język, który zapobiega mieszaniu stanu z jego niepewnością.

Możliwy błąd względny nie jest prostą sumą błędów pozycji. Transformacja stanu celu do ramy używanej przez pocisk może wprowadzać korelacje przez wspólne źródło czasu, wspólną nawigację nosiciela albo wspólny track sensora. Dlatego syntetyczne RSS w drugim studium jest przybliżeniem dydaktycznym, a nie modelem certyfikacyjnym.

Pełna teoria INS, filtracji i estymacji znajduje się w monografiach Nawigacja inercyjna: IMU, INS i estymacja stanu oraz Nawigacja, guidance i autopilot. Tutaj potrzebny jest jeden wniosek: INS nie mierzy celu. Propaguje stan pocisku na podstawie pomiarów ruchu i inicjalizacji; jakość wejścia, błędy czujników, transformacje ram i czas wpływają na późniejszą zgodność z danymi celu.

Określenie fire-and-forget bywa użyteczne marketingowo, lecz zasłania zależność jakościową. Aktywny seeker usuwa potrzebę ciągłego oświetlania celu przez radar nosiciela tak jak w klasycznym naprowadzaniu półaktywnym, ale nie sprawia, że informacja sprzed startu pozostaje wiecznie aktualna. Im dłużej lot i im większa zmienność ruchu celu, tym ważniejsze stają się propagacja stanu oraz zgodne czasowo aktualizacje.

Publiczny opis NAVAIR potwierdza trzy poziomy informacji: inertial reference w pocisku, target updates przekazywane przez data link oraz terminalny własny radar monopulsowy. Opis producenta ujmuje to podobnie jako kombinację inertial guidance, aktualizacji śródtorowych i aktywnego radaru pokładowego.navair-product,rtx-product To wystarcza do wniosku architektonicznego, ale nie do odtworzenia:

  • częstotliwości, kodowania, ramek ani odporności łącza;
  • kierunku każdego komunikatu w każdej wersji;
  • momentu i warunków końca aktualizacji;
  • zasięgu, kąta i progów przejęcia seekera;
  • liczby celów, harmonogramu kanałów ani procedury walki.

Dla AIM-120D źródła wtórne RAND, oparte na dokumentach budżetowych, wskazują dwukierunkowe łącze danych i nawigację wspomaganą GPS. Bieżąca karta ACC pokazuje dla D osobne anteny Data Link Electronics i GPS. Jest to wystarczające do publicznego twierdzenia o tych cechach D na poziomie rodziny, lecz nie o treści downlinku, dokładnych funkcjach załogi ani obecności identycznego rozwiązania w C-8.rand,acc

Dwukierunkowość także nie zmienia struktury dowodu. Downlink może zwiększać świadomość systemu o stanie efektora, ale samo istnienie kanału nie dowodzi konkretnej treści, częstotliwości raportowania ani jakości informacji. Te dane pozostają niewykazane publicznie.

Radar monopulsowy oznacza publicznie ujawniony typ terminalnego sensora, nie pełny schemat odbiornika i algorytmu. W modelu ogólnym monopuls pozwala estymować odchylenie kątowe z jednego zestawu równoczesnych sygnałów, ograniczając niektóre błędy wynikające ze zmian amplitudy między kolejnymi obserwacjami. Nie wynika z tego ujawniona implementacja AIM-120. Pełniejszy, przekrojowy opis sensorów znajduje się w monografii Sensory i seekery: IR, IIR, radar, laser i fuzja.

Guidance, autopilot, napęd i TDD: synteza bez fikcyjnego schematu

Karta ACC pozwala zweryfikować cztery sekcje pocisku i kilka funkcji, ale wymaga ostrożnego języka. Guidance section obejmuje publicznie elektronikę seekera i serwomechanizmu, nadajnik, konwersję energii, bezwładnościowy zespół odniesienia i TDD; opis funkcji tej sekcji osobno wymienia navigation data link processing. Armament section obejmuje zespół głowicy oraz booster połączony z urządzeniem safe-and-arming. Propulsion section zawiera niskodymny silnik stałopędny na HTPB o profilu boost–sustain. Control section obejmuje elektronikę sterowania, baterie aktuatorów i cztery niezależnie sterowane serwoaktuatory. Karta USAF o teście F-35A z 2013 r. opisuje cztery ruchome powierzchnie ogonowe, co jest zgodne funkcjonalnie, ale pochodzi z datowanego baseline'u próby.acc,usaf-f35

Tego opisu nie należy rozszerzać w nieujawniony mikser sterów, szczegółową logikę autopilota ani współczynniki naprowadzania. Guidance odpowiada za wyznaczenie żądanej ewolucji ruchu na podstawie estymowanego stanu; autopilot stabilizuje płatowiec i przekształca żądanie w działanie dostępnych elementów sterowania; aktuatory realizują polecenia. Jest to ogólny podział funkcjonalny, nie odtworzony kod AIM-120.

Nie używa się tu równania nawigacji proporcjonalnej jako rzekomego dowodu implementacji. PN jest ważnym modelem ogólnym, ale publiczne karty AMRAAM nie ujawniają prawa sterowania ani jego parametrów. Z tego samego powodu nie zamieszcza się uproszczonego równania radarowego i nie oblicza terminalnego zasięgu seekera. Takie rachunki bez danych anteny, propagacji, przetwarzania i celu dawałyby jedynie fałszywą precyzję.

Profil boost–sustain jest ujawnioną charakterystyką ogólną silnika w karcie ACC. Nie dostarcza ciągu, czasu pracy ani bilansu energii konkretnego przyrostka. Opis fizyki silnika stałopędnego oraz różnicy między boost–sustain, dual-pulse i układem wieloimpulsowym znajduje się w monografiach Silnik rakietowy na paliwo stałe jako subsystem i Silniki stałopędne: boost–sustain, dual-pulse i wieloimpulsowe. Książki o miniaturowych silnikach turboodrzutowych i nietypowym silniku turbowałowym nie są źródłami dla napędu stałopędnego AIM-120; nie wykorzystuje się z nich analogii konstrukcyjnych.

TDD (Target Detection Device) należy rozumieć jako umieszczone w guidance section urządzenie detekcji warunku związanego z celem, funkcjonalnie współpracujące z częścią bojową. Źródła publiczne potwierdzają jego obecność i zmianę na etapie C-6, lecz nie pozwalają rekonstruować progów, geometrii działania, logiki uzbrajania ani sekwencji zadziałania. To właśnie granica między encyklopedycznym opisem architektury a nieuprawnioną instrukcją.

Studium I: Polska — co rzeczywiście pozyskano?

Pytanie o stan Polski

Jakie stany pozyskania AIM-120C-7, C-8, D-3 oraz AMRAAM o nieujawnionym wariancie przez Polskę można wykazać publicznie na 7 września 2026 r., nie zamieniając zgody eksportowej w dostawę ani braku komunikatu w dowód nieistnienia zdarzenia?

Hipotezy pozyskania

H1: liczba w notyfikacji DSCA jest liczbą dostarczonych i gotowych bojowo pocisków.

H2: kontrakt produkcyjny USA, w którym wymieniono Polskę, identyfikuje polski wariant i alokację.

H3: wiarygodny stan można uzyskać tylko jako automat etapów, w którym każdy skok wymaga osobnego dowodu.

Pierwsze dwie hipotezy są kuszące, ale niezgodne z treścią dokumentów. Trzecia jest przyjmowanym modelem.

Źródła i model automatu

Automat ma stany:

notyfikacja → {deklarowany zakup | LOA/umowa} → przydział produkcyjny → dostawa → integracja → gotowość.

„Notyfikacja” oznacza zatwierdzenie możliwej sprzedaży i zawiadomienie Kongresu. „Deklarowany zakup” oznacza urzędowe stwierdzenie, że zakup nastąpił, nawet gdy komunikat nie identyfikuje dokumentu LOA/umowy, wariantu albo pełnej konfiguracji; nie jest automatycznie równoważny jawnemu rekordowi umowy. „LOA/umowa” oznacza zawarte zobowiązanie potwierdzone jako takie, przy czym jawny komunikat może nie ujawniać pełnej liczby i konfiguracji. „Przydział produkcyjny” wymaga przypisania określonej partii lub ilości Polsce. „Dostawa” wymaga dowodu przekazania. „Integracja” wymaga dowodu zgodności z konkretną platformą i baseline'em. „Gotowość” wymaga osobnego stanu operacyjnego, a nie tylko obecności sprzętu.

Źródłami są notyfikacje DSCA 17-55, 24-29 i 25-15, komunikaty MON z 2016, 2024 i 2025 r. oraz komunikat kontraktowy DoD z 31 lipca 2025 r.dsca-c7,dsca-c8,dsca-d3,mon-2016,mon-445,mon-d3,dod-lots

Dane: C-7

Komunikat MON z 20 grudnia 2016 r. potwierdza podpisanie w ramach FMS umów obejmujących uzbrojenie dla polskich F-16, w tym AMRAAM, ale w jawnej treści nie podaje przyrostka ani liczby. Notyfikacja DSCA 17-55 z 28 listopada 2017 r. dotyczyła możliwej sprzedaży do 150 AIM-120C-7 i wyraźnie stwierdzała, że Polska kupowała C-7 wcześniej. Ten sam dokument zaznacza, że notyfikacja nie oznacza zawarcia sprzedaży.mon-2016,dsca-c7

Stan C-7 można więc zapisać jako: wcześniejsze zakupy potwierdzone urzędowo oraz późniejsza notyfikacja limitu do 150. Nie znaleziono publicznego, aktualnego źródła podającego liczbę egzemplarzy dostarczonych w ramach tej notyfikacji, liczbę pozostającą w ewidencji ani liczbę sprawną. Nie wolno zastąpić tej luki liczbą 150.

Dane: C-8

Notyfikacja DSCA 24-29 z 12 marca 2024 r. obejmuje maksymalnie 745 AIM-120C-8, do 16 sekcji naprowadzania C-8 i 50 wyrzutni LAU-129, a także inne elementy wsparcia. Wartość 1,69 mld USD i liczby są górnym oszacowaniem zależnym od finalnych wymagań, środków i podpisanych umów. Dokument nie jest polską umową i nie raportuje dostawy.dsca-c8

Do 7 września 2026 r. w przejrzanych oficjalnych komunikatach nie znaleziono potwierdzenia zawartej przez Polskę umowy na C-8, przydziału ilości, dostawy, zakończonej integracji ani gotowości. Zdanie to opisuje wynik kwerendy, nie stan ontologiczny. Brak znalezionego komunikatu nie dowodzi, że umowa nie istnieje; dowodzi tylko, że nie wolno jej uznać za wykazaną w tej monografii.

Dane: AMRAAM, wariant nieujawniony — 445

W komunikacie „Modernizacja SZ RP to nasz priorytet” z 2 grudnia 2024 r. MON przytoczyło deklarację wiceministra Pawła Bejdy: „tych pocisków kupiliśmy 445 sztuk w tym roku”. Ten sam akapit planuje dostawy tych AMRAAM na lata 2028–2030 i wskazuje ich przeznaczenie dla samolotów F-16, F-35 oraz FA-50.mon-445

Komunikat nie ujawnia przyrostka AMRAAM ani dokumentu umowy, z którego wynika liczba 445. Poprawny rekord brzmi: AMRAAM, wariant nieujawniony → deklarowany zakup 445 → plan dostaw 2028–2030 → przeznaczenie F-16/F-35/FA-50. Nie wolno łączyć go mechanicznie z wcześniejszą notyfikacją do 745 C-8, wyprowadzać z niego liczby C-8 ani usuwać opisanej wyżej defensywnej uwagi o braku znalezionego oficjalnego potwierdzenia umowy C-8.

Dane: D-3

Notyfikacja DSCA 25-15 z 29 kwietnia 2025 r. obejmowała możliwą sprzedaż 400 AIM-120D-3, 16 sekcji naprowadzania D-3 oraz jednego Instrumented Test Vehicle. Maksymalna wartość wynosiła 1,33 mld USD, a DSCA ponownie zastrzegła, że rzeczywista wartość zależy od finalnych wymagań, budżetu i podpisanych umów.dsca-d3

Następny stan został osiągnięty 27 listopada 2025 r.: MON potwierdziło zawarcie umowy międzyrządowej na AIM-120D-3 dla polskich F-35A. Jawny komunikat podaje wartość około 500 mln USD netto i plan dostaw w latach 2030–2031, ale nie podaje liczby pocisków. Nie należy więc wstawiać do umowy liczby 400 z wcześniejszej notyfikacji. Plan dostaw nie jest dowodem dostawy, a wskazanie przeznaczenia dla F-35 nie jest dowodem ukończonej integracji polskiego baseline'u ani osiągnięcia gotowości.mon-d3

Dane: Lots 39–40

31 lipca 2025 r. DoD ogłosił kontrakt o maksymalnej wartości 3,5 mld USD na produkcję AMRAAM w partiach 39 i 40. Polska znajduje się wśród odbiorców FMS, ale jawny rekord nie podaje wariantu ani polskiej alokacji. Kontrakt wspiera wniosek o uczestnictwie Polski w zbiorczym strumieniu produkcyjnym, nie pozwala przypisać liczby C-8 lub D-3 ani połączyć go jednoznacznie z umową MON z listopada.dod-lots

Macierz stanów na 7 września 2026 r.

Konfiguracja Najwyższy wykazany stan i nierozwiązana luka
C-7 Wcześniejsze zakupy + notyfikacja do 150. Brak publicznej aktualnej liczby dostarczonych i sprawnych egzemplarzy.
C-8 Notyfikacja do 745, do 16 guidance sections i 50 LAU-129. Nie znaleziono oficjalnego dowodu polskiej umowy, dostawy, integracji ani gotowości.
AMRAAM, wariant nieujawniony Deklarowany przez MON zakup 445 w 2024 r.; plan dostaw 2028–2030 i przeznaczenie dla F-16, F-35 oraz FA-50. Brak podstaw do utożsamienia tego rekordu z C-8, przypisania przyrostka lub uznania planu za wykonaną dostawę.
D-3 Notyfikacja do 400; następnie umowa MON ok. 500 mln USD netto, plan dostaw 2030–2031. Brak liczby w jawnej umowie i brak dowodu dostawy, integracji lub gotowości.
Lots 39–40 Polska wymieniona jako odbiorca FMS; brak wariantu i alokacji. Nie jest to samodzielny dowód przejścia któregokolwiek wiersza do dostawy.

Niepewność i ograniczenia

Dokumenty FMS publikują maksymalny zakres i opisują proces, lecz finalne LOA, aneksy, harmonogramy i ewidencja magazynowa mogą nie być jawne. Terminy planowane mogą się zmieniać. Gotowość zależy także od platformy, OFP, wyrzutni, szkolenia, logistyki, obsługi i zatwierdzonej dokumentacji. Monografia nie ma dostępu do niejawnych rejestrów ani dokumentacji eksploatacyjnej.

Wniosek o polskim stanie

H1 i H2 zostają odrzucone. H3 jest zgodna z dowodami: polski stan należy prowadzić jako automat, a nie pojedynczą liczbę „posiadanych AMRAAM”. Najmocniejszym wykazanym stanem dla D-3 jest umowa z planem przyszłych dostaw; dla C-8 — notyfikacja; dla C-7 — wcześniejsze zakupy i notyfikacja, bez publicznej liczby sprawnych egzemplarzy; dla 445 AMRAAM o nieujawnionym wariancie — urzędowo deklarowany zakup z planem dostaw 2028–2030.

Decyzja konfiguracyjna dla Polski

W bazie encyklopedii należy utrzymać cztery osobne rekordy: C-7, C-8, D-3 oraz AMRAAM, wariant nieujawniony → deklarowany zakup 445 → plan 2028–2030. Liczb 150, 745, 400 i 445 nie wolno agregować jako polskiego zapasu ani przenosić między rekordami. Przy D-3 pole „liczba w umowie” pozostaje „nieujawniona w komunikacie MON”, przy C-8 „umowa” — „niepotwierdzona w znalezionym oficjalnym źródle”, a przy rekordzie 445 pole „wariant” — „nieujawniony”. Pola „dostawa/gotowość” pozostają „niewykazane publicznie na dzień kontroli”.

Regresja stanu polskiego

Rekordy trzeba ponownie kontrolować po każdym z następujących zdarzeń: publikacja LOA lub komunikatu o umowie C-8, oficjalne ujawnienie wariantu lub dokumentu umowy dla zakupu 445, potwierdzenie dostaw planowanych na lata 2028–2030, ujawnienie alokacji Lots 39–40, pierwsza potwierdzona dostawa D-3, komunikat o integracji z polskim F-35/OFP albo ogłoszenie gotowości. Każda aktualizacja zmienia tylko odpowiedni stan; nie może przepisać wstecz treści notyfikacji ani automatycznie uzupełnić innych konfiguracji.

Platforma, OFP, wyrzutnia i środowisko startu

Pocisk lotniczy nie rozpoczyna działania jako samodzielny obiekt. Przed odłączeniem jest częścią większego systemu: platforma ustala własny stan, tworzy lub odbiera track celu, przeprowadza identyfikację według reguł systemu, wybiera uzbrojenie, przekazuje inicjalizację i nadzoruje status interfejsu. Dopiero zgodna kombinacja platformy, oprogramowania misji, wyrzutni i pocisku może być przedmiotem próby integracyjnej.

Pełna teoria tej warstwy została omówiona w monografiach Integracja pocisku z wyrzutnią i platformą, Łącza danych i system naziemny, Magistrale pokładowe i integralność danych oraz Zarządzanie konfiguracją systemu rakietowego. Dla AIM-120 wystarczą cztery konsekwencje.

Po pierwsze, zgodność mechaniczna nie jest zgodnością funkcjonalną. Geometria zawieszenia, wytrzymałość, oddzielenie i obciążenia środowiskowe są konieczne, lecz nie mówią, czy OFP rozpoznaje dany wariant i poprawnie wymienia z nim dane. Po drugie, OFP jest częścią baseline'u. Ten sam typ F-16 lub F-35 może mieć różne wersje oprogramowania, wyposażenia i dopuszczeń. Po trzecie, wyrzutnia jest interfejsem systemowym, a nie bierną szyną. Notyfikacja 24-29 wymienia dla Polski 50 LAU-129 jako osobną pozycję, co potwierdza znaczenie tej warstwy, lecz sama lista nie ujawnia konfiguracji elektrycznej ani zakresu integracji.dsca-c8 Po czwarte, środowisko startu zmienia problem: oddzielenie z komory wewnętrznej, spod skrzydła i z wyrzutni naziemnej ma inne warunki początkowe i inne elementy systemu dowodzenia.

Publiczne źródła potwierdzają rodzinne integracje z F-15, F-16, F/A-18, F-22 i F-35. Nie należy jednak czytać listy platform jako certyfikatu wszystkich kombinacji wariantów. Karta NAVAIR wymienia typy używane przez USA, a RTX szerszą listę integracji międzynarodowych. Są to twierdzenia na poziomie rodziny i produktu.navair-product,rtx-product

Próba F-35A z 30 października 2013 r., opisana dzień później przez USAF, dostarcza znacznie węższego dowodu. Samolot AF-6 wykrył i wskazał bezzałogowy cel, przekazał track do pocisku, dokonał startu z komory wewnętrznej i zapewniał aktualizacje śródtorowe przez łącze. Pocisk przejął cel, a przed zniszczeniem celu otrzymał sygnał samozniszczenia dla zachowania obiektu próbnego. Był to pierwszy taki test F-35A i sam komunikat nazywa go wstępną demonstracją, po której miały następować dalsze próby.usaf-f35 Dowód obejmuje datowaną integrację F-35A z użytym wówczas egzemplarzem i konfiguracją, nie D-3, F3R, SIP-3F, polski F-35A ani stan z 2026 r.

F-16 jest w oficjalnych kartach platformą rodziny AMRAAM, a polskie komunikaty potwierdzają zakupy uzbrojenia AMRAAM dla polskich F-16. Komunikat MON z 2 grudnia 2024 r. wskazuje F-16, F-35 i FA-50 jako planowane platformy dla rekordu 445 AMRAAM o nieujawnionym wariancie. To nadal nie podaje bieżącego OFP, liczby sprawnych efektorów ani pełnego zestawu dopuszczonych przyrostków dla każdej platformy.navair-product,mon-2016,mon-445

NASAMS wymaga osobnej ostrożności. RTX stwierdza, że bazowy AMRAAM jest używany w NASAMS bez modyfikacji pocisku i może pełnić rolę lotniczą lub naziemną. Jest to źródło producenta dla własnej integracji produktowej. Nie oznacza, że start naziemny powtarza architekturę F-16 czy F-35: inne są platforma sensoryczna, centrum kierowania, launcher, interfejs i środowisko początkowe. Jeszcze dalej leży AMRAAM-ER — odrębny efektor z większym silnikiem i zoptymalizowanym sterowaniem, projektowany do obrony naziemnej.rtx-product

Wspólna karta konfiguracji dla użycia naziemnego musi więc nadal zawierać dokładny efektor, software, wersję NASAMS, centrum dystrybucji ognia, radar lub inne źródło tracku, wyrzutnię, rodzaj próby i wymaganie. Sama wspólność nazwy „AMRAAM” nie wypełnia żadnego z tych pól.

ITV, AAVI, AIU i NDI-AIU: nazwy artykułów testowych bez dopisywania konstrukcji

Artykuł bojowy i artykuł testowy nie są tym samym rekordem konfiguracji. Publiczne dokumenty używają kilku podobnych skrótów, ale nie pozwalają zlać ich w jeden „pocisk telemetryczny”.

ITV w DSCA 25-15 — Instrumented Test Vehicle. Notyfikacja dla Polski wymienia dosłownie jeden AIM-120 AMRAAM Instrumented Test Vehicle. Odrębna checklista USAF używa tego samego skrótu ITV dla innej nazwy: Integration Test Vehicle. Są to dwa udokumentowane użycia skrótu, których nie należy pozornie uzgadniać ani używać do wzajemnego rozszerzania znaczenia. Żaden z tych zapisów nie ujawnia kompletnej budowy ani programu użycia polskiej pozycji DSCA.dsca-d3,fms-checklist

AAVI — AMRAAM Air Vehicle Instrumented. Checklist USAF rozwija skrót jako instrumentowany pojazd powietrzny AMRAAM, a memorandum DSCA 25-114 utrzymuje osobne pozycje materiałowe dla AAVI i ITV w konfiguracjach C-8 oraz D-3. To dowodzi, że nazwy nie są wymienne. Nie dowodzi, które sekcje zastąpiono, jakie kanały pomiarowe zastosowano ani czy artykuł jest reprezentatywny dla każdej funkcji bojowej.fms-checklist,dsca-25114

AIU — AMRAAM Instrumentation Unit. Checklist podaje rozwinięcie nazwy i wymienia AIU wśród możliwych zasobów testowych. Sam spis nie opisuje konstrukcji, przepływu danych ani relacji do konkretnego ITV/AAVI. Dlatego AIU należy pozostawić jako nazwę jednostki instrumentacyjnej, bez przypisywania jej funkcji na podstawie skrótu.fms-checklist

AMRAAM NDI–Airborne Instrumented Unit (AIU) telemetry set. Taką dosłowną nazwę podaje Congressional Record; tekst nie rozwija osobno członu NDI, więc nie należy składać jego znaczenia z terminologią innego dokumentu. W konkretnym eksporcie zestaw zastępował część bojową i umożliwiał zabezpieczone próby telemetryczne, pozostając pod kontrolą rządu USA lub amerykańskiego wykonawcy obronnego. Jest to opis tej pozycji i tego zakresu eksportowego, nie uniwersalna definicja wszystkich AIU, ITV i AAVI.ndi-aiu

Wniosek konfiguracyjny jest prosty: dla każdego artykułu testowego trzeba prowadzić osobny rekord nazwa → wariant → zastąpione/zmienione elementy, jeżeli ujawnione → platforma → cel próby → reprezentatywność → ograniczenia. Gdy źródło tylko wymienia nazwę, pola konstrukcji i reprezentatywności pozostają nieznane. Nie wolno uzupełniać ich przez analogię do innego eksportu.

Studium II: syntetyczny łańcuch niepewności nosiciel–INS–datalink–seeker

Pytanie modelu niepewności

Czy prosty, jawnie syntetyczny budżet niepewności może pokazać, dlaczego poprawa jednego elementu nie gwarantuje domknięcia całego łańcucha oraz jak zmiana czasu i INS wpływa na decyzję modelową?

Hipotezy modelu

H1: największy składnik odchylenia standardowego musi odpowiadać za większość całkowitego błędu liczonego liniowo.

H2: jeżeli wszystkie składniki są niezależne i wyrażone w tej samej fikcyjnej jednostce, można połączyć ich wariancje metodą RSS.

H3: wynik takiego rachunku opisuje rzeczywistą obwiednię AIM-120.

H2 jest założeniem roboczym studium. H1 jest błędna, bo udziały liczy się w wariancji. H3 jest wykluczona przez konstrukcję modelu.

Źródła i model RSS

Ogólna zasada propagacji niepewności pochodzi z GUM: dla nieskorelowanych wejść wariancje mogą być sumowane z odpowiednimi współczynnikami wrażliwości; przy korelacjach potrzebne są wyrazy kowariancyjne.gum Lokalna monografia o rachunku niepewności wspiera dydaktykę rozróżnienia odchylenia, wariancji i założeń modelu.uncertainty

Wszystkie dane poniżej są fikcyjne i znormalizowane. Jednostka u nie odpowiada rzeczywistemu czasowi, odległości, kątowi, zasięgowi, geometrii ani parametrowi AIM-120. Składniki są skalarami sprowadzonymi do jednej osi abstrakcyjnego budżetu niepewności przewidywanego obszaru przejęcia:

  • $\sigma_T$ — niepewność estymaty stanu celu;
  • $\sigma_t$ — ekwiwalent niepewności synchronizacji/aktualności;
  • $\sigma_F$ — niepewność transformacji ramy i interfejsu;
  • $\sigma_I$ — niepewność przypisana propagacji INS;
  • $\sigma_D$ — niepewność przypisana dostarczeniu/wykorzystaniu aktualizacji danych;
  • $b$ — syntetyczny składnik obciążenia stałego lub rezerwy, dodawany liniowo po podwojeniu $\sigma_B$;
  • $G$ — syntetyczna granica akceptacji.

Przy założeniu niezależności:

$$\sigma_B = \sqrt{\sigma_T^2+\sigma_t^2+\sigma_F^2+\sigma_I^2+\sigma_D^2},$$

oraz przyjęte kryterium dydaktyczne:

$$C = 2\sigma_B+b \leq G.$$

Nie jest to ujawnione kryterium przejęcia seekera ani wymaganie systemowe AMRAAM.

Dane początkowe i rachunek

Przyjmujemy:

Składnik Wartość syntetyczna
$\sigma_T$ 0,30 u
$\sigma_t$ 0,24 u
$\sigma_F$ 0,20 u
$\sigma_I$ 0,35 u
$\sigma_D$ 0,18 u
$b$ 0,40 u
$G$ 1,50 u

Suma wariancji wynosi:

$$0{,}30^2+0{,}24^2+0{,}20^2+0{,}35^2+0{,}18^2 =0{,}3425 \mathrm{u}^2.$$

Stąd:

$$\sigma_B=\sqrt{0{,}3425}=0{,}585234995 \mathrm{u} \approx 0{,}585 \mathrm{u},$$

$$C=2\cdot0{,}585234995+0{,}40 =1{,}57046999 \mathrm{u} \approx1{,}570 \mathrm{u}.$$

Ponieważ $1{,}570>1{,}50$, syntetyczne kryterium nie jest spełnione; przekroczenie wynosi około $0{,}070 \mathrm{u}$. Niepewność INS odpowiada za:

$$\frac{\sigma_I^2}{\sigma_B^2} =\frac{0{,}35^2}{0{,}3425} =0{,}357664\approx35{,}8\%$$

całkowitej wariancji. Jest największym pojedynczym udziałem, lecz nie większością. Usunięcie lub poprawa wyłącznie INS nie usuwa automatycznie wpływu celu, czasu, ramy i łącza.

Fikcyjna korekta i drugi rachunek

W drugiej iteracji zmieniamy tylko dwa syntetyczne składniki: $\sigma_t$ z 0,24 do 0,08 u oraz $\sigma_I$ z 0,35 do 0,25 u. Pozostałe wartości, $b$ i $G$, pozostają bez zmian.

$$\sigma_{B,2}=\sqrt{0{,}30^2+0{,}08^2+0{,}20^2+0{,}25^2+0{,}18^2} =\sqrt{0{,}2313} =0{,}480936586 \mathrm{u} \approx0{,}481 \mathrm{u},$$

$$C_2=2\cdot0{,}480936586+0{,}40 =1{,}36187317 \mathrm{u} \approx1{,}362 \mathrm{u}.$$

Kryterium dydaktyczne jest spełnione z marginesem:

$$G-C_2=1{,}50-1{,}36187317 =0{,}13812683 \mathrm{u} \approx0{,}138 \mathrm{u}.$$

Wynik pokazuje efekt łącznej korekty dwóch źródeł, nie przewagę konkretnej technologii. W modelu nie oblicza się prawdopodobieństwa przejęcia ani skuteczności.

Niepewność i ograniczenia modelu

RSS jest poprawne w tej postaci tylko przy założeniu niezależności, linearyzacji i zgodnej skali. W realnym łańcuchu składniki mogą być skorelowane. Błąd czasu wpływa równocześnie na propagację tracku celu i transformację stanu; inicjalizacja INS może dzielić błąd nosiciela; datalink może przenosić dane wyprowadzone z tego samego sensora. Wówczas wariancja zawiera także wyrazy $2\operatorname{cov}(x_i,x_j)$, a dodatnia korelacja może zwiększyć wynik.

Model nie obejmuje błędnej identyfikacji celu, pomylenia tracku, utraty ciągłości oznaczenia, nieliniowości manewru, rozkładu o ciężkich ogonach, awarii wspólnej, ograniczeń energii, obserwowalności seekera ani błędu modelu. Szczególnie brak modelu błędnego ID oznacza, że mała kowariancja geometryczna nie gwarantuje poprawnego celu. Skalar u nie jest przelicznikiem na rzeczywiste jednostki.

Wniosek z rachunku RSS

H1 zostaje odrzucona: 0,35 u jest największym odchyleniem składowym, ale daje około 35,8% wariancji. H2 jest warunkowo użyteczna przy jawnych założeniach. H3 zostaje odrzucona: liczby niczego nie mówią o rzeczywistym AIM-120.

Decyzja konfiguracyjna modelu

Decyzja może dotyczyć wyłącznie modelu dydaktycznego: pierwsza fikcyjna konfiguracja nie spełnia umownej granicy, druga ją spełnia. Nie wolno na tej podstawie zmieniać wymagania, parametru pocisku, procedury użycia ani oceniać wariantu bojowego.

Regresja rachunku

Arkusz modelu powinien automatycznie sprawdzać: zgodność jednostek, nieujemność wariancji, sumę 0,3425 u² i 0,2313 u², wyniki 0,585/1,570 oraz 0,481/1,362, udział INS 35,8% i znaki obu marginesów. Wprowadzenie korelacji wymaga zastąpienia skalarnego RSS pełną macierzą kowariancji i ponownego zdefiniowania decyzji.

Studium III: granica przenoszenia dowodu

Pytanie o transfer dowodu

Czy wspólny komponent, nazwa rodziny albo program F3R pozwala przenieść wynik próby między D-3 na F/A-18F, C-8 na F-15C, historycznym F-35A, NASAMS i AMRAAM-ER?

Hipotezy przenoszenia dowodu

H1: skoro C-8 i D-3 korzystają z F3R, pozytywny test jednego certyfikuje drugie.

H2: skoro AMRAAM był testowany z F-35A, późniejszy D-3 jest automatycznie zintegrowany z każdą flotą F-35A.

H3: wspólność elementu pozwala na ograniczone twierdzenie komponentowe, ale nowe zestawienie systemowe wymaga własnego dowodu integracji i prób.

Źródła i model porównania

Macierz ma siedem osi:

efektor HW → software → platforma/OFP → launcher → środowisko startu → rodzaj próby → wymaganie.

Jeśli dwa rekordy różnią się na choć jednej osi istotnej dla badanego wymagania, wynik można przenieść tylko po wykazaniu, że różnica nie wpływa na to wymaganie. Jest to zasada dowodzenia, nie twierdzenie o konkretnej metodzie certyfikacji służb.

Dane: pięć rekordów

Rekord Łańcuch konfiguracji i dokładna granica dowodu
D-3/F3R, F/A-18F HW D-3 po F3R → software w komunikacie nieoznaczone → F/A-18F/OFP niepodany → interfejs lotniczy tej próby → start z nosiciela nad poligonem morskim → rozwojowa próba swobodnego lotu 12.05.2021 → wykazano w tej próbie bezpieczne oddzielenie, autopilot separacji i nawigację; nie gotowość F-35.navair-d3
C-8, F-15C HW C-8/F3R → rehost legacy software, dokładny pakiet niepodany → F-15C/OFP niepodany → lotniczy interfejs próby → start powietrzny → pierwsza próba lotna ogłoszona 01.09.2023, cel powietrzny zniszczony, cele główne spełnione → dowód C-8 na F-15C, nie D-3 i nie polski kontrakt.rtx-c8
F-35A, 2013 Ówczesny wariant AIM-120 niepodany → software niepodany → F-35A AF-6 w Integrated Test Facility → komora wewnętrzna/interfejs tej próby → start powietrzny 30.10.2013 → pierwsza demonstracja live-fire, przekazanie tracku i mid-course updates → nie dowodzi D-3, C-8 ani baseline'u 2026.usaf-f35
NASAMS, bazowy AMRAAM Dokładny przyrostek zależny od konfiguracji → software niepodany na stronie produktu → NASAMS/konfiguracja niepodana → launcher naziemny → start z ziemi → strona producenta potwierdza rolę bazowego efektora bez modyfikacji → dowód produktowy, nie certyfikat każdej wersji NASAMS.rtx-product
AMRAAM-ER Odrębny HW z większym silnikiem i zoptymalizowanym sterowaniem → software niepodany → NASAMS → launcher naziemny → start z ziemi → producent opisuje integrację i próbę kompletnego systemu → nie wolno dziedziczyć konfiguracji C-8/D-3.rtx-product

Macierz ujawnia, że dwa pierwsze rekordy łączy program F3R i praca nad guidance hardware, lecz różnią się wariantem, platformą i dowodem lotnym. Trzeci ma wspólną rodzinę i platformę istotną dla przyszłych polskich D-3, ale jest wcześniejszy o lata i nie identyfikuje D-3. Czwarty zmienia cały łańcuch platformy oraz środowisko startu. Piąty zmienia także efektor.

Niepewność i ograniczenia transferu

Komunikaty publiczne nie podają OFP, numerów seryjnych, kompletnej konfiguracji software'u, pełnej reprezentatywności celu ani kryteriów zaliczenia. Producent i administracja publikują tylko część rezultatów. „Cele główne spełnione” nie ujawnia ich treści. Nie wiadomo publicznie, które wyniki są dziedziczone formalnie w programie i z jakimi analizami podobieństwa.

Wniosek o transferze

H1 i H2 zostają odrzucone. H3 utrzymuje się: wspólny program F3R wspiera ograniczone twierdzenie, że w guidance section C-8 i D-3 zastosowano rezultaty odświeżenia i rehostingu. Nie certyfikuje wymiany efektora, software'u, platformy, OFP, launchera ani środowiska startu.

Decyzja macierzy dowodowej

Każdy z pięciu rekordów pozostaje osobnym baseline'em. Dowód można cytować tylko przy polu, które obejmuje: próbę F/A-18F przy wymaganiu separacji/nawigacji D-3, próbę F-15C przy C-8, próbę z 2013 r. przy historycznej integracji F-35A, stronę produktu przy produktowym twierdzeniu o NASAMS i osobny rekord przy AMRAAM-ER.

Regresja granic dowodu

Przy dodaniu nowego wariantu lub platformy należy automatycznie wymagać siedmiu pól macierzy. Brak OFP albo software'u nie blokuje zapisania zdarzenia, ale oznacza pole „niepodane” i ogranicza możliwość porównania. Test regresyjny redakcji powinien wykrywać zdania, które łączą ukośnikiem F3R/D-3/SIP-3F albo używają próby F-35 z 2013 r. jako dowodu współczesnej polskiej gotowości.

Próba, produkcja, fielding i gotowość nie są jednym kalendarzem

Chronologia techniczna potrzebuje typów zdarzeń, ponieważ ta sama data nie może odpowiadać jednocześnie konstrukcji, próbie i gotowości. W odniesieniu do AMRAAM publicznie widoczne są co najmniej następujące kategorie:

Rodzaj zdarzenia Co wolno z niego wnioskować
Próba rozwojowa Konkretny artykuł i konfiguracja wykonały określone zadanie w warunkach próby; nie oznacza fieldingu.
Kontrakt produkcyjny Zamówiono pracę lub produkcję w opisanym zakresie; nie dowodzi dostawy ani alokacji, jeśli ich nie podano.
IOC/fielding Organ uznał określony baseline za wdrożony według własnego procesu; nie aktualizuje automatycznie flot eksportowych.
Zgoda eksportowa Administracja dopuściła możliwą sprzedaż w maksymalnym zakresie; transakcja może zostać zmieniona lub niezawarta.
LOA/umowa Powstało zobowiązanie o jawnym lub częściowo niejawnym zakresie; nadal pozostają produkcja i dostawa.
Dostawa Sprzęt przekazano odbiorcy; nie dowodzi pełnej integracji ani gotowości.
Integracja Zgodność konfiguracji została wykazana w określonym zakresie; nie musi oznaczać gotowości operacyjnej.
Gotowość Konkretny użytkownik osiągnął zadeklarowany stan zdolności; wymaga oddzielnego dowodu.

W tym języku daty układają się bez pozornych sprzeczności. Wczesne IOC przypadały w źródłach na lata 1991–1993. Fielding C-7 zatwierdzono w grudniu 2007 r. Pierwszy live-fire F-35A odbył się 30 października 2013 r. Pierwszą z pary wczesnych prób swobodnego lotu D-3 przeprowadzono 9 grudnia 2020 r., drugą 12 maja 2021 r. Próby zintegrowane SIP-3F zakończono w maju 2023 r., pierwszy test lotny C-8 ogłoszono 1 września 2023 r., raport FOT&E SIP-3F powstał w styczniu 2024 r., a fielding nastąpił w marcu 2024 r. Polska notyfikacja C-8 nosi datę 12 marca 2024 r.; 2 grudnia 2024 r. MON zadeklarowało zakup 445 AMRAAM o nieujawnionym wariancie, z planem dostaw 2028–2030; notyfikacja D-3 nosi datę 29 kwietnia 2025 r., kontrakt Lots 39–40 — 31 lipca 2025 r., a umowa MON D-3 — 27 listopada 2025 r.navair-product,usaf-fy09,usaf-f35,navair-d3,dote-fy23,rtx-c8,dote-fy24,dsca-c8,mon-445,dsca-d3,dod-lots,mon-d3

Każde zdanie zachowuje typ zdarzenia. Na przykład „SIP-3F fielded in March 2024” dotyczy amerykańskiego programu opisanego przez DOT&E, nie polskiej gotowości D-3. „Deliveries planned for 2030–2031” w komunikacie MON jest planem przyszłym, nie raportem logistycznym.

Zarządzanie zmianą i regresją baseline'u

Program F3R jest dobrym przykładem, dlaczego zarządzanie konfiguracją nie jest biurokratycznym dodatkiem. Odświeżenie komponentów może zmienić opóźnienia, marginesy obliczeniowe, zachowanie interfejsów, termikę, zasilanie, firmware i sposób wykonania odziedziczonego kodu. Nawet przy zachowaniu deklarowanego form-fit-function system wymaga dowodu, że nowa realizacja nie narusza poprzednich funkcji.

DOT&E FY2023 dostarcza rzadkiego jawnego śladu tej dynamiki: zmiany software'u i firmware'u podczas prób sprawiły, że część wcześniejszych zdarzeń nie była reprezentatywna dla wersji końcowej. To uzasadnia trzy warstwy regresji:

  • komponentową — nowe karty, procesory i firmware spełniają swoje wymagania;
  • efektora — rehostowane oprogramowanie, INS, seeker, guidance, autopilot, zasilanie i sekcje współdziałają;
  • systemową — pocisk działa z daną platformą/OFP, launcherem i źródłem danych w wymaganym środowisku.

Nie każdy test musi zostać powtórzony identycznie; dopuszczalność dziedziczenia jest jednak twierdzeniem, które samo wymaga argumentu podobieństwa i śladu konfiguracji. W publicznej encyklopedii, gdy takiego argumentu nie ujawniono, należy pisać „niewykazane publicznie”, a nie „na pewno nietestowane”.

Rekord zmian powinien przechowywać co najmniej: identyfikator wariantu, wersję hardware'u, software/firmware, platformę i OFP, launcher, datę kompilacji lub zatwierdzenia jeśli publiczna, konfigurację artykułu próbnego, środowisko, wymagania, odstępstwa, wyniki i decyzję. Dokładna konfiguracja AIM-120 jest niejawna, lecz sama struktura ewidencji jest uniwersalną praktyką inżynierii systemów.

Określenie field reprogrammable z karty ACC należy również ograniczyć. Dowodzi, że warianty B, C i D zaprojektowano jako reprogramowalne w polu. Nie ujawnia procedury ładowania, uprawnień, interfejsu, kryptografii, zawartości pakietów ani tego, że dowolny software pasuje do dowolnego hardware'u.acc Szersze omówienie znajduje się w Programowanie, pamięć i ładowanie konfiguracji.

Granice jawności, obsługa i bezpieczeństwo EOD

Monografia świadomie nie publikuje rzeczywistych LAR/NEZ, zasięgów przejęcia, charakterystyk emisji, częstotliwości, kodowania i ramek łącza, kątów lub bramek przejęcia, algorytmów ECCM i wyboru celu, współczynników naprowadzania, timingów, procedur bojowych, pinoutów ani sekwencji uzbrajania. Nie są one potrzebne do wykazania tezy o baseline'ie i łańcuchu niepewności.

Nie podaje się także instrukcji montażu, testowania, transportu, uzbrajania, rozbrajania, diagnostyki lub postępowania z uszkodzonym pociskiem. Informacje o obsłudze naziemnej są przeznaczone wyłącznie dla uprawnionego personelu, pracującego według bieżącej, zatwierdzonej dokumentacji właściwej dla dokładnego wariantu, platformy, wyrzutni i stanu technicznego. Historyczna instrukcja, zdjęcie albo karta produktu nie zastępuje takiej dokumentacji.

Ostrzeżenie EOD: znalezionego pocisku, jego fragmentu ani przedmiotu przypominającego element uzbrojenia nie wolno dotykać, zbliżać się do niego, przemieszczać ani przy nim manipulować. Należy się oddalić, ograniczyć dostęp innych osób z bezpiecznego miejsca i powiadomić numer 112 lub Policję. Dalsze rozpoznanie, zabezpieczenie, transport i neutralizację trzeba pozostawić wyspecjalizowanym zespołom EOD/saperskim. Nawet obiekt uszkodzony, skorodowany lub wyglądający na szkolny należy traktować jako niebezpieczny do czasu oceny przez uprawnione służby.eod

Bezpieczeństwo źródłowe i fizyczne mają wspólną zasadę: nie uzupełniać niewiedzy działaniem na obiekcie. Brak oznaczenia nie upoważnia do manipulacji, tak jak brak publicznego numeru konfiguracji nie upoważnia do przypisania cechy.

Bibliografia i rejestr źródeł

Zakres każdego wpisu jest częścią cytowania: źródła nie należy używać szerzej, niż pozwalają jego przedmiot, data i wskazany lokalizator.

Macierz twierdzeń końcowych

Status Twierdzenia i granice
Wykazane Zdolność trzeba przypisywać datowanemu baseline'owi, bo źródła rozdzielają warianty, hardware, software, platformy i etapy prób. Publicznie wykazano ogólny łańcuch inertial reference/INS–datalink–aktywny radar monopulsowy; cztery sekcje; TDD w guidance section; boost–sustain; cztery aktuatory; reprogramowalność B/C/D; GPS-aided navigation i dwukierunkowe łącze dla D na poziomie publicznego opisu. F3R jest programem refresh/rehost dla D-3 i C-8, a nie wariantem ani pakietem software. SIP-3F został wdrożony w marcu 2024 r. w opisanym programie. MON zadeklarowało zakup 445 AMRAAM o nieujawnionym wariancie, z planem dostaw 2028–2030 dla F-16, F-35 i FA-50.
Warunkowe Wspólny hardware lub F3R pozwala przenieść tylko twierdzenie komponentowe, jeżeli zakres źródła obejmuje oba warianty. Bazowy AMRAAM może być używany lotniczo i w NASAMS według producenta, lecz dokładna konfiguracja systemowa wymaga własnej karty. Model RSS jest poprawny dydaktycznie tylko przy niezależności, wspólnej skali i braku istotnych nieliniowości. Aktualna karta ACC opisuje +5/SCAS od C-7, ale historyczne dokumenty lokują wydłużony silnik już w C-5.
Niewykazane publicznie Rzeczywiste LAR/NEZ, zasięg terminalnego przejęcia, parametry emisji i łącza, bramki, timing, algorytmy ECCM/HOJ/wyboru celu, współczynniki guidance, szczegółowy downlink, pinouty, procedury bojowe i sekwencje uzbrajania. Nie wykazano jednego wspólnego software'u C-8 i D-3, budowy ITV/AAVI/AIU na podstawie samych list, automatycznej integracji D-3 z polskim F-35 ani liczby sprawnych polskich C-7. Nie ujawniono wariantu 445 zakupionych AMRAAM i nie ma podstaw do przypisania tej liczby C-8. Nie znaleziono oficjalnego dowodu polskiej umowy, dostawy lub gotowości C-8; nie jest to dowód nieistnienia umowy.
Wymagające ponownej kontroli Polska umowa/alokacja/dostawa C-8; wariant, podstawa umowna i dostawy 2028–2030 rekordu 445 AMRAAM; alokacja Polski w Lots 39–40; liczba D-3 w umowie i dostawy planowane na 2030–2031; integracja oraz gotowość polskich F-35; raport po analizie FOT&E SIP-4 dla D-3 i oceny cyber survivability SIP-3 Tape 2/SIP-4; aktualizacje kart NAVAIR/ACC/RTX; rozstrzygnięcie źródłowe zakresu +5 na poziomie dokumentacji konfiguracji produkcyjnej.

Najważniejszy wniosek nie brzmi „AMRAAM ma seeker aktywny”, lecz: aktywny seeker jest ostatnim sensorem w datowanym łańcuchu informacji i sterowania. Przed nim muszą istnieć zgodne dane nosiciela, inicjalizacja, estymacja INS i interfejs aktualizacji; za nim — guidance, autopilot, sterowanie i detekcja warunku działania. Każdy element może być sprawny osobno, a kombinacja nadal niewykazana. Dlatego nazwa rodziny opisuje pochodzenie produktu, natomiast zdolność opisuje dopiero zamknięty rekord wariant–hardware–software–platforma–interfejs–dowód, z jawną datą, niepewnością i granicą wniosku.