Частые причины для мертвой логики
Это несколько общих шаблонов моделирования, которые часто приводят к мертвой логике в модели:
Когда вы выполняете анализ поиска ошибок проектирования, Simulink® Design Verifier™ сообщает о частых причинах мертвой логики в окне Results Inspector.
Замыкание накоротко блока логического оператора во время анализа
Simulink Design Verifier обрабатывает логические блоки, как будто они закорачивают при анализе для мертвой логики.
Например, в этой модели, если In2 является ложным, программное обеспечение игнорирует третий вход из-за замыкания накоротко. Это предлагается в качестве потенциального объяснения мертвой логики в окне Results Inspector. Смотрите, что Логические операции Закорачивают.
Условное выполнение блока
Если ваша модель состоит из Switch или блоков Multiport Switch, и параметр Conditional input branch execution устанавливается на On, условное выполнение может часто вызывать неожиданную мертвую логику.
Рассмотрите эту модель в качестве примера, где параметр Conditional input branch execution устанавливается на On. Блок AND Logical Operator условно выполняется, который вызывает мертвую логику для блока. Для получения дополнительной информации смотрите, что вход Conditional переходит выполнение (Simulink).
Значения параметров, обработанные как константы
Если ваша модель содержит параметры, Simulink Design Verifier обрабатывает значения как константы по умолчанию. Эта мертвая логика причины силы в модели. В этих случаях можно хотеть полагать, что конфигурирование этих параметров tuned во время анализа. Для получения дальнейшей информации смотрите Встроенные Параметры.
Например, рассмотрите эту модель, где все параметры обнуляются. Это вызывает мертвую логику для блока Less Than.
Восходящие блоки
Когда конкретный блок имеет мертвую логику, это часто приводит к каскадному эффекту, который заставляет нисходящие блоки иметь мертвую логику.
Рассмотрите вышеупомянутую модель в качестве примера. Мертвая логика в блоке Less Than вызывает мертвую логику в соответствующих нисходящих блоках. Поэтому часто полезно рассмотреть восходящую мертвую логику прежде, чем рассмотреть любую нисходящую мертвую логику.
Соединенные библиотекой блоки
Библиотечные блоки могут быть записаны с защитными условиями, которые избыточны в некоторых местоположениях, где они используются. В некоторых случаях это может вызвать мертвую логику. Смотрите Исключают и Выравнивают по ширине Цели для Поиска ошибок проектирования.