Để minh họa các khái niệm cơ bản và biểu tượng của SLAM II, khi xây dựng mô hình quá trình kiểm tra trong sản xuất radio bán dẫn. Trong hệ thống, sản xuất radio được phân bố tới một máy kiểm tra tại khu vực kiểm tra trung tâm. Máy kiểm tra từng radio. Sau quá trình kiểm tra, radio tới khu vực kiểm tra. Mặc dù mô hình toàn bộ quá trình sản xuất nhưng chỉ quan tâm tới các hoạt động liên quan tới việc kiểm tra radio. Vì vậy, có 3 khu vực sau đây của hệ thống:
1. Radio đến khu vực kiểm tra.
2. Xây dụng việc radio đợi để kiểm tra.
3. Các hoạt động kiểm tra radio qua máy kiểm tra đơn.
Đây là hệ thống hàng đợi nguồn đơn. Các radio là đối tượng của hệ thống. Máy kiểm tra là nguồn và sẽ được mô hình như hệ thống phục vụ. Các hoạt động của hệ thống phục vụ là kiểm tra thực và xây dựng việc radio đợi hệ thống phục vụ là hàng đợi. Biểu đồ trực quan của hệ thống kiểm tra này như sau :
Hình 3.5: Sơ đồ hệ thống kiểm tra radio
A.Mô hình hàng đợi và hệ thống phục vụ:
Bây giờ để xây dựng mạng cho hệ thống phục vụ. Thời gian trôi qua được biểu diễn bằng 1 nhánh. Các nhánh là đại diện đồ họa của các hoạt động. Ro ràng là hoạt động phục vụ (kiểm tra radio) là một hành động và vi thế được mô hình bằng 1 nhánh. Nếu hoạt đọng phục vụ tiếp tục thì hệ thống phục vụ bận, đối tượng (radio) đến phải đợi.Viện đợi xảy ra tại nút Queue. Do vậy, hệ thống phục
55
vụ đơn, hàng đợi đơn được mô tả trong SLAM II bằng nút Queue và nhánh như sau:
Trong ví dụ radio đợi hệ thống phục vụ tại hàng đợi. Khi máy kiểm tra được giải phóng, nó lấy radio từ hàng đợi và thực hiện hoạt động phục vụ. Thủ tục cho việc chỉ định thời gian thực hiện hoạt động phục vụ. Các phân phối thời gian phục vụ đa dạng được tích hợp trong SLAM II.
Do có thể có rất nhiều hàng đợi và hoạt động phục vụ trong mạng, mỗi cái có thể được xác định số lượng. Các đối tượng đang đợi tại hàng đợi được lưu trong các file IFL, gán vào hàng đợi. Hoạt động phục vụ được gán giá trị để chỉ số lượng N của các hệ thống phục vụ song song bằng nhánh đó là số của các quá trình đồng quy có thể có của các đối tượng. Các hoạt động cũng có thể được cho trước một số hoạt động A dùng cho mục đích xác định và thống kê. Các chú thích như hình sau:
Số file được đặt bên tay phải của nút. Thủ tục cho sắp xếp các đối tượng trong file được chỉ định từng phần riêng bằng trạng thái PRIORITY và không được chỉ trên mô hình đồ họa. Cũng được chỉ định cho nút Queue là số khởi tạo của các đối tượng tại nút Queue IQ và khả năng chứa của hàng đợi QC. Các đại lượng này là số lượng lớn nhất của các đại lượng có thể chờ phục vụ trong tại nút Queue. Các đối tượng đến khi hàng đợi đầy sẽ bị ngăn lại hoặc bị block. Một nút Queue có điểm “hỏng” ở góc dưới bên tay phải để tạo ra kí tự giống với chữ Q. Đối với hoạt động phục vụ, số lượng hệ thống phục vụ song song được đặt trong
56
vòng tròn bên dưới của nhánh và số hoạt động được đặt trong hình vuông dưới nhánh.
B. Mô hình các đối tƣợng đến:
Quay trở lại với các đối tượng (các radio) phải mô hình các đối tượng đến hệ thống. Trong SLAM II, các đối tượng được chèn vào mạng bằng nút CREATE. Kí hiệu của nút CREATE ở dưới :
TF : thời gian mà đối tượng đầu tiên được tạo và gửi vào hệ thống TBC : thời gian tạo 2 đối tượng khác nhau
MA : số lượng các đặc tính được tạo để lưu trữ
MC : số lượng lớn nhất của các đối tượng được tạo tại nút này
M : số lượng lớn nhất của các nhánh dọc theo các đối tượng được tạo từ nút này
Có một vài điểm quan trọng cần chú ý tới nút CREATE. Tại một điểm thời gian quy định TF, đối tượng đầu tiên sẽ được tạo. Nếu muốn, tại điểm thời gian đối tượng tạo ra được gán đặc tính MA. Thời gian này được phản ánh như một “điểm” thời gian. Đối tượng được tạo sẽ được dẫn qua các nhánh phát ra từ nút với số lượng M. Nếu M =1 và có 2 nhánh phát ra từ nút, đối tượng sẽ chỉ được dẫn qua 1 trong 2 nhánh. Nếu tất cả các nhánh đều được sử dụng thì không cần chỉ định.
Đối tượng thứ 2 được tạo ra tại nút vào thời gian TF+TBC. TBC là khoảng thời gian giữa 2 đối tượng được tạo ra. Đối với ví dụ về radio, TBC là là khoảng thời gian giữa 2 đối tượng đến có thể là hằng số, 1 biến SLAM II hoặc biến ngẫu nhiên. Đây là mô tả trong phần xác định đặc tính hoặc việc gán thời gian. Biến MC quy định số lượng lớn nhất của các đối tượng có thể được tạo
57
trong nút CREATE. Nếu không chỉ định giới hạn, các đối tượng sẽ tiếp tục được tạo cho đến khi nào kết thúc chạy mô phỏng.
C. Mô hình các đối tƣợng rời đi :
Khi đã mô hình các đối tượng dưới hình thức đến và chờ và hoạt động phục vụ. Cuối cùng là mô hình các đối tượng rời đi. Đối với hệ thống đơn, đặt các đối tượng rời khỏi hệ thống hoàn thành dịch vụ. Mô hình đối tượng rời đi được hoàn thành bằng nút TREMINATE như ở dưới :
Đường zic zắc được sử dụng trên đầu ra của nút để chỉ các đối tượng bị kết thúc hoặc phá hủy tại nút. Nút TREMINATE là 1 chiều để chỉ ra thủ tục dừng được sử dụng khi phân tích mạng SLAM II. Từng phân tích mạng được phản ánh như một thử nghiệm. Nút TREMINATE có thể được sử dụng để chỉ đối tượng đến TC tại nút TREMINATE được yêu cầu để hoàn thành thử nghiệm. Như vậy, điều kiện dừng cũng có thể được dựa trên khoảng thời gian. Đối với ví dụ, thử nghiệm có thể hoạt động tới 1000 giờ.
D. Các khái niệm mô hình kết hợp :
Có thể sẵn sàng kết hợp hoạt động đến, phục vụ và rời đi để có mô hình mạng hoàn chỉnh cho quá trình 1 hàng đơn, 1 hệ thống phục vụ. Mô hình SLAM II được chỉ ra ở dưới với quy định giá tri dữ liệu cho các biến trong các ký hiệu mạng. Mạng này chỉ ra dòng di chuyển của đối tượng và tất cả các bước xử lý đối tượng. Đối tượng đầu tiên đến nút CREATE vào thời gian 7. Đối tượng tiếp theo được thiết lập đến sau 10 đơn vị thời gian tức là 17. Đối tượng đầu tiên được dẫn tới hoạt động phục vụ qua nhánh nút Queue. Nhánh biểu diễn di chuyển tới hệ thống phục vụ và được quy định là 3 đơn vị trong cả quá trình. Khi đối tượng đến nút Queue, nó sẽ được phục vụ ngay nếu hệ thống phục vụ 3 nghỉ. Nếu điều này
58 (adsbygoogle = window.adsbygoogle || []).push({});
xảy ra, các đối tượng di chuyển từ nút Queue tới nút TERMINATE vào 9 đơn vị thời gian. Trong thời gian này, hệ thống phục vụ 3 bận.
Các đối tượng khác cũng sẽ thực hiện dưới hình hình thức trên. Tuy nhiên, nếu hệ thống phục vụ 3 bận khi 1 đối tượng đến nút Queue, đối tượng này được đặt trong file 10 mô hình hàng đợi của các đối tượng đang chờ hệ thống phục vụ 3. Khi 1 đối tượng vào hàng đợi, 1 quy luật được sử dụng để xác định thứ tự của các đối tượng. (quy luật sắp xếp cho hàng đợi là đặc điểm của file và không được xác định trên trên mô hình đồ họa). Nếu không có quy luật sắp xếp được chỉ định, thủ tục vào trước-ra trước được sử dụng, đó là các đối tượng được lấy từ hàng đợi theo thứ tự khi đến của các đối tượng. Sau khi các đối tượng được phục vụ ở hệ thống phục vụ 3, chúng đến nút TERMINATE nơi các đối tượng được di chuyển khỏi hệ thống khi đường dẫn của nó thông qua quá trình được hoàn thành.