Tổng quan nghiên cứu

Sự bùng nổ của cuộc cách mạng công nghiệp lần thứ tư đã thúc đẩy mạng cảm biến không dây (Wireless Sensor Networks - WSNs) trở thành xương sống cho hạ tầng Internet vạn vật (IoT). Hiện nay, với hơn 21,7 tỷ thiết bị IoT đang vận hành trên toàn cầu, WSNs chiếm trên 35% cơ sở hạ tầng phục vụ việc giám sát các khu vực trọng yếu như an ninh biên giới, theo dõi môi trường và cảnh báo thiên tai. Trong các ứng dụng an ninh quốc phòng, bài toán giám sát bao phủ toàn phần truyền thống bộc lộ nhược điểm lớn khi tiêu tốn tới hơn 60% chi phí phần cứng và năng lượng do mật độ cảm biến dày đặc.

Để giải quyết thách thức này, bài toán bao phủ rào chắn (Barrier Coverage) và cấp độ nâng cao của nó là bài toán tìm đường phơi nhiễm tối thiểu (Minimal Exposure Path - MEP) đã được đặt ra. Vấn đề cốt lõi của nghiên cứu là xác định một quỹ đạo xâm nhập liên tục xuyên qua trường cảm biến sao cho xác suất bị phát hiện là thấp nhất. Đối với lực lượng phòng thủ, đường phơi nhiễm tối thiểu đại diện cho "điểm yếu chí mạng" của hệ thống phòng tuyến cần được gia cố. Ngược lại, đối với các đối tượng xâm nhập hoặc robot tự hành, đây là hành lang an toàn nhất để vượt qua vùng kiểm soát.

Mục tiêu cụ thể của luận văn là xây dựng mô hình toán học thực tế và phát triển hệ thống các thuật toán xấp xỉ metaheuristic nhằm giải quyết triệt để bài toán MEP trong bốn bối cảnh phức tạp: mạng cảm biến di động (MWSNs), mô hình cảm biến xác suất có nhiễu, mạng cảm biến đa phương tiện dị thể (HeWMSNs) và môi trường có chướng ngại vật tùy ý (OE-MEP). Công trình được thực hiện trong giai đoạn từ năm 2016 đến năm 2020 tại Phòng thí nghiệm Mô hình hóa và Mô phỏng, Trường Công nghệ Thông tin và Truyền thông, Đại học Bách khoa Hà Nội. Nghiên cứu mang ý nghĩa thực tiễn to lớn khi giúp giảm hơn 25% chi phí đầu tư cảm biến mà vẫn đảm bảo độ tin cậy phát hiện mục tiêu đạt trên 90%, đồng thời rút ngắn 40% đến 60% thời gian tính toán định tuyến so với các phương pháp giải tích truyền thống.

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

Khung lý thuyết áp dụng

Luận văn xây dựng trên nền tảng lý thuyết bao phủ rào chắn, lý thuyết tối ưu hóa tổ hợp và các thuật toán phỏng sinh học metaheuristic. Để mô tả chính xác khả năng thu nhận tín hiệu trong thực tế, nghiên cứu áp dụng hai mô hình cảm biến không gian chính: mô hình đĩa Boole (Boolean disk coverage model) và mô hình suy giảm khoảng cách (Attenuated disk model) có xét đến hệ số suy giảm lambda cùng hằng số vật lý C. Đặc biệt, mô hình suy giảm cắt cụt (Truncated attenuated disk model) được thiết lập với bán kính nhận dạng chắc chắn r1 và vùng bán kính không chắc chắn r2.

Khung phân tích tích hợp ba khái niệm nền tảng: Cường độ cảm biến tích lũy (Accumulative sensing intensity) từ toàn bộ mạng nút cảm biến; Cường độ cảm biến gần nhất (Closest-sensing intensity); và Độ phơi nhiễm tích phân (Exposure Value) của đối tượng di chuyển theo thời gian và tọa độ. Về mặt tối ưu hóa, bài toán tìm đường liên tục được chuyển đổi thành bài toán tìm cực trị hàm số (Numerical Function Extreme - NFE). Trên cơ sở đó, luận văn phát triển hệ thống thuật toán metaheuristic gồm: Giải thuật di truyền nâng cao (GAMEP, GA-MEP) sử dụng toán tử lai ghép ALX-alpha và đột biến loại bỏ gene; Thuật toán tối ưu hóa bầy đàn lai ghép (HPSO-MMEP, GPSO) kết hợp định luật vạn vật hấp dẫn; và Thuật toán tiến hóa gia đình (Family Evolution Algorithm - FEA) vận hành với các toán tử lực đẩy và chuẩn hóa quỹ đạo tránh va chạm.

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

Nghiên cứu sử dụng nguồn dữ liệu thực nghiệm được sinh ngẫu nhiên và chuẩn hóa theo tiêu chuẩn quốc tế với hơn 100 cấu hình mạng (topologies) khác nhau, quy mô từ 30 đến 100 nút cảm biến phân bố trong không gian giám sát hai chiều kích thước 1000m x 1000m. Phương pháp chọn mẫu áp dụng kỹ thuật phân tầng ngẫu nhiên trên ba quy luật phân bố thống kê tiêu biểu: phân bố đều (Uniform), phân bố chuẩn Gauss (Gaussian) và phân bố lũy thừa (Exponential). Cỡ mẫu thực nghiệm được thiết kế bao gồm cả mạng đồng nhất (Homogeneous) và mạng dị thể (Heterogeneous) với số lượng chướng ngại vật đa giác ngẫu nhiên biến thiên từ 5 đến 20 vật cản.

Phương pháp phân tích chủ đạo là mô phỏng số thực nghiệm (Monte Carlo Simulation) lặp lại 30 lần độc lập trên mỗi cấu hình mạng nhằm triệt tiêu các yếu tố ngẫu nhiên. Lý do lựa chọn phương pháp này xuất phát từ bản chất NP-khó và tính phi tuyến cao của bài toán MEP, nơi các phương pháp giải tích chính xác không thể giải quyết trong thời gian đa thức. Kết quả đầu ra được kiểm định thống kê nghiêm ngặt thông qua kiểm định phi tham số Sign Test ở mức ý nghĩa 5% (p-value < 0.05) để đánh giá độ tin cậy và sự vượt trội của các thuật toán đề xuất. Toàn bộ quá trình nghiên cứu được triển khai theo 4 giai đoạn rõ ràng trong khung thời gian từ tháng 01/2017 đến tháng 10/2020.

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

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

Thứ nhất, trong kịch bản mạng cảm biến di động (MWSNs), thuật toán lai ghép HPSO-MMEP thể hiện sự vượt trội rõ rệt so với thuật toán di truyền GAMEP truyền thống. Kết quả thực nghiệm chỉ ra rằng HPSO-MMEP giúp giảm giá trị phơi nhiễm tối thiểu từ 15% đến 28% trên cả hai mô hình phân bố Uniform và Gauss. Độ lệch chuẩn dao động của thuật toán HPSO-MMEP luôn duy trì ở mức dưới 0.05, khẳng định khả năng hội tụ ổn định và tránh bị mắc kẹt tại các điểm cực trị cục bộ.

Thứ hai, đối với bài toán MEP trong mô hình cảm biến xác suất có nhiễu (PM-based-MEP), giải thuật di truyền cải tiến GA-MEP đạt giá trị phơi nhiễm tối ưu tương đương phương pháp lưới chi tiết GB-MEP (độ sai lệch cực tiểu dưới 1.2%), nhưng lại có ưu thế áp đảo về hiệu năng tính toán khi cắt giảm tới 82% thời gian thực thi (giảm từ 120 giây xuống chỉ còn 21 giây trên cùng cấu hình thử nghiệm). Đồng thời, độ gập ghềnh răng cưa (saw-tooth degree) của quỹ đạo tìm được bởi GA-MEP giảm hơn 45% so với các nghiên cứu trước đó.

Thứ ba, trong mạng cảm biến đa phương tiện dị thể (HeWMSNs), hai thuật toán HEA và GPSO giúp giảm giá trị phơi nhiễm trung bình 22.4% so với thuật toán HGA-NFE. Cơ chế gia tốc hạt dựa trên lực hấp dẫn trong GPSO giúp tăng tốc độ hội tụ thêm 35% trong không gian tìm kiếm đa chiều.

Thứ tư, khi giải quyết bài toán tránh chướng ngại vật (OE-MEP), thuật toán tiến hóa gia đình FEA cùng toán tử đột biến lực đẩy (Push-Force mutation) đã xử lý thành công 100% các xung đột va chạm với chướng ngại vật đa giác, tạo ra đường đi trơn tru và tiết kiệm từ 30% đến 50% thời gian xử lý so với phương pháp chia lưới đa giác phức tạp.

Thảo luận kết quả

Nguyên nhân cốt lõi tạo nên sự vượt trội của HPSO-MMEP, GPSO và FEA là khả năng thiết lập sự cân bằng động giữa hai tiến trình: đa dạng hóa không gian tìm kiếm (diversification) và khai thác sâu kinh nghiệm cá thể (intensification). Các giải thuật di truyền cổ điển thường nhanh chóng bị rơi vào bẫy cực trị cục bộ do hàm mục tiêu phơi nhiễm có số chiều cao và phi vi phân. Việc kết hợp cơ chế bầy đàn thông minh và các toán tử hình học định hướng đã giải phóng không gian tìm kiếm, giúp các cá thể nhanh chóng hội tụ về vùng tối ưu toàn cục.

So với các nghiên cứu kinh điển của Meguerdichian và cộng sự hay nghiên cứu của Zhang và nhóm tác giả, vốn chỉ giới hạn trong mạng cảm biến tĩnh hoặc mô hình đĩa Boole lý tưởng, các mô hình trong luận văn đã lấp đầy khoảng cách giữa lý thuyết và thực tiễn bằng cách tính toán trọn vẹn sự suy giảm tín hiệu, yếu tố di động của nút mạng và vật cản môi trường. Dữ liệu thực nghiệm của nghiên cứu có thể được biểu diễn trực quan qua các đồ thị đường thể hiện tiến trình hội tụ qua 500 thế hệ, biểu đồ cột so sánh giá trị phơi nhiễm trung bình giữa các phân bố mạng, và bảng tổng hợp 3 tham số cốt lõi: giá trị phơi nhiễm tối thiểu (Mev), thời gian chạy CPU (giây) và độ lệch chuẩn (Std). Những kết quả này cung cấp cơ sở định lượng vững chắc cho các kỹ sư khi thiết kế hệ thống giám sát tự động.

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

Thứ nhất, tích hợp thuật toán HPSO-MMEP vào hệ thống giám sát và điều phối tuần tra an ninh: Bộ Tư lệnh Biên phòng và các lực lượng bảo vệ mục tiêu chiến lược cần ứng dụng thuật toán để phân tích lỗ hổng phòng thủ trong quý 1 năm 2021, nhằm tối ưu hóa đường cơ động của các tổ tuần tra và nâng cao xác suất phát hiện xâm nhập trái phép lên trên 95% tại các vùng địa hình hiểm trở.

Thứ hai, chuẩn hóa phần mềm thiết kế và quy hoạch mạng cảm biến công nghiệp: Các kỹ sư viễn thông và doanh nghiệp phát triển hạ tầng IoT nên áp dụng hai giải thuật HEA và GPSO trong giai đoạn 2021-2022 để tính toán vị trí đặt các nút cảm biến hình ảnh và âm thanh dị thể, giúp giảm khoảng 30% số lượng thiết bị cần trang bị mà vẫn giữ nguyên chất lượng rào chắn, tiết kiệm từ 200 triệu đến 500 triệu đồng cho mỗi dự án quy mô vừa.

Thứ ba, ban hành bộ tiêu chuẩn đánh giá hệ thống an ninh có chướng ngại vật (OE-MEP): Ban quản lý các khu công nghệ cao, nhà máy điện và kho bãi quy mô lớn cần áp dụng thuật toán FEA từ quý 3 năm 2021 để đánh giá mức độ an toàn của hệ thống hàng rào điện tử trước các vật cản kiến trúc phức tạp, hướng tới mục tiêu xóa bỏ 100% điểm mù giám sát.

Thứ tư, đẩy mạnh nghiên cứu mở rộng sang không gian 3 chiều (3D WSNs) và hệ thống thiết bị bay không người lái (UAVs): Các viện nghiên cứu và trường đại học kỹ thuật cần lập nhóm nghiên cứu trọng điểm trong lộ trình 2022-2024 nhằm mở rộng các thuật toán metaheuristic lên không gian 3D, tích hợp mạng cảm biến mặt đất với camera bay UAV, phấn đấu rút ngắn 50% thời gian phản ứng trước các tình huống khẩn cấp.

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

Nhóm thứ nhất bao gồm các nhà khoa học, giảng viên và nghiên cứu sinh chuyên ngành Khoa học máy tính, Kỹ thuật viễn thông và Điều khiển tự động. Luận văn cung cấp khung lý thuyết toán học chuyên sâu về bài toán cực trị hàm số (NFE), các biến thể tối ưu hóa tổ hợp NP-khó trong không gian hình học 2D, cùng cấu trúc chi tiết của các toán tử tiến hóa phỏng sinh học hiện đại.

Nhóm thứ hai là các kỹ sư thiết kế hệ thống IoT, chuyên gia phát triển mạng cảm biến công nghiệp và an ninh. Nhóm đối tượng này sẽ tìm thấy các giải pháp thiết thực để tối ưu hóa vị trí lắp đặt phần cứng, tính toán mô hình suy giảm tín hiệu thực tế và cân đối bài toán kinh tế giữa số lượng nút cảm biến và độ tin cậy bao phủ rào chắn.

Nhóm thứ ba là các nhà hoạch định chiến lược an ninh, chỉ huy tác chiến quân sự và chuyên gia ứng phó thiên tai. Luận văn cung cấp công cụ định lượng chuẩn xác để tìm ra các hành lang thâm nhập nguy hiểm nhất của đối phương, từ đó lập phương án đánh chặn kịp thời hoặc xác lập tuyến đường an toàn cho robot cứu nạn di chuyển qua các vùng nhiễm độc, sạt lở.

Nhóm thứ tư là học viên cao học và sinh viên các ngành kỹ thuật phần mềm đang tìm kiếm tài liệu tham khảo chuẩn mực về phương pháp nghiên cứu thực nghiệm, kỹ thuật mô phỏng Monte Carlo, xử lý kiểm định thống kê Sign Test và kỹ năng lập trình các thuật toán metaheuristic nâng cao như GA, PSO, FEA.

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

Bài toán đường phơi nhiễm tối thiểu (MEP) khác biệt như thế nào so với bài toán bao phủ toàn diện (Area Coverage)? Trong khi bao phủ toàn diện đòi hỏi mọi điểm trong vùng quan tâm đều phải được giám sát bởi ít nhất một cảm biến gây tốn kém hơn 60% tài nguyên, bài toán MEP tập trung vào việc tìm tuyến đường mà đối tượng di chuyển ít bị phát hiện nhất, giúp tối ưu hóa hàng rào bảo vệ với số lượng cảm biến tối thiểu.

Tại sao các phương pháp truyền thống như biểu đồ Voronoi và chia lưới không còn phù hợp trong thực tế? Phương pháp Voronoi chỉ áp dụng tốt cho cảm biến tĩnh và mô hình cảm biến gần nhất lý tưởng, trong khi phương pháp chia lưới đòi hỏi thời gian tính toán tăng theo cấp số nhân khi kích thước lưới giảm, khiến việc áp dụng trên mạng quy mô lớn trở nên bất khả thi.

Thuật toán lai ghép HPSO-MMEP mang lại ưu thế đột phá nào trong mạng cảm biến di động? HPSO-MMEP kết hợp khả năng khai phá không gian rộng của giải thuật di truyền và tốc độ hội tụ nhanh của bầy đàn hạt, giúp giảm từ 15% đến 28% giá trị phơi nhiễm và giảm độ lệch chuẩn xuống dưới 0.05 so với các thuật toán đơn lẻ.

Thuật toán tiến hóa gia đình FEA xử lý vật cản trong bài toán OE-MEP bằng cơ chế nào? FEA sử dụng toán tử đột biến lực đẩy (Push-Force) kết hợp chuẩn hóa đường đi để tự động đẩy các đoạn quỹ đạo giao cắt ra ngoài biên chướng ngại vật đa giác, đảm bảo tính khả thi 100% cho mọi cá thể nghiệm mà không làm tăng độ phức tạp tính toán.

Kết quả của luận văn có thể ứng dụng trực tiếp vào các hệ thống an ninh hiện đại không? Các mô hình suy giảm khoảng cách, mô hình xác suất có nhiễu và thuật toán đề xuất đều được xây dựng dựa trên thông số vật lý thực tế, cho phép tích hợp trực tiếp vào phần mềm điều khiển trung tâm của các hệ thống an ninh biên giới và nhà máy thông minh với độ tin cậy phát hiện trên 90%.

Kết luận

  • Luận văn đã mô hình hóa toán học thành công bài toán đường phơi nhiễm tối thiểu (MEP) trên bốn bối cảnh thực tế: mạng di động, mô hình xác suất có nhiễu, mạng đa phương tiện dị thể và môi trường có chướng ngại vật phức tạp.
  • Đề xuất và phát triển hoàn thiện 5 thuật toán metaheuristic xấp xỉ tiên tiến (GAMEP, HPSO-MMEP, GB-MEP, HEA, GPSO, FEA) với các toán tử di truyền đặc thù, giúp giảm từ 15% đến 28% giá trị phơi nhiễm so với các phương pháp hiện hành.
  • Nâng cao vượt bậc hiệu năng tính toán, cắt giảm tới 82% thời gian thực thi thuật toán và triệt tiêu hơn 45% độ gập ghềnh răng cưa của quỹ đạo thâm nhập.
  • Xây dựng bộ cơ sở dữ liệu thực nghiệm chuẩn hóa gồm hơn 100 cấu hình mạng với quy mô từ 30 đến 100 nút cảm biến, cung cấp công cụ kiểm thử tin cậy cho cộng đồng nghiên cứu quốc tế.
  • Đặt nền móng cho lộ trình nghiên cứu tiếp theo giai đoạn 2021-2025: Mở rộng bài toán sang không gian 3 chiều (3D), tích hợp thiết bị bay không người lái (UAV) và ứng dụng học sâu tăng cường (Reinforcement Learning).

Các tổ chức nghiên cứu, cơ quan an ninh và doanh nghiệp công nghệ quan tâm đến việc ứng dụng giải pháp tối ưu hóa mạng cảm biến không dây có thể tiếp cận toàn văn công trình nghiên cứu và liên hệ với nhóm tác giả tại Đại học Bách khoa Hà Nội để phối hợp triển khai thử nghiệm thực địa.