В этом примере показано, как использовать таблицы истинности, чтобы сопоставить условия отказа системы непосредственно к их последовательным действиям.
Таблицы истинности только поддерживаются в Simulink®. Для получения дополнительной информации см. Таблицы истинности Использования к Комбинаторной логике Модели.
Эта модель сопоставляет условия отказа и действия системы управления лифта самолета при помощи таблиц истинности.
Этот список описывает требования для системы обнаружения отказа в модели.
Гидравлическое давление 1 отказ — В то время как нет никаких других отказов, выключите левый внешний привод.
Гидравлическое давление 2 отказа — В то время как нет никаких других отказов, выключите левый внутренний исполнительный механизм и правый внутренний исполнительный механизм.
Гидравлическое давление 3 отказа — В то время как нет никаких других отказов, выключите правильный внешний привод.
Отказ положения привода — В то время как нет никаких других отказов, изолированных что определенный привод.
Гидравлическое давление 1 и оставленные внешние отказы привода — В то время как нет никаких других отказов, выключите левый внешний привод.
Гидравлическое давление 2 и отказы левого внутреннего исполнительного механизма — В то время как нет никаких других отказов, выключите левый внутренний исполнительный механизм.
Гидравлическое давление 3 и правильные внешние отказы привода — В то время как нет никаких других отказов, выключите правильный внешний привод.
Многократные отказы на левой гидравлике и приводах — Изолируют левый внешний привод и левый внутренний исполнительный механизм.
Многократные отказы на правильной гидравлике и приводах — Изолируют правильный внешний привод и правый внутренний исполнительный механизм.
Неустойчивые отказы привода — Если привод был включен и от пяти раз во время операции, изолируйте тот определенный привод.
В Логической блок-схеме Режима пара функций таблицы истинности задает логику, чтобы удовлетворить этим требованиям. L_switch
управляет левым лифтом и R_switch
управляет правильным лифтом. Эта таблица истинности для левого лифта.
Первое требование указывает, что, если отказ только обнаруживается в гидравлическом давлении 1 система, выключите левый внешний привод. В таблице истинности это требование представлено решением D1. Если существует низкое давление в гидравлической системе 1, то D1 указывает, что действие 2 выполняется. Действие 2 отправляет событие go_off
на левый привод, Actuators.LO
.
Точно так же другие требования сопоставлены с надлежащими мерами в таблице истинности. Например, если левый внешний привод перестал работать, D3 вызывает действие 3. Действие 3 отправляет событие go_isolated
к Actuators.LO
изолировать левый привод.
Функции таблицы истинности вызваны при записи и во время действий для графика так, чтобы проверки отказа выполнились на каждом временном шаге.