Mô hình hóa hệ thống

MỤC LỤC Đề số 14 : Ngân hàng có hạn chế chỗ ngồi Khách hàng đến giao dịch ngân hàng có cường độ =3 khách /giờ.Thời gian phục vụ khách hàng tuân theo luật phân bố khoảng 20 đến 30 phút Giả thiết ngân hàng có chỡ ngời cho khách hàng, có nhân viên phục vụ mỗi thời điểm Khách hàng đến ngân hàng sẽ bỏ ngân hàng đã hết chỡ a) Hãy mơ hình hóa ngân hàng nói sau phục vụ 50 khách hàng b) Tính thời gian đợi trung bình của khách hàng của 10, 20, 30 khách hàng đầu tiên Giới thiệu phần mềm SIGMA Trong tập trước đây, ta thường xây dựng chương trình mơ phỏng cơng cụ Visual Basic, nhiên khơng phải cơng cụ chun dụng để mơ phỏng Vì tập ta sử dụng công cụ mới, chun dùng để mơ phỏng chương trình SIGMA Phần mềm SIGMA FOR WINDOWS tiếp cận phân tích mô phỏng kiện rời rạc với vài đặc tính xây dựng mơ hình mạnh Đặc tính bật của phần mềm SIGMA mơ hình mơ phỏng có thể tạo soạn thảo chương trình chạy Các kiện có thể thêm bớt, thay đổi loại bỏ Trình tự logic khơng bị thay đổi lỗi sẽ hiệu chỉnh mà khơng cần dừng chương trình để thay đổi mã biên dịch lại Bạn có thể tạm dừng chạy lại chương trình bạn thích Khi sử dụng phần mềm mơ hình mơ phỏng có thể phát triển thực thời gian nhỏ sử dụng ngơn ngữ lập trình biên dịch thuận tiện Tính ưu việt của phần mềm SIGMA mà môi trường mô phỏng khác hỡ trợ hoạt cảnh phần mềm Các hoạt cảnh không tạo từ mơ hình mơ phỏng sử dụng phần mềm thơng thường cách tách biệt, SIGMA hoạt cảnh mơ hình đờng Thêm vào SIGMA cịn bao gồm công cụ hiệu chỉnh liệu đồ hoạ tinh xảo cho phép hình ảnh, đờ thị có thể dán bảng tính hay xử lý văn mơ hình hố, phân tích hay hoạt cảnh Các mơ hình của SIGMA có thể tự động thay đổi ngôn nhữ dịch C, Pascal, FORTRAN hay có thể tự tạo mơ tả nhỏ mơ hình tiếng Anh Trong SIGMA mục chương trình có thể chạy đờng thời Bạn có thể chép dán đối tượng từ mơ hình sang phần của mơ hình khác Bên cạnh mơ hình có thể phát triển mục của SIGMA sau tích hợp đờ hoạ thành mơ hình khác mơ hình cũ thực SIGMA hỡ trợ đầy đủ chu kỳ mơ hình mơ phỏng từ việc xây dựng mơ hình, kiểm tra tới phân tích đầu ra, thực hoạt cảnh, tư liệu đưa thông tin cần thiết Phần mềm đời đã tạo công cụ mạnh việc mơ hình hố kiện nhẫu nhiên điều mà trước chưa thực Phân tích đề dạng hàng đợi Khách hàng đến giao dịch ngân hàng, ngân hàng có chỡ ngời cho khách hàng, có cường độ =3 khách /giờ = 20 phút /khách Thời gian phục vụ khách hàng tuân theo luật phân bố khoảng 20 đến 30 phút: t= 20+10*RND Hệ thống có kênh phục vụ Chiều dài hàng đợi Khách hàng đến ngân hàng sẽ bỏ ngân hàng đã hết chỗ 3 Xây dựng mô hình a Các kiện hệ thống Gờm biến trạng thái: QUEUE SERVER Trong đó: + QUEUE: số khách hàng đến để chờ phục vụ + SERVER: số khách hàng phục vụ - Sự kiện RUN: Mô tả giá trị ban đầu Điều kiện ban đầu: SERVER0=0, SERVER1=0, SERVER2=0 - Sự kiện ARRIVAL: Mô tả số khách hàng vào ngân hàng để giao dịch Khi chiều dài hàng đợi sẽ tăng lên 1: QUEUE= QUEUE+1 - Sự kiện CHECK: Mô tả trạng thái khách hàng giao dịch với quầy, chiều dài hàng đợi sẽ giảm 1: QUEUE =QUEUE-1 - Sự kiện START 0: Mô tả kênh phục vụ thứ - Sự kiện START 1: Mô tả kênh phục vụ thứ hai - Sự kiện START 2: Mô tả kênh phục vụ thứ ba - Sự kiện LEAVE0: Mô tả khách hàng phục vụ xong rời khỏi hệ thống - Sự kiện LEAVE1: Mô tả khách hàng phục vụ xong rời khỏi hệ thống - Sự kiện LEAVE2: Mô tả khách hàng phục vụ xong rời khỏi hệ thống - Sự kiện TONG SO: Mô tả tổng số khách hàng phục vụ hệ thống b Các hệ nút thống - Nút RUN → ARRIVAL: Mô tả việc bắt đầu khách hàng vào ngân hàng 10 - Nút ARRIVAL→CHECK: Mô tả khách hàng vào quầy chờ phục vụ - Nút CHECK → START0, START1, START2: Mô tả khách hàng vào quầy 1, quầy 2, quầy 12 - Nút START0 → LEAVE0: Mô tả khách hàng rời phục vụ xong quầy 13 - Nút START1 → LEAVE1: Mô tả khách hàng rời phục vụ xong quầy - Nút START2 → LEAVE2: Mô tả khách hàng rời phục vụ xong quầy 14 - Nút LEAVE0, LEAVE1, LEAVE2 → TONG SO: Đếm số khách hàng quầy 1, quầy 2, quầy để tính tổng số khách hàng đã phục vụ hệ thống 15 Kết mô a Kết 50 khách phục vụ hàng Event Time RUN ARRIVA L CHECK START START START 0 Count QUEU SERVE SERVE SERVE SERVE E R0 R1 R2 R 0 0 1 0 0 1 0 0 0 0 0 0 0 0 16 OUT LEAVE 20 TONG 20 SO LEAVE 20 TONG 20 SO LEAVE 20 TONG 20 SO ARRIVA 20.966 L 20.966 CHECK START 20.966 START 20.966 START 20.966 20.966 OUT LEAVE 40.966 TONG 40.966 SO LEAVE 40.966 TONG 40.966 SO LEAVE 40.966 TONG 40.966 SO ARRIVA 49.306 L 49.306 CHECK START 49.306 START 49.306 START 49.306 LEAVE 69.306 TONG 69.306 SO LEAVE 69.306 TONG 69.306 SO 0 0 0 0 1 1 1 1 3 1 2 1 1 1 3 1 1 2 6 1 1 1 3 1 1 2 2 2 6 2 3 2 2 2 6 2 2 2 2 2 3 3 17 LEAVE 69.306 TONG 69.306 SO ARRIVA 78.783 L 78.783 CHECK START 78.783 START 78.783 START 78.783 LEAVE 98.783 TONG 98.783 SO LEAVE 98.783 TONG 98.783 SO LEAVE 98.783 TONG 98.783 SO ARRIVA 99.141 L 99.141 CHECK START 99.141 START 99.141 START 99.141 119.14 LEAVE 119.14 TONG SO 119.14 LEAVE 1 119.14 TONG SO 119.14 LEAVE 119.14 TONG SO 119.25 ARRIVA L 119.25 CHECK 119.25 START 3 9 3 4 10 3 3 3 9 10 3 11 3 12 3 12 3 10 12 3 10 12 4 10 11 12 4 11 12 4 11 12 12 4 12 5 13 12 4 4 4 12 12 13 4 12 14 4 12 15 4 12 15 4 12 13 15 4 13 15 5 13 14 15 5 14 15 5 14 15 15 5 15 16 5 15 15 5 15 16 5 15 18 119.25 119.25 139.25 139.25 139.25 139.25 139.25 139.25 139.76 139.76 139.76 139.76 139.76 159.76 159.76 159.76 159.76 159.76 159.76 167.42 167.42 167.42 167.42 167.42 187.42 187.42 START START LEAVE TONG SO LEAVE TONG SO LEAVE TONG SO ARRIVA L CHECK START START START LEAVE TONG SO LEAVE TONG SO LEAVE TONG SO ARRIVA L CHECK START START START LEAVE TONG SO 17 5 15 18 5 15 18 5 15 16 18 5 16 18 6 16 17 18 6 17 18 6 17 18 18 6 18 19 6 18 18 6 18 19 6 18 20 6 18 21 6 18 21 6 18 19 21 6 19 21 7 19 20 21 7 20 21 7 20 21 21 7 21 22 7 21 21 7 21 22 7 21 23 7 21 24 7 21 24 7 21 22 24 7 22 19 187.42 187.42 187.42 187.42 193.27 193.27 193.27 193.27 193.27 213.27 213.27 213.27 213.27 213.27 213.27 222.41 222.41 222.41 222.41 222.41 242.41 242.41 242.41 242.41 242.41 242.41 LEAVE TONG SO LEAVE TONG SO ARRIVA L CHECK START START START LEAVE TONG SO LEAVE TONG SO LEAVE TONG SO ARRIVA L CHECK START START START LEAVE TONG SO LEAVE TONG SO LEAVE TONG SO 24 8 22 23 24 8 23 24 8 23 24 24 8 24 25 8 24 24 8 24 25 8 24 26 8 24 27 8 24 27 8 24 25 27 8 25 27 9 25 26 27 9 26 27 9 26 27 27 9 27 10 28 9 27 10 27 9 27 10 28 9 27 10 29 9 27 10 30 9 27 10 30 10 9 27 28 30 10 9 28 10 30 10 10 28 29 30 10 10 29 10 30 10 10 10 29 30 30 10 10 10 30 20 250.25 250.25 250.25 250.25 250.25 270.25 270.25 270.25 270.25 270.25 270.25 273.58 273.58 273.58 273.58 273.58 293.58 293.58 293.58 293.58 293.58 293.58 295.53 295.53 295.53 295.53 ARRIVA L 11 31 10 10 10 30 CHECK START START START LEAVE TONG SO LEAVE TONG SO LEAVE TONG SO ARRIVA L 11 30 10 10 10 30 11 31 10 10 10 30 11 32 10 10 10 30 11 33 10 10 10 30 11 33 11 10 10 30 31 33 11 10 10 31 11 33 11 11 10 31 32 33 11 11 10 32 11 33 11 11 11 32 33 33 11 11 11 33 12 34 11 11 11 33 CHECK START START START LEAVE TONG SO LEAVE TONG SO LEAVE TONG SO ARRIVA L 12 33 11 11 11 33 12 34 11 11 11 33 12 35 11 11 11 33 12 36 11 11 11 33 12 36 12 11 11 33 34 36 12 11 11 34 12 36 12 12 11 34 35 36 12 12 11 35 12 36 12 12 12 35 36 36 12 12 12 36 13 37 12 12 12 36 CHECK START START 13 36 12 12 12 36 13 37 12 12 12 36 13 38 12 12 12 36 21 295.53 315.53 315.53 315.53 315.53 315.53 315.53 318.20 318.20 318.20 318.20 318.20 338.20 338.20 338.20 338.20 338.20 338.20 346.13 346.13 346.13 346.13 346.13 366.13 366.13 366.13 START LEAVE TONG SO LEAVE TONG SO LEAVE TONG SO ARRIVA L 13 39 12 12 12 36 13 39 13 12 12 36 37 39 13 12 12 37 13 39 13 13 12 37 38 39 13 13 12 38 13 39 13 13 13 38 39 39 13 13 13 39 14 40 13 13 13 39 CHECK START START START LEAVE TONG SO LEAVE TONG SO LEAVE TONG SO ARRIVA L 14 39 13 13 13 39 14 40 13 13 13 39 14 41 13 13 13 39 14 42 13 13 13 39 14 42 14 13 13 39 40 42 14 13 13 40 14 42 14 14 13 40 41 42 14 14 13 41 14 42 14 14 14 41 42 42 14 14 14 42 15 43 14 14 14 42 CHECK START START START LEAVE TONG SO LEAVE 15 42 14 14 14 42 15 43 14 14 14 42 15 44 14 14 14 42 15 45 14 14 14 42 15 45 15 14 14 42 43 45 15 14 14 43 15 45 15 15 14 43 22 366.13 366.13 366.13 375.97 375.97 375.97 375.97 375.97 395.97 395.97 395.97 395.97 395.97 395.97 397.46 397.46 397.46 397.46 397.46 417.46 417.46 417.46 417.46 TONG SO LEAVE TONG SO ARRIVA L 44 45 15 15 14 44 15 45 15 15 15 44 45 45 15 15 15 45 16 46 15 15 15 45 CHECK START START START LEAVE TONG SO LEAVE TONG SO LEAVE TONG SO ARRIVA L 16 45 15 15 15 45 16 46 15 15 15 45 16 47 15 15 15 45 16 48 15 15 15 45 16 48 16 15 15 45 46 48 16 15 15 46 16 48 16 16 15 46 47 48 16 16 15 47 16 48 16 16 16 47 48 48 16 16 16 48 17 49 16 16 16 48 CHECK START START START LEAVE TONG SO LEAVE TONG SO 17 48 16 16 16 48 17 49 16 16 16 48 17 50 16 16 16 48 17 51 16 16 16 48 17 51 17 16 16 48 49 51 17 16 16 49 17 51 17 17 16 49 50 51 17 17 16 50 23 b Thời gian đợi trung bình 10, 20, 30 khách hàng - 10 khách hàng đầu tiên: Time Event TONG SO 98.783 - Count QUEUE SERVER0 SERVER1 SERVER2 SERVER 10 12 3 10 20 khách hàng đầu tiên: Time 159.768 Event TONG SO Count QUEUE SERVER0 SERVER1 SERVER2 SERVER 20 21 7 20 24 - 30 khách hàng đầu tiên: Time 242.417 Event TONG SO Count QUEUE SERVER0 SERVER1 SERVER2 SERVER 30 30 10 10 10 30 25 ... START 2: Mô tả kênh phục vụ thứ ba - Sự kiện LEAVE0: Mô tả khách hàng phục vụ xong rời khỏi hệ thống - Sự kiện LEAVE1: Mô tả khách hàng phục vụ xong rời khỏi hệ thống - Sự kiện LEAVE2: Mô tả khách... Mô tả khách hàng phục vụ xong rời khỏi hệ thống - Sự kiện TONG SO: Mô tả tổng số khách hàng phục vụ hệ thống b Các hệ nút thống - Nút RUN → ARRIVAL: Mô tả việc bắt đầu khách hàng vào ngân hàng... tượng từ mơ hình sang phần của mơ hình khác Bên cạnh mơ hình có thể phát triển mục của SIGMA sau tích hợp đờ hoạ thành mơ hình khác mơ hình cũ thực SIGMA hỡ trợ đầy đủ chu kỳ mơ hình mơ