Trong phần hệ thống phát điện của một mô hình Simulink, mỗi tín hiệu phải được nếm thử. Mẫu thời gian có thể được thừa hưởng bằng Simulink của tuyên truyền quy tắc, hoặc thiết lập một cách rõ ràng trong một hộp thoại tuỳ biến khối. Khi có thông tin phản hồi vòng, Hệ thống máy phát điện là đôi khi không thể suy luận mẫu thời gian và/hoặc tín hiệu các loại, trong trường hợp các vấn đề công cụ thông báo lỗi. Khẳng định khối phải được chèn vào các vòng lặp để giải quyết vấn đề này. Nó không phải là cần thiết để thêm assert khối tại mỗi điểm trong một vòng lặp; thông thường nó suffices để thêm một khối assert tại một thời điểm để "phá vỡ" các vòng lặp.
đang được dịch, vui lòng đợi..
