Mụ hỡnh húa và tham số húa cỏc hoạt động quy mụ lớn

Một phần của tài liệu (LUẬN án TIẾN sĩ) nghiên cứu lựa chọn phương án thi công khoan nổ đường hầm bằng mô phỏng (Trang 105 - 108)

3.4. Chương trỡnh mụ phỏng EZStrobe

3.4.5. Mụ hỡnh húa và tham số húa cỏc hoạt động quy mụ lớn

EZStrobe cú một số tớnh năng nõng cao cho phộp tham số húa đầu vào, tựy chọn đầu ra, xỏc định ứng xử của mụ hỡnh dựa trờn trạng thỏi mụ hỡnh động, xõy dựng mụ hỡnh nhiều trang, xuất bản mụ hỡnh để chạy trờn web và hoạt hỡnh của mụ hỡnh đang chạy để xỏc minh mụ hỡnh (gỡ lỗi). Cỏc mụ tả ngắn gọn sau đõy giới thiệu về một số tớnh năng nõng cao của chương trỡnh và cỏc tớnh năng này được ỏp dụng trực tiếp trong cỏc mụ hỡnh khảo sỏt số tại chương 4 của luận ỏn.

3.4.5.1. Hàng đợi kết hợp và mụ hỡnh nhiều trang

Để đơn giản húa thể hiện một mụ hỡnh của quỏ trỡnh hoạt động tổng thể phức tạp (cú nhiều nỳt nờn khú quan sỏt, nhiều liờn kết bị giao cắt...), mụ hỡnh tổng thể sẽ được chia thành nhiều phần nhỏ được ngắt kết nối với cỏc phần khỏc. Cỏc phần nhỏ của mụ hỡnh tổng thể cú thể đặt cựng trờn một trang in, nhưng cũng cú thể được bố trớ trong một số trang riờng biệt trờn ứng dụng Visio. Cỏch làm như vậy gọi chung là mụ hỡnh nhiều trang. Tuy cỏc trang của mụ hỡnh được ngắt kết nối trực tiếp, nhưng chỳng hoạt động vẫn như một mụ hỡnh tổng thể thống nhất trờn một trang là nhờ việc sử dụng khả năng của một phần tử đặc biệt cú tờn là Hàng đợi kết hợp. Hàng đợi kết hợp là cỏc nỳt trụng giống như Hàng đợi thụng thường nhưng được vẽ bằng đường đứt nột. Hàng đợi kết hợp phải mang tờn của một Hàng đợi thụng thường tồn tại ở nơi khỏc trong mụ hỡnh. Một mụ hỡnh cú thể chứa một số Hàng đợi kết hợp cú cựng tờn của một Hàng đợi thụng thường. Tất cả cỏc Hàng đợi kết hợp như vậy được coi là một và giống như Hàng đợi thụng thường cú cựng tờn gọi. Tại chỗ ngắt kết nối và ở trang kế tiếp, một Cụng việc bỡnh thường được thay thế bằng một Hàng đợi theo sau bởi Cụng việc cú điều kiện.

3.4.5.2. Tham số húa cỏc mụ hỡnh

Hiệu suất của một hệ thống nhất định phụ thuộc vào giỏ trị của cỏc biến quyết định chớnh và dữ liệu một số biến khỏc. Cỏc đại lượng này thường được sử dụng trong cỏc phần khỏc nhau của mụ hỡnh. Do đú, để thuận tiện cho thử nghiệm và trỏnh những sai sút do thay đổi khụng thống nhất, định nghĩa của cỏc biến đầu vào nờn được đặt tại

một nơi cố định. Cụng cụ “Parameters” (Tham số) của EZStrobe cho phộp người thiết kế mụ hỡnh gỏn tờn đại diện và mụ tả cho cỏc đại lượng này. Tờn của tham số sau đú cú thể được sử dụng trong toàn bộ mụ hỡnh. Bằng cỏch sử dụng cỏc tham số, cú thể tạo ra cỏc mụ hỡnh chung phự hợp với cỏc quỏ trỡnh hoạt động tương tự. Cỏc mụ hỡnh như vậy cú thể được sử dụng lại bằng cỏch chỉ định cỏc giỏ trị tham số thớch hợp.

3.4.5.3. Tựy chọn đầu ra

Cỏc quyết định đặc thự về một hệ thống dựa trờn đo lường hiệu suất phải được tớnh toỏn từ đầu ra thống kờ. Cụng cụ “Results” (Kết quả) trong EZStrobe cho phộp định nghĩa cỏc đo lường hiệu suất với cỏc cụng thức tớnh toỏn từ cỏc tham số, số liệu thống kờ từ thực hiện mụ hỡnh và cỏc Kết quả khỏc.

Khi mụ hỡnh chứa “Parameters” và/hoặc “Results”, đầu ra sẽ cú thụng bỏo về cỏc đại lượng này. Khi chạy lặp nhiều lần, EZStrobe tự động thu thập thống kờ về từng kết quả và trỡnh bày chỳng trong một bảng bỏo cỏo.

3.4.5.4. Trạng thỏi mụ hỡnh động

Một dữ liệu số xuất hiện trờn ACD EZStrobe cú thể được tớnh toỏn bằng một cụng thức động, chẳng hạn dữ liệu được sử dụng để xỏc định thời lượng cụng việc hoặc lượng tài nguyờn được lấy ra bởi một liờn kết. Cỏc cụng thức này cú thể chứa cỏc lệnh gọi hàm (vớ dụ: Sin, Log), toỏn tử số học, cỏc biến đại diện cho trạng thỏi mụ hỡnh động (vớ dụ: nội dung hiện tại của Hàng đợi hoặc số lần hoạt động đó diễn ra), tham số mụ hỡnh và cỏc kết quả của mụ hỡnh.

Khả năng này cho phộp mụ hỡnh húa cỏc tỡnh huống khỏ phức tạp như logic động và phõn phối thời lượng cụng việc khụng ổn định. Vớ dụ, thời lượng hoạt động

DaoDat trong hỡnh 3.6 cú thể viết thành: Uniform[0.08,0.12]*DaoDat.TotInst^-0.12 để

thể hiện hiệu ứng học tập ngẫu nhiờn trong đú thời gian đào đất cú xu hướng giảm dần khi đó cú kinh nghiệm. “Kinh nghiệm” trong vớ dụ này được thể hiện qua

DaoDat.TotInst, nú tự động trả về số lần cụng việc DaoDat đó bắt đầu. 3.4.5.5. Mụ hỡnh hoạt hỡnh để xỏc minh

Mụ hỡnh đầu tiờn của một hệ thống phức tạp hiếm khi là một thể hiện chớnh xỏc cho sự hiểu biết của người lập mụ hỡnh về hệ thống thực. Bằng cỏch chạy mụ

hỡnh và phõn tớch kết quả của nú, thường cú thể phỏt hiện một số lỗi, nhưng cỏc lỗi khỏc cú thể khụng dễ thấy và cú thể khụng bị phỏt hiện. Cú thể sử dụng cỏc tệp dấu vết của quỏ trỡnh chạy mụ phỏng để phỏt hiện lỗi, nhưng đú là một quỏ trỡnh cực kỳ cồng kềnh, thậm chớ khụng thể quản lý được đối với hầu hết cỏc mụ hỡnh phức tạp.

EZStrobe cung cấp mụ hỡnh đồ họa và tương tỏc để xỏc minh (gỡ lỗi) bằng phương thức mụ hỡnh hoạt hỡnh. Cỏc khả năng hoạt hỡnh của EZStrobe được thiết kế dành riờng cho nhà phỏt triển mụ hỡnh để hiểu và cú được sự tự tin về tớnh chớnh xỏc của mụ hỡnh. Trỡnh hoạt hỡnh minh họa bằng biểu đồ trạng thỏi động của mụ phỏng (vớ dụ: nội dung hiện tại của hàng đợi và số lượng phiờn bản hoạt động đang diễn ra) và cỏc sự kiện diễn ra trong quỏ trỡnh mụ phỏng (vớ dụ: khi một phiờn bản của cụng việc bắt đầu hoặc kết thỳc, khi hàng đợi nhận được tài nguyờn hoặc khi tài nguyờn chuyển qua cỏc liờn kết).

Hỡnh 3.8. Ảnh chụp nhanh hoạt hỡnh EZStrobe

Hỡnh 3.8 cho thấy một ảnh chụp nhanh của bộ điều khiển hoạt hỡnh EZStrobe và một phần của mụ hỡnh đang hoạt hỡnh. Trỡnh hoạt hỡnh được đặt dừng sau mỗi sự kiện và hiện đang ở thời điểm mụ phỏng 9,6. Đường viền màu đỏ dày trờn DoLenXe thụng bỏo rằng nú đang chấm dứt một phiờn bản. Cụ thể, số 20 ở phớa trờn bờn phải chỉ ra phiờn bản cụ thể đang kết thỳc (đếm bắt đầu từ 0). Số 1/21 ở giữa phớa trờn chỉ ra rằng một phiờn bản hiện đang diễn ra (sắp kết thỳc) và đó cú 21 phiờn bản kể từ khi bắt đầu chạy mụ hỡnh. Đường viền dày màu xanh trờn QGauRong cho thấy nú đang bắt đầu một phiờn bản (điều này xảy ra trong khi DoLenXe đang hoàn thiện). Số

giữa phớa trờn chỉ ra rằng khụng cú phiờn bản nào đang diễn ra (phiờn bản hiện đang bắt đầu khụng được tớnh cho đến khi thời lượng của nú được lấy mẫu) và tổng cộng 20 phiờn bản đó bắt đầu. Đường kẻ dày được sử dụng cho liờn kết kết nối DoLenXe với DTrXe chỉ ra rằng 2,5 đơn vị tài nguyờn đang được gửi đến Hàng đợi. Số 5 trờn đầu DTrXe cho biết lượng tài nguyờn hiện tại của nú. Nếu nhấn nỳt Continue trờn bộ điều khiển, dũng liờn kết sẽ trở về độ dày bỡnh thường, đường viền của DTrXe sẽ chuyển sang dày và số phớa trờn sẽ được cập nhật lờn 7,5.

Trong khi hoạt hỡnh của mụ hỡnh bị tạm dừng, cú thể cập nhật và sau đú kiểm tra toàn bộ trạng thỏi của mụ phỏng (bằng cỏch nhấn nỳt “Update Node Statistics”).

Cỏc khả năng hoạt hỡnh của mụ hỡnh chứng tỏ là rất hữu ớch cho những ai đang tỡm hiểu hệ thống để nắm bắt chớnh xỏc cỏch thức phương phỏp mụ hỡnh EZStrobe hoạt động và học bằng cỏch “thử nghiệm và nhỡn thấy”.

Một phần của tài liệu (LUẬN án TIẾN sĩ) nghiên cứu lựa chọn phương án thi công khoan nổ đường hầm bằng mô phỏng (Trang 105 - 108)