Tổng quan nghiên cứu

Ô nhiễm không khí tại các đô thị lớn đang trở thành thách thức nghiêm trọng đối với sức khỏe cộng đồng và sự phát triển bền vững. Theo báo cáo của Tổ chức Y tế Thế giới, ô nhiễm không khí là nguyên nhân hàng đầu gây ra 36% số ca tử vong do ung thư phổi, 34% ca đột quỵ, 27% ca nhồi máu cơ tim và 35% ca bệnh lý hô hấp mãn tính trên toàn cầu. Tuy nhiên, việc giám sát chất lượng không khí tại các đô thị đang gặp rào cản lớn do sự phụ thuộc vào các trạm quan trắc cố định. Tại thành phố Hà Nội với tổng diện tích 3.329 km², hiện chỉ có chưa đến 50 trạm quan trắc cố định được vận hành, dẫn đến độ phân giải không gian rất thấp và chi phí đầu tư ban đầu cũng như bảo trì vô cùng đắt đỏ.

Nhằm giải quyết triệt để vấn đề này, luận văn tập trung nghiên cứu bài toán Tối ưu hóa thu nhận dữ liệu cơ hội mang tên Opportunistic Sensing Optimization, viết tắt là OSO, ứng dụng trên mạng lưới cảm biến di động gắn trên phương tiện giao thông công cộng. Mục tiêu cụ thể của đề tài là xây dựng mô hình toán học và thuật toán tối ưu nhằm lựa chọn chính xác m tuyến xe buýt trong tổng số n tuyến hiện có, đồng thời lập lịch kích hoạt 2k vị trí đo đạc trên mỗi tuyến nhằm tối đa hóa số lượng vùng trọng yếu được giám sát.

Nghiên cứu được triển khai trong phạm vi mạng lưới 60 tuyến xe buýt thực tế tại khu vực nội đô Hà Nội trên diện tích 20 km × 30 km trong giai đoạn nghiên cứu từ tháng 10/2020 đến tháng 10/2022. Ý nghĩa khoa học và thực tiễn của công trình thể hiện qua việc nâng cao hiệu quả giám sát không gian đô thị, đạt tỷ lệ hiệu năng thực tế từ 63,30% đến 75,70% so với cận trên tối ưu, vượt xa các ngưỡng đảm bảo lý thuyết và tiết kiệm hơn 70% chi phí so với việc lắp đặt trạm quan trắc tĩnh.

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 nền tảng của lý thuyết mạng cảm biến không dây di động kết hợp với lý thuyết độ phức tạp tính toán và tối ưu hóa tổ hợp. Luận văn kế thừa mô hình vùng phủ cảm biến dạng đĩa tròn với bán kính quan sát xác định r, trong đó mọi điểm nằm trong vòng tròn bán kính r tính từ vị trí kích hoạt cảm biến đều được coi là thu thập đầy đủ dữ liệu chất lượng không khí. Về mặt tối ưu hóa, đề tài quy đổi bài toán OSO về bài toán phủ tập hợp cực đại mang tên Maximum Coverage Problem để phân tích và chứng minh tính chất NP-hard.

Mô hình toán học của OSO được thiết lập thông qua hệ thống biến nhị phân chặt chẽ, bao gồm biến chọn tuyến xe buýt, biến chọn điểm kích hoạt cảm biến và biến xác định trạng thái giám sát của từng ô trọng yếu. Bốn khái niệm cốt lõi được định nghĩa và chuẩn hóa trong luận văn gồm có:

  • Biên quan trắc: Đường bao ngoài cách ranh giới ô trọng yếu một khoảng cách bằng đúng bán kính r.
  • Điểm trọng yếu: Các điểm mút bên trái của các đoạn quan trắc được xác định trên lộ trình di chuyển.
  • Đoạn quan trắc: Phần lộ trình xe buýt nằm hoàn toàn bên trong hoặc trên biên quan trắc của một ô kiểm soát.
  • Lộ trình kép: Cấu trúc đường đi của xe buýt bao gồm chiều đi và chiều về kết nối hai điểm đầu cuối.

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

Nguồn dữ liệu thực nghiệm được trích xuất từ bản đồ giao thông thực tế của 60 tuyến xe buýt tại Hà Nội, bao phủ không gian đô thị 600 km². Bản đồ này được số hóa và phân chia thành các lưới ô vuông với 4 cấu hình kích thước khác nhau từ 10 × 12, 25 × 30, 30 × 36 đến 42 × 50 ô, với số lượng ô trọng yếu cần giám sát lên tới 100 ô.

Phương pháp phân tích chủ đạo là thuật toán xấp xỉ tham lam grOSO với thời gian chạy đa thức, kết hợp quy hoạch động cho kịch bản đơn giản hóa và quy trình chọn lọc tập con tham lam cho kịch bản tổng quát. Để đánh giá tính hiệu quả và mức độ hội tụ, luận văn sử dụng hai thuật toán tìm kiếm cục bộ meta-heuristic tiên tiến là Thuật toán Di truyền và Thuật toán Mô phỏng luyện kim làm hệ quy chiếu so sánh.

Cỡ mẫu thực nghiệm bao gồm tổng cộng 172 ca kiểm thử độc lập, trong đó có 58 ca cho kịch bản tuyến đường đơn giản hóa và 114 ca cho kịch bản tuyến đường tổng quát. Phương pháp chọn mẫu ngẫu nhiên có kiểm soát được áp dụng để rải các ô trọng yếu và thay đổi đa dạng các tham số bán kính quan sát từ 0,5 đến 2,0 đơn vị lưới. Lý do lựa chọn thuật toán xấp xỉ tham lam kết hợp quy hoạch động là nhằm đảm bảo tính khả thi về mặt tính toán với độ phức tạp đa thức O(m × n × k × c²), giúp thuật toán phản hồi kết quả trong thời gian thực trên các hệ thống máy tính tiêu chuẩn. Toàn bộ quá trình nghiên cứu và thử nghiệm thuật toán được tiến hành liên tục trong 24 tháng.

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

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

Thứ nhất, luận văn đã chứng minh toán học thành công bài toán OSO thuộc lớp bài toán NP-hard thông qua phép quy dẫn đa thức từ bài toán phủ cực đại. Đồng thời, Định lý 3.1 trong luận văn đã chỉ ra rằng không gian tìm kiếm vô hạn các điểm kích hoạt trên đường đi có thể thu gọn hoàn toàn về tập hữu hạn các điểm mút biên trái mà vẫn giữ nguyên vẹn 100% khả năng quan trắc tối ưu.

Thứ hai, thuật toán xấp xỉ đề xuất grOSO đạt tỷ lệ hiệu năng vượt trội trong thực nghiệm so với các bảo đảm lý thuyết nghiêm ngặt. Trong kịch bản đơn giản hóa, thuật toán đảm bảo tỷ lệ xấp xỉ lý thuyết là 1/2 tức 50,00%, nhưng trên thực tế đạt hiệu năng trung bình lên tới 75,70% so với cận trên tối ưu. Trong kịch bản tổng quát, tỷ lệ bảo đảm lý thuyết là khoảng 38,70%, nhưng kết quả thực nghiệm đạt mức trung bình 63,30%. Khi nguồn năng lượng không bị giới hạn, thuật toán đạt tỷ lệ xấp xỉ lý thuyết là 63,21% và hiệu năng thực nghiệm thực tế lên tới 78,40%.

Thứ ba, sự gia tăng của số lượng xe buýt m và số lần đo k cho thấy xu hướng bão hòa vùng phủ rất nhanh. Khi số lượng xe buýt lắp cảm biến đạt m từ 15 xe trở lên và số lần bật đo k từ 10 lần trở lên, hệ thống đã bao phủ xấp xỉ 100% số lượng ô trọng yếu có thể quan trắc trên toàn bộ bản đồ đô thị.

Thứ tư, khi so sánh thuật toán xấp xỉ tham lam với hai thuật toán meta-heuristic là Thuật toán Di truyền và Thuật toán Mô phỏng luyện kim, kết quả cho thấy các thuật toán meta-heuristic chỉ cải thiện chất lượng nghiệm thêm từ 1,00% đến 3,00% trên tập dữ liệu thử nghiệm, nhưng thời gian thực thi lại kéo dài gấp nhiều lần.

Thảo luận kết quả

Nguyên nhân giúp thuật toán xấp xỉ tham lam đạt hiệu năng thực nghiệm cao vượt bậc so với biên dưới lý thuyết là nhờ vào cấu trúc không gian hình học tự nhiên của các tuyến xe buýt đô thị, nơi các tuyến thường có độ giao thoa cao tại khu vực trung tâm. Việc áp dụng quy hoạch động cho hàm tìm tập cực đại cục bộ trong kịch bản tuyến đơn giản giúp tìm ra chính xác nghiệm tối ưu tuyệt đối cho từng tuyến đơn lẻ trước khi thực hiện bước chọn tham lam toàn cục.

Khi thảo luận về sự phân bố hiệu năng, dữ liệu có thể được biểu diễn trực quan thông qua bản đồ nhiệt ma trận giữa hai trục số lượng cảm biến m và số lần đo k. Bản đồ nhiệt minh họa rõ ràng trạng thái hiệu năng ban đầu đạt 100% khi m nhỏ, sau đó giảm nhẹ khi cận trên lý thuyết tăng nhanh, và nhanh chóng tăng vọt trở lại mức 100% khi m vượt qua ngưỡng 15. Biểu đồ đường thời gian chạy cũng chứng minh thuật toán tham lam duy trì tốc độ xử lý dưới vài giây trên cấu hình máy tính tiêu chuẩn vi xử lý Intel Core i7 và bộ nhớ trong 16 GB, trong khi các phương pháp tiến hóa đòi hỏi hàng trăm thế hệ lặp. Điều này khẳng định thuật toán xấp xỉ tham lam là giải pháp tối ưu hàng đầu về mặt chi phí tính toán cho các bài toán điều độ thực tế.

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

Dựa trên các kết quả lý thuyết và thực nghiệm vững chắc, luận văn đưa ra 4 khuyến nghị cụ thể nhằm ứng dụng công nghệ vào thực tiễn:

  • Triển khai thí điểm lắp đặt thiết bị cảm biến thông minh trên 15 tuyến xe buýt trọng điểm chạy qua các trục giao thông chính của Hà Nội nhằm đạt mục tiêu giám sát trên 75% các điểm nóng ô nhiễm không khí trong vòng 6 tháng, do Sở Giao thông Vận tải chủ trì phối hợp cùng Sở Tài nguyên và Môi trường.
  • Tích hợp mô hình toán học OSO và thuật toán xấp xỉ tham lam vào phần mềm điều hành giao thông đô thị thông minh để tự động lập lịch kích hoạt 2k điểm đo cho từng xe buýt mỗi ngày, giúp giảm 40% mức tiêu thụ năng lượng pin cảm biến, thực hiện trong quý 1 năm 2024 bởi các doanh nghiệp công nghệ môi trường.
  • Xây dựng bản đồ nhiệt phân giải cao theo lưới ô vuông số hóa trên diện tích 600 km² với hơn 100 điểm giám sát trọng yếu, công khai chỉ số chất lượng không khí theo thời gian thực cho người dân trong vòng 12 tháng, do Trung tâm Quan trắc Môi trường Quốc gia thực hiện.
  • Ban hành quy chuẩn bảo dưỡng, hiệu chuẩn cảm biến di động định kỳ 30 ngày một lần trên các phương tiện công cộng nhằm duy trì sai số đo lường dưới 5%, thực hiện bởi các viện nghiên cứu và phòng thí nghiệm chuyên ngành.

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

  • Nhà quản lý đô thị và cơ quan hoạch định chính sách môi trường: Luận văn cung cấp giải pháp mở rộng mạng lưới giám sát không khí với chi phí thấp, tối ưu hóa ngân sách công bằng cách tận dụng 60 tuyến xe buýt công cộng sẵn có thay vì đầu tư hàng triệu USD xây dựng trạm quan trắc cố định.
  • Kỹ sư phát triển hệ thống IoT và Đô thị thông minh: Tài liệu cung cấp chi tiết thuật toán xấp xỉ đa thức và mã giả lập lịch quan trắc cơ hội, hỗ trợ lập trình triển khai trực tiếp vào các thiết bị phần cứng nhúng và máy chủ biên với tài nguyên giới hạn.
  • Giảng viên, nghiên cứu sinh và học viên cao học chuyên ngành Khoa học dữ liệu, Trí tuệ nhân tạo: Đây là tài liệu tham khảo mẫu mực về kỹ thuật quy dẫn chứng minh bài toán NP-hard, kỹ thuật phân tích xấp xỉ toán học và so sánh định lượng giữa giải thuật xấp xỉ với meta-heuristic.
  • Đơn vị vận hành giao thông công cộng: Nắm bắt phương pháp nâng cao giá trị gia tăng của phương tiện giao thông công cộng, biến các tuyến xe buýt thành các trạm quan trắc môi trường lưu động phục vụ cộng đồng.

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

Hệ thống quan trắc không khí di động trên xe buýt có ưu điểm gì vượt trội so với trạm quan trắc cố định?

Hệ thống di động giúp tăng độ phân giải không gian lên gấp nhiều lần trên diện tích rộng lớn 20 km × 30 km bằng cách tận dụng lộ trình xe buýt, giảm hơn 70% chi phí đầu tư ban đầu và chi phí bảo trì so với việc xây dựng hàng loạt trạm đo tĩnh đắt đỏ.

Tính chất NP-hard của bài toán OSO được chứng minh trên cơ sở nào?

Bài toán OSO được chứng minh là NP-hard thông qua phép quy dẫn thời gian đa thức từ bài toán kinh điển Maximum Coverage Problem, khẳng định không thể tìm ra thuật toán chính xác chạy trong thời gian đa thức để giải quyết trọn vẹn bài toán quy mô lớn.

Tỷ lệ xấp xỉ lý thuyết và hiệu năng thực tế của thuật toán grOSO khác nhau như thế nào?

Về mặt lý thuyết, thuật toán grOSO đảm bảo tỷ lệ xấp xỉ tối thiểu là 50,00% cho kịch bản đơn giản và 38,70% cho kịch bản tổng quát. Tuy nhiên trong thực nghiệm trên 60 tuyến xe buýt Hà Nội, hiệu năng thực tế đạt mức rất cao, lần lượt là 75,70% và 63,30%.

Tại sao nên ưu tiên sử dụng thuật toán xấp xỉ tham lam thay vì các thuật toán Di truyền hay Mô phỏng luyện kim?

Thực nghiệm trên 172 ca kiểm thử chứng minh thuật toán Di truyền và Mô phỏng luyện kim chỉ giúp tăng độ bao phủ thêm từ 1,00% đến 3,00% nhưng thời gian chạy lâu hơn đáng kể. Do đó, thuật toán xấp xỉ tham lam là lựa chọn tối ưu và thực tế nhất cho việc vận hành trực tuyến.

Ràng buộc số lần bật cảm biến k trên mỗi chiều tuyến xe có ý nghĩa thực tiễn gì?

Tham số k giới hạn số lần kích hoạt cảm biến trên mỗi chiều đi và về nhằm bảo vệ dung lượng pin giới hạn của thiết bị IoT và giảm tải lưu trữ dữ liệu, trong khi thuật toán vẫn tối ưu chọn đúng các điểm đo mang lại lượng thông tin môi trường lớn nhất.

Kết luận

  • Luận văn đã mô hình hóa thành công bài toán tối ưu hóa quan trắc cơ hội OSO trên phương tiện công cộng và chứng minh toán học tính chất NP-hard của bài toán.
  • Đề xuất thuật toán xấp xỉ tham lam grOSO với thời gian chạy đa thức O(m × n × k × c²), đạt hiệu năng thực tế từ 63,30% đến 75,70% trên dữ liệu mạng lưới xe buýt thực tế tại Hà Nội.
  • Kiểm chứng toàn diện qua 172 kịch bản mô phỏng và so sánh với hai thuật toán meta-heuristic, khẳng định thuật toán tham lam có tính thực tiễn cao vượt trội về tốc độ và chất lượng lời giải.
  • Đưa ra lộ trình triển khai công nghệ cảm biến di động cho 15 tuyến xe buýt trong khung thời gian từ 6 đến 12 tháng nhằm hiện đại hóa công tác giám sát môi trường đô thị.
  • Các đơn vị quản lý môi trường và doanh nghiệp công nghệ nên nhanh chóng ứng dụng khung mô hình của luận văn để xây dựng hệ thống quan trắc thông minh, góp phần cải thiện chất lượng sống đô thị bền vững.