Моделируйте объекты, которые получают мертвое логическое обнаружение

Объекты модели, которые имеют результаты решения или условия, получают обнаружение мертвой логики, как показано в следующей таблице. Щелкните ссылку в первом столбце, чтобы получить более подробную информацию о результатах для конкретных объектов модели.

Abs

Блок 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 существует два результата решения:

  • Блочный вход больше верхнего предела, что указывает на истинное решение.

  • Блочный вход меньше или равен верхнему пределу, что указывает на ложное решение.

Интегратор в дискретном времени

Блок Интегратора Дискретного Времени имеет результаты решения, основанные на этих параметрах:

  • 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 имеет два результата условий только, если вход enable является вектором:

  • Элемент входа true, указывающий на истинное условие.

  • Элемент входа enable имеет значение false, что указывает на ложное условие.

Enabled и Triggered подсистема

Блок Enabled и Triggered подсистема имеет два результата решения:

  • Триггерное ребро происходит, когда блок включен, что указывает на истинное решение.

  • Триггер ребра не происходит, когда блок включен, или блок отключен, что указывает на ложное решение.

Программа определяет результаты условия для входа включения и входа триггера отдельно.

  • Для входа enable:

    • Вход равен true, что указывает на истинное условие.

    • Вход ложен, что указывает на ложное условие.

  • Для входа триггера:

    • Возникает ребро триггера, указывающий на истинное условие.

    • Триггерное ребро не возникает, что указывает на ложное условие.

Fcn

Блок Fcn имеет два результата условия, основанных на входных значениях или арифметических выражениях, которые являются входами для логических операторов в блоке:

  • Вход в логический оператор равен true, что указывает на истинное условие.

  • Вход в логический оператор равен false, что указывает на ложное условие.

Для итератора, для подсистемы итератора

Блок For Iterator и Подсистема For Iterator имеют два результата решения:

  • Значение итерации на пределе итерации или ниже, обозначенное как true.

  • Значение итерации выше предела итерации, обозначенное как false.

Если, Если Действие Подсистема

Блоки If, которые вызывают выполнение Подсистемы Действий If, имеют:

  • Результаты принятия решений по if условие и все elseif условия, заданные в блоке If.

  • Результаты условия, если if условие или любое из elseif условия содержат логическое выражение с несколькими состояниями.

Объекты, связанные с библиотекой

Simulink® блоки и Stateflow® графики, связанные с объектами библиотеки, получают то же мертвое логическое обнаружение, что и в случае, если они не связаны с объектами библиотеки.

Логический оператор

Блок Логического Оператора имеет два результата условия:

  • Вход равен true, что указывает на истинное условие.

  • Вход ложен, что указывает на ложное условие.

Функция MATLAB

Следующие операторы блока MATLAB Function имеют результаты решения:

  • Заголовок функции - Функция или субфункция, которая выполняется.

  • if - Выражение оценивает как true, указывая на истинное решение. Выражение оценивается как ложное, что указывает на ложное решение.

  • switch - Результаты решения, соответствующие каждому пути случая переключения, включая случай падения.

  • for - Условие цикла оценивает как true, указывая на истинное решение. Условие цикла оценивается как ложное, что указывает на ложное решение.

  • while - Условие цикла оценивает как true, указывая на истинное решение. Условие цикла оценивается как ложное, что указывает на ложное решение.

Следующие логические условия имеют результаты состояния:

  • if условия оператора

  • while условия оператора

MinMax

Блок MinMax имеет результаты принятия решений, основанные на передаче каждого входа в выход блока.

Для передачи каждого входа в выход блока существует два результата решения:

  • Вход перешел к блоку output, что указывает на истинное решение.

  • Вход не передан в блок выхода, что указывает на ложное решение.

Модель

Сам блок Model не имеет результатов решения или условия. Модель, на которую ссылаются блоки, получает результаты решения или условия.

Мультипортовый переключатель

Блок Multiport Switch имеет результаты принятия решений, основанные на передаче каждого входа, исключая первый вход управления, на выход блока.

Для передачи каждого входного сигнала, исключая первый управляющий вход, на выход блока существует два результата решения:

  • Вход перешел к блоку output, что указывает на истинное решение.

  • Вход не передан в блок выхода, что указывает на ложное решение.

Ограничитель Скорости

Блок Rate Limiter имеет результаты решения, основанные на параметрах Rising slew rate и Falling 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 результатов принятия решений для временного шага, когда порог включения равен true.

Насыщение

Блок Насыщения имеет результаты принятия решений на основе параметров Lower limit и Upper limit.

Для Upper limit существует два результата решения:

  • Блочный вход больше или равен верхнему пределу, что указывает на истинное решение.

  • Блок меньше верхнего предела, что указывает на ложное решение.

Для Lower limit существует два результата решения:

  • Блочный вход больше нижнего предела, что указывает на истинное решение.

  • Блочный вход меньше или равен нижнему пределу, что указывает на ложное решение.

Программа не имеет Lower limit результатов решения для временного шага, когда верхний предел равен true.

Диаграммы Stateflow

Блок Chart Stateflow имеет результаты решения:

  • Решение о переходе оценивается как true, что указывает на истинное решение.

  • Решение о переходе оценивается как ложное, что указывает на ложное решение.

Блок Chart Stateflow имеет результаты условия:

  • Условие оценивается как true, что указывает на истинное условие.

  • Условие оценивается как ложное, что указывает на ложное состояние.

Выключатель

Блок Switch имеет результаты принятия решений, основанные на управляющем входе в блок.

Для управляющего входа в блок существует два результата решения:

  • Вход управления оценивается до true, что указывает на истинное решение.

  • Вход управления оценивается как ложный, что указывает на ложное решение.

SwitchCase, Подсистема действия SwitchCase

Блок SwitchCase и Подсистема действия SwitchCase имеют два результата решения:

  • Блок вычисляет значение true, указывая на истинное решение.

  • Блок не вычисляет true, указывая на ложное решение.

Срабатывающие модели

Блок Триггерированные Модели имеет два результата решения:

  • Срабатывает модель, указывающий на истинное решение.

  • Ссылка на модель не запускается, что указывает на ложное решение.

Если триггерный вход является вектором, то существует два результата условия:

  • Элемент порта триггера true, указывающий на истинное условие.

  • Элемент порта триггера false, указывающий на ложное условие.

Триггируемая подсистема

Блок Триггируемая подсистема имеет два результата решения:

  • Запускается блок, указывающий на истинное решение.

  • Блок не запускается, что указывает на ложное решение.

Если триггерный вход является вектором, то существует два результата условия:

  • Элемент триггерного ребра равен true, что указывает на истинное условие.

  • Элемент триггера с краями ложен, что указывает на ложное условие.

Пока итератор, пока итератор Подсистема

Блок Итератор и Подсистема Итератор имеют два результата решения:

  • while условие удовлетворено, указывая на истинное решение.

  • while условие не удовлетворено, указывая на ложное решение.