Tổng quan nghiên cứu

Mạng ad-hoc di động (MANET) đại diện cho một bước chuyển biến quan trọng trong kỹ thuật vô tuyến hiện đại khi cho phép thiết lập hạ tầng truyền thông tức thời mà không cần dựa vào 100% các trạm cơ sở (Base Station) cố định. Trong các kịch bản khẩn cấp như cứu nạn cứu hộ tại vùng địa hình hiểm trở hay tác chiến cơ động, khả năng tự tổ chức và chuyển tiếp gói tin giữa các nút mạng di động (Mobile Node - MN) mang lại hiệu quả vượt trội. Tuy nhiên, việc đánh giá hiệu năng các giao thức mạng MANET gặp thách thức lớn do sự thiếu hụt các mô hình di chuyển phản ánh đúng thực tế. Đa số các nghiên cứu mô phỏng trước đây sử dụng các mô hình ngẫu nhiên thuần túy như Random Walk hay Random Waypoint, vốn tồn tại giai đoạn quá độ không ổn định kéo dài khiến kết quả đo đạc sai lệch đáng kể.

Mục tiêu cốt lõi của nghiên cứu là xây dựng và hoàn thiện mô hình hành trình ngẫu nhiên RTMM (Random Trip Mobility Model) kết hợp dữ liệu bản đồ số không gian hai chiều, nhằm khắc phục triệt để hiện tượng suy biến vận tốc và phân bố nút không đồng nhất. Nghiên cứu ứng dụng công cụ giải tích Palm để xác lập chế độ dừng toán học ngay tại thời điểm khởi tạo ban đầu, loại bỏ hoàn toàn giai đoạn bất ổn định của mô phỏng. Bằng việc thử nghiệm trên quy mô 100 nút mạng di động qua 5000 giây mô phỏng liên tục, nghiên cứu đã chứng minh tính ưu việt của phương pháp lấy mẫu dừng hoàn hảo, giúp cải thiện độ chính xác khi đánh giá tỷ số phân phát gói tin của giao thức định tuyến nguồn động DSR lên hơn 18% và giảm thiểu sai số đo đạc lưu lượng điều khiển mạng.

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

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng dựa trên sự giao thoa của lý thuyết mạng thông tin vô tuyến ad-hoc, quá trình ngẫu nhiên và giải tích Palm trong lý thuyết xác suất viễn thông. Cấu trúc lý thuyết của luận văn phân hóa chi tiết thành hai hệ thống mô hình chuyển động chính:

Thứ nhất, hệ thống mô hình di động đơn lẻ mô tả chuyển động độc lập của từng nút mạng. Khung phân tích đi sâu vào mô hình bước ngẫu nhiên RWM với không gian 1 chiều và 2 chiều, mô hình luồng lưu lượng vận tốc không đổi FFM, mô hình Gauss-Markov ngẫu nhiên RGMM với tham số tương quan vận tốc và góc chuyển hướng, cùng mô hình điểm định hướng ngẫu nhiên RWPMM.

Thứ hai, hệ thống mô hình di động nhóm phản ánh tính cộng tác trong thực tế, bao gồm mô hình di động theo hàng phục vụ rà quét, mô hình di động nhóm du cư chia sẻ không gian chuyển động, mô hình truy đuổi mục tiêu và mô hình nhóm điểm chuẩn RPGMM với vector chuyển động nhóm.

Khái niệm trung tâm của nghiên cứu là mô hình hành trình ngẫu nhiên RTMM kết hợp lý thuyết giải tích Palm. Trong quá trình ngẫu nhiên Ergodic, kỳ vọng Palm cung cấp điều kiện biên chính xác cho các biến ngẫu nhiên như vận tốc, thời gian tạm dừng (pause time) từ 0 đến 60 giây, khoảng cách hành trình và mật độ phân bố vị trí nút mạng trên không gian bản đồ số phân vùng thành 64 khu phố.

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

Nghiên cứu sử dụng phương pháp giải tích toán học kết hợp mô phỏng thực nghiệm trên máy tính thông qua công cụ chuyên dụng ns-2. Nguồn dữ liệu thực nghiệm được khởi tạo từ kịch bản số hóa bản đồ không gian hai chiều, thiết lập giới hạn đường đi thực tế thay vì cho phép nút di chuyển tự do vô hạn.

Cỡ mẫu nghiên cứu được thiết kế với 100 nút mạng di động (MN) phân bố trên không gian địa lý xác định, thực hiện 1000 điểm lấy mẫu trạng thái để đo lường các thuộc tính dừng. Phương pháp chọn mẫu áp dụng kỹ thuật lấy mẫu dừng trực tiếp dựa trên hàm mật độ xác suất Palm, thay thế cho phương pháp chọn mẫu phân bố đều ngẫu nhiên ban đầu vốn gây ra hiện tượng méo dữ liệu.

Lý do lựa chọn phương pháp giải tích Palm kết hợp mô phỏng hoàn hảo là nhằm giải quyết dứt điểm hiện tượng suy giảm vận tốc trung bình (speed decay) của mô hình RWPMM truyền thống. Quy trình nghiên cứu được triển khai chặt chẽ theo dòng thời gian mô phỏng từ 1 giây, 100 giây, 1000 giây đến 5000 giây để đối chiếu trạng thái hội tụ mật độ và kiểm tra hiệu năng giao thức định tuyến nguồn động DSR.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Nghiên cứu đã mang lại 4 phát hiện quan trọng mang tính thực tiễn cao trong lĩnh vực kỹ thuật vô tuyến:

Thứ nhất, các mô hình di chuyển ngẫu nhiên truyền thống như Random Waypoint luôn trải qua giai đoạn chuyển tiếp bất ổn định kéo dài hơn 1000 giây đầu tiên, khiến mật độ nút tập trung dày đặc ở tâm bản đồ với độ lệch sai số lên tới 30% so với phân bố thực tế. Trong khi đó, mô hình RTMM ứng dụng giải tích Palm đạt trạng thái phân bố dừng ổn định ngay từ giây thứ 1, duy trì độ lệch chuẩn mật độ dưới 5% suốt 5000 giây thử nghiệm.

Thứ hai, việc sử dụng mô phỏng dừng hoàn hảo tạo ra sự khác biệt rõ rệt khi đánh giá giao thức định tuyến DSR. Tỷ số phân phát gói dữ liệu đạt mức ổn định trên 92% ở dải vận tốc 10 m/s khi áp dụng mô hình dừng hoàn hảo, cao hơn khoảng 18% so với mô hình chưa đạt trạng thái dừng (chỉ đạt khoảng 74%).

Thứ ba, sự ràng buộc không gian di chuyển thông qua bản đồ số chia 64 khu phố giúp giảm tỷ lệ suy hao liên kết vô tuyến. Tiêu đề gói tin điều khiển định tuyến giảm từ 45% tổng lưu lượng xuống còn khoảng 28%, do các nút di chuyển theo các tuyến đường cố định thay vì đổi hướng đột ngột qua các chướng ngại vật.

Thứ tư, độ trễ truyền gói tin đầu - cuối trung bình trong mạng được kiểm soát ở mức 42 mili-giây, giảm khoảng 35 mili-giây so với các mô hình chuyển động tự do không có bản đồ số dẫn đường.

Thảo luận kết quả

Nguyên nhân cốt lõi của sự chênh lệch hiệu năng bắt nguồn từ bản chất toán học của quá trình lấy mẫu. Trong các nghiên cứu trước đây, việc khởi tạo vận tốc ban đầu theo phân bố đều dẫn đến hiện tượng các nút chọn vận tốc thấp sẽ chiếm thời gian hành trình dài hơn, kéo vận tốc trung bình toàn mạng tụt dốc theo thời gian. Bằng việc sử dụng kỳ vọng Palm, vận tốc khởi tạo được hiệu chỉnh theo hàm nghịch đảo quãng đường, đảm bảo vận tốc trung bình không đổi trong suốt quá trình chạy.

Khi so sánh với các công trình kinh điển về mạng ad-hoc, việc kết hợp bản đồ số thực tế giúp tăng tính tương quan không gian lên hơn 40%. Về mặt trình bày dữ liệu, các phát hiện này được minh họa trực quan qua biểu đồ nhiệt phân bố mật độ nút tại các mốc thời gian 1 giây, 100 giây, 1000 giây và 5000 giây, cùng đồ thị đường biểu diễn tương quan giữa vận tốc di chuyển (từ 0 đến 20 m/s) và tỷ lệ phân phát gói tin thành công. Bảng đối chiếu lưu lượng tiêu đề byte điều khiển giữa kịch bản mô phỏng hoàn hảo và kịch bản thông thường khẳng định rõ rệt tính ưu việt của mô hình đề xuất.

Đề xuất và khuyến nghị

Dựa trên các kết quả nghiên cứu lý thuyết và thực nghiệm, 4 khuyến nghị hành động cụ thể được đưa ra nhằm nâng cao hiệu quả thiết kế và triển khai mạng MANET:

Thứ nhất, tích hợp module lấy mẫu dừng hoàn hảo Palm vào bộ tiền xử lý kịch bản của các phần mềm mô phỏng mạng viễn thông như ns-2 và ns-3. Mục tiêu là cắt giảm 100% thời gian chạy khởi động ấm không cần thiết, giúp các nhóm nghiên cứu rút ngắn thời gian mô phỏng ít nhất 30% trong lộ trình 6 tháng tới.

Thứ hai, chuẩn hóa thư viện dữ liệu bản đồ số không gian đô thị dành riêng cho mô phỏng mạng vô tuyến dã chiến. Các viện nghiên cứu viễn thông và cơ quan quản lý cần chủ trì xây dựng các tập kịch bản đường phố 2D và 3D với độ phân giải cao trong vòng 12 tháng, hướng tới việc tối ưu hóa tỷ lệ phân phát gói đạt trên 95% trong điều kiện thực địa.

Thứ three, áp dụng mô hình RTMM có bản đồ số làm tiêu chuẩn bắt buộc khi đánh giá, so chuẩn các giao thức định tuyến mới như AODV, DSR mở rộng hoặc định tuyến địa lý. Đơn vị phát triển giao thức cần triển khai kiểm thử trong chu kỳ 9 tháng để giảm thiểu 20% chi phí tiêu đề mạng trước khi đưa vào sản xuất phần cứng.

Thứ tư, xây dựng quy trình kết hợp mô hình di động nhóm RPGMM với bản đồ số địa hình cho các hệ thống thông tin cứu hộ khẩn cấp và tác chiến quân sự. Kế hoạch hành động dự kiến thực hiện trong vòng 2 năm do các đơn vị chỉ huy tác chiến và lực lượng ứng cứu tình trạng khẩn cấp đảm trách.

Đối tượng nên tham khảo luận văn

Nội dung và kết quả của luận văn mang lại giá trị học thuật và ứng dụng thực tiễn sâu sắc cho 4 nhóm đối tượng chính:

Nhóm học viên cao học và nghiên cứu sinh chuyên ngành Kỹ thuật Viễn thông, Công nghệ Thông tin: Khai thác khung lý thuyết giải tích Palm và quy trình toán học của mô hình RTMM để mở rộng các đề tài nghiên cứu chuyên sâu về mạng không dây thế hệ mới.

Nhóm kỹ sư thiết kế giao thức và kỹ sư tối ưu hóa mạng vô tuyến: Vận dụng các phát hiện về tương quan vận tốc, mật độ nút và tiêu đề gói tin để tinh chỉnh tham số cho các giao thức định tuyến ad-hoc, mạng lưới cảm biến không dây (WSN) và mạng kết nối xe cộ (VANET).

Nhóm chuyên gia phát triển phần mềm mô phỏng hệ thống: Ứng dụng thuật toán tạo vết di chuyển dừng hoàn hảo nhằm nâng cấp độ tin cậy và tính thực tế cho các module mô phỏng trong công cụ ns-2, ns-3 hoặc OMNeT++.

Nhóm chỉ huy lực lượng cứu nạn, an ninh và quốc phòng: Sử dụng kịch bản di chuyển theo nhóm điểm chuẩn trên bản đồ số để lập phương án thiết lập mạng thông tin dã chiến cơ động nhanh tại các khu vực mất điện lưới viễn thông hoàn toàn.

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

Mạng ad-hoc di động MANET khác biệt gì so với mạng di động tế bào truyền thống? Mạng di động tế bào phụ thuộc hoàn toàn vào các trạm thu phát gốc BS cố định để quản lý lưu lượng và định tuyến cuộc gọi. Ngược lại, mạng MANET gồm các nút di động bình đẳng, tự động kết nối và kiêm nhiệm vai trò chuyển tiếp gói tin, hoạt động linh hoạt ngay cả ở vùng không có sóng viễn thông.

Hiện tượng suy biến vận tốc trong mô hình di động ngẫu nhiên là gì? Hiện tượng suy biến vận tốc xảy ra khi mô hình di động liên tục chọn vận tốc mới mà không hiệu chỉnh theo thời gian hành trình. Nút di chuyển chậm sẽ chiếm thời gian lâu hơn, làm vận tốc trung bình toàn mạng suy giảm dần theo thời gian, dẫn đến sai lệch lớn trong kết quả đánh giá giao thức.

Phương pháp giải tích Palm giải quyết vấn đề trạng thái dừng như thế nào? Giải tích Palm cung cấp công cụ tính toán kỳ vọng có điều kiện tại các điểm chuyển đổi trạng thái của quá trình ngẫu nhiên. Nhờ đó, thuật toán có thể tính toán chính xác hàm phân bố xác suất của vị trí, hướng đi và vận tốc tại thời điểm ban đầu, giúp mạng đạt trạng thái dừng ngay lập tức.

Bản đồ số nâng cao tính xác thực của mô hình di động ra sao? Bản đồ số thiết lập các ranh giới địa lý, chướng ngại vật và tuyến đường di chuyển xác định, chia nhỏ khu vực thành các phân vùng cụ thể. Điều này loại bỏ các đường đi xuyên tường phi thực tế của mô hình ngẫu nhiên, giúp mật độ và luồng lưu lượng phản ánh sát thực tế đời sống.

Giao thức định tuyến nguồn động DSR hoạt động như thế nào trong môi trường ad-hoc? Giao thức DSR thiết lập đường truyền theo nhu cầu bằng cách gắn toàn bộ chuỗi địa chỉ các nút trung gian vào tiêu đề gói tin. Khi vận tốc nút tăng lên trên 15 m/s, liên kết dễ bị đứt đoạn khiến tiêu đề điều khiển tìm đường tăng lên, đòi hỏi mô hình di chuyển phải cực kỳ chuẩn xác.

Kết luận

Luận văn đã hoàn thành xuất sắc các mục tiêu nghiên cứu với 5 đóng góp học thuật và thực tiễn cốt lõi:

  • Hệ thống hóa toàn diện cơ sở lý thuyết về các mô hình di chuyển đơn lẻ và mô hình di chuyển nhóm trong mạng viễn thông ad-hoc.
  • Ứng dụng thành công lý thuyết giải tích Palm để xây dựng trạng thái dừng hoàn hảo cho mô hình hành trình ngẫu nhiên RTMM.
  • Tích hợp bản đồ số không gian hai chiều phân vùng đô thị vào kịch bản mô phỏng mạng vô tuyến dã chiến.
  • Đánh giá định lượng chính xác hiệu năng giao thức DSR, chứng minh tỷ số phân phát gói tin tăng hơn 18% khi loại bỏ giai đoạn quá độ.
  • Cung cấp giải pháp kỹ thuật tối ưu giúp tiết kiệm tài nguyên tính toán và nâng cao độ tin cậy của phần mềm mô phỏng ns-2.

Trong giai đoạn 12 đến 24 tháng tới, hướng phát triển tự nhiên của đề tài là mở rộng mô hình RTMM sang không gian địa hình 3 chiều phức tạp và tích hợp thêm các công nghệ mạng di động thế hệ mới. Độc giả quan tâm và các nhà nghiên cứu hãy tải toàn văn tài liệu để áp dụng ngay mô hình toán học tiên tiến này vào các dự án phân tích mạng viễn thông của mình.