Как показано в следующей таблице, объекты модели, имеющие результаты принятия решения или условия, получают обнаружение неработоспособной логики. Щелкните ссылку в первом столбце, чтобы получить более подробную информацию о результатах для определенных объектов модели.
Блок Abs имеет результаты решения, основанные на:
Вход в блок меньше нуля.
Тип данных входного сигнала.
Для ввода в блок меньше нуля существует два результата решения:
Вход блока меньше нуля, что указывает на истинное решение.
Ввод блока не меньше нуля, что указывает на ложное решение.
Если входным типом данных для блока Abs является uint8, uint16, или uint32, программное обеспечение устанавливает выходной сигнал блока равным входному сигналу блока без принятия решения. Если входной тип данных блока Abs является логическим, возникает ошибка.
Блок мертвой зоны имеет результаты решения, основанные на следующих параметрах:
Начало мертвой зоны
Конец тупиковой зоны
Параметр Start of dead zone определяет нижнюю границу зоны нечувствительности. Для параметра Начало мертвой зоны существуют два результата решения:
Ввод блока больше или равен нижнему пределу, что указывает на истинное решение.
Вход блока меньше нижнего предела, что указывает на ложное решение.
Параметр Конец мертвой зоны определяет верхний предел мертвой зоны. Для параметра Конец мертвой зоны существует два результата решения:
Ввод блока больше верхнего предела, что указывает на истинное решение.
Ввод блока меньше или равен верхнему пределу, что указывает на ложное решение.
Блок интегратора дискретного времени имеет результаты принятия решения, основанные на следующих параметрах:
Внешний сброс
Предельный выход
Если для параметра Внешний сброс установлено значение none, программное обеспечение не сообщает о результатах принятия решения. В противном случае есть два результата решения:
Блочный выход сбрасывается, что указывает на истинное решение.
Вывод блока не сбрасывается, что указывает на ложное решение.
Если не выбран параметр «Ограничить вывод», программа не сообщает о результатах принятия решения. В противном случае программное обеспечение сообщает о результатах решения для нижнего предела насыщения и верхнего предела насыщения.
Для верхнего предела насыщения существует два результата решения:
Результат интеграции больше или равен верхнему пределу, что указывает на истинное решение.
Результат интеграции меньше верхнего предела, что указывает на ложное решение.
Для нижнего предела насыщения существует два результата решения:
Результат интеграции меньше или равен нижнему пределу, что указывает на истинное решение.
Результат интеграции больше нижнего предела, что указывает на ложное решение.
Блок включенной подсистемы имеет два результата решения:
Блок включен, что указывает на истинное решение.
Блок отключен, что указывает на ложное решение.
Блок Enabled Subsystem имеет два результата условий, только если вход enable является вектором:
Элемент ввода enable имеет значение true, указывающее на истинное условие.
Элемент ввода enable имеет значение false, указывающее на ложное условие.
Блок включенной и запускаемой подсистем имеет два результата решения:
Край триггера возникает, когда блок включен, что указывает на истинное решение.
Край триггера не возникает, когда блок включен, или блок отключен, что указывает на ложное решение.
Программное обеспечение определяет результаты условий для ввода разрешения и ввода триггера по отдельности.
Для входа включения:
Введите значение true, указывающее на истинное условие.
Введите значение false, указывающее на ложное условие.
Для ввода триггера:
Возникает край триггера, указывающий на истинное условие.
Край триггера не возникает, указывая на ложное условие.
Блок Fcn имеет два результата условия на основе входных значений или арифметических выражений, которые являются входами логических операторов в блоке:
Ввод в логический оператор имеет значение true, указывающее на истинное условие.
Ввод в логический оператор имеет значение false, что указывает на ложное условие.
Блок For Iterator и подсистема For Iterator имеют два результата решения:
Значение итерации находится на уровне или ниже предела итерации, указанного как true.
Значение итерации, превышающее предел итерации, обозначается как false.
Блоки If, которые вызывают выполнение подсистемы If Action, имеют:
Итоги принятия решений для if состояние и все elseif условия, определенные в блоке «Если».
Результаты состояния, если if условие или любое из elseif содержит логическое выражение с несколькими условиями.
Блоки Simulink ® и диаграммы Stateflow ®, связанные с библиотечными объектами, получают такое же обнаружение мертвой логики, которое они получали бы, если бы не были связаны с библиотечными объектами.
Блок логического оператора имеет два результата:
Введите значение true, указывающее на истинное условие.
Введите значение false, указывающее на ложное условие.
Следующие операторы функциональных блоков MATLAB имеют результаты принятия решений:
Заголовок функции - выполняемая функция или подфункция.
if - Выражение имеет значение true, что указывает на истинное решение. Выражение имеет значение false, что указывает на ложное решение.
switch - Результаты решения, соответствующие каждому пути переключения, включая падающий случай.
for - Условие цикла оценивается как true, что указывает на истинное решение. Условие цикла имеет значение false, что указывает на ложное решение.
while - Условие цикла оценивается как true, что указывает на истинное решение. Условие цикла имеет значение false, что указывает на ложное решение.
Следующие логические условия имеют результаты:
if условия выписки
while условия выписки
Блок MinMax имеет результаты решения, основанные на передаче каждого входного сигнала на выход блока.
Для передачи каждого входного сигнала на выход блока существует два результата решения:
Входные данные передаются на блочный выход, что указывает на истинное решение.
Ввод не передан на блочный вывод, что указывает на ложное решение.
Сам блок модели не имеет результатов принятия решения или условий. Модель, в которой ссылки блока получают результаты решения или условия.
Блок многопортового коммутатора имеет результаты решения, основанные на передаче каждого входа, исключая первый управляющий вход, на выход блока.
Для передачи каждого входа, исключая первый управляющий вход, на выход блока существует два результата решения:
Входные данные передаются на блочный выход, что указывает на истинное решение.
Ввод не передан на блочный вывод, что указывает на ложное решение.
Блок ограничителя скорости имеет результаты решения, основанные на параметрах скорости нарастания и скорости падающего нарастания.
Для скорости нарастания есть два результата решения:
Входное значение блока изменяется больше или равно возрастающей скорости, что указывает на истинное решение.
Входной сигнал блока изменяется меньше скорости роста, что указывает на ложное решение.
Для скорости падения есть два результата решения:
Входное значение блока изменяется меньше или равно падающей скорости, что указывает на истинное решение.
Вход блока изменяется больше, чем скорость падения, что указывает на ложное решение.
Программное обеспечение не имеет результатов падающей скорости нарастания для временного шага, когда скорость нарастания является истинной.
Релейный блок имеет результаты решения, основанные на параметрах точки включения и точки выключения.
Для точки включения существует два результата решения:
Ввод блока больше или равен точке включения, что указывает на истинное решение.
Вход блока меньше точки включения, что указывает на ложное решение.
Для точки отключения существует два результата решения:
Вход блока меньше или равен точке выключения, что указывает на истинное решение.
Вход блока больше точки выключения, что указывает на ложное решение.
Программное обеспечение не имеет результатов решения о выключении точки для временного шага, когда пороговое значение включения является истинным.
Блок Насыщения имеет результаты решения на основе параметров Нижний предел и Верхний предел.
Для верхнего предела существует два результата решения:
Ввод блока больше или равен верхнему пределу, что указывает на истинное решение.
Ввод блока меньше верхнего предела, что указывает на ложное решение.
Для нижнего предела существуют два результата решения:
Вход блока больше нижнего предела, что указывает на истинное решение.
Ввод блока меньше или равен нижнему пределу, что указывает на ложное решение.
Программное обеспечение не имеет результатов решения нижнего предела для временного шага, когда верхний предел является истинным.
Блок Stateflow Chart имеет результаты принятия решения:
Решение о переходе оценивается как истинное, указывающее на истинное решение.
Решение о переходе оценивается как ложное, указывающее на ложное решение.
Блок диаграммы Stateflow имеет результаты условий:
Условие оценивается как истинное, что указывает на истинное условие.
Условие оценивается как ложное, что указывает на ложное условие.
Блок Switch имеет результаты принятия решения на основе управляющего ввода в блок.
Для управляющего ввода в блок существуют два результата решения:
Управляющий ввод принимает значение true, что указывает на истинное решение.
Значение параметра Control input равно false, что указывает на ложное решение.
Блок SwitchCase и подсистема действий SwitchCase имеют два результата решения:
Блок получает значение true, что указывает на истинное решение.
Блок не принимает значение true, указывая на ложное решение.
Блок «Запускаемые модели» имеет два результата решения:
Инициируется ссылочная модель, что указывает на истинное решение.
Ссылочная модель не запускается, что указывает на ложное решение.
Если вход триггера является вектором, то есть два результата условия:
Элемент порта триггера имеет значение true, указывающее на истинное условие.
Элемент порта триггера имеет значение false, указывающее на ложное условие.
Блок инициированной подсистемы имеет два результата решения:
Инициируется блокировка, указывающая на истинное решение.
Блокировка не инициируется, что указывает на ложное решение.
Если вход триггера является вектором, то есть два результата условия:
Элемент края триггера имеет значение true, указывающее на истинное условие.
Элемент триггерной кромки имеет значение false, указывающее на ложное условие.
Блок While Iterator и подсистема While Iterator имеют два результата решения:
while условие удовлетворено, указывая на истинное решение.
while условие не удовлетворено, указывая на ложное решение.
