[发明专利]一种线性时态逻辑规范的通用并行挖掘方法

摘要

本发明公开了一种线性时态逻辑规范的通用并行挖掘方法，该方法包括预处理步骤、规范实例生成步骤、规范实例验证步骤、结果筛选步骤。其中，预处理步骤实现对日志文件进行分割处理，获取日志中出现的事件集合，并收集这些事件在日志中的出现位置信息；规范实例生成步骤，利用输入的规范模板，结合日志中的事件集合，生成具体的线性时态逻辑规范实例。规范实例检验步骤，负责利用预处理后的事件位置信息，计算规范实例在日志中的支持度、置信度；结果筛选步骤，负责对挖掘的结果集合进行筛选，去除支持度、置信度不符合挖掘要求的规范实例。该挖掘方法充分利用了多线程技术进行并行计算，能够高效地挖掘任意类型的线性时态逻辑规范。

主权项

一种线性时态逻辑规范的通用并行挖掘方法，包括如下步骤：预处理步骤，对日志文件进行分割，分离出日志文件中的独立轨迹，获取日志文件中所有事件的集合以及每个事件在独立轨迹中出现的位置；规范实例生成步骤，根据输入的规范模板集合，将其中的变量与日志事件集合中的事件依次进行绑定，以获取规范实例候选集合；规范实例验证步骤，依次对规范实例候选集合中的规范实例进行验证，计算其在日志中的支持度、置信度情况；结果筛选步骤，根据输入的挖掘要求，从规范实例候选集合中去除支持度、置信度不符合要求的规范实例。