温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种线性时态逻辑规范的通用并行挖掘方法，该方法包括：预处理步骤、规范实例生成步骤、规范实例验证步骤、结果筛选步骤。其中，预处理步骤实现对日志文件进行分割处理，获取日志中出现的事件集合，并收集这些事件在日志中的出现位置信息；规范实...
该专利属于华东师范大学;上海丰蕾信息科技有限公司所有，仅供学习研究参考，未经过华东师范大学;上海丰蕾信息科技有限公司授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。