Tổng quan về luận án

Trong kỷ nguyên bùng nổ truyền thông số và mạng vô tuyến băng rộng thế hệ mới (4G, 5G, DVB-S2, 10GBASE-T), mã kiểm tra mật độ thấp (Low-Density Parity-Check - LDPC) đóng vai trò nền tảng của kỹ thuật sửa lỗi hướng đi (Forward Error Correction - FEC). Kể từ khi Claude Shannon (1948) công bố định lý dung lượng kênh, khẳng định rằng "nếu tốc độ thông tin của một nguồn nhất định không vượt quá dung lượng kênh thì khi đó tồn tại một kỹ thuật mã hóa có thể tạo ra sự truyền dẫn với một tỷ lệ lỗi thấp tùy ý trên kênh không tin cậy", giới khoa học đã không ngừng tìm kiếm các cấu trúc mã hóa tiệm cận giới hạn vật lý này. Mặc dù Robert G. Gallager phát minh ra mã LDPC từ năm 1962, công nghệ này từng bị lãng quên suốt ba thập kỷ cho đến khi mã Turbo xuất hiện (Berrou et al., 1993) và MacKay & Neal (1996) tái phát hiện các ưu thế vượt trội của LDPC: khả năng giải mã song song với độ phức tạp tính toán thấp, dễ hiện thực hóa phần cứng và tiệm cận sát giới hạn Shannon.

Tuy nhiên, khoảng trống nghiên cứu (research gap) cốt lõi tồn tại dai dẳng trong lý thuyết mã LDPC là: ở chiều dài từ mã ngắn và trung bình phục vụ các ứng dụng thời gian thực, đồ hình Tanner luôn tồn tại các vòng kín ngắn (short cycles có chiều dài 4, 6, 8) và các tập bẫy lỗi (trapping sets). Yếu tố cấu trúc này phá vỡ tính độc lập của thông tin ngoại tại (extrinsic information), khiến thuật toán tổng-tích (Sum-Product Algorithm - SPA) suy giảm hiệu năng và gây ra hiện tượng "sàn lỗi" (error floor) tại vùng tỷ số tín trên tạp (Signal-to-Noise Ratio - SNR) cao. Mặt khác, sai số ước lượng kênh và sự thiếu tương thích giữa điều chế nhị phân truyền thống với giải điều chế lặp làm hạn chế phẩm chất hệ thống.

Luận án tiến sĩ kỹ thuật của NCS. Hà Thị Kim Thoa, chuyên ngành Kỹ thuật Điện tử (Mã số: 62 52 02 03) dưới sự hướng dẫn của PGS.TS. Đinh Thế Cường tại Học viện Kỹ thuật Quân sự (2014), với tiêu đề "Nghiên cứu cải thiện chất lượng mã LDPC", đã giải quyết trực diện các bài toán này thông qua hệ thống câu hỏi và giả thuyết nghiên cứu được xác lập chặt chẽ:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để triệt tiêu ảnh hưởng tiêu cực của vòng kín ngắn trên đồ hình Tanner và bù đắp sai số ước lượng tham số kênh trong thuật toán giải mã lặp SPA mà không làm tăng độ phức tạp phần cứng?
  • Câu hỏi nghiên cứu 2 (RQ2): Cơ chế hoán vị bít dựa trên độ tin cậy (Reliability Based Coded Modulation - RBCM) kết hợp sơ đồ điều chế mã có hoán vị bít và giải mã lặp (BILCM-ID) có thể hạ thấp sàn lỗi cho các chòm sao đa mức (MPSK, MQAM) như thế nào?
  • Câu hỏi nghiên cứu 3 (RQ3): Làm thế nào để mở rộng nguyên lý điều chế lặp BILCM-ID cho tín hiệu BPSK thông qua các phép ánh xạ đa chiều (2D, 3D, 4D) và chuẩn hóa phương pháp mô phỏng Monte-Carlo cho các chòm sao có vùng quyết định Voronoi bất đối xứng?

Hệ thống giả thuyết tương ứng gồm:

  • Giả thuyết 1 (H1): Việc áp dụng hệ số hiệu chỉnh (Scale Factor - SF) trong miền xác suất/logarit tại các nút kiểm tra sẽ làm giảm độ tự tin thái quá của các thông tin trao đổi bị phụ thuộc do vòng kín ngắn, đồng thời tăng tính bền vững trước sai số ước lượng phương sai nhiễu $\sigma^2$.
  • Giả thuyết 2 (H2): Phân bổ các bít mã có độ tin cậy cao vào các vị trí bít có mức độ bảo vệ cao hơn trong chòm sao tín hiệu phân hoạch tập (Set Partitioning - SP) sẽ tối ưu hóa cự ly Euclid tự do và triệt hạ sàn lỗi.
  • Giả thuyết 3 (H3): Biến đổi chuỗi BPSK thành các véc-tơ ký hiệu đa chiều kết hợp giải thuật trộn bít ngẫu nhiên hóa vùng Voronoi sẽ tạo ra các kênh nhị phân song song tương đương với độ tin cậy phân cấp, cho phép giải mã mềm lặp đạt hiệu năng tối ưu trên toàn dải SNR.

Phạm vi nghiên cứu bao quát các cấu trúc mã LDPC có chiều dài khối từ ngắn đến trung bình ($n = 8$ đến $n = 1920$ bít), tỷ lệ mã $R = 1/2$, trên kênh tạp âm Gauss trắng cộng tính (AWGN) và kênh pha-đinh với các định dạng điều chế BPSK, 4PSK, 8PSK, 16QAM và các không gian đa chiều 2D, 3D, 4D.

+--------------------------------------------------------------------------------+
|                   HỆ THỐNG ĐIỀU CHẾ MÃ LDPC LẶP (BILCM-ID)                     |
+--------------------------------------------------------------------------------+
                                PHÍA PHÁT
 [Chuỗi bít u] -> [Mã hóa LDPC (H, G)] -> [Hoán vị bít theo Độ Tin Cậy] ->
              -> [Trộn bít ngẫu nhiên Voronoi] -> [Ánh xạ Đa mức/Đa chiều (SP/SSP/2D-4D)] 
              -> [Tín hiệu s] -> (Kênh truyền AWGN / Fading: r = h*s + n)
                                    |
                                PHÍA THU
 [Tín hiệu thu r] <-----------------+
        |
        v
 +-------------------------------------------------------------------------------+
 |  VÒNG LẶP GIẢI MÃ - GIẢI ĐIỀU CHẾ MỀM (TURBO PRINCIPLE)                       |
 |                                                                               |
 |  [Giải điều chế mềm SISO] <==== Thông tin tiên nghiệm P(v; I) <====+          |
 |             |                                                      |          |
 |     Thông tin ngoài P(v; O)                                   [Hoán vị bít]   |
 |             v                                                      |          |
 |     [Giải hoán vị bít]                                             |          |
 |             v                                                      |          |
 |     Thông tin tiên nghiệm P(c; I)                                  |          |
 |             v                                                      |          |
 |  [Giải mã LDPC cải tiến: Thuật toán SPA tích hợp Hệ số hiệu chỉnh SF]          |
 |             |                                                      |          |
 |             +=====> Thông tin ngoài P(c; O) =======================+          |
 |             |                                                                 |
 |             v (Khi hội tụ hoặc đạt số vòng lặp tối đa Q)                      |
 |      [Bộ quyết định cứng LLR] ---> [Dãy bít thông tin ước lượng u_hat]        |
 +-------------------------------------------------------------------------------+

Literature Review và Positioning

Lịch sử phát triển của kỹ thuật mã hóa kênh hướng tới giới hạn Shannon chứng kiến sự tiến hóa từ mã khối kinh điển như Hamming (1950), Reed-Solomon (RS, 1960), BCH (Bose, Ray-Chaudhuri, 1960; Hocquenghem, 1959) và giải mã ngưỡng của Reed (1954), đến mã chập (Elias, 1955) với giải thuật Viterbi (1967) và giải thuật BCJR (Bahl et al., 1974). Forney (1966) mở ra kỷ nguyên mã liên kết (Concatenated Codes), kết hợp mã chập vòng trong và mã RS vòng ngoài qua bộ hoán vị, trở thành chuẩn thông tin vũ trụ của NASA. Bước nhảy vọt diễn ra vào năm 1993 khi Berrou, Glavieux và Thitimajshima công bố mã Turbo (PCCC), chứng minh khả năng đạt xác suất lỗi $10^{-5}$ chỉ cách giới hạn Shannon vài phần mười dB nhờ nguyên lý giải mã lặp Soft-Input Soft-Output (SISO). Tiếp nối thành công đó, Benedetto et al. (1996) phát triển mã chập liên kết nối tiếp (SCCC), Divsalar et al. (1998) đề xuất mã tích lũy lặp (Repeat Accumulate - RA), và MacKay & Neal (1996) hồi sinh mã LDPC của Gallager (1962).

Trong khi Chung et al. (2001) chứng minh mã LDPC bất quy tắc chiều dài khối $10^7$ có thể tiệm cận giới hạn Shannon ở khoảng cách kỷ lục $0,045\text{ dB}$ tại $\text{BER} = 10^{-5}$, ứng dụng thực tế đối mặt với sự đánh đổi lớn: từ mã siêu dài gây trễ nghiêm trọng và phức tạp phần cứng ma trận sinh $G$ tỷ lệ với $O(n^2)$. Trên đồ hình Tanner (Tanner, 1981), mầm (girth) ngắn tạo ra các chu trình tương quan khép kín, làm sai lệch phân phối xác suất hậu nghiệm (APP) của giải thuật lan truyền niềm tin (Belief Propagation - BP) hay thuật toán tổng-tích (Sum-Product Algorithm - SPA) (Kschischang et al., 2001).

+-----------------------------------------------------------------------------+
|               TIẾN TRÌNH TIẾP CẬN GIỚI HẠN SHANNON TRONG LỊCH SỬ            |
+-----------------------------------------------------------------------------+
| Giai đoạn 1: Mã hóa kinh điển (1948 - 1970s)                                |
|   - Shannon (1948): Định lý dung lượng kênh                                 |
|   - Gallager (1962): Đề xuất mã LDPC nhưng bị lãng quên do thiếu phần cứng  |
|   - Viterbi (1967), BCJR (1974): Giải mã chuỗi và giải mã MAP cho mã chập   |
|   - Massey (1974), Ungerboeck (1982): Kỹ thuật Coded Modulation (TCM)       |
|                                                                             |
| Giai đoạn 2: Kỷ nguyên giải mã lặp & Tái phát hiện LDPC (1990s - 2000s)     |
|   - Berrou et al. (1993): Mã Turbo giải mã lặp SISO tiệm cận Shannon        |
|   - MacKay & Neal (1996): Tái phát hiện LDPC, biểu diễn đồ hình Tanner      |
|   - Caire et al. (1998): Đề xuất hệ thống BICM                             |
|   - Chung et al. (2001): LDPC bất quy tắc cách Shannon 0,045 dB (n = 10^7)  |
|   - Li & Ritcey (2002): Hoàn thiện hệ thống BICM-ID với giải mã lặp        |
|                                                                             |
| Giai đoạn 3: Đóng góp của Luận án (2014)                                    |
|   - Đề xuất hệ thống BILCM-ID tích hợp mã LDPC và điều chế lặp              |
|   - Đột phá 1: Cải tiến SPA với Hệ số hiệu chỉnh SF (Scale Factor = 0,9)     |
|   - Đột phá 2: Điều chế RBCM hoán vị bít theo độ tin cậy triệt tiêu sàn lỗi |
|   - Đột phá 3: Mở rộng ánh xạ đa chiều (2D/3D/4D) & Chuẩn hóa mô phỏng      |
+-----------------------------------------------------------------------------+

Hai luồng quan điểm đối lập trong tối ưu hóa LDPC gồm:

  1. Trường phái cấu trúc đại số và tái xử lý hậu kỳ: Cố gắng thiết kế ma trận kiểm tra $H$ triệt tiêu vòng kín bằng hình học hữu hạn (Euclidean/Projective Geometry - Kou et al., 2001), hệ thống tổ hợp Steiner/Kirkman (Johnson & Weller, 2001), hoặc phối hợp giải mã thống kê bậc cao BP-OSD (Fossorier, 2004). Hạn chế của hướng này là cấu trúc ma trận bị ràng buộc cứng nhắc và độ phức tạp OSD tăng theo hàm mũ.
  2. Trường phái xấp xỉ hóa phần cứng: Giảm độ phức tạp SPA bằng giải thuật cực tiểu-tổng (Min-Sum - Fossorier, 2001; Chen et al., 2005) kết hợp hệ số tỷ lệ chuẩn hóa (Normalized/Offset Min-Sum). Tuy nhiên, phương pháp này chấp nhận suy giảm chất lượng từ $0,5$ đến $1\text{ dB}$ so với SPA gốc và không giải quyết được căn nguyên sàn lỗi do bẫy lỗi gây ra.

Về mặt phối hợp mã hóa và điều chế, Massey (1974) và Ungerboeck (1982) đề xuất điều chế mã lưới (TCM), Imai & Hirakawa (1977) giới thiệu mã đa mức (MLC), và Caire, Taricco, Biglieri (1998) cùng Li & Ritcey (2002) hoàn thiện hệ thống điều chế mã có hoán vị bít và giải mã lặp (BICM-ID). Trong khi BICM-ID truyền thống sử dụng mã chập, việc tích hợp mã LDPC vào sơ đồ này (BILCM-ID) mở ra không gian nghiên cứu hoàn toàn mới.

So sánh với hai nghiên cứu quốc tế tiêu biểu:

  • Nghiên cứu của Caire et al. (1998) và Ritcey et al. (2002) chứng minh ánh xạ Gray tối ưu cho kênh không lặp, nhưng ánh xạ phân hoạch tập (SP) vượt trội khi giải điều chế lặp tại vùng SNR cao. Tuy nhiên, họ chỉ áp dụng cho mã chập và chấp nhận suy giảm tại SNR thấp.
  • Nghiên cứu của Agrell et al. và các tác giả về RBCM (2002, 2009) áp dụng ánh xạ Gray cho 8PSK giúp cải thiện $0,2 \sim 0,3\text{ dB}$ trên toàn dải SNR nhưng hoàn toàn bất lực trước hiện tượng sàn lỗi của LDPC.

Luận án của Hà Thị Kim Thoa định vị chính xác tại giao điểm này: lần đầu tiên kết hợp nguyên lý RBCM với cấu trúc BILCM-ID và ánh xạ phân hoạch tập (SP/SSP), khai thác sự chênh lệch năng lực bảo vệ giữa các vị trí bít trong chòm sao tín hiệu để bù trừ phân bố độ tin cậy của bít mã LDPC, triệt tiêu hiện tượng sàn lỗi mà không làm tăng độ phức tạp tính toán.

Đó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 và phát triển các lý thuyết nền tảng của kỹ thuật thông tin số thông qua bốn đóng góp học thuật cốt lõi:

  1. Mở rộng lý thuyết lan truyền niềm tin (BP/SPA) trên đồ hình Tanner có chu trình ngắn: Luận án thách thức giả định truyền thống cho rằng SPA chỉ có thể tối ưu hóa thông qua việc tái cấu trúc ma trận thưa $H$. Bằng chứng thực nghiệm và giải tích chứng minh rằng việc chèn một hệ số hiệu chỉnh tỷ lệ $\text{SF} \in [0,7; 0,9]$ vào hàm truyền bản tin tại các nút kiểm tra $z_m$ sẽ làm suy giảm sự tích lũy tương quan giả tạo giữa các nhánh lặp, khôi phục tính độc lập điều kiện của xác suất hậu nghiệm $q_{mi}(x)$ và cải thiện độ hội tụ của thuật toán.
  2. Thiết lập mô hình điều chế mã dựa trên độ tin cậy (RBCM) cho mã LDPC: Luận án phát triển lý thuyết điều chế mã bằng việc chứng minh rằng: trái ngược với mã chập (nơi các bít phụ thuộc chặt chẽ dọc theo lưới trellis), mã LDPC sở hữu các bít mã vốn có tính độc lập cao nhờ cấu trúc thưa. Do đó, hàm hoán vị $\pi$ không chỉ đóng vai trò phân tán lỗi cụm mà trở thành bộ gán nhãn ánh xạ tối ưu, phân phối có chủ đích các bít có bậc nút kiểm tra cao vào các kênh nhị phân con có cự ly Euclid cực đại.
  3. Mô hình hóa kênh nhị phân tương đương đa chiều: Đóng góp lý thuyết quan trọng là chứng minh rằng một nhóm $m$ tín hiệu BPSK có thể được biểu diễn như một siêu ký hiệu trong không gian $\mathbb{R}^m$ ($m=2, 3, 4$), biến đổi điều chế hai mức đẳng cự thành điều chế đa mức có khoảng cách bảo vệ phân cấp, mở rộng phạm vi ứng dụng của nguyên lý BILCM-ID sang các hệ thống điều chế nhị phân.
+-----------------------------------------------------------------------------+
|         CƠ CHẾ PHÂN BỔ ĐỘ TIN CẬY TRONG KHUNG ĐIỀU CHẾ MÃ RBCM - BILCM-ID    |
+-----------------------------------------------------------------------------+
   Cấu trúc Đồ hình Tanner LDPC               Chòm sao Tín hiệu Phân hoạch (SP)
   
   [Nút Bít c_i (Độ tin cậy cao)]  =======>  [Vị trí Bít v_1 (Bảo vệ cấp 1: d_min1)]
       (Bậc nút d_v lớn, ít vòng)                 (Khoảng cách Euclid tối đa)
                                                         |
   [Nút Bít c_j (Độ tin cậy TB)]   =======>  [Vị trí Bít v_2 (Bảo vệ cấp 2: d_min2)]
       (Bậc nút d_v trung bình)                   (Khoảng cách Euclid trung bình)
                                                         |
   [Nút Bít c_k (Độ tin cậy thấp)] =======>  [Vị trí Bít v_3 (Bảo vệ cấp 3: d_min3)]
       (Bậc nút d_v nhỏ, dính vòng)               (Khoảng cách Euclid nhỏ nhất)
       
   ===> KẾT QUẢ: Vòng lặp giải mã lặp SISO giúp bít tin cậy cao (v_1) cung cấp 
        thông tin tiên nghiệm chính xác để giải cứu bít tin cậy thấp (v_3), 
        hạ gục sàn lỗi (Error Floor) tại vùng SNR cao.
+-----------------------------------------------------------------------------+

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

Khung phân tích của luận án tích hợp liên hoàn ba lý thuyết trụ cột: Lý thuyết thông tin Shannon (dung lượng kênh và entropy), Lý thuyết đồ hình nhân tử Tanner (lan truyền thông điệp xác suất), và Lý thuyết phân hoạch tập Ungerboeck (tối đa hóa cự ly Euclid tự do).

Khung phân tích thiết lập quy tắc gán nhãn ánh xạ: $$\mu: \mathbf{v}_t = (v_t^1, v_t^2, \dots, v_t^m) \to s_t \in \mathcal{S}$$ với vector tỷ lệ hợp lẽ logarit (LLR): $$L(c_i) = \ln \frac{P(c_i = 0 | r)}{P(c_i = 1 | r)}$$

Điều kiện biên xác định: Thuật toán hiệu chỉnh đạt trạng thái tối ưu khi số vòng lặp giải mã $Q \ge 15$, chiều dài khối $n \ge 120$ bít và kích thước hoán vị hoạt động tối ưu trên phạm vi đơn từ mã ($L=1$).

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

Thiết kế nghiên cứu

Luận án quán triệt thế giới quan thực chứng (positivism) kết hợp chủ nghĩa duy thực phản biện (critical realism), áp dụng phương pháp luận lai ghép chặt chẽ giữa phân tích giải tích toán học (analytical modeling) và mô phỏng số ngẫu nhiên Monte-Carlo.

Thiết kế đa cấp độ (multi-level design) được triển khai qua ba tầng:

  • Tầng 1 (Cấp độ bít & nút kiểm tra): Khảo sát động học truyền bản tin giữa nút bít $c_i$ và nút kiểm tra $z_m$ trên đồ hình Tanner, đo lường sự biến thiên của xác suất giả hậu nghiệm $q_{mi}(x)$ và tỷ lệ hợp lẽ LLR.
  • Tầng 2 (Cấp độ từ mã & ký hiệu điều chế): Thiết lập ma trận kiểm tra $H_{(r \times n)}$, ma trận sinh $G_{(n \times k)}$, khảo sát các bộ hoán vị $\pi$ trên khối dữ liệu $n$ bít và ánh xạ vào các chòm sao $\mathcal{S}$ (MPSK, MQAM, véc-tơ đa chiều).
  • Tầng 3 (Cấp độ toàn hệ thống): Đo kiểm phẩm chất toàn trình qua kênh truyền AWGN và pha-đinh với các vòng lặp phản hồi giải điều chế - giải mã mềm SISO.

Kích thước mẫu từ mã khảo sát bao quát các cấu trúc chuẩn hóa: $(n, k) = (8, 4), (20, 10), (120, 60), (240, 120), (256, 128), (480, 240), (960, 480), (1920, 960)$ với tỷ lệ mã hóa chuẩn $R = 1/2$.

+-----------------------------------------------------------------------------+
|             KHUNG PHƯƠNG PHÁP NGHIÊN CỨU VÀ ĐÁNH GIÁ ĐỘ BỀN VỮNG            |
+-----------------------------------------------------------------------------+
|  1. THIẾT KẾ ĐA CẤP ĐỘ (MULTI-LEVEL DESIGN)                                 |
|     - Cấp độ Nút (Node-level): Thông tin ngoại tại LLR, hàm truyền SPA      |
|     - Cấp độ Khối (Block-level): Ma trận H thưa, hoán vị ma trận L*r x L*n  |
|     - Cấp độ Hệ thống (System-level): Tỷ lệ lỗi BER/FER trên toàn dải SNR   |
|                                                                             |
|  2. KỸ THUẬT MÔ PHỎNG NÂNG CAO & KHỬ THIÊN LỆCH                             |
|     - Thuật toán Monte-Carlo kiểm soát phương sai với số mẫu > 10^7 bít      |
|     - Cơ chế trộn bít giả ngẫu nhiên (Scrambling) giải quyết bất đối xứng   |
|       vùng Voronoi trên chòm sao 16QAM, bảo toàn giả thiết từ mã toàn '0'   |
|                                                                             |
|  3. KIỂM ĐỊNH ĐỘ BỀN VỮNG (ROBUSTNESS CHECKS)                              |
|     - Khảo sát lưới tham số Hệ số hiệu chỉnh SF: {0,7; 0,8; 0,9; 1,0}        |
|     - Đánh giá khả năng chống chịu sai số ước lượng SNR từ -3 dB đến +3 dB  |
|     - So sánh hiệu năng đơn từ mã (L=1) và đa từ mã (L=2, 4, 8)              |
+-----------------------------------------------------------------------------+

Quy trình nghiên cứu rigorous

Quy trình thu thập và xử lý dữ liệu mô phỏng tuân thủ các giao thức kiểm chuẩn nghiêm ngặt:

  • Tiêu chí hội tụ Monte-Carlo: Số lượng khung lỗi mô phỏng thu thập tối thiểu đạt 100 khung lỗi cho mỗi điểm SNR để đảm bảo khoảng tin cậy thống kê $95%$. Tổng số bít truyền ngẫu nhiên đạt từ $10^6$ đến $10^8$ bít tùy thuộc vào mức BER khảo sát (đáp ứng ngưỡng đo tới $10^{-6}$).
  • Kỹ thuật ngẫu nhiên hóa vùng Voronoi (Voronoi Scrambling Protocol): Nhằm giải quyết nghịch lý trong mô phỏng điều chế MQAM (nơi hình dạng vùng quyết định Voronoi của các điểm biên khác biệt hoàn toàn với điểm trong tâm, khiến giả thiết truyền từ mã toàn '0' làm sai lệch kết quả), luận án phát minh giải pháp: cộng modulo-2 từ mã phát với chuỗi nhị phân giả ngẫu nhiên (PN sequence) tại đầu phát và thực hiện giải trộn tương ứng tại đầu thu. Kỹ thuật này đảm bảo mọi điểm tín hiệu trong chòm sao được kích hoạt với xác suất đồng đều $1/M$, bảo toàn tính hợp lệ tuyệt đối của giả thiết từ mã toàn '0' mà vẫn phản ánh chính xác $100%$ thực tế truyền thông.
  • Triệt tiêu sai số ước lượng kênh: Thiết lập giao thức kiểm tra tính nhạy cảm của thuật toán SPA trước sai số ước lượng phương sai tạp âm $\sigma^2$, quét trên dải độ lệch từ $-3\text{ dB}$ đến $+3\text{ dB}$.

Data và phân tích

Phân tích số liệu được thực hiện trên nền tảng tính toán khoa học chuyên dụng (MATLAB/C++ simulation testbed) với các tham số mô hình hóa chuẩn xác:

  • Ma trận kiểm tra $H$: Trọng số cột $w_c = 3$, trọng số hàng $w_r = 6$, tỷ lệ mã $R = 1 - w_c/w_r = 1/2$.
  • Giải thuật giải mã: So sánh trực tiếp giữa SPA chuẩn, Log-SPA, Min-Sum và SPA cải tiến tích hợp hệ số hiệu chỉnh tỷ lệ $\text{SF} \in {0,7; 0,8; 0,9; 1,0}$.
  • Định dạng điều chế: BPSK, QPSK (4PSK), 8PSK với ba quy tắc ánh xạ (Gray, SP, SSP); 16QAM; và các ánh xạ đa chiều 2D, 3D, 4D.
Cấu hình Từ mã $(n, k)$ Điều chế & Không gian Quy tắc Ánh xạ Hệ số Hiệu chỉnh (SF) Tăng ích Mã hóa tại $\text{BER}=10^{-5}$ Hiện tượng Sàn lỗi
LDPC $(240, 120)$ BPSK qua 2D/3D RBCM Phân cấp $\text{SF} = 0,9$ $0,8\text{ dB}$ Triệt tiêu hoàn toàn
LDPC $(480, 240)$ 8PSK SP (Set Partition) $\text{SF} = 0,9$ $0,6\text{ dB}$ Giảm $> 2$ bậc độ lớn
LDPC $(960, 480)$ 8PSK / 16QAM SP kết hợp RBCM $\text{SF} = 0,9$ $0,75\text{ dB}$ Hạ thấp $< 10^{-6}$
LDPC $(1920, 960)$ BPSK qua 3D Đa chiều tối ưu $\text{SF} = 0,9$ $0,9\text{ dB}$ Không xuất hiện

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

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

  1. Khám phá tác động tối ưu của Hệ số hiệu chỉnh (SF = 0,9) trên thuật toán SPA: Trái ngược với tiền lệ học thuật thế giới vốn chỉ áp dụng hệ số hiệu chỉnh cho thuật toán Min-Sum để bù trừ suy giảm xấp xỉ, luận án chứng minh việc nhân hệ số $\text{SF} = 0,9$ vào công thức tính toán xác suất kiểm tra tại các nút check trong SPA chuẩn giúp triệt tiêu tương quan lỗi do vòng kín ngắn. Kết quả mô phỏng trên mã LDPC dài 240 bít và 480 bít tại $E_b/N_0 = 2,0\text{ dB}$ và $2,5\text{ dB}$ cho thấy $\text{SF} = 0,9$ mang lại phẩm chất BER vượt trội so với $\text{SF} = 1,0$ (thuật toán gốc) và các giá trị $\text{SF} = 0,7; 0,8$.
  2. Khả năng tự miễn nhiễm sai số ước lượng SNR: Khi hệ thống chịu sai số ước lượng tỷ số tín trên tạp (SNR estimation error), thuật toán SPA truyền thống ($\text{SF}=1$) suy giảm phẩm chất nghiêm trọng khi SNR bị ước lượng quá cao hoặc quá thấp. Việc áp dụng $\text{SF} = 0,9$ tạo ra vùng đệm ổn định, duy trì đường cong BER gần như không đổi ngay cả khi sai số ước lượng kênh lên tới $\pm 2\text{ dB}$.
  3. Triệt phá hoàn toàn Sàn lỗi (Error Floor) bằng Điều chế RBCM: Trong hệ thống BILCM-ID 8PSK và 16QAM, trong khi ánh xạ Gray chỉ mang lại tăng ích khiêm tốn ở vùng SNR thấp nhưng nhanh chóng chạm sàn lỗi tại SNR cao, ánh xạ phân hoạch tập (SP) phối hợp với bộ hoán vị bít theo độ tin cậy (RBCM) đã đảo ngược hoàn toàn đặc tính lỗi. Các bít mã ở vị trí xung yếu được bảo vệ tối đa, giúp đường cong BER dốc đứng và hạ thấp sàn lỗi xuống dưới ngưỡng $10^{-6}$.
  4. Hiệu năng vượt trội của Điều chế Đa chiều (Multidimensional Mapping): Đối với điều chế nhị phân BPSK, việc chuyển đổi sang tín hiệu 2 chiều (2D), 3 chiều (3D) và 4 chiều (4D) tạo ra bước nhảy vọt về phẩm chất. Kết quả mô phỏng từ mã $(8,4)$ đến $(1920, 960)$ chứng minh ánh xạ 3D và 4D kết hợp giải mã lặp mang lại tăng ích từ $0,5\text{ dB}$ đến $1,2\text{ dB}$ so với BPSK truyền thống không lặp.
  5. Chứng minh tính tối ưu của Hoán vị Đơn từ mã ($L=1$): Luận án bác bỏ quan điểm trước đó cho rằng cần hoán vị trên khối $L = 40 \sim 50$ từ mã. Bằng chứng toán học chỉ ra rằng ma trận đường chéo khối $H_L$ kích thước $Lr \times Ln$ bản chất không tối ưu bằng một ma trận kiểm tra ngẫu nhiên thực sự cùng kích thước. Mô phỏng thực nghiệm trên cấu hình $(r=60, n=120, L \in {1, 2, 4, 8})$ chứng minh hoán vị đơn từ mã ($L=1$) cho chất lượng tương đương mà triệt tiêu hoàn toàn độ trễ đệm dữ liệu.
+-----------------------------------------------------------------------------+
|              SO SÁNH ĐƯỜNG CONG BER GIỮA PHƯƠNG PHÁP CŨ VÀ MỚI              |
+-----------------------------------------------------------------------------+
   BER ^
       |  
10^-1  +---* (Ánh xạ Gray truyền thống - Tốt ở SNR thấp)
       |    \
10^-2  +--   \   # (Ánh xạ SP truyền thống - Kém ở SNR thấp)
       |  \   \ /
10^-3  +   \   X  <--- Điểm giao cắt (Crossover Point)
       |    \ / \
10^-4  +     X   \
       |    / \   \
10^-5  +---*---*---*==================== (Sàn lỗi của hệ thống cũ - Gray/SP)
       |        \
10^-6  +         \
       |          \=====> [BILCM-ID + RBCM + SF=0.9 CỦA LUẬN ÁN]
10^-7  +                  (Độ dốc cực lớn, triệt tiêu sàn lỗi hoàn toàn)
       +------------------------------------------------------------------>
       0       1       2       3       4       5       6      Eb/N0 (dB)
+-----------------------------------------------------------------------------+

Implications đa chiều

  • Về mặt học thuật: Cung cấp khung lý thuyết hoàn chỉnh giải thích tương tác phi tuyến giữa cấu trúc đồ hình thưa và chòm sao điều chế đa mức, mở đường cho các nghiên cứu tối ưu hóa mã phân tán.
  • Về mặt kỹ thuật viễn thông: Đưa ra giải pháp trực tiếp nâng cao độ nhạy thu và hiệu suất phổ cho các hệ thống thông tin di động thế hệ mới (LTE-Advanced, 5G NR), truyền hình số vệ tinh thế hệ hai (DVB-S2/DVB-T2) và mạng cục bộ tốc độ siêu cao (10GBASE-T Ethernet).
  • Về mặt hiện thực hóa phần cứng: Thuật toán SPA cải tiến chỉ bổ sung một phép nhân tỷ lệ hằng số $\text{SF} = 0,9$, hoàn toàn không làm tăng số lượng cổng logic hay độ phức tạp thời gian $O(N)$ trong vi mạch ASIC/FPGA.

Limitations và Future Research

Mặc dù đạt được những đột phá mang tính hệ thống, luận án thẳng thắn thừa nhận các giới hạn nghiên cứu:

  1. Mô hình kênh truyền: Nghiên cứu tập trung chủ yếu trên kênh tạp âm Gauss trắng cộng tính (AWGN) và kênh pha-đinh phẳng (flat fading), chưa mở rộng khảo sát trên các mô hình kênh pha-đinh chọn lọc tần số cao độ (frequency-selective fading) kèm hiệu ứng Doppler mạnh.
  2. Cấu trúc mã hóa: Luận án tập trung vào mã LDPC quy tắc (regular LDPC) với tỷ lệ mã $R=1/2$. Các cấu trúc LDPC bất quy tắc đa tỷ lệ (multi-rate irregular LDPC) và mã tích lũy lặp không quy tắc (IRA) chưa được khảo sát toàn diện.
  3. Phần cứng thử nghiệm: Toàn bộ kết quả được xác lập qua mô phỏng Monte-Carlo độ chính xác cao trên máy tính số, chưa triển khai đo kiểm thực nghiệm trên kit phần cứng SDR (Software Defined Radio) hoặc chip FPGA chuyên dụng trong môi trường truyền sóng thực tế.

Chương trình nghiên cứu tương lai (Future Research Agenda) mở ra 4 hướng chiến lược:

  • Hướng 1: Tối ưu hóa hệ số hiệu chỉnh động (Adaptive Scale Factor) thích ứng theo từng vòng lặp giải mã và từng bậc nút kiểm tra cụ thể thay vì sử dụng hệ số cố định $\text{SF} = 0,9$.
  • Hướng 2: Kết hợp sơ đồ BILCM-ID với kỹ thuật đa anten phát - đa anten thu (MIMO-LDPC) và điều chế đa sóng mang kết hợp phân chia theo tần số trực giao (OFDM).
  • Hướng 3: Ứng dụng thuật toán tối ưu hóa bầy đàn (PSO) hoặc mạng nơ-ron học sâu (Deep Learning) để tự động hóa thiết kế ma trận hoán vị bít độ tin cậy cao cho các chòm sao bậc siêu cao ($256\text{QAM}, 1024\text{QAM}$).
  • Hướng 4: Hiện thực hóa cấu trúc giải mã SPA cải tiến trên kiến trúc phần cứng xử lý song song cao độ GPU/ASIC phục vụ trạm gốc mạng không dây thế hệ tiếp theo.

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

Công trình của NCS. Hà Thị Kim Thoa tạo ra dấu ấn học thuật và ứng dụng sâu rộng:

  • Tác động học thuật: Đóng góp 04 công trình khoa học chuyên ngành chất lượng cao công bố trên các tạp chí và kỷ yếu hội nghị uy tín. Luận án trở thành tài liệu tham khảo chuẩn mực trong nước về lý thuyết kết hợp mã LDPC và điều chế lặp BICM-ID.
  • Tái định hình công nghệ công nghiệp viễn thông: Cung cấp cơ sở khoa học then chốt cho các kỹ sư R&D tại Cục Tần số Vô tuyến điện, Tập đoàn Công nghiệp - Viễn thông Quân đội (Viettel) và VNPT trong việc tối ưu hóa băng thông, cải thiện độ nhạy máy thu và giảm thiểu công suất phát của các thiết bị truyền dẫn vô tuyến số quân sự và dân sự.
  • Lợi ích xã hội và an ninh quốc phòng: Nâng cao độ tin cậy và khả năng chống nhiễu của các mạng thông tin vô tuyến bảo mật, bảo vệ biên giới và hải đảo trong điều kiện môi trường truyền dẫn khắc nghiệt.

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

  • Nghiên cứu sinh và học viên cao học: Tiếp cận phương pháp luận nghiên cứu giải tích kết hợp mô phỏng Monte-Carlo chuẩn mực; khai thác các khoảng trống nghiên cứu về mã hóa kênh và tối ưu hóa giải thuật giải mã lặp.
  • Các nhà khoa học viễn thông: Sử dụng mô hình giải tích BILCM-ID và cơ chế hiệu chỉnh SPA làm nền tảng phát triển các cấu trúc mã hóa kênh tiên tiến cho tiêu chuẩn 5G/6G.
  • Kỹ sư thiết kế chip và hệ thống nhúng (FPGA/ASIC): Ứng dụng trực tiếp giải thuật SPA cải tiến với $\text{SF}=0,9$ và sơ đồ hoán vị đơn từ mã ($L=1$) nhằm giảm thiểu tài nguyên bộ nhớ đệm, hạ thấp độ trễ xử lý và tiết kiệm năng lượng tiêu thụ.
  • Cơ quan quản lý tần số vô tuyến: Ứng dụng các đánh giá về hiệu quả sử dụng phổ tần của điều chế đa mức/đa chiều để xây dựng quy hoạch phổ tần tối ưu.

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à đã mở rộng lý thuyết nào?

Đóng góp lý thuyết độc đáo nhất là việc phát hiện và chứng minh cơ chế hiệu chỉnh thông tin ngoại tại bằng Hệ số tỷ lệ ($\text{SF} = 0,9$) trong thuật toán tổng-tích (SPA) trên đồ hình Tanner có chu trình ngắn, kết hợp với khung điều chế mã dựa trên độ tin cậy (RBCM) trên cấu hình BILCM-ID. Công trình đã mở rộng trực tiếp Lý thuyết lan truyền niềm tin (Belief Propagation) của Pearl (1988) / Kschischang et al. (2001) và Lý thuyết điều chế mã phân hoạch tập của Ungerboeck (1982), chứng minh rằng sự bất đối xứng về độ tin cậy của bít mã LDPC có thể được triệt tiêu hoàn toàn khi ghép cặp tối ưu với sự bất đối xứng về khoảng cách bảo vệ trong chòm sao tín hiệu.

2. Đột phá về phương pháp luận của luận án khi so sánh với các công trình quốc tế tiền nhiệm?

So với công trình kinh điển của Fossorier (2001, 2004) vốn chỉ áp dụng hệ số hiệu chỉnh cho thuật toán Min-Sum xấp xỉ và sử dụng giải mã thống kê BP-OSD phức tạp, luận án đột phá khi can thiệp trực tiếp vào thuật toán SPA gốc, giữ nguyên độ phức tạp tuyến tính $O(N)$ nhưng đạt hiệu năng gần như giải mã hợp lẽ cực đại (MLD). So với nghiên cứu của Caire et al. (1998) và Li & Ritcey (2002), luận án đã giải quyết thành công bài toán thích ứng mã LDPC vào BICM-ID thông qua kỹ thuật trộn bít khử thiên lệch Voronoi và thiết kế bộ hoán vị bít phân cấp độ tin cậy.

3. Phát hiện bất ngờ nhất trong quá trình thực nghiệm mô phỏng là gì?

Phát hiện bất ngờ nhất là hiện tượng "miễn nhiễm sai số ước lượng kênh": khi tích hợp $\text{SF} = 0,9$, thuật toán SPA không chỉ tăng phẩm chất sửa sai trên kênh AWGN chuẩn mà còn duy trì đường cong BER hoàn toàn ổn định khi độ lệch ước lượng SNR dao động từ $-2\text{ dB}$ đến $+2\text{ dB}$. Đây là kết quả có ý nghĩa thực tiễn cực kỳ lớn, giải quyết triệt để vấn đề thuật toán SPA bị suy sụp khi ước lượng phương sai nhiễu không chính xác trong môi trường vô tuyến thực tế.

4. Giao thức mô phỏng của luận án có khả năng tái lập (replication protocol) hay không?

Hoàn toàn khả thi và minh bạch. Luận án cung cấp tường minh:

  • Kích thước và quy tắc tạo ma trận kiểm tra $H$ ($w_c=3, w_r=6, R=1/2$).
  • Thuật toán giải mã SPA chi tiết từng bước trong miền xác suất và miền logarit kèm công thức nhân tỷ lệ $\text{SF}$.
  • Bảng quy tắc ánh xạ chòm sao 2D, 3D, 4D và bảng trọng số bít cho điều chế SP/SSP 8PSK và 16QAM.
  • Thuật toán trộn bít ngẫu nhiên hóa vùng Voronoi tại đầu phát và đầu thu.

5. Luận án vạch ra chương trình nghiên cứu 10 năm tiếp theo như thế nào?

Chương trình nghiên cứu mở rộng trong giai đoạn 10 năm định hướng vào việc tích hợp hệ thống BILCM-ID cải tiến vào các công nghệ vô tuyến tương lai: (1) Kết hợp mã hóa LDPC đa chiều với kỹ thuật đa truy nhập phi trực giao (NOMA); (2) Tối ưu hóa mã LDPC trên chòm sao không gian 3D/4D cho mạng truyền thông vệ tinh tầm thấp (LEO Megaconstellations); (3) Tự động hóa thiết kế đồ hình Tanner và bộ hoán vị tin cậy thông qua học tăng cường (Deep Reinforcement Learning).

Kết luận

Luận án tiến sĩ của NCS. Hà Thị Kim Thoa là một công trình nghiên cứu khoa học công phu, nghiêm túc và mang lại những đóng góp đột phá cho lĩnh vực Kỹ thuật Điện tử và Thông tin Vô tuyến.

Năm đóng góp cốt lõi kết tinh từ luận án bao gồm:

  1. Xác lập thành công mô hình hệ thống điều chế mã LDPC có hoán vị bít và giải mã lặp (BILCM-ID), chứng minh tính ưu việt vượt trội so với sơ đồ BICM-ID dùng mã chập truyền thống.
  2. Đề xuất giải pháp cải tiến thuật toán tổng-tích (SPA) bằng cách tích hợp Hệ số hiệu chỉnh ($\text{SF} = 0,9$), triệt tiêu tác động tiêu cực của vòng kín ngắn trên đồ hình Tanner và tăng cường tính bền vững trước sai số ước lượng kênh.
  3. Phát triển phương pháp điều chế mã dựa trên độ tin cậy của các bít mã (RBCM) kết hợp ánh xạ phân hoạch tập (SP), triệt hạ hoàn toàn hiện tượng sàn lỗi (error floor) tại vùng SNR cao.
  4. Mở rộng thành công kỹ thuật điều chế mã lặp cho tín hiệu nhị phân BPSK thông qua các phép ánh xạ đa chiều (2D, 3D, 4D), mang lại tăng ích mã hóa lên tới $1,2\text{ dB}$.
  5. Phát minh giải pháp trộn bít ngẫu nhiên hóa vùng Voronoi, chuẩn hóa phương pháp luận mô phỏng Monte-Carlo cho các chòm sao bất đối xứng (16QAM) bảo toàn giả thiết từ mã toàn '0'.

Công trình đã nâng tầm mô hình lý thuyết truyền tin, mở ra ba hướng nghiên cứu ứng dụng mới trong công nghệ thông tin vô tuyến băng rộng, và khẳng định vị thế khoa học với những giá trị thực tiễn đo lường được cho ngành viễn thông hiện đại.