Поделиться Поделиться

Функции алгебры логики

Закодируем состояния каждого из элементов структурной схемы двоичными переменными: 1 (элемент исправный), 0 (элемент в отказовом состоянии). Тогда функционирование системы можно описать с помощью функций ал­гебры логики (ФАЛ), используя операции конъюнкции, дизъюнкции и инвер­сии. В качестве примера составим ФАЛ, соответствующую работоспособно­сти системы с последовательным соединением элементов. Система находится в работоспособном состоянии при условии, что все ее элементы исправны. Обозначим xj — исправное состояние j-го элемента, Функции алгебры логики - Инвестирование - 1 — отказовое состоя­ние, j = 1, 2,..., n. Тогда ФАЛ будет иметь вид:

Функции алгебры логики - Инвестирование - 2

Функции алгебры логики - Инвестирование - 3

Рис. Структурные схемы нерезервированной (а) и резервированной (б) систем

Процедура получения ФАЛ может быть формализована. Одним из способов формализации является получение совершенной дизъюнктивной нормальной формы (СДНФ), получаемой из таблицы истинности, соответствующей рабо­тоспособному состоянию системы.

← Предыдущая страница | Следующая страница →