1. Tªn vµ néi dung ®Ò bµi ( bµi sè 10 , nhãm 9) C¸c chi tiÕt ®îc ®a ®Õn m¸y gia c«ng tu©n theo luËt ph©n bè ®Òu trong kho¶ng thêi gian tõ 3 ®Õn 5 phót . Th¬× gian gia c«ng mét chi tiÕt lµ 3 phót . Cã p%=0,2 chi tiÕt gia c«ng ph¶i quay trë vÒ gia c«ng l¹i. a) H•y m« h×nh ho¸ ng©n hµng nãi trªn trong kho¶ng thêi gian 4 giê. X¸c ®Þnh sè chi tiÕt ®îc gia c«ng? Sè chi tiÕt ph¶i gia c«ng l¹i? b) H•y m« h×nh ho¸ hÖ thèng gia c«ng nãi trªn ®Õn khi gia c«ng ®îc 100 chi tiÕt. 2. Giíi thiÖu phÇn mÒm SIGMA SIGMA for Window lµ mét ph¬ng ph¸p tiÕp cËn míi ®Ó m« pháng, m« h×nh ho¸ vµ ph©n tÝch c¸c sù kiÖn gi¸n ®o¹n. §©y lµ phÇn mÒm m« pháng ®éc ®¸o vµ t¬ng ®èi m¹nh. §Æc ®iÓm næi bËt nhÊt cña phÇn mÒm SIGMA for Window lµ c¸c m« h×nh cã thÓ t¹o ra, lµm cho phong phó vµ c¶i tiÕn trong khi chóng ®ang ch¹y. Sù kiÖn cã thÓ ®îc thªm vµo hoÆc thËm chÝ bá ®i trong khi ch¹y m« pháng. L«gic cã thÓ thay ®æi vµ lçi cã thÓ chØnh söa mµ kh«ng cÇn dõng ch¹y m« pháng cã thÓ ®îc ph¸t triÓn vµ kiÓm tra tõng kho¶ng thêi gian vµ cã thÓ sö dông c¸c ng«n th«ng dông. Kh¶ n¨ng ph¶n øng linh ho¹t lµ sù kh¸c biÖt c¬ b¶n cña SIGMA h¬n h¼n c¸c phÇn mÒm m« pháng kh¸c. TÝnh linh ho¹t sinh ®éng sèng ®éng kh«ng ®îc t¹o ra tõ m« h×nh m« pháng b»ng c¸ch th«ng thêng lµ thªm vµo phÇn mÒm mµ trong SIGMA tÝnh linh ho¹t vµ m« h×nh m« pháng lµ ®ång nhÊt. Ngoµi ®iÒu kiÖn cho m« h×nh ®å ho¹, cho ph©n tÝch vµ sèng ®éng SIGMA còng bao gåm c¸c c«ng cô kiÓm tra d÷ liÖu ®å ho¹ vµ cho phÐp h×nh ¶nh, ®å thÞ vµ d÷ liÖu cã thÓ ®îc d¸n vµo c¸c bé nhí ®Öm vµ ®îc xö lý. §Ó ®¹t ®îc sù thay ®æi tèc ®é vµ cho mäi ngêi dÔ hiÓu, SIGMA cã thÓ dÞch ra mét ng«n ng÷ kh¸c vÝ dô: C, Pascal, Fortran… thËm chÝ sÏ ®îc m« t¶ b¶n th©n qu¸ tr×nh ho¹t ®éng cña nã b»ng tiÕng Anh Khi nghiªn cøu nh÷ng hÖ thèng t¬ng ®èi ®¬n gi¶n ngêi ta cã thÓ dïng ph¬ng ph¸p gi¶i tÝch ®Ó m« t¶ hÖ thèng vµ nhËn ®îc lêi gi¶i chÝnh x¸c. Tuy nhiªn, ®èi víi c¸c hÖ thèng lín, cã cÊu tróc phøc t¹p, cã quan hÖ t¸c ®éng qua l¹i gi÷a c¸c hÖ con víi trung t©m ®iÒu khiÓn, gi÷a hÖ thèng víi m«i trêng ngoµi, cã t¸c ®éng cña c¸c hÖ thèng ngÉu nhiªn th× ph¬ng ph¸p gi¶i tÝch tá ra bÊt lùc. Trong trêng hîp nµy ngêi ta ph¶i dïng ph¬ng ph¸p m« pháng(Simulation). Tãm l¹i: SIGMA lµ mét m«i trêng m« pháng theo kiÓu sù kiÖn, dÔ dµng cho viÖc ph¸t triÓn m• m« pháng vµ ®äc ®å thÞ trùc quan. Kh«ng nh c¸c phÇn mÒm m« pháng kh¸c, víi SIGMA ngêi dïng cã thÓ truy nhËp vµo m• nguån, nã thÝch hîp víi c¶ nh÷ng ngêi míi b¾t ®Çu lµm m« pháng vµ nh÷ng nhµ chuyªn nghiÖp. MÆc dï SIGMA dÔ häc vµ sö dông, nhng nã còng ®ñ m¹nh cho viÖc ph¸t triÓn kü thuËt m« pháng hiÖn ®¹i. SIGMA còng cã phÇn kiÓm tra ®Çu vµo. Kh«ng gièng nh c¸c phÇn kiÓm tra ®¬n gi¶n kh¸c, nã kiÓm tra viÖc tÝnh to¸n cña ngêi sö dông b»ng viÖc tÝnh trùc tiÕp khi sè liÖu ®îc ®a vµo. §iÒu nµy dÉn ®Õn lóc m« h×nh ch¹y sÏ kh«ng bÞ lçi. 3. Ph©n tÝch ®Ò bµi: C¸c chi tiÕt ®îc ®a tíi m¸y gia c«ng sÏ lËp thµnh d•y hµng ®îi , tu©n theo luËt ph©n phèi ®Òu thêi gian tõ 3 tíi 5 phót . Kªnh phôc vô lµ 1 m¸y gia c«ng . ChiÒu dµi hµng ®îi kh«ng h¹n chÕ. Thêi gian ®îi kh«ng h¹n chÕ . LuËt s¾p hµng lµ FIFO. 4. X©y dùng m« h×nh: Graph, nót tr¹ng th¸i , mòi tªn chuyÓn tr¹ng th¸i vµ ®Þnh tham sè cho c¸c nót vµ mòi tªn.
Bài tập dài 3-Mô hình hóa hệ hàng đợi Tên nội dung đề ( số 10 , nhóm 9) Các chi tiết đợc đa đến máy gia công tuân theo luật phân bố khoảng thời gian từ đến phút Thơì gian gia công chi tiết phút Có p%=0,2 chi tiết gia công phải quay trở gia công lại a) Hãy mô hình hoá ngân hàng nói khoảng thời gian Xác định số chi tiết đợc gia công? Số chi tiết phải gia công lại? b) Hãy mô hình hoá hệ thống gia công nói đến gia công đợc 100 chi tiÕt Giíi thiƯu phÇn mỊm SIGMA SIGMA for Window phơng pháp tiếp cận để mô phỏng, mô hình hoá phân tích kiện gián đoạn Đây phần mềm mô độc đáo tơng đối mạnh Đặc điểm bật phần mềm SIGMA for Window mô hình tạo ra, làm cho phong phú cải tiến chúng chạy Sự kiện đợc thêm vào chí bỏ chạy mô Lôgic thay đổi lỗi chỉnh sửa mà không cần dừng chạy mô đợc phát triển kiểm tra khoảng thời gian sử dụng ngôn thông dụng Khả phản ứng linh hoạt khác biệt SIGMA hẳn phần mềm mô khác Tính linh hoạt sinh động sống động không đợc tạo từ mô hình mô cách thông thờng thêm vào phần mềm mà SIGMA tính linh hoạt mô hình mô đồng Ngoài điều kiện cho mô hình đồ hoạ, cho phân tích sống động SIGMA bao gồm công cụ kiểm tra liệu đồ hoạ cho phép hình ảnh, đồ thị liệu đợc dán vào nhớ đệm đợc xử lý Để đạt đợc thay đổi tốc độ cho ngời dễ hiểu, SIGMA dịch ngôn ngữ khác ví dụ: C, Pascal, Fortran chí đợc mô tả thân trình hoạt động tiếng Anh Khi nghiên cứu hệ thống tơng đối đơn giản ngời ta dùng phơng pháp giải tích để mô tả hệ thống nhận đợc lời giải xác Tuy nhiên, ®èi víi c¸c hƯ thèng lín, cã cÊu tróc phøc tạp, có quan hệ tác động qua lại hệ với trung tâm điều khiển, hệ thống với môi trờng ngoài, có tác động hệ thống ngẫu nhiên phơng pháp giải tích tỏ bất lực Trong trờng hợp ngời ta phải dùng phơng pháp mô phỏng(Simulation) Tóm lại: - SIGMA môi trờng mô theo kiểu kiện, dễ dàng cho việc phát triển mã mô đọc đồ thị trực quan - Không nh phần mềm mô pháng kh¸c, víi SIGMA ngêi dïng cã thĨ truy nhËp vào mã nguồn, thích hợp với ngời bắt đầu làm mô nhà chuyên nghiệp - Mặc dù SIGMA dễ học sử dụng, nhng đủ mạnh cho việc phát triển kỹ thuật mô đại - SIGMA có phần kiểm tra đầu vào Không giống nh phần kiểm tra đơn giản khác, kiểm tra việc tính toán cđa ngêi sư dơng b»ng viƯc tÝnh trùc tiÕp số liệu đợc đa vào Điều dẫn đến lúc mô hình chạy không bị lỗi Phân tích đề bài: - Các chi tiết đợc đa tới máy gia công lập thành dãy hàng đợi , tuân theo luật phân phối thời gian từ tới phút - Kênh phục vụ máy gia công - Chiều dài hàng đợi không hạn chế - Thời gian đợi không hạn chế - Luật hàng FIFO Xây dựng mô hình: Graph, nút trạng thái , mũi tên chuyển trạng thái định tham số cho nút mũi tên a) Các nút hệ thống : Gồm có ba biến trạng thái: QUEUE SERVER P QUEUE : Số chi tiết đợc đa đến máy gia công để gia công , có hàng đợi SERVER: Trạng thái máy gia công làm việc / rỗi nên có SERVER P:Chi tiết gia công cần phải gia công lại *) Nút RUN : đợc mô tả bắt đầu mô RUN có thông số bảng sau Khi máy làm việc SERVER=0 máy rỗi SERVER=1 Nh ban đầu điều kiện SERVER=1 *) Nút ENTER : mô tả số chi tiết tiến vào để đợc gia công Khi chiều dài hàng đợi tăng lên QUEUE=QUEUE+1 *)Nút START : mô tả trạng thái máy gia công Khi chi tiết đợc gia công trạng thái máy chuyển từ rỗi sang bận SERVER =SERVER-1 chiều dài hàng đợi giảm ®i : QUEUE=QUEUE-1 *) Nót REWRK : m«t tả việc gia công lại chi tiết Khi QUEUE=QUEUE+1 nghĩa làm chiều dài hàng đợi tăng lên *) Nút LEAVE : mô tả chi tiết rời khỏi máy sau đợc gia công Khi SERVER=1, nghĩa máy chuyển từ bận sang rỗi b)Các mũi tên hệ thống : *) Mũi tên từ nút RUN ENTER : mô tả việc bắt đầu chi tiết đợc đa vào máy Điều kiện 1==1 chi tiết tiến vào ENTER hệ thống , mặc định tiên Không có thời gian trễ bắt đầu RUN chi tiết đến ENTER *) Mũi tên từ ENTER tới ENTER : Mô tả thời gian trễ chi tiết tới máy tuân theo luật phân bố khoảng từ tới Nªn ta cã 3+5*RND , víi møc u tiªn điều kiện luôn 1==1 *) Mũi tên từ nút ENTER tới nút START : Mô tả việc bắt đầu gia công chi tiết máy , SERVER>0 thời gian trễ *) Mòi tªn chiÌu tõ nót START tíi nót LEAVE : *)ChiỊu tõ START tíi LEAVE : m« tả trình gia công chi tiết khoảng thời gian cố định phút Với điều kiện 1==1 mức u tiên *)Chiều từ nút LEAVE tới nút START : mô tả kiện gia công chi tiết hàng đợi Khi ®ã QUEUE>0 ChiỊu tõ nót LEAVE tíi nót REWRK : mô tả kiện chi tiết phải gia công lại Với điều kiện RND1 Mô hệ thống gia công đợc 100 chi tiÕt : MODEL DEFAULTS -Model Name: REWORK1.MOD Model Description: A DETERMINISTIC QUEUE WITH POSSIBLE REWORK 24 Output File: MMH2.OUT Output Plot Style: NOAUTO_FIT Run Mode: GRAPHICS Trace Vars: QUEUE,SERVE Random Number Seed: 12345 Initial Values: 1,.2 Ending Condition: STOP_ON_EVENT Event: LEAVE (100 iterations) Trace Events: ALL EVENTS TRACED Hide Edges: Time Event Count QUEUE SERVER 0.000 RUN 0.000 ENTER 0.000 START 1 3.000 LEAVE 1 3.000 START 0 3.483 ENTER 6.000 LEAVE 1 6.000 START 0 6.000 REWRK 9.000 LEAVE 1 9.000 START 0 9.000 REWRK ENTER 11.221 1 1 25 12.000 LEAVE 12.000 START 14.477 ENTER 15.000 LEAVE 15.000 START 18.000 LEAVE 1 18.000 START 0 20.402 ENTER 21.000 LEAVE 1 21.000 START 0 21.000 REWRK 24.000 LEAVE 1 24.000 START 0 25.067 ENTER 27.000 LEAVE 1 27.000 START 10 0 30.000 LEAVE 10 30.000 REWRK 1 30.000 START 11 0 32.031 ENTER 33.000 LEAVE 11 1 33.000 START 12 0 33.000 REWRK 36.000 LEAVE 12 1 36.000 START 13 0 36.727 ENTER 39.000 LEAVE 13 1 39.000 START 14 0 26 40.564 ENTER 42.000 LEAVE 14 1 42.000 START 15 0 44.609 ENTER 10 45.000 LEAVE 15 1 45.000 START 16 0 48.000 LEAVE 16 48.802 ENTER 11 1 48.802 START 17 0 51.802 LEAVE 17 53.335 ENTER 12 1 53.335 START 18 0 56.335 LEAVE 18 56.335 REWRK 1 56.335 START 19 0 58.895 ENTER 13 59.335 LEAVE 19 1 59.335 START 20 0 62.335 LEAVE 20 66.448 ENTER 14 1 66.448 START 21 0 69.448 LEAVE 21 74.195 ENTER 15 1 74.195 START 22 0 77.195 LEAVE 22 77.453 ENTER 16 1 77.453 START 23 0 80.453 LEAVE 23 27 84.890 ENTER 17 1 84.890 START 24 0 87.890 LEAVE 24 88.420 ENTER 18 1 88.420 START 25 0 91.420 LEAVE 25 94.336 ENTER 19 1 94.336 START 26 0 97.336 LEAVE 26 98.225 ENTER 20 1 98.225 START 27 0 101.225 LEAVE 27 102.761 ENTER 21 1 102.761 START 28 0 105.761 LEAVE 28 109.309 ENTER 22 1 109.309 START 29 0 112.309 LEAVE 29 114.803 ENTER 23 1 114.803 START 30 0 117.803 LEAVE 30 120.796 ENTER 24 1 120.796 START 31 0 123.796 LEAVE 31 123.796 REWRK 1 123.796 START 32 0 126.796 LEAVE 32 127.421 ENTER 25 1 28 127.421 START 33 0 130.421 LEAVE 33 130.706 ENTER 26 1 130.706 START 34 0 133.706 LEAVE 34 134.576 ENTER 27 1 134.576 START 35 0 137.576 LEAVE 35 142.288 ENTER 28 1 142.288 START 36 0 145.288 LEAVE 36 148.410 ENTER 29 1 148.410 START 37 0 151.410 LEAVE 37 151.410 REWRK 1 151.410 START 38 0 151.894 ENTER 30 154.410 LEAVE 38 1 154.410 START 39 0 154.410 REWRK 157.410 LEAVE 39 1 157.410 START 40 0 157.410 REWRK 157.664 ENTER 31 160.410 LEAVE 40 160.410 START 41 162.826 ENTER 32 163.410 LEAVE 41 10 29 163.410 START 42 166.410 LEAVE 42 1 166.410 START 43 0 166.410 REWRK 167.000 ENTER 33 169.410 LEAVE 43 169.410 START 44 172.410 LEAVE 44 1 172.410 START 45 0 173.658 ENTER 34 175.410 LEAVE 45 1 175.410 START 46 0 178.091 ENTER 35 178.410 LEAVE 46 1 178.410 START 47 0 181.410 LEAVE 47 181.967 ENTER 36 1 181.967 START 48 0 184.967 LEAVE 48 189.401 ENTER 37 1 189.401 START 49 0 192.401 LEAVE 49 194.955 ENTER 38 1 194.955 START 50 0 197.955 LEAVE 50 201.413 ENTER 39 1 201.413 START 51 0 204.413 LEAVE 51 11 30 205.951 ENTER 40 1 205.951 START 52 0 208.951 LEAVE 52 212.905 ENTER 41 1 212.905 START 53 0 215.905 LEAVE 53 217.321 ENTER 42 1 217.321 START 54 0 220.321 LEAVE 54 221.807 ENTER 43 1 221.807 START 55 0 224.807 LEAVE 55 225.492 ENTER 44 1 225.492 START 56 0 228.492 LEAVE 56 228.492 REWRK 228.492 START 57 0 231.492 LEAVE 57 231.492 REWRK 231.492 START 58 0 232.101 ENTER 45 234.492 LEAVE 58 1 234.492 START 59 0 237.301 ENTER 46 237.492 LEAVE 59 1 237.492 START 60 0 240.492 LEAVE 60 240.492 REWRK 12 13 14 1 1 1 31 240.492 START 61 0 242.578 ENTER 47 243.492 LEAVE 61 1 243.492 START 62 0 243.492 REWRK 246.492 LEAVE 62 1 246.492 START 63 0 249.072 ENTER 48 249.492 LEAVE 63 1 249.492 START 64 0 252.492 LEAVE 64 255.757 ENTER 49 1 255.757 START 65 0 258.757 LEAVE 65 258.757 REWRK 258.757 START 66 0 260.445 ENTER 50 261.757 LEAVE 66 1 261.757 START 67 0 264.757 LEAVE 67 267.267 ENTER 51 1 267.267 START 68 0 270.267 LEAVE 68 270.267 REWRK 270.267 START 69 0 272.355 ENTER 52 273.267 LEAVE 69 1 273.267 START 70 0 15 16 17 1 1 32 275.977 ENTER 53 276.267 LEAVE 70 1 276.267 START 71 0 276.267 REWRK 279.267 LEAVE 71 1 279.267 START 72 0 282.267 LEAVE 72 282.931 ENTER 54 1 282.931 START 73 0 285.931 LEAVE 73 289.545 ENTER 55 1 289.545 START 74 0 292.545 LEAVE 74 292.545 REWRK 292.545 START 75 0 295.545 LEAVE 75 295.545 REWRK 295.545 START 76 0 296.040 ENTER 56 298.545 LEAVE 76 1 298.545 START 77 0 301.545 LEAVE 77 303.538 ENTER 57 1 303.538 START 78 0 306.538 LEAVE 78 307.633 ENTER 58 1 307.633 START 79 0 310.633 LEAVE 79 18 19 20 1 1 33 312.980 ENTER 59 1 312.980 START 80 0 315.980 LEAVE 80 317.454 ENTER 60 1 317.454 START 81 0 320.454 LEAVE 81 323.612 ENTER 61 1 323.612 START 82 0 326.612 LEAVE 82 329.222 ENTER 62 1 329.222 START 83 0 332.222 LEAVE 83 336.877 ENTER 63 1 336.877 START 84 0 339.877 LEAVE 84 341.001 ENTER 64 1 341.001 START 85 0 344.001 LEAVE 85 347.372 ENTER 65 1 347.372 START 86 0 350.372 LEAVE 86 353.933 ENTER 66 1 353.933 START 87 0 356.933 LEAVE 87 360.530 ENTER 67 1 360.530 START 88 0 363.530 LEAVE 88 363.530 REWRK 21 1 34 363.530 START 89 0 363.543 ENTER 68 366.530 LEAVE 89 1 366.530 START 90 0 368.182 ENTER 69 369.530 LEAVE 90 1 369.530 START 91 0 369.530 REWRK 372.530 LEAVE 91 1 372.530 START 92 0 374.819 ENTER 70 375.530 LEAVE 92 1 375.530 START 93 0 378.530 LEAVE 93 378.530 REWRK 378.530 START 94 0 380.852 ENTER 71 381.530 LEAVE 94 1 381.530 START 95 0 384.479 ENTER 72 384.530 LEAVE 95 1 384.530 START 96 0 384.530 REWRK 387.530 LEAVE 96 1 387.530 START 97 0 388.276 ENTER 73 390.530 LEAVE 97 1 390.530 START 98 0 22 23 24 1 1 35 393.530 LEAVE 98 394.897 ENTER 74 1 394.897 START 99 0 397.897 LEAVE 99 399.543 ENTER 75 1 399.543 START 100 0 402.543 LEAVE 100 c:Tµi liƯu tham khảo Simulation Hớng dẫn sử dụng phần mềm SIGMA Giáo trình mô hình hoá - PGS.TS Nguyễn C«ng HiỊn 36 ... phần mềm mà SIGMA tính linh hoạt mô hình mô đồng Ngoài điều kiện cho mô hình đồ hoạ, cho phân tích sống động SIGMA bao gồm công cụ kiểm tra liệu đồ hoạ cho phép hình ảnh, đồ thị liệu đợc dán vào... thống với môi trờng ngoài, có tác động hệ thống ngẫu nhiên phơng pháp giải tích tỏ bất lực Trong trờng hợp ngời ta phải dùng phơng pháp mô phỏng(Simulation) Tóm lại: - SIGMA môi trờng mô theo kiểu... MMH2.OUT - Chế độ mô chẳng hạn : Đồ hoạ ( GRAPH) - Seed ngẫu nhiên có giá trị :12345 - Mô cầ thời gian : Time 11 - Các biến cần mô : QUEUE , SERVER 5.Xác định điều kiện ngừng mô : Điều kiện đầu