Tổng quan luận án

Luận án tiến sĩ kỹ thuật chuyên ngành Kỹ thuật Điện tử (mã số: 62 52 02 03) của tác giả Hà Thị Kim Thoa, thực hiện tại Học viện Kỹ thuật Quân sự năm 2014 dưới sự hướng dẫn khoa học của PGS.TS. Đinh Thế Cường, mang tiêu đề "Nghiên cứu cải thiện chất lượng mã LDPC". Luận án giải quyết các vấn đề suy giảm phẩm chất truyền tin của mã kiểm tra mật độ thấp (Low-Density Parity-Check - LDPC) bắt nguồn từ các hạn chế cấu trúc và giải thuật trong hệ thống thông tin số.

Tính cấp thiết và khoảng trống nghiên cứu

Mã LDPC do R. Gallager đề xuất năm 1962 sở hữu khả năng tiệm cận giới hạn dung lượng kênh Shannon. Sau khi được tái phát hiện vào thập niên 1990, mã LDPC được đưa vào nhiều tiêu chuẩn thông tin như truyền hình số vệ tinh DVB-S2, mạng Ethernet 10 Gigabit (10GBASE-T), và các hệ thống viễn thông thế hệ thứ tư (4G, WiMAX, WiFi). So với mã Turbo, mã LDPC có ưu thế giải mã song song với độ phức tạp tính toán thấp hơn, phát hiện được hầu hết các lỗi trên thực nghiệm và có cấu trúc giải mã đơn giản.

Tuy nhiên, mã LDPC tồn tại ba rào cản kỹ thuật lớn:

  1. Mã đạt chất lượng cao đòi hỏi chiều dài khối rất lớn; việc giải mã lặp trên các khối dài gây trễ xử lý, khó ứng dụng trong các hệ thống đòi hỏi thời gian thực.
  2. Ma trận sinh $G$ không thưa, dẫn đến độ phức tạp mã hóa tỷ lệ với bình phương chiều dài từ mã ($O(n^2)$).
  3. Đồ hình Tanner của mã LDPC hữu hạn luôn tồn tại các vòng kín ngắn (mầm/girth nhỏ, đặc biệt là vòng có chiều dài 4, 6, 8) và các tập bẫy lỗi (trapping sets). Các vòng kín phá vỡ tính độc lập của thông tin trao đổi giữa các nút trong thuật toán giải mã tổng-tích (Sum-Product Algorithm - SPA), làm giảm tốc độ hội tụ và gây ra hiện tượng sàn lỗi (error floor) trên đường cong tỷ lệ lỗi bít (BER) ở vùng tỷ số tín trên tạp (SNR) cao.

Trong các hệ thống điều chế mã có hoán vị bít và giải mã lặp kết hợp LDPC (BILCM-ID), các kỹ thuật điều chế dựa trên độ tin cậy bít mã (RBCM) trước đây chỉ sử dụng ánh xạ Gray cho điều chế 8PSK, đem lại mức cải thiện nhỏ (khoảng 0,2 đến 0,3 dB) trên toàn dải SNR mà không hạ thấp được sàn lỗi. Bên cạnh đó, giải thuật SPA suy giảm chất lượng rõ rệt khi ước lượng tham số kênh bị sai số, và việc mô phỏng Monte-Carlo cho các chòm sao tín hiệu bất đối xứng như MQAM gặp sai lệch nếu chỉ áp dụng giả thiết truyền từ mã toàn số '0'.

Mục tiêu và nhiệm vụ nghiên cứu

Mục tiêu tổng quát của luận án là nghiên cứu các giải pháp cấu trúc và thuật toán nhằm khắc phục ảnh hưởng của vòng kín ngắn, hạ thấp sàn lỗi và nâng cao phẩm chất của mã LDPC trong hệ thống BILCM-ID. Ba nhiệm vụ cụ thể được đánh số theo văn bản bao gồm:

  1. Nghiên cứu phương pháp điều chế trong hệ thống BILCM-ID trên cơ sở độ tin cậy của các bít mã nhằm hạ thấp sàn lỗi.
  2. Đề xuất sử dụng các ánh xạ đa chiều (2D, 3D, 4D) để áp dụng nguyên lý BILCM-ID cho điều chế nhị phân BPSK, biến điều chế hai mức thành điều chế đa mức.
  3. Cải tiến thuật toán giải mã tổng-tích SPA bằng cách đưa vào hệ số hiệu chỉnh nhằm khắc phục ảnh hưởng của vòng kín ngắn trên đồ hình Tanner và giảm tác động tiêu cực của sai số ước lượng kênh; đồng thời đề xuất giải pháp trộn bít để chuẩn hóa quá trình mô phỏng các chòm sao tín hiệu đa mức.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Kênh vô tuyến số; các đặc tính mã hóa và giải mã của mã LDPC; nguyên lý hệ thống điều chế mã có hoán vị bít và giải mã lặp (BICM-ID); các phép ánh xạ tín hiệu đa mức và đa chiều.
  • Phạm vi nghiên cứu: Luận án tập trung khảo sát kênh tạp âm Gao-xơ trắng cộng tính (AWGN); mã LDPC nhị phân có tỷ lệ mã $R = 1/2$ với chiều dài khối từ ngắn đến trung bình ($n$ từ 8 đến 1920 bít); các sơ đồ điều chế BPSK, 4PSK, 8PSK, 16QAM và các dạng điều chế đa chiều tương đương.

Tổng quan tài liệu và vị trí của luận án

Luận án hệ thống hóa các mốc phát triển lý thuyết mã hóa kênh và điều chế mã qua các công trình tiêu biểu:

  • Lý thuyết thông tin và dung lượng kênh: C. Shannon (1948) đặt nền móng với các định lý về dung lượng kênh rời rạc, kênh nhị phân đối xứng (BSC), kênh xóa nhị phân (BEC) và kênh AWGN liên tục, chứng minh sự tồn tại của các bộ mã có thể truyền tin với xác suất lỗi thấp tùy ý khi tốc độ truyền $R < C$.
  • Sự phát triển của mã khối và mã chập: Mã Hamming (1950), mã Golay (1949), mã Reed-Solomon (RS, 1960), mã Bose-Chaudhuri-Hocquenghem (BCH, 1959-1960) và mã vòng (Cyclic). Về mã chập, P. Elias (1955) giới thiệu mô hình mã có nhớ; J. Viterbi (1967) đề xuất thuật toán Viterbi (VA) giải mã chuỗi cực tiểu; L. Bahl et al. (1974) phát triển thuật toán BCJR cực tiểu hóa xác suất lỗi bít; G. D. Forney (1966) đề xuất mô hình mã liên kết (RS ngoài, chập trong).
  • Mã Turbo và sự tái sinh của mã LDPC: C. Berrou et al. (1993) phát minh mã chập liên kết song song (PCCC - Turbo); S. Benedetto et al. (1996) nghiên cứu mã chập liên kết nối tiếp (SCCC); Divsalar et al. phát triển mã tích lũy lặp (RA). R. Gallager (1962, 1963) đề xuất mã kiểm tra mật độ thấp regular LDPC $(n, i, j)$ với ma trận kiểm tra thưa. D. MacKay và R. Neal (1996) tái phát hiện mã LDPC và áp dụng giải thuật tổng-tích (SPA) trên đồ hình bipartite của R. Tanner (1981).
  • Các hướng hoàn thiện mã LDPC: M. Luby et al. (1998, 2001) đề xuất mã LDPC irregular; Davey và MacKay khảo sát mã LDPC trên trường Galois $GF(q)$ ($q > 2$). R. McEliece et al. (1998) kết nối giải mã LDPC với thuật toán lan truyền niềm tin (Belief Propagation - BP) trong trí tuệ nhân tạo; F. Kschischang et al. (2001) tổng quát hóa thành đồ hình thừa số (factor graph) và thuật toán SPA. Về thiết kế ma trận kiểm tra, Y. Kou et al. (2001) xây dựng mã LDPC dựa trên hình học hữu hạn Euclid và xạ ảnh; MacKay và Davey nghiên cứu cấu trúc đại số từ hệ Steiner và hệ Kirkman (Đại học Newcastle). Về hiện tượng sàn lỗi, T. Richardson (2003) và B. Vasic (2004) phân tích cơ chế tập bẫy lỗi (trapping sets) liên quan đến chu trình ngắn.
  • Kỹ thuật điều chế mã: J. Massey (1974) khởi xướng việc tích hợp mã hóa kênh với điều chế nhiều mức (Coded Modulation - CM); G. Ungerboeck (1982) phát triển điều chế mã lưới (TCM); H. Imai và S. Hirakawa (1977) đề xuất mã đa mức (MLC); G. Caire et al. (1998) và X. Li, J. Ritcey (1998) hoàn thiện sơ đồ điều chế mã hoán vị bít và giải mã lặp (BICM-ID).
  • Các giải pháp giải mã xấp xỉ và kỹ thuật độ tin cậy: M. Fossorier đề xuất giải thuật Min-Sum (1999) làm giảm độ phức tạp tính toán nhưng làm giảm phẩm chất từ 0,5 đến 1 dB; J. Chen et al. sử dụng hệ số chuẩn hóa hoặc bù để cải thiện Min-Sum. Kỹ thuật giải mã theo bậc thống kê (OSD) kết hợp BP thành BP-OSD làm tăng độ phức tạp theo hàm số mũ. Nghiên cứu điều chế mã dựa trên độ tin cậy (RBCM) của C. Fragouli et al. (2003) chỉ áp dụng ánh xạ Gray cho 8PSK.

Khoảng trống nghiên cứu được lựa chọn giải quyết: Hệ số hiệu chỉnh trước đây chỉ được nghiên cứu cho giải thuật xấp xỉ Min-Sum; chưa có công trình nào khảo sát việc áp dụng hệ số hiệu chỉnh trực tiếp vào giải thuật SPA để hạn chế sự mất độc lập thông tin do các vòng ngắn trên đồ hình Tanner và giảm độ nhạy với sai số ước lượng kênh. Đồng thời, các hệ thống BILCM-ID chưa từng kết hợp phân loại độ tin cậy của từng bít mã LDPC với kỹ thuật phân hoạch tập (Set Partitioning - SP) nhằm phân bổ mức độ bảo vệ chòm sao để hạ thấp sàn lỗi, cũng như chưa có giải pháp mở rộng BILCM-ID cho điều chế BPSK thông qua ánh xạ đa chiều.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết và khái niệm cốt lõi

  1. Lý thuyết thông tin Shannon:
    • Entropy của nguồn rời rạc không nhớ (DMS): $H(X) = -\sum_{i=1}^M P_i \log_2 P_i$ (bít/biểu tượng).
    • Lượng tin tương hỗ giữa đầu vào $X$ và đầu ra $Y$: $I(X; Y) = \sum_{i,j} P(x_i, y_j) \log_2 \frac{P(x_i | y_j)}{P(x_i)}$.
    • Dung lượng kênh AWGN liên tục: $C = B \log_2 \left(1 + \frac{P}{N_0 B}\right)$ (bít/giây).
  2. Cấu trúc toán học của mã LDPC:
    • Mã khối tuyến tính $(n, k)$ có ma trận kiểm tra $H$ kích thước $r \times n$ ($r = n - k$) thưa các phần tử '1'.
    • Mã LDPC quy tắc (regular): trọng số cột cố định là $w_c$, trọng số hàng cố định là $w_r$, thỏa mãn $w_c \cdot n = w_r \cdot r$.
    • Các tập chỉ số nút: $N_m = {i: H_{mi} = 1}$ là tập các nút bít tham gia vào phép kiểm tra thứ $m$; $N_{m,i} = N_m \setminus {i}$; $M_i = {m: H_{mi} = 1}$ là tập các nút kiểm tra liên kết với bít thứ $i$; $M_{i,m} = M_i \setminus {m}$.
    • Đồ hình Tanner (bipartite graph): gồm tập hợp các nút bít ($c_i$) và nút kiểm tra ($z_m$). Một vòng kín (cycle) hình thành khi một đường đi khép kín xuất phát từ một nút và quay trở lại chính nó; chiều dài vòng ngắn nhất là mầm (girth), nhỏ nhất bằng 4.
  3. Mô hình hệ thống BICM-ID và BILCM-ID:
    • Đầu phát: dòng thông tin $u$ được mã hóa qua bộ mã LDPC thành từ mã $c$, qua bộ hoán vị bít $\pi$ thành chuỗi bít $c'$, sau đó bộ điều chế gom từng nhóm $m = \log_2 M$ bít thành véc-tơ $v_t$ để ánh xạ vào điểm tín hiệu $s_t = \mu(v_t)$ trên chòm sao $S$.
    • Đầu thu: bộ giải điều chế mềm (SISO) tính toán tỷ số hợp lẽ logarit (LLR) hoặc xác suất hậu nghiệm dựa trên tín hiệu thu $r_t = s_t + n_t$. Thông tin ngoài (extrinsic information) được giải hoán vị $\pi^{-1}$ đưa vào bộ giải mã LDPC. Bộ giải mã LDPC cập nhật xác suất và hồi tiếp thông tin tiên nghiệm qua bộ hoán vị $\pi$ về bộ giải điều chế mềm để lặp lại quá trình.
    • Các quy tắc ánh xạ chòm sao: ánh xạ Gray, ánh xạ phân hoạch tập (Set Partitioning - SP), và ánh xạ bán phân hoạch tập (Semi-Set Partitioning - SSP).

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

Luận án kết hợp chặt chẽ giữa hai phương pháp:

  • Phương pháp giải tích: Thiết lập mô hình toán học của đồ hình Tanner, phân tích cấu trúc cây lặp để đánh giá tính độc lập có điều kiện của các bít mã; phân tích toán học của ma trận kiểm tra mở rộng khi hoán vị trên nhiều từ mã; xây dựng biểu thức cập nhật xác suất tại nút kiểm tra có tích hợp hệ số hiệu chỉnh.
  • Phương pháp mô phỏng Monte-Carlo: Xây dựng phần mềm mô phỏng hệ thống BILCM-ID hoàn chỉnh trên máy tính; khảo sát các đường cong BER và FER theo tỷ số năng lượng bít trên mật độ phổ tạp âm ($E_b/N_0$) trên kênh AWGN; kiểm nghiệm độ nhạy của thuật toán với các mức sai số ước lượng kênh khác nhau.

Nguồn tư liệu và dữ liệu

Dữ liệu nghiên cứu bao gồm các ma trận kiểm tra của mã LDPC nhị phân quy tắc và bất quy tắc được sinh bằng các phương pháp đại số và ngẫu nhiên với tỷ lệ mã $R = 1/2$, chiều dài từ mã khảo sát bao gồm: $n = 8, 20, 240, 256, 480, 960, 1920$ bít. Dữ liệu tạp âm được sinh theo mô hình phân bố Gao-xơ trắng trung bình 0, phương sai $\sigma^2 = N_0/2$.

Nội dung chính theo từng chương

Chương 1: TỔNG QUAN

Chương 1 trình bày nền tảng lý thuyết truyền tin và nguyên lý của mã sửa lỗi:

  • Phân tích chi tiết giới hạn Shannon, các mô hình kênh rời rạc (BSC, BEC) và kênh liên tục AWGN; xác lập công thức entropy, lượng tin tương hỗ và dung lượng kênh.
  • Điểm lại tiến trình phát triển của các kỹ thuật mã kênh từ mã khối cổ điển, mã chập đến mã liên kết Turbo và mã LDPC.
  • Trình bày cấu trúc toán học của mã LDPC: biểu diễn ma trận kiểm tra $H$, ma trận sinh $G = [I | H_2^T]$ thông qua phép khử Gao-xơ, phương trình kiểm tra $z_m = h_m^T c = 0$.
  • Phân tích đồ hình Tanner, định nghĩa mầm (girth) và tác động tiêu cực của các vòng kín ngắn (chiều dài 4, 6, 8) đối với giải thuật lan truyền niềm tin (BP).
  • Trình bày sơ đồ nguyên lý hệ thống BICM-ID với hai phương thức giải mã quyết định cứng (Viterbi) và quyết định mềm (SISO, Log-MAP).
  • So sánh đặc tính của các kiểu ánh xạ chòm sao:
    • Ánh xạ Gray đạt BER thấp ở vùng SNR nhỏ do khoảng cách Hamming giữa các điểm lân cận bằng 1.
    • Ánh xạ phân hoạch tập (SP) tạo ra các kênh nhị phân con có mức bảo vệ không đồng đều; khi kết hợp với giải mã lặp ở vùng SNR cao, thông tin hồi tiếp từ các bít tin cậy giúp cải thiện cự ly Euclid hiệu dụng, đem lại chất lượng vượt trội so với Gray và SSP.

Chương 2: SƠ ĐỒ KẾT HỢP LDPC VÀ BICM-ID

Chương 2 tập trung xây dựng mô hình hệ thống BILCM-ID, phân tích thuật toán giải mã và đề xuất các giải pháp nâng cao hiệu năng thuật toán:

  • Phân tích chiều dài khối hoán vị: Xét trường hợp bộ hoán vị bít có chiều dài $N = L \cdot n$ (hoán vị trên $L$ từ mã LDPC). Luận án chứng minh bằng giải tích rằng hệ thống có ma trận kiểm tra $H$ hoán vị trên $L > 1$ từ mã tương đương với hệ thống hoán vị trên một từ mã ($L' = 1$) có ma trận kiểm tra đường chéo khối $H_L$ kích thước $L r \times L n$. Do ma trận $H_L$ chưa phải là ma trận thưa tối ưu ở kích thước $L r \times L n$, luận án khẳng định với bất kỳ bộ tham số $(r, n, L > 1)$ nào, luôn tồn tại một mã LDPC kích thước tương đương với $L' = 1$ cho phẩm chất tốt hơn. Vì vậy, luận án tập trung nghiên cứu bộ hoán vị trong phạm vi một từ mã ($L = 1$).
  • Cải tiến thuật toán giải mã tổng-tích (SPA):
    • Trong thuật toán SPA chuẩn, tại các nút kiểm tra $m$, "bản tin" truyền tới nút bít $i$ được tính toán trên giả thiết các nhánh đầu vào độc lập. Do có chu trình ngắn trên đồ hình Tanner, các bản tin trao đổi bị phụ thuộc, dẫn đến việc ước lượng độ tin cậy bị khuếch đại quá mức.
    • Luận án đề xuất đưa hệ số hiệu chỉnh (Scale Factor - SF, ký hiệu là $\alpha$ với $0 < \alpha \le 1$) vào công thức tính toán xác suất tại các nút kiểm tra: $$r_{m,i} = \alpha \cdot f(q_{j,m})$$ Phép nhân này thu nhỏ lượng thông tin ngoại lai trao đổi, kiềm chế sự lan truyền sai số do vòng ngắn mà hầu như không làm tăng độ phức tạp tính toán.
  • Kết quả khảo sát hệ số hiệu chỉnh (SF):
    • Mô phỏng thực nghiệm mã LDPC chiều dài $n = 240$ bít và $n = 480$ bít ở các mức $E_b/N_0 = 2,0\text{ dB}$, $2,5\text{ dB}$ và $3,0\text{ dB}$.
    • Kết quả xác định giá trị tối ưu là $SF = 0,9$. Khi so sánh hệ thống BILCM-ID sử dụng ánh xạ Gray và ánh xạ SP giữa hai trường hợp $SF = 1,0$ (SPA gốc) và $SF = 0,9$ (SPA cải tiến), cấu hình $SF = 0,9$ đều cho đường cong BER dịch chuyển về phía trái (cải thiện phẩm chất lỗi).
  • Khắc phục sai số ước lượng kênh:
    • Khi tỷ số tín trên tạp của kênh AWGN bị ước lượng sai lệch, phẩm chất của thuật toán SPA chuẩn ($SF = 1,0$) bị suy giảm nghiêm trọng.
    • Khảo sát các giá trị $SF = 0,9$, $0,8$ và $0,7$ cho thấy việc sử dụng hệ số hiệu chỉnh giúp hệ thống duy trì độ ổn định cao, giảm thiểu đáng kể mức tăng BER do sai số ước lượng kênh gây ra.
  • Kỹ thuật trộn bít trong mô phỏng hệ thống BILCM-ID:
    • Đối với các chòm sao có vùng quyết định Voronoi không đồng nhất giữa các điểm tín hiệu (như 16QAM), việc giả thiết phát từ mã toàn số '0' dẫn đến kết quả mô phỏng không đại diện cho hoạt động thực tế.
    • Luận án đề xuất kỹ thuật: ở phía phát, từ mã LDPC được cộng modulo 2 với chuỗi giả ngẫu nhiên (trộn bít) trước khi ánh xạ điều chế, đảm bảo mọi điểm trong chòm sao được kích hoạt với xác suất đồng đều; ở phía thu, bộ giải điều chế thực hiện giải trộn tương ứng trước khi đưa vào giải mã LDPC. Giải pháp này cho phép giữ nguyên giả thiết từ mã toàn '0' để tính toán kiểm tra mà vẫn bảo đảm độ chính xác của mô phỏng Monte-Carlo.

Chương 3: ĐIỀU CHẾ MÃ LDPC DỰA TRÊN ĐỘ TIN CẬY CỦA CÁC BÍT MÃ

Chương 3 trình bày giải pháp điều chế mã RBCM kết hợp BILCM-ID:

  • Xây dựng bộ hoán vị dựa trên độ tin cậy bít mã:
    • Luận án phân tích mức độ tin cậy nội tại của từng vị trí bít mã thông qua cấu trúc ma trận kiểm tra $H$ và bậc của các nút liên kết trên đồ hình Tanner.
    • Phân loại các bít mã thành các nhóm có bậc tin cậy khác nhau.
    • Thiết kế bộ hoán vị nhằm ánh xạ các bít mã có độ tin cậy cao hơn vào các vị trí bít được bảo vệ tốt hơn trong ký hiệu điều chế (sử dụng ánh xạ SP). Quy tắc này đảm bảo các bít thuộc cùng một vòng kín ngắn không bị gom vào cùng một biểu tượng tín hiệu phát đi, giúp cắt đứt tương quan lỗi.
  • Mô phỏng hệ thống BILCM-ID với tín hiệu đa mức:
    • Khảo sát mã LDPC tỷ lệ $R = 1/2$, chiều dài 240 bít trên kênh AWGN với các phương thức điều chế BPSK, 4PSK, 8PSK và 16QAM.
    • So sánh đối chứng giữa bộ hoán vị dựa trên độ tin cậy mới và bộ hoán vị ngẫu nhiên truyền thống: bộ hoán vị mới giúp đường cong BER giảm dốc hơn ở vùng SNR trung bình và cao, hạ thấp rõ rệt sàn lỗi.
    • Thực nghiệm so sánh hoán vị trong một từ mã ($L = 1$) và hoán vị trên nhiều từ mã ($L = 2, 4, 8$) cho cấu hình mã $(r = 60, n = 120)$, xác nhận việc tối ưu mã tại $L = 1$ mang lại hiệu quả vượt trội.
  • Mở rộng sang tín hiệu đa chiều cho điều chế BPSK:
    • Để áp dụng lợi thế của cấu trúc BILCM-ID cho điều chế nhị phân BPSK (vốn chỉ có 2 mức tín hiệu), luận án đề xuất gom $m$ bít mã đầu ra thành nhóm và ánh xạ vào véc-tơ không gian đa chiều: 2 chiều (2D, gom 2 bít), 3 chiều (3D, gom 3 bít) và 4 chiều (4D, gom 4 bít).
    • Khảo sát mô phỏng trên một chuỗi các mã LDPC có độ dài khối khác nhau:
      • Mã kích thước rất ngắn: LDPC $(8, 4)$ và LDPC $(20, 10)$ với điều chế 2D.
      • Mã kích thước ngắn và trung bình: LDPC $(240, 120)$, LDPC $(256, 128)$, LDPC $(480, 240)$, LDPC $(960, 480)$ và LDPC $(1920, 960)$ với các điều chế 2D, 3D và 4D.
    • Kết quả khẳng định việc nâng số chiều điều chế kết hợp hoán vị theo độ tin cậy bít giúp mã LDPC có chiều dài ngắn đạt được phẩm chất sửa sai tương đương các mã có chiều dài lớn hơn nhưng dùng điều chế truyền thống.
Cấu hình mã LDPC ($n, k$) Điều chế khảo sát Hệ số hiệu chỉnh ($SF$) Quy tắc ánh xạ Kết quả chính
$(240, 120)$ BPSK, 4PSK, 8PSK, 16QAM $1,0$ và $0,9$ Gray, SP $SF = 0,9$ tối ưu; ánh xạ SP kết hợp hoán vị độ tin cậy hạ thấp sàn lỗi
$(480, 240)$ MPSK / AWGN $1,0$; $0,9$; $0,8$; $0,7$ SP $SF = 0,9$ duy trì phẩm chất tốt khi có sai số ước lượng kênh
$(8, 4)$, $(20, 10)$ Tín hiệu 2D $1,0$ Đa chiều Áp dụng thành công BILCM-ID cho BPSK trên khối mã cực ngắn
$(256, 128)$ Tín hiệu 2D, 4D $0,9$ Đa chiều Tín hiệu 4D cải thiện hiệu năng giải mã lặp so với 2D
$(240, 120)$, $(480, 240)$, $(960, 480)$, $(1920, 960)$ Tín hiệu 2D, 3D $0,9$ Đa chiều Khẳng định tính hiệu quả nhất quán của điều chế đa chiều trên nhiều chiều dài khối

Kết quả và những đóng góp mới

Luận án đạt được 4 đóng góp mới về mặt khoa học và kỹ thuật thực tiễn:

  1. Ứng dụng độ tin cậy bít mã vào bộ hoán vị điều chế để hạ thấp sàn lỗi: Khác với các nghiên cứu trước đây vốn chỉ khai thác độ tin cậy bít mã trong khâu giải mã (như giải thuật OSD hay BP-OSD), luận án áp dụng độ tin cậy bít mã vào khâu tiền điều chế. Việc kết hợp bộ hoán vị phân loại bít với ánh xạ phân hoạch tập (SP) trong hệ thống BILCM-ID đã phân bổ bảo vệ tối ưu và hạ thấp sàn lỗi của mã LDPC.
  2. Kỹ thuật điều chế đa chiều cho mã LDPC nhị phân: Đề xuất và hiện thực hóa thành công việc ánh xạ khối bít mã LDPC sang các không gian tín hiệu 2D, 3D và 4D đối với điều chế BPSK, cho phép khai thác trọn vẹn độ lợi giải mã lặp của sơ đồ BILCM-ID trong các hệ thống truyền dẫn nhị phân.
  3. Cải tiến giải thuật giải mã tổng-tích (SPA) bằng hệ số hiệu chỉnh: Đưa hệ số tỉ lệ ($SF \approx 0,9$) vào biểu thức cập nhật thông tin tại các nút kiểm tra của thuật toán SPA. Giải pháp này hạn chế sự tích tụ thông tin ngoại lai sai lệch do các vòng kín ngắn gây ra mà không làm tăng độ phức tạp tính toán, đồng thời nâng cao độ bền vững của bộ giải mã trước các sai số ước lượng tỷ số tín trên tạp của kênh.
  4. Giải pháp trộn bít cho mô phỏng hệ thống điều chế mã: Đề xuất kỹ thuật cộng modulo 2 chuỗi giả ngẫu nhiên ở phía phát và giải trộn ở phía thu, giải quyết triệt để sự sai lệch thống kê khi mô phỏng chòm sao có vùng Voronoi không đồng đều (như MQAM) dưới giả thiết phát từ mã toàn số '0'.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế của luận án

  • Các khảo sát mô phỏng kiểm chứng chi tiết trong Chương 2 và Chương 3 chủ yếu thực hiện trên kênh tạp âm Gao-xơ trắng cộng tính (AWGN); mô hình kênh pha-đinh Rayleigh mới chỉ được khảo sát ở mức độ nguyên lý tổng quan trong Chương 1.
  • Các cấu hình mã LDPC thực nghiệm tập trung vào mã nhị phân có tỷ lệ mã cố định $R = 1/2$ với chiều dài khối từ ngắn đến trung bình ($n \le 1920$ bít); chưa tiến hành mở rộng thực nghiệm trên các họ mã LDPC trên trường Galois bậc cao $GF(q)$ ($q > 2$) hoặc các tỷ lệ mã đa dạng ($R = 2/3, 3/4$).
  • Luận án dừng lại ở mức mô phỏng phần mềm Monte-Carlo trên máy tính, chưa triển khai kiểm thử trên nền tảng phần cứng thực tế (như vi mạch số FPGA hoặc DSP).

Hướng nghiên cứu tiếp

  • Mở rộng đánh giá hiệu năng của hệ thống BILCM-ID kết hợp hoán vị theo độ tin cậy bít mã trên các kênh vô tuyến fading đa đường (Rayleigh, Rician) có chọn lọc tần số.
  • Nghiên cứu thuật toán xác định hệ số hiệu chỉnh $SF$ thích nghi tự động theo từng vòng lặp giải mã và theo điều kiện tức thời của kênh truyền.
  • Thiết kế kiến trúc phần cứng tối ưu hóa cho bộ giải mã SPA có tích hợp hệ số tỉ lệ và bộ ánh xạ đa chiều trên chip FPGA.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị chuyên môn đối với:

  • Nghiên cứu sinh và học viên cao học ngành Kỹ thuật Điện tử, Kỹ thuật Viễn thông: Tham khảo phương pháp luận phân tích đồ hình Tanner, các bước dẫn giải chi tiết thuật toán giải mã lặp mềm (SPA, Log-SPA, Min-Sum) và kỹ thuật mô phỏng Monte-Carlo cho hệ thống điều chế mã kênh.
  • Kỹ sư thiết kế hệ thống thông tin vô tuyến và truyền hình số: Vận dụng trực tiếp giải pháp hệ số hiệu chỉnh $SF = 0,9$ vào bộ giải mã LDPC trong các thiết bị thu DVB-S2 hoặc các trạm thu phát thông tin số nhằm cải thiện chất lượng thu nhận tín hiệu khi kênh truyền có sai số ước lượng.
  • Phần đáng tham khảo nhất: Mục 2.2 (các công thức toán học và kết quả khảo sát hệ số hiệu chỉnh cho giải thuật SPA), Mục 2.3 (kỹ thuật trộn bít trong mô phỏng chòm sao bất đối xứng) và toàn bộ Chương 3 (phương pháp xây dựng bộ hoán vị bít theo độ tin cậy và bảng thiết kế ánh xạ đa chiều 2D, 3D, 4D).

Câu hỏi thường gặp

1. Vì sao mã LDPC có ưu thế giải mã song song hơn so với mã Turbo?

Mã Turbo sử dụng cấu trúc mã chập liên kết nối tiếp hoặc song song, trong đó quá trình giải mã dựa trên thuật toán BCJR duyệt qua từng mắt lưới (trellis) theo trục thời gian, dẫn đến tính tuần tự bắt buộc. Ngược lại, mã LDPC được định nghĩa bởi ma trận kiểm tra thưa biểu diễn qua đồ hình Tanner. Các phép tính toán niềm tin tại các nút bít và nút kiểm tra trong cùng một nửa vòng lặp là hoàn toàn độc lập với nhau, cho phép phần cứng thực thi đồng thời tất cả các phép tính song song, giúp tăng tốc độ xử lý dữ liệu.

2. Tại sao luận án tập trung khảo sát bộ hoán vị bít trong phạm vi một từ mã ($L = 1$) thay vì hoán vị trên nhiều từ mã ($L > 1$)?

Một số nghiên cứu trước cho rằng hoán vị trên $L = 40 \sim 50$ từ mã là tối ưu. Tuy nhiên, luận án chứng minh rằng hệ thống hoán vị trên $L$ từ mã với ma trận kiểm tra $H$ ($r \times n$) thực chất tương đương với hệ thống hoán vị trên một từ mã ($L' = 1$) sử dụng ma trận kiểm tra khối đường chéo $H_L$ kích thước $L r \times L n$. Do $H_L$ chỉ là tập hợp rời rạc các khối ma trận nhỏ, nó không phải là ma trận thưa tối ưu ở kích thước lớn đó. Luôn tồn tại một ma trận kiểm tra kích thước $L r \times L n$ được thiết kế tổng thể cho phẩm chất tốt hơn việc ghép nối các khối. Do đó, việc nghiên cứu tối ưu hóa bộ hoán vị trên một từ mã ($L = 1$) mang tính bản chất và đạt hiệu quả thiết kế cao nhất.

3. Việc đưa hệ số hiệu chỉnh (SF) vào thuật toán giải mã SPA nhằm giải quyết vấn đề gì và giá trị nào là tối ưu?

Sự tồn tại của các vòng kín ngắn (chiều dài 4, 6, 8) trên đồ hình Tanner vi phạm giả định về tính độc lập của các bản tin trao đổi trong thuật toán SPA, khiến độ tin cậy của các phép kiểm tra bị ước lượng phóng đại sau mỗi vòng lặp. Việc nhân thêm hệ số hiệu chỉnh $SF \le 1$ tại các nút kiểm tra giúp thu nhỏ thông tin trao đổi, kiềm chế sự lan truyền sai số và bù đắp cho sự mất độc lập dữ liệu. Kết quả mô phỏng thực nghiệm trên các độ dài mã 240 và 480 bít xác định giá trị tối ưu là $SF = 0,9$.

4. Tại sao ánh xạ phân hoạch tập (SP) lại vượt trội ánh xạ Gray ở vùng SNR cao trong hệ thống BILCM-ID?

Ánh xạ Gray tối thiểu hóa số bít lỗi trên mỗi biểu tượng sai bằng cách gán các điểm lân cận chỉ khác nhau 1 bít, rất có lợi ở vùng SNR thấp khi bộ giải mã chưa có thông tin phản hồi tốt. Tuy nhiên, ánh xạ phân hoạch tập (SP) tạo ra các vị trí bít có cự ly bảo vệ không đều nhau. Khi hoạt động lặp ở vùng SNR cao, các bít ở vị trí có độ bảo vệ cao được giải mã chính xác trước sẽ cung cấp thông tin tiên nghiệm tin cậy cho bộ giải điều chế mềm, giúp mở rộng khoảng cách Euclid hiệu dụng để giải mã các bít còn lại, từ đó tạo ra độ dốc đường cong BER lớn hơn và hạ thấp sàn lỗi.

5. Kỹ thuật trộn bít đề xuất ở Chương 2 giải quyết sai lệch gì trong quá trình mô phỏng?

Khi mô phỏng Monte-Carlo cho mã tuyến tính, người ta thường giả thiết phát từ mã toàn số '0' để tiết kiệm thời gian tính toán. Với điều chế MPSK, các điểm tín hiệu có vùng quyết định Voronoi đồng nhất nên giả thiết này không gây sai lệch. Nhưng với điều chế MQAM (như 16QAM), các điểm tín hiệu nằm ở biên, góc và tâm có diện tích và hình dạng vùng Voronoi khác nhau; việc chỉ phát từ mã toàn '0' khiến máy phát chỉ phát duy nhất một điểm tín hiệu tương ứng, làm sai lệch xác suất lỗi thực tế. Kỹ thuật trộn bít bằng cách cộng chuỗi giả ngẫu nhiên đảm bảo các điểm tín hiệu trên chòm sao xuất hiện với xác suất đồng đều mà phía thu vẫn giải trộn được để kiểm tra từ mã toàn '0'.

Kết luận

Luận án tiến sĩ của tác giả Hà Thị Kim Thoa đã giải quyết vấn đề nâng cao chất lượng truyền tin của mã LDPC thông qua việc kết hợp kỹ thuật điều chế mã BILCM-ID với nguyên lý độ tin cậy bít mã và cải tiến thuật toán giải mã tổng-tích SPA. Bằng phương pháp nghiên cứu giải tích kết hợp mô phỏng Monte-Carlo, luận án đã xác lập giá trị hiệu chỉnh tối ưu $SF = 0,9$ cho giải thuật SPA, đề xuất các sơ đồ ánh xạ đa chiều cho điều chế nhị phân và xây dựng thành công bộ hoán vị bít theo độ tin cậy kết hợp ánh xạ phân hoạch tập giúp hạ thấp sàn lỗi. Các kết quả đạt được cung cấp luận cứ khoa học và giải pháp kỹ thuật cụ thể để ứng dụng hiệu quả mã LDPC trong các hệ thống thông tin vô tuyến số hiện đại.