Sân bay quốc tế (SBQT) Nội Bài là sân bay quốc tế lớn nhất ở miền Bắc, hàng năm làm thủ tục kiểm soát xuất nhập cảnh (XNC) cho khoảng 5,5 triệu lượt khách (số liệu năm 2015) và có tốc độ tăng trưởng trung bình là khoảng 15%/năm. Hiện tại SBQT Nội Bài có 96 quầy làm thủ tục kiểm soát XNC (48 bục làm thủ tục kiểm soát xuất cảnh và 48 bục làm thủ tục kiểm soát nhập cảnh), hoạt động 24/7. Tuy nhiên, một mặt do số lượng hành khách XNC chưa khai thác hết công suất phục vụ của nhà ga, mặt khác do quân số cán bộ chiến sỹ biến động (đi học, nghỉ ốm,…) nên thường mới chỉ bố trí khoảng 40 bục làm thủ tục.
Hành khách mang hộ chiếu ngoại giao, quan chức chính phủ các nước hay các trường hợp ưu tiên khác được làm thủ tục luôn, không phải xếp hàng. Trung bình tỉ lệ khách ưu tiên/tổng số khách là khoảng 1%. Các trường hợp khác phải xếp hàng trước khi vào quầy làm thủ tục XNC, khách hàng được phục vụ theo nguyên tắc đến trước phục vụ trước (FIFO).
Các bục làm thủ tục kiểm soát XNC cho hành khách hoạt động song song với nhau. Thời gian làm thủ tục cho 01 khách trung bình là 02 phút/hành khách. Nếu trong quá trình kiểm tra giấy tờ ban đầu, kiểm soát viên (KSV) phát hiện hành khách chưa đủ điều kiện XNC thì hành khách được yêu cầu chuyển sang bộ phận khác để kiểm tra tiếp (thống kê cho thấy có 5% số khách phải kiểm tra thêm). Tại nhà ga có 01 quầy để thực hiện việc kiểm tra thêm. Nếu hành khách bổ sung giấy tờ và được xác định đủ điều kiện XNC thì hành khách quay trở lại xếp hàng từ đầu để được làm thủ tục, nếu khách không đủ điều kiện thì hành khách không được phép XNC (90% số khách phải kiểm tra thêm được xác định đủ điều kiện XNC).
Lưu lượng hành khách trong ngày tại các thời điểm là không giống nhau. Cụ thể, trong ngày có hai thời điểm số lượng hành khách đến làm thủ tục đông (gấp khoảng 2 lần lưu lượng trung bình) là từ 8 giờ đến hết 13 giờ và từ 21 giờ đến hết 22 giờ. KSV làm việc theo ca. Một ngày có 2 ca: Ca 1 từ 08 giờ đến hết 15 giờ; ca 2 từ 16 giờ đến hết 07 giờ hôm sau.
Bài toán đặt ra là: Thiết lập mô hình mô phỏng hoạt động kiểm soát XNC của sân bay quốc tế Nội Bài. Tính toán với các thông số đầu vào đã cho để đưa ra số lượng
bục làm thủ tục kiểm soát XNC (tương ứng với số lượng KSV) tại từng thời điểm một cách hợp lý nhất nhằm giúp Ban chỉ huy lập lịch công tác sao cho vừa đảm bảo giải quyết thủ tục kiểm soát XNC cho hành khách kịp thời (tối đa 50% số khách phải xếp hàng để chờ làm thủ tục), vừa đảm bảo tránh lãng phí do bố trí số lượng bục không hợp lý; dự báo nhu cầu tăng trưởng, từ đó giúp Ban Chỉ huy Công an cửa khẩu Nội Bài có thể lập kế hoạch đầu tư xây dựng cơ sở hạ tầng, trang bị bổ sung thiết bị cũng như bổ sung nhân lực để đáp ứng yêu cầu công tác trong tương lai.