[發明專利]一種互聯網人物搜索信息整合分析控制方法

有效

• 申請號: 201711451026.8
• 申請日: 2017-12-27
• 公開（公告）號: CN108009298B
• 公開（公告）日: 2021-08-31
• 發明（設計）人: 劉婧;李坤
• 申請（專利權）人: 海口經濟學院
• 主分類號: G06F16/951
• 分類號: G06F16/951;G06F16/953;G06F16/9532
• 代理公司: 北京國坤專利代理事務所(普通合伙) 11491
• 代理人: 趙紅霞

1.一種互聯網人物搜索信息整合分析控制方法，其特征在于，所述互聯網人物搜索信息整合分析控制方法包括：

用戶在輸入界面輸入所要搜索的信息，并將輸入的信息傳輸給信息提取模塊；信息提取模塊對用戶在輸入界面輸入的信息進行提取，并將信息傳輸給網頁搜索模塊；

網頁搜索模塊對信息提取模塊提取出的信息在網頁上進行搜索；網頁信息集合模塊對搜索到的信息進行集合，對網頁搜索模塊搜索到的零碎信息進行整合；

信息分類提取模塊對集合后的信息進行分類提取，采用數據處理分析算法，對集合信息進行分析處理，利用分布式的程序算法，縮短信息處理時間；信息比對模塊比對分類提取的數據與信息存儲模塊中存儲的數據，當信息不匹配或信息存儲模塊中缺少本信息時，對信息存儲模塊進行更新；當信息相同時，可以提取信息存儲模塊中的數據；

信息整合模塊將信息比對模塊中的數據進行整合，將身份信息、賬戶信息、社交信息整合為所搜索人物的詳細資料；顯示模塊顯示出信息整合模塊整合后的所搜索人物的詳細資料；

所述分布式的程序算法包括；

步驟一，根據待驗證的程序，生成控制流圖CFG，給CFG中的結點添加3個屬性:R插值，S插值和E插值，R插值是結點可達的約束條件，判斷一個狀態的可達性；S插值和E插值對路徑進行規約，加快程序的驗證；給CFG的邊添加屬性W；一條邊的W值表示以該邊指向的結點為根結點的子圖中，還沒有被遍歷的分支的個數；具體包括：

(1)找到CFG中的目標結點，從目標結點開始反向遍歷CFG，遍歷的結點和邊都保留，沒有遍歷到的結點和邊都刪除；

(2)得到裁剪后的CFG，初始化屬性的值，對各個結點的三種插值進行初始化，初次遍歷CFG，生成ARG的過程中，每一個結點的R插值的初始值都為{true}；對于S插值，定義了為一個二元組:(F,I_s)，其中，F的值域為{full,half}，I_s的值是一個由謂詞組成的合取式；對于一個結點l，如果l沒有后繼結點或者l的所有后繼結點的S插值都是full,記為f，表示l的所有后繼結點都被遍歷過，則l的S插值也是full，否則，l的S插值為half，記為h，具體的形式如下：

l是終結點，S插值的初始值為(full,true)，表示如果到達終結點，路徑一定是安全的；l是目標結點，S插值的初始值為(full,false)，表示如果到達目標結點，路徑一定是反例路徑；對于其他結點，S插值的初始值為(half,true)，具體的形式如下:

l是目標結點，E插值的初始值為true，表示路徑一定是真反例；l是終結點，E插值的初始值為false，表示路徑一定不可能到達目標結點；對于其他結點，E插值的初始值為false，初始認為都不能到達目標結點；對于每一條遷移的W屬性，初始值為⊥，表示還沒開始遍歷，其中，W的值域為{N+,⊥}，N+是正整數集合；

步驟二，根據生成的CFG，生成抽象可達圖ARG，如果沿著一條路徑生成一個新狀態s，如果s對應的R插值被滿足，說明狀態s可達，繼續沿著狀態s遍歷該路徑；否則，狀態s不可達，則該路徑終止，遍歷其他路徑；對于一個可達的狀態s，如果狀態s對應的E插值被該路徑對應的路徑公式蘊含，說明沿著該狀態存在一條到達目標狀態的路徑，程序不安全；如果狀態s對應的S插值被蘊含，說明以狀態為起點的所有路徑都是安全的，不需要沿著狀態s探索程序；如果狀態s是可達的，且E插值和S插值都不被蘊含，則繼續沿著狀態s遍歷該路徑；具體的步驟包括：

(1)得到一個可達狀態s'，根據CFG的遷移關系，產生后繼狀態；如果存在多個可能的后繼，根據邊的W值，決定遍歷順序；邊的W值的優先級為：(0)⊥0；如果邊的W值相同，則隨機選擇；對于一個后繼狀態s，根據R插值，如果狀態s不可達，則當前路徑終止，遍歷其他路徑；如果當前狀態s可達，首先判斷s的E插值是否為false；如果是false，說明s[0]的后繼結點還沒被遍歷過，跳轉到(2)；如果不是false,首先采用SSA原則，每一個變量至多被賦值一次，得到從初始狀態s₀到達s的路徑公式，記為P_f(s₀,…,s)；用求解器判斷P_f(s₀,…,s)是否蘊含s的E插值；如果蘊含，則說明程序存在一條真反例，程序不安全，驗證結束；否則跳轉到(2)；

(2)判斷s的S插值是否為full插值；如果不是full插值，則跳轉到(3)；如果是full插值，得到從初始狀態s₀到達s的路徑公式，記為P_f(s₀,…,s)，然后用求解器判斷P_f(s₀,…,s)是否蘊含s的S插值；如果蘊含，則說明以狀態s為起點的所有路徑都是安全的，不需要探索，當前路徑終止，遍歷其他路徑；

(3)判斷s是否目標狀態，如果是目標狀態，則發現一條反例路徑，執行步驟三；如果不是，進一步判斷s是否被其他狀態覆蓋；如果s被覆蓋，則不需要探索當前路徑，遍歷其他路徑；如果s不被覆蓋，則繼續探索當前路徑；

(4)如果存在沒有被遍歷的可達狀態，則跳轉到(1)；否則，驗證結束，程序安全；

步驟三，在生成ARG的過程中，發現一條反例路徑，到達目標狀態，則需要進一步判斷反例路徑是否虛假；不是虛假反例，則說明程序是不安全的；否則，根據虛假反例，細化模型，分別計算并更新對應狀態的R插值，S插值和E插值，執行重新生成ARG，直到找到一條真反例路徑或不存在反例路徑；具體步驟包括：

1)在生成ARG的過程中，發現一條反例路徑path:〈s₀,e₀,s₁,…,e_n-1,s_n〉；利用SMT求解器判斷path是不是虛假；如果path是真反例，則程序不安全，驗證結束；如果path是虛假的，則執行2)；

2)計算R插值，對于狀態s_i，0in，將path劃分為兩部分：pre和post；pre子序列為s₀,…,s_i，post子序列為s_i,…,s_n，利用Craig插值公式計算新的R插值，Craig(pre,post)，更新s_i[0]的R插值，形式化地表示為：

R-Intp(s_i[0])＝R-Intp(s_i[0])∪Craig(P_f(s₀,..,s_i),P_f(s_i,…,s_n))；

其中，Pf(s₀,…,s_i)表示從s₀到s_i的路徑對應的路徑公式；

3)計算S插值，首先找到path的可達的有效序列Π＝s₀,...,s_m，0mn，且s_i狀態可達，s_i+1狀態不可達；對于Π的每一個狀態s_i，0i≤m，判斷S插值的的第一個元素是full還是half；si[0]的所有后繼結點的S插值都是full，則si[0]的S插值為full，否則，si[0]的S插值為half；具體的形式如下：

對于S插值的第二個元素，記為I_s(s_i[0]),分兩種情況，如果i＝m,則I_s(s_i[0])是邊e_i+1的路徑公式取反；如果0im，I_s(s_i[0])利用Craig插值計算，記為Craig(A,B)；其中，A表示從s₀到s_i的路徑公式，B是邊e_i對應的公式和狀態s_i+1對應的S插值取反的合取式；具體的形式如下:

其中，A＝P_f(s₀,…,s_i),B＝P_f(s_i,e_i,s_i+1)∧！(I_s(s_i+1[0])；從s_m狀態開始倒序地計算每個狀態的插值，直到初始狀態或者某一狀態的S插值為half；

4)計算E插值，找到path的最大有效后綴序列Π＝si,…,sn，0＜i≤n；從s_i狀態開始，利用Craig插值，倒序地計算對應的E插值，記為Craig(A,B)；對于s_i，A₁是從s_i到s_n的路徑公式和s_n的E插值的合取式，B₁是從s₀到s_i的路徑公式；對于狀態s_j，0＜j＜i,A₂是從s_j到s_j+1的路徑公式和s_j+1的E插值的合取式，B₂是從s₀到s_j的路徑公式，具體的形式如下：

5)計算邊的W值，根據反例路徑和更新后的S插值，來計算對應邊的W值，對于一條邊e:(s,op,s')，如果s'的S插值是full，則e的W值為0；如果s'的S插值是half,且s'是最后一個可達狀態，e的W值為s'[0]的出邊的個數-1；如果s'的S插值是half,且s'不是最后一個可達狀態，e的W值為兩部分的和：1)s'[0]的出邊中W值不為⊥的邊的W值的和，2)s'[0]的出邊中W值為⊥的邊的個數；對于邊e:(s,op,s')，s':(l',c',p')具體的形式如下：

6)跳轉到步驟二，重新生成ARG；

所述對信息存儲模塊進行更新的方法包括：

接收維護更新指令；

根據所述維護更新指令獲取用戶搜索的信息以及需要維護更新的維度表的維度表信息；

根據所述維度表信息獲取預先設置的維度表配置信息；其中，所述維度表配置信息中帶有所述需要維護更新的維度表所在的源數據庫、所述維度表需要同步的目的數據庫以及維度表操作權限信息；

根據所述用戶搜索的信息以及所述維度表操作權限信息，判斷所述用戶搜索的信息是否滿足所述維度表操作權限信息；

若所述用戶搜索的信息足所述維度表操作權限信息，對所述需要維護更新的維度表進行更新操作；

將進行更新操作后的維度表同步到所述信息存儲模塊；

所述維度表操作權限信息包括：具有維度表操作權限的用戶搜索的信息標識；

所述判斷所述用戶搜索的信息是否滿足所述維度表操作權限信息，包括：

判斷所述用戶搜索的信息是否在所述具有維度表操作權限的用戶搜索的信息標識中；

所述維護更新指令為增加內容指令、更改內容指令或刪除內容指令；

在對所述需要維護更新的維度表進行更新操作之前，包括：

根據所述維護更新指令，確定需要維護更新的字段，并獲取到所述需要維護更新的字段標識；

根據所述字段標識以及所述維度表配置信息獲取到預先設置的字段配置信息；其中，所述字段配置信息包括所述字段的字段內容排序規則、字段次序信息、字段限制條件；

若所述維護更新指令為增加內容指令，所述對所述需要維護更新的維度表進行更新操作，包括：

獲取所述增加內容指令對應的批量數據內容；

根據所述批量數據內容，在所述維度表中的一個或多個字段中增加字段內容；

根據所述字段內容排序規則，將所述字段內容進行排序；

根據所述字段次序信息，將維度表中的各個字段進行排序；

若所述維護更新指令為更改內容指令，所述對所述需要維護更新的維度表進行更新操作，包括：

獲取所述更改內容指令對應的批量數據內容；

根據所述批量數據內容，在所述維度表中的一個或多個字段中更改字段內容；

若所述維護更新指令為刪除內容指令，所述對所述需要維護更新的維度表進行更新操作，包括：

在所述維度表中的一個或多個字段中刪除字段內容；

判斷所述增加字段內容、更改字段內容或者刪除字段內容之后的各字段是否滿足所述字段限制條件；

若有字段不滿足所述字段限制條件，生成提示信息；所述提示信息用于提示不滿足所述字段限制條件的字段數，并提示不滿足所述字段限制條件的字段相關信息；所述字段相關信息包括所述字段的所述字段標識或者字段名稱；所述段相關信息為搜索的零碎信息；

在步驟一中，生成程序對應的CFG，根據目標結點，遍歷整個CFG減掉不可能到達目標狀態的結點和邊；

在步驟三中，如果存在一條虛假反例路徑，在計算三種插值的同時，計算反例路徑中每一條邊的W值；在步驟二中，一個狀態如果存在多個后繼狀態，根據邊的W值，決定后繼狀態的遍歷順序。