XÂY DỰNG THƯ VIỆN LẬP TRÌNH HỖ TRỢ TỐI ƯU TỔ HỢP TRÊN MÔI TRƯỜNG TÍNH TOÁN SONG SONG VÀ PHÂN BỐ

Tóm tắt nghiên cứu

Nghiên cứu do TS. Trần Văn Hoài và nhóm nghiên cứu thuộc Khoa Khoa học & Kỹ thuật Máy tính – Trường Đại học Bách khoa (ĐHQG-HCM) thực hiện nhằm giải quyết câu hỏi nghiên cứu cốt lõi: Làm thế nào để xây dựng một khung thư viện lập trình C++ linh hoạt, hợp nhất, vừa hỗ trợ đa dạng các thuật toán tối ưu gần đúng (meta-heuristics), vừa cho phép kết hợp chúng linh hoạt qua mô hình Workflow và triển khai song song/phân tán hiệu năng cao trên môi trường tính toán cụm (Cluster MPI/POP-C++) cho các bài toán kỹ thuật phức tạp?

Đề tài áp dụng phương pháp thiết kế kiến trúc phần mềm 3 tầng phân tách độc lập (Search Algorithms, Workflow Engine, POPC++/MPI), cho phép trừu tượng hóa các bài toán tối ưu thông qua hệ thống giao diện (interfaces) C++ chuẩn mực. Khung làm việc hỗ trợ cả hai nhóm meta-heuristic chính: thuật toán dựa trên dịch chuyển (Leo đồi - HC, Mô phỏng luyện kim - SA, Tìm kiếm Tabu - TS) và thuật toán dựa trên quần thể (Giải thuật Di truyền - GA, Thuật toán Memetic - MA), đồng thời tích hợp cơ chế điều phối đồ thị có hướng (DAG) hỗ trợ rẽ nhánh, song song và cấu trúc vòng lặp lồng (loops/clusters).

Kết quả nghiên cứu đã hiện thực thành công thư viện C++ hiệu năng cao, chứng minh khả năng tăng tốc vượt trội khi mở rộng số bộ xử lý (lên đến 21 processors với MPI) trên các tập dữ liệu chuẩn TSPLIB (berlin52, eil101, ali535). Đặc biệt, thư viện đã giải quyết thành công hai bài toán thực tế quy mô lớn: tối ưu hóa lộ trình thu gom chất thải nguy hại có ràng buộc khung thời gian và xung đột (VRPTWC) tại TP.HCM và tối ưu hóa khí động lực học biên dạng cánh máy bay (Airfoil Optimization). Nghiên cứu đóng góp nền tảng công nghệ quan trọng, giúp các nhà khoa học liên ngành dễ dàng áp dụng công nghệ tính toán hiệu năng cao (HPC) vào thực tiễn mà không đòi hỏi kiến thức chuyên sâu về lập trình song song.

Bối cảnh và tầm quan trọng

Hiện trạng tri thức và những hạn chế tồn tại

Tối ưu hóa tổ hợp (Combinatorial Optimization) là lĩnh vực then chốt trong toán - tin ứng dụng, đóng vai trò nền tảng trong vận trù học, logistics, tự động hóa và thiết kế kỹ thuật. Vì đa số các bài toán tối ưu thực tế thuộc lớp bài toán NP-khó (NP-hard) với không gian tìm kiếm bùng nổ hàm mũ, các giải thuật gần đúng (meta-heuristics) lấy cảm hứng từ tự nhiên và vật lý đã trở thành phương pháp tiếp cận hàng đầu.

Tuy nhiên, việc áp dụng meta-heuristic vào thực tế đối mặt với ba rào cản lớn:

  1. Tính đặc thù của ứng dụng (Application-specific nature): Không có một thuật toán duy nhất nào tối ưu cho mọi bài toán. Mỗi thuật toán có ưu/nhược điểm riêng trên từng dạng không gian nghiệm.
  2. Nhu cầu phối hợp đa giải thuật (Meta-optimization & Hybridization): Xu hướng hiện đại đòi hỏi kết hợp nhiều thuật toán (ví dụ: GA kết hợp Local Search tạo thành Memetic Algorithm) để cân bằng giữa khả năng khám phá toàn cục (diversification/exploration) và khai thác cục bộ (intensification/exploitation).
  3. Thách thức về hạ tầng tính toán song song: Việc mở rộng không gian tìm kiếm đòi hỏi tài nguyên tính toán cực lớn. Các khung thư viện quốc tế hiện nay như jMetal, Shark, PISA, MOMHLib++ chủ yếu phục vụ tính toán tuần tự; trong khi các thư viện song song như ParadisEO hay DGPF lại phức tạp, phụ thuộc vào hạ tầng cố định và thiếu cơ chế mô tả quy trình kết hợp thuật toán dạng quy trình công việc (workflow) linh hoạt.

Khoảng trống nghiên cứu và tính cấp thiết tại Việt Nam

Tại Việt Nam, phần lớn các hệ thống quản trị và điều hành (như điều hành giao thông, quản lý logistics đô thị) vẫn phụ thuộc nhiều vào kinh nghiệm chuyên gia thủ công, thiếu vắng các công cụ toán - tin hỗ trợ ra quyết định tối ưu. Các nghiên cứu trong nước trước đây thường chỉ dừng lại ở việc áp dụng đơn lẻ một thuật toán cho một bài toán cô lập hoặc nhập khẩu các phần mềm đóng đắt tiền từ nước ngoài, dẫn đến hai hạn chế: không giải quyết được các bài toán có tính đặc thù bản địa và không làm chủ được công nghệ lõi.

Đồng thời, các phòng thí nghiệm tính toán khoa học trong nước dù đã được đầu tư hạ tầng máy tính cụm và tính toán lưới (như Supernode II, EDAGrid, VN-Grid) nhưng hiệu suất khai thác chưa cao do thiếu các thư viện lập trình cấp cao thân thiện. Đề tài ra đời vào thời điểm then chốt nhằm lấp đầy khoảng trống này, tạo ra một khung lập trình nguồn mở “Make in Vietnam” có khả năng kết nối đa giải thuật, phân bổ tính toán tự động lên hệ thống cụm máy tính thông qua giao thức chuẩn MPI.

Phương pháp tiếp cận và Kiến trúc hệ thống

+-------------------------------------------------------------------------+
|                           APPLICATION LAYER                             |
|       (TSP Benchmark, VRPTWC Logistics, Airfoil CFD Optimization)       |
+-------------------------------------------------------------------------+
                                    |
+-------------------------------------------------------------------------+
|                        SEARCH ALGORITHM LAYER                           |
|  - Problem/Solution Interfaces: edaProblem, edaSolution, edaSolutionList|
|  - Move-based: edaMove, edaMoveGen, edaMoveSelect (HC, SA, TS)          |
|  - Population-based: edaChromosome, edaSelection, edaCrossover,        |
|                      edaMutation, edaAdaption (GA, MA)                  |
+-------------------------------------------------------------------------+
                                    |
+-------------------------------------------------------------------------+
|                        WORKFLOW ENGINE LAYER                            |
|  - Dynamic DAG Control: edaWrapperControl (insertVertex, insertEdge)    |
|  - Loop & Cluster Controller: insertLoop (edaContinue)                  |
|  - Solution Selectors: edaBestSelectWrapper, edaFullSelectWrapper       |
|  - Polling, Scheduling & Fault-tolerant Engine                          |
+-------------------------------------------------------------------------+
                                    |
+-------------------------------------------------------------------------+
|                         POPC++ / MPI LAYER                              |
|  - Data Serialization: edaSerialize, edaBuffer                         |
|  - Distributed Computing Engine: Master-Slave Processors                |
|  - Infrastructure Support: Multicore, Cluster MPI, Grid POP-C++         |
+-------------------------------------------------------------------------+

1. Kiến trúc phân tầng (3-Tier Architecture)

Hệ thống được thiết kế theo mô hình hướng đối tượng hướng module hóa cao độ, bao gồm 3 tầng chính:

  • Tầng Search Algorithms (Thuật toán tìm kiếm): Cung cấp khung trừu tượng cho việc định nghĩa bài toán (edaProblem), biểu diễn nghiệm (edaSolution, edaSolutionList). Tầng này phân tách rõ hai nhánh giải thuật:
    • Nhánh dịch chuyển (Move-based): Triển khai Hill Climbing (HC), Simulated Annealing (SA), Tabu Search (TS) thông qua việc chuẩn hóa toán tử sinh lân cận (edaMoveGen), bước chuyển (edaMove), lựa chọn lân cận (edaMoveSelect với các cơ chế First Best, Global Best), cơ chế làm lạnh nhiệt độ (edaCoolingSchedule dạng Tuyến tính và Số mũ) và danh sách Tabu (edaTabuList).
    • Nhánh quần thể (Population-based): Triển khai Genetic Algorithm (GA) và Memetic Algorithm (MA) với các toán tử di truyền độc lập: biểu diễn nhiễm sắc thể (edaChromosome), chọn lọc tự nhiên (edaNaturalSelection), lai ghép (edaCrossover), đột biến (edaMutation) và toán tử cải tiến thích nghi cục bộ (edaAdaption).
  • Tầng Workflow Engine (Động cơ quy trình tính toán): Đóng vai trò “trái tim” điều phối của thư viện, cho phép mô hình hóa tiến trình tối ưu thành một đồ thị có hướng (DAG - Directed Acyclic Graph) mở rộng. Lớp edaWrapperControl cung cấp các phương thức cấu hình trực quan như insertVertex(), insertEdge() và điểm đột phá là insertLoop(). Động cơ này cho phép lặp lại các cụm tác vụ (clusters) theo điều kiện dừng (edaContinue), truyền nhận tập nghiệm chọn lọc giữa các giải thuật qua edaBestSelectWrapper hoặc edaFullSelectWrapper, đồng thời giám sát trạng thái (polling) và phục hồi lỗi tính toán.
  • Tầng POP-C++/MPI (Hạ tầng tính toán song song và phân tán): Quản lý giao tiếp phân tán theo mô hình Master - Slave. Để đảm bảo dữ liệu truyền tải thông suốt giữa các nốt tính toán phân tán, thư viện thiết lập lớp cơ sở edaSerialize và edaBuffer để tự động hóa quá trình đóng gói, truyền thông điệp và tái tạo đối tượng từ xa thông qua định danh lớp (setClassID, userClassGenerate). Tầng này hỗ trợ cả tính toán tuần tự cục bộ, tính toán song song trên cụm máy tính qua MPI chuẩn và tính toán lưới qua POP-C++.

2. Thiết lập thực nghiệm và Độ tin cậy (Validity & Reliability)

Khung thư viện được kiểm chứng nghiêm ngặt qua 3 cấp độ:

  • Cấp độ thuật toán chuẩn: Đánh giá hiệu năng và tính chính xác trên các bộ dữ liệu chuẩn quốc tế TSPLIB (berlin52, eil101, ali535).
  • Cấp độ bài toán logistics thực tế (VRPTWC): Dữ liệu thực tế tại TP.HCM với quy mô từ 102, 277, 335 đến 444 điểm dừng thu gom chất thải công nghiệp nguy hại, tích hợp ma trận khoảng cách GIS và các ràng buộc xung đột hóa chất nghiêm ngặt.
  • Cấp độ bài toán vật lý kỹ thuật (Airfoil Optimization): Mô hình tham số hóa hình học biên dạng cánh PARSEC (11 biến hình học), liên kết trực tiếp với phần mềm giải số động lực học chất lưu (CFD) để đánh giá hệ số nâng/cản ($C_L/C_D$) trong dòng chảy cận thanh (transonic flow).

Phát hiện và Kết quả nghiên cứu chính

+-------------------------------------------------------------------------+
|                  TỔNG HỢP CÁC KẾT QUẢ THỰC NGHIỆM CHÍNH                |
+-------------------------------------------------------------------------+
| 1. Năng lực phối hợp Workflow (Hybrid Meta-heuristics)                  |
|    - Mô hình Memetic Workflow (GA + Local Search HC/SA/TS) vượt trội    |
|      hoàn toàn so với việc chạy các thuật toán đơn lẻ.                  |
|    - Tránh được hiện tượng bẫy tối ưu cục bộ trên không gian nghiệm lớn.|
+-------------------------------------------------------------------------+
| 2. Hiệu năng tính toán song song (MPI Scalability)                      |
|    - Cấu hình MPI 21 Processors (MPI02) giảm thời gian thực thi         |
|      xuống hàng chục lần so với chạy tuần tự 1 Processor (SEQ02).       |
|    - Tỷ lệ tăng tốc (Speedup) tuyến tính rõ nét trên tập dữ liệu ali535.|
+-------------------------------------------------------------------------+
| 3. Hiệu quả ứng dụng Vận trù học (VRPTWC - Thu gom chất thải TP.HCM)    |
|    - Tối ưu hóa thành công lộ trình cho tập dữ liệu lớn đến 444 điểm.   |
|    - Giảm thiểu số lượng xe vận chuyển và triệt tiêu xung đột hóa chất.|
+-------------------------------------------------------------------------+
| 4. Đột phá trong tối ưu khí động học (Airfoil Optimization)             |
|    - Tối ưu 11 thông số hình học PARSEC kết hợp mô phỏng CFD.           |
|    - Tạo ra biên dạng cánh mới có đặc tính khí động vượt trội so với     |
|      chuẩn quốc tế RAE2822 và các công bố trước đó [Khai11].           |
+-------------------------------------------------------------------------+

1. Sức mạnh vượt trội của mô hình phối hợp Workflow đa giải thuật

Thực nghiệm so sánh giữa các giải thuật đơn lẻ (HC, SA, TS, GA) và mô hình phối hợp dạng Workflow (Memetic Algorithm - MA kết hợp GA với tìm kiếm cục bộ HC qua toán tử 2-Opt/Or-Opt) chỉ ra rằng: các giải thuật đơn lẻ rất nhanh chóng bị bão hòa hoặc rơi vào cực tiểu địa phương khi độ phức tạp bài toán tăng lên. Trong khi đó, workflow phối hợp đa luồng giúp duy trì tính đa dạng của quần thể nghiệm ở giai đoạn đầu và hội tụ sâu ở giai đoạn sau, đạt giá trị hàm mục tiêu tối ưu hơn rõ rệt trên tất cả các tập benchmark TSPLIB.

2. Khả năng mở rộng và tăng tốc tính toán song song với MPI

Khi đo lường thời gian thực thi giữa workflow tuần tự (1 processor - SEQ02) và workflow song song phân tán (21 processors - MPI02) trên các tập dữ liệu berlin52, eil101 và ali535, thư viện thể hiện hiệu năng tăng tốc (speedup) vượt bậc:

  • Với bài toán quy mô lớn (ali535), thời gian tính toán giảm mạnh khi phân bổ các nhánh tìm kiếm và đánh giá hàm thích nghi lên cụm MPI 21 bộ xử lý.
  • Cơ chế Master-Slave và đóng gói dữ liệu nhẹ (edaBuffer) giúp giảm thiểu độ trễ truyền thông điệp mạng, duy trì hiệu suất tính toán cao ngay cả khi trao đổi dữ liệu quần thể liên tục.

3. Giải quyết bài toán Logistics thực tế: Định lộ trình chở chất thải nguy hại (VRPTWC)

Ứng dụng thư viện vào bài toán VRPTWC trên địa bàn TP.HCM với các tập dữ liệu thực tế từ 102 đến 444 điểm dừng:

  • Mô hình kết hợp thuật toán Memetic song song (MPIMA) với các toán tử lân cận chuyên biệt (Interchange, Composite Cyclic) đã giải quyết triệt để bài toán thỏa mãn đồng thời các cửa sổ thời gian nghiêm ngặt và ngăn chặn việc chở chung các loại chất thải xung đột có nguy cơ gây cháy nổ.
  • Kết quả tối ưu giúp giảm đáng kể tổng quãng đường di chuyển và số lượng phương tiện chuyên dụng cần huy động so với các phương pháp xây dựng lời giải truyền thống (constructive methods).

4. Thành tựu trong thiết kế khí động học cánh máy bay (Airfoil Optimization)

Trong bài toán tối ưu biên dạng cánh 2D chuyển động cận thanh:

  • Quy trình kết hợp MA song song (MPI MA) điều khiển tự động quá trình biến đổi 11 tham số hình học PARSEC và gọi thư viện CFD để phân tích dòng khí.
  • Biên dạng tối ưu thu được đạt hiệu suất khí động học vượt trội (tăng tỷ số nâng/cản $C_L/C_D$, giảm sóng xung kích trên bề mặt cánh) khi đối sánh trực tiếp với biên dạng tiêu chuẩn quốc tế RAE2822 cũng như cải thiện vượt bậc so với các nghiên cứu công bố trước đó của nhóm ([Khai11]).

Đóng góp khoa học và Giá trị thực tiễn

+-------------------------------------------------------------------------+
|                  CÁC TRỤ CỘT ĐÓNG GÓP CỦA ĐỀ TÀI                        |
+-------------------------------------------------------------------------+
| [1] ĐÓNG GÓP HỆ THỐNG & LÝ THUYẾT:                                      |
|     - Chuẩn hóa mô hình Workflow DAG có chu trình lặp lồng (Cluster-    |
|       based Looped Workflow) cho bài toán tối ưu tổ hợp.                |
|     - Trừu tượng hóa hoàn chỉnh các toán tử meta-heuristics hướng đối   |
|       tượng trong C++.                                                  |
|                                                                         |
| [2] ĐÓNG GÓP CÔNG NGHỆ & KỸ THUẬT:                                      |
|     - Tích hợp thành công giao tiếp MPI hiệu năng cao vào tầng truyền   |
|       thông, cho phép chạy song song trên mọi hệ thống máy tính cụm.    |
|     - Xây dựng cơ chế Serialization và Polling tự động hóa hoàn toàn.   |
|                                                                         |
| [3] ĐÓNG GÓP ỨNG DỤNG THỰC TIỄN:                                        |
|     - Bộ công cụ hoàn chỉnh giải quyết bài toán Logistics môi trường    |
|       (VRPTWC) phục vụ quản lý đô thị TP.HCM.                           |
|     - Giải pháp tự động hóa thiết kế biên dạng cánh khí động học (CFD). |
|                                                                         |
| [4] ĐÀO TẠO & CÔNG BỐ QUỐC TẾ:                                         |
|     - 01 Công bố khoa học quốc tế (Full paper - Springer LNCS).         |
|     - 01 Luận văn Thạc sĩ Khoa học Máy tính hoàn thành xuất sắc.        |
+-------------------------------------------------------------------------+

Đóng góp về mặt lý thuyết và phương pháp luận

  1. Mô hình hóa quy trình tối ưu dạng Workflow có vòng lặp: Đề tài đã mở rộng lý thuyết biểu diễn thuật toán meta-heuristic từ các đồ thị DAG không chu trình đơn giản sang mô hình Workflow hỗ trợ cấu trúc lặp (loops) và phân cụm (clusters), thiết lập nền tảng toán học cho việc cộng tác thích nghi giữa các giải thuật tìm kiếm khác bản chất.
  2. Khung trừu tượng hóa chuẩn mực: Đề xuất mô hình thiết kế hướng đối tượng chặt chẽ trong C++, phân tách hoàn toàn giữa đặc tả bài toán (Problem Space), chiến lược tìm kiếm (Search Strategy), điều phối quy trình (Workflow Engine) và hạ tầng tính toán (Hardware Infrastructure).

Đóng góp công nghệ và Ứng dụng thực tiễn

  • Làm chủ công nghệ tính toán song song: Cung cấp cho cộng đồng nghiên cứu trong nước một thư viện C++ mạnh mẽ, sẵn sàng triển khai trên các cụm máy tính HPC sử dụng MPI chuẩn mà không phải phụ thuộc vào các phần mềm thương mại đắt tiền.
  • Chuyển giao cho các bài toán kinh tế - xã hội:
    • Môi trường & Đô thị: Hỗ trợ Sở Khoa học & Công nghệ và các công ty môi trường đô thị tối ưu hóa mạng lưới thu gom chất thải độc hại, tiết kiệm ngân sách và đảm bảo an toàn sinh thái.
    • Kỹ thuật hàng không & Cơ khí: Tạo công cụ tự động hóa quy trình thiết kế tối ưu hình học dựa trên mô phỏng số khí động lực học.

Giá trị học thuật và Đào tạo

  • Công bố 01 bài báo khoa học toàn văn tại hội nghị quốc tế uy tín: International Conference on Computational Science and Its Applications (ICCSA), xuất bản trong kỷ yếu Lecture Notes in Computer Science (LNCS - Springer).
  • Đào tạo thành công 01 Thạc sĩ chuyên ngành Khoa học Máy tính tại Trường Đại học Bách khoa TP.HCM ([Thai13a]).

Đối tượng hưởng lợi và Tiềm năng ứng dụng

  • Nhà nghiên cứu học thuật (Khoa học máy tính, Toán ứng dụng, Cơ học tính toán):
    • Lợi ích: Sử dụng ngay bộ khung C++ có sẵn để thử nghiệm các thuật toán meta-heuristic mới hoặc giải quyết các bài toán tối ưu liên ngành mà không cần mất nhiều năm tự xây dựng hạ tầng song song từ đầu.
  • Kỹ sư R&D và Chuyên gia Logistics trong công nghiệp:
    • Lợi ích: Ứng dụng module VRPTWC để giải các bài toán định tuyến đội xe giao hàng (Vehicle Routing Problem), lập lịch sản xuất công nghiệp (Job-shop Scheduling), phân bổ chuỗi cung ứng và tối ưu hóa mặt bằng kho bãi.
  • Kỹ sư Hàng không, Ô tô và Cơ khí chế tạo:
    • Lợi ích: Tận dụng module tối ưu hóa hình học tích hợp CFD/FEA để thiết kế tự động các bề mặt khí động, cánh tuabin gió, biên dạng thân xe nhằm giảm lực cản và tiết kiệm nhiên liệu.
  • Cơ quan Quản lý Nhà nước và Đô thị (Sở KH&CN, Sở TN&MT, Sở GTVT):
    • Lợi ích: Công cụ khoa học vững chắc giúp hoạch định chính sách thu gom chất thải, tối ưu hóa lộ trình xe buýt công cộng và quản lý hạ tầng giao thông đô thị dựa trên dữ liệu lớn.

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

1. Điểm đột phá lớn nhất của thư viện này so với các thư viện quốc tế (như ParadisEO, jMetal) là gì?

Điểm đột phá chính là kiến trúc Workflow Engine linh hoạt hỗ trợ cấu trúc rẽ nhánh song song và vòng lặp lồng (loops/clusters). Khác với các thư viện thông thường vốn chỉ chạy thuật toán đơn lẻ hoặc kết hợp tuần tự cố định, thư viện này cho phép người dùng mô hình hóa một mạng lưới hợp tác đa giải thuật (ví dụ: GA chuyển giao nghiệm cho nhiều nhánh HC/SA/TS chạy song song, sau đó thu hồi nghiệm tốt nhất để lặp lại thế hệ sau), đồng thời hỗ trợ triển khai tức thì trên máy tính cụm qua MPI.

2. Người dùng không có chuyên môn sâu về lập trình song song có sử dụng được thư viện không?

Hoàn toàn có thể. Thư viện đã trừu tượng hóa và che giấu toàn bộ sự phức tạp của tầng truyền thông điệp MPI và quản lý luồng. Người dùng chỉ cần kế thừa các giao diện cơ bản (edaProblem, edaSolution, edaMove), mô tả bài toán chuyên ngành của mình và thiết lập luồng tính toán qua các lệnh trực quan (insertVertex, insertEdge). Thư viện sẽ tự động phân phối và cân bằng tải trên cụm máy tính.

3. Thư viện có thể mở rộng để giải quyết các bài toán tối ưu khác ngoài TSP, VRP và Airfoil không?

Có, khả năng tổng quát hóa rất cao. Nhờ mô hình hướng đối tượng độc lập, bất kỳ bài toán tối ưu rời rạc (tổ hợp) hoặc liên tục nào chỉ cần định nghĩa được không gian nghiệm, hàm lượng giá (fitness function) và các toán tử biến đổi lân cận/di truyền đều có thể cắm trực tiếp vào hệ thống để giải quyết.

4. Vì sao nhóm nghiên cứu lại bổ sung chuẩn MPI thay vì chỉ dùng POP-C++ như phiên bản trước?

Trước đây, thư viện sử dụng POP-C++ hướng đến môi trường tính toán lưới (Grid Computing). Tuy nhiên, POP-C++ ít phổ biến và đòi hỏi môi trường cài đặt phức tạp. Việc tích hợp giao thức MPI chuẩn quốc tế giúp thư viện có thể triển khai tức thì, tương thích trên hầu hết các hệ thống máy tính đa lõi, máy tính cụm (Cluster HPC) và siêu máy tính hiện đại trên thế giới.

5. Kết quả bài toán thu gom chất thải nguy hại (VRPTWC) tại TP.HCM có thể áp dụng vào thực tế ngay không?

Có thể áp dụng và chuyển giao ngay. Thuật toán đã được kiểm chứng trên các tập dữ liệu thực tế lên tới 444 điểm dừng tại TP.HCM, xử lý đầy đủ các điều kiện thực tế như khung giờ tiếp nhận của nhà máy và tính chất xung đột hóa học của các nhóm chất thải nguy hại.

Kết luận

Báo cáo tổng kết đề tài “Xây dựng thư viện lập trình hỗ trợ tối ưu tổ hợp trên môi trường tính toán song song và phân bố” do TS. Trần Văn Hoài chủ nhiệm là một công trình nghiên cứu khoa học có chất lượng cao, dung hòa xuất sắc giữa chiều sâu lý thuyết toán - tin và giá trị ứng dụng thực tiễn. Đề tài không chỉ hoàn thành vượt mức toàn bộ các chỉ tiêu kỹ thuật được phê duyệt mà còn mang lại sản phẩm phần mềm C++/MPI hoàn chỉnh, giải quyết hiệu quả hai bài toán lớn trong vận trù đô thị và kỹ thuật hàng không.

Trong tương lai, hướng phát triển tự nhiên của hệ thống là tích hợp khả năng tính toán tăng tốc trên GPU (CUDA/OpenCL), hỗ trợ điện toán đám mây (Cloud-native HPC) và phát triển các thuật toán tự động tinh chỉnh siêu tham số (Auto-tuning Hyperparameters).

Khuyến nghị & Hành động: Các tổ chức, viện nghiên cứu và doanh nghiệp quan tâm đến việc ứng dụng tính toán hiệu năng cao và tối ưu hóa quy trình sản xuất/logistics có thể tiếp cận, khai thác mã nguồn và phối hợp chuyển giao công nghệ từ nhóm nghiên cứu Đại học Bách khoa TP.HCM.