Проверяйте, что разрыв возможно различной ширины происходит в области значений амплитуд сигнала
Simulink / Model Verification
HDL Coder / Model Verification
Проверки блока Check Dynamic Gap, что сигнал выходит за пределы области значений значений на каждом временном шаге и выполняет утверждение после сравнения. Ширина разрыва может варьироваться от временного шага до временного шага. Порт u является протестированным входным сигналом. Входные параметры min и max задают нижние и верхние границы разрыва, соответственно. Если падения u за пределами разрыва, заданного min и max, утверждением является true (1)
и блок ничего не делает. В противном случае блок останавливает симуляцию и возвращает сообщение об ошибке по умолчанию.
Входные сигналы могут быть скалярами, векторами или матрицами. Все три входных сигнала должны быть совпадающим типом данных. Блок сравнивает значение u к границам по-другому в зависимости от сигнала.
При сравнении скаляров с векторами или матрицами, блок сравнивает скалярный сигнал с каждым элементом нескалярного сигнала.
При сравнении векторов или матричных сигналов к другим векторам или матрицам, блок сравнивает вход с границами поэлементно.
Для моделей больше чем с одним векторным или матричным входным сигналом векторы или матрицы должны иметь те же размерности.
Типы данных |
|
Прямое сквозное соединение |
|
Многомерные сигналы |
|
Сигналы переменного размера |
|
Обнаружение пересечения нулем |
|
Check Dynamic Lower Bound | Check Dynamic Range | Check Dynamic Upper Bound