Nghiên cứu và ứng dụng lý thuyết hàng đợi trong bài toán mô phỏng hoạt động một siêu thị luận văn ths máy tính 604801

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THU THỦY NGHIÊN CỨU VÀ ỨNG DỤNG LÝ THUYẾT HÀNG ĐỢI TRONG BÀI TỐN MƠ PHỎNG HOẠT ĐỘNG MỘT SIÊU THỊ Ngành: Công nghệ thông tin Chuyênngành: Kỹ thuật phần mềm Mãsố: 60480103 LUẬN VĂN THẠC SĨ NGÀNH CÔNG NGHỆ THÔNG TIN HàNội– 2017 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THU THỦY NGHIÊN CỨU VÀ ỨNG DỤNG LÝ THUYẾT HÀNG ĐỢI TRONG BÀI TỐN MƠ PHỎNG HOẠT ĐỘNG MỘT SIÊU THỊ Ngành: Côngnghệthông tin Chuyênngành: Kỹthuậtphầnmềm Mãsố: 60480103 LUẬN VĂN THẠC SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC: TIẾN SĨ LÊ QUANG MINH HàNội - 2017 LỜI CAM ĐOAN Tôi xin cam đoan luận văn công trình nghiên cứu tơi thực sở tìm kiếm, thu thập, nghiên cứu, tổng hợp trình bày văn Các tài liệu tham khảo đƣợc nêu phần cuối luận văn Các số liệu, kết nêu luận văn trung thực khơng chép ngun từ nguồn tài liệu khác Nếu có sai sót, tơi xin hồn tồn chịu trách nhiệm HỌC VIÊN NGUYỄN THU THỦY MỤC LỤC LỜI CAM ĐOAN MỤC LỤC DANH MỤC HÌNH VẼ DANH MỤC CÁC BẢNG Chƣơng 1: LÝ THUYẾT HÀNG ĐỢI 1.1 Các khái niệm 1.1.1 Biến ngẫu nhiên 1.1.2 Phân phối sác x 1.1.3 Khái niệm hàng 1.1.4 Kí hiệu Kendal 1.1.5 Định nghĩa 1.1.6 Luật Little 1.2 Một số mơ hình hàng đợi 1.2.1 Hệ thống k 1.2.2 Hệ thống đa kê 1.2.3 Hệ thống hàng 1.2.4 Hệ thống hàng 1.3 Các điều kiện để toán giải đƣợc 1.4 Phƣơng pháp giải tốn lý thuyết Chƣơng 2: CƠNG CỤ MƠ PHỎNG GPSS WORLD 2.1 Cách tiếp cận mô 2.2 Hiện trạng số công cụ mô chuyên dụn 2.3 Giới thiệu GPSS World 2.3.1 Đặc điểm b 2.3.2 Một số khái niệ 2.3.3 Các thực thể tro 2.3.4 Cú pháp lệnh G 2.3.5 Các khối bả 2.3.6 Một số hàm thƣ 2.3.7 Cài đặt sử d 2.4 Hàng đợi có ƣu tiên Priority Queueing 2.5 Các bƣớc mơ tốn GPSS World CHƢƠNG 3: ỨNG DỤNG LÝ THUYẾT HÀNG ĐỢI VÀ CÔNG CỤ MƠ PHỎNG VÀO BÀI TỐN HÀNG ĐỢI SIÊU THỊ 3.1 Một số quan sát hàng đợi siêu thị 3.2 Bài toán xếp hàng gồm phase phục vụ 3.2.1 Phát biể 3.2.2 Phân tíc 3.2.3 Mơ phỏ 3.3 Bài tốn xếp hàng nhiều phase phục vụ 3.3.1 Phát biể 3.3.2 Phân tíc 3.3.3 Mơ phỏ KẾT LUẬN DANH MỤC HÌNH VẼ Hình 1- Sơ đồ chuyển trạng thái phân phối Erlang-k với biến quy mơ 11 Hình 2- Thành phần hàng đợi 12 Hình - Mơ hình hàng đợi M/M/1 19 Hình 4- Mơ hình hàng đợi M/M/1 19 Hình - Sơ đồ chuyển trạng thái hàng đợi M/M/1 19 Hình 6- Mơ hình hàng đợi M/M/c 20 Hình - Sơ đồ chuyển trạng thái hàng đợi M/M/c 21 Hình 8- Mơ hình hàng đơi M/M/c/K 22 Hình - Sơ đồ chuyển trạng thái mơ hình hàng đợi M/M/c/K 23 Hình - Mơ tả chƣơng trình mơ GPSS 35 Hình 2- Một segment điển hình 37 Hình 3- Mơ hình chƣơng trình mơ hệ thống hàng đợi đơn giản 42 Hình 4- Cách lấy yêu cầu hàng đợi Priority Queueing 43 Hình 7- Quy trình mơ 46 Hình 1- Đồ thị sác xuất số khách hàng hệ thống 51 Hình 2- Mơ hình thuật tốn giải tốn bãi đậu xe 52 Hình 3- Mã nguồn mơ tốn bãi đỗ xe 53 Hình 4- Báo cáo thu đƣợc chạy mô 54 Hình 5- Mơ tả mơ hình hoạt động siêu thị 57 Hình 6- Mơ hình thuật tốn hoạt động siêu thị 61 DANH MỤC CÁC BẢNG Bảng 1- Một số hàm phân phối thƣờng gặp Bảng - Một số tham số hàng đợi 16 Bảng 3-Một số mơ hình hàng đợi 18 Bảng 1- Một số Block làm việc với giao tác 36 Bảng 2- Một số khối làm việc với thực thể thiết bị 38 Bảng Một số khối điều khiển dịch chuyển giao tác 40 Bảng 1- Kết mô với thời gian 8h 54 Bảng Kết mô với thời gian khác 55 Bảng 3- Bảng so sánh độ lệch mơ tính tốn từ lý thuyết lƣợng xe đƣợc phục vụ 55 Bảng 4- Kết tính tốn hàng đợi gửi xe ô tô 58 Bảng 5-Bảng kết tính tốn hàng đợi bãi gửi xe máy 58 Bảng 6- Kết tính tốn hàng đợi giỏ hàng 8h 59 Bảng 7- Kết tính tốn hàng đợi xe đẩy 8h 60 Bảng – Kết mô hoạt động siêu thị 66 Tƣơng tự cách tiến hành với mơ hình toán bãi gửi xe, thực thay đổi thời gian mô cách cài đặt lại biến thời gian v_time_work lần lƣợt giá trị: 16*60*60, 24*60*60, 40*60*60, 80*60*60 sau chạy mơ Đem so sánh kết trƣờng hợp với lý thuyết Bảng đƣa so sánh thời gian phục vụ quầy phục vụ với thời gian trung bình tính tốn từ lý thuyết (225 giây) 68 Bảng 10 Bảng so sánh thời gian tốn trung bình 68 LỜI MỞ ĐẦU Hàng đợi ảnh hƣởng đến nhiều mặt sống thực tế nhƣ lĩnh vực kỹ thuật Trong hoạt động xã hội, hàng đợi điều không mong muốn hệ thống phục vụ đám đông, từ thực tế nhà quản lý ln mong muốn đánh giá đƣợc hiệu hệ thống dịch vụ họ để cải tiến chất lƣợng phục vụ, giảm chi phí vơ ích Trong hoạt động sản xuất kinh doanh nhƣ đời sống hàng ngày tồn hệ thống phục vụ nhƣ: Bến cảng, khách sạn, nhà hàng, trạm điện thoại, cửa hàng bán xăng dầu Trong hệ thống thƣờng diễn trình: Quá trình nảy sinh yêu cầu trình phục vụ yêu cầu Tuy nhiên, trình hoạt động hệ thống nhiều nguyên nhân khác thƣờng dẫn đến tình trạng: - Khả phục vụ hệ thống không đáp ứng yêu cầu dẫn đến kết số yêu cầu không phục vụ phải chờ đợi để phục vụ - Khả phục vụ hệ thống vượt yêu cầu dẫn đến kết hệ thống không sử dụng hết lực lao động, vật tư, thiết bị Cả hai tình trạng gây nên thiệt hại mặt kinh tế nói chung Vì tốn đặt phân tích chất trình diễn hệ thống thiết lập mối quan hệ lƣợng đặc trƣng trình Trên sở mối liên hệ đƣợc xây dựng số liệu thu thập đƣợc từ hệ thống, tính tốn, phân tích đƣa định nhằm điều khiển hệ thống hoạt động có hiệu Để trả lời cho câu hỏi hàng đợi, có phƣơng pháp để phân tích phƣơng pháp phân tích lý thuyết hàng đợi (hay cịn gọi phƣơng pháp giải tích) mơ hàng đợi Lý dùng phƣơng pháp thay dùng phƣơng pháp là: phân tích lý thuyết khả thi với hệ thống hàng đợi đơn giản nhƣ hàng đợi đơn, hệ thống với đặc điểm riêng quy tắc đến phân phối thời gian dịch vụ (phân phối Possion hay Normal); hầu hết hệ thống phức tạp cần sử dụng mô phỏng, nhƣ hệ thống cần quan sát liệu thật phụ thuộc vào yếu tố thời gian, khó phân tích lý thuyết Trên thực tế, hệ thống phục vụ đám đơng có tính đặc thù riêng cần đƣợc phân tích kỹ lƣỡng mơ hình tốn học nhƣ mơ Mơ tính tốn phƣơng pháp xem xét thông tin hành vi hệ thống Khi phân tích hiệu suất hàng đợi, cần tìn hiểu, thiết kế điều khiển lực hệ thống phục vụ định mở hay đóng dịch vụ Sử dụng thơng tin ƣớc lƣợng giá trị lãng phí, xác định đƣợc hạn chế dịch vụ taị thời điểm xác định để có giá trị lãng phí nhỏ (giá trị dịch vụ + thời gian chờ đợi) Có nhiều cách để mơ hàng đợi nhƣ: xây dựng giải thuật triển khai ngôn ngữ lập trình; Mơ cơng cụ chun nghiệp nhƣ (Petri Nets, MatLab, GPSS, NS2,…) Công cụ mô cần sinh ngẫu nhiên kiện quản lý vòng đời kiện theo thời gian mô vận hành của hệ thống, sử dụng cơng cụ lập trình để triển khai thuật tốn tốn nhiều thời gian Công cụ mô kiện rời rạc IBM phát triển vào khoảng thập niên 1960 - General Purpose Simulation System (viết tắt GPSS) công cụ đƣợc lựa chọn để giới thiệu sử dụng luận văn Vấn đề nghiên cứu ứng dụng ngôn ngữ mô GPSS Liên bang Nga, nhƣ số quốc gia phát triển khác khơng cịn xa lạ [1] Ở Việt Nam, việc ứng dụng GPSS đƣợc đề cập tới số cơng trình, luận văn khoa học; nhiên việc áp dụng GPSS để mô chƣa áp dụng theo phƣơng pháp có tính tổng qt Trên sở nghiên cứu phƣơng pháp giải toán hệ thống phục vụ đám đông, luận văn tập trung vào mục tiêu sau: Luận văn tập trung nghiên cứu số kiến thức “ Lý thuyết hàng đợi”, mơ hình hàng đợi, cơng cụ mô hàng đợi GPSS Đề xuất quy trình xây dựng mơ GPSS vận dụng để giải toán xếp hàng siêu thị có thành phần ƣu tiên khơng ƣu tiên Luận văn đƣợc trình bày ba chƣơng với nội dung chƣơng nhƣ sau Chƣơng 1: Lý thuyết hàng đợi Luận văn tập trung trình bày lý thuyết hàng đợi, mơ hình hàng đợi liên quan đến toán hoạt động siêu thị Chƣơng 2: Công cụ mô GPSS Luận văn tập trung trình bày cơng cụ mơ GPSS cách tiếp cận mơ Quy trình mơ tốn thực tế GPSS Chƣơng 3: Ứng dụng lý thuyết hàng đợi công cụ mô vào tốn hàng đợi siêu thị Trình bày tốn mơ hoạt động siêu thị cụ thể; phƣơng pháp phân tích sử dụng lý thuyết hàng đợi Áp dụng công cụ mô GPSS World áp dụng quy trình mơ hệ thống hàng đợi để giải toán Từ kết thu đƣợc đƣa so sánh đánh giá hiệu mơ Kết luận Tóm lƣợc kết luận văn, nêu lên hạn chế nghiên cứu từ định hƣớng phát triển thời gian tới CHƢƠNG LÝ THUYẾT HÀNG ĐỢI Chƣơng tập trung trình bày khái niệm liên quan đến lý thuyết hàng đợi Đây kiến thức tổng quan, để phân tích giải toán hàng đợi 1.1 Các khái niệm 1.1.1 Biến ngẫu nhiên Trong hệ thống hàng đợi dễ dàng nhìn thấy trình ngẫu nhiên độc lập: trình khách hàng xuất đầu vào hệ thống trình phục vụ khách hàng đầu hệ thống Số lƣợng khách hàng thời điểm đƣợc đặc trƣng biến ngẫu nhiên rời rạc Tốc độ đến thời điểm nhƣ thời gian phục vụ đƣợc đặc trƣng biến ngẫu nhiên Biến ngẫu nhiên đƣợc ký hiệu X, Y có giá trị kỳ vọng E(X) Phƣơng sai: với độ lệch chuẩn Hệ số biến thiên đại lƣợng mô tả mức độ biến động tƣơng đối biến ngẫu nhiên Tính hệ số biến thiên: 1.1.2 Phân phối sác xuất thƣờng gặp Mục tiêu việc phân tích hàng đợi lý thuyết xây dựng mơ hình chuyển trạng thái để xác định phân phối dựa vào xác suất đầu vào phân phối xác suất đầu hệ thống Tốc độ đến thời gian phục vụ đƣợc đặc trƣng phân phối xác suất Các phân phối thƣờng gặp [2] hai đại lƣợng đƣợc trình bày bảng 1.1 Bảng 1- Một số hàm phân phối thường gặp STT 62 ASSIGN pay_method,V$v_pay TEST LE P$ls_items,10,Qs_trolley GATE SNF s_cart,Qs_trolley QUEUE cartQueue ENTER s_cart DEPART cartQueue ASSIGN Carrier,s_cart TRANSFER ,Shopping Qs_trolley QUEUE trolleyQueue ENTER s_trolley DEPART trolleyQueue ASSIGN Carrier,s_trolley ; Gán vật mang hàng xe đẩy ****************************************** ;Hoạt động chọn hàng Shopping ADVANCE V$v_choice_time TEST LE P$ls_items,10,Norm COUNT L v_Condition,First,Last,2,Q TEST E P$v_Condition,0,Norm QUEUE Quick nhanh SEIZE priorityCash DEPART Quick ADVANCE V$v_Cash_time RELEASE priorityCash LEAVE P$Carrier TRANSFER ,fin ******************************************* ;Quầy tốn thơng thƣờng Norm ******************************************* ; Mô hoạt động rời siêu thị fin SELECT MIN Basic,First,Last,,Q QUEUE P$Basic SEIZE P$Basic DEPART P$Basic ADVANCE V$v_Cash_time RELEASE P$Basic LEAVE P$Carrier TABULATE tbl_time_spent TABULATE tbl_lsItems SAVEVALUE customer-,1 ADVANCE 60,50 TEST LE P$transport,1,MOTOLEAVE LEAVE s_parkC TERMINATE MOTOLEAVE LEAVE s_parkM TERMINATE lost TERMINATE ****************************************** ; Khối sinh kiện khách hàng đến GENERATE 50,5,,,1 TRANSFER ,s_parking ****************************************** GENERATE V$v_time_work ; xác định thời gian mô hệ thống TABULATE tbl_cust ; Lấy thông tin số lƣợng khách đến siêu thị TERMINATE START Kết chạy mô phỏng: GPSS World Simulation Report - MartActivity.11.4 63 Wednesday, November 08, 2017 16:30:11 START TIME 0.000 NAME BASIC CARRIER CARTQUEUE CHOSECARRIER CUSTOMER FIN FIRST LAST LOST LS_ITEMS MOTO MOTOLEAVE NORM PAY_METHOD PRIORITYCASH QS_TROLLEY QUICK SHOPPING S_CART S_PARKC S_PARKING S_PARKM S_TROLLEY TBL_CUST TBL_LSITEMS TBL_TIME_SPENT TRANSPORT TROLLEYQUEUE V_CASH_TIME V_CHOICE_TIME V_CONDITION V_ITEMS V_PAY V_TIME_WORK LABEL S_PARKING MOTO CHOSECARRIER 10 11 12 13 14 15 16 64 QS_TROLLEY SHOPPING NORM FIN MOTOLEAVE LOST FACILITY PRIORITYCASH QUEUE TROLLEYQUEUE CARTQUEUE QUICK STORAGE S_PARKC 65 S_PARKM S_TROLLEY S_CART TABLE TBL_TIME_SPENT 3582.860 1806.555 TBL_LSITEMS TBL_CUST SAVEVALUE CUSTOMER Kết luận rút từ báo cáo mô đƣợc kết xuất từ GPSS nhƣ bảng 3.1 Bảng – Kết mô hoạt động siêu thị Chỉ tiêu Thời gian mô Số khách hàng đến siêu thị thời gian mô Số xe ô tô đến Số xe máy đến Số yêu cầu đƣợc phục vụ hiệu suất sử dụng bãi gửi xe ô tô Số yêu cầu đƣợc phục vụ hiệu suất sử dụng bãi gửi xe máy 66 Số khách hàng vào siêu thị nhƣng chƣa mua hàng Số yêu cầu hiệu suất sử dụng giỏ hàng đƣợc phục vụ Số yêu cầu hiệu suất sử dụng xe đẩy hàng đƣợc phục vụ Số khách hàng thực mua hàng Số yêu cầu toán đƣợc phục vụ Lƣợng khách mua dƣới 10 hàng Số khách hàng hiệu suất sử dụng toán quầy Số khách hàng hiệu suất sử dụng toán quầy Số khách hàng hiệu suất sử dụng toán quầy Số khách hàng hiệu suất sử dụng toán quầy Số khách hàng hiệu suất sử dụng toán quầy tốn nhanh Với kết tính tốn nhƣ đƣa số kết luận hoạt động siêu thị nhƣ sau: - - Số lƣợng bãi gửi xe máy ô tô cung cấp vƣợt nhu cầu sử dụng Khách hàng hoàn tồn khơng phải chờ đợi để đƣợc gửi xe - Số lƣợng giỏ hàng xe đẩy đáp ứng nhu cầu khách hàng; nhiên tốc độ đến tăng vào ngày cuối tuần ngày lễ tỷ lệ khách hàng phải chờ đợi xe đẩy tăng lên nên cần tăng số lƣợng xe đẩy Các quầy tốn từ số đến số có hiệu suất hoạt động trung bình 0.876, với lƣợng khách hàng chờ đợi trung bình khách hàng Quầy toán số hoạt động với hiệu suất 0.154, số khách hàng trung bình phải chờ đợi Thiết kế quầy toán siêu thị phù hợp với nhu cầu khách hàng 3.3.3.3 Kết luận thu sau mơ Từ kết tính tốn mục 3.3.2 ta thấy với phase phục vụ thứ 3- dịch vụ tốn, khơng xác định đƣợc tốc độ dịng u cầu đến cho quầy tốn (dƣới 10 sản phẩm hay 10 sản phẩm) tốc độ bị chi phối thời gian phục vụ bƣớc trƣớc tốn Vì vậy, số toán phức tạp với nhiều phase phục vụ hệ thống sử dụng mơ để tính tốn; việc mô hệ thống phục vụ đám đông GPSS World giải pháp hiệu Kết tốn mơ phù hợp với kết nhận xét trình bày 67 phần kết luận toán (mục 3.2.3.3) Giữa tính tốn lý thuyết mơ có sai lệch; nhiên, độ sai khác giảm khi thời gian mô lớn hay độ lấy mẫu lớn độ lệch kết tính tốn lý thuyết kết mơ theo GPSS giảm Tƣơng tự cách tiến hành với mơ hình tốn bãi gửi xe, thực thay đổi thời gian mô cách cài đặt lại biến thời gian v_time_work lần lƣợt giá trị: 16*60*60, 24*60*60, 40*60*60, 80*60*60 sau chạy mơ Đem so sánh kết trƣờng hợp với lý thuyết Bảng đƣa so sánh thời gian phục vụ quầy phục vụ với thời gian trung bình tính tốn từ lý thuyết (225 giây) Bảng 10 Bảng so sánh thời gian tốn trung bình Thời gian mô Quầy Quầy Quầy Quầy Quầy Trung bình tính tốn từ mơ Độ lệch Kết luận chƣơng: Trong chƣơng 3, luận văn trình bày hai tốn điển hình hàng đợi siêu thị Bài toán hàng đợi đơn giản M/M/c (bãi đậu xe) toán hàng đợi phức tạp có ảnh hƣởng yếu tố: độ ƣu tiên, kênh phục vụ với kích thƣớc hạn chế nhiều phase phục vụ (bài toán hoạt động siêu thị) Trong đó, việc tính tốn lý thuyết với bƣớc tốn khó khăn bị chi phối thời gian phục vụ bƣớc trƣớc toán nên không xác định đƣợc tốc độ đến Mô GPSS giải khó khăn phƣơng pháp tính tốn lý thuyết đƣa kết thử nghiệm phù hợp Việc thực tốn áp dụng quy trình đƣợc nêu mục 2.5, nhiên hạn chế thời gian nên chƣa áp dụng đƣợc triệt để quy trình bƣớc thu thập liệu nhƣ đề xuất, nghĩa liệu toán liệu giả định Kết mô hai tốn cho thấy hoạt động mơ hình mơ đƣa thơng số hợp lý; hồn tồn tham khảo để đƣa lời khun đầu tƣ hợp lý nhằm nâng cao chất lƣợng dịch vụ siêu thị, cho dù hệ thống có nhiều phase phức tạp 68 69 KẾT LUẬN Ý nghĩa thực tiễn mà đề tài muốn hƣớng tới làm chủ đƣợc phƣơng pháp đánh giá hiệu suất, đo lƣờng giá trị liên quan hệ thống phục vụ đám đông; nhằm xây dựng ứng dụng cải tiến dịch vụ, giảm thiểu lãng phí sinh dòng chờ tƣơng lai nhƣ: ứng dụng hàng đợi tiện ích thiết bị di động Luận văn tiếp cận toán hệ thống phục vụ đám đơng theo hƣớng giải tích mơ Phƣơng pháp giải tích sử dụng lý thuyết hàng đợi để phân tích tốn Sử dụng cơng cụ mơ chun dụng để mơ hình hóa tốn nhằm tăng hiệu tính tốn giải toán phức tạp Từ hai phƣơng pháp tiếp cận tốn nêu trên, thơng qua thực nghiệm với tốn thực tế, mơ hình tốn có đƣợc nhờ mơ cho kết có ý nghĩa với liệu đầu vào khác Dựa vào kết đạt đƣợc luận văn đƣa đƣợc đánh giá cụ thể mơ hình toán thực tế Nội dung luận văn làm rõ vấn đề sau: - Tổng kết vấn đề cở sở lý thuyết hệ thống hàng đợi; tổng kết số mơ hình bản; đặc điểm quan trọng hàng đợi nhƣ mức độ ƣu tiên, quy luật liên quan đến trạng thái hệ thống; điều kiện giải đƣợc bƣớc giải tốn phƣơng pháp giải tích; - Nghiên cứu ngôn ngữ mô GPSS: nêu đƣợc tập đối tƣợng, định nghĩa, cấu trúc lệnh ngôn ngữ GPSS Đồng thời giới thiệu sử dụng công cụ GPSS World Student Version đƣợc cung cấp miễn phí để giải tốn thực tế; - Đề xuất quy trình xây dựng mơ hệ thống phục vụ đám đông GPSS World; - Sử dụng công cụ GPSS vào toán thực tiễn siêu thị, phân tích so sánh kết mơ với kết tính tốn lý thuyết, từ rút kết luận Bên cạnh kết đạt đƣợc, luâṇ văn tồn số hạn chế sau: - Chƣa kiểm chứng đƣợc quy trình xây dựng mô nhiều trƣờng hợp áp dụng để đến khẳng định quy trình đề xuất trƣờng hợp - Luận văn chƣa tiến hành kiểm tra thực thi việc mô hệ thống phục vụ đám đông ngôn ngữ GPSS tất phiên GPSS World - Mặc dù nêu đƣợc phƣơng pháp cụ thể để thu thập liệu toán siêu thị, nhƣng chƣa áp dụng triệt để phƣơng pháp để tốn mơ có tính xác cao Từ kiến thức bổ ích thu thập đƣợc trình thực luận văn; tƣơng lai, hƣớng áp dụng để phát triển luận văn là: xây dựng ứng dụng nhằm cải tiến hàng đợi truyền thống mơ hình hàng đợi tiện lợi thiết bị di động 70 TÀI LIỆU THAM KHẢO Tiếng Việt [1] Lê Quang Minh, Phan Đăng Khoa (2010), "Cơng cụ GPSS cho tốn mơ hệ thống phục vụ đám đông," Báo cáo tổng hợp đề tài cấp ĐHQGHN, Viện Công nghệ thông tin – Đại học Quốc Gia Hà Nội, tr [2] Hà Quang Thụy (2009), “Chương Hàng đợi (Queue),” Slide giảng Tiếng Anh [3] János Sztrik (2005), "Basic Queueing Theory", Budapest University of Technology and Economics [4] Ivo Adan and Jacques Resing (2015), "Queueing Systems," Department of Mathematics and Computing Science, Eindhoven University of Technology P.O Box 513, 5600 MB Eindhoven, The Netherlands [5] Minuteman Software (2009), "GPSS World reference manual," P.O Box 131 Holly Springs, NC 27540-0131 U.S.A [6] William Stallings (2014), "Queue system concept" Supplement to Operating Systems [7] Anthony Igwe, J.U.Onwumere, Obiamaka P Egbo (2014) “Efficient Queue Management in Supermarkets: A Case Study of Makurdi Town, Nigeria,” European Journal of Business and Management, University of Nigeria, Enugu Campus, Enugu, Nigeria [8] Alan Pilkington, Royal Holloway (2005), GPSS – Getting Started, University of London [9] Andreas Willig (1999), A Short Introduction to Queueing Theory, Technical University Berlin, Telecommunication Networks Group Sekr FT 5-2, Einsteinufer 25, 10587 Berlin [10] JSKC Priyangika1 and TMJA Cooray (2015) "Analysis of the Sales Checkout Operation in Supermarket Using Queuing Theory," Proceedings of 8th International Research Conference [11] Leonard Kleinrock(1975) “Queueing Systems – Volume Theory” and Sons New York [12] John D.C Little and Stephen C Graves (2005), "Little's Massachusetts Institute of Technology [13] Robert B.Cooper (1981) “Intro To Queueing Theory”, Elserier North Holland 72 Phụ lục 2.1 - BẢNG CÂU HỎI KHẢO SÁT (Dành cho nhân viên quầy toán) Thời điểm tốn(*) Có khách hàng chờ đợi đƣợc phục vụ quầy thực toán cho khách hàng khác khơng? (Có tình trạng khách hàng chờ đợi quầy phục vụ khơng) Y/N? Có Khơng Nếu có có khách hàng chờ đợi? Số lƣợng khác:… Cách thức toán khách hàng? Tiền mặt Thẻ Số quầy toán nhƣ có đáp ứng nhu cầu khách hàng? Thừa Vừa đủ Thiếu Thời điểm khách hàng rời khỏi quầy toán (*) Ghi chú: (*): Câu hỏi bắt buộc có phần trả lời để coi bảng khảo sát có giá trị 73 Phụ lục 2.2: BẢNG TỔNG HỢP KẾT QUẢ KHẢO SÁT Khách hàng thứ 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 Kết tính tốn từ khảo sát: Thời gian khách hàng đến trung bình: 0:00:44 giây = 0.73333 phút Tốc độ đến(trong giờ) : 81.818 khách hàng Thời gian phục vụ trung bình khách hàng: 1.0667 phút Thời gian thu thập liệu: 0:33:00 phút 75 ... NGUYỄN THU THỦY NGHIÊN CỨU VÀ ỨNG DỤNG LÝ THUYẾT HÀNG ĐỢI TRONG BÀI TỐN MƠ PHỎNG HOẠT ĐỘNG MỘT SIÊU THỊ Ngành: Côngnghệthông tin Chuyênngành: Kỹthuậtphầnmềm Mãsố: 6048010 3 LUẬN VĂN THẠC SĨ NGÀNH... 2.4 Hàng đợi có ƣu tiên Priority Queueing 2.5 Các bƣớc mơ tốn GPSS World CHƢƠNG 3: ỨNG DỤNG LÝ THUYẾT HÀNG ĐỢI VÀ CƠNG CỤ MƠ PHỎNG VÀO BÀI TỐN HÀNG ĐỢI SIÊU THỊ 3.1 Một số quan sát hàng. .. sau: Luận văn tập trung nghiên cứu số kiến thức “ Lý thuyết hàng đợi? ??, mô hình hàng đợi, cơng cụ mơ hàng đợi GPSS Đề xuất quy trình xây dựng mơ GPSS vận dụng để giải toán xếp hàng siêu thị có