Аннотация:
Рассматривается задача функционального диагностирования дискретно-событийных систем ответственного назначения, описываемых моделью нечеткого конечного автомата. Предлагается метод решения задачи, особенностью которого является использование математического аппарата нечеткой логики. Описываются операции нечеткой логики и вводится понятие детерминизатора нечеткого конечного автомата. Приводится схема диагностирования, позволяющая формировать структурированный вектор невязки. Схема содержит ряд каналов (по числу возможных дефектов в системе). В основе каждого канала лежит наблюдатель в виде детерминизатора специального нечеткого конечного автомата, одновременно учитывающего возможность как правильного перехода автомата при исправном функционировании системы, так и неправильного перехода, обусловливаемого дефектом в системе. Другой частью канала является блок принятия решения. Предлагаются способы синтеза наблюдателя и блока принятия решения. Особенности применения метода иллюстрируются на примере задачи мониторинга ошибок операторов IT-системы.