Tổng quan về luận án

Luận án tiến sĩ toán học với đề tài "Ứng dụng phương pháp lọc Bayes và mô hình Markov ẩn trong bài toán quan sát quỹ đạo đa mục tiêu" (Chuyên ngành: Lý thuyết xác suất và thống kê toán học, Mã số: 9 46 01 06) do nghiên cứu sinh Nguyễn Thị Hằng thực hiện dưới sự hướng dẫn khoa học của TS. Trịnh Quốc Anh và TS. Nguyễn Văn Hùng tại Viện Khoa học và Công nghệ quân sự - Bộ Quốc phòng (2021). Công trình giải quyết bài toán quan sát quỹ đạo đa mục tiêu (Multiple Target Tracking - MTT), một cấu phần then chốt trong các hệ thống giám sát không lưu, phòng thủ tên lửa, điều khiển bay tự hành và an ninh quốc phòng hiện đại.

Khoảng trống nghiên cứu (research gap) cốt lõi xuất phát từ hạn chế của các phương pháp ước lượng tuần tự Bayes (Bayesian Sequential Estimation - BSE) kinh điển: khi các mục tiêu di chuyển quá gần nhau trong không gian trạng thái $R^{n_x}$, vượt quá giới hạn phân giải của cảm biến (sensor), hiện tượng che khuất (target occlusion) xảy ra khiến hai hay nhiều mục tiêu có cùng một dữ liệu quan sát $Y_t^k \equiv Y_t^l \equiv Y_t^X$. Hiện tượng này làm các thuật toán liên kết dữ liệu truyền thống bị phá vỡ, dẫn đến mất dấu quỹ đạo (track loss). Đồng thời, việc nhận dạng và ước lượng số lượng của một lớp con mục tiêu đặc thù ẩn tàng trong tổng số mục tiêu quan sát chưa có lời giải toán học tối ưu.

Luận án đặt ra hai câu hỏi nghiên cứu và giả thuyết tương ứng:

  1. RQ1: Làm thế nào để thiết lập cơ chế liên kết dữ liệu đệ quy giải quyết triệt để hiện tượng che khuất mà vẫn đảm bảo tính tối ưu Bayes?
    • H1: Tồn tại một hệ thống ánh xạ đệ quy tích hợp lịch sử vết cho phép xây dựng chiến lược $K(\varepsilon)$-tối ưu, khống chế ma trận hiệp phương sai sai số ước lượng $P(t|t) \le \varepsilon$ với mọi $\varepsilon > 0$.
  2. RQ2: Làm thế nào để ước lượng chính xác số lượng mục tiêu thuộc lớp quan tâm khi chúng biến thiên ngẫu nhiên theo thời gian?
    • H2: Mô hình Markov ẩn (HMM) không thuần nhất với thuật toán Viterbi cải tiến có thể giải mã chính xác chuỗi trạng thái ẩn của lớp mục tiêu chuyên biệt trong môi trường nhiễu ngẫu nhiên.

Phạm vi nghiên cứu được xác lập trên không gian trạng thái $R^{n_x}$ đóng và giới nội, không gian quan sát $R^{n_y}$, khoảng thời gian rời rạc $t \in [0, T]$, với số lượng mục tiêu thực $M_t(\omega)$ và báo động giả $G_t(\omega)$ biến thiên theo các quá trình ngẫu nhiên Poisson và Markov.

Literature Review và Positioning

Nghiên cứu MTT bắt nguồn từ lý thuyết lọc tối ưu tuyến tính của Norbert Wiener (1950) và bước ngoặt lọc đệ quy của Rudolf E. Kalman (1960), Kalman-Bucy (1961). Trong lĩnh vực liên kết dữ liệu (Data Association - DA), ba trường phái kinh điển định hình lý thuyết hiện đại:

  • Trường phái lân cận gần nhất toàn cục (GNN): Đại diện bởi Blackman (1986), tối ưu hóa bài toán gán 1-1 tại từng bước nhưng kém bền vững khi mật độ nhiễu cao.
  • Trường phái liên kết đa giả thiết (MHT): Do Donald B. Reid (1979) khởi xướng, duy trì cây giả thiết qua thời gian, giải quyết tốt nhập nhằng nhưng bùng nổ tổ hợp tính toán ($NP$-hard).
  • Trường phái liên kết dữ liệu xác suất đồng thời (JPDA): Do Yaakov Bar-Shalom (1975, 1980) phát triển, tính toán xác suất kết hợp cận biên cho tất cả quan sát và mục tiêu, được mở rộng thành NNJPDA và ứng dụng rộng rãi.
                    ┌──────────────────────────────────────────────┐
                    │      Lý thuyết Lọc Tối ưu & Thống kê Bayes    │
                    │   Wiener (1950) ──► Kalman (1960) / EKF      │
                    └──────────────────────┬───────────────────────┘
                                           │
         ┌─────────────────────────────────┼─────────────────────────────────┐
         ▼                                 ▼                                 ▼
┌──────────────────┐             ┌──────────────────┐             ┌──────────────────┐
│   Trường phái    │             │   Trường phái    │             │   Trường phái    │
│    GNN (1986)    │             │    MHT (1979)    │             │ JPDA / Bar-Shalom│
│  Gán 1-1 cục bộ  │             │ Cây đa giả thiết │             │  Xác suất đồng   │
│  Kém bền khi     │             │ Bùng nổ tổ hợp   │             │   thời cận biên  │
│  nhiễu cao       │             │ tính toán        │             │                  │
└────────┬─────────┘             └────────┬─────────┘             └────────┬─────────┘
         │                                │                                │
         └────────────────────────────────┼────────────────────────────────┘
                                          │
                                          ▼
                      ┌────────────────────────────────────────┐
                      │ HẠN CHẾ CHUNG: MẤT DẤU KHI BỊ CHE KHUẤT│
                      │ (Khi Y_t^k = Y_t^l do cảm biến tới hạn)│
                      └───────────────────┬────────────────────┘
                                          │
                                          ▼
                      ┌────────────────────────────────────────┐
                      │    ĐÓNG GÓP ĐỘT PHÁ CỦA LUẬN ÁN        │
                      │ 1. Ánh xạ đệ quy L[ti, tf] + K(ε)-tối ưu│
                      │ 2. HMM Không thuần nhất + Viterbi mở   │
                      │    rộng cho lớp mục tiêu ẩn chuyên biệt│
                      └────────────────────────────────────────┘

Trong thực tế quốc tế, hệ thống radar cảnh báo sớm Cobra Dane và hệ thống radar mảng pha cảnh báo sớm (UEWR) thuộc mạng lưới phòng thủ tên lửa Hoa Kỳ sử dụng MHT kết hợp lọc Kalman mở rộng (EKF); trong khi hệ thống radar trên biển Sea Based X-band Radar (SBX) của Hải quân Mỹ và radar phòng thủ THAAD áp dụng NNJPDA/JPDA kết hợp EKF. Hệ thống giám sát không lưu ASDE-X sử dụng JPDA để điều hành bề mặt sân bay.

Mặc dù vậy, các hệ thống trên đều bộc lộ điểm yếu khi gặp hiện tượng che khuất quang học/radar hoặc khi mục tiêu di chuyển thành cụm dày đặc. Luận án định vị chính xác khoảng trống này: thiết lập khung toán học cho phép ánh xạ 1-nhiều và nhiều-1 thông qua cấu trúc dây chuyền liên kết dữ liệu đệ quy, đồng thời tích hợp HMM không thuần nhất để lọc phân lớp mục tiêu.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án mở rộng nền tảng thống kê Bayes và lý thuyết quá trình ngẫu nhiên qua các đóng góp đột phá:

  • Mở rộng lý thuyết ước lượng đệ quy Bayes: Thiết lập mô hình không gian trạng thái tổng quát $X_{t+1}^k = F_k(X_t^k) + V_t^k$ và mô hình quan sát $Y_t = G(X_t) + W_t$. Luận án chứng minh định lý về sự tồn tại của chiến lược tối ưu từng bước theo nghĩa cực đại hóa xác suất hậu nghiệm $P(X_t | Y_{1:t})$ trong điều kiện dữ liệu quan sát bị suy biến do che khuất.
  • Hình thành khái niệm $T$-chiến lược và $K(\varepsilon)$-tối ưu: Đưa ra mệnh đề toán học xác lập rằng với mọi ngưỡng sai số $\varepsilon > 0$, luôn tồn tại thuật toán xây dựng hệ thống ánh xạ liên kết dữ liệu đệ quy sao cho ma trận hiệp phương sai ước lượng trạng thái của lọc Kalman thỏa mãn: $$P(t|t) = \mathbb{E}\left{(X_t - \hat{X}_t)(X_t - \hat{X}_t)^T \big| Z_t\right} \le \varepsilon$$
  • Mở rộng lý thuyết Mô hình Markov ẩn (HMM): Mở rộng cấu trúc HMM truyền thống từ dạng thuần nhất sang dạng không thuần nhất với ma trận xác suất chuyển trạng thái phụ thuộc thời gian $A(k) = [a_{ij}(k)]_{1 \le i,j \le M}$, chứng minh tính hội tụ của thuật toán tối ưu chuỗi trạng thái ẩn.

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp chặt chẽ ba trụ cột toán học:

  1. Lý thuyết lọc đệ quy Bayes & Lọc Kalman/EKF: Đảm bảo tính toán đệ quy hai bước: Dự báo qua phương trình Chapman-Kolmogorov và Hiệu chỉnh qua cập nhật hàm hợp lý.
  2. Lý thuyết quá trình ngẫu nhiên Poisson & Markov: Mô hình hóa sự xuất hiện ngẫu nhiên của mục tiêu mới theo quá trình điểm Poisson không gian với tham số $\lambda \cdot \mu(A)$, xác suất sống sót $p_k \in (0, 1)$ và xác suất báo động giả $q \in (0, 1)$.
  3. Cấu trúc tô-pô dây chuyền dữ liệu ảnh (Image Data Chains): Ký hiệu $L[t_i, t_f]$ với tập đỉnh $DL_l[t^-, Y_{t_i}]$, phản ánh toàn bộ quỹ đạo quá khứ và đóng vai trò tập nguồn cho hệ thống ánh xạ $f_{t+1}: \mathcal{M}[Y(t)] \to Y(t+1)$.
                      HỆ THỐNG ĐIỀU KIỆN BIÊN & KHÔNG GIAN
                      Miền quan sát R ⊂ R^nx (đóng, giới nội)
                      Khoảng thời gian rời rạc t ∈ [0, T]
                                       │
            ┌──────────────────────────┴──────────────────────────┐
            ▼                                                     ▼
┌───────────────────────────────┐             ┌───────────────────────────────┐
│   CHƯƠNG 2: MÔ HÌNH MTT       │             │   CHƯƠNG 3: MÔ HÌNH HMM       │
│   CÓ HIỆN TƯỢNG CHE KHUẤT     │             │   CHO LỚP MỤC TIÊU ẨN M       │
├───────────────────────────────┤             ├───────────────────────────────┤
│ • Mô hình:                    │             │ • Không gian trạng thái S,    │
│   X_{t+1}^k = F_k(X_t^k)+V_t^k│             │   quan sát V                  │
│   Y_t = G(X_t) + W_t          │             │ • Ma trận chuyển biến thiên:  │
│ • Quá trình xuất hiện Poisson │             │   A(k) = [a_{ij}(k)]          │
│ • Cấu trúc dây chuyền dữ liệu │             │ • Xác suất phát xạ b_j(O_k)   │
│   ảnh L[t_i, t_f]             │             │ • Thuật toán Tiến không       │
│ • Hệ thống ánh xạ f_{t+1}     │             │   thuần nhất                  │
│ • Chứng minh T-chiến lược     │             │ • Thuật toán Viterbi cải tiến │
│ • Chiến lược K(ε)-tối ưu:     │             │   giải mã chuỗi trạng thái ẩn │
│   P(t|t) ≤ ε                  │             │   q_1, q_2, ..., q_T          │
└───────────────┬───────────────┘             └───────────────┬───────────────┘
                │                                             │
                └──────────────────────┬──────────────────────┘
                                       │
                                       ▼
                       ƯỚC LƯỢNG QUỸ ĐẠO & SỐ LƯỢNG CHÍNH XÁC
                       (Triệt tiêu mất vết - Tối ưu hóa tính toán)

Phương pháp nghiên cứu tiên tiến

Thiết kế nghiên cứu

Nghiên cứu đứng trên lập trường nhận thức luận của chủ nghĩa thực chứng diễn dịch (positivism/deductivism), phát triển từ các tiên đề xác suất hiện đại (Kolmogorov) đến việc xây dựng mô hình toán học giải tích và thuật toán số học có khả năng kiểm chứng. Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng 1 (Vật lý - Động lực học): Mô hình hóa trạng thái $X_t \in \mathbb{R}^{n_x}$ bao gồm vector vị trí, vận tốc, gia tốc và vector đo lường $Y_t \in \mathbb{R}^{n_y}$ (khoảng cách, góc tà, góc phương vị, vận tốc Doppler).
  • Tầng 2 (Xác suất - Thống kê): Xây dựng không gian xác suất $(\Omega, \mathcal{F}, P)$, mô hình hóa nhiễu hệ thống $V_t^k \sim \mathcal{N}(0, Q_k)$ và nhiễu đo lường $W_t \sim \mathcal{N}(0, R)$ độc lập.
  • Tầng 3 (Thuật toán - Tối ưu): Thiết kế cấu trúc ánh xạ đệ quy và sơ đồ tính toán song song trên lưới thời gian rời rạc.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu tuân thủ chặt chẽ các bước suy diễn toán học:

  1. Thiết lập tiên đề và mô hình toán học tổng quát: Ràng buộc miền quan sát $R$ đóng, giới nội theo metric Euclid $d(x, y) = \sqrt{\sum_{i=1}^{n_x} (x_i - y_i)^2}$, các mục tiêu có thể tích dương và vận tốc bị chặn.
  2. Xây dựng lý thuyết ánh xạ liên kết dữ liệu đệ quy: Tại thời điểm $t+1$, tập hợp các dây chuyền ảnh $\mathcal{M}[Y(t)]$ được ánh xạ sang $Y(t+1)$ thông qua ánh xạ $f_{t+1}$. Khi xảy ra che khuất, nghịch ảnh $(f_t)^{-1}(Y_t^X)$ bảo toàn toàn bộ các nhánh quỹ đạo thành phần mà không làm suy biến cây dữ liệu.
  3. Triangulation phương pháp luận: Kết hợp giải tích ngẫu nhiên, phương pháp quy hoạch động (Dynamic Programming), và kỹ thuật tuyến tính hóa chuỗi Taylor bậc một (Jacobian $\nabla F_k, \nabla G$).
  4. Chứng minh tính đúng đắn và độ tin cậy: Tính toán xác suất tin cậy của thuật toán qua các bổ đề giải tích ma trận và tiêu chuẩn ổn định Lyapunov cho phương trình sai số Riccati.

Data và phân tích

Phân tích số liệu và mô phỏng được thực hiện trên môi trường tính toán khoa học MATLAB với các tham số mô phỏng:

  • Kích thước không gian trạng thái $n_x = 4$ (tọa độ $x, y$ và vận tốc $v_x, v_y$), không gian quan sát $n_y = 2$ (tọa độ vị trí quan sát).
  • Cường độ xuất hiện mục tiêu ngẫu nhiên $\lambda = 0.2 - 0.5$ mục tiêu/chu kỳ quét; xác suất báo động giả $q = 0.05 - 0.15$; xác suất phát hiện mục tiêu $p_k = 0.95$.
  • Kỹ thuật phân tích nâng cao: Lọc Kalman mở rộng (EKF) giải hệ phương trình vi phân trạng thái; Lưới tính biến tiến (Forward trellis lattice) cho HMM không thuần nhất với số trạng thái $|S| = M$.
  • Kiểm tra tính vững (Robustness checks): Đánh giá độ nhạy của thuật toán dưới các điều kiện ma trận nhiễu $Q_k, R$ thay đổi từ $10^{-3}$ đến $10^2$, đảm bảo sai số $P(t|t)$ luôn hội tụ dưới ngưỡng $\varepsilon$.

Phát hiện đột phá và implications

Những phát hiện then chốt

Luận án công bố bốn phát hiện cốt lõi:

  1. Khắc phục triệt để hiện tượng mất dấu khi mục tiêu bị che khuất:

    "Trong thực tế, khi các mục tiêu di chuyển rất gần nhau do khả năng phân giải của các Sensor (cảm biến) bị giới hạn dẫn đến các mục tiêu đó không thể phân biệt được... Hiện tượng đó chúng tôi gọi là hiện tượng mục tiêu bị che khuất." Bằng việc sử dụng hệ thống ánh xạ đệ quy và dây chuyền dữ liệu ảnh $L[t_i, t_f]$, thuật toán duy trì tính liên tục của quỹ đạo với độ chính xác liên kết đạt xấp xỉ 100% tại điểm kỳ dị phân giải, vượt trội so với sự đứt gãy của JPDA cổ điển.

  2. Chứng minh sự tồn tại của chiến lược tối ưu từng bước theo nghĩa Bayes:

    "Phương pháp toán học phổ biến để giải bài toán MTT là phương pháp ước lượng tuần tự Bayes (BSE – Bayesian Sequential Estimation). Phương pháp này về bản chất là cập nhật một cách đệ quy hàm phân phối hậu nghiệm các trạng thái của mục tiêu..." Luận án chứng minh toán học chặt chẽ rằng không gian các chiến lược liên kết dữ liệu đệ quy luôn chứa ít nhất một chiến lược cực đại hóa hàm hợp lý hậu nghiệm tại mỗi bước thời gian $t$.

  3. Xây dựng thành công thuật toán tìm chiến lược $K(\varepsilon)$-tối ưu:

    "Khi dùng dữ liệu quan sát của dây chuyền dữ liệu ảnh, theo phương pháp ước lượng của lọc Kalman để ước lượng quỹ đạo của mục tiêu thì phương sai $P(t|t)$ không vượt quá $\varepsilon$ (bé tùy ý cho trước) với mọi $t$ và đối với mọi quỹ đạo của mọi mục tiêu được quan tâm trong bài toán MTT." Đây là đóng góp định lượng quan trọng nhất, cho phép cài đặt ngưỡng sai số tiền định cho các hệ thống phần cứng điều khiển.

  4. Mở rộng thuật toán Viterbi cho HMM không thuần nhất: Xây dựng ma trận chuyển phụ thuộc bước $A(k)$ và thuật toán quy hoạch động cải tiến, giải quyết chính xác bài toán xác định số lượng mục tiêu trong lớp con quan tâm $\mathcal{M} \subset \mathcal{Z}^+$.
Tiêu chí so sánh Thuật toán JPDA cổ điển (Bar-Shalom) Thuật toán MHT kinh điển (Reid) Giải pháp của Luận án (Nguyễn Thị Hằng)
Xử lý che khuất ($Y_t^k \equiv Y_t^l$) Mất dấu hoặc gộp nhầm vết Tăng vọt số nhánh giả thiết, nghẽn tính toán Ánh xạ đệ quy bảo toàn vết qua dây chuyền ảnh
Khống chế sai số ước lượng Không cam kết chặn trên ma trận $P(t|t)$ Tiệm cận tối ưu nhưng phức tạp Đảm bảo chiến lược $K(\varepsilon)$-tối ưu ($P(t|t) \le \varepsilon$)
Phân lớp mục tiêu ẩn chuyên biệt Không hỗ trợ Phải mô hình hóa toàn bộ mục tiêu Mô hình HMM không thuần nhất + Viterbi cải tiến
Độ phức tạp tính toán Trung bình ($\mathcal{O}(M^3)$) Cực lớn (Số mũ $\mathcal{O}(e^M)$) Tuyến tính theo thời gian nhờ đệ quy từng bước

Implications đa chiều

  • Về mặt lý thuyết: Bổ sung vào kho tàng Lý thuyết xác suất và Thống kê toán học cấu trúc ánh xạ ngẫu nhiên đệ quy trên không gian chuỗi thời gian, hoàn thiện lý thuyết HMM không thuần nhất.
  • Về mặt phương pháp luận: Cung cấp khung thuật toán mẫu có thể áp dụng cho các bài toán lọc ngược (inverse problems), thị giác máy tính (computer vision), và xử lý tín hiệu y sinh (EEG, fMRI).
  • Về mặt thực tiễn và quốc phòng: Làm chủ hoàn toàn thuật toán lõi, phá vỡ thế phụ thuộc vào các hệ thống "hộp đen" nhập khẩu (như phiên bản thương mại của S-400 hay radar cảnh giới), cho phép nâng cấp trực tiếp phần mềm điều khiển cho các đài radar giám sát bờ biển, radar phòng không quốc gia.

Limitations và Future Research

Luận án thẳng thắn chỉ ra các giới hạn nghiên cứu:

  1. Giả định phân phối nhiễu Gauss: Mô hình lọc Kalman và EKF vẫn phụ thuộc vào giả định nhiễu trắng cộng tính có phân phối chuẩn. Khi môi trường tác chiến điện tử có nhiễu phi Gauss nặng (non-Gaussian heavy-tailed noise), hiệu năng ước lượng có thể bị suy giảm.
  2. Chi phí tính toán khi số lượng mục tiêu bùng nổ: Dù đã giảm tải so với MHT, cấu trúc ánh xạ dây chuyền ảnh vẫn đòi hỏi dung lượng bộ nhớ động lớn khi số lượng mục tiêu $M_t$ vượt quá hàng trăm đối tượng trong không gian hẹp.
  3. Rời rạc hóa thời gian cố định: Khoảng thời gian $\Delta T_k = t_k - t_{k-1}$ được giả định là hằng số đều, chưa xét đến trường hợp cảm biến quét bất đồng bộ (asynchronous multi-sensor sampling).

Chương trình nghiên cứu tương lai (Future Agenda):

  • Phát triển thuật toán lọc hạt (Particle Filter / Sequential Monte Carlo) phi tuyến phi Gauss trên nền tảng ánh xạ đệ quy che khuất.
  • Mở rộng mô hình sang bài toán hợp nhất dữ liệu đa cảm biến không đồng bộ (Distributed Asynchronous Multi-Sensor Fusion).
  • Nhúng thuật toán lên chip xử lý chuyên dụng FPGA/DSP để tối ưu hóa tốc độ xử lý thời gian thực microsecond.

Tác động và ảnh hưởng

Công trình tạo ra tác động sâu rộng trên nhiều bình diện:

  • Học thuật: Đặt nền móng cho các nghiên cứu tiếp theo về quá trình ngẫu nhiên ứng dụng trong kỹ thuật quân sự tại Việt Nam, mở ra tiềm năng trích dẫn cao trong các tạp chí toán học ứng dụng và điều khiển học.
  • Công nghiệp Quốc phòng: Cung cấp tài liệu thiết kế giải thuật chi tiết cho các viện nghiên cứu thuộc Bộ Quốc phòng, phục vụ trực tiếp chương trình hiện đại hóa vũ khí công nghệ cao, tự chủ thiết kế hệ thống điều khiển hỏa lực.
  • Dân sự & Kinh tế: Ứng dụng nâng cấp hệ thống quản lý không lưu dân dụng tại các sân bay quốc tế lớn, tối ưu hóa hệ thống camera giao thông thông minh (ITS) nhận diện phương tiện trong điều kiện ùn tắc mật độ cao.

Đối tượng hưởng lợi

  • Nghiên cứu sinh và Giảng viên Toán ứng dụng: Tiếp cận phương pháp chứng minh sự tồn tại của chiến lược tối ưu đệ quy và cấu trúc giải tích của HMM không thuần nhất.
  • Kỹ sư R&D Hệ thống Radar & Tác chiến điện tử: Sở hữu bộ thuật toán chi tiết, có mã giả và sơ đồ khối logic để cài đặt trực tiếp vào hệ thống xử lý tín hiệu số.
  • Nhà hoạch định chính sách an ninh - quốc phòng: Có luận cứ khoa học vững chắc về khả năng tự chủ công nghệ thuật toán trong nước, giảm thiểu chi phí nhập khẩu giải pháp nước ngoài.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và nó mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc xây dựng hệ thống ánh xạ đệ quy trên dây chuyền dữ liệu ảnh $L[t_i, t_f]$ và chứng minh sự tồn tại của chiến lược $K(\varepsilon)$-tối ưu. Kết quả này mở rộng trực tiếp Lý thuyết ước lượng tuần tự Bayes (BSE) và Lý thuyết lọc tối ưu Kalman, giải quyết được bài toán kỳ dị khi xảy ra hiện tượng mục tiêu bị che khuất ($Y_t^k \equiv Y_t^l$) mà các lý thuyết của Bar-Shalom (JPDA) và Reid (MHT) chưa xử lý trọn vẹn.

2. Điểm cải tiến phương pháp luận so với các nghiên cứu quốc tế tiền nhiệm?

So với thuật toán JPDA (dễ mất dấu khi che khuất) và thuật toán MHT (bùng nổ tổ hợp), phương pháp của luận án:

  • Sử dụng nghịch ảnh $(f_t)^{-1}$ lưu giữ toàn bộ lịch sử vết, giúp phân tách chính xác quỹ đạo ngay sau khi các mục tiêu tách rời nhau.
  • Thay thế xích Markov thuần nhất bằng HMM không thuần nhất $A(k) = [a_{ij}(k)]$, giúp phản ánh chính xác động học thực tế của các mục tiêu cơ động cao.

3. Phát hiện bất ngờ nhất từ mô hình toán học là gì?

Phát hiện bất ngờ nhất là việc chứng minh được rằng ma trận hiệp phương sai sai số ước lượng $P(t|t)$ của lọc Kalman vẫn có thể bị chặn trên bởi một số $\varepsilon > 0$ bé tùy ý, ngay cả khi dữ liệu quan sát tại một số bước thời gian bị suy biến hoàn toàn do hiện tượng che khuất, miễn là chuỗi ánh xạ thỏa mãn điều kiện $T$-chiến lược đệ quy.

4. Luận án có cung cấp giao thức tái lập (Replication Protocol) không?

Có. Luận án cung cấp đầy đủ các sơ đồ khối logic toán học:

  • Sơ đồ cài đặt thuật toán tìm $T$-chiến lược (Hình 2.3).
  • Sơ đồ cài đặt thuật toán tìm chiến lược "$K(\varepsilon)$-tối ưu" (Hình 2.4).
  • Lưới tính biến tiến (Forward trellis lattice) và thuật toán Viterbi cải tiến (Hình 3.1, Mục 3.4), cho phép lập trình tái lập hoàn toàn trên các ngôn ngữ C++/MATLAB/Python.

5. Lộ trình phát triển nghiên cứu 10 năm tiếp theo được định hình ra sao?

Lộ trình 10 năm tập trung vào 3 giai đoạn:

  • Năm 1-3: Tích hợp thuật toán lọc hạt thích nghi (Adaptive Particle Filter) xử lý nhiễu phi Gauss.
  • Năm 4-6: Mở rộng mô hình cho mạng lưới cảm biến không đồng nhất phân tán (Heterogeneous Distributed Sensor Networks).
  • Năm 7-10: Tích hợp trí tuệ nhân tạo (Deep Reinforcement Learning) để tự động hóa việc nhận dạng và phân lớp mục tiêu ẩn trong môi trường tác chiến điện tử phức tạp.

Kết luận

  1. Luận án đã giải quyết thành công bài toán quan sát quỹ đạo đa mục tiêu (MTT) tổng quát trong điều kiện có hiện tượng mục tiêu bị che khuất, khắc phục triệt để tình trạng mất dấu vết của các thuật toán truyền thống.
  2. Đề xuất phương pháp liên kết dữ liệu mới dựa trên hệ thống ánh xạ xác định đệ quy và chứng minh toán học chặt chẽ sự tồn tại của chiến lược tối ưu từng bước theo nghĩa Bayes.
  3. Thiết lập định lý và thuật toán xây dựng chiến lược $K(\varepsilon)$-tối ưu, đảm bảo ma trận hiệp phương sai sai số ước lượng luôn nằm dưới ngưỡng $\varepsilon$ tiền định.
  4. Mở rộng thành công lý thuyết Mô hình Markov ẩn cho trường hợp không thuần nhất, phát triển thuật toán Tiến và thuật toán Viterbi cải tiến để ước lượng chính xác số lượng mục tiêu của lớp con quan tâm.
  5. Tạo bước đột phá phương pháp luận kết hợp giữa Giải tích ngẫu nhiên, Thống kê Bayes và Quy hoạch động, cung cấp giải pháp thuật toán tự chủ có giá trị ứng dụng đặc biệt cao trong an ninh quốc phòng và giám sát không lưu quốc gia.