ИСТИНА

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