Nghiên cứu và sử dụng công cụ general purpose simulation system trong bài toán mô phỏng hàng đợi

ĐẠI HỌC THÁI NGUYÊN TRƢỜNG NGHIÊN CỨU VÀ SỬ DỤNG CƠNG CỤ GENERAL PURPOSE SIMULATION SYSTEM TRONG BÀI TỐN MÔ PHỎNG HÀNG ĐỢI Thái Nguyên - 2012 ĐẠI HỌC THÁI NGUYÊN NGHIÊN CỨU VÀ SỬ DỤNG CÔNG CỤ GENERAL PURPOSE SIMULATION SYSTEM TRONG BÀI TỐN MƠ PHỎNG HÀNG ĐỢI Chuyên ngành: Mã số: 60 48 01 TS Lê Quang Minh Thái Nguyên - 2012 i LỜI CAM KẾT Tôi xin cam đoan Luận văn thực hiện, hồn thành sở tìm kiếm, nghiên cứu, tổng hợp phần lý thuyết phương pháp kĩ thuật trình bày văn nước giới Mọi tài liệu tham khảo nêu phần Luận văn Luận văn khơng chép ngun từ nguồn tài liệu khác Nếu có sai sót, tơi xin chịu trách nhiệm./ HỌC VIÊN Nguyễn Ngọc Thanh ii MỤC LỤC MỞ ĐẦU Chƣơng 1: CƠ SỞ LÝ THUYẾT VỀ HỆ THỐNG HÀNG ĐỢI .4 1.1 Mô tả hệ thống phục vụ 1.2 Các yếu tố hệ thống phục vụ 1.2.1 Cường độ dòng vào 1.2.1.1 Cường độ dòng vào tiền định 1.2.1.2 Cường độ dòng vào Poisson 1.2.2 Hàng chờ (Queue) 1.2.3 Kênh phục vụ 1.2.4 Dòng 1.2.5 Nguyên tắc phục vụ hệ thống dịch vụ 10 1.3 Trạng thái hệ thống phục vụ 10 1.3.1 Định nghĩa 10 1.3.2 Quá trình thay đổi trạng thái hệ thống phục vụ 11 1.3.3 Sơ đồ trạng thái 11 1.3.4 Qui tắc thiết lập hệ phương trình trạng thái 12 Chƣơng 2: .14 HIỆN TRẠNG MỘT SỐ CÔNG CỤ MÔ PHỎNG BÀI TỐN HÀNG ĐỢI 14 2.1 Ngơn ngữ mơ GPSS công cụ GPSS World 15 2.1.1 Giới thiệu ngôn ngữ GPSS 15 2.1.2 Sự đời ngôn ngữ GPSS 15 2.1.3 Những ưu điểm ngôn ngữ GPSS 16 2.1.4 Các ứng dụng công cụ mô GPSS World 17 2.2 Các công cụ mô sử dụng ngôn ngữ đặc tả Petri-net 19 2.2.1 Các khái niệm Petri-net 19 2.2.2 Mô tả toán học Petri-net 21 2.2.3 Một số thuộc tính Petri-net 22 2.2.4 Một số công cụ sử dụng ngôn ngữ Petri-net 23 2.2.5 Ứng dụng mạng Petri-net 24 iii 2.3 Ngôn ngữ lập trình Matlab 24 2.4 Ngơn ngữ lập trình Java 25 2.5 Ngôn ngữ lập trình C++ cơng cụ Visual Studio.net 26 Chƣơng 3: .28 NGHIÊN CỨU VỀ NGÔN NGỮ GPSS VÀ CÔNG CỤ GPSS WORLD 28 3.1 Tổng quan GPSS 28 3.2 Thao tác lệnh GPSS 31 3.3 Các đối tƣợng GPSS 32 3.4 Block GPSS 34 3.4.1 Block làm việc với Transactions 36 3.4.2 Facilities 39 3.4.3 Queue 40 3.4.4 Các Blocks dùng để điều khiển dịch chuyển Transactions41 3.4.5 Phân phối xác suất nội (Built-in Probability Distributions)41 3.5 GPSS World Student Version 42 Chƣơng 4: .45 SỬ DỤNG NGÔN NGỮ GPSS VÀO BÀI TOÁN THỰC TẾ 45 4.1 Quy trình ứng dụng GPSS mơ hệ thống phục vụ đám đông 45 4.2 Bài toán 46 4.2.1 Bài toán 1: 46 4.2.1.1 Phân tích tốn 46 4.2.1.2 Giải toán 49 4.2.1.3 Mô hình GPSS World 50 4.2.2 Bài toán 2: 57 4.2.2.1 Phân tích toán 57 4.2.2.2 Giải toán 60 4.2.2.3 Mơ hình GPSS WORLD 61 65 Kiến 65 66 TÀI LIỆU THAM KHẢO 67 iv DANH MỤC CÁC Kí hiệu CHỮ VIẾT TẮT Diễn giải CEC Current Events Chain FEC Future Events Chain GPSS General Purpose Simulation System WoPeD TAPAAL Workflow Petri-net Designer Tool for Verification of Timed-Arc Petri-nets v DANH MỤC CÁC BẢNG, BIỂU Trang Bảng So sánh kết tính tốn theo lý thuyết với tính tốn GPSS với T = 480 phút 53 Bảng So sánh kết tính tốn theo lý thuyết với tính tốn GPSS với T = 3360 phút 56 63 vi DANH MỤC CÁC HÌNH Trang Hình 1.1: Mơ hình hệ thống phục vụ Hình 1.2: Mơ tả hệ thống phục vụ đám đơng Hình 1.3: Sơ đồ trạng thái hệ thống phục vụ 12 Hình 2.1: Minh họa cửa sổ làm việc GPSS World 16 Hình 2.2: Ví dụ Petri-net 20 Hình 2.3: Minh họa tính tiếp cận Petri-net 22 Hình 2.4: Minh họa tính Petri-net 23 Hình 2.5: Minh họa tính khơng có đường bao giới hạn Petri-net 23 Hình 2.6: Minh họa tính bảo thủ Petri-net 23 Hình 2.7: Minh họa cơng cụ Netlab tích hợp tảng Matlab 24 Hình 2.8: Minh họa Applet: The Petri - Net - Simulator chạy Java 25 Hình 2.9: Minh họa cơng cụ YASPER phát triển cơng nghệ Net 26 Hình 3.1 Một hệ phục vụ đám đơng đơn giản 35 Hình 3.2: Cửa sổ Untitled Model với Model hệ phục vụ đám đơng đơn kênh hở Hình 3.3: Ví dụ cửa sổ Block Window 36 43 Hình 3.4: Ví dụ cửa sổ REPORT 43 Hình 4.1: Điều kiện tốn 47 Hình 4.2: Cấu trúc mơ hình phân tích 47 Hình 4.3: huật tốn hoạt động mơ hình mơ 48 Hình 4.4: Điều kiện tốn 58 Hình 4.5: Cấu trúc mơ hình phân tích 58 Hình 4.6: huật tốn hoạt động mơ hình mô 59 MỞ ĐẦU Những năm gần đây, việc ứng dụng công nghệ thông tin vào hoạt động đời sống, xã hội cần thiết Trong thực tế, bắt gặp nhiều hệ thống thiết lập yêu cầu (của khách hàng), thời điểm xuất xem đại lượng ngẫu nhiên, nhu cầu đặc trưng khối lượng công việc phải làm để phục vụ, thứ tự ưu tiên trước sau, thời gian hồn thành cơng việc tồn cơng việc Đó hệ thống như: Mạng điện thoại, mạng máy tính, hệ thống phục vụ sử dụng phịng máy thực hành, hệ thống quầy thu ngân siêu thị, hệ thống bán vé tự động, sân bay, Những hệ thống biết đến với tên gọi hệ thống phục vụ đám đông (hay hệ thống hàng đợi) [1] Nhìn chung hệ thống phục vụ đám đông hệ thống phức tạp, việc vận hành tính tốn đặc trưng hệ thống để tư vấn cho nhà quản lý vấn đề cần thiết Trong khứ, có nhiều dự án xây dựng hệ thống phục vụ phức tạp dựa hàng chờ (Queue) khơng thành cơng khơng đặc tả xác tốn thực tiễn Việc xây dựng mơ hình tốn học cho hệ thống cần thiết để giảm chi phí tối đa cho hoạt động đặc tả Khi tính chất đầy đủ mơ hình mơ cần đạt việc mơ q trình làm việc phần tử hệ thống với việc đảm bảo logic, quy tắc tương tác phát triển chúng, không gian thời gian Các câu hỏi đặt là: Làm để mô hệ thống phức tạp dạng đơn giản xác? Phương pháp khả thi nhất, tối ưu ? Có nhiều phương pháp đưa để giải tốn như: Tính tốn cơng thức tốn học, xây dựng hệ thống phục vụ ngôn ngữ lập trình (Pascal, C++,…), mơ cơng cụ mô (Matlab, Petri Network, …) Để xây dựng mơ hình mơ cách sử dụng ngơn ngữ lập trình truyền thống phức tạp, khó khăn lập trình phải quản lý kiện theo mơ hình nhiều kiện xảy đồng thời (song song) với việc xây dựng hàm tạo ngẫu nhiên kiện (random) khơng đơn giản, xuất ngôn ngữ mô chuyên dụng Một ngôn ngữ chuyên dụng mô hệ thống phức tạp, rời rạc hiệu phổ biến General Purpose Simulation System (GPSS) [4], ngôn ngữ thuộc lớp ngôn ngữ hướng vấn đề Lĩnh vực áp dụng GPSS hệ thống phục vụ đám đông Đối tượng ngôn ngữ sử dụng tương tự như: Thành phần chuẩn hệ thống phục vụ đám đông; yêu cầu, thiết bị phục vụ, hàng đợi, … Tập hợp đầy đủ thành phần cho phép xây dựng mô phức tạp đảm bảo thuật ngữ thông thường hệ thống phục vụ đám đông Trên giới nói chung Liên bang Nga nói riêng, việc nghiên cứu ứng dụng GPSS phổ biến phát triển Tuy nhiên việc triển khai ứng dụng công cụ mô GPSS giải tốn hệ thống phục vụ đám đơng Việt Nam Trên sở nghiên cứu có, luận văn dựa định hướng xây dựng mô hệ thống phục vụ đám đông sử dụng cơng cụ GPSS vào Bài tốn phân phối sử dụng phòng máy thực hành trường đại học Luận văn gồm chương với nội dung mô tả sơ đây: Chƣơng Cơ sở lý thuyết hệ thống hàng đợi: Cơ sở lý thuyết phục vụ đám đông bao gồm mô tả hệ thống phục vụ nói chung như: yếu tố hệ thống phục vụ ( dòng vào, dòng ra, hàng chờ, kênh phục vụ), trạng thái hệ thống (quá trình thay đổi trạng thái hệ thống phục vụ, sơ đồ trạng thái, quy tắc thiết lập hệ phương trình trạng thái) 55 START TIME 0.000 END TIME 3360.000 NAME ENO ADC DPT ENR EN1 UP1 CP1 LVE TRM FACILITIES STORAGES VALUE 8.000 10001.000 10002.000 26.000 15.000 20.000 6.000 19.000 30.000 10003.000 10005.000 35.000 23.000 10004.000 10000.000 ADC CCL COM CP1 DPT EN1 ENO ENR LVE MWT OZD TRM UP1 UPD VB1 LABEL BLOCKS 35 LOC 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 BLOCK TYPE GENERATE ASSIGN ASSIGN ASSIGN TEST QUEUE SAVEVALUE ADVANCE GATE SAVEVALUE SAVEVALUE ASSIGN TEST TRANSFER SAVEVALUE DEPART TEST TERMINATE GATE ENTER MARK TRANSFER SEIZE ADVANCE RELEASE ENTER ADVANCE LEAVE TRANSFER LEAVE TABULATE TERMINATE GENERATE SAVEVALUE TERMINATE ENTRY COUNT CURRENT COUNT RETRY 1114 0 1114 0 1114 0 1114 0 1114 0 14 0 14 0 35 0 35 0 21 0 21 0 21 0 21 0 21 0 14 0 14 0 14 0 0 1109 0 1114 0 1114 0 1114 630 0 630 629 0 1358 0 1358 15 1343 0 1343 1094 0 1094 0 1094 0 3360 0 3360 0 3360 0 56 FACILITY UPD ENTRIES 610 UTIL 0.907 AVE TIME AVAIL OWNER PEND INTER RETRY DELAY 4.996 4387 0 QUEUE OZD MAX CONT ENTRY ENTRY(0) AVE.CONT AVE.TIME 14 0.010 2.500 STORAGE CCL COM CAP REM MIN MAX 31 11 31 30 15 25 AVE.(-0) RETRY 2.500 ENTRIES AVL AVE.C UTIL RETRY DELAY 1114 22.580 0.728 0 1358 18.073 0.602 0 Như vậy, từ file kết mô cho ta thấy: - Số lượng sinh viên đến thời gian 3360 phút: 1114 - Số lượng sinh viên vào hàng đợi: 14 - Số lượng sinh viên dùng máy in: 610 - Hệ số tải máy in: 93.7% - Số lượng sinh viên dùng máy tính: 1358 - Hệ số tải máy tính: 60.2% - Số lượng tối đa sinh viên chờ hàng đợi: - Thời gian chờ đợi trung bình sử dụng máy tính: 18.073 - Thời gian trung bình sử dụng máy in: 4.996 - Số lượng sinh viên phải về: Bảng So sánh kết tính tốn theo lý thuyết với tính tốn GPSS với T = 3360 phút Tính tốn theo lý thuyết Tính tốn GPSS Số lượng sinh viên đến phòng máy 1120 1114 Số lượng sinh viên dùng máy tính 1344 1358 Hệ số tải máy tính 60% 60.2% Số lượng sinh viên dùng máy in 598 610 Hệ số tải máy in 89% 90.7% 57 B B y: ết mô GPSS World kết thời gian tăng (độ tính tốn theo lý thuyết lấy mẫu lớn) độ xác kết tính tốn lý thuyết kết mơ theo GPSS World cao 4.2.2 Bài toán 2: Ở sân bay lớn, máy bay hạ cánh xuống đường băng (đường băng cất cánh hạ cánh) với tần xuất khoảng từ 10 phút Nếu đường băng “tự do” máy bay nhận đồng ý cho hạ cánh từ bên điều khiển khơng lưu, máy bay hạ cánh phút cho việc hạ cánh Cịn đường băng “bận” (khơng tự do) máy bay phải bay vịng tròn gần sân bay, tiếp tục hạ cánh xuống sân bay sau thời gian phút Nếu sau vịng bay khơng liên tục, mà máy bay khơng nhận đồng ý cho hạ cánh, máy bay bay sang sân bay phụ Tại sân bay đó, trung bình từ 10 phút lại có máy bay cất cánh, đường băng “tự do” máy bay cất cánh phút cho việc cất cánh Ở sân bay này, luôn ưu tiên cho máy bay cất cánh trường hợp thời điểm có máy bay muôn cất cánh bay muốn hạ cánh, đường băng dành cho máy bay cất cánh Hãy thiết lập mơ hình đường băng sân bay thời gian ngày (24 giờ) Đếm số máy bay cất cánh, số máy bay hạ cánh, số máy bay phải thực hạ cánh sân bay phụ Tính hệ số sử dụng đường băng sân bay 4.2.2.1 Phân tích tốn Điều kiện tốn trình bày sơ đồ hình 4.4 58 10± phút (Máy bay cất cánh) Đường băng phục vụ phút 10± phút (Máy bay hạ cánh) Hình 4.4: Điều kiện tốn Chúng ta có hệ thống kênh phục vụ đại chúng (CMO) với thứ tự dòng nhiều chiều gián đoạn Đây hệ thống phải làm việc theo tính tốn trình bày hình 4.6 (tức thời gian ngày đêm) Cấu trúc mơ hình phân tích trùng với mơ hình mơ theo trình bày hình 4.5 λ1 μ λ2 Hình 4.5: Cấu trúc mơ hình phân tích 59 Ta có sơ đồ thuật toán sau: Bắt đầu Khởi tạo thời gian phục vụ dạng cho kênh phục vụ (10 phút máy bay hạ cánh) Xác lập hệ thống tính tốn kênh phục vụ thời điểm Kênh phục vụ gửi trình tự ƣu tiên phục vụ Hệ thống tiếp nhận? chưchưa? yes Kết no yes no Thời gian trễ kênh phục vụ vòng phút Hệ thống phục vụ theo quyền ƣu tiên (2 phút) Tăng kết phút máy bay cất cánh) Kênh phục vụ gửi trình tự ƣu tiên phục vụ Hệ thống phục vụ theo quyền ƣu tiên (2 phút) Kết thúc Hình 4.6: huật tốn hoạt động mơ hình mơ 60 4.2.2.2 Giải tốn Để xây dựng mơ hình, ta giải tốn dựa vào lý thuyết phục vụ đám đơng GPSS WORLD Mơ hình cho thiết lập theo mơ hình phục vụ đám đơng theo dạng M/M/1 λ1 μ λ2 Trong đó: - λ1 = 1/10 - λ2 = 1/10 - Giá trị cường độ phục vụ: μ = 1/2 Đối với hệ thống đặc tính sau tính đến chi tiết: Hệ số tải hệ thống, tức hiệ lượng yêu cầu phục vụ thời gian 1440 phút Đối với mơ hình M/M/1 điều tính theo cơng thức: - Hệ số tải hệ thống yêu cầu phục vụ ρ1 = λ1/μ = 0.2 - Hệ số tải hệ thống yêu cầu phục vụ ρ2 = λ2/μ = 0.2 - Tổng hệ số tải trọng hệ thống: ρ = ρ1 + ρ2 = 0.4 Thời gian Т = 1440 61 Bởi kỳ vọng tốn học dòng phân phối Pyacon tương đương với cường độ λ, số trung bình yêu cầu phân phối thời gian T Т * λ (λ = λ1 = λ2) Т * λ = 1440 * 1/10 = 144 4.2.2.3 Mơ hình GPSS WORLD Theo thuật tốn trình bày hình 4.3, ta viết chương trình ngơn ngữ GPSS hương trình mơ mơ hình sân bay sau: ;Sigment – Mơ tả q trình máy bay hạ cánh ;DOWN ;blok GENERATE 10,5,,,1 Again ASSIGN 1,0 QUEUE TEST NE PREEMPT ADVANCE Q_POL F$POLOSA,1,Busy POLOSA,PR ;Khởi tạo tham số khoảng 5'=>15' cho máy bay ;hạ cánh ;Xác lập tham số cho kênh phục vụ thời điểm ;tham số tính tốn trường hợp máy bay ;bay nhiều vòng ;Máy bay nhận thơng báo từ đường băng ;Nếu đường băng bận tới khối Busy ;Đường băng tiếp nhận máy bay theo ưu tiên ;Thời gian bận đường băng trình phục vụ ;blok Busy term DEPART Q_POL RETURN POLOSA TERMINATE ;Đường băng phục vụ máy bay hạ cánh ;Giải phóng đường băng TEST NE ;Nếu tham số kênh phục vụ ;thì tới khối term, tức trường hợp máy ;bay hạ cánh bay sang sân bay phụ ;Thời gian bay vòng ;Tăng số vòng bay máy bay ;Đến lượt máy bay ;Máy bay bay sang sân bay phụ *1,5,term ADVANCE ASSIGN 1+,1 TRANSFER ,Again ASSIGN 1,0 TERMINATE ;sigment – Mơ tả q trình máy bay cất cánh ;UP GENERATE 10,2,,,2 QUEUE PREEMPT ADVANCE Q_POL POLOSA,PR ;Khởi tạo tham số khoảng 8'=>12' cho máy bay ;cất cánh ;Máy bay nhận thông báo từ đường băng ;Đường băng tiếp nhận máy bay theo ưu tiên ;Thời gian bận đường băng trình phục DEPART RETURN Q_POL POLOSA ;Đường băng phục vụ máy bay hạ cánh ;Giải phóng đường băng vụ 62 TERMINATE ;sigment ;1440 = 60*24: nghĩa thời gian ngày đêm tính ;bằng phút GENERATE 1440 TERMINATE Bằng việc thực chương trình ta nhận START TIME 0.000 END TIME 1440.000 NAME AGAIN BUSY POLOSA Q_POL TERM LABEL BUSY TERM FACILITY POLOSA QUEUE Q_POL ENTRIES 288 FACILITIES STORAGES VALUE 3.000 10.000 10001.000 10000.000 14.000 LOC 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 AGAIN BLOCKS 24 : BLOCK TYPE GENERATE ASSIGN QUEUE TEST PREEMPT ADVANCE DEPART RETURN TERMINATE TEST ADVANCE ASSIGN TRANSFER ASSIGN TERMINATE GENERATE QUEUE PREEMPT ADVANCE DEPART RETURN TERMINATE GENERATE TERMINATE UTIL 0.400 ENTRY COUNT CURRENT COUNT RETRY 146 0 146 0 174 0 174 0 146 0 146 0 146 0 146 0 146 0 28 0 28 0 28 0 28 0 0 0 0 142 0 142 0 142 0 142 0 142 0 142 0 142 0 0 0 AVE TIME AVAIL OWNER PEND INTER RETRY DELAY 2.000 0 0 MAX CONT ENTRY ENTRY(0) AVE.CONT AVE.TIME 30 28 316 12.521 57.058 AVE.(-0) RETRY 57.058 63 FEC XN 290 291 292 PRI BDT 1440.749 1445.367 2880.000 ASSEM 290 291 292 CURRENT 0 NEXT 16 23 PARAMETER VALUE Từ kết nhận đưa kết luận sau: 1) Số lượng máy bay cất cánh ngày đêm: 142 2) Số lượng máy bay cất cánh thành công ngày đêm: 142 3) Số lượng máy bay hạ cánh ngày đêm : 146 4) Số lượng máy bay hạ cánh thành công thời gian ngày đêm: 146 5) Số lượng máy bay hạ cánh, mà phải thực chuyến bay vòng : 28 6) Số lượng máy bay hạ cánh không thành công ngày đêm: 7) Hệ số sử dụng đường băng cho việc cất cánh - hạ cánh: 40 % Bảng So sánh kết tính tốn theo lý thuyết với tính tốn GPSS vớ Đ Tính tốn theo lý thuyết 144 Tính tốn GPSS 142 144 142 144 146 144 146 Số lượng máy bay hạ cánh mà phải thực chuyến bay vòng 28 Số lượng máy bay hạ cánh không thành công khoảng ngày đêm Hệ số sử dụng đường băng cho việc cất cánh - hạ cánh 40% 40% 64 Qua kết thực nghiệm thu cho thấy: Đây hai số toán hệ thống phục vụ đám đơng điển hình, việc tính tốn cơng thức tốn học khơng q phức tạp Kết mơ tính tốn GPSS World phù hợp với kết tính tốn theo lý thuyết Đồng thời, thời gian tăng (độ lấy mẫu lớn) độ xác kết tính tốn lý thuyết kết mô theo GPSS World cao Trong thực tế, có nhiều hệ thống có mơ hình phức tạp hơn; số lượng nguồn u cầu tăng; số lượng kênh phục vụ nhiều kênh (hệ đa kênh); quy luật phục vụ thời gian phục vụ theo quy luật phân bố khác nhau, … Khi việc sử dụng cơng cụ tính tốn tốn học thơng thường theo lý thuyết hàng đợi khó khăn Trong trường hợp này, việc mô hệ thống phục vụ đám đông GPSS World giải pháp hiệu 65 KẾT LUẬN Từ việc nghiên cứu tốn mơ hệ thống phục vụ đám đông, văn đưa phương pháp mô hệ thống phục vụ đám đông ngôn ngữ mô GPSS Qua kết thực nghiệm đạt cho thấy tính hữu dụng phương pháp đạt kết sau: Về mặt nội dung, - Giới thiệu khái quát hệ thống phục vụ đám đơng: khái niệm, mơ hình, đầu vào, đầu ra, hướng tiếp cận - Nghiên cứu ngôn ngữ mơ GPSS: Nêu sở lí thuyết, định nghĩa, cấu trúc ngôn ngữ GPSS Đồng thời giới thiệu công cụ hỗ trợ ngôn ngữ này: GPSS World Student Version – phiên cung cấp miễn phí nhằm phục vụ mục đích học tập nghiên cứu - Thơng qua sở lí thuyết ngơn ngữ GPSS để giải tốn mô hệ thống phục vụ đám đông Luận văn xây dựng quy trình gồm bước để ứng dụng GPSS mô hệ thống phục vụ đám đơng - Xây dựng chương trình để thi hành tốn phân phối sử dụng phịng máy trường đại học ngôn ngữ mô GPSS Với ví dụ có so sánh kết mơ với kết tính tốn theo mơ hình tính tốn, từ rút kết luận khả mô GPSS toán ứng dụng phức tạp Bên cạnh nghiên cứu đạt được, hạn chế mặt thời gian kiến thức, tồn số hạn chế sau: - Luận văn chưa tìm hiểu hết tất ứng dụng ngôn ngữ mô GPSS toán thực tiễn 66 - 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 Kiến Trong tương lai, tiếp tục khắc phục hạn chế Đồng thời cố gắng hoàn thiện nghiên cứu để đưa GPSS áp dụng rộng rãi vào ứng dụng thực tế./ 67 TÀI LIỆU THAM KHẢO Tiếng Việt Lê Quang Minh, Phan Đăng Khoa, Báo cáo đề tài cấp ĐHQGHN QCT-0901: Cơng cụ GPSS cho tốn mơ hệ thống phục vụ đám đông, Viện Công nghệ thông tin – Đại học Quốc Gia Hà Nội, 2010 Lê Quyết Thắng, Phạm Nguyên Khang, Dương Văn Hiếu, Bài giảng: Lý thuyết xếp hàng, Khoa CNTT & TT, Đại học Cần Thơ Phạm Văn Giáp, Nguyễn Ngọc Huệ, Quy hoạch Cảng, Chương 8: Lý thuyết xếp hàng xác định số lượng bến, NXB Xây Dựng 12/2010, ISBN: 9980000289579 Tiếng Anh Alan Pilkington, Royal Holloway, GPSS – Getting Started, University of London, 2005 Alberto Leon, Garcia, Probability and Random Processes for Electricial Engineering, 2nd Edition, University of Toronto, 1994, Chapter 8, G Balbo, J Desel, K Jensen, W Reisig, G Rozenberg, M Silva, Petri Nets 2000, 21th International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June, 26-30, 2000 Geoffrey Gordon, IBM Corporation, The Development Of The General Purpose Simulation System (GPSS), ACM, 1978 GPSS/PC general purpose simulation, Reference Manual–Minuteman Software P.O Box 171 Stow, Massachusetts 01775, 1986 G Winskel, M Nielsen Models for Concurrency, Handbook of Logic and the Foundations of Computer Science, vol 4, pages 1-148, OUP 68 10 Kai Furman, Material Handling and Production Systems Modelling based on Queuing Models 148 p, ISBN: 3-540-31774-0, 2011 11 Mag.DI Dr Christian Dombacher, Queueing Models for Call Centers, A2232 Deustch–Wagram, 13.05.2010 12 Michael Shalmon, Queueing Analysis and Packet ISBN-10: 0470454687 ISBN-13: 978-0470454688, 2011 Networks, 13 M Peter Jurkat, Short Introduction to GPSS 14 M Ajmone Marsan, Stochastic Petri net: An elementary Introduction, Dipartimento di Scienze dell’s Informazione, Università di Milano, Italy, 2007 15 U Narayan Bhat, An Introduction to Queueing Theory, Southern Methodist University, USA, 2008 16 Vedran Kordic, Petri nets, Theory and Application, I-Tech Education and Publishing, Vienna, Austria, 2008 Website: 17 Workflow Petri Net Designer (2011), http://www.woped.org, 10/12/2011 18 Tool for Verification http://www.tapaal.net, of Timed-Arc Petri Nets (2011), 12/12/2011 19 Yet Another Smart Process EditoR, http://www.yasper.org, 15/12/2011 20 Minuteman downloads.asp Software (2010), 12/2011 http://www.minutemansoftware.com/ x ... 3 Chƣơng Một số công cụ mô tốn hàng đợi: Giới thiệu tổng quan số cơng cụ mô sử dụng thực tế để giải tốn hàng đợi, như: Ngơn ngữ mô GPSS công cụ GPSS World; Các công cụ mô sử dụng ngôn ngữ đặc... Chƣơng 2: HIỆN TRẠNG MỘT SỐ CÔNG CỤ MÔ PHỎNG BÀI TOÁN HÀNG ĐỢI 15 Chương giới thiệu tổng quan số công cụ mô sử dụng thực tế để giải toán hàng đợi 2.1 Ngôn ngữ mô GPSS công cụ GPSS World Giới thiệu...ĐẠI HỌC THÁI NGUYÊN NGHIÊN CỨU VÀ SỬ DỤNG CÔNG CỤ GENERAL PURPOSE SIMULATION SYSTEM TRONG BÀI TỐN MƠ PHỎNG HÀNG ĐỢI Chuyên ngành: Mã số: 60 48 01 TS Lê Quang Minh