[發明專利]一種線性時態邏輯規范的通用并行挖掘方法

在審

• 申請號: 201710139684.7
• 申請日: 2017-03-09
• 公開（公告）號: CN106886417A
• 公開（公告）日: 2017-06-23
• 發明（設計）人: 何積豐;熊家文;史建琦;黃滟鴻;李昂;方徽星
• 申請（專利權）人: 華東師范大學;上海豐蕾信息科技有限公司
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 北京辰權知識產權代理有限公司11619
• 代理人: 郎志濤

1.一種線性時態邏輯規范的通用并行挖掘方法，包括如下步驟：

預處理步驟，對日志文件進行分割，分離出日志文件中的獨立軌跡，獲取日志文件中所有事件的集合以及每個事件在獨立軌跡中出現的位置；

規范實例生成步驟，根據輸入的規范模板集合，將其中的變量與日志事件集合中的事件依次進行綁定，以獲取規范實例候選集合；

規范實例驗證步驟，依次對規范實例候選集合中的規范實例進行驗證，計算其在日志中的支持度、置信度情況；

結果篩選步驟，根據輸入的挖掘要求，從規范實例候選集合中去除支持度、置信度不符合要求的規范實例。

2.如權利要求1所述的線性時態邏輯規范的通用并行挖掘方法，其特征在于，所述預處理步驟包括如下三個子步驟：

軌跡分離步驟，通過文本處理，將日志中的數據讀取到內存中，按照分隔符進行分離，獲取一個元素為單條軌跡所組成的集合；

事件集合獲取步驟，分別掃描每條軌跡，使用上述分隔符對軌跡進行分割處理，獲取原子事件集合；

事件位置信息獲取步驟，掃描每條軌跡，記錄事件在軌跡中出現的位置信息。

3.如權利要求2所述的線性時態邏輯規范的通用并行挖掘方法，其特征在于，其特征在于：

所述預處理步驟的實現過程為：順序地從日志文件中讀取字符串，在遇到分隔符時，識別并判斷該分隔符為事件分隔符或者是軌跡分隔符，若為軌跡分隔符，則當前軌跡終止并新建一個軌跡存儲對象；若為事件分隔符，則記錄新的事件位置信息，并將該事件加入到事件集合之中。

4.如權利要求1所述的線性時態邏輯規范的通用并行挖掘方法，其特征在于，所述規范實例生成步驟包括如下三個子步驟：

規范模板分析步驟，對輸入的規范模板進行語法分析，獲取規范模板中的變量；

變量綁定步驟，用事件集合中的事件對規范模板中的變量進行替換，即將規范模板中的變量綁定為特定的事件；

實例生成步驟，規范模板中的變量在綁定事件后，成為一個具體的規范實例，不同規范模板變量綁定不同的事件，以生成不同的規范實例。

5.如權利要求1所述的線性時態邏輯規范的通用并行挖掘方法，其特征在于，所述規范實例驗證步驟包括如下三個子步驟：

初始化步驟，為每條軌跡生成一個驗證器線程實例；

并行驗證步驟，并行地執行各個線程實例，按照線性時態邏輯的語義，檢查每個規范實例在每個軌跡上是否滿足；

統計匯總步驟，將并行計算的結果進行匯總，統計每個規范實例在所有軌跡上的滿足情況，得到一個以規范實例和統計數據的鍵值對為元素的統計數據映射表。

6.如權利要求5所述的線性時態邏輯規范的通用并行挖掘方法，其特征在于：

所述結果集篩選步驟通過對所述統計匯總步驟產生的統計數據映射表進行遍歷，以去除統計數據不符合要求的規范實例。