## Tổng quan nghiên cứu

Hệ thống hàng đợi là một phần không thể thiếu trong nhiều lĩnh vực như bưu chính viễn thông, hàng không, giao thông vận tải, và quản lý dịch vụ công cộng. Theo ước tính, các hệ thống này thường phải xử lý hàng trăm đến hàng nghìn yêu cầu đồng thời, đòi hỏi sự tối ưu trong vận hành để giảm thiểu thời gian chờ và nâng cao hiệu quả phục vụ. Vấn đề nghiên cứu tập trung vào việc lựa chọn và ứng dụng các công cụ mô phỏng phù hợp nhằm mô hình hóa chính xác và hiệu quả các hệ thống hàng đợi phức tạp. Mục tiêu cụ thể của luận văn là nghiên cứu, so sánh và áp dụng hai công cụ mô phỏng GPSS và Petri Net cho bài toán hệ thống hàng đợi, từ đó đánh giá hiệu quả và đề xuất giải pháp tối ưu. Phạm vi nghiên cứu tập trung vào các hệ thống hàng đợi có quy mô vừa và nhỏ, với các bài toán mô phỏng thực tiễn như điều hành xe cẩu tại nhà máy và quản lý hệ thống điều khiển đường băng sân bay trong khoảng thời gian 60 giờ liên tục. Ý nghĩa nghiên cứu được thể hiện qua việc cung cấp công cụ hỗ trợ đắc lực cho nhà quản lý trong việc dự báo, phân tích và tối ưu hóa hoạt động của hệ thống, góp phần nâng cao chất lượng dịch vụ và giảm thiểu chi phí vận hành.

## 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 dựa trên hai lý thuyết và mô hình nghiên cứu chính:

- **Lý thuyết hàng đợi (Queuing Theory):** Đây là nền tảng toán học để mô hình hóa các hệ thống phục vụ đám đông, bao gồm các khái niệm như dòng yêu cầu đầu vào (arrival rate λ), dòng phục vụ (service rate μ), số kênh phục vụ, và các quy luật phục vụ như FCFS (First Come First Served). Công thức Little được sử dụng để liên hệ giữa số lượng khách hàng trong hệ thống, tốc độ đến và thời gian phục vụ trung bình.

- **Mạng Petri (Petri Net):** Là ngôn ngữ đặc tả toán học dùng để mô hình hóa các hệ thống phân tán và song song, với các thành phần cơ bản như Place, Transition, Token và Marking. Petri Net giúp mô tả chi tiết trạng thái và sự chuyển đổi trạng thái của hệ thống, đồng thời phân tích các thuộc tính như tính tiếp cận, tính bất tử, và tính bảo thủ.

Các khái niệm chính bao gồm: Dòng yêu cầu đầu vào (Poisson và tiền định), kênh phục vụ, hàng đợi, trạng thái hệ thống phục vụ, và các phương pháp phục vụ (ưu tiên tĩnh, động, chia sẻ bộ xử lý).

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

Nguồn dữ liệu nghiên cứu được thu thập từ các tài liệu học thuật, báo cáo ngành và các phần mềm mô phỏng chuyên dụng. Phương pháp nghiên cứu bao gồm:

- **Phân tích lý thuyết:** Thiết lập mô hình toán học cho hệ thống hàng đợi dựa trên lý thuyết hàng đợi và mạng Petri.

- **Mô phỏng thực nghiệm:** Sử dụng công cụ GPSS World và phần mềm mô phỏng Petri Net (như Netlab trên Matlab, YASPER trên Visual Studio) để xây dựng và chạy các mô hình mô phỏng bài toán hàng đợi không ưu tiên và có ưu tiên.

- **So sánh kết quả:** Đối chiếu kết quả mô phỏng với các tính toán lý thuyết để đánh giá độ chính xác và hiệu quả của từng công cụ.

- **Timeline nghiên cứu:** Quá trình nghiên cứu và mô phỏng được thực hiện trong khoảng thời gian 6 tháng, bao gồm các giai đoạn phân tích, thiết kế mô hình, lập trình mô phỏng, chạy thử nghiệm và tổng hợp kết quả.

Cỡ mẫu mô phỏng được thiết lập dựa trên số lượng yêu cầu và thời gian vận hành thực tế (ví dụ: mô phỏng 60 giờ với số lượng đơn đặt hàng khoảng 720 yêu cầu).

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

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

- **Phát hiện 1:** Mô hình hàng đợi M/M/K/m với K=2 kênh phục vụ và m=5 đơn hàng tối đa cho phép mô phỏng chính xác hệ thống điều hành xe cẩu tại nhà máy. Xác suất hệ thống làm việc ổn định P0 đạt 0,03125, trong khi xác suất từ chối đơn hàng là 22,4%.

- **Phát hiện 2:** Kết quả mô phỏng bằng GPSS World cho thấy trong 60 giờ vận hành, có 179 đơn hàng được phục vụ và 555 đơn hàng bị từ chối, tương ứng với tỷ lệ từ chối khoảng 75%, phản ánh chính xác giới hạn hàng đợi và kênh phục vụ.

- **Phát hiện 3:** Mạng Petri Net thể hiện rõ ràng các trạng thái chuyển đổi và tương tác giữa các thành phần trong hệ thống, giúp phân tích sâu về thời gian chờ và sử dụng kênh phục vụ, với các thuộc tính như tính tiếp cận và tính bất tử được đảm bảo.

- **Phát hiện 4:** So sánh giữa GPSS và Petri Net cho thấy GPSS phù hợp với mô phỏng các hệ thống có tính chất hướng đối tượng và đa nhiệm, trong khi Petri Net ưu thế trong mô hình hóa các hệ thống phân tán và song song với khả năng phân tích trạng thái chi tiết.

### Thảo luận kết quả

Nguyên nhân của các kết quả trên xuất phát từ đặc điểm kỹ thuật của từng công cụ mô phỏng. GPSS World với khả năng quản lý các Transaction và chuỗi sự kiện hiện tại (CEC) cùng chuỗi sự kiện tương lai (FEC) giúp mô phỏng hiệu quả các hệ thống có nhiều sự kiện rời rạc xảy ra đồng thời. Trong khi đó, Petri Net cung cấp mô hình toán học chặt chẽ, giúp phân tích trạng thái và các thuộc tính hệ thống một cách trực quan và chính xác.

So với các nghiên cứu trước đây, kết quả mô phỏng và phân tích trong luận văn cho thấy sự phù hợp cao với lý thuyết hàng đợi truyền thống, đồng thời mở rộng khả năng ứng dụng trong các hệ thống thực tế như điều khiển đường băng sân bay và quản lý bãi đậu xe.

Dữ liệu có thể được trình bày qua các bảng so sánh xác suất từ chối, hệ số sử dụng kênh phục vụ, và biểu đồ thời gian chờ trung bình, giúp trực quan hóa hiệu quả của từng công cụ mô phỏng.

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

- **Áp dụng GPSS World** để mô phỏng các hệ thống hàng đợi có tính chất đa nhiệm và cần quản lý nhiều sự kiện rời rạc, nhằm nâng cao độ chính xác và giảm thời gian lập trình. Mục tiêu tăng độ chính xác mô phỏng lên 95% trong vòng 12 tháng, do các nhà phát triển phần mềm thực hiện.

- **Sử dụng mạng Petri Net** cho các hệ thống phân tán và song song, đặc biệt trong thiết kế phần mềm và quản lý luồng công việc, nhằm tối ưu hóa phân tích trạng thái và giảm thiểu lỗi hệ thống. Mục tiêu cải thiện khả năng phân tích trạng thái lên 90% trong 6 tháng, do nhóm nghiên cứu hệ thống thực hiện.

- **Đào tạo nhân lực** về kỹ thuật mô phỏng với GPSS và Petri Net cho các nhà quản lý và kỹ sư vận hành, nhằm nâng cao năng lực ứng dụng công cụ trong thực tế. Mục tiêu tổ chức ít nhất 3 khóa đào tạo trong năm tới, do các trung tâm đào tạo chuyên ngành đảm nhiệm.

- **Phát triển phần mềm tích hợp** kết hợp ưu điểm của GPSS và Petri Net để tạo ra công cụ mô phỏng lai, giúp mở rộng phạm vi ứng dụng và nâng cao hiệu quả mô phỏng. Mục tiêu hoàn thành prototype trong 18 tháng, do các nhóm phát triển phần mềm và nghiên cứu phối hợp thực hiện.

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

- **Nhà quản lý hệ thống dịch vụ công cộng:** Có thể áp dụng các mô hình mô phỏng để tối ưu hóa quy trình phục vụ, giảm thời gian chờ và nâng cao chất lượng dịch vụ.

- **Kỹ sư phát triển phần mềm mô phỏng:** Sử dụng luận văn như tài liệu tham khảo để lựa chọn công cụ phù hợp cho các dự án mô phỏng hệ thống phức tạp.

- **Giảng viên và sinh viên ngành Khoa học máy tính, Quản lý công nghiệp:** Tài liệu cung cấp kiến thức nền tảng và ứng dụng thực tiễn về mô hình hàng đợi và công cụ mô phỏng chuyên dụng.

- **Chuyên gia nghiên cứu vận tải và logistics:** Áp dụng mô hình mô phỏng để phân tích và cải thiện hiệu quả hoạt động của các hệ thống vận tải, bãi đậu xe, và quản lý kho bãi.

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

1. **GPSS và Petri Net khác nhau như thế nào trong mô phỏng hệ thống hàng đợi?**  
GPSS là ngôn ngữ lập trình hướng đối tượng, quản lý các Transaction theo giai đoạn, phù hợp với mô phỏng đa nhiệm. Petri Net là ngôn ngữ đặc tả toán học, mô hình hóa trạng thái và chuyển đổi trạng thái chi tiết, thích hợp cho hệ thống phân tán.

2. **Làm sao để chọn công cụ mô phỏng phù hợp cho hệ thống hàng đợi?**  
Cần xem xét tính chất hệ thống (đơn nhiệm hay phân tán), quy mô, và mục tiêu mô phỏng. GPSS phù hợp với hệ thống đa nhiệm, Petri Net ưu thế trong phân tích trạng thái và hệ thống phân tán.

3. **Có thể áp dụng mô hình hàng đợi trong lĩnh vực nào ngoài công nghiệp?**  
Mô hình hàng đợi được ứng dụng rộng rãi trong y tế, viễn thông, giao thông, dịch vụ khách hàng, và quản lý sự kiện.

4. **Thời gian mô phỏng cần thiết để đánh giá hiệu quả hệ thống là bao lâu?**  
Thời gian mô phỏng phụ thuộc vào quy mô và mục tiêu nghiên cứu, ví dụ trong luận văn là 60 giờ liên tục để đảm bảo tính ổn định và độ tin cậy của kết quả.

5. **Làm thế nào để giảm tỷ lệ từ chối trong hệ thống hàng đợi?**  
Tăng số kênh phục vụ, tối ưu quy trình phục vụ, áp dụng các phương pháp ưu tiên hợp lý và sử dụng công cụ mô phỏng để dự báo và điều chỉnh kịp thời.

## Kết luận

- Luận văn đã nghiên cứu và so sánh hiệu quả của hai công cụ mô phỏng GPSS và Petri Net trong bài toán hệ thống hàng đợi.  
- Đã xây dựng và mô phỏng thành công các bài toán hàng đợi không ưu tiên và có ưu tiên với dữ liệu thực tế và mô hình toán học.  
- Kết quả mô phỏng phù hợp với lý thuyết hàng đợi, cung cấp cơ sở khoa học cho việc lựa chọn công cụ mô phỏng trong thực tiễn.  
- Đề xuất các giải pháp ứng dụng và phát triển công cụ mô phỏng lai nhằm nâng cao hiệu quả mô phỏng và phân tích hệ thống.  
- Khuyến nghị tiếp tục nghiên cứu mở rộng phạm vi ứng dụng và đào tạo nhân lực chuyên sâu trong lĩnh vực mô phỏng hệ thống hàng đợi.

Hành động tiếp theo là triển khai các đề xuất trong thực tế và phát triển phần mềm tích hợp, đồng thời tổ chức các khóa đào tạo chuyên sâu để nâng cao năng lực ứng dụng mô phỏng trong các ngành công nghiệp và dịch vụ.