Nghiên Cứu Về Hệ Thống Kiểm Soát Xuất Nhập Khẩu Tại Đại Học Quốc Gia Hà Nội

• Người hướng dẫn: TS. Lê Quang Minh
• Trường học: Đại học Quốc gia Hà Nội
• Chuyên ngành: Công nghệ
• Đề tài: Nghiên Cứu Về Hệ Thống Kiểm Soát Xuất Nhập Khẩu
• Loại tài liệu: Luận văn
• Năm xuất bản: 2015
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• 1. CHƯƠNG 1: GIỚI THIỆU
• 1.1. Mục tiêu và phạm vi nghiên cứu
• 2. CHƯƠNG 2: TỔNG QUAN VỀ LÝ THUYẾT HÀNG ĐỢI
• 2.1. Vai trò của lý thuyết hàng đợi
• 2.2. Mô tả hệ thống hàng đợi
• 3. CHƯƠNG 3: NGHIÊN CỨU MÔ HÌNH MÔ PHỎNG HỆ THỐNG HÀNG ĐỢI GPSS WORLD
• 3.1. Giới thiệu một số công cụ và ngôn ngữ mô phỏng
• 3.2. Giới thiệu về ngôn ngữ GPSS
• 3.3. Các điểm nổi bật của ngôn ngữ GPSS
• 3.4. Ứng dụng hàm phân phối xác suất
• 3.5. Mô phỏng bài toán trên GPSS World
• 4. CHƯƠNG 4: ỨNG DỤNG MÔ HÌNH MÔ PHỎNG VÀO MÔ PHỎNG HỆ THỐNG HÀNG ĐỢI THỰC TẾ
• 4.1. Phân tích kết quả bài toán bằng lý thuyết hàng đợi
• 4.2. Mô phỏng bài toán bằng công cụ mô phỏng GPSS World
• 4.3. Mô phỏng tại thời điểm có lưu lượng khách trung bình
• 4.4. Mô phỏng tại thời điểm có lưu lượng khách đông
• 4.5. Thực hiện mô phỏng với các giá trị tham số khác nhau
• 4.6. Thực hiện mô phỏng để dự báo nhu cầu trong tương lai
• 5. CHƯƠNG 5: KẾT LUẬN
• PHỤ LỤC
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng Quan Nghiên Cứu Hệ Thống Kiểm Soát Xuất Nhập Khẩu

Nghiên cứu về hệ thống kiểm soát xuất nhập khẩu giải quyết một trong những trải nghiệm không mấy dễ chịu của cuộc sống: sự chờ đợi. Bài toán "Lý thuyết hàng đợi" hay "Lý thuyết phục vụ đám đông" được ứng dụng rộng rãi trong thực tế trên nhiều lĩnh vực như bưu chính viễn thông, siêu thị, hàng không, y tế. Trong các hệ thống hàng đợi thường diễn ra hai quá trình: quá trình phát sinh yêu cầu và quá trình phục vụ yêu cầu ấy. Tuy nhiên, trong quá trình phục vụ của hệ thống, do nhiều nguyên nhân khác nhau, thường xảy ra các tình trạng sau: quá trình phục vụ không đáp ứng được các yêu cầu đặt ra và do đó dẫn đến nhiều yêu cầu phải đợi để được phục vụ; ngược lại, có thể xảy ra tình trạng khả năng phục vụ của hệ thống vượt quá yêu cầu sử dụng dịch vụ, kết quả là hệ thống không được sử dụng hết phương tiện phục vụ. Yêu cầu đặt ra là phải đánh giá được hiệu quả hoạt động của hệ thống, tính toán hay dự báo được khả năng phát triển của hệ thống để có thể có những đầu tư một cách phù hợp để vừa nâng cao chất lượng dịch vụ, vừa tránh lãng phí do đầu tư không hợp lý.

1.1. Mục tiêu và phạm vi nghiên cứu kiểm soát xuất nhập khẩu

Luận văn tập trung nghiên cứu về các mô hình hàng đợi cũng như một số kiến thức cơ bản trong "Lý thuyết hàng đợi", tìm hiểu công cụ mô phỏng hàng đợi là GPSS World với mục tiêu chính là hiểu được các thành phần cơ bản của một hệ thống hàng đợi, một số mô hình hàng đợi cơ bản và phân phối xác suất quan trọng, nắm được công cụ mô phỏng hàng đợi GPSS World và ngôn ngữ mô phỏng GPSS, để từ đó vận dụng vào giải quyết các bài toán thực tế. Phương pháp nghiên cứu được sử dụng bao gồm phân tích, tổng hợp, nghiên cứu thực tiễn và thực nghiệm.

1.2. Ứng dụng lý thuyết hàng đợi trong quản lý xuất nhập khẩu

Việc sử dụng các công thức toán học mà lý thuyết hàng đợi cung cấp để tính toán, cũng như mô phỏng hệ thống bằng cách sử dụng các ngôn ngữ lập trình truyền thống là khá phức tạp, khó khăn, vì khi lập trình chúng ta phải quản lý các sự kiện theo một mô hình nhiều sự kiện xảy ra đồng thời và chúng ta cũng phải xây dựng các hàm ngẫu nhiên sinh các sự kiện. Chính vì vậy, đã xuất hiện các công cụ và ngôn ngữ mô phỏng chuyên dụng như GPSS (General Purpose Simulation System), Petri Nets, Matlab,... GPSS thuộc loại ngôn ngữ lập trình hướng đối tượng, một ngôn ngữ mô phỏng các hệ thống phức tạp rời rạc, được nhận định là hiệu quả nhất hiện nay.

II. Thách Thức Quản Lý Xuất Nhập Khẩu Tại ĐHQGHN Hiện Nay

Trong các hệ thống hàng đợi, việc đánh giá hiệu quả hoạt động, dự báo khả năng phát triển là rất quan trọng. Cần có những đầu tư phù hợp để nâng cao chất lượng dịch vụ, tránh lãng phí. Để giải bài toán này, có thể tìm kiếm và giải quyết bằng các mô hình toán học, hoặc tìm ra các giải thuật và sử dụng các ngôn ngữ lập trình truyền thống để xây dựng chương trình và đưa ra các kết quả cần tìm. Tuy nhiên, việc sử dụng các công thức toán học mà lý thuyết hàng đợi cung cấp để tính toán, cũng như mô phỏng hệ thống bằng cách sử dụng các ngôn ngữ lập trình truyền thống là khá phức tạp, khó khăn.

2.1. Thực trạng kiểm soát hàng hóa xuất nhập khẩu tại ĐHQGHN

Các đối tượng của ngôn ngữ này được sử dụng tương tự như các thành phần chuẩn của một hệ thống hàng đợi như là các yêu cầu đầu vào, đầu ra, các thiết bị phục vụ, hàng đợi,... Với tập hợp đầy đủ các thành phần như vậy, GPSS cho phép xây dựng các mô phỏng phức tạp trong khi vẫn đảm bảo những thuật ngữ thông thường của hệ thống hàng đợi. Vấn đề nghiên cứu và ứng dụng ngôn ngữ mô phỏng GPSS rất phổ biến và phát triển trên thế giới. Tuy nhiên, tại Việt Nam vấn đề này còn khá mới và chưa được ứng dụng rộng rãi, nhất là ứng dụng trong lĩnh vực quản lý xuất nhập khẩu.

2.2. Rủi ro và vấn đề phát sinh trong quy trình kiểm soát

Trên cơ sở các nghiên cứu đã có, luận văn đã tập trung vào các mục tiêu và các vấn đề cần giải quyết sau: Luận văn tập trung nghiên cứu về các mô hình hàng đợi cũng như một số kiến thức cơ bản trong “Lý thuyết hàng đợi”, tìm hiểu công cụ mô phỏng hàng đợi là GPSS World với mục tiêu chính là hiểu được các thành phần cơ bản của một hệ thống hàng đợi, một số mô hình hàng đợi cơ bản và phân phối xác suất quan trọng, nắm được công cụ mô phỏng hàng đợi GPSS World và ngôn ngữ mô phỏng GPSS, để từ đó vận dụng vào giải quyết các bài toán thực tế.

III. Phương Pháp Mô Phỏng Hệ Thống Kiểm Soát Xuất Nhập Khẩu

Phương pháp nghiên cứu được sử dụng trong luận văn này là sự kết hợp của nhiều phương pháp khác nhau, phù hợp với khả năng và yêu cầu của đề tài. Các phương pháp bao gồm: phân tích, tổng hợp, nghiên cứu thực tiễn và thực nghiệm. Phương pháp phân tích, tổng hợp được sử dụng để nghiên cứu các tài liệu liên quan đến hệ thống hàng đợi và công cụ mô phỏng hệ thống hàng đợi, phân tích để rút ra các vấn đề cốt lõi, sau đó tổng hợp và xâu chuỗi lại để có cái nhìn tổng thể về vấn đề đang nghiên cứu.

3.1. Sử dụng công cụ GPSS World để mô phỏng quy trình

Phương pháp nghiên cứu thực tiễn được sử dụng để tìm hiểu thực trạng sử dụng công cụ mô phỏng hệ thống hàng đợi GPSS để giải quyết các bài toán thực tế hiện nay. Từ đó, đưa ra các đánh giá hiệu quả của việc sử dụng công cụ này trong mô phỏng hệ thống hàng đợi. Phương pháp thực nghiệm được sử dụng nhằm xác định tính khả thi, hiệu quả của công cụ mô phỏng, bằng cách cài đặt và chạy thử nghiệm công cụ mô phỏng trên bài toán kiểm soát xuất nhập cảnh tại sân bay quốc tế Nội Bài.

3.2. Phân tích kết quả mô phỏng và đánh giá hiệu quả

Từ việc nghiên cứu “Lý thuyết hàng đợi” và công cụ mô phỏng hệ thống hàng đợi GPSS World, luận văn đã tập trung làm rõ các thành phần cơ bản của một hệ thống hàng đợi, một số mô hình hàng đợi cơ bản, một quy luật phân phối ngẫu nhiên quan trọng; cơ sở lý thuyết, định nghĩa, cấu trúc của ngôn ngữ GPSS. Đồng thời vận dụng các kiến thức lý thuyết có được vào việc giải quyết bài toán kiểm soát xuất nhập cảnh tại sân bay quốc tế Nội Bài thông qua công cụ mô phỏng GPSS World.

IV. Ứng Dụng Mô Hình Hàng Đợi Kiểm Soát Xuất Nhập Khẩu

Từ các kết quả thu được đưa ra những phân tích đánh giá và các khuyến nghị về xây dựng hệ thống kiểm soát xuất nhập cảnh tại sân bay quốc tế Nội Bài để đạt được hiệu suất cao nhất và dự báo nhu cầu phát triển trong tương lai để tính toán đầu tư xây dựng cơ sở hạ tầng, bổ sung trang thiết bị và nhân lực đáp ứng yêu cầu công tác. Luận văn được trình bày trong năm chương, với nội dung chính của mỗi chương như sau: Chương 1 - Mở đầu Giới thiệu về mục tiêu, phạm vi nghiên cứu và phương pháp nghiên cứu, tóm lược các kết quả đạt được.

4.1. Mô phỏng hoạt động kiểm soát xuất nhập cảnh tại sân bay

Chương 2 - Tổng quan về lý thuyết hàng đợi. Chương này đưa ra cơ sở lý thuyết về hệ thống hàng đợi, bao gồm: các yếu tố của hệ thống phục vụ (dòng vào, dòng ra, hàng chờ, kênh phục vụ), luật Little, các quá trình Markov và trạng thái của hệ thống, nghiên cứu một số mô hình hàng đợi cơ bản và một số phân phối xác suất quan trọng. Chương 3 – Nghiên cứu công cụ mô phỏng hệ thống hàng đợi. Nêu các hướng tiếp cận mô phỏng: lập trình truyền thống và các công cụ mô phỏng có sẵn, trong đó tập trung vào công cụ GPSS World.

4.2. Đánh giá hiệu quả hệ thống kiểm soát xuất nhập cảnh

Chương 4 - Ứng dụng công cụ mô phỏng vào mô phỏng hệ thống hàng đợi thực tế. Ứng dụng công cụ mô phỏng GPSS World vào bài toán thực tế: Bài toán mô phỏng hoạt động kiểm soát xuất nhập cảnh của cửa khẩu sân bay quốc tế Nội Bài. Từ bài toán cụ thể đó phân tích, tính toán, tiến hành mô phỏng và đánh giá kết quả thu được. Chương 5 - Kết luận. Tóm lược kết quả chính của luận văn và nêu định hướng phát triển trong thời gian tới.

V. Đề Xuất Giải Pháp Nâng Cao Hiệu Quả Kiểm Soát Xuất Nhập Khẩu

Chương này tập trung vào tìm hiểu tổng quan về lý thuyết hệ thống hàng đợi: giới thiệu về lý thuyết hàng đợi, vai trò và ứng dụng của lý thuyết hàng đợi, các yếu tố của hệ thống hàng đợi bao gồm: dòng yêu cầu đầu vào, hàng chờ, kênh phục vụ, dòng yêu cầu đầu ra, các thông số mô tả về hệ thống; công thức Kendall, luật Little, một số mô hình hàng đợi cơ bản và một số phân phối xác suất quan trọng. Lý thuyết hàng đợi chủ yếu được nhìn nhận như là một nhánh của lý thuyết xác suất ứng dụng, được ứng dụng trong rất nhiều lĩnh vực khác nhau như viễn thông, máy tính, dịch vụ, sản xuất, kiểm soát xuất nhập cảnh.

5.1. Tối ưu hóa quy trình kiểm soát hàng hóa tại ĐHQGHN

Một hệ thống hàng đợi có thể mô tả như sau: một trung tâm dịch vụ và một lượng khách hàng đến yêu cầu được phục vụ. Thông thường, trung tâm phục vụ có thể chỉ phục vụ một giới hạn khách hàng, nếu có khách hàng mới đến và các dịch vụ đã sử dụng hết, khách hàng này phải vào hàng đợi và đợi cho đến khi dịch vụ trở nên sẵn sàng. Do đó, chúng ta có thể xác định 3 yếu tố chính của một trung tâm dịch vụ là: lượng khách hàng, các thiết bị phục vụ và hàng đợi. Các trung tâm dịch vụ có thể được bố trí theo mô hình mạng, một khách hàng có thể đi qua một vài trung tâm dịch vụ theo một đường nào đó.

5.2. Ứng dụng công nghệ thông tin trong quản lý xuất nhập khẩu

Lý thuyết hàng đợi tập trung trả lời các câu hỏi như: thời gian đợi trung bình trong hàng đợi, thời gian phản hồi trung bình của hệ thống (thời gian trong hàng đợi cộng với thời gian phục vụ), hiệu suất trung bình sử dụng các thiết bị phục vụ, phân bố số lượng khách hàng trong hàng đợi và trong hệ thống,... Các thông số này thường được tính toán bằng phương pháp thống kê, trong đó khoảng thời gian khách hàng đến hay thời gian phục vụ được coi là các đại lượng ngẫu nhiên. Các hệ thống hàng đợi không chỉ khác nhau về phân phối xác suất đến và thời gian phục vụ mà còn có thể khác nhau ở số lượng kênh phục vụ, kích thước hàng đợi (hữu hạn hay vô hạn), nguyên tắc phục vụ,.

VI. Kết Luận và Hướng Phát Triển Nghiên Cứu Kiểm Soát Xuất Nhập Khẩu

Một số nguyên tắc phục vụ phổ biến bao gồm: FIF0/FIFS (First In First Out/First Come First Served - đến trước phục vụ trước), LIF0/LIFS (Last in First Out/Last Come First Served - đến sau phục vụ trước), SIRO (Service In Random Order - phục vụ theo thứ tự ngẫu nhiên), PRIORI (Priority service - phục vụ theo thứ tự ưu tiên), PS (Processor Sharing – chia sẻ bộ xử lý), Round Robin (phục vụ vòng). Các tham số đặc trưng trong hệ thống hàng đợi được tóm tắt trong bảng 2. Các tham số đặc trưng trong hệ thống hàng đợi.

6.1. Tóm tắt kết quả nghiên cứu và đánh giá đóng góp

David George Kendall (15/01/1918 – 23/10/2007) là nhà toán học và thống kê học người Anh. Ông là người đầu tiên đưa ra ký hiệu dùng để mô tả các thành phần cơ bản của một hàng đợi. Ý nghĩa của các ký hiệu trong mô tả Kendall được trình bày trong bảng 2.2: các thành phần trong ký hiệu Kendall. Chúng ta thường quan tâm đến các giải pháp để đạt được trạng thái cân bằng (steady state), nghĩa là sau một thời gian hoạt động lâu dài, hệ thống có xu hướng đạt đến một trạng thái cân bằng, ví dụ như phân phối khách hàng của hệ thống không thay đổi.

6.2. Hướng nghiên cứu tiếp theo và ứng dụng thực tiễn

Điều này phân biệt rõ với trạng thái nhất thời (transient state), trạng thái có được khi chúng ta khảo sát phản hồi của hệ thống với các sự kiện khác nhau trong một khoảng thời gian ngắn. Ví dụ về một số hàng đợi: M/M/1 là hàng đợi có phân phối đến Poisson, thời gian phục vụ hàm mũ, 1 kênh phục vụ; M/G/m là hàng đợi có m kênh phục vụ, phân phối đến Poisson và thời gian phục vụ phân phối chung; M/M/r/K/n là hàng đợi có giới hạn số khách hàng đến là n, thời gian đến và thời gian phục vụ hàm mũ, có r kênh phục vụ và kích thước hệ thống là K; M/M/7/50/2000/FIFO là hàng đợi có phân phối đến và thời gian phục vụ phân phối hàm mũ, có 7 kênh phục vụ, dung lượng của hệ thống là 50 (7 đang được phục vụ và 43 trong hàng đợi), hệ thống phục vụ được tối đa là 2000 yêu cầu, nguyên tắc phục vụ là FIFO.