Tổng quan nghiên cứu

Sân bay quốc tế Nội Bài là cửa ngõ hàng không trọng yếu của khu vực miền Bắc, ghi nhận lưu lượng phục vụ khoảng 5,5 triệu lượt khách xuất nhập cảnh vào năm 2015 với tốc độ tăng trưởng bình quân duy trì ở mức 15%/năm. Nhằm đáp ứng nhu cầu giao thương quốc tế ngày càng gia tăng, nhà ga được đầu tư xây dựng hạ tầng với quy mô 96 bục kiểm soát xuất nhập cảnh (gồm 48 bục xuất cảnh và 48 bục nhập cảnh) vận hành liên tục 24/7. Tuy nhiên, do sự biến động về quân số cán bộ chiến sĩ thực tế và việc phân bổ ca trực chưa tối ưu, đơn vị thường chỉ bố trí vận hành khoảng 40 bục làm thủ tục. Thực trạng này dẫn đến sự mất cân đối nghiêm trọng giữa năng lực cung ứng dịch vụ và nhu cầu thực tế, đặc biệt là tình trạng ùn tắc cục bộ trong 2 khung giờ cao điểm mỗi ngày (từ 8 giờ đến 13 giờ và từ 21 giờ đến 22 giờ) khi lượng khách tăng vọt gấp 2 lần mức trung bình.

Vấn đề nghiên cứu trọng tâm của luận văn là giải quyết bài toán phục vụ đám đông tại khu vực cửa khẩu thông qua việc ứng dụng lý thuyết hàng đợi toán học và công cụ mô phỏng sự kiện rời rạc chuyên dụng. Mục tiêu cụ thể là xây dựng mô hình mô phỏng định lượng hoạt động kiểm soát xuất nhập cảnh tại Sân bay quốc tế Nội Bài, tính toán các chỉ số hiệu năng của hệ thống trong các điều kiện tải khác nhau, từ đó xác định số lượng quầy phục vụ tối ưu và dự báo nhu cầu mở rộng trong tương lai.

Phạm vi nghiên cứu tập trung vào toàn bộ quy trình kiểm soát luồng hành khách xuất nhập cảnh tại Sân bay quốc tế Nội Bài trong chu kỳ vận hành năm 2015. Ý nghĩa của nghiên cứu thể hiện qua việc nâng cao các chỉ số hiệu năng cốt lõi: kéo giảm thời gian chờ đợi trung bình của hành khách xuống dưới 2 phút/người, tối ưu hóa hệ số sử dụng bục kiểm soát trong khoảng 75% đến 85%, đồng thời cung cấp cơ sở dữ liệu khoa học giúp lãnh đạo đơn vị hoạch định chiến lược đầu tư trang thiết bị và bố trí nhân sự chính xác, tránh lãng phí nguồn lực cô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 trên nền tảng lý thuyết hàng đợi (Queueing Theory) và lý thuyết xác suất ứng dụng, kết hợp các mô hình toán học giải tích để phân tích trạng thái phục vụ của hệ thống:

  1. Hệ thống phân loại Kendall ($A/B/m/K/n/D$): Sử dụng các mô hình hàng đợi kinh điển như $M/M/1$, $M/M/m$, $M/M/1/K$ và đặc biệt là mô hình hàng đợi đa kênh giới hạn dung lượng $M/M/m/K$. Trong đó, dòng khách đến tuân theo phân phối Poisson với tham số $\lambda$, thời gian phục vụ tuân theo phân phối mũ với tham số $\mu$, hệ thống có $m$ kênh phục vụ hoạt động song song với dung lượng bộ đệm tối đa $K$ hành khách và áp dụng nguyên tắc phục vụ đến trước phục vụ trước (FIFO).
  2. Luật Little: Thiết lập mối quan hệ dừng phổ quát giữa số lượng khách trung bình trong hệ thống $N$ với thời gian lưu lại trung bình $T$ qua công thức $N = \lambda T$, và số lượng khách chờ trong hàng đợi $N_q$ với thời gian chờ trung bình $W$ qua công thức $N_q = \lambda W$, áp dụng trong điều kiện hệ thống đạt trạng thái cân bằng dừng với điều kiện ổn định $\lambda < m\mu$.
  3. Các quy luật phân phối xác suất quan trọng:
    • Phân phối Poisson và phân phối hàm mũ: Mô tả khoảng thời gian giữa các lần đến liên tiếp của hành khách và thời gian thực hiện thao tác kiểm tra hộ chiếu.
    • Phân phối Erlangian ($n$-phase Gamma): Mô tả quá trình phục vụ nhiều giai đoạn phức tạp khi hành khách phải trải qua các bước kiểm tra chuyên sâu.
    • Phân phối Bernoulli và phân phối nhị thức: Ứng dụng để mô hình hóa các tỷ lệ rẽ nhánh ngẫu nhiên trong luồng di chuyển, cụ thể là tỷ lệ 1% khách thuộc diện ưu tiên ngoại giao và 5% khách chưa đủ điều kiện ban đầu phải chuyển sang quầy kiểm tra thứ cấp.
  4. Các khái niệm và tham số đặc trưng: Hệ số sử dụng hệ thống ($\rho = \lambda / m\mu$), xác suất trạng thái dừng $p_k$, độ dài hàng đợi trung bình $Q$, và xác suất từ chối/ùn ứ của hệ thống khi vượt quá ngưỡng dung lượng $K$.

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

Nghiên cứu phối hợp đồng bộ giữa phương pháp giải tích thống kê và phương pháp thực nghiệm mô phỏng trên máy tính:

  • Nguồn dữ liệu và cỡ mẫu: Thu thập số liệu vận hành thực tế tại 96 quầy làm thủ tục thuộc Cửa khẩu Sân bay quốc tế Nội Bài, khảo sát mẫu dữ liệu liên tục từ 5,5 triệu lượt hành khách trong năm 2015. Bộ dữ liệu ghi nhận chi tiết thời gian đến, thời gian làm thủ tục thực tế của từng hành khách (trung bình 120 giây/khách), và lưu lượng biến thiên theo từng khung giờ trong ngày.
  • Phương pháp chọn mẫu: Áp dụng kỹ thuật chọn mẫu phân tầng theo thời gian (Stratified Sampling), chia toàn bộ chu kỳ 24 giờ thành 2 ca làm việc chính (Ca 1 từ 8 giờ đến 15 giờ; Ca 2 từ 16 giờ đến 7 giờ hôm sau) và tách biệt 2 khung giờ cao điểm (8h00 - 13h00 và 21h00 - 22h00) để đo lường chính xác các tham số $\lambda$ và $\mu$.
  • Lý do lựa chọn phương pháp phân tích: Phương pháp giải tích toán học thuần túy gặp nhiều hạn chế khi đối mặt với hệ thống lớn có dòng khách biến động phi tuyến, có sự phân cấp ưu tiên và vòng lặp phản hồi (90% trong số 5% khách kiểm tra phụ quay trở lại hàng đợi sau khi bổ sung giấy tờ). Do đó, tác giả lựa chọn phương pháp mô phỏng sự kiện rời rạc bằng công cụ chuyên dụng GPSS World kết hợp ngôn ngữ lập trình PLUS. GPSS World cung cấp sẵn hơn 20 hàm phân phối xác suất, cơ chế đa luồng quản lý chuỗi sự kiện hiện tại (CEC) và chuỗi sự kiện tương lai (FEC), cùng hệ thống khối lệnh trực quan (GENERATE, QUEUE, SEIZE, ADVANCE, RELEASE, TRANSFER, TEST), giúp tái hiện chính xác động thái vận hành thực tế.
  • Timeline nghiên cứu: Quá trình thu thập số liệu, xây dựng giải thuật, lập trình mô hình và kiểm chứng thực nghiệm được thực hiện trong thời gian 6 tháng.

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

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

  1. Hiệu năng vận hành trong khung giờ lưu lượng trung bình: Khi lưu lượng hành khách ở mức tiêu chuẩn, thời gian kiểm tra giấy tờ trung bình đạt 2 phút/người (120 giây). Với việc duy trì từ 20 đến 25 bục kiểm soát hoạt động đồng thời cho mỗi luồng xuất/nhập cảnh (tương đương 40-50 bục toàn nhà ga), hệ số bận của kiểm soát viên $\rho$ đạt mức lý tưởng từ 70% đến 75%. Thời gian chờ đợi trung bình trong hàng đợi chỉ dao động từ 1,2 đến 1,8 phút, độ dài hàng đợi trung bình không vượt quá 3 hành khách/bục, đảm bảo tiêu chuẩn dịch vụ hàng không quốc tế.
  2. Sự quá tải đột biến tại các khung giờ cao điểm: Trong 2 khung giờ cao điểm (8h-13h và 21h-22h), lưu lượng hành khách tăng vọt 200% (gấp 2 lần mức bình thường). Nếu hệ thống vẫn duy trì cố định khoảng 40 bục làm thủ tục như hiện trạng, hệ số sử dụng $\rho$ vượt ngưỡng 1,0 dẫn đến vỡ hàng đợi. Mô phỏng chỉ ra rằng độ dài hàng đợi $Q$ tăng lũy tiến từ 8 khách lên trên 35 khách/bục, thời gian chờ đợi trung bình kéo dài từ 15 đến 22 phút, gây ùn tắc nghiêm trọng tại sảnh chờ cách ly.
  3. Tác động của luồng kiểm tra phụ và chính sách ưu tiên: Khoảng 1% tổng lưu lượng là khách ưu tiên (hộ chiếu ngoại giao, quan chức) được phục vụ ngay lập tức mà không phải xếp hàng, giúp giảm tải tức thì cho luồng chính. Ngược lại, 5% tổng lượng khách có vấn đề về giấy tờ được chuyển sang quầy kiểm tra thứ cấp. Tại đây, 90% số khách này sau khi bổ sung giấy tờ đủ điều kiện đã quay lại xếp hàng từ đầu, tạo ra một luồng phản hồi làm tăng thêm 4,5% áp lực tải lên các bục kiểm soát chính nếu không có làn xử lý riêng biệt.
  4. Dự báo nhu cầu mở rộng theo tốc độ tăng trưởng 15%/năm: Kết quả mô phỏng dự báo cho các giai đoạn tiếp theo chỉ ra rằng với tốc độ tăng trưởng 15%/năm, công suất tối đa của 96 quầy hiện có sẽ chạm ngưỡng bão hòa trong vòng 5 đến 7 năm tới nếu vẫn duy trì phương thức kiểm tra thủ công truyền thống.

Thảo luận kết quả

Sự chênh lệch lớn về hiệu năng giữa giờ cao điểm và giờ bình thường xuất phát từ đặc thù khai thác của các hãng hàng không quốc tế khi các chuyến bay thân rộng thường hạ cánh tập trung vào các khung giờ nhất định. Việc phân bổ ca trực hành chính cố định (Ca 1 kéo dài 7 tiếng, Ca 2 kéo dài 15 tiếng) mà không linh hoạt theo biểu đồ bay là nguyên nhân chính dẫn đến hiện tượng "thừa nhân lực lúc vắng, thiếu nhân lực lúc đông".

Để trực quan hóa các kết quả nghiên cứu, dữ liệu mô phỏng từ GPSS World có thể được biểu diễn qua hai hình thức trực quan:

  • Biểu đồ đường so sánh động thái hàng đợi (Line Chart): Thể hiện mối tương quan giữa thời gian trong ngày và độ dài hàng đợi $Q$. Đường biểu diễn kịch bản cố định 40 bục cho thấy đỉnh nhọn vọt lên trên 35 khách vào lúc 10h30 và 21h30, trong khi đường biểu diễn kịch bản điều tiết linh hoạt (mở 70-80 bục vào giờ cao điểm) duy trì độ dài hàng ổn định dưới 5 khách/bục.
  • Bảng phân tích đa biến (Multi-variable Table): Đối chiếu giữa kết quả tính toán theo công thức giải tích $M/M/m/K$ và kết quả mô phỏng GPSS World. Độ sai lệch giữa hai phương pháp chỉ dao động dưới 3,5%, chứng minh mô hình mô phỏng có độ tin cậy khoa học rất cao.

So sánh với các nghiên cứu vận hành tại các sân bay lớn trong khu vực như Changi (Singapore) hay Incheon (Hàn Quốc), việc ứng dụng mô hình phân phối động kết hợp luồng ưu tiên giúp giảm đến 60% thời gian chờ đợi lãng phí, đồng thời cân bằng tải lao động cho lực lượng kiểm soát viên.

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

Dựa trên kết quả mô phỏng định lượng, luận văn đưa ra 4 nhóm giải pháp chiến lược nhằm tối ưu hóa hoạt động kiểm soát xuất nhập cảnh tại Cửa khẩu Sân bay quốc tế Nội Bài:

  1. Tái cấu trúc lịch trực và điều phối nhân sự linh hoạt theo tải trọng bay: Đồn Công an Cửa khẩu Sân bay quốc tế Nội Bài cần chuyển đổi từ cơ chế trực ca cố định sang mô hình điều tiết nhân lực động. Đơn vị cần huy động từ 75 đến 80 bục kiểm soát hoạt động đồng thời trong 2 khung giờ cao điểm (8h-13h và 21h-22h), nâng tỷ lệ sử dụng hạ tầng từ 41,6% lên 83,3%, nhằm mục tiêu kéo giảm thời gian chờ đợi cao điểm từ trên 15 phút xuống dưới 3 phút/khách. Kế hoạch này cần hoàn thiện và áp dụng ngay trong Quý I năm kế tiếp.
  2. Thiết lập luồng ưu tiên đặc thù cho hành khách tái nhập sau kiểm tra phụ: Bộ phận Kiểm soát xuất nhập cảnh cần phân luồng riêng cho 90% hành khách đã hoàn thiện hồ sơ từ quầy kiểm tra thứ cấp quay lại, cho phép họ vào thẳng bục kiểm soát đang trống mà không phải xếp hàng lại từ đầu. Giải pháp này giúp triệt tiêu 100% thời gian chờ lặp lại vô lý, triển khai ngay trong vòng 3 tháng.
  3. Xây dựng hệ thống phần mềm giám sát và dự báo hàng đợi thời gian thực: Phòng Công nghệ Thông tin phối hợp cùng Trung tâm Điều hành sân bay phát triển ứng dụng tích hợp thuật toán mô phỏng GPSS World với cơ sở dữ liệu lịch bay. Hệ thống tự động phát cảnh báo quá tải trước 30 đến 45 phút trước khi các chuyến bay lớn hạ cánh, giúp chỉ huy ca trực chủ động mở thêm quầy, duy trì hệ số bận của kiểm soát viên ở mức tối ưu 75-85%. Thời gian phát triển và thử nghiệm trong 6 đến 12 tháng.
  4. Hiện đại hóa hạ tầng thông qua hệ thống cổng kiểm soát tự động (e-Gate): Cục Quản lý Xuất nhập cảnh và Tổng công ty Cảng hàng không Việt Nam (ACV) cần lập đề án đầu tư lắp đặt hệ thống e-Gate sử dụng công nghệ sinh trắc học (nhận diện khuôn mặt và vân tay). Ứng dụng e-Gate sẽ rút ngắn thời gian làm thủ tục từ 120 giây/khách xuống còn 15-20 giây/khách, giải quyết triệt để bài toán tăng trưởng 15%/năm trong tầm nhìn 5 đến 10 năm tới. Lộ trình thực hiện trong 2 đến 3 năm.

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

Luận văn là tài liệu học thuật và thực tiễn có giá trị cao cho 4 nhóm đối tượng chính:

  1. Lãnh đạo và chỉ huy lực lượng Quản lý Xuất nhập cảnh: Nắm bắt phương pháp luận định lượng để tối ưu hóa quy trình phân ca trực, bố trí quân số chính xác theo dữ liệu chuyến bay, nâng cao hiệu lực quản lý nhà nước về an ninh cửa khẩu gắn liền với cải cách thủ tục hành chính.
  2. Chuyên gia quy hoạch và vận hành cảng hàng không: Vận dụng mô hình hàng đợi $M/M/m/K$ và các tham số dung lượng $K$ để thiết kế mặt bằng sảnh chờ nhà ga quốc tế T2, phân luồng tuyến giao thông nội bộ và xác định năng lực thông qua tối đa của các công trình công cộng.
  3. Giảng viên, nghiên cứu sinh chuyên ngành Công nghệ thông tin và Vận trù học: Sử dụng luận văn như một công trình tham khảo mẫu mực về kỹ thuật mô phỏng sự kiện rời rạc bằng GPSS World, phương pháp lập trình PLUS và cách chuyển hóa bài toán thực tế phức tạp thành mô hình toán học giải tích.
  4. Kỹ sư phát triển phần mềm và tối ưu hóa hệ thống công: Khai thác các thuật toán quản lý giao tác và chuỗi sự kiện để xây dựng các giải pháp xếp hàng thông minh, điều phối tự động cho các hệ thống dịch vụ có quy mô lớn như ngân hàng, bệnh viện, viễn thông và hải quan cảng biển.

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

1. Tại sao nghiên cứu lại ưu tiên công cụ GPSS World thay vì các ngôn ngữ lập trình truyền thống như C++ hay Java? GPSS World là môi trường mô phỏng hướng đối tượng chuyên sâu cho các sự kiện rời rạc, tích hợp sẵn hơn 20 hàm phân phối xác suất và cơ chế tự động quản lý chuỗi sự kiện đồng thời. Sử dụng C++ hay Java đòi hỏi lập trình viên phải tự xây dựng bộ quản lý thời gian và thuật toán sinh biến ngẫu nhiên rất phức tạp, trong khi GPSS World giúp rút ngắn hơn 70% thời gian cài đặt mô hình và loại bỏ triệt để sai số logic.

2. Mô hình hàng đợi $M/M/m/K$ phản ánh thực tế sân bay Nội Bài chính xác hơn mô hình $M/M/m$ như thế nào? Mô hình cổ điển $M/M/m$ giả định không gian hàng đợi là vô hạn, điều này không đúng với thực tế nhà ga có diện tích mặt bằng sảnh cách ly hữu hạn với sức chứa tối đa $K$ người. Mô hình $M/M/m/K$ cho phép tính toán chính xác xác suất từ chối và nguy cơ quá tải khi sảnh chờ bị lấp đầy, giúp các nhà quản lý đưa ra phương án phân luồng từ xa an toàn.

3. Tỷ lệ 5% khách kiểm tra thứ cấp và 1% khách ưu tiên ảnh hưởng như thế nào đến kết quả mô phỏng? Tỷ lệ 1% khách ưu tiên giúp giải phóng nhanh luồng ngoại giao mà không gây ảnh hưởng đến hàng đợi chung. Tuy nhiên, 5% khách kiểm tra phụ tạo ra một vòng lặp phức tạp vì 90% trong số họ quay lại xếp hàng. Mô phỏng GPSS World đã định lượng chính xác sự gia tăng 4,5% tải trọng ảo này, giúp đơn vị thiết kế thêm lối đi ưu tiên tái nhập để triệt tiêu thời gian nghẽn cục bộ.

4. Luận văn đã giải quyết bài toán chênh lệch lưu lượng giữa các khung giờ trong ngày ra sao? Tác giả đã chia chu kỳ 24 giờ thành các phân đoạn tải trọng riêng biệt và tập trung mô phỏng chuyên sâu 2 khung giờ cao điểm (8h-13h và 21h-22h với lưu lượng tăng 200%). Mô hình đã chỉ ra giải pháp mở tăng cường từ 40 lên 75-80 bục làm thủ tục vào giờ cao điểm, giúp giữ vững thời gian phục vụ dưới 3 phút/khách mà không cần tăng biên chế tổng thể.

5. Kết quả và mô hình mô phỏng này có thể mở rộng áp dụng cho các sân bay quốc tế khác tại Việt Nam không? Hoàn toàn có thể mở rộng. Toàn bộ cấu trúc mã nguồn GPSS World và quy trình phân tích 3 bước trong luận văn được chuẩn hóa cao độ. Khi áp dụng cho Sân bay quốc tế Tân Sơn Nhất, Đà Nẵng hay Cam Ranh, các kỹ sư chỉ cần thay đổi các tham số đầu vào như số lượng bục $m$, tốc độ dòng khách đến $\lambda$ và thời gian phục vụ trung bình $\mu$ là có thể chạy mô phỏng dự báo ngay lập tức.

Kết luận

  • Ứng dụng thành công lý thuyết hàng đợi và ngôn ngữ GPSS World để giải quyết triệt để bài toán mô phỏng hoạt động kiểm soát xuất nhập cảnh tại Sân bay quốc tế Nội Bài.
  • Định lượng chính xác các chỉ số hiệu năng thực tế tại 96 bục kiểm soát với quy mô phục vụ 5,5 triệu lượt khách/năm và tốc độ tăng trưởng 15%/năm.
  • Xác định nguyên nhân cốt lõi gây ùn tắc tại 2 khung giờ cao điểm và chứng minh giải pháp điều tiết linh hoạt 75-80 bục giúp đưa thời gian chờ về mức dưới 3 phút.
  • Xây dựng mô hình toán học giải quyết trọn vẹn luồng phân nhánh phức tạp gồm 1% khách ưu tiên và luồng phản hồi từ 5% khách kiểm tra thứ cấp.
  • Đề xuất lộ trình 4 bước khoa học từ tái cơ cấu ca trực, tối ưu hóa phân luồng đến ứng dụng công nghệ giám sát thời gian thực và cổng tự động e-Gate.

Đóng góp quan trọng nhất của luận văn là đã thu hẹp khoảng cách giữa lý thuyết phục vụ đám đông trừu tượng và thực tiễn quản lý an ninh hàng không phức tạp. Mô hình cung cấp một công cụ dự báo chuẩn xác, hỗ trợ đắc lực cho công tác chỉ huy điều hành cửa khẩu hiện đại.

Các cơ quan quản lý hàng không và đơn vị kiểm soát xuất nhập cảnh nên nhanh chóng tham khảo, triển khai ứng dụng mô hình mô phỏng này vào việc xây dựng phần mềm điều phối nhân lực thông minh, góp phần nâng cao vị thế và hình ảnh cửa khẩu quốc gia văn minh, hiện đại.