Tham khảo tài liệu 'mô hình hóa hệ thống và mô phỏng part 6', kỹ thuật - công nghệ, kĩ thuật viễn thông phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | vào hê thực dược mô phỏng và môi trường mô hình hoá. Ví dụ thủ tục hợp thức mô hình của hê máy tính có thể rất khác với thủ tục hợp thức mô hình của hẹ thống sản xuất. Quá trình hợp thức khó hay dễ phụ thuộc rất nhiêu vào độ phức tạp của hệ thực. Các vấn đề cần được hợp thức là - Hợp thức về nguyên lý của mô hình. Cần phải xác định liệu mô hình nguyên lý có phản ánh đúng bản chất của hệ thống thực không - Hợp thức về thuật toán Thuật toán dùng trong mô hình có phản ánh lỏgic trong hệ thống thực không - Hợp thức về độ tin cây Liệu kết quả của mô hình có đáng tin cây đối với người sử dụng mỏ hình hay khõng Mô hình có khả nãng hợp thức cao là mô hình sử dụng được các thông tin sẩn có bao gổm - Đối thoại với chuyên gia của hệ thống. Mô hình mô phòng được xây dựng bởi các thông tin gắn liền với hệ thống thực. Vì vây khi xây dựng mô hình mô phỏng cần phải đối thoại với các chuyên gia hiểu biết rõ vé hê thống thực để thu nhận được các thông tin cần thiết cho việc xây dựng mó hình. - Quan sát hệ thống hiên có Nếu hệ thổng cần mô phỏng giống một hệ thớng thực hiện có thì những dữ liệu của hệ thống thực được dùng để xây dựng mô hình mô phỏng. - Dựa vào iý thuyết hiện có Có thể sử dụng những lý thuyết hiện có về các hệ thống mổ phỏng để làm căn cứ cho việc xây dựng mô hình mô phỏng. Ví dụ theo lý thuyết khoảng cách giữa các sự kiện gián doạn dộc lập và ngẫu nhiên tuân theo luật phân bố mũ. Vì vậy khi mô phỏng các dòng đầu vào có đặc tính như trên hì ta có thể dùng luật phản bó mũ để mô tả khoảng cách giữa các sự kiện - cách làm như vây là hợp thức vì mô hình phù hợp với hê thống thực. 107 Hiện nay có nhiều phương pháp hợp thức hoá mô hình như 1 3 Sau đây sẽ trình bày một sỏ phương pháp thông dụng. . Kiểm tra giả thiếí của mổ hình Mục đích của phương pháp này là kiểm tra các giả thiết khi xây dựng mô hình nguyên lý - Kiểm tra tính phù hợp giữa phân bố xác suất lý thuyết với dữ liệu đẩu vào - Phân tích dô nhạy của dữ liệu mô phỏng đấu ra khi Thay đổi giá trị cùa các thông
