Объекты модели, которые имеют решение или результаты условия, получают обнаружение мертвой логики, когда следующая таблица показывает. Щелкните по ссылке в первом столбце, чтобы получить более подробную информацию о результатах для определенных объектов модели.
Блок Abs имеет результаты решения на основе:
Введите к блоку, являющемуся меньше, чем нуль.
Тип данных входного сигнала.
Для входа к блоку, являющемуся меньше, чем нуль, существует два результата решения:
Вход блока является меньше, чем нуль, указывая на истинное решение.
Вход блока не является меньше, чем нуль, указывая на ложное решение.
Если типом входных данных к блоку Abs является uint8
, uint16
или uint32
, программное обеспечение устанавливает блок вывод, равный входу блока без принятия решения. Если тип входных данных к блоку Abs является булевской переменной, ошибка происходит.
Блок Dead Zone имеет результаты решения на основе этих параметров:
Start of dead zone
End of dead zone
Параметр Start of dead zone задает нижний предел мертвой зоны. Для параметра Start of dead zone существует два результата решения:
Вход блока больше, чем или равен нижнему пределу, указывая на истинное решение.
Вход блока является меньше, чем нижний предел, указывая на ложное решение.
Параметр End of dead zone задает верхний предел мертвой зоны. Для параметра End of dead zone существует два результата решения:
Вход блока больше, чем верхний предел, указывая на истинное решение.
Вход блока меньше чем или равен верхнему пределу, указывая на ложное решение.
Блок Discrete-Time Integrator имеет результаты решения на основе этих параметров:
External reset
Limit output
Если вы устанавливаете External reset на none
, программное обеспечение не сообщает о результатах решения. В противном случае существует два результата решения:
Блок вывод сбрасывается, указывая на истинное решение.
Блок вывод не сбрасывается, указывая на ложное решение.
Если вы не выбираете Limit output, программное обеспечение не сообщает о результатах решения. В противном случае программное обеспечение сообщает о результатах решения для Lower saturation limit и Upper saturation limit.
Для Upper saturation limit существует два результата решения:
Результат интегрирования больше, чем или равен верхнему пределу, показывая на истинное решение.
Результатом интегрирования являются меньше, чем верхний предел, показывая на ложное решение.
Для Lower saturation limit существует два результата решения:
Результат интегрирования меньше чем или равен нижнему пределу, показывая на истинное решение.
Результат интегрирования больше, чем нижний предел, показывая на ложное решение.
Enabled блок Subsystem имеет два результата решения:
Блок включен, указав на истинное решение.
Блок отключен, указав на ложное решение.
Enabled блок Subsystem имеет два результата условия, только если разрешать вход является вектором:
Элемент разрешать входа верен, указывая на истинное условие.
Элемент разрешать входа является ложным, указывая на ложное условие.
Блок Enabled and Triggered Subsystem имеет два результата решения:
Триггерное ребро происходит, в то время как блок включен, указав на истинное решение.
Триггерное ребро не происходит, в то время как блок включен, или блок отключен, указав на ложное решение.
Программное обеспечение определяет результаты условия для разрешать входа и триггерного входа отдельно.
Для разрешать входа:
Вход верен, указывая на истинное условие.
Вход является ложным, указывая на ложное условие.
Для триггерного входа:
Триггерное ребро происходит, указывая на истинное условие.
Триггерное ребро не происходит, указывая на ложное условие.
Блок Fcn имеет два результата условия на основе входных значений или арифметических выражений, которые являются входными параметрами к булевым операторам в блоке:
Вход к булеву оператору верен, указывая на истинное условие.
Вход к булеву оператору является ложным, указывая на ложное условие.
Блок For Iterator и Для Подсистемы Итератора имеет два результата решения:
Значение итерации, являющееся в или ниже предела итерации, обозначенного как верный.
Значение итерации, являющееся выше предела итерации, обозначенного как ложь.
Если блоки, который вызывает, Если Подсистема Действия, чтобы выполниться имеет:
Результаты решения для условия if
и всех условий elseif
задали в Если блок.
Результаты условия, если условие if
или какое-либо из условий elseif
содержат логическое выражение с несколькими условиями.
Блоки Simulink® и графики Stateflow®, которые соединяются с объектами библиотеки, получают то же обнаружение мертвой логики, которое они получили бы, если бы они не были соединены с объектами библиотеки.
Блок Logical Operator имеет два результата условия:
Вход верен, указывая на истинное условие.
Вход является ложным, указывая на ложное условие.
Следующие операторы блока MATLAB function имеют результаты решения:
Функциональный заголовок - Функция или подфункция, которая выполняется.
if
- Выражение оценивает к истинному, указывая на истинное решение. Выражение оценивает ко лжи, указывая на ложное решение.
switch
- Результаты решения, соответствующие каждому пути к случаю переключателя, включая провалиться случай.
для-
Условие цикла оценивает к истинному, указывая на истинное решение. Условие цикла оценивает ко лжи, указывая на ложное решение.
в то время как-
Условие цикла оценивает к истинному, указывая на истинное решение. Условие цикла оценивает ко лжи, указывая на ложное решение.
Следующие логические условия имеют результаты условия:
Условия оператора if
Условия оператора while
Блок MinMax имеет результаты решения на основе передачи каждого входа к выводу блока.
Для передачи каждого входа к выводу блока существует два результата решения:
Введите передал блоку вывод, указав на истинное решение.
Введите не переданный блоку вывод, указав на ложное решение.
Сам блок Model не имеет результаты условия или решение. Модель, что ссылки блока получают результаты условия или решение.
Многопортовый блок switch имеет результаты решения на основе передачи каждого входа, исключая первый вход управления, к выводу блока.
Для передачи каждого входа, исключая первый вход управления, к выводу блока, существует два результата решения:
Введите передал блоку вывод, указав на истинное решение.
Введите не переданный блоку вывод, указав на ложное решение.
Блок Rate Limiter имеет результаты решения на основе параметров Falling slew rate и Rising slew rate.
Для Rising slew rate существует два результата решения:
Блокируйте входные изменения, больше чем или равные растущему уровню, указав на истинное решение.
Блокируйтесь вход изменяет меньше, чем растущий уровень, указывая на ложное решение.
Для Falling slew rate существует два результата решения:
Блокируйте входные изменения, меньше чем или равные падающему уровню, указав на истинное решение.
Блокируйтесь вход изменяет больше, чем падающий уровень, указывая на ложное решение.
Программное обеспечение не имеет результатов Falling slew rate, какое-то время продвигаются, когда Rising slew rate верен.
Блок Relay имеет результаты решения на основе Switch on point и параметров Switch off point.
Для Switch on point существует два результата решения:
Вход блока больше, чем или равен Switch on point, указывая на истинное решение.
Вход блока является меньше, чем Switch on point, указывая на ложное решение.
Для Switch off point существует два результата решения:
Вход блока меньше чем или равен Switch off point, указывая на истинное решение.
Вход блока больше, чем Switch off point, указывая на ложное решение.
Программное обеспечение не имеет результатов решения Switch off point, какое-то время продвигаются, когда переключатель на пороге верен.
Блок Saturation имеет результаты решения на основе параметров Upper limit и Lower limit.
Для Upper limit существует два результата решения:
Вход блока больше, чем или равен верхнему пределу, указывая на истинное решение.
Вход блока является меньше, чем верхний предел, указывая на ложное решение.
Для Lower limit существует два результата решения:
Вход блока больше, чем нижний предел, указывая на истинное решение.
Вход блока меньше чем или равен нижнему пределу, указывая на ложное решение.
Программное обеспечение не имеет результатов решения Lower limit, какое-то время продвигаются, когда верхний предел верен.
Блок Stateflow Chart имеет результаты решения:
Решение перехода оценено как верное, указав на истинное решение.
Решение перехода оценено как ложь, указав на ложное решение.
Блок Stateflow Chart имеет результаты условия:
Условие оценено как верное, указав на истинное условие.
Условие оценено как ложь, указав на ложное условие.
Блок switch имеет результаты решения на основе входа управления к блоку.
Для входа управления к блоку существует два результата решения:
Вход управления оценивает к истинному, указывая на истинное решение.
Вход управления оценивает ко лжи, указывая на ложное решение.
Блок SwitchCase и Подсистема Действия SwitchCase имеют два результата решения:
Блок оценивает к истинному, указывая на истинное решение.
Блок не оценивает к истинному, указывая на ложное решение.
Блок Triggered Models имеет два результата решения:
Модель, на которую ссылаются, инициирована, указав на истинное решение.
Модель, на которую ссылаются, не инициирована, указав на ложное решение.
Если триггерный вход является вектором, то существует два результата условия:
Элемент триггерного порта верен, указывая на истинное условие.
Элемент триггерного порта является ложным, указывая на ложное условие.
Инициированный блок Subsystem имеет два результата решения:
Блок инициирован, указав на истинное решение.
Блок не инициирован, указав на ложное решение.
Если триггерный вход является вектором, то существует два результата условия:
Элемент триггерного ребра верен, указывая на истинное условие.
Элемент ограниченного триггера является ложным, указывая на ложное условие.
Блок While Iterator и В то время как Подсистема Итератора имеют два результата решения:
Условие while
удовлетворено, указав на истинное решение.
Условие while
не удовлетворено, указав на ложное решение.