Tổng quan về luận án

Mạng cảm biến không dây (Wireless Sensor Networks - WSN) giữ vai trò then chốt trong việc kết nối thế giới vật lý với thế giới số, phục vụ các hạ tầng giám sát quy mô lớn từ dự báo thiên tai, quan trắc cháy rừng, nông nghiệp thông minh đến y tế và quốc phòng. Tuy nhiên, các nút cảm biến bị ràng buộc nghiêm ngặt bởi nguồn tài nguyên hữu hạn: "mỗi nút có bộ vi xử lý, bộ nhớ, bộ phận thu/phát tín hiệu không dây, một hoặc nhiều thiết bị cảm biến, nguồn năng lượng (pin) và có thể có cả bộ phận định vị" nhưng thường không thể sạc lại hoặc thay thế pin khi triển khai tại các địa bàn hiểm trở. Trong bối cảnh đó, các kỹ thuật định tuyến truyền thống dựa trên thông tin cấu trúc mạng (topology-based routing) bộc lộ nhược điểm cố hữu do đòi hỏi bộ nhớ lớn để duy trì bảng định tuyến và làm bùng nổ các gói tin điều khiển (control packets), gây cạn kiệt năng lượng nhanh chóng.

Định tuyến dựa trên thông tin vị trí (geographic/location-based routing) ra đời như một bước chuyển dịch mô thức vượt bậc nhằm giải quyết bài toán định tuyến phi trạng thái (stateless routing). Dù vậy, phương pháp này đặt ra hai tiền đề kỹ thuật phức tạp: (1) các nút phải biết được tọa độ không gian của mình một cách chính xác mà không làm gia tăng chi phí phần cứng như gắn chip định vị toàn cầu (GPS), và (2) giao thức chuyển tiếp phải xử lý hiệu quả hiện tượng cực tiểu địa phương (local minimum) khi gói tin gặp phải các vùng trống truyền thông (communication holes) mà không gây nghẽn hay suy kiệt tài nguyên tại biên mạng.

Luận án tiến sĩ chuyên ngành Truyền dữ liệu và Mạng máy tính (Mã số: 62.01) của nghiên cứu sinh Lê Đình Thanh, dưới sự hướng dẫn khoa học của PGS. TS. Nguyễn Đại Thọ tại Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội (với sự cố vấn học thuật từ GS. Stefan Fünke), đã giải quyết căn cơ các nút thắt then chốt này thông qua ba mục tiêu và câu hỏi nghiên cứu cốt lõi:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để xác định các nút biên (boundary nodes) phục vụ thuật toán định vị không mốc (anchor-free localization) chỉ dựa trên thông tin kết nối thuần túy (connectivity-based) với độ phức tạp tính toán và truyền thông ở mức tối thiểu, đồng thời hoạt động chính xác trên cả các mạng có mật độ nút thưa và phân bố không đồng đều?
  • Giả thuyết 1 (H1): Một nút cảm biến nằm gần biên khi và chỉ khi đồ thị vùng lân cận 2 chặng (2-hop Neighborhood Graph - 2NG) của nút đó không tạo thành một cấu trúc vành khép kín bao bọc nút.
  • Câu hỏi nghiên cứu 2 (RQ2): Làm thế nào để loại bỏ tình trạng kéo dài đường đi và giảm tải áp lực giao thông tập trung lên các nút biên trong quá trình phục hồi sau cực tiểu địa phương ở định tuyến địa lý?
  • Giả thuyết 2 (H2): Việc chủ động tạo lập và khai thác các đường tắt (shortcuts) đa luồng/đa đích kết hợp cơ chế chuyển tiếp tham lam (GPOR) sẽ rút ngắn tỷ lệ kéo dài đường đi, đẩy luồng dữ liệu ra xa biên và cân bằng tải trên toàn mạng.
  • Câu hỏi nghiên cứu 3 (RQ3): Làm thế nào để thiết kế giao thức định tuyến không cần gói tin chào hỏi (beaconless routing) vừa triệt tiêu hoàn toàn các gói tin trùng lặp, vừa duy trì độ trễ đầu cuối ở mức tối ưu?
  • Giả thuyết 3 (H3): Cơ chế cạnh tranh kết hợp (hybrid contention) tích hợp cạnh tranh quyết liệt (aggressive contention) ưu tiên trước và chuyển tiếp không quyết liệt (non-aggressive contention) làm dự phòng sẽ kế thừa trọn vẹn ưu điểm tốc độ và tính toàn vẹn của cả hai giải pháp.

Phạm vi nghiên cứu bao quát các mạng cảm biến không dây tĩnh hai chiều (2D WSN) với quy mô từ hàng trăm đến hàng ngàn nút, kiểm thử trên nhiều hình thái phân bố không gian và mật độ lưu lượng đồng thời khác nhau, mở ra giải pháp toàn diện từ khâu hỗ trợ định vị hình học đến tối ưu hóa hiệu năng chuyển tiếp dữ liệu.

Literature Review và Positioning

Nghiên cứu định tuyến và định vị trong WSN phân rã thành các nhánh học thuật chính với nhiều mâu thuẫn lý thuyết và kỹ thuật sâu sắc:

                                MẠNG CẢM BIẾN KHÔNG DÂY (WSN)
                                              |
                     +------------------------+------------------------+
                     |                                                 |
         [1] BÀI TOÁN ĐỊNH VỊ                             [2] BÀI TOÁN ĐỊNH TUYẾN
                     |                                                 |
         +-----------+-----------+                         +-----------+-----------+
         |                       |                         |                       |
    Range-based          Connectivity-based          Topology-based        Location-based
 (RSSI, ToA, AoA)       (Anchor-free / Range-free)  (DSDV, AODV, DSR)     (Geographic Routing)
                                 |                                                 |
                     +-----------+-----------+                         +-----------+-----------+
                     |                       |                         |                       |
                 Thống kê                 Tô-pô                    Greedy + Face         Beaconless
            (Fekete, Bi et al.)     (Ghrist, Wang et al.)         (GPSR, GPOR)          (Aggressive vs
                     |                       |                         |               Non-aggressive)
                     +-----------+-----------+                         |                       |
                                 |                                     +-----------+-----------+
                          ĐÓNG GÓP LUẬN ÁN:                                        |
                     - Thuật toán biên 2NG                                ĐÓNG GÓP LUẬN ÁN:
                     - Giảm phức tạp O(1)                                 - Giao thức GPOR
                                                                          - Giao thức HCGR

1. Phân kỳ trong bài toán định vị và phát hiện biên

Định vị dựa trên khoảng cách (range-based) đòi hỏi phần cứng đo lường phụ trợ đắt tiền như chỉ số cường độ tín hiệu nhận RSSI (Patwari et al., 2003), thời gian truyền sóng ToA hay góc tới AoA (Niculescu & Nath, 2003). Các phương pháp này cực kỳ nhạy cảm với nhiễu môi trường và đòi hỏi mật độ điểm mốc (anchor nodes) dày đặc. Ngược lại, định vị dựa trên kết nối (connectivity-based) không cần điểm mốc như Co giãn đa chiều MDS-MAP (Shang et al., 2003) hoặc Mô hình mảng cao su Rubberband (Bruck et al., 2005; Sarkar et al., 2007) lại phụ thuộc hoàn toàn vào độ chính xác của bước phát hiện nút biên.

Các thuật toán phát hiện biên hiện hữu phân tách thành hai trường phái:

  • Phương pháp thống kê: Fekete et al. (2004) [21] sử dụng phân ngưỡng bậc nút động; Bi et al. (2006) [5] so sánh tương phản bậc nút cách 2 chặng; hay kỹ thuật phân ngưỡng mức trung tâm (centrality) [22]. Điểm yếu của trường phái này là bắt buộc các nút phải phân bố đều và mật độ mạng rất dày; khi mạng thưa, sai số nhận diện biên bùng nổ.
  • Phương pháp cấu trúc tô-pô: Ghrist et al. (2005) [29] sử dụng đại số đồng điều (homology); Kröller et al. (2006) [53] dựa trên cấu trúc tổ hợp hoa và chu kỳ gia tăng; Wang et al. (2006) [91] xây dựng cây đường đi ngắn nhất để tìm nút tổ tiên chung bé nhất (Lowest Common Ancestor - LCA); Fünke (2005) [26] phát hiện biên bằng các đường đồng mức (isolines). Các phương pháp này đòi hỏi chi phí truyền thông khổng lồ do phải bầu thủ lĩnh (leader election), phát tràn thông điệp (flooding) toàn mạng và không thể hoạt động phân tán hiệu quả trên nút tài nguyên thấp.

2. Tranh luận trong tối ưu hóa chuyển tiếp định tuyến vị trí

Mô hình định tuyến kinh điển kết hợp Chuyển tiếp tham lam (Greedy Forwarding) và Đi theo biên (Face/Perimeter Routing) như GPSR (Karp & Kung, 2000) đối mặt với hai vấn đề: đường đi phục hồi dọc theo biên vùng trống thường bị kéo dài quá mức (high path stretch) và tạo điểm nghẽn lưu lượng tập trung tại các nút bao quanh vùng trống, làm các nút này cạn pin nhanh chóng, dẫn tới việc khoét rộng thêm diện tích vùng trống. Các kỹ thuật tối ưu hóa đường đi của Datta et al. (2006) [51] hay Cheng et al. (2008) chỉ áp dụng cho kịch bản đơn đích, tốc độ hội tụ đường tắt chậm và dễ thất bại khi hình thái vùng trống phức tạp.

3. Đối nghịch giữa các cơ chế định tuyến không dùng gói tin chào hỏi

Để loại bỏ năng lượng tiêu hao do phát gói tin chào hỏi định kỳ (beacon messages), các giao thức beaconless chuyển trách nhiệm chọn nút chuyển tiếp sang cơ chế cạnh tranh thời gian trễ. Cơ chế cạnh tranh quyết liệt (Aggressive Contention - Blum et al., 2003) cho độ trễ cực thấp vì nút thắng cuộc chuyển tiếp ngay lập tức mà không cần báo hiệu, nhưng lại sinh ra các gói tin trùng lặp (duplicate packets) khi nhiều nút lân cận phản hồi gần như đồng thời. Ngược lại, cơ chế không quyết liệt (Non-aggressive Contention - Chawla et al., 2006; He et al., 2007) dùng các gói tin điều khiển (RTS/CTS) để loại bỏ trùng lặp nhưng làm tăng vọt độ trễ và tiêu hao băng thông.

Luận án định vị chính xác khoảng trống học thuật: thiết lập một hệ thống giải pháp đồng bộ từ tầng nhận thức biên cục bộ phân tán (2-hop topology), tối ưu hóa đường đi đa luồng/đa đích (GPOR), đến cơ chế chuyển tiếp lai không beacon (HCGR), vượt trội hơn các công trình quốc tế cùng thời kỳ.

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

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

Luận án đóng góp vào nền tảng lý thuyết mạng cảm biến không dây thông qua ba mô thức phân tích toán học và cấu trúc tô-pô mạng:

  1. Định lý cấu trúc hình học cục bộ 2 chặng: Mở rộng lý thuyết đồ thị vùng lân cận để giải bài toán nhận diện biên. Khẳng định cốt lõi của luận án chỉ ra rằng: "Một nút nằm gần biên khi và chỉ khi đồ thị vùng lân cận 2 chặng của nó không tạo thành một cái vành". Luận án chứng minh một cách chặt chẽ rằng thông tin kết nối cục bộ trong bán kính 2 chặng ($G_2(v)$) chứa đầy đủ các thuộc tính tô-pô để phân biệt nút trong (interior nodes) và nút biên (boundary nodes) mà không cần chuyển đổi tọa độ không gian toàn cục.
  2. Khung lý thuyết cân bằng tải và phân tán động: Xây dựng mô hình định tuyến chuyển tiếp tham lam kết hợp tối ưu đường đi (GPOR), chứng minh toán học về sự hội tụ của các đường tắt (shortcuts) tạo lập chủ động và thụ động. Khung lý thuyết này chứng minh rằng việc dịch chuyển luồng dữ liệu ra khỏi chu vi biên của vùng trống truyền thông sẽ phân bổ đều phương sai năng lượng tiêu thụ trên toàn mạng, kéo dài thời gian sống của các nút biên.
  3. Mô hình chuyển tiếp không trạng thái lai (Hybrid Stateless Forwarding Theory): Hệ thống hóa cơ chế cạnh tranh môi trường truyền thông không beacon thông qua hàm xác suất phân tách không gian: không gian cạnh tranh quyết liệt (Aggressive Area - AA) và không gian cạnh tranh không quyết liệt (Non-aggressive Area - NA), loại bỏ hoàn toàn sự phụ thuộc vào trạng thái bảng định tuyến lân cận.
                           KHUNG PHÂN TÍCH ĐỘC ĐÁO
  =========================================================================
  [Tầng nhận thức Biên]     -->  Đồ thị lân cận 2 chặng (2NG)
                                 - Thuần túy kết nối, phi mốc (Anchor-free)
                                 - Nhận diện vành tô-pô cục bộ O(1)
  -------------------------------------------------------------------------
  [Tầng tối ưu đường đi]    -->  Giao thức định tuyến GPOR
                                 - Greedy Forwarding + Boundary Detour
                                 - Kỹ thuật tạo đường tắt (Shortcut Creation)
                                 - Phân tán tải đa luồng / vùng đích
  -------------------------------------------------------------------------
  [Tầng chuyển tiếp MAC]    -->  Giao thức định tuyến lai HCGR
                                 - Tích hợp Aggressive & Non-aggressive
                                 - Cơ chế triệt tiêu gói tin trùng lặp
                                 - Loại bỏ hoàn toàn gói tin chào hỏi (Beacon)
  =========================================================================

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

Khung phân tích của luận án tích hợp liên ngành ba trụ cột:

  • Lý thuyết đồ thị tổ hợp và hình học tính toán: Sử dụng phép đục lỗ tô-pô (topological hole detection) dựa trên đồ thị Delaunay và phân rã tam giác hóa cục bộ để phân tích vùng khuyết thông tin.
  • Kỹ thuật tối ưu hóa đường đi đa mục tiêu: Đạt được sự cân bằng giữa tối thiểu hóa hệ số kéo dài đường đi (Path Stretch Factor), giảm thiểu độ trễ đầu cuối (End-to-End Latency) và tối ưu hóa tổng năng lượng phát xạ toàn mạng.
  • Thiết kế giao thức bắt chéo tầng (Cross-layer MAC/Routing Design): Kết hợp việc lựa chọn nút định tuyến ở tầng Network với cơ chế cạnh tranh truy cập kênh truyền ở tầng MAC thông qua việc định hình lại khung thời gian chờ (backoff timer) tỷ lệ nghịch với tiến độ khoảng cách hướng về đích.

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

Thiết kế nghiên cứu

Luận án tuân thủ chặt chẽ thế giới quan thực chứng (positivism) với phương pháp nghiên cứu định lượng mô phỏng mạng vi mô (discrete-event network simulation). Toàn bộ các thuật toán và giao thức được mô hình hóa toán học, cài đặt và đánh giá đa chiều.

+-------------------------------------------------------------------------+
|                  THIẾT KẾ VÀ QUY TRÌNH THỰC NGHIỆM                      |
+-------------------------------------------------------------------------+
| [Mô hình hóa hệ thống]                                                  |
| - Không gian mạng: 2D Uniform / Non-uniform Random Distribution         |
| - Mô hình truyền sóng: Unit Disk Graph (UDG) & Radio đẳng hướng         |
| - Kịch bản kiểm thử: Mật độ thưa/dày, biên lồi/lõm, đa luồng dữ liệu    |
+-------------------------------------------------------------------------+
                                    |
                                    v
+-------------------------------------------------------------------------+
| [Thực thi giải thuật]                                                   |
| - 2NG Boundary Detection: Kiểm tra chu trình vành lân cận 2 chặng       |
| - GPOR Algorithm: Tạo gói SC, nắn luồng dữ liệu, hỗ trợ vùng đích       |
| - HCGR Protocol: Phân chia vùng AA/NA, điều phối cạnh tranh lai         |
+-------------------------------------------------------------------------+
                                    |
                                    v
+-------------------------------------------------------------------------+
| [Đánh giá & Đo lường độ tin cậy]                                        |
| - Boundary Detection: Precision & Recall theo mật độ mạng               |
| - Routing Performance: Path Stretch, End-to-End Delay, PDR, Overhead    |
| - Đối chuẩn: So sánh với GPSR, MDS-MAP, Isolines, Aggressive/Non-agg.   |
+-------------------------------------------------------------------------+

Hệ thống mạng được thiết lập trong không gian hai chiều, trong đó các nút cảm biến đồng nhất phân bố ngẫu nhiên theo tiến trình điểm Poisson (Poisson Point Process). Mô hình truyền sóng giả định bán kính truyền thông đẳng hướng $R$, hai nút thiết lập liên kết đối xứng khi và chỉ khi khoảng cách Euclid giữa chúng $d(u, v) \le R$ (mô hình Unit Disk Graph - UDG).

Quy trình nghiên cứu

Quy trình thu thập dữ liệu và xử lý thuật toán được chuẩn hóa qua các pha:

THUẬT TOÁN 1: XỬ LÝ GÓI TIN ĐỊNH TUYẾN TẠI MỖI NÚT CẢM BIẾN
Input: Gói tin p mang tọa độ nút nguồn S, đích D, chế độ mode, điểm cực tiểu L_min
Output: Chuyển tiếp gói tin p đến nút kế tiếp hoặc lên tầng ứng dụng

1: if Tôi là nút đích của gói tin p then
2:     Chuyển gói tin lên tầng trên (giao vận / ứng dụng)
3: else
4:     if p.mode == GREEDY then
5:         Tìm nút láng giềng v sao cho khoảng cách dist(v, D) là nhỏ nhất
6:         if dist(v, D) < dist(Tôi, D) then
7:             Chuyển tiếp gói tin p cho v theo Greedy Forwarding (GF)
8:         else
9:             Ghi nhận vị trí của Tôi vào tiêu đề gói tin: p.L_min = Vị trí của Tôi
10:            Chuyển gói tin sang chế độ phục hồi: p.mode = RECOVERY
11:            Thực hiện chuyển tiếp theo biên (Face Routing / Boundary Detour)
12:        end if
13:    else if p.mode == RECOVERY then
14:        if dist(Tôi, D) < dist(p.L_min, D) then
15:            Chuyển gói tin về chế độ tham lam: p.mode = GREEDY
16:            Quay lại thực hiện bước 5
17:        else
18:            Tiếp tục chuyển tiếp dọc theo đường biên vùng trống
19:        end if
20:    end if
21: end if
  • Kiểm định thuật toán phát hiện biên 2NG: Mỗi nút phát một gói tin quảng bá 1 chặng chứa danh sách láng giềng. Sau 2 chặng trao đổi, mỗi nút xây dựng đồ thị $G_2(v) = (V_2(v), E_2(v))$. Nút chạy thuật toán kiểm tra chu trình: nếu tập đỉnh $V_2(v) \setminus {v}$ tạo thành chu trình đóng bao quanh $v$, nút đó là nút trong; ngược lại, nút được dán nhãn là nút biên.
  • Kiểm định giao thức GPOR: Khi một gói tin dữ liệu chuyển tiếp theo chế độ biên thành công qua vùng trống, nút chuyển tiếp sẽ phát sinh các gói tạo đường tắt (Shortcut Creation - SC). Gói SC được truyền ngược về nút bắt đầu rẽ biên nhằm thiết lập liên kết ngắn hơn, giúp các gói tin tiếp theo bỏ qua hoàn toàn đoạn đường vòng.
  • Kiểm định giao thức HCGR: Không gian lân cận phía trước được chia thành Vùng cạnh tranh quyết liệt (AA) và Vùng cạnh tranh không quyết liệt (NA). Nút nằm trong AA tính toán thời gian trễ $T_{backoff} = \alpha \cdot (R - progress)$ và phát dữ liệu ngay lập tức. Nút trong vùng NA gửi gói yêu cầu gửi tin (RTS) nếu không nhận được tín hiệu truyền nào từ vùng AA sau khoảng thời gian bảo vệ.

Dữ liệu và phân tích

Thiết kế thực nghiệm bao phủ nhiều biến số mạng độc lập:

  • Kích thước mạng và mật độ nút: Số lượng nút biến thiên từ 100 đến 1000 nút trên các diện tích từ $500m \times 500m$ đến $2000m \times 2000m$, mức độ kết nối trung bình (bậc nút trung bình $d$) thay đổi từ mật độ thưa ($d = 6 - 8$) đến mật độ dày đặc ($d = 15 - 25$).
  • Số lượng luồng lưu lượng: Biến thiên từ 1 luồng đơn lẻ đến 20 luồng đồng thời ngẫu nhiên để kiểm tra mức độ chịu tải và tắc nghẽn.
  • Các chỉ số đo lường hiệu năng (Metrics):
    • Độ chính xác (Precision) và Độ hồi tưởng (Recall) của thuật toán phát hiện biên.
    • Tỷ lệ kéo dài độ dài đường đi (Path Stretch Factor): Tỷ số giữa chiều dài đường đi thực tế và khoảng cách Euclid ngắn nhất.
    • Độ trễ đầu cuối - đầu cuối (End-to-End Delay): Thời gian tính bằng mili-giây từ khi nút nguồn phát gói tin đến khi nút đích nhận trọn vẹn.
    • Tỷ lệ chuyển gói tin thành công (Packet Delivery Ratio - PDR).
    • Tổng số gói tin phát tỏa (Total Transmissions Overhead).
    • Tỷ lệ gói tin trùng lặp (Duplicate Packet Ratio).

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

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

+-----------------------------------------------------------------------------+
| BẢNG SO SÁNH CÁC CHỈ SỐ ĐỘT PHÁ CỦA CÁC ĐỀ XUẤT TRONG LUẬN ÁN               |
+--------------------------+-----------------------+--------------------------+
| Thuật toán / Giao thức   | Giải pháp đối chuẩn   | Đề xuất của Luận án      |
+--------------------------+-----------------------+--------------------------+
| Phát hiện nút biên       | Phương pháp Isolines: | Thuật toán 2NG:          |
|                          | - Cần 4 mốc toàn cục  | - 0 mốc toàn cục         |
|                          | - Phức tạp O(N)       | - Phức tạp O(1)          |
|                          | - Mật độ thưa: kém    | - Mật độ thưa: Recall cao|
+--------------------------+-----------------------+--------------------------+
| Tối ưu đường đi          | GPSR chuẩn:           | Giao thức GPOR:          |
|                          | - Path stretch: Cao   | - Giảm Path stretch rõ rệt|
|                          | - Tắc nghẽn biên lớn  | - Cân bằng tải toàn mạng |
|                          | - Đơn đích            | - Hỗ trợ vùng / đa đích  |
+--------------------------+-----------------------+--------------------------+
| Định tuyến không Beacon  | Aggressive / Non-agg: | Giao thức HCGR:          |
|                          | - Agg: Trùng lặp cao  | - 0% gói tin trùng lặp   |
|                          | - Non-agg: Trễ lớn    | - Độ trễ tối ưu ngang ngửa|
|                          |                       |   chế độ Aggressive      |
+--------------------------+-----------------------+--------------------------+
  1. Hiệu năng nhận diện biên của 2NG vượt trội ở mật độ thưa: Trong khi các giải pháp thống kê kinh điển của Fekete et al. [21] và Bi et al. [5] sụp đổ độ chính xác khi bậc nút $d < 8$ (do không đủ mẫu thống kê), thuật toán phát hiện biên 2NG của luận án duy trì độ hồi tưởng (recall) và độ chính xác (precision) cao ổn định nhờ khai thác trực tiếp tính liên thông hình học 2 chặng. Đặc biệt, chi phí truyền thông giảm từ mức $O(N)$ (phát tràn toàn mạng để tìm mốc trong Isolines của Fünke [26]) xuống mức cố định $O(1)$ tại mỗi nút.
  2. GPOR triệt tiêu hiện tượng thắt cổ chai tại biên vùng trống: Kết quả mô phỏng cho thấy giao thức GPOR giúp rút ngắn hệ số kéo dài đường đi từ 30% đến 45% so với phương pháp đi theo biên chuẩn của GPSR. Quan trọng hơn, bằng việc chủ động tạo các đường tắt nắn luồng dữ liệu dịch chuyển ra xa biên vùng khuyết, GPOR giảm tải lưu lượng qua các nút biên đến hơn 50%, bảo vệ các nút này khỏi nguy cơ kiệt pin sớm và ngăn ngừa hiện tượng lan rộng vùng trống.
  3. Mở rộng năng lực định tuyến cho kịch bản vùng đích và đa đích: GPOR phá vỡ giới hạn của các công trình tiền nhiệm (chỉ hỗ trợ 1 nút đích cố định) bằng việc tối ưu hóa đường đi hướng tới một vùng đích địa lý (destination area). Khi nhiều luồng lưu lượng đồng thời diễn ra, các đường tắt được chia sẻ và tái sử dụng, giúp tổng số phát tỏa trên toàn mạng giảm mạnh khi số luồng giao thông tăng lên.
  4. HCGR xóa bỏ sự đánh đổi giữa độ trễ và gói tin trùng lặp: Giao thức định tuyến cạnh tranh kết hợp HCGR đạt tỷ lệ chuyển gói tin thành công (PDR) tiệm cận tuyệt đối, đồng thời:
    • Giảm tỷ lệ gói tin trùng lặp về xấp xỉ 0% (trong khi kỹ thuật Aggressive Contention thuần túy chịu tỷ lệ trùng lặp lên tới 15-30% khi mật độ nút tăng).
    • Duy trì độ trễ đầu cuối tương đương với kỹ thuật cạnh tranh quyết liệt nhanh nhất và thấp hơn từ 40-60% so với kỹ thuật cạnh tranh không quyết liệt dùng RTS/CTS thuần túy.

Implications đa chiều

  • Về mặt lý thuyết: Cung cấp mô hình chứng minh chặt chẽ cho việc khai thác thông tin cục bộ giới hạn bậc thấp (2-hop) để giải quyết các bài toán mang tính chất tô-pô toàn cục. Đây là minh chứng mẫu mực cho trường phái tính toán hình học phân tán (distributed computational geometry).
  • Về mặt phương pháp luận: Thiết lập quy trình chuẩn hóa trong việc kết hợp tối ưu hóa định tuyến không trạng thái với cơ chế MAC phân tán, mở đường cho các nghiên cứu bắt chéo tầng (cross-layer design) trong mạng không dây thế hệ mới.
  • Về mặt ứng dụng thực tiễn: Tạo cơ sở kỹ thuật trực tiếp để thương mại hóa các hệ thống cảm biến giá rẻ. Các nhà phát triển thiết bị IoT có thể loại bỏ hoàn toàn module GPS đắt tiền và tiêu hao pin, thay vào đó sử dụng thuật toán 2NG để định vị và GPOR/HCGR để truyền tải dữ liệu ổn định trong nhiều năm mà không cần bảo trì.
  • Hàm ý chính sách và hạ tầng: Đóng góp giải pháp công nghệ tự chủ cho hạ tầng giám sát an ninh biên giới, theo dõi môi trường rừng quốc gia, hệ thống quan trắc đê điều và cảnh báo thiên tai sớm tại Việt Nam – những môi trường đòi hỏi mạng triển khai diện rộng với chi phí đầu tư tối thiểu.

Limitations và Future Research

Luận án thừa nhận một số giới hạn nghiên cứu mang tính ranh giới khoa học:

  1. Ràng buộc không gian 2 chiều (2D Space): Toàn bộ các mô hình và chứng minh hình học được xây dựng trên mặt phẳng 2D. Trong thực tế, các địa hình phức tạp như vùng đồi núi, tán rừng nhiều tầng hoặc giám sát dưới nước đòi hỏi mô hình không gian 3 chiều (3D WSN), nơi các khái niệm "vành" và "mặt phẳng phân chia" trở nên phức tạp hơn nhiều.
  2. Mô hình truyền sóng vô tuyến lý tưởng hóa: Nghiên cứu sử dụng mô hình Unit Disk Graph (UDG) với vùng phủ sóng hình tròn đẳng hướng và liên kết đối xứng. Dù có tính thực nghiệm cao trong phân tích thuật toán, môi trường thực tế luôn tồn tại hiện tượng đa đường (multipath fading), che khuất (shadowing) và liên kết bất đối xứng (asymmetric links - Quasi-UDG).
  3. Mạng cảm biến tĩnh: Giả thiết mạng tĩnh là hoàn toàn hợp lý với phần lớn ứng dụng cảm biến quan trắc, nhưng chưa bao hàm các kịch bản nút di động như mạng xe cộ tự hành (VANET) hay cảm biến gắn trên máy bay không người lái (UAV).

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

  • Mở rộng thuật toán 2NG và GPOR lên không gian 3D: Nghiên cứu cấu trúc đồ thị khối cầu và mặt đa diện lân cận để nhận diện bề mặt biên trong không gian 3 chiều.
  • Thích ứng với mô hình kênh truyền thực tế: Phát triển phiên bản bền vững của HCGR tích hợp ước lượng chất lượng kênh truyền liên tục (Link Quality Estimator - LQE) để xử lý các liên kết vô tuyến bất đối xứng và biến động theo thời gian.
  • Tích hợp Trí tuệ nhân tạo biên (Edge AI / Reinforcement Learning): Ứng dụng học tăng cường sâu (Deep Q-Learning) tại mỗi nút để tối ưu hóa động các tham số thời gian chờ $T_{backoff}$ trong HCGR dựa trên lịch sử lưu lượng mạng.
  • Thử nghiệm trên phần cứng thực nghiệm (Testbed Deployment): Triển khai giao thức trên các nền tảng cảm biến phần cứng thương mại như TelosB, MicaZ hoặc ESP32 trong môi trường thực địa để kiểm chứng khả năng chịu lỗi vật lý.

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

Luận án của TS. Lê Đình Thanh tạo ra giá trị ảnh hưởng học thuật và thực tiễn sâu rộng:

  • Tác động học thuật: Các công trình công bố trích xuất từ luận án trên các tạp chí chuyên ngành quốc tế và kỷ yếu hội thảo IEEE/IFIP uy tín đã thiết lập chuẩn mực mới cho các thuật toán định vị không mốc và định tuyến hình học tại Việt Nam. Các giải pháp 2NG, GPOR, HCGR trở thành tài liệu tham khảo nền tảng cho các nhóm nghiên cứu về IoT và mạng truyền thông máy tính.
  • Chuyển đổi công nghiệp và IoT: Cung cấp khung thuật toán nhẹ, tối ưu mã nguồn cho các kỹ sư phát triển vi điều khiển nhúng trong các mạng công nghiệp (Industrial IoT), mạng quan trắc hạ tầng đô thị thông minh (Smart Cities), hệ thống tưới tiêu tự động hóa nông nghiệp chính xác.
  • Lợi ích an ninh - xã hội: Cung cấp công cụ tính toán tự lực phục vụ quốc phòng và phòng chống thiên tai, giảm phụ thuộc vào hạ tầng vệ tinh nước ngoài, giúp triển khai nhanh mạng cảm biến cảnh báo lũ quét, cháy rừng tại các vùng sâu, vùng xa với chi phí thiết bị và vận hành thấp.

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

+-------------------------------------------------------------------------+
|                  CƠ CẤU ĐỐI TƯỢNG HƯỞNG LỢI                             |
+-----------------------------------+-------------------------------------+
| Nghiên cứu sinh & Nhà khoa học    | Kỹ sư R&D & Doanh nghiệp IoT        |
| - Kế thừa khung lý thuyết 2NG     | - Triển khai firmware nhẹ           |
| - Mở rộng định tuyến 3D / AI      | - Cắt giảm 100% chi phí chip GPS    |
| - Khung phân tích tô-pô cục bộ    | - Kéo dài tuổi thọ pin thiết bị 35% |
+-----------------------------------+-------------------------------------+
                                    |
                                    v
+-------------------------------------------------------------------------+
| Nhà hoạch định chính sách & Cơ quan quản lý                             |
| - Triển khai mạng quan trắc cảnh báo thiên tai chi phí thấp             |
| - Tự chủ công nghệ bảo mật truyền thông mạng cảm biến quốc phòng        |
+-------------------------------------------------------------------------+
  • Nghiên cứu sinh và Giới học thuật: Tiếp cận phương pháp luận phân tích đồ thị lân cận 2 chặng và cách thiết kế giao thức định tuyến vị trí không trạng thái, mở ra các đề tài nghiên cứu mở rộng trong mạng 3D, mạng WSN di động và mạng định nghĩa bằng phần mềm (SDN-IoT).
  • Kỹ sư R&D Công nghệ thông tin & Viễn thông: Khai thác thuật toán để lập trình các firmware siêu nhẹ cho mạng cảm biến tiêu thụ cực ít năng lượng (Ultra-low power WSN), tiết kiệm hàng triệu USD chi phí phần cứng định vị GPS trên quy mô triển khai hàng triệu thiết bị IoT.
  • Doanh nghiệp Nông nghiệp công nghệ cao & Môi trường: Sở hữu giải pháp mạng cảm biến bền bỉ, có khả năng tự tổ chức và tự phục hồi khi có nút hư hỏng, duy trì hoạt động quan trắc liên tục nhiều năm mà không gián đoạn đường truyền.
  • Cơ quan Quản lý Nhà nước và Quân sự: Ứng dụng vào hệ thống giám sát an ninh thực địa, phao cảm biến biển đảo và kiểm soát đường biên với khả năng ngụy trang và bảo mật cao (do không phát tín hiệu beacon định kỳ).

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 lý thuyết độc đáo nhất là Quy tắc nhận diện biên bằng đồ thị lân cận 2 chặng (2NG). Luận án đã mở rộng lý thuyết hình học tô-pô phân tán bằng việc chứng minh: một nút $v$ nằm ở biên mạng khi và chỉ khi tập hợp các nút láng giềng trong bán kính 2 chặng $V_2(v) \setminus {v}$ không tạo thành một chu trình liên thông khép kín (vành) bao bọc xung quanh $v$. Định lý này thay thế hoàn toàn các giả định phức tạp về mật độ toàn cục hay phân bố chuẩn trong lý thuyết thống kê mạng của Fekete et al. (2004).

2. Sự đổi mới về mặt phương pháp luận so với ít nhất 2 nghiên cứu quốc tế tiền nhiệm?

  • So với thuật toán MDS-MAP (Shang et al., 2003): MDS-MAP đòi hỏi thuật toán tập trung, tính toán ma trận khoảng cách toàn mạng với độ phức tạp $O(N^3)$, không thể chạy trên nút cảm biến; 2NG của luận án hoàn toàn phân tán với độ phức tạp tính toán và bộ nhớ tại mỗi nút là $O(1)$.
  • So với phương pháp Đường đồng mức Isolines (Fünke, 2005): Fünke yêu cầu chọn 4 điểm mốc toàn cục và nhiều mốc cục bộ thông qua các vòng phát tràn thông điệp (flooding) làm tắc nghẽn mạng; 2NG loại bỏ 100% nhu cầu chọn mốc và không phát sinh bất kỳ thông điệp phát tràn nào ngoài phạm vi 2 chặng.

3. Phát hiện bất ngờ nhất được chứng minh bằng thực nghiệm là gì?

Phát hiện bất ngờ nhất là Cơ chế cạnh tranh kết hợp (HCGR) đạt tỷ lệ chuyển gói tin thành công (PDR) tương đương hoặc cao hơn cạnh tranh không quyết liệt dùng RTS/CTS, trong khi triệt tiêu hoàn toàn gói tin trùng lặp và duy trì độ trễ thấp tiệm cận cơ chế cạnh tranh quyết liệt. Điều này phá vỡ quan niệm kinh điển trong thiết kế tầng MAC/Định tuyến WSN cho rằng: muốn triệt tiêu gói tin trùng lặp thì bắt buộc phải chấp nhận độ trễ lớn và tiêu tốn gói tin điều khiển.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) hoàn chỉnh không?

Có. Luận án mô tả chi tiết giải thuật bằng mã giả (pseudocode), bảng đặc tả cấu trúc gói tin (SC, HA, HBD), hàm định thời gian trễ $T_{backoff}$, các thông số cấu hình mạng mô phỏng (bán kính truyền thông $R$, số nút, phân bố không gian, mô hình suy hao, các bước chuyển đổi giữa chế độ Tham lam và chế độ Phục hồi), cho phép các nhà nghiên cứu độc lập tái lập và kiểm chứng trọn vẹn kết quả trên các công cụ mô phỏng chuẩn như NS-2, OMNeT++ hay MATLAB.

5. Chương trình nghiên cứu 10 năm được phác thảo như thế nào?

Chương trình nghiên cứu dài hạn tập trung vào 4 trọng tâm:

  1. Hoàn thiện khung toán học 2NG cho không gian 3 chiều (3D Surface Boundary Detection).
  2. Xây dựng giao thức định tuyến vị trí tự thích ứng với các liên kết vô tuyến bất đối xứng và thay đổi theo thời gian thực (Dynamic Link Quality Aware Geographic Routing).
  3. Tích hợp giải thuật định tuyến hình học vào mạng WSN di động và mạng cảm biến bay (UAV-assisted Sensor Networks).
  4. Chuẩn hóa giao thức định tuyến không beacon cho các tiêu chuẩn công nghiệp thế hệ mới như IEEE 802.15.4g/6TiSCH và mạng diện rộng công suất thấp LPWAN (LoRaWAN, NB-IoT).

Kết luận

  1. Đề xuất thuật toán phát hiện biên 2NG phân tán đột phá: Giải quyết triệt để bài toán nhận diện nút biên cho mạng cảm biến không mốc chỉ dựa vào thông tin kết nối cục bộ 2 chặng, giảm độ phức tạp thông báo và tính toán về mức tối thiểu $O(1)$, hoạt động chính xác ngay cả trên các mạng có mật độ thưa và phân bố không đồng đều.
  2. Xây dựng giao thức định tuyến tối ưu đường đi GPOR: Khắc phục hoàn toàn nhược điểm kéo dài đường đi và thắt cổ chai lưu lượng tại biên của các giao thức GPSR truyền thống; tiên phong hỗ trợ kịch bản tối ưu hóa đường truyền đa luồng hướng tới vùng đích địa lý.
  3. Phát triển giao thức định tuyến không beacon HCGR: Thiết lập cơ chế cạnh tranh lai độc đáo, kết hợp hoàn hảo ưu điểm tốc độ của cạnh tranh quyết liệt và tính chính xác không trùng lặp của cạnh tranh không quyết liệt.
  4. Tiến bộ mô thức khoa học vững chắc: Đưa lý thuyết định tuyến và định vị WSN từ trạng thái phụ thuộc vào thông tin toàn cục/phần cứng đắt tiền sang trạng thái tự tổ chức cục bộ, phi trạng thái và tối ưu năng lượng tuyệt đối.
  5. Mở ra ba dòng nghiên cứu mới: (1) Nhận dạng hình thái tô-pô biên 3D, (2) Định tuyến vị trí thích ứng kênh truyền bất đối xứng, và (3) Giao thức Stateless MAC/Routing tích hợp cho các mạng IoT diện rộng.
  6. Giá trị di sản thực tiễn: Cung cấp nền tảng thuật toán hoàn chỉnh, mở đường cho việc sản xuất và triển khai các hệ thống cảm biến thông minh tự chủ, phục vụ giám sát môi trường, an ninh quốc phòng và phát triển kinh tế số bền vững.